MCC'2018 - Execution of r190-qhx2-152732141800018

About the Execution of M4M.full for AirplaneLD-COL-2000

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15919.200	2593360.00	3027880.00	9653.60	[undef]	Cannot compute

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..........................
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 26 09:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 26 09:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 26 09:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 26 09:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 110 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 348 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_pt
-rw-r--r-- 1 mcc users 5 May 15 18:49 instance
-rw-r--r-- 1 mcc users 5 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 328K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is AirplaneLD-COL-2000, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r190-qhx2-152732141800018
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME AirplaneLD-COL-2000-LTLFireability-00
FORMULA_NAME AirplaneLD-COL-2000-LTLFireability-01
FORMULA_NAME AirplaneLD-COL-2000-LTLFireability-02
FORMULA_NAME AirplaneLD-COL-2000-LTLFireability-03
FORMULA_NAME AirplaneLD-COL-2000-LTLFireability-04
FORMULA_NAME AirplaneLD-COL-2000-LTLFireability-05
FORMULA_NAME AirplaneLD-COL-2000-LTLFireability-06
FORMULA_NAME AirplaneLD-COL-2000-LTLFireability-07
FORMULA_NAME AirplaneLD-COL-2000-LTLFireability-08
FORMULA_NAME AirplaneLD-COL-2000-LTLFireability-09
FORMULA_NAME AirplaneLD-COL-2000-LTLFireability-10
FORMULA_NAME AirplaneLD-COL-2000-LTLFireability-11
FORMULA_NAME AirplaneLD-COL-2000-LTLFireability-12
FORMULA_NAME AirplaneLD-COL-2000-LTLFireability-13
FORMULA_NAME AirplaneLD-COL-2000-LTLFireability-14
FORMULA_NAME AirplaneLD-COL-2000-LTLFireability-15

=== Now, execution of the tool begins

BK_START 1528350346283

BK_STOP 1528352939643

--------------------
content from stderr:

Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using AirplaneLD-COL-2000 as instance name.
Using AirplaneLD as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'LTLFireability', 'Place/Transition': True, 'Colored': True, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': True, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': None, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': False}.
Known tools are: [{'Time': 4545, 'Memory': 215.88, 'Tool': 'lola'}, {'Time': 17427, 'Memory': 214.11, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'itstools'}].
LTLFireability itstools AirplaneLD-COL-2000...
Jun 07, 2018 5:46:06 AM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-z3path, /usr/bin/z3, -yices2path, /usr/bin/yices, -ltsminpath, /usr/bin, -smt, -its, -pnfolder, /mcc-data, -examination, LTLFireability]
Jun 07, 2018 5:46:06 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /mcc-data/model.pnml
Jun 07, 2018 5:46:07 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
05:46:48.471 [main] ERROR PNML validation - The rng grammar file can't be accessed : www.pnml.org
05:46:48.476 [main] ERROR import - Grammar file errors have been raised, the validation can't be done, process will continue without Grammar validation
Jun 07, 2018 5:46:49 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 42450 ms
Jun 07, 2018 5:46:49 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 20 places.
Jun 07, 2018 5:46:49 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 07, 2018 5:46:49 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :Speed->SpeedPossibleVal,Speed_Left_Wheel,Speed_Right_Wheel,
Signal->Plane_On_Ground_Signal_no,
Dot->stp5,stp4,stp3,stp2,stp1,P5,P4,P3,P2,P6,P1,
Weight->WeightPossibleVal,Weight_Right_Wheel,Weight_Left_Wheel,
Altitude->AltitudePossibleVal,TheAltitude,

Jun 07, 2018 5:46:49 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 15 transitions.
Jun 07, 2018 5:46:49 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 07, 2018 5:46:49 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /mcc-data/model.pnml.img.gal : 60 ms
Jun 07, 2018 5:46:53 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Jun 07, 2018 5:46:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Jun 07, 2018 5:46:55 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 14019 variables) in GAL type AirplaneLD_COL_2000
Jun 07, 2018 5:46:55 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 6002 constant array cells/variables (out of 14019 variables) in type AirplaneLD_COL_2000
Jun 07, 2018 5:46:55 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: WeightPossibleVal[0-1], AltitudePossibleVal[0-3999], SpeedPossibleVal[0-1999],
Jun 07, 2018 5:46:56 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 8004.0 instantiations of transitions. Total transitions/syncs built is 16020
Jun 07, 2018 5:46:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 14019 variables) in GAL type AirplaneLD_COL_2000
Jun 07, 2018 5:46:57 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 6002 constant array cells/variables (out of 14019 variables) in type AirplaneLD_COL_2000
Jun 07, 2018 5:46:57 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: WeightPossibleVal[0-1], AltitudePossibleVal[0-3999], SpeedPossibleVal[0-1999],
Jun 07, 2018 5:47:05 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :WeightPossibleVal[]
Jun 07, 2018 5:47:05 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :AltitudePossibleVal[]
Jun 07, 2018 5:47:05 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :SpeedPossibleVal[]
Jun 07, 2018 5:47:05 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 30008 expressions due to constant valuations.
Jun 07, 2018 5:47:07 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 11642 ms
Jun 07, 2018 5:47:43 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays Weight_Right_Wheel, Weight_Left_Wheel, TheAltitude, Speed_Left_Wheel, Speed_Right_Wheel, Plane_On_Ground_Signal_no to variables to allow decomposition.
Jun 07, 2018 5:48:06 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 9014 redundant transitions.
Using solver Z3 to compute partial order matrices.
Built C files in :
/mcc-data
Jun 07, 2018 5:48:35 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /mcc-data/LTLFireability.pnml.gal : 776 ms
Jun 07, 2018 5:48:35 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /mcc-data/LTLFireability.ltl : 167 ms
Invoking ITS tools like this :CommandLine [args=[/usr/share/itscl/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201804131302/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /mcc-data/LTLFireability.pnml.gal, -t, CGAL, -LTL, /mcc-data/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/mcc-data]

its-ltl command run as :

/usr/share/itscl/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201804131302/bin/its-ltl-linux64 --gc-threshold 2000000 -i /mcc-data/LTLFireability.pnml.gal -t CGAL -LTL /mcc-data/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Jun 07, 2018 5:48:37 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was not deterministic with 4015 transitions. Expanding to a total of 16016 deterministic transitions.
Jun 07, 2018 5:48:37 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Determinization took 91 ms.
Checking formula 0 : !((F(F(F("((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Speed0.Speed_Right_Wheel_0>=1)&&(P5.P5_0>=1))||((Speed1.Speed_Right_Wheel_1>=1)&&(P5.P5_0>=1)))||((Speed2.Speed_Right_Wheel_2>=1)&&(P5.P5_0>=1)))||((Speed3.Speed_Right_Wheel_3>=1)&&(P5.P5_0>=1)))||((Speed4.Speed_Right_Wheel_4>=1)&&(P5.P5_0>=1)))||((Speed5.Speed_Right_Wheel_5>=1)&&(P5.P5_0>=1)))||((Speed6.Speed_Right_Wheel_6>=1)&&(P5.P5_0>=1)))||((Speed7.Speed_Right_Wheel_7>=1)&&(P5.P5_0>=1)))||((Speed8.Speed_Right_Wheel_8>=1)&&(P5.P5_0>=1)))||((Speed9.Speed_Right_Wheel_9>=1)&&(P5.P5_0>=1)))||((Speed10.Speed_Right_Wheel_10>=1)&&(P5.P5_0>=1)))||((Speed11.Speed_Right_Wheel_11>=1)&&(P5.P5_0>=1)))||((Speed12.Speed_Right_Wheel_12>=1)&&(P5.P5_0>=1)))||((Speed13.Speed_Right_Wheel_13>=1)&&(P5.P5_0>=1)))||((Speed14.Speed_Right_Wheel_14>=1)&&(P5.P5_0>=1)))||((Speed15.Speed_Right_Wheel_15>=1)&&(P5.P5_0>=1)))||((Speed16.Speed_Right_Wheel_16>=1)&&(P5.P5_0>=1)))||((Speed17.Speed_Right_Wheel_17>=1)&&(P5.P5_0>=1)))||((Speed18.Speed_Right_Wheel_18>=1)&&(P5.P5_0>=1)))||((Speed19.Speed_Right_Wheel_19>=1)&&(P5.P5_0>=1)))||((Speed20.Speed_Right_Wheel_20>=1)&&(P5.P5_0>=1)))||((Speed21.Speed_Right_Wheel_21>=1)&&(P5.P5_0>=1)))||((Speed22.Speed_Right_Wheel_22>=1)&&(P5.P5_0>=1)))||((Speed23.Speed_Right_Wheel_23>=1)&&(P5.P5_0>=1)))||((Speed24.Speed_Right_Wheel_24>=1)&&(P5.P5_0>=1)))||((Speed25.Speed_Right_Wheel_25>=1)&&(P5.P5_0>=1)))||((Speed26.Speed_Right_Wheel_26>=1)&&(P5.P5_0>=1)))||((Speed27.Speed_Right_Wheel_27>=1)&&(P5.P5_0>=1)))||((Speed28.Speed_Right_Wheel_28>=1)&&(P5.P5_0>=1)))||((Speed29.Speed_Right_Wheel_29>=1)&&(P5.P5_0>=1)))||((Speed30.Speed_Right_Wheel_30>=1)&&(P5.P5_0>=1)))||((Speed31.Speed_Right_Wheel_31>=1)&&(P5.P5_0>=1)))||((Speed32.Speed_Right_Wheel_32>=1)&&(P5.P5_0>=1)))||((Speed33.Speed_Right_Wheel_33>=1)&&(P5.P5_0>=1)))||((Speed34.Speed_Right_Wheel_34>=1)&&(P5.P5_0>=1)))||((Speed35.Speed_Right_Wheel_35>=1)&&(P5.P5_0>=1)))||((Speed36.Speed_Right_Wheel_36>=1)&&(P5.P5_0>=1)))||((Speed37.Speed_Right_Wheel_37>=1)&&(P5.P5_0>=1)))||((Speed38.Speed_Right_Wheel_38>=1)&&(P5.P5_0>=1)))||((Speed39.Speed_Right_Wheel_39>=1)&&(P5.P5_0>=1)))||((Speed40.Speed_Right_Wheel_40>=1)&&(P5.P5_0>=1)))||((Speed41.Speed_Right_Wheel_41>=1)&&(P5.P5_0>=1)))||((Speed42.Speed_Right_Wheel_42>=1)&&(P5.P5_0>=1)))||((Speed43.Speed_Right_Wheel_43>=1)&&(P5.P5_0>=1)))||((Speed44.Speed_Right_Wheel_44>=1)&&(P5.P5_0>=1)))||((Speed45.Speed_Right_Wheel_45>=1)&&(P5.P5_0>=1)))||((Speed46.Speed_Right_Wheel_46>=1)&&(P5.P5_0>=1)))||((Speed47.Speed_Right_Wheel_47>=1)&&(P5.P5_0>=1)))||((Speed48.Speed_Right_Wheel_48>=1)&&(P5.P5_0>=1)))||((Speed49.Speed_Right_Wheel_49>=1)&&(P5.P5_0>=1)))||((Speed50.Speed_Right_Wheel_50>=1)&&(P5.P5_0>=1)))||((Speed51.Speed_Right_Wheel_51>=1)&&(P5.P5_0>=1)))||((Speed52.Speed_Right_Wheel_52>=1)&&(P5.P5_0>=1)))||((Speed53.Speed_Right_Wheel_53>=1)&&(P5.P5_0>=1)))||((Speed54.Speed_Right_Wheel_54>=1)&&(P5.P5_0>=1)))||((Speed55.Speed_Right_Wheel_55>=1)&&(P5.P5_0>=1)))||((Speed56.Speed_Right_Wheel_56>=1)&&(P5.P5_0>=1)))||((Speed57.Speed_Right_Wheel_57>=1)&&(P5.P5_0>=1)))||((Speed58.Speed_Right_Wheel_58>=1)&&(P5.P5_0>=1)))||((Speed59.Speed_Right_Wheel_59>=1)&&(P5.P5_0>=1)))||((Speed60.Speed_Right_Wheel_60>=1)&&(P5.P5_0>=1)))||((Speed61.Speed_Right_Wheel_61>=1)&&(P5.P5_0>=1)))||((Speed62.Speed_Right_Wheel_62>=1)&&(P5.P5_0>=1)))||((Speed63.Speed_Right_Wheel_63>=1)&&(P5.P5_0>=1)))||((Speed64.Speed_Right_Wheel_64>=1)&&(P5.P5_0>=1)))||((Speed65.Speed_Right_Wheel_65>=1)&&(P5.P5_0>=1)))||((Speed66.Speed_Right_Wheel_66>=1)&&(P5.P5_0>=1)))||((Speed67.Speed_Right_Wheel_67>=1)&&(P5.P5_0>=1)))||((Speed68.Speed_Right_Wheel_68>=1)&&(P5.P5_0>=1)))||((Speed69.Speed_Right_Wheel_69>=1)&&(P5.P5_0>=1)))||((Speed70.Speed_Right_Wheel_70>=1)&&(P5.P5_0>=1)))||((Speed71.Speed_Right_Wheel_71>=1)&&(P5.P5_0>=1)))||((Speed72.Speed_Right_Wheel_72>=1)&&(P5.P5_0>=1)))||((Speed73.Speed_Right_Wheel_73>=1)&&(P5.P5_0>=1)))||((Speed74.Speed_Right_Wheel_74>=1)&&(P5.P5_0>=1)))||((Speed75.Speed_Right_Wheel_75>=1)&&(P5.P5_0>=1)))||((Speed76.Speed_Right_Wheel_76>=1)&&(P5.P5_0>=1)))||((Speed77.Speed_Right_Wheel_77>=1)&&(P5.P5_0>=1)))||((Speed78.Speed_Right_Wheel_78>=1)&&(P5.P5_0>=1)))||((Speed79.Speed_Right_Wheel_79>=1)&&(P5.P5_0>=1)))||((Speed80.Speed_Right_Wheel_80>=1)&&(P5.P5_0>=1)))||((Speed81.Speed_Right_Wheel_81>=1)&&(P5.P5_0>=1)))||((Speed82.Speed_Right_Wheel_82>=1)&&(P5.P5_0>=1)))||((Speed83.Speed_Right_Wheel_83>=1)&&(P5.P5_0>=1)))||((Speed84.Speed_Right_Wheel_84>=1)&&(P5.P5_0>=1)))||((Speed85.Speed_Right_Wheel_85>=1)&&(P5.P5_0>=1)))||((Speed86.Speed_Right_Wheel_86>=1)&&(P5.P5_0>=1)))||((Speed87.Speed_Right_Wheel_87>=1)&&(P5.P5_0>=1)))||((Speed88.Speed_Right_Wheel_88>=1)&&(P5.P5_0>=1)))||((Speed89.Speed_Right_Wheel_89>=1)&&(P5.P5_0>=1)))||((Speed90.Speed_Right_Wheel_90>=1)&&(P5.P5_0>=1)))||((Speed91.Speed_Right_Wheel_91>=1)&&(P5.P5_0>=1)))||((Speed92.Speed_Right_Wheel_92>=1)&&(P5.P5_0>=1)))||((Speed93.Speed_Right_Wheel_93>=1)&&(P5.P5_0>=1)))||((Speed94.Speed_Right_Wheel_94>=1)&&(P5.P5_0>=1)))||((Speed95.Speed_Right_Wheel_95>=1)&&(P5.P5_0>=1)))||((Speed96.Speed_Right_Wheel_96>=1)&&(P5.P5_0>=1)))||((Speed97.Speed_Right_Wheel_97>=1)&&(P5.P5_0>=1)))||((Speed98.Speed_Right_Wheel_98>=1)&&(P5.P5_0>=1)))||((Speed99.Speed_Right_Wheel_99>=1)&&(P5.P5_0>=1)))||((Speed100.Speed_Right_Wheel_100>=1)&&(P5.P5_0>=1)))||((Speed101.Speed_Right_Wheel_101>=1)&&(P5.P5_0>=1)))||((Speed102.Speed_Right_Wheel_102>=1)&&(P5.P5_0>=1)))||((Speed103.Speed_Right_Wheel_103>=1)&&(P5.P5_0>=1)))||((Speed104.Speed_Right_Wheel_104>=1)&&(P5.P5_0>=1)))||((Speed105.Speed_Right_Wheel_105>=1)&&(P5.P5_0>=1)))||((Speed106.Speed_Right_Wheel_106>=1)&&(P5.P5_0>=1)))||((Speed107.Speed_Right_Wheel_107>=1)&&(P5.P5_0>=1)))||((Speed108.Speed_Right_Wheel_108>=1)&&(P5.P5_0>=1)))||((Speed109.Speed_Right_Wheel_109>=1)&&(P5.P5_0>=1)))||((Speed110.Speed_Right_Wheel_110>=1)&&(P5.P5_0>=1)))||((Speed111.Speed_Right_Wheel_111>=1)&&(P5.P5_0>=1)))||((Speed112.Speed_Right_Wheel_112>=1)&&(P5.P5_0>=1)))||((Speed113.Speed_Right_Wheel_113>=1)&&(P5.P5_0>=1)))||((Speed114.Speed_Right_Wheel_114>=1)&&(P5.P5_0>=1)))||((Speed115.Speed_Right_Wheel_115>=1)&&(P5.P5_0>=1)))||((Speed116.Speed_Right_Wheel_116>=1)&&(P5.P5_0>=1)))||((Speed117.Speed_Right_Wheel_117>=1)&&(P5.P5_0>=1)))||((Speed118.Speed_Right_Wheel_118>=1)&&(P5.P5_0>=1)))||((Speed119.Speed_Right_Wheel_119>=1)&&(P5.P5_0>=1)))||((Speed120.Speed_Right_Wheel_120>=1)&&(P5.P5_0>=1)))||((Speed121.Speed_Right_Wheel_121>=1)&&(P5.P5_0>=1)))||((Speed122.Speed_Right_Wheel_122>=1)&&(P5.P5_0>=1)))||((Speed123.Speed_Right_Wheel_123>=1)&&(P5.P5_0>=1)))||((Speed124.Speed_Right_Wheel_124>=1)&&(P5.P5_0>=1)))||((Speed125.Speed_Right_Wheel_125>=1)&&(P5.P5_0>=1)))||((Speed126.Speed_Right_Wheel_126>=1)&&(P5.P5_0>=1)))||((Speed127.Speed_Right_Wheel_127>=1)&&(P5.P5_0>=1)))||((Speed128.Speed_Right_Wheel_128>=1)&&(P5.P5_0>=1)))||((Speed129.Speed_Right_Wheel_129>=1)&&(P5.P5_0>=1)))||((Speed130.Speed_Right_Wheel_130>=1)&&(P5.P5_0>=1)))||((Speed131.Speed_Right_Wheel_131>=1)&&(P5.P5_0>=1)))||((Speed132.Speed_Right_Wheel_132>=1)&&(P5.P5_0>=1)))||((Speed133.Speed_Right_Wheel_133>=1)&&(P5.P5_0>=1)))||((Speed134.Speed_Right_Wheel_134>=1)&&(P5.P5_0>=1)))||((Speed135.Speed_Right_Wheel_135>=1)&&(P5.P5_0>=1)))||((Speed136.Speed_Right_Wheel_136>=1)&&(P5.P5_0>=1)))||((Speed137.Speed_Right_Wheel_137>=1)&&(P5.P5_0>=1)))||((Speed138.Speed_Right_Wheel_138>=1)&&(P5.P5_0>=1)))||((Speed139.Speed_Right_Wheel_139>=1)&&(P5.P5_0>=1)))||((Speed140.Speed_Right_Wheel_140>=1)&&(P5.P5_0>=1)))||((Speed141.Speed_Right_Wheel_141>=1)&&(P5.P5_0>=1)))||((Speed142.Speed_Right_Wheel_142>=1)&&(P5.P5_0>=1)))||((Speed143.Speed_Right_Wheel_143>=1)&&(P5.P5_0>=1)))||((Speed144.Speed_Right_Wheel_144>=1)&&(P5.P5_0>=1)))||((Speed145.Speed_Right_Wheel_145>=1)&&(P5.P5_0>=1)))||((Speed146.Speed_Right_Wheel_146>=1)&&(P5.P5_0>=1)))||((Speed147.Speed_Right_Wheel_147>=1)&&(P5.P5_0>=1)))||((Speed148.Speed_Right_Wheel_148>=1)&&(P5.P5_0>=1)))||((Speed149.Speed_Right_Wheel_149>=1)&&(P5.P5_0>=1)))||((Speed150.Speed_Right_Wheel_150>=1)&&(P5.P5_0>=1)))||((Speed151.Speed_Right_Wheel_151>=1)&&(P5.P5_0>=1)))||((Speed152.Speed_Right_Wheel_152>=1)&&(P5.P5_0>=1)))||((Speed153.Speed_Right_Wheel_153>=1)&&(P5.P5_0>=1)))||((Speed154.Speed_Right_Wheel_154>=1)&&(P5.P5_0>=1)))||((Speed155.Speed_Right_Wheel_155>=1)&&(P5.P5_0>=1)))||((Speed156.Speed_Right_Wheel_156>=1)&&(P5.P5_0>=1)))||((Speed157.Speed_Right_Wheel_157>=1)&&(P5.P5_0>=1)))||((Speed158.Speed_Right_Wheel_158>=1)&&(P5.P5_0>=1)))||((Speed159.Speed_Right_Wheel_159>=1)&&(P5.P5_0>=1)))||((Speed160.Speed_Right_Wheel_160>=1)&&(P5.P5_0>=1)))||((Speed161.Speed_Right_Wheel_161>=1)&&(P5.P5_0>=1)))||((Speed162.Speed_Right_Wheel_162>=1)&&(P5.P5_0>=1)))||((Speed163.Speed_Right_Wheel_163>=1)&&(P5.P5_0>=1)))||((Speed164.Speed_Right_Wheel_164>=1)&&(P5.P5_0>=1)))||((Speed165.Speed_Right_Wheel_165>=1)&&(P5.P5_0>=1)))||((Speed166.Speed_Right_Wheel_166>=1)&&(P5.P5_0>=1)))||((Speed167.Speed_Right_Wheel_167>=1)&&(P5.P5_0>=1)))||((Speed168.Speed_Right_Wheel_168>=1)&&(P5.P5_0>=1)))||((Speed169.Speed_Right_Wheel_169>=1)&&(P5.P5_0>=1)))||((Speed170.Speed_Right_Wheel_170>=1)&&(P5.P5_0>=1)))||((Speed171.Speed_Right_Wheel_171>=1)&&(P5.P5_0>=1)))||((Speed172.Speed_Right_Wheel_172>=1)&&(P5.P5_0>=1)))||((Speed173.Speed_Right_Wheel_173>=1)&&(P5.P5_0>=1)))||((Speed174.Speed_Right_Wheel_174>=1)&&(P5.P5_0>=1)))||((Speed175.Speed_Right_Wheel_175>=1)&&(P5.P5_0>=1)))||((Speed176.Speed_Right_Wheel_176>=1)&&(P5.P5_0>=1)))||((Speed177.Speed_Right_Wheel_177>=1)&&(P5.P5_0>=1)))||((Speed178.Speed_Right_Wheel_178>=1)&&(P5.P5_0>=1)))||((Speed179.Speed_Right_Wheel_179>=1)&&(P5.P5_0>=1)))||((Speed180.Speed_Right_Wheel_180>=1)&&(P5.P5_0>=1)))||((Speed181.Speed_Right_Wheel_181>=1)&&(P5.P5_0>=1)))||((Speed182.Speed_Right_Wheel_182>=1)&&(P5.P5_0>=1)))||((Speed183.Speed_Right_Wheel_183>=1)&&(P5.P5_0>=1)))||((Speed184.Speed_Right_Wheel_184>=1)&&(P5.P5_0>=1)))||((Speed185.Speed_Right_Wheel_185>=1)&&(P5.P5_0>=1)))||((Speed186.Speed_Right_Wheel_186>=1)&&(P5.P5_0>=1)))||((Speed187.Speed_Right_Wheel_187>=1)&&(P5.P5_0>=1)))||((Speed188.Speed_Right_Wheel_188>=1)&&(P5.P5_0>=1)))||((Speed189.Speed_Right_Wheel_189>=1)&&(P5.P5_0>=1)))||((Speed190.Speed_Right_Wheel_190>=1)&&(P5.P5_0>=1)))||((Speed191.Speed_Right_Wheel_191>=1)&&(P5.P5_0>=1)))||((Speed192.Speed_Right_Wheel_192>=1)&&(P5.P5_0>=1)))||((Speed193.Speed_Right_Wheel_193>=1)&&(P5.P5_0>=1)))||((Speed194.Speed_Right_Wheel_194>=1)&&(P5.P5_0>=1)))||((Speed195.Speed_Right_Wheel_195>=1)&&(P5.P5_0>=1)))||((Speed196.Speed_Right_Wheel_196>=1)&&(P5.P5_0>=1)))||((Speed197.Speed_Right_Wheel_197>=1)&&(P5.P5_0>=1)))||((Speed198.Speed_Right_Wheel_198>=1)&&(P5.P5_0>=1)))||((Speed199.Speed_Right_Wheel_199>=1)&&(P5.P5_0>=1)))||((Speed200.Speed_Right_Wheel_200>=1)&&(P5.P5_0>=1)))||((Speed201.Speed_Right_Wheel_201>=1)&&(P5.P5_0>=1)))||((Speed202.Speed_Right_Wheel_202>=1)&&(P5.P5_0>=1)))||((Speed203.Speed_Right_Wheel_203>=1)&&(P5.P5_0>=1)))||((Speed204.Speed_Right_Wheel_204>=1)&&(P5.P5_0>=1)))||((Speed205.Speed_Right_Wheel_205>=1)&&(P5.P5_0>=1)))||((Speed206.Speed_Right_Wheel_206>=1)&&(P5.P5_0>=1)))||((Speed207.Speed_Right_Wheel_207>=1)&&(P5.P5_0>=1)))||((Speed208.Speed_Right_Wheel_208>=1)&&(P5.P5_0>=1)))||((Speed209.Speed_Right_Wheel_209>=1)&&(P5.P5_0>=1)))||((Speed210.Speed_Right_Wheel_210>=1)&&(P5.P5_0>=1)))||((Speed211.Speed_Right_Wheel_211>=1)&&(P5.P5_0>=1)))||((Speed212.Speed_Right_Wheel_212>=1)&&(P5.P5_0>=1)))||((Speed213.Speed_Right_Wheel_213>=1)&&(P5.P5_0>=1)))||((Speed214.Speed_Right_Wheel_214>=1)&&(P5.P5_0>=1)))||((Speed215.Speed_Right_Wheel_215>=1)&&(P5.P5_0>=1)))||((Speed216.Speed_Right_Wheel_216>=1)&&(P5.P5_0>=1)))||((Speed217.Speed_Right_Wheel_217>=1)&&(P5.P5_0>=1)))||((Speed218.Speed_Right_Wheel_218>=1)&&(P5.P5_0>=1)))||((Speed219.Speed_Right_Wheel_219>=1)&&(P5.P5_0>=1)))||((Speed220.Speed_Right_Wheel_220>=1)&&(P5.P5_0>=1)))||((Speed221.Speed_Right_Wheel_221>=1)&&(P5.P5_0>=1)))||((Speed222.Speed_Right_Wheel_222>=1)&&(P5.P5_0>=1)))||((Speed223.Speed_Right_Wheel_223>=1)&&(P5.P5_0>=1)))||((Speed224.Speed_Right_Wheel_224>=1)&&(P5.P5_0>=1)))||((Speed225.Speed_Right_Wheel_225>=1)&&(P5.P5_0>=1)))||((Speed226.Speed_Right_Wheel_226>=1)&&(P5.P5_0>=1)))||((Speed227.Speed_Right_Wheel_227>=1)&&(P5.P5_0>=1)))||((Speed228.Speed_Right_Wheel_228>=1)&&(P5.P5_0>=1)))||((Speed229.Speed_Right_Wheel_229>=1)&&(P5.P5_0>=1)))||((Speed230.Speed_Right_Wheel_230>=1)&&(P5.P5_0>=1)))||((Speed231.Speed_Right_Wheel_231>=1)&&(P5.P5_0>=1)))||((Speed232.Speed_Right_Wheel_232>=1)&&(P5.P5_0>=1)))||((Speed233.Speed_Right_Wheel_233>=1)&&(P5.P5_0>=1)))||((Speed234.Speed_Right_Wheel_234>=1)&&(P5.P5_0>=1)))||((Speed235.Speed_Right_Wheel_235>=1)&&(P5.P5_0>=1)))||((Speed236.Speed_Right_Wheel_236>=1)&&(P5.P5_0>=1)))||((Speed237.Speed_Right_Wheel_237>=1)&&(P5.P5_0>=1)))||((Speed238.Speed_Right_Wheel_238>=1)&&(P5.P5_0>=1)))||((Speed239.Speed_Right_Wheel_239>=1)&&(P5.P5_0>=1)))||((Speed240.Speed_Right_Wheel_240>=1)&&(P5.P5_0>=1)))||((Speed241.Speed_Right_Wheel_241>=1)&&(P5.P5_0>=1)))||((Speed242.Speed_Right_Wheel_242>=1)&&(P5.P5_0>=1)))||((Speed243.Speed_Right_Wheel_243>=1)&&(P5.P5_0>=1)))||((Speed244.Speed_Right_Wheel_244>=1)&&(P5.P5_0>=1)))||((Speed245.Speed_Right_Wheel_245>=1)&&(P5.P5_0>=1)))||((Speed246.Speed_Right_Wheel_246>=1)&&(P5.P5_0>=1)))||((Speed247.Speed_Right_Wheel_247>=1)&&(P5.P5_0>=1)))||((Speed248.Speed_Right_Wheel_248>=1)&&(P5.P5_0>=1)))||((Speed249.Speed_Right_Wheel_249>=1)&&(P5.P5_0>=1)))||((Speed250.Speed_Right_Wheel_250>=1)&&(P5.P5_0>=1)))||((Speed251.Speed_Right_Wheel_251>=1)&&(P5.P5_0>=1)))||((Speed252.Speed_Right_Wheel_252>=1)&&(P5.P5_0>=1)))||((Speed253.Speed_Right_Wheel_253>=1)&&(P5.P5_0>=1)))||((Speed254.Speed_Right_Wheel_254>=1)&&(P5.P5_0>=1)))||((Speed255.Speed_Right_Wheel_255>=1)&&(P5.P5_0>=1)))||((Speed256.Speed_Right_Wheel_256>=1)&&(P5.P5_0>=1)))||((Speed257.Speed_Right_Wheel_257>=1)&&(P5.P5_0>=1)))||((Speed258.Speed_Right_Wheel_258>=1)&&(P5.P5_0>=1)))||((Speed259.Speed_Right_Wheel_259>=1)&&(P5.P5_0>=1)))||((Speed260.Speed_Right_Wheel_260>=1)&&(P5.P5_0>=1)))||((Speed261.Speed_Right_Wheel_261>=1)&&(P5.P5_0>=1)))||((Speed262.Speed_Right_Wheel_262>=1)&&(P5.P5_0>=1)))||((Speed263.Speed_Right_Wheel_263>=1)&&(P5.P5_0>=1)))||((Speed264.Speed_Right_Wheel_264>=1)&&(P5.P5_0>=1)))||((Speed265.Speed_Right_Wheel_265>=1)&&(P5.P5_0>=1)))||((Speed266.Speed_Right_Wheel_266>=1)&&(P5.P5_0>=1)))||((Speed267.Speed_Right_Wheel_267>=1)&&(P5.P5_0>=1)))||((Speed268.Speed_Right_Wheel_268>=1)&&(P5.P5_0>=1)))||((Speed269.Speed_Right_Wheel_269>=1)&&(P5.P5_0>=1)))||((Speed270.Speed_Right_Wheel_270>=1)&&(P5.P5_0>=1)))||((Speed271.Speed_Right_Wheel_271>=1)&&(P5.P5_0>=1)))||((Speed272.Speed_Right_Wheel_272>=1)&&(P5.P5_0>=1)))||((Speed273.Speed_Right_Wheel_273>=1)&&(P5.P5_0>=1)))||((Speed274.Speed_Right_Wheel_274>=1)&&(P5.P5_0>=1)))||((Speed275.Speed_Right_Wheel_275>=1)&&(P5.P5_0>=1)))||((Speed276.Speed_Right_Wheel_276>=1)&&(P5.P5_0>=1)))||((Speed277.Speed_Right_Wheel_277>=1)&&(P5.P5_0>=1)))||((Speed278.Speed_Right_Wheel_278>=1)&&(P5.P5_0>=1)))||((Speed279.Speed_Right_Wheel_279>=1)&&(P5.P5_0>=1)))||((Speed280.Speed_Right_Wheel_280>=1)&&(P5.P5_0>=1)))||((Speed281.Speed_Right_Wheel_281>=1)&&(P5.P5_0>=1)))||((Speed282.Speed_Right_Wheel_282>=1)&&(P5.P5_0>=1)))||((Speed283.Speed_Right_Wheel_283>=1)&&(P5.P5_0>=1)))||((Speed284.Speed_Right_Wheel_284>=1)&&(P5.P5_0>=1)))||((Speed285.Speed_Right_Wheel_285>=1)&&(P5.P5_0>=1)))||((Speed286.Speed_Right_Wheel_286>=1)&&(P5.P5_0>=1)))||((Speed287.Speed_Right_Wheel_287>=1)&&(P5.P5_0>=1)))||((Speed288.Speed_Right
_Wheel_288>=1)&&(P5.P5_0>=1)))||((Speed289.Speed_Right_Wheel_289>=1)&&(P5.P5_0>=1)))||((Speed290.Speed_Right_Wheel_290>=1)&&(P5.P5_0>=1)))||((Speed291.Speed_Right_Wheel_291>=1)&&(P5.P5_0>=1)))||((Speed292.Speed_Right_Wheel_292>=1)&&(P5.P5_0>=1)))||((Speed293.Speed_Right_Wheel_293>=1)&&(P5.P5_0>=1)))||((Speed294.Speed_Right_Wheel_294>=1)&&(P5.P5_0>=1)))||((Speed295.Speed_Right_Wheel_295>=1)&&(P5.P5_0>=1)))||((Speed296.Speed_Right_Wheel_296>=1)&&(P5.P5_0>=1)))||((Speed297.Speed_Right_Wheel_297>=1)&&(P5.P5_0>=1)))||((Speed298.Speed_Right_Wheel_298>=1)&&(P5.P5_0>=1)))||((Speed299.Speed_Right_Wheel_299>=1)&&(P5.P5_0>=1)))||((Speed300.Speed_Right_Wheel_300>=1)&&(P5.P5_0>=1)))||((Speed301.Speed_Right_Wheel_301>=1)&&(P5.P5_0>=1)))||((Speed302.Speed_Right_Wheel_302>=1)&&(P5.P5_0>=1)))||((Speed303.Speed_Right_Wheel_303>=1)&&(P5.P5_0>=1)))||((Speed304.Speed_Right_Wheel_304>=1)&&(P5.P5_0>=1)))||((Speed305.Speed_Right_Wheel_305>=1)&&(P5.P5_0>=1)))||((Speed306.Speed_Right_Wheel_306>=1)&&(P5.P5_0>=1)))||((Speed307.Speed_Right_Wheel_307>=1)&&(P5.P5_0>=1)))||((Speed308.Speed_Right_Wheel_308>=1)&&(P5.P5_0>=1)))||((Speed309.Speed_Right_Wheel_309>=1)&&(P5.P5_0>=1)))||((Speed310.Speed_Right_Wheel_310>=1)&&(P5.P5_0>=1)))||((Speed311.Speed_Right_Wheel_311>=1)&&(P5.P5_0>=1)))||((Speed312.Speed_Right_Wheel_312>=1)&&(P5.P5_0>=1)))||((Speed313.Speed_Right_Wheel_313>=1)&&(P5.P5_0>=1)))||((Speed314.Speed_Right_Wheel_314>=1)&&(P5.P5_0>=1)))||((Speed315.Speed_Right_Wheel_315>=1)&&(P5.P5_0>=1)))||((Speed316.Speed_Right_Wheel_316>=1)&&(P5.P5_0>=1)))||((Speed317.Speed_Right_Wheel_317>=1)&&(P5.P5_0>=1)))||((Speed318.Speed_Right_Wheel_318>=1)&&(P5.P5_0>=1)))||((Speed319.Speed_Right_Wheel_319>=1)&&(P5.P5_0>=1)))||((Speed320.Speed_Right_Wheel_320>=1)&&(P5.P5_0>=1)))||((Speed321.Speed_Right_Wheel_321>=1)&&(P5.P5_0>=1)))||((Speed322.Speed_Right_Wheel_322>=1)&&(P5.P5_0>=1)))||((Speed323.Speed_Right_Wheel_323>=1)&&(P5.P5_0>=1)))||((Speed324.Speed_Right_Wheel_324>=1)&&(P5.P5_0>=1)))||((Speed325.Speed_Right_Wheel_325>=1)&&(P5.P5_0>=1)))||((Speed326.Speed_Right_Wheel_326>=1)&&(P5.P5_0>=1)))||((Speed327.Speed_Right_Wheel_327>=1)&&(P5.P5_0>=1)))||((Speed328.Speed_Right_Wheel_328>=1)&&(P5.P5_0>=1)))||((Speed329.Speed_Right_Wheel_329>=1)&&(P5.P5_0>=1)))||((Speed330.Speed_Right_Wheel_330>=1)&&(P5.P5_0>=1)))||((Speed331.Speed_Right_Wheel_331>=1)&&(P5.P5_0>=1)))||((Speed332.Speed_Right_Wheel_332>=1)&&(P5.P5_0>=1)))||((Speed333.Speed_Right_Wheel_333>=1)&&(P5.P5_0>=1)))||((Speed334.Speed_Right_Wheel_334>=1)&&(P5.P5_0>=1)))||((Speed335.Speed_Right_Wheel_335>=1)&&(P5.P5_0>=1)))||((Speed336.Speed_Right_Wheel_336>=1)&&(P5.P5_0>=1)))||((Speed337.Speed_Right_Wheel_337>=1)&&(P5.P5_0>=1)))||((Speed338.Speed_Right_Wheel_338>=1)&&(P5.P5_0>=1)))||((Speed339.Speed_Right_Wheel_339>=1)&&(P5.P5_0>=1)))||((Speed340.Speed_Right_Wheel_340>=1)&&(P5.P5_0>=1)))||((Speed341.Speed_Right_Wheel_341>=1)&&(P5.P5_0>=1)))||((Speed342.Speed_Right_Wheel_342>=1)&&(P5.P5_0>=1)))||((Speed343.Speed_Right_Wheel_343>=1)&&(P5.P5_0>=1)))||((Speed344.Speed_Right_Wheel_344>=1)&&(P5.P5_0>=1)))||((Speed345.Speed_Right_Wheel_345>=1)&&(P5.P5_0>=1)))||((Speed346.Speed_Right_Wheel_346>=1)&&(P5.P5_0>=1)))||((Speed347.Speed_Right_Wheel_347>=1)&&(P5.P5_0>=1)))||((Speed348.Speed_Right_Wheel_348>=1)&&(P5.P5_0>=1)))||((Speed349.Speed_Right_Wheel_349>=1)&&(P5.P5_0>=1)))||((Speed350.Speed_Right_Wheel_350>=1)&&(P5.P5_0>=1)))||((Speed351.Speed_Right_Wheel_351>=1)&&(P5.P5_0>=1)))||((Speed352.Speed_Right_Wheel_352>=1)&&(P5.P5_0>=1)))||((Speed353.Speed_Right_Wheel_353>=1)&&(P5.P5_0>=1)))||((Speed354.Speed_Right_Wheel_354>=1)&&(P5.P5_0>=1)))||((Speed355.Speed_Right_Wheel_355>=1)&&(P5.P5_0>=1)))||((Speed356.Speed_Right_Wheel_356>=1)&&(P5.P5_0>=1)))||((Speed357.Speed_Right_Wheel_357>=1)&&(P5.P5_0>=1)))||((Speed358.Speed_Right_Wheel_358>=1)&&(P5.P5_0>=1)))||((Speed359.Speed_Right_Wheel_359>=1)&&(P5.P5_0>=1)))||((Speed360.Speed_Right_Wheel_360>=1)&&(P5.P5_0>=1)))||((Speed361.Speed_Right_Wheel_361>=1)&&(P5.P5_0>=1)))||((Speed362.Speed_Right_Wheel_362>=1)&&(P5.P5_0>=1)))||((Speed363.Speed_Right_Wheel_363>=1)&&(P5.P5_0>=1)))||((Speed364.Speed_Right_Wheel_364>=1)&&(P5.P5_0>=1)))||((Speed365.Speed_Right_Wheel_365>=1)&&(P5.P5_0>=1)))||((Speed366.Speed_Right_Wheel_366>=1)&&(P5.P5_0>=1)))||((Speed367.Speed_Right_Wheel_367>=1)&&(P5.P5_0>=1)))||((Speed368.Speed_Right_Wheel_368>=1)&&(P5.P5_0>=1)))||((Speed369.Speed_Right_Wheel_369>=1)&&(P5.P5_0>=1)))||((Speed370.Speed_Right_Wheel_370>=1)&&(P5.P5_0>=1)))||((Speed371.Speed_Right_Wheel_371>=1)&&(P5.P5_0>=1)))||((Speed372.Speed_Right_Wheel_372>=1)&&(P5.P5_0>=1)))||((Speed373.Speed_Right_Wheel_373>=1)&&(P5.P5_0>=1)))||((Speed374.Speed_Right_Wheel_374>=1)&&(P5.P5_0>=1)))||((Speed375.Speed_Right_Wheel_375>=1)&&(P5.P5_0>=1)))||((Speed376.Speed_Right_Wheel_376>=1)&&(P5.P5_0>=1)))||((Speed377.Speed_Right_Wheel_377>=1)&&(P5.P5_0>=1)))||((Speed378.Speed_Right_Wheel_378>=1)&&(P5.P5_0>=1)))||((Speed379.Speed_Right_Wheel_379>=1)&&(P5.P5_0>=1)))||((Speed380.Speed_Right_Wheel_380>=1)&&(P5.P5_0>=1)))||((Speed381.Speed_Right_Wheel_381>=1)&&(P5.P5_0>=1)))||((Speed382.Speed_Right_Wheel_382>=1)&&(P5.P5_0>=1)))||((Speed383.Speed_Right_Wheel_383>=1)&&(P5.P5_0>=1)))||((Speed384.Speed_Right_Wheel_384>=1)&&(P5.P5_0>=1)))||((Speed385.Speed_Right_Wheel_385>=1)&&(P5.P5_0>=1)))||((Speed386.Speed_Right_Wheel_386>=1)&&(P5.P5_0>=1)))||((Speed387.Speed_Right_Wheel_387>=1)&&(P5.P5_0>=1)))||((Speed388.Speed_Right_Wheel_388>=1)&&(P5.P5_0>=1)))||((Speed389.Speed_Right_Wheel_389>=1)&&(P5.P5_0>=1)))||((Speed390.Speed_Right_Wheel_390>=1)&&(P5.P5_0>=1)))||((Speed391.Speed_Right_Wheel_391>=1)&&(P5.P5_0>=1)))||((Speed392.Speed_Right_Wheel_392>=1)&&(P5.P5_0>=1)))||((Speed393.Speed_Right_Wheel_393>=1)&&(P5.P5_0>=1)))||((Speed394.Speed_Right_Wheel_394>=1)&&(P5.P5_0>=1)))||((Speed395.Speed_Right_Wheel_395>=1)&&(P5.P5_0>=1)))||((Speed396.Speed_Right_Wheel_396>=1)&&(P5.P5_0>=1)))||((Speed397.Speed_Right_Wheel_397>=1)&&(P5.P5_0>=1)))||((Speed398.Speed_Right_Wheel_398>=1)&&(P5.P5_0>=1)))||((Speed399.Speed_Right_Wheel_399>=1)&&(P5.P5_0>=1)))||((Speed400.Speed_Right_Wheel_400>=1)&&(P5.P5_0>=1)))||((Speed401.Speed_Right_Wheel_401>=1)&&(P5.P5_0>=1)))||((Speed402.Speed_Right_Wheel_402>=1)&&(P5.P5_0>=1)))||((Speed403.Speed_Right_Wheel_403>=1)&&(P5.P5_0>=1)))||((Speed404.Speed_Right_Wheel_404>=1)&&(P5.P5_0>=1)))||((Speed405.Speed_Right_Wheel_405>=1)&&(P5.P5_0>=1)))||((Speed406.Speed_Right_Wheel_406>=1)&&(P5.P5_0>=1)))||((Speed407.Speed_Right_Wheel_407>=1)&&(P5.P5_0>=1)))||((Speed408.Speed_Right_Wheel_408>=1)&&(P5.P5_0>=1)))||((Speed409.Speed_Right_Wheel_409>=1)&&(P5.P5_0>=1)))||((Speed410.Speed_Right_Wheel_410>=1)&&(P5.P5_0>=1)))||((Speed411.Speed_Right_Wheel_411>=1)&&(P5.P5_0>=1)))||((Speed412.Speed_Right_Wheel_412>=1)&&(P5.P5_0>=1)))||((Speed413.Speed_Right_Wheel_413>=1)&&(P5.P5_0>=1)))||((Speed414.Speed_Right_Wheel_414>=1)&&(P5.P5_0>=1)))||((Speed415.Speed_Right_Wheel_415>=1)&&(P5.P5_0>=1)))||((Speed416.Speed_Right_Wheel_416>=1)&&(P5.P5_0>=1)))||((Speed417.Speed_Right_Wheel_417>=1)&&(P5.P5_0>=1)))||((Speed418.Speed_Right_Wheel_418>=1)&&(P5.P5_0>=1)))||((Speed419.Speed_Right_Wheel_419>=1)&&(P5.P5_0>=1)))||((Speed420.Speed_Right_Wheel_420>=1)&&(P5.P5_0>=1)))||((Speed421.Speed_Right_Wheel_421>=1)&&(P5.P5_0>=1)))||((Speed422.Speed_Right_Wheel_422>=1)&&(P5.P5_0>=1)))||((Speed423.Speed_Right_Wheel_423>=1)&&(P5.P5_0>=1)))||((Speed424.Speed_Right_Wheel_424>=1)&&(P5.P5_0>=1)))||((Speed425.Speed_Right_Wheel_425>=1)&&(P5.P5_0>=1)))||((Speed426.Speed_Right_Wheel_426>=1)&&(P5.P5_0>=1)))||((Speed427.Speed_Right_Wheel_427>=1)&&(P5.P5_0>=1)))||((Speed428.Speed_Right_Wheel_428>=1)&&(P5.P5_0>=1)))||((Speed429.Speed_Right_Wheel_429>=1)&&(P5.P5_0>=1)))||((Speed430.Speed_Right_Wheel_430>=1)&&(P5.P5_0>=1)))||((Speed431.Speed_Right_Wheel_431>=1)&&(P5.P5_0>=1)))||((Speed432.Speed_Right_Wheel_432>=1)&&(P5.P5_0>=1)))||((Speed433.Speed_Right_Wheel_433>=1)&&(P5.P5_0>=1)))||((Speed434.Speed_Right_Wheel_434>=1)&&(P5.P5_0>=1)))||((Speed435.Speed_Right_Wheel_435>=1)&&(P5.P5_0>=1)))||((Speed436.Speed_Right_Wheel_436>=1)&&(P5.P5_0>=1)))||((Speed437.Speed_Right_Wheel_437>=1)&&(P5.P5_0>=1)))||((Speed438.Speed_Right_Wheel_438>=1)&&(P5.P5_0>=1)))||((Speed439.Speed_Right_Wheel_439>=1)&&(P5.P5_0>=1)))||((Speed440.Speed_Right_Wheel_440>=1)&&(P5.P5_0>=1)))||((Speed441.Speed_Right_Wheel_441>=1)&&(P5.P5_0>=1)))||((Speed442.Speed_Right_Wheel_442>=1)&&(P5.P5_0>=1)))||((Speed443.Speed_Right_Wheel_443>=1)&&(P5.P5_0>=1)))||((Speed444.Speed_Right_Wheel_444>=1)&&(P5.P5_0>=1)))||((Speed445.Speed_Right_Wheel_445>=1)&&(P5.P5_0>=1)))||((Speed446.Speed_Right_Wheel_446>=1)&&(P5.P5_0>=1)))||((Speed447.Speed_Right_Wheel_447>=1)&&(P5.P5_0>=1)))||((Speed448.Speed_Right_Wheel_448>=1)&&(P5.P5_0>=1)))||((Speed449.Speed_Right_Wheel_449>=1)&&(P5.P5_0>=1)))||((Speed450.Speed_Right_Wheel_450>=1)&&(P5.P5_0>=1)))||((Speed451.Speed_Right_Wheel_451>=1)&&(P5.P5_0>=1)))||((Speed452.Speed_Right_Wheel_452>=1)&&(P5.P5_0>=1)))||((Speed453.Speed_Right_Wheel_453>=1)&&(P5.P5_0>=1)))||((Speed454.Speed_Right_Wheel_454>=1)&&(P5.P5_0>=1)))||((Speed455.Speed_Right_Wheel_455>=1)&&(P5.P5_0>=1)))||((Speed456.Speed_Right_Wheel_456>=1)&&(P5.P5_0>=1)))||((Speed457.Speed_Right_Wheel_457>=1)&&(P5.P5_0>=1)))||((Speed458.Speed_Right_Wheel_458>=1)&&(P5.P5_0>=1)))||((Speed459.Speed_Right_Wheel_459>=1)&&(P5.P5_0>=1)))||((Speed460.Speed_Right_Wheel_460>=1)&&(P5.P5_0>=1)))||((Speed461.Speed_Right_Wheel_461>=1)&&(P5.P5_0>=1)))||((Speed462.Speed_Right_Wheel_462>=1)&&(P5.P5_0>=1)))||((Speed463.Speed_Right_Wheel_463>=1)&&(P5.P5_0>=1)))||((Speed464.Speed_Right_Wheel_464>=1)&&(P5.P5_0>=1)))||((Speed465.Speed_Right_Wheel_465>=1)&&(P5.P5_0>=1)))||((Speed466.Speed_Right_Wheel_466>=1)&&(P5.P5_0>=1)))||((Speed467.Speed_Right_Wheel_467>=1)&&(P5.P5_0>=1)))||((Speed468.Speed_Right_Wheel_468>=1)&&(P5.P5_0>=1)))||((Speed469.Speed_Right_Wheel_469>=1)&&(P5.P5_0>=1)))||((Speed470.Speed_Right_Wheel_470>=1)&&(P5.P5_0>=1)))||((Speed471.Speed_Right_Wheel_471>=1)&&(P5.P5_0>=1)))||((Speed472.Speed_Right_Wheel_472>=1)&&(P5.P5_0>=1)))||((Speed473.Speed_Right_Wheel_473>=1)&&(P5.P5_0>=1)))||((Speed474.Speed_Right_Wheel_474>=1)&&(P5.P5_0>=1)))||((Speed475.Speed_Right_Wheel_475>=1)&&(P5.P5_0>=1)))||((Speed476.Speed_Right_Wheel_476>=1)&&(P5.P5_0>=1)))||((Speed477.Speed_Right_Wheel_477>=1)&&(P5.P5_0>=1)))||((Speed478.Speed_Right_Wheel_478>=1)&&(P5.P5_0>=1)))||((Speed479.Speed_Right_Wheel_479>=1)&&(P5.P5_0>=1)))||((Speed480.Speed_Right_Wheel_480>=1)&&(P5.P5_0>=1)))||((Speed481.Speed_Right_Wheel_481>=1)&&(P5.P5_0>=1)))||((Speed482.Speed_Right_Wheel_482>=1)&&(P5.P5_0>=1)))||((Speed483.Speed_Right_Wheel_483>=1)&&(P5.P5_0>=1)))||((Speed484.Speed_Right_Wheel_484>=1)&&(P5.P5_0>=1)))||((Speed485.Speed_Right_Wheel_485>=1)&&(P5.P5_0>=1)))||((Speed486.Speed_Right_Wheel_486>=1)&&(P5.P5_0>=1)))||((Speed487.Speed_Right_Wheel_487>=1)&&(P5.P5_0>=1)))||((Speed488.Speed_Right_Wheel_488>=1)&&(P5.P5_0>=1)))||((Speed489.Speed_Right_Wheel_489>=1)&&(P5.P5_0>=1)))||((Speed490.Speed_Right_Wheel_490>=1)&&(P5.P5_0>=1)))||((Speed491.Speed_Right_Wheel_491>=1)&&(P5.P5_0>=1)))||((Speed492.Speed_Right_Wheel_492>=1)&&(P5.P5_0>=1)))||((Speed493.Speed_Right_Wheel_493>=1)&&(P5.P5_0>=1)))||((Speed494.Speed_Right_Wheel_494>=1)&&(P5.P5_0>=1)))||((Speed495.Speed_Right_Wheel_495>=1)&&(P5.P5_0>=1)))||((Speed496.Speed_Right_Wheel_496>=1)&&(P5.P5_0>=1)))||((Speed497.Speed_Right_Wheel_497>=1)&&(P5.P5_0>=1)))||((Speed498.Speed_Right_Wheel_498>=1)&&(P5.P5_0>=1)))||((Speed499.Speed_Right_Wheel_499>=1)&&(P5.P5_0>=1)))||((Speed500.Speed_Right_Wheel_500>=1)&&(P5.P5_0>=1)))||((Speed501.Speed_Right_Wheel_501>=1)&&(P5.P5_0>=1)))||((Speed502.Speed_Right_Wheel_502>=1)&&(P5.P5_0>=1)))||((Speed503.Speed_Right_Wheel_503>=1)&&(P5.P5_0>=1)))||((Speed504.Speed_Right_Wheel_504>=1)&&(P5.P5_0>=1)))||((Speed505.Speed_Right_Wheel_505>=1)&&(P5.P5_0>=1)))||((Speed506.Speed_Right_Wheel_506>=1)&&(P5.P5_0>=1)))||((Speed507.Speed_Right_Wheel_507>=1)&&(P5.P5_0>=1)))||((Speed508.Speed_Right_Wheel_508>=1)&&(P5.P5_0>=1)))||((Speed509.Speed_Right_Wheel_509>=1)&&(P5.P5_0>=1)))||((Speed510.Speed_Right_Wheel_510>=1)&&(P5.P5_0>=1)))||((Speed511.Speed_Right_Wheel_511>=1)&&(P5.P5_0>=1)))||((Speed512.Speed_Right_Wheel_512>=1)&&(P5.P5_0>=1)))||((Speed513.Speed_Right_Wheel_513>=1)&&(P5.P5_0>=1)))||((Speed514.Speed_Right_Wheel_514>=1)&&(P5.P5_0>=1)))||((Speed515.Speed_Right_Wheel_515>=1)&&(P5.P5_0>=1)))||((Speed516.Speed_Right_Wheel_516>=1)&&(P5.P5_0>=1)))||((Speed517.Speed_Right_Wheel_517>=1)&&(P5.P5_0>=1)))||((Speed518.Speed_Right_Wheel_518>=1)&&(P5.P5_0>=1)))||((Speed519.Speed_Right_Wheel_519>=1)&&(P5.P5_0>=1)))||((Speed520.Speed_Right_Wheel_520>=1)&&(P5.P5_0>=1)))||((Speed521.Speed_Right_Wheel_521>=1)&&(P5.P5_0>=1)))||((Speed522.Speed_Right_Wheel_522>=1)&&(P5.P5_0>=1)))||((Speed523.Speed_Right_Wheel_523>=1)&&(P5.P5_0>=1)))||((Speed524.Speed_Right_Wheel_524>=1)&&(P5.P5_0>=1)))||((Speed525.Speed_Right_Wheel_525>=1)&&(P5.P5_0>=1)))||((Speed526.Speed_Right_Wheel_526>=1)&&(P5.P5_0>=1)))||((Speed527.Speed_Right_Wheel_527>=1)&&(P5.P5_0>=1)))||((Speed528.Speed_Right_Wheel_528>=1)&&(P5.P5_0>=1)))||((Speed529.Speed_Right_Wheel_529>=1)&&(P5.P5_0>=1)))||((Speed530.Speed_Right_Wheel_530>=1)&&(P5.P5_0>=1)))||((Speed531.Speed_Right_Wheel_531>=1)&&(P5.P5_0>=1)))||((Speed532.Speed_Right_Wheel_532>=1)&&(P5.P5_0>=1)))||((Speed533.Speed_Right_Wheel_533>=1)&&(P5.P5_0>=1)))||((Speed534.Speed_Right_Wheel_534>=1)&&(P5.P5_0>=1)))||((Speed535.Speed_Right_Wheel_535>=1)&&(P5.P5_0>=1)))||((Speed536.Speed_Right_Wheel_536>=1)&&(P5.P5_0>=1)))||((Speed537.Speed_Right_Wheel_537>=1)&&(P5.P5_0>=1)))||((Speed538.Speed_Right_Wheel_538>=1)&&(P5.P5_0>=1)))||((Speed539.Speed_Right_Wheel_539>=1)&&(P5.P5_0>=1)))||((Speed540.Speed_Right_Wheel_540>=1)&&(P5.P5_0>=1)))||((Speed541.Speed_Right_Wheel_541>=1)&&(P5.P5_0>=1)))||((Speed542.Speed_Right_Wheel_542>=1)&&(P5.P5_0>=1)))||((Speed543.Speed_Right_Wheel_543>=1)&&(P5.P5_0>=1)))||((Speed544.Speed_Right_Wheel_544>=1)&&(P5.P5_0>=1)))||((Speed545.Speed_Right_Wheel_545>=1)&&(P5.P5_0>=1)))||((Speed546.Speed_Right_Wheel_546>=1)&&(P5.P5_0>=1)))||((Speed547.Speed_Right_Wheel_547>=1)&&(P5.P5_0>=1)))||((Speed548.Speed_Right_Wheel_548>=1)&&(P5.P5_0>=1)))||((Speed549.Speed_Right_Wheel_549>=1)&&(P5.P5_0>=1)))||((Speed550.Speed_Right_Wheel_550>=1)&&(P5.P5_0>=1)))||((Speed551.Speed_Right_Wheel_551>=1)&&(P5.P5_0>=1)))||((Speed552.Speed_Right_Wheel_552>=1)&&(P5.P5_0>=1)))||((Speed553.Speed_Right_Wheel_553>=1)&&(P5.P5_0>=1)))||((Speed554.Speed_Right_Wheel_554>=1)&&(P5.P5_0>=1)))||((Speed555.Speed_Right_Wheel_555>=1)&&(P5.P5_0>=1)))||((Speed556.Speed_Right_Wheel_556>=1)&&(P5.P5_0>=1)))||((Speed557.Speed_Right_Wheel_557>=1)&&(P5.P5_0>=1)))||((Speed558.Speed_Right_Wheel_558>=1)&&(P5.P5_0>=1)))||((Speed559.Speed_Right_Wheel_559>=1)&&(P5.P5_0>=1)))||((Speed560.Speed_Right_Wheel_560>=1)&&(P5.P5_0>=1)))||((Speed561.Speed_Right_Wheel_561>=1)&&(P5.P5_0>=1)))||((Speed562.Speed_Right_Wheel_562>=1)&&(P5.P5_0>=1)))||((Speed563.Speed_Right_Wheel_563>=1)&&(P5.P5_0>=1)))||((Speed564.Speed_Right_Wheel_564>=1)&&(P5.P5_0>=1)))||((Speed565.Speed_Right_Wheel_565>=1)&&(P5.P5_0>=1)))||((Speed566.Speed_Right_Wheel_566>=1)&&(P5.P5_0>=1)))||((Speed567.Speed_Right_Wheel_567>=1)&&(P5.P5_0>=1)))||((Speed568.Speed_Right_Wheel_568>=1)&&(P5.P5_0>=1)))||((Speed569.Speed_Right_Wheel_569>=1)&&(P5.P5_0>=1)))||((Speed570.Speed_Right_Wheel_570>=1)&&(P5.P5_0>=1)))||((Speed571.Speed_Right_Wheel_571>=1)&&(P5.P5_0>=1)))||((Speed572.Speed_Right_Wheel_572>=1)&&(P5.P5_0>=1)))||((Speed573.Speed_Right_Wheel_573>=1)&&(P5.P5_0>=1)))||((Speed574.Speed_Right_Wheel_574>=1)&&(P5.P5_0>=1)))||((Speed575.Speed_Right_Wheel_575>=1)&&(P5.P5_0>=1)))||((Speed576.Speed_Right_Wheel_576>=1)&&(P5.P5_0>=1)))||((Speed577.Speed_Right_Wheel_577>=1)&&(P5.P5_0>=1)))||((Speed578.Speed_Right_Wheel_578>=1)&&(P5.P5_0>=1)))||((Speed579.Speed_Right_Wheel_579>=1)&&(P5.P5_0>=1)))||((Speed580.Speed_Right_Wheel_580>=1)&&(P5.P5_0>=1)))||((Speed581.Speed_Right_Wheel_581>=1)&&(P5.P5_0>=1)))||((Speed582.Speed_Right_Wheel_582>=1)&&(P5.P5_0>=1)))||((Speed583.Speed_Right_Wheel_583>=1)&&(P5.P5_0>=1)))||((Speed584.Speed_Right_Wheel_584>=1)&&(P5.P5_0>=1)))||((Speed585.Speed_Right_Wheel_585>=1)&&(P5.P5_0>=1)))||((Speed586.Speed_Right_Wheel_586>=1)&&(P5.P5_0>=1)))||((Speed587.Speed_Right_Wheel_587>=1)&&(P5.P5_0>=1)))||((Speed588.Speed_Right_Wheel_588>=1)&&(P5.P5_0>=1)))||((Speed589.Speed_Right_Wheel_589>=1)&&(P5.P5_0>=1)))||((Speed590.Speed_Right_Wheel_590>=1)&&(P5.P5_0>=1)))||((Speed591.Speed_Right_Wheel_591>=1)&&(P5.P5
_0>=1)))||((Speed592.Speed_Right_Wheel_592>=1)&&(P5.P5_0>=1)))||((Speed593.Speed_Right_Wheel_593>=1)&&(P5.P5_0>=1)))||((Speed594.Speed_Right_Wheel_594>=1)&&(P5.P5_0>=1)))||((Speed595.Speed_Right_Wheel_595>=1)&&(P5.P5_0>=1)))||((Speed596.Speed_Right_Wheel_596>=1)&&(P5.P5_0>=1)))||((Speed597.Speed_Right_Wheel_597>=1)&&(P5.P5_0>=1)))||((Speed598.Speed_Right_Wheel_598>=1)&&(P5.P5_0>=1)))||((Speed599.Speed_Right_Wheel_599>=1)&&(P5.P5_0>=1)))||((Speed600.Speed_Right_Wheel_600>=1)&&(P5.P5_0>=1)))||((Speed601.Speed_Right_Wheel_601>=1)&&(P5.P5_0>=1)))||((Speed602.Speed_Right_Wheel_602>=1)&&(P5.P5_0>=1)))||((Speed603.Speed_Right_Wheel_603>=1)&&(P5.P5_0>=1)))||((Speed604.Speed_Right_Wheel_604>=1)&&(P5.P5_0>=1)))||((Speed605.Speed_Right_Wheel_605>=1)&&(P5.P5_0>=1)))||((Speed606.Speed_Right_Wheel_606>=1)&&(P5.P5_0>=1)))||((Speed607.Speed_Right_Wheel_607>=1)&&(P5.P5_0>=1)))||((Speed608.Speed_Right_Wheel_608>=1)&&(P5.P5_0>=1)))||((Speed609.Speed_Right_Wheel_609>=1)&&(P5.P5_0>=1)))||((Speed610.Speed_Right_Wheel_610>=1)&&(P5.P5_0>=1)))||((Speed611.Speed_Right_Wheel_611>=1)&&(P5.P5_0>=1)))||((Speed612.Speed_Right_Wheel_612>=1)&&(P5.P5_0>=1)))||((Speed613.Speed_Right_Wheel_613>=1)&&(P5.P5_0>=1)))||((Speed614.Speed_Right_Wheel_614>=1)&&(P5.P5_0>=1)))||((Speed615.Speed_Right_Wheel_615>=1)&&(P5.P5_0>=1)))||((Speed616.Speed_Right_Wheel_616>=1)&&(P5.P5_0>=1)))||((Speed617.Speed_Right_Wheel_617>=1)&&(P5.P5_0>=1)))||((Speed618.Speed_Right_Wheel_618>=1)&&(P5.P5_0>=1)))||((Speed619.Speed_Right_Wheel_619>=1)&&(P5.P5_0>=1)))||((Speed620.Speed_Right_Wheel_620>=1)&&(P5.P5_0>=1)))||((Speed621.Speed_Right_Wheel_621>=1)&&(P5.P5_0>=1)))||((Speed622.Speed_Right_Wheel_622>=1)&&(P5.P5_0>=1)))||((Speed623.Speed_Right_Wheel_623>=1)&&(P5.P5_0>=1)))||((Speed624.Speed_Right_Wheel_624>=1)&&(P5.P5_0>=1)))||((Speed625.Speed_Right_Wheel_625>=1)&&(P5.P5_0>=1)))||((Speed626.Speed_Right_Wheel_626>=1)&&(P5.P5_0>=1)))||((Speed627.Speed_Right_Wheel_627>=1)&&(P5.P5_0>=1)))||((Speed628.Speed_Right_Wheel_628>=1)&&(P5.P5_0>=1)))||((Speed629.Speed_Right_Wheel_629>=1)&&(P5.P5_0>=1)))||((Speed630.Speed_Right_Wheel_630>=1)&&(P5.P5_0>=1)))||((Speed631.Speed_Right_Wheel_631>=1)&&(P5.P5_0>=1)))||((Speed632.Speed_Right_Wheel_632>=1)&&(P5.P5_0>=1)))||((Speed633.Speed_Right_Wheel_633>=1)&&(P5.P5_0>=1)))||((Speed634.Speed_Right_Wheel_634>=1)&&(P5.P5_0>=1)))||((Speed635.Speed_Right_Wheel_635>=1)&&(P5.P5_0>=1)))||((Speed636.Speed_Right_Wheel_636>=1)&&(P5.P5_0>=1)))||((Speed637.Speed_Right_Wheel_637>=1)&&(P5.P5_0>=1)))||((Speed638.Speed_Right_Wheel_638>=1)&&(P5.P5_0>=1)))||((Speed639.Speed_Right_Wheel_639>=1)&&(P5.P5_0>=1)))||((Speed640.Speed_Right_Wheel_640>=1)&&(P5.P5_0>=1)))||((Speed641.Speed_Right_Wheel_641>=1)&&(P5.P5_0>=1)))||((Speed642.Speed_Right_Wheel_642>=1)&&(P5.P5_0>=1)))||((Speed643.Speed_Right_Wheel_643>=1)&&(P5.P5_0>=1)))||((Speed644.Speed_Right_Wheel_644>=1)&&(P5.P5_0>=1)))||((Speed645.Speed_Right_Wheel_645>=1)&&(P5.P5_0>=1)))||((Speed646.Speed_Right_Wheel_646>=1)&&(P5.P5_0>=1)))||((Speed647.Speed_Right_Wheel_647>=1)&&(P5.P5_0>=1)))||((Speed648.Speed_Right_Wheel_648>=1)&&(P5.P5_0>=1)))||((Speed649.Speed_Right_Wheel_649>=1)&&(P5.P5_0>=1)))||((Speed650.Speed_Right_Wheel_650>=1)&&(P5.P5_0>=1)))||((Speed651.Speed_Right_Wheel_651>=1)&&(P5.P5_0>=1)))||((Speed652.Speed_Right_Wheel_652>=1)&&(P5.P5_0>=1)))||((Speed653.Speed_Right_Wheel_653>=1)&&(P5.P5_0>=1)))||((Speed654.Speed_Right_Wheel_654>=1)&&(P5.P5_0>=1)))||((Speed655.Speed_Right_Wheel_655>=1)&&(P5.P5_0>=1)))||((Speed656.Speed_Right_Wheel_656>=1)&&(P5.P5_0>=1)))||((Speed657.Speed_Right_Wheel_657>=1)&&(P5.P5_0>=1)))||((Speed658.Speed_Right_Wheel_658>=1)&&(P5.P5_0>=1)))||((Speed659.Speed_Right_Wheel_659>=1)&&(P5.P5_0>=1)))||((Speed660.Speed_Right_Wheel_660>=1)&&(P5.P5_0>=1)))||((Speed661.Speed_Right_Wheel_661>=1)&&(P5.P5_0>=1)))||((Speed662.Speed_Right_Wheel_662>=1)&&(P5.P5_0>=1)))||((Speed663.Speed_Right_Wheel_663>=1)&&(P5.P5_0>=1)))||((Speed664.Speed_Right_Wheel_664>=1)&&(P5.P5_0>=1)))||((Speed665.Speed_Right_Wheel_665>=1)&&(P5.P5_0>=1)))||((Speed666.Speed_Right_Wheel_666>=1)&&(P5.P5_0>=1)))||((Speed667.Speed_Right_Wheel_667>=1)&&(P5.P5_0>=1)))||((Speed668.Speed_Right_Wheel_668>=1)&&(P5.P5_0>=1)))||((Speed669.Speed_Right_Wheel_669>=1)&&(P5.P5_0>=1)))||((Speed670.Speed_Right_Wheel_670>=1)&&(P5.P5_0>=1)))||((Speed671.Speed_Right_Wheel_671>=1)&&(P5.P5_0>=1)))||((Speed672.Speed_Right_Wheel_672>=1)&&(P5.P5_0>=1)))||((Speed673.Speed_Right_Wheel_673>=1)&&(P5.P5_0>=1)))||((Speed674.Speed_Right_Wheel_674>=1)&&(P5.P5_0>=1)))||((Speed675.Speed_Right_Wheel_675>=1)&&(P5.P5_0>=1)))||((Speed676.Speed_Right_Wheel_676>=1)&&(P5.P5_0>=1)))||((Speed677.Speed_Right_Wheel_677>=1)&&(P5.P5_0>=1)))||((Speed678.Speed_Right_Wheel_678>=1)&&(P5.P5_0>=1)))||((Speed679.Speed_Right_Wheel_679>=1)&&(P5.P5_0>=1)))||((Speed680.Speed_Right_Wheel_680>=1)&&(P5.P5_0>=1)))||((Speed681.Speed_Right_Wheel_681>=1)&&(P5.P5_0>=1)))||((Speed682.Speed_Right_Wheel_682>=1)&&(P5.P5_0>=1)))||((Speed683.Speed_Right_Wheel_683>=1)&&(P5.P5_0>=1)))||((Speed684.Speed_Right_Wheel_684>=1)&&(P5.P5_0>=1)))||((Speed685.Speed_Right_Wheel_685>=1)&&(P5.P5_0>=1)))||((Speed686.Speed_Right_Wheel_686>=1)&&(P5.P5_0>=1)))||((Speed687.Speed_Right_Wheel_687>=1)&&(P5.P5_0>=1)))||((Speed688.Speed_Right_Wheel_688>=1)&&(P5.P5_0>=1)))||((Speed689.Speed_Right_Wheel_689>=1)&&(P5.P5_0>=1)))||((Speed690.Speed_Right_Wheel_690>=1)&&(P5.P5_0>=1)))||((Speed691.Speed_Right_Wheel_691>=1)&&(P5.P5_0>=1)))||((Speed692.Speed_Right_Wheel_692>=1)&&(P5.P5_0>=1)))||((Speed693.Speed_Right_Wheel_693>=1)&&(P5.P5_0>=1)))||((Speed694.Speed_Right_Wheel_694>=1)&&(P5.P5_0>=1)))||((Speed695.Speed_Right_Wheel_695>=1)&&(P5.P5_0>=1)))||((Speed696.Speed_Right_Wheel_696>=1)&&(P5.P5_0>=1)))||((Speed697.Speed_Right_Wheel_697>=1)&&(P5.P5_0>=1)))||((Speed698.Speed_Right_Wheel_698>=1)&&(P5.P5_0>=1)))||((Speed699.Speed_Right_Wheel_699>=1)&&(P5.P5_0>=1)))||((Speed700.Speed_Right_Wheel_700>=1)&&(P5.P5_0>=1)))||((Speed701.Speed_Right_Wheel_701>=1)&&(P5.P5_0>=1)))||((Speed702.Speed_Right_Wheel_702>=1)&&(P5.P5_0>=1)))||((Speed703.Speed_Right_Wheel_703>=1)&&(P5.P5_0>=1)))||((Speed704.Speed_Right_Wheel_704>=1)&&(P5.P5_0>=1)))||((Speed705.Speed_Right_Wheel_705>=1)&&(P5.P5_0>=1)))||((Speed706.Speed_Right_Wheel_706>=1)&&(P5.P5_0>=1)))||((Speed707.Speed_Right_Wheel_707>=1)&&(P5.P5_0>=1)))||((Speed708.Speed_Right_Wheel_708>=1)&&(P5.P5_0>=1)))||((Speed709.Speed_Right_Wheel_709>=1)&&(P5.P5_0>=1)))||((Speed710.Speed_Right_Wheel_710>=1)&&(P5.P5_0>=1)))||((Speed711.Speed_Right_Wheel_711>=1)&&(P5.P5_0>=1)))||((Speed712.Speed_Right_Wheel_712>=1)&&(P5.P5_0>=1)))||((Speed713.Speed_Right_Wheel_713>=1)&&(P5.P5_0>=1)))||((Speed714.Speed_Right_Wheel_714>=1)&&(P5.P5_0>=1)))||((Speed715.Speed_Right_Wheel_715>=1)&&(P5.P5_0>=1)))||((Speed716.Speed_Right_Wheel_716>=1)&&(P5.P5_0>=1)))||((Speed717.Speed_Right_Wheel_717>=1)&&(P5.P5_0>=1)))||((Speed718.Speed_Right_Wheel_718>=1)&&(P5.P5_0>=1)))||((Speed719.Speed_Right_Wheel_719>=1)&&(P5.P5_0>=1)))||((Speed720.Speed_Right_Wheel_720>=1)&&(P5.P5_0>=1)))||((Speed721.Speed_Right_Wheel_721>=1)&&(P5.P5_0>=1)))||((Speed722.Speed_Right_Wheel_722>=1)&&(P5.P5_0>=1)))||((Speed723.Speed_Right_Wheel_723>=1)&&(P5.P5_0>=1)))||((Speed724.Speed_Right_Wheel_724>=1)&&(P5.P5_0>=1)))||((Speed725.Speed_Right_Wheel_725>=1)&&(P5.P5_0>=1)))||((Speed726.Speed_Right_Wheel_726>=1)&&(P5.P5_0>=1)))||((Speed727.Speed_Right_Wheel_727>=1)&&(P5.P5_0>=1)))||((Speed728.Speed_Right_Wheel_728>=1)&&(P5.P5_0>=1)))||((Speed729.Speed_Right_Wheel_729>=1)&&(P5.P5_0>=1)))||((Speed730.Speed_Right_Wheel_730>=1)&&(P5.P5_0>=1)))||((Speed731.Speed_Right_Wheel_731>=1)&&(P5.P5_0>=1)))||((Speed732.Speed_Right_Wheel_732>=1)&&(P5.P5_0>=1)))||((Speed733.Speed_Right_Wheel_733>=1)&&(P5.P5_0>=1)))||((Speed734.Speed_Right_Wheel_734>=1)&&(P5.P5_0>=1)))||((Speed735.Speed_Right_Wheel_735>=1)&&(P5.P5_0>=1)))||((Speed736.Speed_Right_Wheel_736>=1)&&(P5.P5_0>=1)))||((Speed737.Speed_Right_Wheel_737>=1)&&(P5.P5_0>=1)))||((Speed738.Speed_Right_Wheel_738>=1)&&(P5.P5_0>=1)))||((Speed739.Speed_Right_Wheel_739>=1)&&(P5.P5_0>=1)))||((Speed740.Speed_Right_Wheel_740>=1)&&(P5.P5_0>=1)))||((Speed741.Speed_Right_Wheel_741>=1)&&(P5.P5_0>=1)))||((Speed742.Speed_Right_Wheel_742>=1)&&(P5.P5_0>=1)))||((Speed743.Speed_Right_Wheel_743>=1)&&(P5.P5_0>=1)))||((Speed744.Speed_Right_Wheel_744>=1)&&(P5.P5_0>=1)))||((Speed745.Speed_Right_Wheel_745>=1)&&(P5.P5_0>=1)))||((Speed746.Speed_Right_Wheel_746>=1)&&(P5.P5_0>=1)))||((Speed747.Speed_Right_Wheel_747>=1)&&(P5.P5_0>=1)))||((Speed748.Speed_Right_Wheel_748>=1)&&(P5.P5_0>=1)))||((Speed749.Speed_Right_Wheel_749>=1)&&(P5.P5_0>=1)))||((Speed750.Speed_Right_Wheel_750>=1)&&(P5.P5_0>=1)))||((Speed751.Speed_Right_Wheel_751>=1)&&(P5.P5_0>=1)))||((Speed752.Speed_Right_Wheel_752>=1)&&(P5.P5_0>=1)))||((Speed753.Speed_Right_Wheel_753>=1)&&(P5.P5_0>=1)))||((Speed754.Speed_Right_Wheel_754>=1)&&(P5.P5_0>=1)))||((Speed755.Speed_Right_Wheel_755>=1)&&(P5.P5_0>=1)))||((Speed756.Speed_Right_Wheel_756>=1)&&(P5.P5_0>=1)))||((Speed757.Speed_Right_Wheel_757>=1)&&(P5.P5_0>=1)))||((Speed758.Speed_Right_Wheel_758>=1)&&(P5.P5_0>=1)))||((Speed759.Speed_Right_Wheel_759>=1)&&(P5.P5_0>=1)))||((Speed760.Speed_Right_Wheel_760>=1)&&(P5.P5_0>=1)))||((Speed761.Speed_Right_Wheel_761>=1)&&(P5.P5_0>=1)))||((Speed762.Speed_Right_Wheel_762>=1)&&(P5.P5_0>=1)))||((Speed763.Speed_Right_Wheel_763>=1)&&(P5.P5_0>=1)))||((Speed764.Speed_Right_Wheel_764>=1)&&(P5.P5_0>=1)))||((Speed765.Speed_Right_Wheel_765>=1)&&(P5.P5_0>=1)))||((Speed766.Speed_Right_Wheel_766>=1)&&(P5.P5_0>=1)))||((Speed767.Speed_Right_Wheel_767>=1)&&(P5.P5_0>=1)))||((Speed768.Speed_Right_Wheel_768>=1)&&(P5.P5_0>=1)))||((Speed769.Speed_Right_Wheel_769>=1)&&(P5.P5_0>=1)))||((Speed770.Speed_Right_Wheel_770>=1)&&(P5.P5_0>=1)))||((Speed771.Speed_Right_Wheel_771>=1)&&(P5.P5_0>=1)))||((Speed772.Speed_Right_Wheel_772>=1)&&(P5.P5_0>=1)))||((Speed773.Speed_Right_Wheel_773>=1)&&(P5.P5_0>=1)))||((Speed774.Speed_Right_Wheel_774>=1)&&(P5.P5_0>=1)))||((Speed775.Speed_Right_Wheel_775>=1)&&(P5.P5_0>=1)))||((Speed776.Speed_Right_Wheel_776>=1)&&(P5.P5_0>=1)))||((Speed777.Speed_Right_Wheel_777>=1)&&(P5.P5_0>=1)))||((Speed778.Speed_Right_Wheel_778>=1)&&(P5.P5_0>=1)))||((Speed779.Speed_Right_Wheel_779>=1)&&(P5.P5_0>=1)))||((Speed780.Speed_Right_Wheel_780>=1)&&(P5.P5_0>=1)))||((Speed781.Speed_Right_Wheel_781>=1)&&(P5.P5_0>=1)))||((Speed782.Speed_Right_Wheel_782>=1)&&(P5.P5_0>=1)))||((Speed783.Speed_Right_Wheel_783>=1)&&(P5.P5_0>=1)))||((Speed784.Speed_Right_Wheel_784>=1)&&(P5.P5_0>=1)))||((Speed785.Speed_Right_Wheel_785>=1)&&(P5.P5_0>=1)))||((Speed786.Speed_Right_Wheel_786>=1)&&(P5.P5_0>=1)))||((Speed787.Speed_Right_Wheel_787>=1)&&(P5.P5_0>=1)))||((Speed788.Speed_Right_Wheel_788>=1)&&(P5.P5_0>=1)))||((Speed789.Speed_Right_Wheel_789>=1)&&(P5.P5_0>=1)))||((Speed790.Speed_Right_Wheel_790>=1)&&(P5.P5_0>=1)))||((Speed791.Speed_Right_Wheel_791>=1)&&(P5.P5_0>=1)))||((Speed792.Speed_Right_Wheel_792>=1)&&(P5.P5_0>=1)))||((Speed793.Speed_Right_Wheel_793>=1)&&(P5.P5_0>=1)))||((Speed794.Speed_Right_Wheel_794>=1)&&(P5.P5_0>=1)))||((Speed795.Speed_Right_Wheel_795>=1)&&(P5.P5_0>=1)))||((Speed796.Speed_Right_Wheel_796>=1)&&(P5.P5_0>=1)))||((Speed797.Speed_Right_Wheel_797>=1)&&(P5.P5_0>=1)))||((Speed798.Speed_Right_Wheel_798>=1)&&(P5.P5_0>=1)))||((Speed799.Speed_Right_Wheel_799>=1)&&(P5.P5_0>=1)))||((Speed800.Speed_Right_Wheel_800>=1)&&(P5.P5_0>=1)))||((Speed801.Speed_Right_Wheel_801>=1)&&(P5.P5_0>=1)))||((Speed802.Speed_Right_Wheel_802>=1)&&(P5.P5_0>=1)))||((Speed803.Speed_Right_Wheel_803>=1)&&(P5.P5_0>=1)))||((Speed804.Speed_Right_Wheel_804>=1)&&(P5.P5_0>=1)))||((Speed805.Speed_Right_Wheel_805>=1)&&(P5.P5_0>=1)))||((Speed806.Speed_Right_Wheel_806>=1)&&(P5.P5_0>=1)))||((Speed807.Speed_Right_Wheel_807>=1)&&(P5.P5_0>=1)))||((Speed808.Speed_Right_Wheel_808>=1)&&(P5.P5_0>=1)))||((Speed809.Speed_Right_Wheel_809>=1)&&(P5.P5_0>=1)))||((Speed810.Speed_Right_Wheel_810>=1)&&(P5.P5_0>=1)))||((Speed811.Speed_Right_Wheel_811>=1)&&(P5.P5_0>=1)))||((Speed812.Speed_Right_Wheel_812>=1)&&(P5.P5_0>=1)))||((Speed813.Speed_Right_Wheel_813>=1)&&(P5.P5_0>=1)))||((Speed814.Speed_Right_Wheel_814>=1)&&(P5.P5_0>=1)))||((Speed815.Speed_Right_Wheel_815>=1)&&(P5.P5_0>=1)))||((Speed816.Speed_Right_Wheel_816>=1)&&(P5.P5_0>=1)))||((Speed817.Speed_Right_Wheel_817>=1)&&(P5.P5_0>=1)))||((Speed818.Speed_Right_Wheel_818>=1)&&(P5.P5_0>=1)))||((Speed819.Speed_Right_Wheel_819>=1)&&(P5.P5_0>=1)))||((Speed820.Speed_Right_Wheel_820>=1)&&(P5.P5_0>=1)))||((Speed821.Speed_Right_Wheel_821>=1)&&(P5.P5_0>=1)))||((Speed822.Speed_Right_Wheel_822>=1)&&(P5.P5_0>=1)))||((Speed823.Speed_Right_Wheel_823>=1)&&(P5.P5_0>=1)))||((Speed824.Speed_Right_Wheel_824>=1)&&(P5.P5_0>=1)))||((Speed825.Speed_Right_Wheel_825>=1)&&(P5.P5_0>=1)))||((Speed826.Speed_Right_Wheel_826>=1)&&(P5.P5_0>=1)))||((Speed827.Speed_Right_Wheel_827>=1)&&(P5.P5_0>=1)))||((Speed828.Speed_Right_Wheel_828>=1)&&(P5.P5_0>=1)))||((Speed829.Speed_Right_Wheel_829>=1)&&(P5.P5_0>=1)))||((Speed830.Speed_Right_Wheel_830>=1)&&(P5.P5_0>=1)))||((Speed831.Speed_Right_Wheel_831>=1)&&(P5.P5_0>=1)))||((Speed832.Speed_Right_Wheel_832>=1)&&(P5.P5_0>=1)))||((Speed833.Speed_Right_Wheel_833>=1)&&(P5.P5_0>=1)))||((Speed834.Speed_Right_Wheel_834>=1)&&(P5.P5_0>=1)))||((Speed835.Speed_Right_Wheel_835>=1)&&(P5.P5_0>=1)))||((Speed836.Speed_Right_Wheel_836>=1)&&(P5.P5_0>=1)))||((Speed837.Speed_Right_Wheel_837>=1)&&(P5.P5_0>=1)))||((Speed838.Speed_Right_Wheel_838>=1)&&(P5.P5_0>=1)))||((Speed839.Speed_Right_Wheel_839>=1)&&(P5.P5_0>=1)))||((Speed840.Speed_Right_Wheel_840>=1)&&(P5.P5_0>=1)))||((Speed841.Speed_Right_Wheel_841>=1)&&(P5.P5_0>=1)))||((Speed842.Speed_Right_Wheel_842>=1)&&(P5.P5_0>=1)))||((Speed843.Speed_Right_Wheel_843>=1)&&(P5.P5_0>=1)))||((Speed844.Speed_Right_Wheel_844>=1)&&(P5.P5_0>=1)))||((Speed845.Speed_Right_Wheel_845>=1)&&(P5.P5_0>=1)))||((Speed846.Speed_Right_Wheel_846>=1)&&(P5.P5_0>=1)))||((Speed847.Speed_Right_Wheel_847>=1)&&(P5.P5_0>=1)))||((Speed848.Speed_Right_Wheel_848>=1)&&(P5.P5_0>=1)))||((Speed849.Speed_Right_Wheel_849>=1)&&(P5.P5_0>=1)))||((Speed850.Speed_Right_Wheel_850>=1)&&(P5.P5_0>=1)))||((Speed851.Speed_Right_Wheel_851>=1)&&(P5.P5_0>=1)))||((Speed852.Speed_Right_Wheel_852>=1)&&(P5.P5_0>=1)))||((Speed853.Speed_Right_Wheel_853>=1)&&(P5.P5_0>=1)))||((Speed854.Speed_Right_Wheel_854>=1)&&(P5.P5_0>=1)))||((Speed855.Speed_Right_Wheel_855>=1)&&(P5.P5_0>=1)))||((Speed856.Speed_Right_Wheel_856>=1)&&(P5.P5_0>=1)))||((Speed857.Speed_Right_Wheel_857>=1)&&(P5.P5_0>=1)))||((Speed858.Speed_Right_Wheel_858>=1)&&(P5.P5_0>=1)))||((Speed859.Speed_Right_Wheel_859>=1)&&(P5.P5_0>=1)))||((Speed860.Speed_Right_Wheel_860>=1)&&(P5.P5_0>=1)))||((Speed861.Speed_Right_Wheel_861>=1)&&(P5.P5_0>=1)))||((Speed862.Speed_Right_Wheel_862>=1)&&(P5.P5_0>=1)))||((Speed863.Speed_Right_Wheel_863>=1)&&(P5.P5_0>=1)))||((Speed864.Speed_Right_Wheel_864>=1)&&(P5.P5_0>=1)))||((Speed865.Speed_Right_Wheel_865>=1)&&(P5.P5_0>=1)))||((Speed866.Speed_Right_Wheel_866>=1)&&(P5.P5_0>=1)))||((Speed867.Speed_Right_Wheel_867>=1)&&(P5.P5_0>=1)))||((Speed868.Speed_Right_Wheel_868>=1)&&(P5.P5_0>=1)))||((Speed869.Speed_Right_Wheel_869>=1)&&(P5.P5_0>=1)))||((Speed870.Speed_Right_Wheel_870>=1)&&(P5.P5_0>=1)))||((Speed871.Speed_Right_Wheel_871>=1)&&(P5.P5_0>=1)))||((Speed872.Speed_Right_Wheel_872>=1)&&(P5.P5_0>=1)))||((Speed873.Speed_Right_Wheel_873>=1)&&(P5.P5_0>=1)))||((Speed874.Speed_Right_Wheel_874>=1)&&(P5.P5_0>=1)))||((Speed875.Speed_Right_Wheel_875>=1)&&(P5.P5_0>=1)))||((Speed876.Speed_Right_Wheel_876>=1)&&(P5.P5_0>=1)))||((Speed877.Speed_Right_Wheel_877>=1)&&(P5.P5_0>=1)))||((Speed878.Speed_Right_Wheel_878>=1)&&(P5.P5_0>=1)))||((Speed879.Speed_Right_Wheel_879>=1)&&(P5.P5_0>=1)))||((Speed880.Speed_Right_Wheel_880>=1)&&(P5.P5_0>=1)))||((Speed881.Speed_Right_Wheel_881>=1)&&(P5.P5_0>=1)))||((Speed882.Speed_Right_Wheel_882>=1)&&(P5.P5_0>=1)))||((Speed883.Speed_Right_Wheel_883>=1)&&(P5.P5_0>=1)))||((Speed884.Speed_Right_Wheel_884>=1)&&(P5.P5_0>=1)))||((Speed885.Speed_Right_Wheel_885>=1)&&(P5.P5_0>=1)))||((Speed886.Speed_Right_Wheel_886>=1)&&(P5.P5_0>=1)))||((Speed887.Speed_Right_Wheel_887>=1)&&(P5.P5_0>=1)))||((Speed888.Speed_Right_Wheel_888>=1)&&(P5.P5_0>=1)))||((Speed889.Speed_Right_Wheel_889>=1)&&(P5.P5_0>=1)))||((Speed890.Speed_Right_Wheel_890>=1)&&(P5.P5_0>=1)))||((Speed891.Speed_Right_Wheel_891>=1)&&(P5.P5_0>=1)))||((Speed892.Speed_Right_Wheel_892>=1)&&(P5.P5_0>=1)))||((Speed893.Speed_Right_Wheel_893>=1)&&(P5.P5_0>=1)))||((Speed894.Speed_Right_Wheel_894>=1)&&(P5.P5_0>=1)))||((Speed895.S
peed_Right_Wheel_895>=1)&&(P5.P5_0>=1)))||((Speed896.Speed_Right_Wheel_896>=1)&&(P5.P5_0>=1)))||((Speed897.Speed_Right_Wheel_897>=1)&&(P5.P5_0>=1)))||((Speed898.Speed_Right_Wheel_898>=1)&&(P5.P5_0>=1)))||((Speed899.Speed_Right_Wheel_899>=1)&&(P5.P5_0>=1)))||((Speed900.Speed_Right_Wheel_900>=1)&&(P5.P5_0>=1)))||((Speed901.Speed_Right_Wheel_901>=1)&&(P5.P5_0>=1)))||((Speed902.Speed_Right_Wheel_902>=1)&&(P5.P5_0>=1)))||((Speed903.Speed_Right_Wheel_903>=1)&&(P5.P5_0>=1)))||((Speed904.Speed_Right_Wheel_904>=1)&&(P5.P5_0>=1)))||((Speed905.Speed_Right_Wheel_905>=1)&&(P5.P5_0>=1)))||((Speed906.Speed_Right_Wheel_906>=1)&&(P5.P5_0>=1)))||((Speed907.Speed_Right_Wheel_907>=1)&&(P5.P5_0>=1)))||((Speed908.Speed_Right_Wheel_908>=1)&&(P5.P5_0>=1)))||((Speed909.Speed_Right_Wheel_909>=1)&&(P5.P5_0>=1)))||((Speed910.Speed_Right_Wheel_910>=1)&&(P5.P5_0>=1)))||((Speed911.Speed_Right_Wheel_911>=1)&&(P5.P5_0>=1)))||((Speed912.Speed_Right_Wheel_912>=1)&&(P5.P5_0>=1)))||((Speed913.Speed_Right_Wheel_913>=1)&&(P5.P5_0>=1)))||((Speed914.Speed_Right_Wheel_914>=1)&&(P5.P5_0>=1)))||((Speed915.Speed_Right_Wheel_915>=1)&&(P5.P5_0>=1)))||((Speed916.Speed_Right_Wheel_916>=1)&&(P5.P5_0>=1)))||((Speed917.Speed_Right_Wheel_917>=1)&&(P5.P5_0>=1)))||((Speed918.Speed_Right_Wheel_918>=1)&&(P5.P5_0>=1)))||((Speed919.Speed_Right_Wheel_919>=1)&&(P5.P5_0>=1)))||((Speed920.Speed_Right_Wheel_920>=1)&&(P5.P5_0>=1)))||((Speed921.Speed_Right_Wheel_921>=1)&&(P5.P5_0>=1)))||((Speed922.Speed_Right_Wheel_922>=1)&&(P5.P5_0>=1)))||((Speed923.Speed_Right_Wheel_923>=1)&&(P5.P5_0>=1)))||((Speed924.Speed_Right_Wheel_924>=1)&&(P5.P5_0>=1)))||((Speed925.Speed_Right_Wheel_925>=1)&&(P5.P5_0>=1)))||((Speed926.Speed_Right_Wheel_926>=1)&&(P5.P5_0>=1)))||((Speed927.Speed_Right_Wheel_927>=1)&&(P5.P5_0>=1)))||((Speed928.Speed_Right_Wheel_928>=1)&&(P5.P5_0>=1)))||((Speed929.Speed_Right_Wheel_929>=1)&&(P5.P5_0>=1)))||((Speed930.Speed_Right_Wheel_930>=1)&&(P5.P5_0>=1)))||((Speed931.Speed_Right_Wheel_931>=1)&&(P5.P5_0>=1)))||((Speed932.Speed_Right_Wheel_932>=1)&&(P5.P5_0>=1)))||((Speed933.Speed_Right_Wheel_933>=1)&&(P5.P5_0>=1)))||((Speed934.Speed_Right_Wheel_934>=1)&&(P5.P5_0>=1)))||((Speed935.Speed_Right_Wheel_935>=1)&&(P5.P5_0>=1)))||((Speed936.Speed_Right_Wheel_936>=1)&&(P5.P5_0>=1)))||((Speed937.Speed_Right_Wheel_937>=1)&&(P5.P5_0>=1)))||((Speed938.Speed_Right_Wheel_938>=1)&&(P5.P5_0>=1)))||((Speed939.Speed_Right_Wheel_939>=1)&&(P5.P5_0>=1)))||((Speed940.Speed_Right_Wheel_940>=1)&&(P5.P5_0>=1)))||((Speed941.Speed_Right_Wheel_941>=1)&&(P5.P5_0>=1)))||((Speed942.Speed_Right_Wheel_942>=1)&&(P5.P5_0>=1)))||((Speed943.Speed_Right_Wheel_943>=1)&&(P5.P5_0>=1)))||((Speed944.Speed_Right_Wheel_944>=1)&&(P5.P5_0>=1)))||((Speed945.Speed_Right_Wheel_945>=1)&&(P5.P5_0>=1)))||((Speed946.Speed_Right_Wheel_946>=1)&&(P5.P5_0>=1)))||((Speed947.Speed_Right_Wheel_947>=1)&&(P5.P5_0>=1)))||((Speed948.Speed_Right_Wheel_948>=1)&&(P5.P5_0>=1)))||((Speed949.Speed_Right_Wheel_949>=1)&&(P5.P5_0>=1)))||((Speed950.Speed_Right_Wheel_950>=1)&&(P5.P5_0>=1)))||((Speed951.Speed_Right_Wheel_951>=1)&&(P5.P5_0>=1)))||((Speed952.Speed_Right_Wheel_952>=1)&&(P5.P5_0>=1)))||((Speed953.Speed_Right_Wheel_953>=1)&&(P5.P5_0>=1)))||((Speed954.Speed_Right_Wheel_954>=1)&&(P5.P5_0>=1)))||((Speed955.Speed_Right_Wheel_955>=1)&&(P5.P5_0>=1)))||((Speed956.Speed_Right_Wheel_956>=1)&&(P5.P5_0>=1)))||((Speed957.Speed_Right_Wheel_957>=1)&&(P5.P5_0>=1)))||((Speed958.Speed_Right_Wheel_958>=1)&&(P5.P5_0>=1)))||((Speed959.Speed_Right_Wheel_959>=1)&&(P5.P5_0>=1)))||((Speed960.Speed_Right_Wheel_960>=1)&&(P5.P5_0>=1)))||((Speed961.Speed_Right_Wheel_961>=1)&&(P5.P5_0>=1)))||((Speed962.Speed_Right_Wheel_962>=1)&&(P5.P5_0>=1)))||((Speed963.Speed_Right_Wheel_963>=1)&&(P5.P5_0>=1)))||((Speed964.Speed_Right_Wheel_964>=1)&&(P5.P5_0>=1)))||((Speed965.Speed_Right_Wheel_965>=1)&&(P5.P5_0>=1)))||((Speed966.Speed_Right_Wheel_966>=1)&&(P5.P5_0>=1)))||((Speed967.Speed_Right_Wheel_967>=1)&&(P5.P5_0>=1)))||((Speed968.Speed_Right_Wheel_968>=1)&&(P5.P5_0>=1)))||((Speed969.Speed_Right_Wheel_969>=1)&&(P5.P5_0>=1)))||((Speed970.Speed_Right_Wheel_970>=1)&&(P5.P5_0>=1)))||((Speed971.Speed_Right_Wheel_971>=1)&&(P5.P5_0>=1)))||((Speed972.Speed_Right_Wheel_972>=1)&&(P5.P5_0>=1)))||((Speed973.Speed_Right_Wheel_973>=1)&&(P5.P5_0>=1)))||((Speed974.Speed_Right_Wheel_974>=1)&&(P5.P5_0>=1)))||((Speed975.Speed_Right_Wheel_975>=1)&&(P5.P5_0>=1)))||((Speed976.Speed_Right_Wheel_976>=1)&&(P5.P5_0>=1)))||((Speed977.Speed_Right_Wheel_977>=1)&&(P5.P5_0>=1)))||((Speed978.Speed_Right_Wheel_978>=1)&&(P5.P5_0>=1)))||((Speed979.Speed_Right_Wheel_979>=1)&&(P5.P5_0>=1)))||((Speed980.Speed_Right_Wheel_980>=1)&&(P5.P5_0>=1)))||((Speed981.Speed_Right_Wheel_981>=1)&&(P5.P5_0>=1)))||((Speed982.Speed_Right_Wheel_982>=1)&&(P5.P5_0>=1)))||((Speed983.Speed_Right_Wheel_983>=1)&&(P5.P5_0>=1)))||((Speed984.Speed_Right_Wheel_984>=1)&&(P5.P5_0>=1)))||((Speed985.Speed_Right_Wheel_985>=1)&&(P5.P5_0>=1)))||((Speed986.Speed_Right_Wheel_986>=1)&&(P5.P5_0>=1)))||((Speed987.Speed_Right_Wheel_987>=1)&&(P5.P5_0>=1)))||((Speed988.Speed_Right_Wheel_988>=1)&&(P5.P5_0>=1)))||((Speed989.Speed_Right_Wheel_989>=1)&&(P5.P5_0>=1)))||((Speed990.Speed_Right_Wheel_990>=1)&&(P5.P5_0>=1)))||((Speed991.Speed_Right_Wheel_991>=1)&&(P5.P5_0>=1)))||((Speed992.Speed_Right_Wheel_992>=1)&&(P5.P5_0>=1)))||((Speed993.Speed_Right_Wheel_993>=1)&&(P5.P5_0>=1)))||((Speed994.Speed_Right_Wheel_994>=1)&&(P5.P5_0>=1)))||((Speed995.Speed_Right_Wheel_995>=1)&&(P5.P5_0>=1)))||((Speed996.Speed_Right_Wheel_996>=1)&&(P5.P5_0>=1)))||((Speed997.Speed_Right_Wheel_997>=1)&&(P5.P5_0>=1)))||((Speed998.Speed_Right_Wheel_998>=1)&&(P5.P5_0>=1)))||((Speed999.Speed_Right_Wheel_999>=1)&&(P5.P5_0>=1)))||((Speed1999.Speed_Right_Wheel_1999>=1)&&(P5.P5_0>=1)))")))))
Formula 0 simplified : !F"((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Speed0.Speed_Right_Wheel_0>=1)&&(P5.P5_0>=1))||((Speed1.Speed_Right_Wheel_1>=1)&&(P5.P5_0>=1)))||((Speed2.Speed_Right_Wheel_2>=1)&&(P5.P5_0>=1)))||((Speed3.Speed_Right_Wheel_3>=1)&&(P5.P5_0>=1)))||((Speed4.Speed_Right_Wheel_4>=1)&&(P5.P5_0>=1)))||((Speed5.Speed_Right_Wheel_5>=1)&&(P5.P5_0>=1)))||((Speed6.Speed_Right_Wheel_6>=1)&&(P5.P5_0>=1)))||((Speed7.Speed_Right_Wheel_7>=1)&&(P5.P5_0>=1)))||((Speed8.Speed_Right_Wheel_8>=1)&&(P5.P5_0>=1)))||((Speed9.Speed_Right_Wheel_9>=1)&&(P5.P5_0>=1)))||((Speed10.Speed_Right_Wheel_10>=1)&&(P5.P5_0>=1)))||((Speed11.Speed_Right_Wheel_11>=1)&&(P5.P5_0>=1)))||((Speed12.Speed_Right_Wheel_12>=1)&&(P5.P5_0>=1)))||((Speed13.Speed_Right_Wheel_13>=1)&&(P5.P5_0>=1)))||((Speed14.Speed_Right_Wheel_14>=1)&&(P5.P5_0>=1)))||((Speed15.Speed_Right_Wheel_15>=1)&&(P5.P5_0>=1)))||((Speed16.Speed_Right_Wheel_16>=1)&&(P5.P5_0>=1)))||((Speed17.Speed_Right_Wheel_17>=1)&&(P5.P5_0>=1)))||((Speed18.Speed_Right_Wheel_18>=1)&&(P5.P5_0>=1)))||((Speed19.Speed_Right_Wheel_19>=1)&&(P5.P5_0>=1)))||((Speed20.Speed_Right_Wheel_20>=1)&&(P5.P5_0>=1)))||((Speed21.Speed_Right_Wheel_21>=1)&&(P5.P5_0>=1)))||((Speed22.Speed_Right_Wheel_22>=1)&&(P5.P5_0>=1)))||((Speed23.Speed_Right_Wheel_23>=1)&&(P5.P5_0>=1)))||((Speed24.Speed_Right_Wheel_24>=1)&&(P5.P5_0>=1)))||((Speed25.Speed_Right_Wheel_25>=1)&&(P5.P5_0>=1)))||((Speed26.Speed_Right_Wheel_26>=1)&&(P5.P5_0>=1)))||((Speed27.Speed_Right_Wheel_27>=1)&&(P5.P5_0>=1)))||((Speed28.Speed_Right_Wheel_28>=1)&&(P5.P5_0>=1)))||((Speed29.Speed_Right_Wheel_29>=1)&&(P5.P5_0>=1)))||((Speed30.Speed_Right_Wheel_30>=1)&&(P5.P5_0>=1)))||((Speed31.Speed_Right_Wheel_31>=1)&&(P5.P5_0>=1)))||((Speed32.Speed_Right_Wheel_32>=1)&&(P5.P5_0>=1)))||((Speed33.Speed_Right_Wheel_33>=1)&&(P5.P5_0>=1)))||((Speed34.Speed_Right_Wheel_34>=1)&&(P5.P5_0>=1)))||((Speed35.Speed_Right_Wheel_35>=1)&&(P5.P5_0>=1)))||((Speed36.Speed_Right_Wheel_36>=1)&&(P5.P5_0>=1)))||((Speed37.Speed_Right_Wheel_37>=1)&&(P5.P5_0>=1)))||((Speed38.Speed_Right_Wheel_38>=1)&&(P5.P5_0>=1)))||((Speed39.Speed_Right_Wheel_39>=1)&&(P5.P5_0>=1)))||((Speed40.Speed_Right_Wheel_40>=1)&&(P5.P5_0>=1)))||((Speed41.Speed_Right_Wheel_41>=1)&&(P5.P5_0>=1)))||((Speed42.Speed_Right_Wheel_42>=1)&&(P5.P5_0>=1)))||((Speed43.Speed_Right_Wheel_43>=1)&&(P5.P5_0>=1)))||((Speed44.Speed_Right_Wheel_44>=1)&&(P5.P5_0>=1)))||((Speed45.Speed_Right_Wheel_45>=1)&&(P5.P5_0>=1)))||((Speed46.Speed_Right_Wheel_46>=1)&&(P5.P5_0>=1)))||((Speed47.Speed_Right_Wheel_47>=1)&&(P5.P5_0>=1)))||((Speed48.Speed_Right_Wheel_48>=1)&&(P5.P5_0>=1)))||((Speed49.Speed_Right_Wheel_49>=1)&&(P5.P5_0>=1)))||((Speed50.Speed_Right_Wheel_50>=1)&&(P5.P5_0>=1)))||((Speed51.Speed_Right_Wheel_51>=1)&&(P5.P5_0>=1)))||((Speed52.Speed_Right_Wheel_52>=1)&&(P5.P5_0>=1)))||((Speed53.Speed_Right_Wheel_53>=1)&&(P5.P5_0>=1)))||((Speed54.Speed_Right_Wheel_54>=1)&&(P5.P5_0>=1)))||((Speed55.Speed_Right_Wheel_55>=1)&&(P5.P5_0>=1)))||((Speed56.Speed_Right_Wheel_56>=1)&&(P5.P5_0>=1)))||((Speed57.Speed_Right_Wheel_57>=1)&&(P5.P5_0>=1)))||((Speed58.Speed_Right_Wheel_58>=1)&&(P5.P5_0>=1)))||((Speed59.Speed_Right_Wheel_59>=1)&&(P5.P5_0>=1)))||((Speed60.Speed_Right_Wheel_60>=1)&&(P5.P5_0>=1)))||((Speed61.Speed_Right_Wheel_61>=1)&&(P5.P5_0>=1)))||((Speed62.Speed_Right_Wheel_62>=1)&&(P5.P5_0>=1)))||((Speed63.Speed_Right_Wheel_63>=1)&&(P5.P5_0>=1)))||((Speed64.Speed_Right_Wheel_64>=1)&&(P5.P5_0>=1)))||((Speed65.Speed_Right_Wheel_65>=1)&&(P5.P5_0>=1)))||((Speed66.Speed_Right_Wheel_66>=1)&&(P5.P5_0>=1)))||((Speed67.Speed_Right_Wheel_67>=1)&&(P5.P5_0>=1)))||((Speed68.Speed_Right_Wheel_68>=1)&&(P5.P5_0>=1)))||((Speed69.Speed_Right_Wheel_69>=1)&&(P5.P5_0>=1)))||((Speed70.Speed_Right_Wheel_70>=1)&&(P5.P5_0>=1)))||((Speed71.Speed_Right_Wheel_71>=1)&&(P5.P5_0>=1)))||((Speed72.Speed_Right_Wheel_72>=1)&&(P5.P5_0>=1)))||((Speed73.Speed_Right_Wheel_73>=1)&&(P5.P5_0>=1)))||((Speed74.Speed_Right_Wheel_74>=1)&&(P5.P5_0>=1)))||((Speed75.Speed_Right_Wheel_75>=1)&&(P5.P5_0>=1)))||((Speed76.Speed_Right_Wheel_76>=1)&&(P5.P5_0>=1)))||((Speed77.Speed_Right_Wheel_77>=1)&&(P5.P5_0>=1)))||((Speed78.Speed_Right_Wheel_78>=1)&&(P5.P5_0>=1)))||((Speed79.Speed_Right_Wheel_79>=1)&&(P5.P5_0>=1)))||((Speed80.Speed_Right_Wheel_80>=1)&&(P5.P5_0>=1)))||((Speed81.Speed_Right_Wheel_81>=1)&&(P5.P5_0>=1)))||((Speed82.Speed_Right_Wheel_82>=1)&&(P5.P5_0>=1)))||((Speed83.Speed_Right_Wheel_83>=1)&&(P5.P5_0>=1)))||((Speed84.Speed_Right_Wheel_84>=1)&&(P5.P5_0>=1)))||((Speed85.Speed_Right_Wheel_85>=1)&&(P5.P5_0>=1)))||((Speed86.Speed_Right_Wheel_86>=1)&&(P5.P5_0>=1)))||((Speed87.Speed_Right_Wheel_87>=1)&&(P5.P5_0>=1)))||((Speed88.Speed_Right_Wheel_88>=1)&&(P5.P5_0>=1)))||((Speed89.Speed_Right_Wheel_89>=1)&&(P5.P5_0>=1)))||((Speed90.Speed_Right_Wheel_90>=1)&&(P5.P5_0>=1)))||((Speed91.Speed_Right_Wheel_91>=1)&&(P5.P5_0>=1)))||((Speed92.Speed_Right_Wheel_92>=1)&&(P5.P5_0>=1)))||((Speed93.Speed_Right_Wheel_93>=1)&&(P5.P5_0>=1)))||((Speed94.Speed_Right_Wheel_94>=1)&&(P5.P5_0>=1)))||((Speed95.Speed_Right_Wheel_95>=1)&&(P5.P5_0>=1)))||((Speed96.Speed_Right_Wheel_96>=1)&&(P5.P5_0>=1)))||((Speed97.Speed_Right_Wheel_97>=1)&&(P5.P5_0>=1)))||((Speed98.Speed_Right_Wheel_98>=1)&&(P5.P5_0>=1)))||((Speed99.Speed_Right_Wheel_99>=1)&&(P5.P5_0>=1)))||((Speed100.Speed_Right_Wheel_100>=1)&&(P5.P5_0>=1)))||((Speed101.Speed_Right_Wheel_101>=1)&&(P5.P5_0>=1)))||((Speed102.Speed_Right_Wheel_102>=1)&&(P5.P5_0>=1)))||((Speed103.Speed_Right_Wheel_103>=1)&&(P5.P5_0>=1)))||((Speed104.Speed_Right_Wheel_104>=1)&&(P5.P5_0>=1)))||((Speed105.Speed_Right_Wheel_105>=1)&&(P5.P5_0>=1)))||((Speed106.Speed_Right_Wheel_106>=1)&&(P5.P5_0>=1)))||((Speed107.Speed_Right_Wheel_107>=1)&&(P5.P5_0>=1)))||((Speed108.Speed_Right_Wheel_108>=1)&&(P5.P5_0>=1)))||((Speed109.Speed_Right_Wheel_109>=1)&&(P5.P5_0>=1)))||((Speed110.Speed_Right_Wheel_110>=1)&&(P5.P5_0>=1)))||((Speed111.Speed_Right_Wheel_111>=1)&&(P5.P5_0>=1)))||((Speed112.Speed_Right_Wheel_112>=1)&&(P5.P5_0>=1)))||((Speed113.Speed_Right_Wheel_113>=1)&&(P5.P5_0>=1)))||((Speed114.Speed_Right_Wheel_114>=1)&&(P5.P5_0>=1)))||((Speed115.Speed_Right_Wheel_115>=1)&&(P5.P5_0>=1)))||((Speed116.Speed_Right_Wheel_116>=1)&&(P5.P5_0>=1)))||((Speed117.Speed_Right_Wheel_117>=1)&&(P5.P5_0>=1)))||((Speed118.Speed_Right_Wheel_118>=1)&&(P5.P5_0>=1)))||((Speed119.Speed_Right_Wheel_119>=1)&&(P5.P5_0>=1)))||((Speed120.Speed_Right_Wheel_120>=1)&&(P5.P5_0>=1)))||((Speed121.Speed_Right_Wheel_121>=1)&&(P5.P5_0>=1)))||((Speed122.Speed_Right_Wheel_122>=1)&&(P5.P5_0>=1)))||((Speed123.Speed_Right_Wheel_123>=1)&&(P5.P5_0>=1)))||((Speed124.Speed_Right_Wheel_124>=1)&&(P5.P5_0>=1)))||((Speed125.Speed_Right_Wheel_125>=1)&&(P5.P5_0>=1)))||((Speed126.Speed_Right_Wheel_126>=1)&&(P5.P5_0>=1)))||((Speed127.Speed_Right_Wheel_127>=1)&&(P5.P5_0>=1)))||((Speed128.Speed_Right_Wheel_128>=1)&&(P5.P5_0>=1)))||((Speed129.Speed_Right_Wheel_129>=1)&&(P5.P5_0>=1)))||((Speed130.Speed_Right_Wheel_130>=1)&&(P5.P5_0>=1)))||((Speed131.Speed_Right_Wheel_131>=1)&&(P5.P5_0>=1)))||((Speed132.Speed_Right_Wheel_132>=1)&&(P5.P5_0>=1)))||((Speed133.Speed_Right_Wheel_133>=1)&&(P5.P5_0>=1)))||((Speed134.Speed_Right_Wheel_134>=1)&&(P5.P5_0>=1)))||((Speed135.Speed_Right_Wheel_135>=1)&&(P5.P5_0>=1)))||((Speed136.Speed_Right_Wheel_136>=1)&&(P5.P5_0>=1)))||((Speed137.Speed_Right_Wheel_137>=1)&&(P5.P5_0>=1)))||((Speed138.Speed_Right_Wheel_138>=1)&&(P5.P5_0>=1)))||((Speed139.Speed_Right_Wheel_139>=1)&&(P5.P5_0>=1)))||((Speed140.Speed_Right_Wheel_140>=1)&&(P5.P5_0>=1)))||((Speed141.Speed_Right_Wheel_141>=1)&&(P5.P5_0>=1)))||((Speed142.Speed_Right_Wheel_142>=1)&&(P5.P5_0>=1)))||((Speed143.Speed_Right_Wheel_143>=1)&&(P5.P5_0>=1)))||((Speed144.Speed_Right_Wheel_144>=1)&&(P5.P5_0>=1)))||((Speed145.Speed_Right_Wheel_145>=1)&&(P5.P5_0>=1)))||((Speed146.Speed_Right_Wheel_146>=1)&&(P5.P5_0>=1)))||((Speed147.Speed_Right_Wheel_147>=1)&&(P5.P5_0>=1)))||((Speed148.Speed_Right_Wheel_148>=1)&&(P5.P5_0>=1)))||((Speed149.Speed_Right_Wheel_149>=1)&&(P5.P5_0>=1)))||((Speed150.Speed_Right_Wheel_150>=1)&&(P5.P5_0>=1)))||((Speed151.Speed_Right_Wheel_151>=1)&&(P5.P5_0>=1)))||((Speed152.Speed_Right_Wheel_152>=1)&&(P5.P5_0>=1)))||((Speed153.Speed_Right_Wheel_153>=1)&&(P5.P5_0>=1)))||((Speed154.Speed_Right_Wheel_154>=1)&&(P5.P5_0>=1)))||((Speed155.Speed_Right_Wheel_155>=1)&&(P5.P5_0>=1)))||((Speed156.Speed_Right_Wheel_156>=1)&&(P5.P5_0>=1)))||((Speed157.Speed_Right_Wheel_157>=1)&&(P5.P5_0>=1)))||((Speed158.Speed_Right_Wheel_158>=1)&&(P5.P5_0>=1)))||((Speed159.Speed_Right_Wheel_159>=1)&&(P5.P5_0>=1)))||((Speed160.Speed_Right_Wheel_160>=1)&&(P5.P5_0>=1)))||((Speed161.Speed_Right_Wheel_161>=1)&&(P5.P5_0>=1)))||((Speed162.Speed_Right_Wheel_162>=1)&&(P5.P5_0>=1)))||((Speed163.Speed_Right_Wheel_163>=1)&&(P5.P5_0>=1)))||((Speed164.Speed_Right_Wheel_164>=1)&&(P5.P5_0>=1)))||((Speed165.Speed_Right_Wheel_165>=1)&&(P5.P5_0>=1)))||((Speed166.Speed_Right_Wheel_166>=1)&&(P5.P5_0>=1)))||((Speed167.Speed_Right_Wheel_167>=1)&&(P5.P5_0>=1)))||((Speed168.Speed_Right_Wheel_168>=1)&&(P5.P5_0>=1)))||((Speed169.Speed_Right_Wheel_169>=1)&&(P5.P5_0>=1)))||((Speed170.Speed_Right_Wheel_170>=1)&&(P5.P5_0>=1)))||((Speed171.Speed_Right_Wheel_171>=1)&&(P5.P5_0>=1)))||((Speed172.Speed_Right_Wheel_172>=1)&&(P5.P5_0>=1)))||((Speed173.Speed_Right_Wheel_173>=1)&&(P5.P5_0>=1)))||((Speed174.Speed_Right_Wheel_174>=1)&&(P5.P5_0>=1)))||((Speed175.Speed_Right_Wheel_175>=1)&&(P5.P5_0>=1)))||((Speed176.Speed_Right_Wheel_176>=1)&&(P5.P5_0>=1)))||((Speed177.Speed_Right_Wheel_177>=1)&&(P5.P5_0>=1)))||((Speed178.Speed_Right_Wheel_178>=1)&&(P5.P5_0>=1)))||((Speed179.Speed_Right_Wheel_179>=1)&&(P5.P5_0>=1)))||((Speed180.Speed_Right_Wheel_180>=1)&&(P5.P5_0>=1)))||((Speed181.Speed_Right_Wheel_181>=1)&&(P5.P5_0>=1)))||((Speed182.Speed_Right_Wheel_182>=1)&&(P5.P5_0>=1)))||((Speed183.Speed_Right_Wheel_183>=1)&&(P5.P5_0>=1)))||((Speed184.Speed_Right_Wheel_184>=1)&&(P5.P5_0>=1)))||((Speed185.Speed_Right_Wheel_185>=1)&&(P5.P5_0>=1)))||((Speed186.Speed_Right_Wheel_186>=1)&&(P5.P5_0>=1)))||((Speed187.Speed_Right_Wheel_187>=1)&&(P5.P5_0>=1)))||((Speed188.Speed_Right_Wheel_188>=1)&&(P5.P5_0>=1)))||((Speed189.Speed_Right_Wheel_189>=1)&&(P5.P5_0>=1)))||((Speed190.Speed_Right_Wheel_190>=1)&&(P5.P5_0>=1)))||((Speed191.Speed_Right_Wheel_191>=1)&&(P5.P5_0>=1)))||((Speed192.Speed_Right_Wheel_192>=1)&&(P5.P5_0>=1)))||((Speed193.Speed_Right_Wheel_193>=1)&&(P5.P5_0>=1)))||((Speed194.Speed_Right_Wheel_194>=1)&&(P5.P5_0>=1)))||((Speed195.Speed_Right_Wheel_195>=1)&&(P5.P5_0>=1)))||((Speed196.Speed_Right_Wheel_196>=1)&&(P5.P5_0>=1)))||((Speed197.Speed_Right_Wheel_197>=1)&&(P5.P5_0>=1)))||((Speed198.Speed_Right_Wheel_198>=1)&&(P5.P5_0>=1)))||((Speed199.Speed_Right_Wheel_199>=1)&&(P5.P5_0>=1)))||((Speed200.Speed_Right_Wheel_200>=1)&&(P5.P5_0>=1)))||((Speed201.Speed_Right_Wheel_201>=1)&&(P5.P5_0>=1)))||((Speed202.Speed_Right_Wheel_202>=1)&&(P5.P5_0>=1)))||((Speed203.Speed_Right_Wheel_203>=1)&&(P5.P5_0>=1)))||((Speed204.Speed_Right_Wheel_204>=1)&&(P5.P5_0>=1)))||((Speed205.Speed_Right_Wheel_205>=1)&&(P5.P5_0>=1)))||((Speed206.Speed_Right_Wheel_206>=1)&&(P5.P5_0>=1)))||((Speed207.Speed_Right_Wheel_207>=1)&&(P5.P5_0>=1)))||((Speed208.Speed_Right_Wheel_208>=1)&&(P5.P5_0>=1)))||((Speed209.Speed_Right_Wheel_209>=1)&&(P5.P5_0>=1)))||((Speed210.Speed_Right_Wheel_210>=1)&&(P5.P5_0>=1)))||((Speed211.Speed_Right_Wheel_211>=1)&&(P5.P5_0>=1)))||((Speed212.Speed_Right_Wheel_212>=1)&&(P5.P5_0>=1)))||((Speed213.Speed_Right_Wheel_213>=1)&&(P5.P5_0>=1)))||((Speed214.Speed_Right_Wheel_214>=1)&&(P5.P5_0>=1)))||((Speed215.Speed_Right_Wheel_215>=1)&&(P5.P5_0>=1)))||((Speed216.Speed_Right_Wheel_216>=1)&&(P5.P5_0>=1)))||((Speed217.Speed_Right_Wheel_217>=1)&&(P5.P5_0>=1)))||((Speed218.Speed_Right_Wheel_218>=1)&&(P5.P5_0>=1)))||((Speed219.Speed_Right_Wheel_219>=1)&&(P5.P5_0>=1)))||((Speed220.Speed_Right_Wheel_220>=1)&&(P5.P5_0>=1)))||((Speed221.Speed_Right_Wheel_221>=1)&&(P5.P5_0>=1)))||((Speed222.Speed_Right_Wheel_222>=1)&&(P5.P5_0>=1)))||((Speed223.Speed_Right_Wheel_223>=1)&&(P5.P5_0>=1)))||((Speed224.Speed_Right_Wheel_224>=1)&&(P5.P5_0>=1)))||((Speed225.Speed_Right_Wheel_225>=1)&&(P5.P5_0>=1)))||((Speed226.Speed_Right_Wheel_226>=1)&&(P5.P5_0>=1)))||((Speed227.Speed_Right_Wheel_227>=1)&&(P5.P5_0>=1)))||((Speed228.Speed_Right_Wheel_228>=1)&&(P5.P5_0>=1)))||((Speed229.Speed_Right_Wheel_229>=1)&&(P5.P5_0>=1)))||((Speed230.Speed_Right_Wheel_230>=1)&&(P5.P5_0>=1)))||((Speed231.Speed_Right_Wheel_231>=1)&&(P5.P5_0>=1)))||((Speed232.Speed_Right_Wheel_232>=1)&&(P5.P5_0>=1)))||((Speed233.Speed_Right_Wheel_233>=1)&&(P5.P5_0>=1)))||((Speed234.Speed_Right_Wheel_234>=1)&&(P5.P5_0>=1)))||((Speed235.Speed_Right_Wheel_235>=1)&&(P5.P5_0>=1)))||((Speed236.Speed_Right_Wheel_236>=1)&&(P5.P5_0>=1)))||((Speed237.Speed_Right_Wheel_237>=1)&&(P5.P5_0>=1)))||((Speed238.Speed_Right_Wheel_238>=1)&&(P5.P5_0>=1)))||((Speed239.Speed_Right_Wheel_239>=1)&&(P5.P5_0>=1)))||((Speed240.Speed_Right_Wheel_240>=1)&&(P5.P5_0>=1)))||((Speed241.Speed_Right_Wheel_241>=1)&&(P5.P5_0>=1)))||((Speed242.Speed_Right_Wheel_242>=1)&&(P5.P5_0>=1)))||((Speed243.Speed_Right_Wheel_243>=1)&&(P5.P5_0>=1)))||((Speed244.Speed_Right_Wheel_244>=1)&&(P5.P5_0>=1)))||((Speed245.Speed_Right_Wheel_245>=1)&&(P5.P5_0>=1)))||((Speed246.Speed_Right_Wheel_246>=1)&&(P5.P5_0>=1)))||((Speed247.Speed_Right_Wheel_247>=1)&&(P5.P5_0>=1)))||((Speed248.Speed_Right_Wheel_248>=1)&&(P5.P5_0>=1)))||((Speed249.Speed_Right_Wheel_249>=1)&&(P5.P5_0>=1)))||((Speed250.Speed_Right_Wheel_250>=1)&&(P5.P5_0>=1)))||((Speed251.Speed_Right_Wheel_251>=1)&&(P5.P5_0>=1)))||((Speed252.Speed_Right_Wheel_252>=1)&&(P5.P5_0>=1)))||((Speed253.Speed_Right_Wheel_253>=1)&&(P5.P5_0>=1)))||((Speed254.Speed_Right_Wheel_254>=1)&&(P5.P5_0>=1)))||((Speed255.Speed_Right_Wheel_255>=1)&&(P5.P5_0>=1)))||((Speed256.Speed_Right_Wheel_256>=1)&&(P5.P5_0>=1)))||((Speed257.Speed_Right_Wheel_257>=1)&&(P5.P5_0>=1)))||((Speed258.Speed_Right_Wheel_258>=1)&&(P5.P5_0>=1)))||((Speed259.Speed_Right_Wheel_259>=1)&&(P5.P5_0>=1)))||((Speed260.Speed_Right_Wheel_260>=1)&&(P5.P5_0>=1)))||((Speed261.Speed_Right_Wheel_261>=1)&&(P5.P5_0>=1)))||((Speed262.Speed_Right_Wheel_262>=1)&&(P5.P5_0>=1)))||((Speed263.Speed_Right_Wheel_263>=1)&&(P5.P5_0>=1)))||((Speed264.Speed_Right_Wheel_264>=1)&&(P5.P5_0>=1)))||((Speed265.Speed_Right_Wheel_265>=1)&&(P5.P5_0>=1)))||((Speed266.Speed_Right_Wheel_266>=1)&&(P5.P5_0>=1)))||((Speed267.Speed_Right_Wheel_267>=1)&&(P5.P5_0>=1)))||((Speed268.Speed_Right_Wheel_268>=1)&&(P5.P5_0>=1)))||((Speed269.Speed_Right_Wheel_269>=1)&&(P5.P5_0>=1)))||((Speed270.Speed_Right_Wheel_270>=1)&&(P5.P5_0>=1)))||((Speed271.Speed_Right_Wheel_271>=1)&&(P5.P5_0>=1)))||((Speed272.Speed_Right_Wheel_272>=1)&&(P5.P5_0>=1)))||((Speed273.Speed_Right_Wheel_273>=1)&&(P5.P5_0>=1)))||((Speed274.Speed_Right_Wheel_274>=1)&&(P5.P5_0>=1)))||((Speed275.Speed_Right_Wheel_275>=1)&&(P5.P5_0>=1)))||((Speed276.Speed_Right_Wheel_276>=1)&&(P5.P5_0>=1)))||((Speed277.Speed_Right_Wheel_277>=1)&&(P5.P5_0>=1)))||((Speed278.Speed_Right_Wheel_278>=1)&&(P5.P5_0>=1)))||((Speed279.Speed_Right_Wheel_279>=1)&&(P5.P5_0>=1)))||((Speed280.Speed_Right_Wheel_280>=1)&&(P5.P5_0>=1)))||((Speed281.Speed_Right_Wheel_281>=1)&&(P5.P5_0>=1)))||((Speed282.Speed_Right_Wheel_282>=1)&&(P5.P5_0>=1)))||((Speed283.Speed_Right_Wheel_283>=1)&&(P5.P5_0>=1)))||((Speed284.Speed_Right_Wheel_284>=1)&&(P5.P5_0>=1)))||((Speed285.Speed_Right_Wheel_285>=1)&&(P5.P5_0>=1)))||((Speed286.Speed_Right_Wheel_286>=1)&&(P5.P5_0>=1)))||((Speed287.Speed_Right_Wheel_287>=1)&&(P5.P5_0>=1)))||((Speed288.Speed_Right_Whee
l_288>=1)&&(P5.P5_0>=1)))||((Speed289.Speed_Right_Wheel_289>=1)&&(P5.P5_0>=1)))||((Speed290.Speed_Right_Wheel_290>=1)&&(P5.P5_0>=1)))||((Speed291.Speed_Right_Wheel_291>=1)&&(P5.P5_0>=1)))||((Speed292.Speed_Right_Wheel_292>=1)&&(P5.P5_0>=1)))||((Speed293.Speed_Right_Wheel_293>=1)&&(P5.P5_0>=1)))||((Speed294.Speed_Right_Wheel_294>=1)&&(P5.P5_0>=1)))||((Speed295.Speed_Right_Wheel_295>=1)&&(P5.P5_0>=1)))||((Speed296.Speed_Right_Wheel_296>=1)&&(P5.P5_0>=1)))||((Speed297.Speed_Right_Wheel_297>=1)&&(P5.P5_0>=1)))||((Speed298.Speed_Right_Wheel_298>=1)&&(P5.P5_0>=1)))||((Speed299.Speed_Right_Wheel_299>=1)&&(P5.P5_0>=1)))||((Speed300.Speed_Right_Wheel_300>=1)&&(P5.P5_0>=1)))||((Speed301.Speed_Right_Wheel_301>=1)&&(P5.P5_0>=1)))||((Speed302.Speed_Right_Wheel_302>=1)&&(P5.P5_0>=1)))||((Speed303.Speed_Right_Wheel_303>=1)&&(P5.P5_0>=1)))||((Speed304.Speed_Right_Wheel_304>=1)&&(P5.P5_0>=1)))||((Speed305.Speed_Right_Wheel_305>=1)&&(P5.P5_0>=1)))||((Speed306.Speed_Right_Wheel_306>=1)&&(P5.P5_0>=1)))||((Speed307.Speed_Right_Wheel_307>=1)&&(P5.P5_0>=1)))||((Speed308.Speed_Right_Wheel_308>=1)&&(P5.P5_0>=1)))||((Speed309.Speed_Right_Wheel_309>=1)&&(P5.P5_0>=1)))||((Speed310.Speed_Right_Wheel_310>=1)&&(P5.P5_0>=1)))||((Speed311.Speed_Right_Wheel_311>=1)&&(P5.P5_0>=1)))||((Speed312.Speed_Right_Wheel_312>=1)&&(P5.P5_0>=1)))||((Speed313.Speed_Right_Wheel_313>=1)&&(P5.P5_0>=1)))||((Speed314.Speed_Right_Wheel_314>=1)&&(P5.P5_0>=1)))||((Speed315.Speed_Right_Wheel_315>=1)&&(P5.P5_0>=1)))||((Speed316.Speed_Right_Wheel_316>=1)&&(P5.P5_0>=1)))||((Speed317.Speed_Right_Wheel_317>=1)&&(P5.P5_0>=1)))||((Speed318.Speed_Right_Wheel_318>=1)&&(P5.P5_0>=1)))||((Speed319.Speed_Right_Wheel_319>=1)&&(P5.P5_0>=1)))||((Speed320.Speed_Right_Wheel_320>=1)&&(P5.P5_0>=1)))||((Speed321.Speed_Right_Wheel_321>=1)&&(P5.P5_0>=1)))||((Speed322.Speed_Right_Wheel_322>=1)&&(P5.P5_0>=1)))||((Speed323.Speed_Right_Wheel_323>=1)&&(P5.P5_0>=1)))||((Speed324.Speed_Right_Wheel_324>=1)&&(P5.P5_0>=1)))||((Speed325.Speed_Right_Wheel_325>=1)&&(P5.P5_0>=1)))||((Speed326.Speed_Right_Wheel_326>=1)&&(P5.P5_0>=1)))||((Speed327.Speed_Right_Wheel_327>=1)&&(P5.P5_0>=1)))||((Speed328.Speed_Right_Wheel_328>=1)&&(P5.P5_0>=1)))||((Speed329.Speed_Right_Wheel_329>=1)&&(P5.P5_0>=1)))||((Speed330.Speed_Right_Wheel_330>=1)&&(P5.P5_0>=1)))||((Speed331.Speed_Right_Wheel_331>=1)&&(P5.P5_0>=1)))||((Speed332.Speed_Right_Wheel_332>=1)&&(P5.P5_0>=1)))||((Speed333.Speed_Right_Wheel_333>=1)&&(P5.P5_0>=1)))||((Speed334.Speed_Right_Wheel_334>=1)&&(P5.P5_0>=1)))||((Speed335.Speed_Right_Wheel_335>=1)&&(P5.P5_0>=1)))||((Speed336.Speed_Right_Wheel_336>=1)&&(P5.P5_0>=1)))||((Speed337.Speed_Right_Wheel_337>=1)&&(P5.P5_0>=1)))||((Speed338.Speed_Right_Wheel_338>=1)&&(P5.P5_0>=1)))||((Speed339.Speed_Right_Wheel_339>=1)&&(P5.P5_0>=1)))||((Speed340.Speed_Right_Wheel_340>=1)&&(P5.P5_0>=1)))||((Speed341.Speed_Right_Wheel_341>=1)&&(P5.P5_0>=1)))||((Speed342.Speed_Right_Wheel_342>=1)&&(P5.P5_0>=1)))||((Speed343.Speed_Right_Wheel_343>=1)&&(P5.P5_0>=1)))||((Speed344.Speed_Right_Wheel_344>=1)&&(P5.P5_0>=1)))||((Speed345.Speed_Right_Wheel_345>=1)&&(P5.P5_0>=1)))||((Speed346.Speed_Right_Wheel_346>=1)&&(P5.P5_0>=1)))||((Speed347.Speed_Right_Wheel_347>=1)&&(P5.P5_0>=1)))||((Speed348.Speed_Right_Wheel_348>=1)&&(P5.P5_0>=1)))||((Speed349.Speed_Right_Wheel_349>=1)&&(P5.P5_0>=1)))||((Speed350.Speed_Right_Wheel_350>=1)&&(P5.P5_0>=1)))||((Speed351.Speed_Right_Wheel_351>=1)&&(P5.P5_0>=1)))||((Speed352.Speed_Right_Wheel_352>=1)&&(P5.P5_0>=1)))||((Speed353.Speed_Right_Wheel_353>=1)&&(P5.P5_0>=1)))||((Speed354.Speed_Right_Wheel_354>=1)&&(P5.P5_0>=1)))||((Speed355.Speed_Right_Wheel_355>=1)&&(P5.P5_0>=1)))||((Speed356.Speed_Right_Wheel_356>=1)&&(P5.P5_0>=1)))||((Speed357.Speed_Right_Wheel_357>=1)&&(P5.P5_0>=1)))||((Speed358.Speed_Right_Wheel_358>=1)&&(P5.P5_0>=1)))||((Speed359.Speed_Right_Wheel_359>=1)&&(P5.P5_0>=1)))||((Speed360.Speed_Right_Wheel_360>=1)&&(P5.P5_0>=1)))||((Speed361.Speed_Right_Wheel_361>=1)&&(P5.P5_0>=1)))||((Speed362.Speed_Right_Wheel_362>=1)&&(P5.P5_0>=1)))||((Speed363.Speed_Right_Wheel_363>=1)&&(P5.P5_0>=1)))||((Speed364.Speed_Right_Wheel_364>=1)&&(P5.P5_0>=1)))||((Speed365.Speed_Right_Wheel_365>=1)&&(P5.P5_0>=1)))||((Speed366.Speed_Right_Wheel_366>=1)&&(P5.P5_0>=1)))||((Speed367.Speed_Right_Wheel_367>=1)&&(P5.P5_0>=1)))||((Speed368.Speed_Right_Wheel_368>=1)&&(P5.P5_0>=1)))||((Speed369.Speed_Right_Wheel_369>=1)&&(P5.P5_0>=1)))||((Speed370.Speed_Right_Wheel_370>=1)&&(P5.P5_0>=1)))||((Speed371.Speed_Right_Wheel_371>=1)&&(P5.P5_0>=1)))||((Speed372.Speed_Right_Wheel_372>=1)&&(P5.P5_0>=1)))||((Speed373.Speed_Right_Wheel_373>=1)&&(P5.P5_0>=1)))||((Speed374.Speed_Right_Wheel_374>=1)&&(P5.P5_0>=1)))||((Speed375.Speed_Right_Wheel_375>=1)&&(P5.P5_0>=1)))||((Speed376.Speed_Right_Wheel_376>=1)&&(P5.P5_0>=1)))||((Speed377.Speed_Right_Wheel_377>=1)&&(P5.P5_0>=1)))||((Speed378.Speed_Right_Wheel_378>=1)&&(P5.P5_0>=1)))||((Speed379.Speed_Right_Wheel_379>=1)&&(P5.P5_0>=1)))||((Speed380.Speed_Right_Wheel_380>=1)&&(P5.P5_0>=1)))||((Speed381.Speed_Right_Wheel_381>=1)&&(P5.P5_0>=1)))||((Speed382.Speed_Right_Wheel_382>=1)&&(P5.P5_0>=1)))||((Speed383.Speed_Right_Wheel_383>=1)&&(P5.P5_0>=1)))||((Speed384.Speed_Right_Wheel_384>=1)&&(P5.P5_0>=1)))||((Speed385.Speed_Right_Wheel_385>=1)&&(P5.P5_0>=1)))||((Speed386.Speed_Right_Wheel_386>=1)&&(P5.P5_0>=1)))||((Speed387.Speed_Right_Wheel_387>=1)&&(P5.P5_0>=1)))||((Speed388.Speed_Right_Wheel_388>=1)&&(P5.P5_0>=1)))||((Speed389.Speed_Right_Wheel_389>=1)&&(P5.P5_0>=1)))||((Speed390.Speed_Right_Wheel_390>=1)&&(P5.P5_0>=1)))||((Speed391.Speed_Right_Wheel_391>=1)&&(P5.P5_0>=1)))||((Speed392.Speed_Right_Wheel_392>=1)&&(P5.P5_0>=1)))||((Speed393.Speed_Right_Wheel_393>=1)&&(P5.P5_0>=1)))||((Speed394.Speed_Right_Wheel_394>=1)&&(P5.P5_0>=1)))||((Speed395.Speed_Right_Wheel_395>=1)&&(P5.P5_0>=1)))||((Speed396.Speed_Right_Wheel_396>=1)&&(P5.P5_0>=1)))||((Speed397.Speed_Right_Wheel_397>=1)&&(P5.P5_0>=1)))||((Speed398.Speed_Right_Wheel_398>=1)&&(P5.P5_0>=1)))||((Speed399.Speed_Right_Wheel_399>=1)&&(P5.P5_0>=1)))||((Speed400.Speed_Right_Wheel_400>=1)&&(P5.P5_0>=1)))||((Speed401.Speed_Right_Wheel_401>=1)&&(P5.P5_0>=1)))||((Speed402.Speed_Right_Wheel_402>=1)&&(P5.P5_0>=1)))||((Speed403.Speed_Right_Wheel_403>=1)&&(P5.P5_0>=1)))||((Speed404.Speed_Right_Wheel_404>=1)&&(P5.P5_0>=1)))||((Speed405.Speed_Right_Wheel_405>=1)&&(P5.P5_0>=1)))||((Speed406.Speed_Right_Wheel_406>=1)&&(P5.P5_0>=1)))||((Speed407.Speed_Right_Wheel_407>=1)&&(P5.P5_0>=1)))||((Speed408.Speed_Right_Wheel_408>=1)&&(P5.P5_0>=1)))||((Speed409.Speed_Right_Wheel_409>=1)&&(P5.P5_0>=1)))||((Speed410.Speed_Right_Wheel_410>=1)&&(P5.P5_0>=1)))||((Speed411.Speed_Right_Wheel_411>=1)&&(P5.P5_0>=1)))||((Speed412.Speed_Right_Wheel_412>=1)&&(P5.P5_0>=1)))||((Speed413.Speed_Right_Wheel_413>=1)&&(P5.P5_0>=1)))||((Speed414.Speed_Right_Wheel_414>=1)&&(P5.P5_0>=1)))||((Speed415.Speed_Right_Wheel_415>=1)&&(P5.P5_0>=1)))||((Speed416.Speed_Right_Wheel_416>=1)&&(P5.P5_0>=1)))||((Speed417.Speed_Right_Wheel_417>=1)&&(P5.P5_0>=1)))||((Speed418.Speed_Right_Wheel_418>=1)&&(P5.P5_0>=1)))||((Speed419.Speed_Right_Wheel_419>=1)&&(P5.P5_0>=1)))||((Speed420.Speed_Right_Wheel_420>=1)&&(P5.P5_0>=1)))||((Speed421.Speed_Right_Wheel_421>=1)&&(P5.P5_0>=1)))||((Speed422.Speed_Right_Wheel_422>=1)&&(P5.P5_0>=1)))||((Speed423.Speed_Right_Wheel_423>=1)&&(P5.P5_0>=1)))||((Speed424.Speed_Right_Wheel_424>=1)&&(P5.P5_0>=1)))||((Speed425.Speed_Right_Wheel_425>=1)&&(P5.P5_0>=1)))||((Speed426.Speed_Right_Wheel_426>=1)&&(P5.P5_0>=1)))||((Speed427.Speed_Right_Wheel_427>=1)&&(P5.P5_0>=1)))||((Speed428.Speed_Right_Wheel_428>=1)&&(P5.P5_0>=1)))||((Speed429.Speed_Right_Wheel_429>=1)&&(P5.P5_0>=1)))||((Speed430.Speed_Right_Wheel_430>=1)&&(P5.P5_0>=1)))||((Speed431.Speed_Right_Wheel_431>=1)&&(P5.P5_0>=1)))||((Speed432.Speed_Right_Wheel_432>=1)&&(P5.P5_0>=1)))||((Speed433.Speed_Right_Wheel_433>=1)&&(P5.P5_0>=1)))||((Speed434.Speed_Right_Wheel_434>=1)&&(P5.P5_0>=1)))||((Speed435.Speed_Right_Wheel_435>=1)&&(P5.P5_0>=1)))||((Speed436.Speed_Right_Wheel_436>=1)&&(P5.P5_0>=1)))||((Speed437.Speed_Right_Wheel_437>=1)&&(P5.P5_0>=1)))||((Speed438.Speed_Right_Wheel_438>=1)&&(P5.P5_0>=1)))||((Speed439.Speed_Right_Wheel_439>=1)&&(P5.P5_0>=1)))||((Speed440.Speed_Right_Wheel_440>=1)&&(P5.P5_0>=1)))||((Speed441.Speed_Right_Wheel_441>=1)&&(P5.P5_0>=1)))||((Speed442.Speed_Right_Wheel_442>=1)&&(P5.P5_0>=1)))||((Speed443.Speed_Right_Wheel_443>=1)&&(P5.P5_0>=1)))||((Speed444.Speed_Right_Wheel_444>=1)&&(P5.P5_0>=1)))||((Speed445.Speed_Right_Wheel_445>=1)&&(P5.P5_0>=1)))||((Speed446.Speed_Right_Wheel_446>=1)&&(P5.P5_0>=1)))||((Speed447.Speed_Right_Wheel_447>=1)&&(P5.P5_0>=1)))||((Speed448.Speed_Right_Wheel_448>=1)&&(P5.P5_0>=1)))||((Speed449.Speed_Right_Wheel_449>=1)&&(P5.P5_0>=1)))||((Speed450.Speed_Right_Wheel_450>=1)&&(P5.P5_0>=1)))||((Speed451.Speed_Right_Wheel_451>=1)&&(P5.P5_0>=1)))||((Speed452.Speed_Right_Wheel_452>=1)&&(P5.P5_0>=1)))||((Speed453.Speed_Right_Wheel_453>=1)&&(P5.P5_0>=1)))||((Speed454.Speed_Right_Wheel_454>=1)&&(P5.P5_0>=1)))||((Speed455.Speed_Right_Wheel_455>=1)&&(P5.P5_0>=1)))||((Speed456.Speed_Right_Wheel_456>=1)&&(P5.P5_0>=1)))||((Speed457.Speed_Right_Wheel_457>=1)&&(P5.P5_0>=1)))||((Speed458.Speed_Right_Wheel_458>=1)&&(P5.P5_0>=1)))||((Speed459.Speed_Right_Wheel_459>=1)&&(P5.P5_0>=1)))||((Speed460.Speed_Right_Wheel_460>=1)&&(P5.P5_0>=1)))||((Speed461.Speed_Right_Wheel_461>=1)&&(P5.P5_0>=1)))||((Speed462.Speed_Right_Wheel_462>=1)&&(P5.P5_0>=1)))||((Speed463.Speed_Right_Wheel_463>=1)&&(P5.P5_0>=1)))||((Speed464.Speed_Right_Wheel_464>=1)&&(P5.P5_0>=1)))||((Speed465.Speed_Right_Wheel_465>=1)&&(P5.P5_0>=1)))||((Speed466.Speed_Right_Wheel_466>=1)&&(P5.P5_0>=1)))||((Speed467.Speed_Right_Wheel_467>=1)&&(P5.P5_0>=1)))||((Speed468.Speed_Right_Wheel_468>=1)&&(P5.P5_0>=1)))||((Speed469.Speed_Right_Wheel_469>=1)&&(P5.P5_0>=1)))||((Speed470.Speed_Right_Wheel_470>=1)&&(P5.P5_0>=1)))||((Speed471.Speed_Right_Wheel_471>=1)&&(P5.P5_0>=1)))||((Speed472.Speed_Right_Wheel_472>=1)&&(P5.P5_0>=1)))||((Speed473.Speed_Right_Wheel_473>=1)&&(P5.P5_0>=1)))||((Speed474.Speed_Right_Wheel_474>=1)&&(P5.P5_0>=1)))||((Speed475.Speed_Right_Wheel_475>=1)&&(P5.P5_0>=1)))||((Speed476.Speed_Right_Wheel_476>=1)&&(P5.P5_0>=1)))||((Speed477.Speed_Right_Wheel_477>=1)&&(P5.P5_0>=1)))||((Speed478.Speed_Right_Wheel_478>=1)&&(P5.P5_0>=1)))||((Speed479.Speed_Right_Wheel_479>=1)&&(P5.P5_0>=1)))||((Speed480.Speed_Right_Wheel_480>=1)&&(P5.P5_0>=1)))||((Speed481.Speed_Right_Wheel_481>=1)&&(P5.P5_0>=1)))||((Speed482.Speed_Right_Wheel_482>=1)&&(P5.P5_0>=1)))||((Speed483.Speed_Right_Wheel_483>=1)&&(P5.P5_0>=1)))||((Speed484.Speed_Right_Wheel_484>=1)&&(P5.P5_0>=1)))||((Speed485.Speed_Right_Wheel_485>=1)&&(P5.P5_0>=1)))||((Speed486.Speed_Right_Wheel_486>=1)&&(P5.P5_0>=1)))||((Speed487.Speed_Right_Wheel_487>=1)&&(P5.P5_0>=1)))||((Speed488.Speed_Right_Wheel_488>=1)&&(P5.P5_0>=1)))||((Speed489.Speed_Right_Wheel_489>=1)&&(P5.P5_0>=1)))||((Speed490.Speed_Right_Wheel_490>=1)&&(P5.P5_0>=1)))||((Speed491.Speed_Right_Wheel_491>=1)&&(P5.P5_0>=1)))||((Speed492.Speed_Right_Wheel_492>=1)&&(P5.P5_0>=1)))||((Speed493.Speed_Right_Wheel_493>=1)&&(P5.P5_0>=1)))||((Speed494.Speed_Right_Wheel_494>=1)&&(P5.P5_0>=1)))||((Speed495.Speed_Right_Wheel_495>=1)&&(P5.P5_0>=1)))||((Speed496.Speed_Right_Wheel_496>=1)&&(P5.P5_0>=1)))||((Speed497.Speed_Right_Wheel_497>=1)&&(P5.P5_0>=1)))||((Speed498.Speed_Right_Wheel_498>=1)&&(P5.P5_0>=1)))||((Speed499.Speed_Right_Wheel_499>=1)&&(P5.P5_0>=1)))||((Speed500.Speed_Right_Wheel_500>=1)&&(P5.P5_0>=1)))||((Speed501.Speed_Right_Wheel_501>=1)&&(P5.P5_0>=1)))||((Speed502.Speed_Right_Wheel_502>=1)&&(P5.P5_0>=1)))||((Speed503.Speed_Right_Wheel_503>=1)&&(P5.P5_0>=1)))||((Speed504.Speed_Right_Wheel_504>=1)&&(P5.P5_0>=1)))||((Speed505.Speed_Right_Wheel_505>=1)&&(P5.P5_0>=1)))||((Speed506.Speed_Right_Wheel_506>=1)&&(P5.P5_0>=1)))||((Speed507.Speed_Right_Wheel_507>=1)&&(P5.P5_0>=1)))||((Speed508.Speed_Right_Wheel_508>=1)&&(P5.P5_0>=1)))||((Speed509.Speed_Right_Wheel_509>=1)&&(P5.P5_0>=1)))||((Speed510.Speed_Right_Wheel_510>=1)&&(P5.P5_0>=1)))||((Speed511.Speed_Right_Wheel_511>=1)&&(P5.P5_0>=1)))||((Speed512.Speed_Right_Wheel_512>=1)&&(P5.P5_0>=1)))||((Speed513.Speed_Right_Wheel_513>=1)&&(P5.P5_0>=1)))||((Speed514.Speed_Right_Wheel_514>=1)&&(P5.P5_0>=1)))||((Speed515.Speed_Right_Wheel_515>=1)&&(P5.P5_0>=1)))||((Speed516.Speed_Right_Wheel_516>=1)&&(P5.P5_0>=1)))||((Speed517.Speed_Right_Wheel_517>=1)&&(P5.P5_0>=1)))||((Speed518.Speed_Right_Wheel_518>=1)&&(P5.P5_0>=1)))||((Speed519.Speed_Right_Wheel_519>=1)&&(P5.P5_0>=1)))||((Speed520.Speed_Right_Wheel_520>=1)&&(P5.P5_0>=1)))||((Speed521.Speed_Right_Wheel_521>=1)&&(P5.P5_0>=1)))||((Speed522.Speed_Right_Wheel_522>=1)&&(P5.P5_0>=1)))||((Speed523.Speed_Right_Wheel_523>=1)&&(P5.P5_0>=1)))||((Speed524.Speed_Right_Wheel_524>=1)&&(P5.P5_0>=1)))||((Speed525.Speed_Right_Wheel_525>=1)&&(P5.P5_0>=1)))||((Speed526.Speed_Right_Wheel_526>=1)&&(P5.P5_0>=1)))||((Speed527.Speed_Right_Wheel_527>=1)&&(P5.P5_0>=1)))||((Speed528.Speed_Right_Wheel_528>=1)&&(P5.P5_0>=1)))||((Speed529.Speed_Right_Wheel_529>=1)&&(P5.P5_0>=1)))||((Speed530.Speed_Right_Wheel_530>=1)&&(P5.P5_0>=1)))||((Speed531.Speed_Right_Wheel_531>=1)&&(P5.P5_0>=1)))||((Speed532.Speed_Right_Wheel_532>=1)&&(P5.P5_0>=1)))||((Speed533.Speed_Right_Wheel_533>=1)&&(P5.P5_0>=1)))||((Speed534.Speed_Right_Wheel_534>=1)&&(P5.P5_0>=1)))||((Speed535.Speed_Right_Wheel_535>=1)&&(P5.P5_0>=1)))||((Speed536.Speed_Right_Wheel_536>=1)&&(P5.P5_0>=1)))||((Speed537.Speed_Right_Wheel_537>=1)&&(P5.P5_0>=1)))||((Speed538.Speed_Right_Wheel_538>=1)&&(P5.P5_0>=1)))||((Speed539.Speed_Right_Wheel_539>=1)&&(P5.P5_0>=1)))||((Speed540.Speed_Right_Wheel_540>=1)&&(P5.P5_0>=1)))||((Speed541.Speed_Right_Wheel_541>=1)&&(P5.P5_0>=1)))||((Speed542.Speed_Right_Wheel_542>=1)&&(P5.P5_0>=1)))||((Speed543.Speed_Right_Wheel_543>=1)&&(P5.P5_0>=1)))||((Speed544.Speed_Right_Wheel_544>=1)&&(P5.P5_0>=1)))||((Speed545.Speed_Right_Wheel_545>=1)&&(P5.P5_0>=1)))||((Speed546.Speed_Right_Wheel_546>=1)&&(P5.P5_0>=1)))||((Speed547.Speed_Right_Wheel_547>=1)&&(P5.P5_0>=1)))||((Speed548.Speed_Right_Wheel_548>=1)&&(P5.P5_0>=1)))||((Speed549.Speed_Right_Wheel_549>=1)&&(P5.P5_0>=1)))||((Speed550.Speed_Right_Wheel_550>=1)&&(P5.P5_0>=1)))||((Speed551.Speed_Right_Wheel_551>=1)&&(P5.P5_0>=1)))||((Speed552.Speed_Right_Wheel_552>=1)&&(P5.P5_0>=1)))||((Speed553.Speed_Right_Wheel_553>=1)&&(P5.P5_0>=1)))||((Speed554.Speed_Right_Wheel_554>=1)&&(P5.P5_0>=1)))||((Speed555.Speed_Right_Wheel_555>=1)&&(P5.P5_0>=1)))||((Speed556.Speed_Right_Wheel_556>=1)&&(P5.P5_0>=1)))||((Speed557.Speed_Right_Wheel_557>=1)&&(P5.P5_0>=1)))||((Speed558.Speed_Right_Wheel_558>=1)&&(P5.P5_0>=1)))||((Speed559.Speed_Right_Wheel_559>=1)&&(P5.P5_0>=1)))||((Speed560.Speed_Right_Wheel_560>=1)&&(P5.P5_0>=1)))||((Speed561.Speed_Right_Wheel_561>=1)&&(P5.P5_0>=1)))||((Speed562.Speed_Right_Wheel_562>=1)&&(P5.P5_0>=1)))||((Speed563.Speed_Right_Wheel_563>=1)&&(P5.P5_0>=1)))||((Speed564.Speed_Right_Wheel_564>=1)&&(P5.P5_0>=1)))||((Speed565.Speed_Right_Wheel_565>=1)&&(P5.P5_0>=1)))||((Speed566.Speed_Right_Wheel_566>=1)&&(P5.P5_0>=1)))||((Speed567.Speed_Right_Wheel_567>=1)&&(P5.P5_0>=1)))||((Speed568.Speed_Right_Wheel_568>=1)&&(P5.P5_0>=1)))||((Speed569.Speed_Right_Wheel_569>=1)&&(P5.P5_0>=1)))||((Speed570.Speed_Right_Wheel_570>=1)&&(P5.P5_0>=1)))||((Speed571.Speed_Right_Wheel_571>=1)&&(P5.P5_0>=1)))||((Speed572.Speed_Right_Wheel_572>=1)&&(P5.P5_0>=1)))||((Speed573.Speed_Right_Wheel_573>=1)&&(P5.P5_0>=1)))||((Speed574.Speed_Right_Wheel_574>=1)&&(P5.P5_0>=1)))||((Speed575.Speed_Right_Wheel_575>=1)&&(P5.P5_0>=1)))||((Speed576.Speed_Right_Wheel_576>=1)&&(P5.P5_0>=1)))||((Speed577.Speed_Right_Wheel_577>=1)&&(P5.P5_0>=1)))||((Speed578.Speed_Right_Wheel_578>=1)&&(P5.P5_0>=1)))||((Speed579.Speed_Right_Wheel_579>=1)&&(P5.P5_0>=1)))||((Speed580.Speed_Right_Wheel_580>=1)&&(P5.P5_0>=1)))||((Speed581.Speed_Right_Wheel_581>=1)&&(P5.P5_0>=1)))||((Speed582.Speed_Right_Wheel_582>=1)&&(P5.P5_0>=1)))||((Speed583.Speed_Right_Wheel_583>=1)&&(P5.P5_0>=1)))||((Speed584.Speed_Right_Wheel_584>=1)&&(P5.P5_0>=1)))||((Speed585.Speed_Right_Wheel_585>=1)&&(P5.P5_0>=1)))||((Speed586.Speed_Right_Wheel_586>=1)&&(P5.P5_0>=1)))||((Speed587.Speed_Right_Wheel_587>=1)&&(P5.P5_0>=1)))||((Speed588.Speed_Right_Wheel_588>=1)&&(P5.P5_0>=1)))||((Speed589.Speed_Right_Wheel_589>=1)&&(P5.P5_0>=1)))||((Speed590.Speed_Right_Wheel_590>=1)&&(P5.P5_0>=1)))||((Speed591.Speed_Right_Wheel_591>=1)&&(P5.P5_0>=1
)))||((Speed592.Speed_Right_Wheel_592>=1)&&(P5.P5_0>=1)))||((Speed593.Speed_Right_Wheel_593>=1)&&(P5.P5_0>=1)))||((Speed594.Speed_Right_Wheel_594>=1)&&(P5.P5_0>=1)))||((Speed595.Speed_Right_Wheel_595>=1)&&(P5.P5_0>=1)))||((Speed596.Speed_Right_Wheel_596>=1)&&(P5.P5_0>=1)))||((Speed597.Speed_Right_Wheel_597>=1)&&(P5.P5_0>=1)))||((Speed598.Speed_Right_Wheel_598>=1)&&(P5.P5_0>=1)))||((Speed599.Speed_Right_Wheel_599>=1)&&(P5.P5_0>=1)))||((Speed600.Speed_Right_Wheel_600>=1)&&(P5.P5_0>=1)))||((Speed601.Speed_Right_Wheel_601>=1)&&(P5.P5_0>=1)))||((Speed602.Speed_Right_Wheel_602>=1)&&(P5.P5_0>=1)))||((Speed603.Speed_Right_Wheel_603>=1)&&(P5.P5_0>=1)))||((Speed604.Speed_Right_Wheel_604>=1)&&(P5.P5_0>=1)))||((Speed605.Speed_Right_Wheel_605>=1)&&(P5.P5_0>=1)))||((Speed606.Speed_Right_Wheel_606>=1)&&(P5.P5_0>=1)))||((Speed607.Speed_Right_Wheel_607>=1)&&(P5.P5_0>=1)))||((Speed608.Speed_Right_Wheel_608>=1)&&(P5.P5_0>=1)))||((Speed609.Speed_Right_Wheel_609>=1)&&(P5.P5_0>=1)))||((Speed610.Speed_Right_Wheel_610>=1)&&(P5.P5_0>=1)))||((Speed611.Speed_Right_Wheel_611>=1)&&(P5.P5_0>=1)))||((Speed612.Speed_Right_Wheel_612>=1)&&(P5.P5_0>=1)))||((Speed613.Speed_Right_Wheel_613>=1)&&(P5.P5_0>=1)))||((Speed614.Speed_Right_Wheel_614>=1)&&(P5.P5_0>=1)))||((Speed615.Speed_Right_Wheel_615>=1)&&(P5.P5_0>=1)))||((Speed616.Speed_Right_Wheel_616>=1)&&(P5.P5_0>=1)))||((Speed617.Speed_Right_Wheel_617>=1)&&(P5.P5_0>=1)))||((Speed618.Speed_Right_Wheel_618>=1)&&(P5.P5_0>=1)))||((Speed619.Speed_Right_Wheel_619>=1)&&(P5.P5_0>=1)))||((Speed620.Speed_Right_Wheel_620>=1)&&(P5.P5_0>=1)))||((Speed621.Speed_Right_Wheel_621>=1)&&(P5.P5_0>=1)))||((Speed622.Speed_Right_Wheel_622>=1)&&(P5.P5_0>=1)))||((Speed623.Speed_Right_Wheel_623>=1)&&(P5.P5_0>=1)))||((Speed624.Speed_Right_Wheel_624>=1)&&(P5.P5_0>=1)))||((Speed625.Speed_Right_Wheel_625>=1)&&(P5.P5_0>=1)))||((Speed626.Speed_Right_Wheel_626>=1)&&(P5.P5_0>=1)))||((Speed627.Speed_Right_Wheel_627>=1)&&(P5.P5_0>=1)))||((Speed628.Speed_Right_Wheel_628>=1)&&(P5.P5_0>=1)))||((Speed629.Speed_Right_Wheel_629>=1)&&(P5.P5_0>=1)))||((Speed630.Speed_Right_Wheel_630>=1)&&(P5.P5_0>=1)))||((Speed631.Speed_Right_Wheel_631>=1)&&(P5.P5_0>=1)))||((Speed632.Speed_Right_Wheel_632>=1)&&(P5.P5_0>=1)))||((Speed633.Speed_Right_Wheel_633>=1)&&(P5.P5_0>=1)))||((Speed634.Speed_Right_Wheel_634>=1)&&(P5.P5_0>=1)))||((Speed635.Speed_Right_Wheel_635>=1)&&(P5.P5_0>=1)))||((Speed636.Speed_Right_Wheel_636>=1)&&(P5.P5_0>=1)))||((Speed637.Speed_Right_Wheel_637>=1)&&(P5.P5_0>=1)))||((Speed638.Speed_Right_Wheel_638>=1)&&(P5.P5_0>=1)))||((Speed639.Speed_Right_Wheel_639>=1)&&(P5.P5_0>=1)))||((Speed640.Speed_Right_Wheel_640>=1)&&(P5.P5_0>=1)))||((Speed641.Speed_Right_Wheel_641>=1)&&(P5.P5_0>=1)))||((Speed642.Speed_Right_Wheel_642>=1)&&(P5.P5_0>=1)))||((Speed643.Speed_Right_Wheel_643>=1)&&(P5.P5_0>=1)))||((Speed644.Speed_Right_Wheel_644>=1)&&(P5.P5_0>=1)))||((Speed645.Speed_Right_Wheel_645>=1)&&(P5.P5_0>=1)))||((Speed646.Speed_Right_Wheel_646>=1)&&(P5.P5_0>=1)))||((Speed647.Speed_Right_Wheel_647>=1)&&(P5.P5_0>=1)))||((Speed648.Speed_Right_Wheel_648>=1)&&(P5.P5_0>=1)))||((Speed649.Speed_Right_Wheel_649>=1)&&(P5.P5_0>=1)))||((Speed650.Speed_Right_Wheel_650>=1)&&(P5.P5_0>=1)))||((Speed651.Speed_Right_Wheel_651>=1)&&(P5.P5_0>=1)))||((Speed652.Speed_Right_Wheel_652>=1)&&(P5.P5_0>=1)))||((Speed653.Speed_Right_Wheel_653>=1)&&(P5.P5_0>=1)))||((Speed654.Speed_Right_Wheel_654>=1)&&(P5.P5_0>=1)))||((Speed655.Speed_Right_Wheel_655>=1)&&(P5.P5_0>=1)))||((Speed656.Speed_Right_Wheel_656>=1)&&(P5.P5_0>=1)))||((Speed657.Speed_Right_Wheel_657>=1)&&(P5.P5_0>=1)))||((Speed658.Speed_Right_Wheel_658>=1)&&(P5.P5_0>=1)))||((Speed659.Speed_Right_Wheel_659>=1)&&(P5.P5_0>=1)))||((Speed660.Speed_Right_Wheel_660>=1)&&(P5.P5_0>=1)))||((Speed661.Speed_Right_Wheel_661>=1)&&(P5.P5_0>=1)))||((Speed662.Speed_Right_Wheel_662>=1)&&(P5.P5_0>=1)))||((Speed663.Speed_Right_Wheel_663>=1)&&(P5.P5_0>=1)))||((Speed664.Speed_Right_Wheel_664>=1)&&(P5.P5_0>=1)))||((Speed665.Speed_Right_Wheel_665>=1)&&(P5.P5_0>=1)))||((Speed666.Speed_Right_Wheel_666>=1)&&(P5.P5_0>=1)))||((Speed667.Speed_Right_Wheel_667>=1)&&(P5.P5_0>=1)))||((Speed668.Speed_Right_Wheel_668>=1)&&(P5.P5_0>=1)))||((Speed669.Speed_Right_Wheel_669>=1)&&(P5.P5_0>=1)))||((Speed670.Speed_Right_Wheel_670>=1)&&(P5.P5_0>=1)))||((Speed671.Speed_Right_Wheel_671>=1)&&(P5.P5_0>=1)))||((Speed672.Speed_Right_Wheel_672>=1)&&(P5.P5_0>=1)))||((Speed673.Speed_Right_Wheel_673>=1)&&(P5.P5_0>=1)))||((Speed674.Speed_Right_Wheel_674>=1)&&(P5.P5_0>=1)))||((Speed675.Speed_Right_Wheel_675>=1)&&(P5.P5_0>=1)))||((Speed676.Speed_Right_Wheel_676>=1)&&(P5.P5_0>=1)))||((Speed677.Speed_Right_Wheel_677>=1)&&(P5.P5_0>=1)))||((Speed678.Speed_Right_Wheel_678>=1)&&(P5.P5_0>=1)))||((Speed679.Speed_Right_Wheel_679>=1)&&(P5.P5_0>=1)))||((Speed680.Speed_Right_Wheel_680>=1)&&(P5.P5_0>=1)))||((Speed681.Speed_Right_Wheel_681>=1)&&(P5.P5_0>=1)))||((Speed682.Speed_Right_Wheel_682>=1)&&(P5.P5_0>=1)))||((Speed683.Speed_Right_Wheel_683>=1)&&(P5.P5_0>=1)))||((Speed684.Speed_Right_Wheel_684>=1)&&(P5.P5_0>=1)))||((Speed685.Speed_Right_Wheel_685>=1)&&(P5.P5_0>=1)))||((Speed686.Speed_Right_Wheel_686>=1)&&(P5.P5_0>=1)))||((Speed687.Speed_Right_Wheel_687>=1)&&(P5.P5_0>=1)))||((Speed688.Speed_Right_Wheel_688>=1)&&(P5.P5_0>=1)))||((Speed689.Speed_Right_Wheel_689>=1)&&(P5.P5_0>=1)))||((Speed690.Speed_Right_Wheel_690>=1)&&(P5.P5_0>=1)))||((Speed691.Speed_Right_Wheel_691>=1)&&(P5.P5_0>=1)))||((Speed692.Speed_Right_Wheel_692>=1)&&(P5.P5_0>=1)))||((Speed693.Speed_Right_Wheel_693>=1)&&(P5.P5_0>=1)))||((Speed694.Speed_Right_Wheel_694>=1)&&(P5.P5_0>=1)))||((Speed695.Speed_Right_Wheel_695>=1)&&(P5.P5_0>=1)))||((Speed696.Speed_Right_Wheel_696>=1)&&(P5.P5_0>=1)))||((Speed697.Speed_Right_Wheel_697>=1)&&(P5.P5_0>=1)))||((Speed698.Speed_Right_Wheel_698>=1)&&(P5.P5_0>=1)))||((Speed699.Speed_Right_Wheel_699>=1)&&(P5.P5_0>=1)))||((Speed700.Speed_Right_Wheel_700>=1)&&(P5.P5_0>=1)))||((Speed701.Speed_Right_Wheel_701>=1)&&(P5.P5_0>=1)))||((Speed702.Speed_Right_Wheel_702>=1)&&(P5.P5_0>=1)))||((Speed703.Speed_Right_Wheel_703>=1)&&(P5.P5_0>=1)))||((Speed704.Speed_Right_Wheel_704>=1)&&(P5.P5_0>=1)))||((Speed705.Speed_Right_Wheel_705>=1)&&(P5.P5_0>=1)))||((Speed706.Speed_Right_Wheel_706>=1)&&(P5.P5_0>=1)))||((Speed707.Speed_Right_Wheel_707>=1)&&(P5.P5_0>=1)))||((Speed708.Speed_Right_Wheel_708>=1)&&(P5.P5_0>=1)))||((Speed709.Speed_Right_Wheel_709>=1)&&(P5.P5_0>=1)))||((Speed710.Speed_Right_Wheel_710>=1)&&(P5.P5_0>=1)))||((Speed711.Speed_Right_Wheel_711>=1)&&(P5.P5_0>=1)))||((Speed712.Speed_Right_Wheel_712>=1)&&(P5.P5_0>=1)))||((Speed713.Speed_Right_Wheel_713>=1)&&(P5.P5_0>=1)))||((Speed714.Speed_Right_Wheel_714>=1)&&(P5.P5_0>=1)))||((Speed715.Speed_Right_Wheel_715>=1)&&(P5.P5_0>=1)))||((Speed716.Speed_Right_Wheel_716>=1)&&(P5.P5_0>=1)))||((Speed717.Speed_Right_Wheel_717>=1)&&(P5.P5_0>=1)))||((Speed718.Speed_Right_Wheel_718>=1)&&(P5.P5_0>=1)))||((Speed719.Speed_Right_Wheel_719>=1)&&(P5.P5_0>=1)))||((Speed720.Speed_Right_Wheel_720>=1)&&(P5.P5_0>=1)))||((Speed721.Speed_Right_Wheel_721>=1)&&(P5.P5_0>=1)))||((Speed722.Speed_Right_Wheel_722>=1)&&(P5.P5_0>=1)))||((Speed723.Speed_Right_Wheel_723>=1)&&(P5.P5_0>=1)))||((Speed724.Speed_Right_Wheel_724>=1)&&(P5.P5_0>=1)))||((Speed725.Speed_Right_Wheel_725>=1)&&(P5.P5_0>=1)))||((Speed726.Speed_Right_Wheel_726>=1)&&(P5.P5_0>=1)))||((Speed727.Speed_Right_Wheel_727>=1)&&(P5.P5_0>=1)))||((Speed728.Speed_Right_Wheel_728>=1)&&(P5.P5_0>=1)))||((Speed729.Speed_Right_Wheel_729>=1)&&(P5.P5_0>=1)))||((Speed730.Speed_Right_Wheel_730>=1)&&(P5.P5_0>=1)))||((Speed731.Speed_Right_Wheel_731>=1)&&(P5.P5_0>=1)))||((Speed732.Speed_Right_Wheel_732>=1)&&(P5.P5_0>=1)))||((Speed733.Speed_Right_Wheel_733>=1)&&(P5.P5_0>=1)))||((Speed734.Speed_Right_Wheel_734>=1)&&(P5.P5_0>=1)))||((Speed735.Speed_Right_Wheel_735>=1)&&(P5.P5_0>=1)))||((Speed736.Speed_Right_Wheel_736>=1)&&(P5.P5_0>=1)))||((Speed737.Speed_Right_Wheel_737>=1)&&(P5.P5_0>=1)))||((Speed738.Speed_Right_Wheel_738>=1)&&(P5.P5_0>=1)))||((Speed739.Speed_Right_Wheel_739>=1)&&(P5.P5_0>=1)))||((Speed740.Speed_Right_Wheel_740>=1)&&(P5.P5_0>=1)))||((Speed741.Speed_Right_Wheel_741>=1)&&(P5.P5_0>=1)))||((Speed742.Speed_Right_Wheel_742>=1)&&(P5.P5_0>=1)))||((Speed743.Speed_Right_Wheel_743>=1)&&(P5.P5_0>=1)))||((Speed744.Speed_Right_Wheel_744>=1)&&(P5.P5_0>=1)))||((Speed745.Speed_Right_Wheel_745>=1)&&(P5.P5_0>=1)))||((Speed746.Speed_Right_Wheel_746>=1)&&(P5.P5_0>=1)))||((Speed747.Speed_Right_Wheel_747>=1)&&(P5.P5_0>=1)))||((Speed748.Speed_Right_Wheel_748>=1)&&(P5.P5_0>=1)))||((Speed749.Speed_Right_Wheel_749>=1)&&(P5.P5_0>=1)))||((Speed750.Speed_Right_Wheel_750>=1)&&(P5.P5_0>=1)))||((Speed751.Speed_Right_Wheel_751>=1)&&(P5.P5_0>=1)))||((Speed752.Speed_Right_Wheel_752>=1)&&(P5.P5_0>=1)))||((Speed753.Speed_Right_Wheel_753>=1)&&(P5.P5_0>=1)))||((Speed754.Speed_Right_Wheel_754>=1)&&(P5.P5_0>=1)))||((Speed755.Speed_Right_Wheel_755>=1)&&(P5.P5_0>=1)))||((Speed756.Speed_Right_Wheel_756>=1)&&(P5.P5_0>=1)))||((Speed757.Speed_Right_Wheel_757>=1)&&(P5.P5_0>=1)))||((Speed758.Speed_Right_Wheel_758>=1)&&(P5.P5_0>=1)))||((Speed759.Speed_Right_Wheel_759>=1)&&(P5.P5_0>=1)))||((Speed760.Speed_Right_Wheel_760>=1)&&(P5.P5_0>=1)))||((Speed761.Speed_Right_Wheel_761>=1)&&(P5.P5_0>=1)))||((Speed762.Speed_Right_Wheel_762>=1)&&(P5.P5_0>=1)))||((Speed763.Speed_Right_Wheel_763>=1)&&(P5.P5_0>=1)))||((Speed764.Speed_Right_Wheel_764>=1)&&(P5.P5_0>=1)))||((Speed765.Speed_Right_Wheel_765>=1)&&(P5.P5_0>=1)))||((Speed766.Speed_Right_Wheel_766>=1)&&(P5.P5_0>=1)))||((Speed767.Speed_Right_Wheel_767>=1)&&(P5.P5_0>=1)))||((Speed768.Speed_Right_Wheel_768>=1)&&(P5.P5_0>=1)))||((Speed769.Speed_Right_Wheel_769>=1)&&(P5.P5_0>=1)))||((Speed770.Speed_Right_Wheel_770>=1)&&(P5.P5_0>=1)))||((Speed771.Speed_Right_Wheel_771>=1)&&(P5.P5_0>=1)))||((Speed772.Speed_Right_Wheel_772>=1)&&(P5.P5_0>=1)))||((Speed773.Speed_Right_Wheel_773>=1)&&(P5.P5_0>=1)))||((Speed774.Speed_Right_Wheel_774>=1)&&(P5.P5_0>=1)))||((Speed775.Speed_Right_Wheel_775>=1)&&(P5.P5_0>=1)))||((Speed776.Speed_Right_Wheel_776>=1)&&(P5.P5_0>=1)))||((Speed777.Speed_Right_Wheel_777>=1)&&(P5.P5_0>=1)))||((Speed778.Speed_Right_Wheel_778>=1)&&(P5.P5_0>=1)))||((Speed779.Speed_Right_Wheel_779>=1)&&(P5.P5_0>=1)))||((Speed780.Speed_Right_Wheel_780>=1)&&(P5.P5_0>=1)))||((Speed781.Speed_Right_Wheel_781>=1)&&(P5.P5_0>=1)))||((Speed782.Speed_Right_Wheel_782>=1)&&(P5.P5_0>=1)))||((Speed783.Speed_Right_Wheel_783>=1)&&(P5.P5_0>=1)))||((Speed784.Speed_Right_Wheel_784>=1)&&(P5.P5_0>=1)))||((Speed785.Speed_Right_Wheel_785>=1)&&(P5.P5_0>=1)))||((Speed786.Speed_Right_Wheel_786>=1)&&(P5.P5_0>=1)))||((Speed787.Speed_Right_Wheel_787>=1)&&(P5.P5_0>=1)))||((Speed788.Speed_Right_Wheel_788>=1)&&(P5.P5_0>=1)))||((Speed789.Speed_Right_Wheel_789>=1)&&(P5.P5_0>=1)))||((Speed790.Speed_Right_Wheel_790>=1)&&(P5.P5_0>=1)))||((Speed791.Speed_Right_Wheel_791>=1)&&(P5.P5_0>=1)))||((Speed792.Speed_Right_Wheel_792>=1)&&(P5.P5_0>=1)))||((Speed793.Speed_Right_Wheel_793>=1)&&(P5.P5_0>=1)))||((Speed794.Speed_Right_Wheel_794>=1)&&(P5.P5_0>=1)))||((Speed795.Speed_Right_Wheel_795>=1)&&(P5.P5_0>=1)))||((Speed796.Speed_Right_Wheel_796>=1)&&(P5.P5_0>=1)))||((Speed797.Speed_Right_Wheel_797>=1)&&(P5.P5_0>=1)))||((Speed798.Speed_Right_Wheel_798>=1)&&(P5.P5_0>=1)))||((Speed799.Speed_Right_Wheel_799>=1)&&(P5.P5_0>=1)))||((Speed800.Speed_Right_Wheel_800>=1)&&(P5.P5_0>=1)))||((Speed801.Speed_Right_Wheel_801>=1)&&(P5.P5_0>=1)))||((Speed802.Speed_Right_Wheel_802>=1)&&(P5.P5_0>=1)))||((Speed803.Speed_Right_Wheel_803>=1)&&(P5.P5_0>=1)))||((Speed804.Speed_Right_Wheel_804>=1)&&(P5.P5_0>=1)))||((Speed805.Speed_Right_Wheel_805>=1)&&(P5.P5_0>=1)))||((Speed806.Speed_Right_Wheel_806>=1)&&(P5.P5_0>=1)))||((Speed807.Speed_Right_Wheel_807>=1)&&(P5.P5_0>=1)))||((Speed808.Speed_Right_Wheel_808>=1)&&(P5.P5_0>=1)))||((Speed809.Speed_Right_Wheel_809>=1)&&(P5.P5_0>=1)))||((Speed810.Speed_Right_Wheel_810>=1)&&(P5.P5_0>=1)))||((Speed811.Speed_Right_Wheel_811>=1)&&(P5.P5_0>=1)))||((Speed812.Speed_Right_Wheel_812>=1)&&(P5.P5_0>=1)))||((Speed813.Speed_Right_Wheel_813>=1)&&(P5.P5_0>=1)))||((Speed814.Speed_Right_Wheel_814>=1)&&(P5.P5_0>=1)))||((Speed815.Speed_Right_Wheel_815>=1)&&(P5.P5_0>=1)))||((Speed816.Speed_Right_Wheel_816>=1)&&(P5.P5_0>=1)))||((Speed817.Speed_Right_Wheel_817>=1)&&(P5.P5_0>=1)))||((Speed818.Speed_Right_Wheel_818>=1)&&(P5.P5_0>=1)))||((Speed819.Speed_Right_Wheel_819>=1)&&(P5.P5_0>=1)))||((Speed820.Speed_Right_Wheel_820>=1)&&(P5.P5_0>=1)))||((Speed821.Speed_Right_Wheel_821>=1)&&(P5.P5_0>=1)))||((Speed822.Speed_Right_Wheel_822>=1)&&(P5.P5_0>=1)))||((Speed823.Speed_Right_Wheel_823>=1)&&(P5.P5_0>=1)))||((Speed824.Speed_Right_Wheel_824>=1)&&(P5.P5_0>=1)))||((Speed825.Speed_Right_Wheel_825>=1)&&(P5.P5_0>=1)))||((Speed826.Speed_Right_Wheel_826>=1)&&(P5.P5_0>=1)))||((Speed827.Speed_Right_Wheel_827>=1)&&(P5.P5_0>=1)))||((Speed828.Speed_Right_Wheel_828>=1)&&(P5.P5_0>=1)))||((Speed829.Speed_Right_Wheel_829>=1)&&(P5.P5_0>=1)))||((Speed830.Speed_Right_Wheel_830>=1)&&(P5.P5_0>=1)))||((Speed831.Speed_Right_Wheel_831>=1)&&(P5.P5_0>=1)))||((Speed832.Speed_Right_Wheel_832>=1)&&(P5.P5_0>=1)))||((Speed833.Speed_Right_Wheel_833>=1)&&(P5.P5_0>=1)))||((Speed834.Speed_Right_Wheel_834>=1)&&(P5.P5_0>=1)))||((Speed835.Speed_Right_Wheel_835>=1)&&(P5.P5_0>=1)))||((Speed836.Speed_Right_Wheel_836>=1)&&(P5.P5_0>=1)))||((Speed837.Speed_Right_Wheel_837>=1)&&(P5.P5_0>=1)))||((Speed838.Speed_Right_Wheel_838>=1)&&(P5.P5_0>=1)))||((Speed839.Speed_Right_Wheel_839>=1)&&(P5.P5_0>=1)))||((Speed840.Speed_Right_Wheel_840>=1)&&(P5.P5_0>=1)))||((Speed841.Speed_Right_Wheel_841>=1)&&(P5.P5_0>=1)))||((Speed842.Speed_Right_Wheel_842>=1)&&(P5.P5_0>=1)))||((Speed843.Speed_Right_Wheel_843>=1)&&(P5.P5_0>=1)))||((Speed844.Speed_Right_Wheel_844>=1)&&(P5.P5_0>=1)))||((Speed845.Speed_Right_Wheel_845>=1)&&(P5.P5_0>=1)))||((Speed846.Speed_Right_Wheel_846>=1)&&(P5.P5_0>=1)))||((Speed847.Speed_Right_Wheel_847>=1)&&(P5.P5_0>=1)))||((Speed848.Speed_Right_Wheel_848>=1)&&(P5.P5_0>=1)))||((Speed849.Speed_Right_Wheel_849>=1)&&(P5.P5_0>=1)))||((Speed850.Speed_Right_Wheel_850>=1)&&(P5.P5_0>=1)))||((Speed851.Speed_Right_Wheel_851>=1)&&(P5.P5_0>=1)))||((Speed852.Speed_Right_Wheel_852>=1)&&(P5.P5_0>=1)))||((Speed853.Speed_Right_Wheel_853>=1)&&(P5.P5_0>=1)))||((Speed854.Speed_Right_Wheel_854>=1)&&(P5.P5_0>=1)))||((Speed855.Speed_Right_Wheel_855>=1)&&(P5.P5_0>=1)))||((Speed856.Speed_Right_Wheel_856>=1)&&(P5.P5_0>=1)))||((Speed857.Speed_Right_Wheel_857>=1)&&(P5.P5_0>=1)))||((Speed858.Speed_Right_Wheel_858>=1)&&(P5.P5_0>=1)))||((Speed859.Speed_Right_Wheel_859>=1)&&(P5.P5_0>=1)))||((Speed860.Speed_Right_Wheel_860>=1)&&(P5.P5_0>=1)))||((Speed861.Speed_Right_Wheel_861>=1)&&(P5.P5_0>=1)))||((Speed862.Speed_Right_Wheel_862>=1)&&(P5.P5_0>=1)))||((Speed863.Speed_Right_Wheel_863>=1)&&(P5.P5_0>=1)))||((Speed864.Speed_Right_Wheel_864>=1)&&(P5.P5_0>=1)))||((Speed865.Speed_Right_Wheel_865>=1)&&(P5.P5_0>=1)))||((Speed866.Speed_Right_Wheel_866>=1)&&(P5.P5_0>=1)))||((Speed867.Speed_Right_Wheel_867>=1)&&(P5.P5_0>=1)))||((Speed868.Speed_Right_Wheel_868>=1)&&(P5.P5_0>=1)))||((Speed869.Speed_Right_Wheel_869>=1)&&(P5.P5_0>=1)))||((Speed870.Speed_Right_Wheel_870>=1)&&(P5.P5_0>=1)))||((Speed871.Speed_Right_Wheel_871>=1)&&(P5.P5_0>=1)))||((Speed872.Speed_Right_Wheel_872>=1)&&(P5.P5_0>=1)))||((Speed873.Speed_Right_Wheel_873>=1)&&(P5.P5_0>=1)))||((Speed874.Speed_Right_Wheel_874>=1)&&(P5.P5_0>=1)))||((Speed875.Speed_Right_Wheel_875>=1)&&(P5.P5_0>=1)))||((Speed876.Speed_Right_Wheel_876>=1)&&(P5.P5_0>=1)))||((Speed877.Speed_Right_Wheel_877>=1)&&(P5.P5_0>=1)))||((Speed878.Speed_Right_Wheel_878>=1)&&(P5.P5_0>=1)))||((Speed879.Speed_Right_Wheel_879>=1)&&(P5.P5_0>=1)))||((Speed880.Speed_Right_Wheel_880>=1)&&(P5.P5_0>=1)))||((Speed881.Speed_Right_Wheel_881>=1)&&(P5.P5_0>=1)))||((Speed882.Speed_Right_Wheel_882>=1)&&(P5.P5_0>=1)))||((Speed883.Speed_Right_Wheel_883>=1)&&(P5.P5_0>=1)))||((Speed884.Speed_Right_Wheel_884>=1)&&(P5.P5_0>=1)))||((Speed885.Speed_Right_Wheel_885>=1)&&(P5.P5_0>=1)))||((Speed886.Speed_Right_Wheel_886>=1)&&(P5.P5_0>=1)))||((Speed887.Speed_Right_Wheel_887>=1)&&(P5.P5_0>=1)))||((Speed888.Speed_Right_Wheel_888>=1)&&(P5.P5_0>=1)))||((Speed889.Speed_Right_Wheel_889>=1)&&(P5.P5_0>=1)))||((Speed890.Speed_Right_Wheel_890>=1)&&(P5.P5_0>=1)))||((Speed891.Speed_Right_Wheel_891>=1)&&(P5.P5_0>=1)))||((Speed892.Speed_Right_Wheel_892>=1)&&(P5.P5_0>=1)))||((Speed893.Speed_Right_Wheel_893>=1)&&(P5.P5_0>=1)))||((Speed894.Speed_Right_Wheel_894>=1)&&(P5.P5_0>=1)))||((Speed895.Speed_
Right_Wheel_895>=1)&&(P5.P5_0>=1)))||((Speed896.Speed_Right_Wheel_896>=1)&&(P5.P5_0>=1)))||((Speed897.Speed_Right_Wheel_897>=1)&&(P5.P5_0>=1)))||((Speed898.Speed_Right_Wheel_898>=1)&&(P5.P5_0>=1)))||((Speed899.Speed_Right_Wheel_899>=1)&&(P5.P5_0>=1)))||((Speed900.Speed_Right_Wheel_900>=1)&&(P5.P5_0>=1)))||((Speed901.Speed_Right_Wheel_901>=1)&&(P5.P5_0>=1)))||((Speed902.Speed_Right_Wheel_902>=1)&&(P5.P5_0>=1)))||((Speed903.Speed_Right_Wheel_903>=1)&&(P5.P5_0>=1)))||((Speed904.Speed_Right_Wheel_904>=1)&&(P5.P5_0>=1)))||((Speed905.Speed_Right_Wheel_905>=1)&&(P5.P5_0>=1)))||((Speed906.Speed_Right_Wheel_906>=1)&&(P5.P5_0>=1)))||((Speed907.Speed_Right_Wheel_907>=1)&&(P5.P5_0>=1)))||((Speed908.Speed_Right_Wheel_908>=1)&&(P5.P5_0>=1)))||((Speed909.Speed_Right_Wheel_909>=1)&&(P5.P5_0>=1)))||((Speed910.Speed_Right_Wheel_910>=1)&&(P5.P5_0>=1)))||((Speed911.Speed_Right_Wheel_911>=1)&&(P5.P5_0>=1)))||((Speed912.Speed_Right_Wheel_912>=1)&&(P5.P5_0>=1)))||((Speed913.Speed_Right_Wheel_913>=1)&&(P5.P5_0>=1)))||((Speed914.Speed_Right_Wheel_914>=1)&&(P5.P5_0>=1)))||((Speed915.Speed_Right_Wheel_915>=1)&&(P5.P5_0>=1)))||((Speed916.Speed_Right_Wheel_916>=1)&&(P5.P5_0>=1)))||((Speed917.Speed_Right_Wheel_917>=1)&&(P5.P5_0>=1)))||((Speed918.Speed_Right_Wheel_918>=1)&&(P5.P5_0>=1)))||((Speed919.Speed_Right_Wheel_919>=1)&&(P5.P5_0>=1)))||((Speed920.Speed_Right_Wheel_920>=1)&&(P5.P5_0>=1)))||((Speed921.Speed_Right_Wheel_921>=1)&&(P5.P5_0>=1)))||((Speed922.Speed_Right_Wheel_922>=1)&&(P5.P5_0>=1)))||((Speed923.Speed_Right_Wheel_923>=1)&&(P5.P5_0>=1)))||((Speed924.Speed_Right_Wheel_924>=1)&&(P5.P5_0>=1)))||((Speed925.Speed_Right_Wheel_925>=1)&&(P5.P5_0>=1)))||((Speed926.Speed_Right_Wheel_926>=1)&&(P5.P5_0>=1)))||((Speed927.Speed_Right_Wheel_927>=1)&&(P5.P5_0>=1)))||((Speed928.Speed_Right_Wheel_928>=1)&&(P5.P5_0>=1)))||((Speed929.Speed_Right_Wheel_929>=1)&&(P5.P5_0>=1)))||((Speed930.Speed_Right_Wheel_930>=1)&&(P5.P5_0>=1)))||((Speed931.Speed_Right_Wheel_931>=1)&&(P5.P5_0>=1)))||((Speed932.Speed_Right_Wheel_932>=1)&&(P5.P5_0>=1)))||((Speed933.Speed_Right_Wheel_933>=1)&&(P5.P5_0>=1)))||((Speed934.Speed_Right_Wheel_934>=1)&&(P5.P5_0>=1)))||((Speed935.Speed_Right_Wheel_935>=1)&&(P5.P5_0>=1)))||((Speed936.Speed_Right_Wheel_936>=1)&&(P5.P5_0>=1)))||((Speed937.Speed_Right_Wheel_937>=1)&&(P5.P5_0>=1)))||((Speed938.Speed_Right_Wheel_938>=1)&&(P5.P5_0>=1)))||((Speed939.Speed_Right_Wheel_939>=1)&&(P5.P5_0>=1)))||((Speed940.Speed_Right_Wheel_940>=1)&&(P5.P5_0>=1)))||((Speed941.Speed_Right_Wheel_941>=1)&&(P5.P5_0>=1)))||((Speed942.Speed_Right_Wheel_942>=1)&&(P5.P5_0>=1)))||((Speed943.Speed_Right_Wheel_943>=1)&&(P5.P5_0>=1)))||((Speed944.Speed_Right_Wheel_944>=1)&&(P5.P5_0>=1)))||((Speed945.Speed_Right_Wheel_945>=1)&&(P5.P5_0>=1)))||((Speed946.Speed_Right_Wheel_946>=1)&&(P5.P5_0>=1)))||((Speed947.Speed_Right_Wheel_947>=1)&&(P5.P5_0>=1)))||((Speed948.Speed_Right_Wheel_948>=1)&&(P5.P5_0>=1)))||((Speed949.Speed_Right_Wheel_949>=1)&&(P5.P5_0>=1)))||((Speed950.Speed_Right_Wheel_950>=1)&&(P5.P5_0>=1)))||((Speed951.Speed_Right_Wheel_951>=1)&&(P5.P5_0>=1)))||((Speed952.Speed_Right_Wheel_952>=1)&&(P5.P5_0>=1)))||((Speed953.Speed_Right_Wheel_953>=1)&&(P5.P5_0>=1)))||((Speed954.Speed_Right_Wheel_954>=1)&&(P5.P5_0>=1)))||((Speed955.Speed_Right_Wheel_955>=1)&&(P5.P5_0>=1)))||((Speed956.Speed_Right_Wheel_956>=1)&&(P5.P5_0>=1)))||((Speed957.Speed_Right_Wheel_957>=1)&&(P5.P5_0>=1)))||((Speed958.Speed_Right_Wheel_958>=1)&&(P5.P5_0>=1)))||((Speed959.Speed_Right_Wheel_959>=1)&&(P5.P5_0>=1)))||((Speed960.Speed_Right_Wheel_960>=1)&&(P5.P5_0>=1)))||((Speed961.Speed_Right_Wheel_961>=1)&&(P5.P5_0>=1)))||((Speed962.Speed_Right_Wheel_962>=1)&&(P5.P5_0>=1)))||((Speed963.Speed_Right_Wheel_963>=1)&&(P5.P5_0>=1)))||((Speed964.Speed_Right_Wheel_964>=1)&&(P5.P5_0>=1)))||((Speed965.Speed_Right_Wheel_965>=1)&&(P5.P5_0>=1)))||((Speed966.Speed_Right_Wheel_966>=1)&&(P5.P5_0>=1)))||((Speed967.Speed_Right_Wheel_967>=1)&&(P5.P5_0>=1)))||((Speed968.Speed_Right_Wheel_968>=1)&&(P5.P5_0>=1)))||((Speed969.Speed_Right_Wheel_969>=1)&&(P5.P5_0>=1)))||((Speed970.Speed_Right_Wheel_970>=1)&&(P5.P5_0>=1)))||((Speed971.Speed_Right_Wheel_971>=1)&&(P5.P5_0>=1)))||((Speed972.Speed_Right_Wheel_972>=1)&&(P5.P5_0>=1)))||((Speed973.Speed_Right_Wheel_973>=1)&&(P5.P5_0>=1)))||((Speed974.Speed_Right_Wheel_974>=1)&&(P5.P5_0>=1)))||((Speed975.Speed_Right_Wheel_975>=1)&&(P5.P5_0>=1)))||((Speed976.Speed_Right_Wheel_976>=1)&&(P5.P5_0>=1)))||((Speed977.Speed_Right_Wheel_977>=1)&&(P5.P5_0>=1)))||((Speed978.Speed_Right_Wheel_978>=1)&&(P5.P5_0>=1)))||((Speed979.Speed_Right_Wheel_979>=1)&&(P5.P5_0>=1)))||((Speed980.Speed_Right_Wheel_980>=1)&&(P5.P5_0>=1)))||((Speed981.Speed_Right_Wheel_981>=1)&&(P5.P5_0>=1)))||((Speed982.Speed_Right_Wheel_982>=1)&&(P5.P5_0>=1)))||((Speed983.Speed_Right_Wheel_983>=1)&&(P5.P5_0>=1)))||((Speed984.Speed_Right_Wheel_984>=1)&&(P5.P5_0>=1)))||((Speed985.Speed_Right_Wheel_985>=1)&&(P5.P5_0>=1)))||((Speed986.Speed_Right_Wheel_986>=1)&&(P5.P5_0>=1)))||((Speed987.Speed_Right_Wheel_987>=1)&&(P5.P5_0>=1)))||((Speed988.Speed_Right_Wheel_988>=1)&&(P5.P5_0>=1)))||((Speed989.Speed_Right_Wheel_989>=1)&&(P5.P5_0>=1)))||((Speed990.Speed_Right_Wheel_990>=1)&&(P5.P5_0>=1)))||((Speed991.Speed_Right_Wheel_991>=1)&&(P5.P5_0>=1)))||((Speed992.Speed_Right_Wheel_992>=1)&&(P5.P5_0>=1)))||((Speed993.Speed_Right_Wheel_993>=1)&&(P5.P5_0>=1)))||((Speed994.Speed_Right_Wheel_994>=1)&&(P5.P5_0>=1)))||((Speed995.Speed_Right_Wheel_995>=1)&&(P5.P5_0>=1)))||((Speed996.Speed_Right_Wheel_996>=1)&&(P5.P5_0>=1)))||((Speed997.Speed_Right_Wheel_997>=1)&&(P5.P5_0>=1)))||((Speed998.Speed_Right_Wheel_998>=1)&&(P5.P5_0>=1)))||((Speed999.Speed_Right_Wheel_999>=1)&&(P5.P5_0>=1)))||((Speed1999.Speed_Right_Wheel_1999>=1)&&(P5.P5_0>=1)))"
built 16020 ordering constraints for composite.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 16008 rows 8017 cols
invariant :Signal0:Plane_On_Ground_Signal_no_0 + Signal1:Plane_On_Ground_Signal_no_1 + -1'P6:P6_0 = 0
invariant :P5:P5_0 + P4:P4_0 + P3:P3_0 + P2:P2_0 + P6:P6_0 + P1:P1_0 = 1
invariant :stp1:stp1_0 + -1'P1:P1_0 + Weight0:Weight_Left_Wheel_0 + Weight1:Weight_Left_Wheel_1 = 0
Jun 07, 2018 5:52:28 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 3 place invariants in 210122 ms
Jun 07, 2018 5:52:51 AM fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver checkSat
WARNING: SMT solver unexpectedly returned 'unknown' answer, retrying.
Skipping mayMatrices nes/nds SMT solver raised an error :unknown
java.lang.RuntimeException: SMT solver raised an error :unknown
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:318)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:305)
at fr.lip6.move.gal.gal2smt.bmc.KInductionSolver.init(KInductionSolver.java:116)
at fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver.init(NecessaryEnablingsolver.java:71)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.printLabels(Gal2PinsTransformerNext.java:471)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.printDependencyMatrix(Gal2PinsTransformerNext.java:209)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.buildBodyFile(Gal2PinsTransformerNext.java:85)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.transform(Gal2PinsTransformerNext.java:827)
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:71)
at java.lang.Thread.run(Thread.java:748)
Jun 07, 2018 5:53:00 AM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 265545ms conformant to PINS in folder :/mcc-data
Running compilation step : CommandLine [args=[gcc, -c, -I/usr/bin/include, -I., -std=c99, -fPIC, -O3, model.c], workingDir=/mcc-data]
java.io.IOException: Cannot run program "gcc" (in directory "/mcc-data"): error=2, No such file or directory
at java.lang.ProcessBuilder.start(ProcessBuilder.java:1048)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:46)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:27)
at fr.lip6.move.gal.application.LTSminRunner.compilePINS(LTSminRunner.java:235)
at fr.lip6.move.gal.application.LTSminRunner.access$6(LTSminRunner.java:220)
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:75)
at java.lang.Thread.run(Thread.java:748)
Caused by: java.io.IOException: error=2, No such file or directory
at java.lang.UNIXProcess.forkAndExec(Native Method)
at java.lang.UNIXProcess.(UNIXProcess.java:247)
at java.lang.ProcessImpl.start(ProcessImpl.java:134)
at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029)
... 6 more
Reverse transition relation is NOT exact ! Due to transitions t5_1, t4_1, t3_1, t2_1, t1_1, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/4010/5/4015
Computing Next relation with stutter on 4.8004e+10 deadlock states
ITS-tools command line returned an error code 137

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AirplaneLD-COL-2000"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="mcc4mcc-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-COL-2000.tgz
mv AirplaneLD-COL-2000 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-full"
echo " Input is AirplaneLD-COL-2000, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r190-qhx2-152732141800018"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;