fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r188-smll-155225014300256
Last Updated
Apr 15, 2019

About the Execution of ITS-Tools.M for AirplaneLD-COL-2000

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15901.140 3040205.00 3071352.00 13443.00 FF?????????????? normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r188-smll-155225014300256.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-3817
Executing tool itstoolsm
Input is AirplaneLD-COL-2000, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-smll-155225014300256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 4.1K Feb 9 06:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 9 06:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 02:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 02:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 106 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 344 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 22:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K Feb 4 22:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.7K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 1 23:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Feb 1 23:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jan 29 10:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Jan 29 10:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:17 UpperBounds.xml

-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 328K Mar 10 17:31 model.pnml

--------------------
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-CTLCardinality-00
FORMULA_NAME AirplaneLD-COL-2000-CTLCardinality-01
FORMULA_NAME AirplaneLD-COL-2000-CTLCardinality-02
FORMULA_NAME AirplaneLD-COL-2000-CTLCardinality-03
FORMULA_NAME AirplaneLD-COL-2000-CTLCardinality-04
FORMULA_NAME AirplaneLD-COL-2000-CTLCardinality-05
FORMULA_NAME AirplaneLD-COL-2000-CTLCardinality-06
FORMULA_NAME AirplaneLD-COL-2000-CTLCardinality-07
FORMULA_NAME AirplaneLD-COL-2000-CTLCardinality-08
FORMULA_NAME AirplaneLD-COL-2000-CTLCardinality-09
FORMULA_NAME AirplaneLD-COL-2000-CTLCardinality-10
FORMULA_NAME AirplaneLD-COL-2000-CTLCardinality-11
FORMULA_NAME AirplaneLD-COL-2000-CTLCardinality-12
FORMULA_NAME AirplaneLD-COL-2000-CTLCardinality-13
FORMULA_NAME AirplaneLD-COL-2000-CTLCardinality-14
FORMULA_NAME AirplaneLD-COL-2000-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1553805411624

20:36:55.200 [main] ERROR PNML validation - The rng grammar file can't be accessed : www.pnml.org
20:36:55.205 [main] ERROR import - Grammar file errors have been raised, the validation can't be done, process will continue without Grammar validation
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/CTLCardinality.pnml.gal, -t, CGAL, -ctl, /home/mcc/execution/CTLCardinality.ctl, --load-order, /home/mcc/execution/model.ord], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/CTLCardinality.pnml.gal -t CGAL -ctl /home/mcc/execution/CTLCardinality.ctl --load-order /home/mcc/execution/model.ord
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.72348e+11,839.744,5879844,2,52062,5,4.21902e+07,6,0,48064,118114,0


Converting to forward existential form...Done !
original formula: E(EF((P4_0>=3)) U FALSE)
=> equivalent forward existential formula: [(FwdU(Init,E(TRUE U (P4_0>=3))) * FALSE)] != FALSE
(forward)formula 0,0,839.755,5879844,1,0,5,4.21902e+07,7,0,48064,118114,0
FORMULA AirplaneLD-COL-2000-CTLCardinality-00 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !

***************************************

original formula: EX(!(((!((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Speed_Right_Wheel_0+Speed_Right_Wheel_1)+Speed_Right_Wheel_2)+Speed_Right_Wheel_3)+Speed_Right_Wheel_4)+Speed_Right_Wheel_5)+Speed_Right_Wheel_6)+Speed_Right_Wheel_7)+Speed_Right_Wheel_8)+Speed_Right_Wheel_9)+Speed_Right_Wheel_10)+Speed_Right_Wheel_11)+Speed_Right_Wheel_12)+Speed_Right_Wheel_13)+Speed_Right_Wheel_14)+Speed_Right_Wheel_15)+Speed_Right_Wheel_16)+Speed_Right_Wheel_17)+Speed_Right_Wheel_18)+Speed_Right_Wheel_19)+Speed_Right_Wheel_20)+Speed_Right_Wheel_21)+Speed_Right_Wheel_22)+Speed_Right_Wheel_23)+Speed_Right_Wheel_24)+Speed_Right_Wheel_25)+Speed_Right_Wheel_26)+Speed_Right_Wheel_27)+Speed_Right_Wheel_28)+Speed_Right_Wheel_29)+Speed_Right_Wheel_30)+Speed_Right_Wheel_31)+Speed_Right_Wheel_32)+Speed_Right_Wheel_33)+Speed_Right_Wheel_34)+Speed_Right_Wheel_35)+Speed_Right_Wheel_36)+Speed_Right_Wheel_37)+Speed_Right_Wheel_38)+Speed_Right_Wheel_39)+Speed_Right_Wheel_40)+Speed_Right_Wheel_41)+Speed_Right_Wheel_42)+Speed_Right_Wheel_43)+Speed_Right_Wheel_44)+Speed_Right_Wheel_45)+Speed_Right_Wheel_46)+Speed_Right_Wheel_47)+Speed_Right_Wheel_48)+Speed_Right_Wheel_49)+Speed_Right_Wheel_50)+Speed_Right_Wheel_51)+Speed_Right_Wheel_52)+Speed_Right_Wheel_53)+Speed_Right_Wheel_54)+Speed_Right_Wheel_55)+Speed_Right_Wheel_56)+Speed_Right_Wheel_57)+Speed_Right_Wheel_58)+Speed_Right_Wheel_59)+Speed_Right_Wheel_60)+Speed_Right_Wheel_61)+Speed_Right_Wheel_62)+Speed_Right_Wheel_63)+Speed_Right_Wheel_64)+Speed_Right_Wheel_65)+Speed_Right_Wheel_66)+Speed_Right_Wheel_67)+Speed_Right_Wheel_68)+Speed_Right_Wheel_69)+Speed_Right_Wheel_70)+Speed_Right_Wheel_71)+Speed_Right_Wheel_72)+Speed_Right_Wheel_73)+Speed_Right_Wheel_74)+Speed_Right_Wheel_75)+Speed_Right_Wheel_76)+Speed_Right_Wheel_77)+Speed_Right_Wheel_78)+Speed_Right_Wheel_79)+Speed_Right_Wheel_80)+Speed_Right_Wheel_81)+Speed_Right_Wheel_82)+Speed_Right_Wheel_83)+Speed_Right_Wheel_84)+Speed_Right_Wheel_85)+Speed_Right_Wheel_86)+Speed_Right_Wheel_87)+Speed_Right_Wheel_88)+Speed_Right_Wheel_89)+Speed_Right_Wheel_90)+Speed_Right_Wheel_91)+Speed_Right_Wheel_92)+Speed_Right_Wheel_93)+Speed_Right_Wheel_94)+Speed_Right_Wheel_95)+Speed_Right_Wheel_96)+Speed_Right_Wheel_97)+Speed_Right_Wheel_98)+Speed_Right_Wheel_99)+Speed_Right_Wheel_100)+Speed_Right_Wheel_101)+Speed_Right_Wheel_102)+Speed_Right_Wheel_103)+Speed_Right_Wheel_104)+Speed_Right_Wheel_105)+Speed_Right_Wheel_106)+Speed_Right_Wheel_107)+Speed_Right_Wheel_108)+Speed_Right_Wheel_109)+Speed_Right_Wheel_110)+Speed_Right_Wheel_111)+Speed_Right_Wheel_112)+Speed_Right_Wheel_113)+Speed_Right_Wheel_114)+Speed_Right_Wheel_115)+Speed_Right_Wheel_116)+Speed_Right_Wheel_117)+Speed_Right_Wheel_118)+Speed_Right_Wheel_119)+Speed_Right_Wheel_120)+Speed_Right_Wheel_121)+Speed_Right_Wheel_122)+Speed_Right_Wheel_123)+Speed_Right_Wheel_124)+Speed_Right_Wheel_125)+Speed_Right_Wheel_126)+Speed_Right_Wheel_127)+Speed_Right_Wheel_128)+Speed_Right_Wheel_129)+Speed_Right_Wheel_130)+Speed_Right_Wheel_131)+Speed_Right_Wheel_132)+Speed_Right_Wheel_133)+Speed_Right_Wheel_134)+Speed_Right_Wheel_135)+Speed_Right_Wheel_136)+Speed_Right_Wheel_137)+Speed_Right_Wheel_138)+Speed_Right_Wheel_139)+Speed_Right_Wheel_140)+Speed_Right_Wheel_141)+Speed_Right_Wheel_142)+Speed_Right_Wheel_143)+Speed_Right_Wheel_144)+Speed_Right_Wheel_145)+Speed_Right_Wheel_146)+Speed_Right_Wheel_147)+Speed_Right_Wheel_148)+Speed_Right_Wheel_149)+Speed_Right_Wheel_150)+Speed_Right_Wheel_151)+Speed_Right_Wheel_152)+Speed_Right_Wheel_153)+Speed_Right_Wheel_154)+Speed_Right_Wheel_155)+Speed_Right_Wheel_156)+Speed_Right_Wheel_157)+Speed_Right_Wheel_158)+Speed_Right_Wheel_159)+Speed_Right_Wheel_160)+Speed_Right_Wheel_161)+Speed_Right_Wheel_162)+Speed_Right_Wheel_163)+Speed_Right_Wheel_164)+Speed_Right_Wheel_165)+Speed_Right_Wheel_166)+Speed_Right_Wheel_167)+Speed_Right_Wheel_168)+Speed_Right_Wheel_169)+Speed_Right_Wheel_170)+Speed_Right_Wheel_171)+Speed_Right_Wheel_172)+Speed_Right_Wheel_173)+Speed_Right_Wheel_174)+Speed_Right_Wheel_175)+Speed_Right_Wheel_176)+Speed_Right_Wheel_177)+Speed_Right_Wheel_178)+Speed_Right_Wheel_179)+Speed_Right_Wheel_180)+Speed_Right_Wheel_181)+Speed_Right_Wheel_182)+Speed_Right_Wheel_183)+Speed_Right_Wheel_184)+Speed_Right_Wheel_185)+Speed_Right_Wheel_186)+Speed_Right_Wheel_187)+Speed_Right_Wheel_188)+Speed_Right_Wheel_189)+Speed_Right_Wheel_190)+Speed_Right_Wheel_191)+Speed_Right_Wheel_192)+Speed_Right_Wheel_193)+Speed_Right_Wheel_194)+Speed_Right_Wheel_195)+Speed_Right_Wheel_196)+Speed_Right_Wheel_197)+Speed_Right_Wheel_198)+Speed_Right_Wheel_199)+Speed_Right_Wheel_200)+Speed_Right_Wheel_201)+Speed_Right_Wheel_202)+Speed_Right_Wheel_203)+Speed_Right_Wheel_204)+Speed_Right_Wheel_205)+Speed_Right_Wheel_206)+Speed_Right_Wheel_207)+Speed_Right_Wheel_208)+Speed_Right_Wheel_209)+Speed_Right_Wheel_210)+Speed_Right_Wheel_211)+Speed_Right_Wheel_212)+Speed_Right_Wheel_213)+Speed_Right_Wheel_214)+Speed_Right_Wheel_215)+Speed_Right_Wheel_216)+Speed_Right_Wheel_217)+Speed_Right_Wheel_218)+Speed_Right_Wheel_219)+Speed_Right_Wheel_220)+Speed_Right_Wheel_221)+Speed_Right_Wheel_222)+Speed_Right_Wheel_223)+Speed_Right_Wheel_224)+Speed_Right_Wheel_225)+Speed_Right_Wheel_226)+Speed_Right_Wheel_227)+Speed_Right_Wheel_228)+Speed_Right_Wheel_229)+Speed_Right_Wheel_230)+Speed_Right_Wheel_231)+Speed_Right_Wheel_232)+Speed_Right_Wheel_233)+Speed_Right_Wheel_234)+Speed_Right_Wheel_235)+Speed_Right_Wheel_236)+Speed_Right_Wheel_237)+Speed_Right_Wheel_238)+Speed_Right_Wheel_239)+Speed_Right_Wheel_240)+Speed_Right_Wheel_241)+Speed_Right_Wheel_242)+Speed_Right_Wheel_243)+Speed_Right_Wheel_244)+Speed_Right_Wheel_245)+Speed_Right_Wheel_246)+Speed_Right_Wheel_247)+Speed_Right_Wheel_248)+Speed_Right_Wheel_249)+Speed_Right_Wheel_250)+Speed_Right_Wheel_251)+Speed_Right_Wheel_252)+Speed_Right_Wheel_253)+Speed_Right_Wheel_254)+Speed_Right_Wheel_255)+Speed_Right_Wheel_256)+Speed_Right_Wheel_257)+Speed_Right_Wheel_258)+Speed_Right_Wheel_259)+Speed_Right_Wheel_260)+Speed_Right_Wheel_261)+Speed_Right_Wheel_262)+Speed_Right_Wheel_263)+Speed_Right_Wheel_264)+Speed_Right_Wheel_265)+Speed_Right_Wheel_266)+Speed_Right_Wheel_267)+Speed_Right_Wheel_268)+Speed_Right_Wheel_269)+Speed_Right_Wheel_270)+Speed_Right_Wheel_271)+Speed_Right_Wheel_272)+Speed_Right_Wheel_273)+Speed_Right_Wheel_274)+Speed_Right_Wheel_275)+Speed_Right_Wheel_276)+Speed_Right_Wheel_277)+Speed_Right_Wheel_278)+Speed_Right_Wheel_279)+Speed_Right_Wheel_280)+Speed_Right_Wheel_281)+Speed_Right_Wheel_282)+Speed_Right_Wheel_283)+Speed_Right_Wheel_284)+Speed_Right_Wheel_285)+Speed_Right_Wheel_286)+Speed_Right_Wheel_287)+Speed_Right_Wheel_288)+Speed_Right_Wheel_289)+Speed_Right_Wheel_290)+Speed_Right_Wheel_291)+Speed_Right_Wheel_292)+Speed_Right_Wheel_293)+Speed_Right_Wheel_294)+Speed_Right_Wheel_295)+Speed_Right_Wheel_296)+Speed_Right_Wheel_297)+Speed_Right_Wheel_298)+Speed_Right_Wheel_299)+Speed_Right_Wheel_300)+Speed_Right_Wheel_301)+Speed_Right_Wheel_302)+Speed_Right_Wheel_303)+Speed_Right_Wheel_304)+Speed_Right_Wheel_305)+Speed_Right_Wheel_306)+Speed_Right_Wheel_307)+Speed_Right_Wheel_308)+Speed_Right_Wheel_309)+Speed_Right_Wheel_310)+Speed_Right_Wheel_311)+Speed_Right_Wheel_312)+Speed_Right_Wheel_313)+Speed_Right_Wheel_314)+Speed_Right_Wheel_315)+Speed_Right_Wheel_316)+Speed_Right_Wheel_317)+Speed_Right_Wheel_318)+Speed_Right_Wheel_319)+Speed_Right_Wheel_320)+Speed_Right_Wheel_321)+Speed_Right_Wheel_322)+Speed_Right_Wheel_323)+Speed_Right_Wheel_324)+Speed_Right_Wheel_325)+Speed_Right_Wheel_326)+Speed_Right_Wheel_327)+Speed_Right_Wheel_328)+Speed_Right_Wheel_329)+Speed_Right_Wheel_330)+Speed_Right_Wheel_331)+Speed_Right_Wheel_332)+Speed_Right_Wheel_333)+Speed_Right_Wheel_334)+Speed_Right_Wheel_335)+Speed_Right_Wheel_336)+Speed_Right_Wheel_337)+Speed_Right_Wheel_338)+Speed_Right_Wheel_339)+Speed_Right_Wheel_340)+Speed_Right_Wheel_341)+Speed_Right_Wheel_342)+Speed_Right_Wheel_343)+Speed_Right_Wheel_344)+Speed_Right_Wheel_345)+Speed_Right_Wheel_346)+Speed_Right_Wheel_347)+Speed_Right_Wheel_348)+Speed_Right_Wheel_349)+Speed_Right_Wheel_350)+Speed_Right_Wheel_351)+Speed_Right_Wheel_352)+Speed_Right_Wheel_353)+Speed_Right_Wheel_354)+Speed_Right_Wheel_355)+Speed_Right_Wheel_356)+Speed_Right_Wheel_357)+Speed_Right_Wheel_358)+Speed_Right_Wheel_359)+Speed_Right_Wheel_360)+Speed_Right_Wheel_361)+Speed_Right_Wheel_362)+Speed_Right_Wheel_363)+Speed_Right_Wheel_364)+Speed_Right_Wheel_365)+Speed_Right_Wheel_366)+Speed_Right_Wheel_367)+Speed_Right_Wheel_368)+Speed_Right_Wheel_369)+Speed_Right_Wheel_370)+Speed_Right_Wheel_371)+Speed_Right_Wheel_372)+Speed_Right_Wheel_373)+Speed_Right_Wheel_374)+Speed_Right_Wheel_375)+Speed_Right_Wheel_376)+Speed_Right_Wheel_377)+Speed_Right_Wheel_378)+Speed_Right_Wheel_379)+Speed_Right_Wheel_380)+Speed_Right_Wheel_381)+Speed_Right_Wheel_382)+Speed_Right_Wheel_383)+Speed_Right_Wheel_384)+Speed_Right_Wheel_385)+Speed_Right_Wheel_386)+Speed_Right_Wheel_387)+Speed_Right_Wheel_388)+Speed_Right_Wheel_389)+Speed_Right_Wheel_390)+Speed_Right_Wheel_391)+Speed_Right_Wheel_392)+Speed_Right_Wheel_393)+Speed_Right_Wheel_394)+Speed_Right_Wheel_395)+Speed_Right_Wheel_396)+Speed_Right_Wheel_397)+Speed_Right_Wheel_398)+Speed_Right_Wheel_399)+Speed_Right_Wheel_400)+Speed_Right_Wheel_401)+Speed_Right_Wheel_402)+Speed_Right_Wheel_403)+Speed_Right_Wheel_404)+Speed_Right_Wheel_405)+Speed_Right_Wheel_406)+Speed_Right_Wheel_407)+Speed_Right_Wheel_408)+Speed_Right_Wheel_409)+Speed_Right_Wheel_410)+Speed_Right_Wheel_411)+Speed_Right_Wheel_412)+Speed_Right_Wheel_413)+Speed_Right_Wheel_414)+Speed_Right_Wheel_415)+Speed_Right_Wheel_416)+Speed_Right_Wheel_417)+Speed_Right_Wheel_418)+Speed_Right_Wheel_419)+Speed_Right_Wheel_420)+Speed_Right_Wheel_421)+Speed_Right_Wheel_422)+Speed_Right_Wheel_423)+Speed_Right_Wheel_424)+Speed_Right_Wheel_425)+Speed_Right_Wheel_426)+Speed_Right_Wheel_427)+Speed_Right_Wheel_428)+Speed_Right_Wheel_429)+Speed_Right_Wheel_430)+Speed_Right_Wheel_431)+Speed_Right_Wheel_432)+Speed_Right_Wheel_433)+Speed_Right_Wheel_434)+Speed_Right_Wheel_435)+Speed_Right_Wheel_436)+Speed_Right_Wheel_437)+Speed_Right_Wheel_438)+Speed_Right_Wheel_439)+Speed_Right_Wheel_440)+Speed_Right_Wheel_441)+Speed_Right_Wheel_442)+Speed_Right_Wheel_443)+Speed_Right_Wheel_444)+Speed_Right_Wheel_445)+Speed_Right_Wheel_446)+Speed_Right_Wheel_447)+Speed_Right_Wheel_448)+Speed_Right_Wheel_449)+Speed_Right_Wheel_450)+Speed_Right_Wheel_451)+Speed_Right_Wheel_452)+Speed_Right_Wheel_453)+Speed_Right_Wheel_454)+Speed_Right_Wheel_455)+Speed_Right_Wheel_456)+Speed_Right_Wheel_457)+Speed_Right_Wheel_458)+Speed_Right_Wheel_459)+Speed_Right_Wheel_460)+Speed_Right_Wheel_461)+Speed_Right_Wheel_462)+Speed_Right_Wheel_463)+Speed_Right_Wheel_464)+Speed_Right_Wheel_465)+Speed_Right_Wheel_466)+Speed_Right_Wheel_467)+Speed_Right_Wheel_468)+Speed_Right_Wheel_469)+Speed_Right_Wheel_470)+Speed_Right_Wheel_471)+Speed_Right_Wheel_472)+Speed_Right_Wheel_473)+Speed_Right_Wheel_474)+Speed_Right_Wheel_475)+Speed_Right_Wheel_476)+Speed_Right_Wheel_477)+Speed_Right_Wheel_478)+Speed_Right_Wheel_479)+Speed_Right_Wheel_480)+Speed_Right_Wheel_481)+Speed_Right_Wheel_482)+Speed_Right_Wheel_483)+Speed_Right_Wheel_484)+Speed_Right_Wheel_485)+Speed_Right_Wheel_486)+Speed_Right_Wheel_487)+Speed_Right_Wheel_488)+Speed_Right_Wheel_489)+Speed_Right_Wheel_490)+Speed_Right_Wheel_491)+Speed_Right_Wheel_492)+Speed_Right_Wheel_493)+Speed_Right_Wheel_494)+Speed_Right_Wheel_495)+Speed_Right_Wheel_496)+Speed_Right_Wheel_497)+Speed_Right_Wheel_498)+Speed_Right_Wheel_499)+Speed_Right_Wheel_500)+Speed_Right_Wheel_501)+Speed_Right_Wheel_502)+Speed_Right_Wheel_503)+Speed_Right_Wheel_504)+Speed_Right_Wheel_505)+Speed_Right_Wheel_506)+Speed_Right_Wheel_507)+Speed_Right_Wheel_508)+Speed_Right_Wheel_509)+Speed_Right_Wheel_510)+Speed_Right_Wheel_511)+Speed_Right_Wheel_512)+Speed_Right_Wheel_513)+Speed_Right_Wheel_514)+Speed_Right_Wheel_515)+Speed_Right_Wheel_516)+Speed_Right_Wheel_517)+Speed_Right_Wheel_518)+Speed_Right_Wheel_519)+Speed_Right_Wheel_520)+Speed_Right_Wheel_521)+Speed_Right_Wheel_522)+Speed_Right_Wheel_523)+Speed_Right_Wheel_524)+Speed_Right_Wheel_525)+Speed_Right_Wheel_526)+Speed_Right_Wheel_527)+Speed_Right_Wheel_528)+Speed_Right_Wheel_529)+Speed_Right_Wheel_530)+Speed_Right_Wheel_531)+Speed_Right_Wheel_532)+Speed_Right_Wheel_533)+Speed_Right_Wheel_534)+Speed_Right_Wheel_535)+Speed_Right_Wheel_536)+Speed_Right_Wheel_537)+Speed_Right_Wheel_538)+Speed_Right_Wheel_539)+Speed_Right_Wheel_540)+Speed_Right_Wheel_541)+Speed_Right_Wheel_542)+Speed_Right_Wheel_543)+Speed_Right_Wheel_544)+Speed_Right_Wheel_545)+Speed_Right_Wheel_546)+Speed_Right_Wheel_547)+Speed_Right_Wheel_548)+Speed_Right_Wheel_549)+Speed_Right_Wheel_550)+Speed_Right_Wheel_551)+Speed_Right_Wheel_552)+Speed_Right_Wheel_553)+Speed_Right_Wheel_554)+Speed_Right_Wheel_555)+Speed_Right_Wheel_556)+Speed_Right_Wheel_557)+Speed_Right_Wheel_558)+Speed_Right_Wheel_559)+Speed_Right_Wheel_560)+Speed_Right_Wheel_561)+Speed_Right_Wheel_562)+Speed_Right_Wheel_563)+Speed_Right_Wheel_564)+Speed_Right_Wheel_565)+Speed_Right_Wheel_566)+Speed_Right_Wheel_567)+Speed_Right_Wheel_568)+Speed_Right_Wheel_569)+Speed_Right_Wheel_570)+Speed_Right_Wheel_571)+Speed_Right_Wheel_572)+Speed_Right_Wheel_573)+Speed_Right_Wheel_574)+Speed_Right_Wheel_575)+Speed_Right_Wheel_576)+Speed_Right_Wheel_577)+Speed_Right_Wheel_578)+Speed_Right_Wheel_579)+Speed_Right_Wheel_580)+Speed_Right_Wheel_581)+Speed_Right_Wheel_582)+Speed_Right_Wheel_583)+Speed_Right_Wheel_584)+Speed_Right_Wheel_585)+Speed_Right_Wheel_586)+Speed_Right_Wheel_587)+Speed_Right_Wheel_588)+Speed_Right_Wheel_589)+Speed_Right_Wheel_590)+Speed_Right_Wheel_591)+Speed_Right_Wheel_592)+Speed_Right_Wheel_593)+Speed_Right_Wheel_594)+Speed_Right_Wheel_595)+Speed_Right_Wheel_596)+Speed_Right_Wheel_597)+Speed_Right_Wheel_598)+Speed_Right_Wheel_599)+Speed_Right_Wheel_600)+Speed_Right_Wheel_601)+Speed_Right_Wheel_602)+Speed_Right_Wheel_603)+Speed_Right_Wheel_604)+Speed_Right_Wheel_605)+Speed_Right_Wheel_606)+Speed_Right_Wheel_607)+Speed_Right_Wheel_608)+Speed_Right_Wheel_609)+Speed_Right_Wheel_610)+Speed_Right_Wheel_611)+Speed_Right_Wheel_612)+Speed_Right_Wheel_613)+Speed_Right_Wheel_614)+Speed_Right_Wheel_615)+Speed_Right_Wheel_616)+Speed_Right_Wheel_617)+Speed_Right_Wheel_618)+Speed_Right_Wheel_619)+Speed_Right_Wheel_620)+Speed_Right_Wheel_621)+Speed_Right_Wheel_622)+Speed_Right_Wheel_623)+Speed_Right_Wheel_624)+Speed_Right_Wheel_625)+Speed_Right_Wheel_626)+Speed_Right_Wheel_627)+Speed_Right_Wheel_628)+Speed_Right_Wheel_629)+Speed_Right_Wheel_630)+Speed_Right_Wheel_631)+Speed_Right_Wheel_632)+Speed_Right_Wheel_633)+Speed_Right_Wheel_634)+Speed_Right_Wheel_635)+Speed_Right_Wheel_636)+Speed_Right_Wheel_637)+Speed_Right_Wheel_638)+Speed_Right_Wheel_639)+Speed_Right_Wheel_640)+Speed_Right_Wheel_641)+Speed_Right_Wheel_642)+Speed_Right_Wheel_643)+Speed_Right_Wheel_644)+Speed_Right_Wheel_645)+Speed_Right_Wheel_646)+Speed_Right_Wheel_647)+Speed_Right_Wheel_648)+Speed_Right_Wheel_649)+Speed_Right_Wheel_650)+Speed_Right_Wheel_651)+Speed_Right_Wheel_652)+Speed_Right_Wheel_653)+Speed_Right_Wheel_654)+Speed_Right_Wheel_655)+Speed_Right_Wheel_656)+Speed_Right_Wheel_657)+Speed_Right_Wheel_658)+Speed_Right_Wheel_659)+Speed_Right_Wheel_660)+Speed_Right_Wheel_661)+Speed_Right_Wheel_662)+Speed_Right_Wheel_663)+Speed_Right_Wheel_664)+Speed_Right_Wheel_665)+Speed_Right_Wheel_666)+Speed_Right_Wheel_667)+Speed_Right_Wheel_668)+Speed_Right_Wheel_669)+Speed_Right_Wheel_670)+Speed_Right_Wheel_671)+Speed_Right_Wheel_672)+Speed_Right_Wheel_673)+Speed_Right_Wheel_674)+Speed_Right_Wheel_675)+Speed_Right_Wheel_676)+Speed_Right_Wheel_677)+Speed_Right_Wheel_678)+Speed_Right_Wheel_679)+Speed_Right_Wheel_680)+Speed_Right_Wheel_681)+Speed_Right_Wheel_682)+Speed_Right_Wheel_683)+Speed_Right_Wheel_684)+Speed_Right_Wheel_685)+Speed_Right_Wheel_686)+Speed_Right_Wheel_687)+Speed_Right_Wheel_688)+Speed_Right_Wheel_689)+Speed_Right_Wheel_690)+Speed_Right_Wheel_691)+Speed_Right_Wheel_692)+Speed_Right_Wheel_693)+Speed_Right_Wheel_694)+Speed_Right_Wheel_695)+Speed_Right_Wheel_696)+Speed_Right_Wheel_697)+Speed_Right_Wheel_698)+Speed_Right_Wheel_699)+Speed_Right_Wheel_700)+Speed_Right_Wheel_701)+Speed_Right_Wheel_702)+Speed_Right_Wheel_703)+Speed_Right_Wheel_704)+Speed_Right_Wheel_705)+Speed_Right_Wheel_706)+Speed_Right_Wheel_707)+Speed_Right_Wheel_708)+Speed_Right_Wheel_709)+Speed_Right_Wheel_710)+Speed_Right_Wheel_711)+Speed_Right_Wheel_712)+Speed_Right_Wheel_713)+Speed_Right_Wheel_714)+Speed_Right_Wheel_715)+Speed_Right_Wheel_716)+Speed_Right_Wheel_717)+Speed_Right_Wheel_718)+Speed_Right_Wheel_719)+Speed_Right_Wheel_720)+Speed_Right_Wheel_721)+Speed_Right_Wheel_722)+Speed_Right_Wheel_723)+Speed_Right_Wheel_724)+Speed_Right_Wheel_725)+Speed_Right_Wheel_726)+Speed_Right_Wheel_727)+Speed_Right_Wheel_728)+Speed_Right_Wheel_729)+Speed_Right_Wheel_730)+Speed_Right_Wheel_731)+Speed_Right_Wheel_732)+Speed_Right_Wheel_733)+Speed_Right_Wheel_734)+Speed_Right_Wheel_735)+Speed_Right_Wheel_736)+Speed_Right_Wheel_737)+Speed_Right_Wheel_738)+Speed_Right_Wheel_739)+Speed_Right_Wheel_740)+Speed_Right_Wheel_741)+Speed_Right_Wheel_742)+Speed_Right_Wheel_743)+Speed_Right_Wheel_744)+Speed_Right_Wheel_745)+Speed_Right_Wheel_746)+Speed_Right_Wheel_747)+Speed_Right_Wheel_748)+Speed_Right_Wheel_749)+Speed_Right_Wheel_750)+Speed_Right_Wheel_751)+Speed_Right_Wheel_752)+Speed_Right_Wheel_753)+Speed_Right_Wheel_754)+Speed_Right_Wheel_755)+Speed_Right_Wheel_756)+Speed_Right_Wheel_757)+Speed_Right_Wheel_758)+Speed_Right_Wheel_759)+Speed_Right_Wheel_760)+Speed_Right_Wheel_761)+Speed_Right_Wheel_762)+Speed_Right_Wheel_763)+Speed_Right_Wheel_764)+Speed_Right_Wheel_765)+Speed_Right_Wheel_766)+Speed_Right_Wheel_767)+Speed_Right_Wheel_768)+Speed_Right_Wheel_769)+Speed_Right_Wheel_770)+Speed_Right_Wheel_771)+Speed_Right_Wheel_772)+Speed_Right_Wheel_773)+Speed_Right_Wheel_774)+Speed_Right_Wheel_775)+Speed_Right_Wheel_776)+Speed_Right_Wheel_777)+Speed_Right_Wheel_778)+Speed_Right_Wheel_779)+Speed_Right_Wheel_780)+Speed_Right_Wheel_781)+Speed_Right_Wheel_782)+Speed_Right_Wheel_783)+Speed_Right_Wheel_784)+Speed_Right_Wheel_785)+Speed_Right_Wheel_786)+Speed_Right_Wheel_787)+Speed_Right_Wheel_788)+Speed_Right_Wheel_789)+Speed_Right_Wheel_790)+Speed_Right_Wheel_791)+Speed_Right_Wheel_792)+Speed_Right_Wheel_793)+Speed_Right_Wheel_794)+Speed_Right_Wheel_795)+Speed_Right_Wheel_796)+Speed_Right_Wheel_797)+Speed_Right_Wheel_798)+Speed_Right_Wheel_799)+Speed_Right_Wheel_800)+Speed_Right_Wheel_801)+Speed_Right_Wheel_802)+Speed_Right_Wheel_803)+Speed_Right_Wheel_804)+Speed_Right_Wheel_805)+Speed_Right_Wheel_806)+Speed_Right_Wheel_807)+Speed_Right_Wheel_808)+Speed_Right_Wheel_809)+Speed_Right_Wheel_810)+Speed_Right_Wheel_811)+Speed_Right_Wheel_812)+Speed_Right_Wheel_813)+Speed_Right_Wheel_814)+Speed_Right_Wheel_815)+Speed_Right_Wheel_816)+Speed_Right_Wheel_817)+Speed_Right_Wheel_818)+Speed_Right_Wheel_819)+Speed_Right_Wheel_820)+Speed_Right_Wheel_821)+Speed_Right_Wheel_822)+Speed_Right_Wheel_823)+Speed_Right_Wheel_824)+Speed_Right_Wheel_825)+Speed_Right_Wheel_826)+Speed_Right_Wheel_827)+Speed_Right_Wheel_828)+Speed_Right_Wheel_829)+Speed_Right_Wheel_830)+Speed_Right_Wheel_831)+Speed_Right_Wheel_832)+Speed_Right_Wheel_833)+Speed_Right_Wheel_834)+Speed_Right_Wheel_835)+Speed_Right_Wheel_836)+Speed_Right_Wheel_837)+Speed_Right_Wheel_838)+Speed_Right_Wheel_839)+Speed_Right_Wheel_840)+Speed_Right_Wheel_841)+Speed_Right_Wheel_842)+Speed_Right_Wheel_843)+Speed_Right_Wheel_844)+Speed_Right_Wheel_845)+Speed_Right_Wheel_846)+Speed_Right_Wheel_847)+Speed_Right_Wheel_848)+Speed_Right_Wheel_849)+Speed_Right_Wheel_850)+Speed_Right_Wheel_851)+Speed_Right_Wheel_852)+Speed_Right_Wheel_853)+Speed_Right_Wheel_854)+Speed_Right_Wheel_855)+Speed_Right_Wheel_856)+Speed_Right_Wheel_857)+Speed_Right_Wheel_858)+Speed_Right_Wheel_859)+Speed_Right_Wheel_860)+Speed_Right_Wheel_861)+Speed_Right_Wheel_862)+Speed_Right_Wheel_863)+Speed_Right_Wheel_864)+Speed_Right_Wheel_865)+Speed_Right_Wheel_866)+Speed_Right_Wheel_867)+Speed_Right_Wheel_868)+Speed_Right_Wheel_869)+Speed_Right_Wheel_870)+Speed_Right_Wheel_871)+Speed_Right_Wheel_872)+Speed_Right_Wheel_873)+Speed_Right_Wheel_874)+Speed_Right_Wheel_875)+Speed_Right_Wheel_876)+Speed_Right_Wheel_877)+Speed_Right_Wheel_878)+Speed_Right_Wheel_879)+Speed_Right_Wheel_880)+Speed_Right_Wheel_881)+Speed_Right_Wheel_882)+Speed_Right_Wheel_883)+Speed_Right_Wheel_884)+Speed_Right_Wheel_885)+Speed_Right_Wheel_886)+Speed_Right_Wheel_887)+Speed_Right_Wheel_888)+Speed_Right_Wheel_889)+Speed_Right_Wheel_890)+Speed_Right_Wheel_891)+Speed_Right_Wheel_892)+Speed_Right_Wheel_893)+Speed_Right_Wheel_894)+Speed_Right_Wheel_895)+Speed_Right_Wheel_896)+Speed_Right_Wheel_897)+Speed_Right_Wheel_898)+Speed_Right_Wheel_899)+Speed_Right_Wheel_900)+Speed_Right_Wheel_901)+Speed_Right_Wheel_902)+Speed_Right_Wheel_903)+Speed_Right_Wheel_904)+Speed_Right_Wheel_905)+Speed_Right_Wheel_906)+Speed_Right_Wheel_907)+Speed_Right_Wheel_908)+Speed_Right_Wheel_909)+Speed_Right_Wheel_910)+Speed_Right_Wheel_911)+Speed_Right_Wheel_912)+Speed_Right_Wheel_913)+Speed_Right_Wheel_914)+Speed_Right_Wheel_915)+Speed_Right_Wheel_916)+Speed_Right_Wheel_917)+Speed_Right_Wheel_918)+Speed_Right_Wheel_919)+Speed_Right_Wheel_920)+Speed_Right_Wheel_921)+Speed_Right_Wheel_922)+Speed_Right_Wheel_923)+Speed_Right_Wheel_924)+Speed_Right_Wheel_925)+Speed_Right_Wheel_926)+Speed_Right_Wheel_927)+Speed_Right_Wheel_928)+Speed_Right_Wheel_929)+Speed_Right_Wheel_930)+Speed_Right_Wheel_931)+Speed_Right_Wheel_932)+Speed_Right_Wheel_933)+Speed_Right_Wheel_934)+Speed_Right_Wheel_935)+Speed_Right_Wheel_936)+Speed_Right_Wheel_937)+Speed_Right_Wheel_938)+Speed_Right_Wheel_939)+Speed_Right_Wheel_940)+Speed_Right_Wheel_941)+Speed_Right_Wheel_942)+Speed_Right_Wheel_943)+Speed_Right_Wheel_944)+Speed_Right_Wheel_945)+Speed_Right_Wheel_946)+Speed_Right_Wheel_947)+Speed_Right_Wheel_948)+Speed_Right_Wheel_949)+Speed_Right_Wheel_950)+Speed_Right_Wheel_951)+Speed_Right_Wheel_952)+Speed_Right_Wheel_953)+Speed_Right_Wheel_954)+Speed_Right_Wheel_955)+Speed_Right_Wheel_956)+Speed_Right_Wheel_957)+Speed_Right_Wheel_958)+Speed_Right_Wheel_959)+Speed_Right_Wheel_960)+Speed_Right_Wheel_961)+Speed_Right_Wheel_962)+Speed_Right_Wheel_963)+Speed_Right_Wheel_964)+Speed_Right_Wheel_965)+Speed_Right_Wheel_966)+Speed_Right_Wheel_967)+Speed_Right_Wheel_968)+Speed_Right_Wheel_969)+Speed_Right_Wheel_970)+Speed_Right_Wheel_971)+Speed_Right_Wheel_972)+Speed_Right_Wheel_973)+Speed_Right_Wheel_974)+Speed_Right_Wheel_975)+Speed_Right_Wheel_976)+Speed_Right_Wheel_977)+Speed_Right_Wheel_978)+Speed_Right_Wheel_979)+Speed_Right_Wheel_980)+Speed_Right_Wheel_981)+Speed_Right_Wheel_982)+Speed_Right_Wheel_983)+Speed_Right_Wheel_984)+Speed_Right_Wheel_985)+Speed_Right_Wheel_986)+Speed_Right_Wheel_987)+Speed_Right_Wheel_988)+Speed_Right_Wheel_989)+Speed_Right_Wheel_990)+Speed_Right_Wheel_991)+Speed_Right_Wheel_992)+Speed_Right_Wheel_993)+Speed_Right_Wheel_994)+Speed_Right_Wheel_995)+Speed_Right_Wheel_996)+Speed_Right_Wheel_997)+Speed_Right_Wheel_998)+Speed_Right_Wheel_999)+Speed_Right_Wheel_1000)+Speed_Right_Wheel_1001)+Speed_Right_Wheel_1002)+Speed_Right_Wheel_1003)+Speed_Right_Wheel_1004)+Speed_Right_Wheel_1005)+Speed_Right_Wheel_1006)+Speed_Right_Wheel_1007)+Speed_Right_Wheel_1008)+Speed_Right_Wheel_1009)+Speed_Right_Wheel_1010)+Speed_Right_Wheel_1011)+Speed_Right_Wheel_1012)+Speed_Right_Wheel_1013)+Speed_Right_Wheel_1014)+Speed_Right_Wheel_1015)+Speed_Right_Wheel_1016)+Speed_Right_Wheel_1017)+Speed_Right_Wheel_1018)+Speed_Right_Wheel_1019)+Speed_Right_Wheel_1020)+Speed_Right_Wheel_1021)+Speed_Right_Wheel_1022)+Speed_Right_Wheel_1023)+Speed_Right_Wheel_1024)+Speed_Right_Wheel_1025)+Speed_Right_Wheel_1026)+Speed_Right_Wheel_1027)+Speed_Right_Wheel_1028)+Speed_Right_Wheel_1029)+Speed_Right_Wheel_1030)+Speed_Right_Wheel_1031)+Speed_Right_Wheel_1032)+Speed_Right_Wheel_1033)+Speed_Right_Wheel_1034)+Speed_Right_Wheel_1035)+Speed_Right_Wheel_1036)+Speed_Right_Wheel_1037)+Speed_Right_Wheel_1038)+Speed_Right_Wheel_1039)+Speed_Right_Wheel_1040)+Speed_Right_Wheel_1041)+Speed_Right_Wheel_1042)+Speed_Right_Wheel_1043)+Speed_Right_Wheel_1044)+Speed_Right_Wheel_1045)+Speed_Right_Wheel_1046)+Speed_Right_Wheel_1047)+Speed_Right_Wheel_1048)+Speed_Right_Wheel_1049)+Speed_Right_Wheel_1050)+Speed_Right_Wheel_1051)+Speed_Right_Wheel_1052)+Speed_Right_Wheel_1053)+Speed_Right_Wheel_1054)+Speed_Right_Wheel_1055)+Speed_Right_Wheel_1056)+Speed_Right_Wheel_1057)+Speed_Right_Wheel_1058)+Speed_Right_Wheel_1059)+Speed_Right_Wheel_1060)+Speed_Right_Wheel_1061)+Speed_Right_Wheel_1062)+Speed_Right_Wheel_1063)+Speed_Right_Wheel_1064)+Speed_Right_Wheel_1065)+Speed_Right_Wheel_1066)+Speed_Right_Wheel_1067)+Speed_Right_Wheel_1068)+Speed_Right_Wheel_1069)+Speed_Right_Wheel_1070)+Speed_Right_Wheel_1071)+Speed_Right_Wheel_1072)+Speed_Right_Wheel_1073)+Speed_Right_Wheel_1074)+Speed_Right_Wheel_1075)+Speed_Right_Wheel_1076)+Speed_Right_Wheel_1077)+Speed_Right_Wheel_1078)+Speed_Right_Wheel_1079)+Speed_Right_Wheel_1080)+Speed_Right_Wheel_1081)+Speed_Right_Wheel_1082)+Speed_Right_Wheel_1083)+Speed_Right_Wheel_1084)+Speed_Right_Wheel_1085)+Speed_Right_Wheel_1086)+Speed_Right_Wheel_1087)+Speed_Right_Wheel_1088)+Speed_Right_Wheel_1089)+Speed_Right_Wheel_1090)+Speed_Right_Wheel_1091)+Speed_Right_Wheel_1092)+Speed_Right_Wheel_1093)+Speed_Right_Wheel_1094)+Speed_Right_Wheel_1095)+Speed_Right_Wheel_1096)+Speed_Right_Wheel_1097)+Speed_Right_Wheel_1098)+Speed_Right_Wheel_1099)+Speed_Right_Wheel_1100)+Speed_Right_Wheel_1101)+Speed_Right_Wheel_1102)+Speed_Right_Wheel_1103)+Speed_Right_Wheel_1104)+Speed_Right_Wheel_1105)+Speed_Right_Wheel_1106)+Speed_Right_Wheel_1107)+Speed_Right_Wheel_1108)+Speed_Right_Wheel_1109)+Speed_Right_Wheel_1110)+Speed_Right_Wheel_1111)+Speed_Right_Wheel_1112)+Speed_Right_Wheel_1113)+Speed_Right_Wheel_1114)+Speed_Right_Wheel_1115)+Speed_Right_Wheel_1116)+Speed_Right_Wheel_1117)+Speed_Right_Wheel_1118)+Speed_Right_Wheel_1119)+Speed_Right_Wheel_1120)+Speed_Right_Wheel_1121)+Speed_Right_Wheel_1122)+Speed_Right_Wheel_1123)+Speed_Right_Wheel_1124)+Speed_Right_Wheel_1125)+Speed_Right_Wheel_1126)+Speed_Right_Wheel_1127)+Speed_Right_Wheel_1128)+Speed_Right_Wheel_1129)+Speed_Right_Wheel_1130)+Speed_Right_Wheel_1131)+Speed_Right_Wheel_1132)+Speed_Right_Wheel_1133)+Speed_Right_Wheel_1134)+Speed_Right_Wheel_1135)+Speed_Right_Wheel_1136)+Speed_Right_Wheel_1137)+Speed_Right_Wheel_1138)+Speed_Right_Wheel_1139)+Speed_Right_Wheel_1140)+Speed_Right_Wheel_1141)+Speed_Right_Wheel_1142)+Speed_Right_Wheel_1143)+Speed_Right_Wheel_1144)+Speed_Right_Wheel_1145)+Speed_Right_Wheel_1146)+Speed_Right_Wheel_1147)+Speed_Right_Wheel_1148)+Speed_Right_Wheel_1149)+Speed_Right_Wheel_1150)+Speed_Right_Wheel_1151)+Speed_Right_Wheel_1152)+Speed_Right_Wheel_1153)+Speed_Right_Wheel_1154)+Speed_Right_Wheel_1155)+Speed_Right_Wheel_1156)+Speed_Right_Wheel_1157)+Speed_Right_Wheel_1158)+Speed_Right_Wheel_1159)+Speed_Right_Wheel_1160)+Speed_Right_Wheel_1161)+Speed_Right_Wheel_1162)+Speed_Right_Wheel_1163)+Speed_Right_Wheel_1164)+Speed_Right_Wheel_1165)+Speed_Right_Wheel_1166)+Speed_Right_Wheel_1167)+Speed_Right_Wheel_1168)+Speed_Right_Wheel_1169)+Speed_Right_Wheel_1170)+Speed_Right_Wheel_1171)+Speed_Right_Wheel_1172)+Speed_Right_Wheel_1173)+Speed_Right_Wheel_1174)+Speed_Right_Wheel_1175)+Speed_Right_Wheel_1176)+Speed_Right_Wheel_1177)+Speed_Right_Wheel_1178)+Speed_Right_Wheel_1179)+Speed_Right_Wheel_1180)+Speed_Right_Wheel_1181)+Speed_Right_Wheel_1182)+Speed_Right_Wheel_1183)+Speed_Right_Wheel_1184)+Speed_Right_Wheel_1185)+Speed_Right_Wheel_1186)+Speed_Right_Wheel_1187)+Speed_Right_Wheel_1188)+Speed_Right_Wheel_1189)+Speed_Right_Wheel_1190)+Speed_Right_Wheel_1191)+Speed_Right_Wheel_1192)+Speed_Right_Wheel_1193)+Speed_Right_Wheel_1194)+Speed_Right_Wheel_1195)+Speed_Right_Wheel_1196)+Speed_Right_Wheel_1197)+Speed_Right_Wheel_1198)+Speed_Right_Wheel_1199)+Speed_Right_Wheel_1200)+Speed_Right_Wheel_1201)+Speed_Right_Wheel_1202)+Speed_Right_Wheel_1203)+Speed_Right_Wheel_1204)+Speed_Right_Wheel_1205)+Speed_Right_Wheel_1206)+Speed_Right_Wheel_1207)+Speed_Right_Wheel_1208)+Speed_Right_Wheel_1209)+Speed_Right_Wheel_1210)+Speed_Right_Wheel_1211)+Speed_Right_Wheel_1212)+Speed_Right_Wheel_1213)+Speed_Right_Wheel_1214)+Speed_Right_Wheel_1215)+Speed_Right_Wheel_1216)+Speed_Right_Wheel_1217)+Speed_Right_Wheel_1218)+Speed_Right_Wheel_1219)+Speed_Right_Wheel_1220)+Speed_Right_Wheel_1221)+Speed_Right_Wheel_1222)+Speed_Right_Wheel_1223)+Speed_Right_Wheel_1224)+Speed_Right_Wheel_1225)+Speed_Right_Wheel_1226)+Speed_Right_Wheel_1227)+Speed_Right_Wheel_1228)+Speed_Right_Wheel_1229)+Speed_Right_Wheel_1230)+Speed_Right_Wheel_1231)+Speed_Right_Wheel_1232)+Speed_Right_Wheel_1233)+Speed_Right_Wheel_1234)+Speed_Right_Wheel_1235)+Speed_Right_Wheel_1236)+Speed_Right_Wheel_1237)+Speed_Right_Wheel_1238)+Speed_Right_Wheel_1239)+Speed_Right_Wheel_1240)+Speed_Right_Wheel_1241)+Speed_Right_Wheel_1242)+Speed_Right_Wheel_1243)+Speed_Right_Wheel_1244)+Speed_Right_Wheel_1245)+Speed_Right_Wheel_1246)+Speed_Right_Wheel_1247)+Speed_Right_Wheel_1248)+Speed_Right_Wheel_1249)+Speed_Right_Wheel_1250)+Speed_Right_Wheel_1251)+Speed_Right_Wheel_1252)+Speed_Right_Wheel_1253)+Speed_Right_Wheel_1254)+Speed_Right_Wheel_1255)+Speed_Right_Wheel_1256)+Speed_Right_Wheel_1257)+Speed_Right_Wheel_1258)+Speed_Right_Wheel_1259)+Speed_Right_Wheel_1260)+Speed_Right_Wheel_1261)+Speed_Right_Wheel_1262)+Speed_Right_Wheel_1263)+Speed_Right_Wheel_1264)+Speed_Right_Wheel_1265)+Speed_Right_Wheel_1266)+Speed_Right_Wheel_1267)+Speed_Right_Wheel_1268)+Speed_Right_Wheel_1269)+Speed_Right_Wheel_1270)+Speed_Right_Wheel_1271)+Speed_Right_Wheel_1272)+Speed_Right_Wheel_1273)+Speed_Right_Wheel_1274)+Speed_Right_Wheel_1275)+Speed_Right_Wheel_1276)+Speed_Right_Wheel_1277)+Speed_Right_Wheel_1278)+Speed_Right_Wheel_1279)+Speed_Right_Wheel_1280)+Speed_Right_Wheel_1281)+Speed_Right_Wheel_1282)+Speed_Right_Wheel_1283)+Speed_Right_Wheel_1284)+Speed_Right_Wheel_1285)+Speed_Right_Wheel_1286)+Speed_Right_Wheel_1287)+Speed_Right_Wheel_1288)+Speed_Right_Wheel_1289)+Speed_Right_Wheel_1290)+Speed_Right_Wheel_1291)+Speed_Right_Wheel_1292)+Speed_Right_Wheel_1293)+Speed_Right_Wheel_1294)+Speed_Right_Wheel_1295)+Speed_Right_Wheel_1296)+Speed_Right_Wheel_1297)+Speed_Right_Wheel_1298)+Speed_Right_Wheel_1299)+Speed_Right_Wheel_1300)+Speed_Right_Wheel_1301)+Speed_Right_Wheel_1302)+Speed_Right_Wheel_1303)+Speed_Right_Wheel_1304)+Speed_Right_Wheel_1305)+Speed_Right_Wheel_1306)+Speed_Right_Wheel_1307)+Speed_Right_Wheel_1308)+Speed_Right_Wheel_1309)+Speed_Right_Wheel_1310)+Speed_Right_Wheel_1311)+Speed_Right_Wheel_1312)+Speed_Right_Wheel_1313)+Speed_Right_Wheel_1314)+Speed_Right_Wheel_1315)+Speed_Right_Wheel_1316)+Speed_Right_Wheel_1317)+Speed_Right_Wheel_1318)+Speed_Right_Wheel_1319)+Speed_Right_Wheel_1320)+Speed_Right_Wheel_1321)+Speed_Right_Wheel_1322)+Speed_Right_Wheel_1323)+Speed_Right_Wheel_1324)+Speed_Right_Wheel_1325)+Speed_Right_Wheel_1326)+Speed_Right_Wheel_1327)+Speed_Right_Wheel_1328)+Speed_Right_Wheel_1329)+Speed_Right_Wheel_1330)+Speed_Right_Wheel_1331)+Speed_Right_Wheel_1332)+Speed_Right_Wheel_1333)+Speed_Right_Wheel_1334)+Speed_Right_Wheel_1335)+Speed_Right_Wheel_1336)+Speed_Right_Wheel_1337)+Speed_Right_Wheel_1338)+Speed_Right_Wheel_1339)+Speed_Right_Wheel_1340)+Speed_Right_Wheel_1341)+Speed_Right_Wheel_1342)+Speed_Right_Wheel_1343)+Speed_Right_Wheel_1344)+Speed_Right_Wheel_1345)+Speed_Right_Wheel_1346)+Speed_Right_Wheel_1347)+Speed_Right_Wheel_1348)+Speed_Right_Wheel_1349)+Speed_Right_Wheel_1350)+Speed_Right_Wheel_1351)+Speed_Right_Wheel_1352)+Speed_Right_Wheel_1353)+Speed_Right_Wheel_1354)+Speed_Right_Wheel_1355)+Speed_Right_Wheel_1356)+Speed_Right_Wheel_1357)+Speed_Right_Wheel_1358)+Speed_Right_Wheel_1359)+Speed_Right_Wheel_1360)+Speed_Right_Wheel_1361)+Speed_Right_Wheel_1362)+Speed_Right_Wheel_1363)+Speed_Right_Wheel_1364)+Speed_Right_Wheel_1365)+Speed_Right_Wheel_1366)+Speed_Right_Wheel_1367)+Speed_Right_Wheel_1368)+Speed_Right_Wheel_1369)+Speed_Right_Wheel_1370)+Speed_Right_Wheel_1371)+Speed_Right_Wheel_1372)+Speed_Right_Wheel_1373)+Speed_Right_Wheel_1374)+Speed_Right_Wheel_1375)+Speed_Right_Wheel_1376)+Speed_Right_Wheel_1377)+Speed_Right_Wheel_1378)+Speed_Right_Wheel_1379)+Speed_Right_Wheel_1380)+Speed_Right_Wheel_1381)+Speed_Right_Wheel_1382)+Speed_Right_Wheel_1383)+Speed_Right_Wheel_1384)+Speed_Right_Wheel_1385)+Speed_Right_Wheel_1386)+Speed_Right_Wheel_1387)+Speed_Right_Wheel_1388)+Speed_Right_Wheel_1389)+Speed_Right_Wheel_1390)+Speed_Right_Wheel_1391)+Speed_Right_Wheel_1392)+Speed_Right_Wheel_1393)+Speed_Right_Wheel_1394)+Speed_Right_Wheel_1395)+Speed_Right_Wheel_1396)+Speed_Right_Wheel_1397)+Speed_Right_Wheel_1398)+Speed_Right_Wheel_1399)+Speed_Right_Wheel_1400)+Speed_Right_Wheel_1401)+Speed_Right_Wheel_1402)+Speed_Right_Wheel_1403)+Speed_Right_Wheel_1404)+Speed_Right_Wheel_1405)+Speed_Right_Wheel_1406)+Speed_Right_Wheel_1407)+Speed_Right_Wheel_1408)+Speed_Right_Wheel_1409)+Speed_Right_Wheel_1410)+Speed_Right_Wheel_1411)+Speed_Right_Wheel_1412)+Speed_Right_Wheel_1413)+Speed_Right_Wheel_1414)+Speed_Right_Wheel_1415)+Speed_Right_Wheel_1416)+Speed_Right_Wheel_1417)+Speed_Right_Wheel_1418)+Speed_Right_Wheel_1419)+Speed_Right_Wheel_1420)+Speed_Right_Wheel_1421)+Speed_Right_Wheel_1422)+Speed_Right_Wheel_1423)+Speed_Right_Wheel_1424)+Speed_Right_Wheel_1425)+Speed_Right_Wheel_1426)+Speed_Right_Wheel_1427)+Speed_Right_Wheel_1428)+Speed_Right_Wheel_1429)+Speed_Right_Wheel_1430)+Speed_Right_Wheel_1431)+Speed_Right_Wheel_1432)+Speed_Right_Wheel_1433)+Speed_Right_Wheel_1434)+Speed_Right_Wheel_1435)+Speed_Right_Wheel_1436)+Speed_Right_Wheel_1437)+Speed_Right_Wheel_1438)+Speed_Right_Wheel_1439)+Speed_Right_Wheel_1440)+Speed_Right_Wheel_1441)+Speed_Right_Wheel_1442)+Speed_Right_Wheel_1443)+Speed_Right_Wheel_1444)+Speed_Right_Wheel_1445)+Speed_Right_Wheel_1446)+Speed_Right_Wheel_1447)+Speed_Right_Wheel_1448)+Speed_Right_Wheel_1449)+Speed_Right_Wheel_1450)+Speed_Right_Wheel_1451)+Speed_Right_Wheel_1452)+Speed_Right_Wheel_1453)+Speed_Right_Wheel_1454)+Speed_Right_Wheel_1455)+Speed_Right_Wheel_1456)+Speed_Right_Wheel_1457)+Speed_Right_Wheel_1458)+Speed_Right_Wheel_1459)+Speed_Right_Wheel_1460)+Speed_Right_Wheel_1461)+Speed_Right_Wheel_1462)+Speed_Right_Wheel_1463)+Speed_Right_Wheel_1464)+Speed_Right_Wheel_1465)+Speed_Right_Wheel_1466)+Speed_Right_Wheel_1467)+Speed_Right_Wheel_1468)+Speed_Right_Wheel_1469)+Speed_Right_Wheel_1470)+Speed_Right_Wheel_1471)+Speed_Right_Wheel_1472)+Speed_Right_Wheel_1473)+Speed_Right_Wheel_1474)+Speed_Right_Wheel_1475)+Speed_Right_Wheel_1476)+Speed_Right_Wheel_1477)+Speed_Right_Wheel_1478)+Speed_Right_Wheel_1479)+Speed_Right_Wheel_1480)+Speed_Right_Wheel_1481)+Speed_Right_Wheel_1482)+Speed_Right_Wheel_1483)+Speed_Right_Wheel_1484)+Speed_Right_Wheel_1485)+Speed_Right_Wheel_1486)+Speed_Right_Wheel_1487)+Speed_Right_Wheel_1488)+Speed_Right_Wheel_1489)+Speed_Right_Wheel_1490)+Speed_Right_Wheel_1491)+Speed_Right_Wheel_1492)+Speed_Right_Wheel_1493)+Speed_Right_Wheel_1494)+Speed_Right_Wheel_1495)+Speed_Right_Wheel_1496)+Speed_Right_Wheel_1497)+Speed_Right_Wheel_1498)+Speed_Right_Wheel_1499)+Speed_Right_Wheel_1500)+Speed_Right_Wheel_1501)+Speed_Right_Wheel_1502)+Speed_Right_Wheel_1503)+Speed_Right_Wheel_1504)+Speed_Right_Wheel_1505)+Speed_Right_Wheel_1506)+Speed_Right_Wheel_1507)+Speed_Right_Wheel_1508)+Speed_Right_Wheel_1509)+Speed_Right_Wheel_1510)+Speed_Right_Wheel_1511)+Speed_Right_Wheel_1512)+Speed_Right_Wheel_1513)+Speed_Right_Wheel_1514)+Speed_Right_Wheel_1515)+Speed_Right_Wheel_1516)+Speed_Right_Wheel_1517)+Speed_Right_Wheel_1518)+Speed_Right_Wheel_1519)+Speed_Right_Wheel_1520)+Speed_Right_Wheel_1521)+Speed_Right_Wheel_1522)+Speed_Right_Wheel_1523)+Speed_Right_Wheel_1524)+Speed_Right_Wheel_1525)+Speed_Right_Wheel_1526)+Speed_Right_Wheel_1527)+Speed_Right_Wheel_1528)+Speed_Right_Wheel_1529)+Speed_Right_Wheel_1530)+Speed_Right_Wheel_1531)+Speed_Right_Wheel_1532)+Speed_Right_Wheel_1533)+Speed_Right_Wheel_1534)+Speed_Right_Wheel_1535)+Speed_Right_Wheel_1536)+Speed_Right_Wheel_1537)+Speed_Right_Wheel_1538)+Speed_Right_Wheel_1539)+Speed_Right_Wheel_1540)+Speed_Right_Wheel_1541)+Speed_Right_Wheel_1542)+Speed_Right_Wheel_1543)+Speed_Right_Wheel_1544)+Speed_Right_Wheel_1545)+Speed_Right_Wheel_1546)+Speed_Right_Wheel_1547)+Speed_Right_Wheel_1548)+Speed_Right_Wheel_1549)+Speed_Right_Wheel_1550)+Speed_Right_Wheel_1551)+Speed_Right_Wheel_1552)+Speed_Right_Wheel_1553)+Speed_Right_Wheel_1554)+Speed_Right_Wheel_1555)+Speed_Right_Wheel_1556)+Speed_Right_Wheel_1557)+Speed_Right_Wheel_1558)+Speed_Right_Wheel_1559)+Speed_Right_Wheel_1560)+Speed_Right_Wheel_1561)+Speed_Right_Wheel_1562)+Speed_Right_Wheel_1563)+Speed_Right_Wheel_1564)+Speed_Right_Wheel_1565)+Speed_Right_Wheel_1566)+Speed_Right_Wheel_1567)+Speed_Right_Wheel_1568)+Speed_Right_Wheel_1569)+Speed_Right_Wheel_1570)+Speed_Right_Wheel_1571)+Speed_Right_Wheel_1572)+Speed_Right_Wheel_1573)+Speed_Right_Wheel_1574)+Speed_Right_Wheel_1575)+Speed_Right_Wheel_1576)+Speed_Right_Wheel_1577)+Speed_Right_Wheel_1578)+Speed_Right_Wheel_1579)+Speed_Right_Wheel_1580)+Speed_Right_Wheel_1581)+Speed_Right_Wheel_1582)+Speed_Right_Wheel_1583)+Speed_Right_Wheel_1584)+Speed_Right_Wheel_1585)+Speed_Right_Wheel_1586)+Speed_Right_Wheel_1587)+Speed_Right_Wheel_1588)+Speed_Right_Wheel_1589)+Speed_Right_Wheel_1590)+Speed_Right_Wheel_1591)+Speed_Right_Wheel_1592)+Speed_Right_Wheel_1593)+Speed_Right_Wheel_1594)+Speed_Right_Wheel_1595)+Speed_Right_Wheel_1596)+Speed_Right_Wheel_1597)+Speed_Right_Wheel_1598)+Speed_Right_Wheel_1599)+Speed_Right_Wheel_1600)+Speed_Right_Wheel_1601)+Speed_Right_Wheel_1602)+Speed_Right_Wheel_1603)+Speed_Right_Wheel_1604)+Speed_Right_Wheel_1605)+Speed_Right_Wheel_1606)+Speed_Right_Wheel_1607)+Speed_Right_Wheel_1608)+Speed_Right_Wheel_1609)+Speed_Right_Wheel_1610)+Speed_Right_Wheel_1611)+Speed_Right_Wheel_1612)+Speed_Right_Wheel_1613)+Speed_Right_Wheel_1614)+Speed_Right_Wheel_1615)+Speed_Right_Wheel_1616)+Speed_Right_Wheel_1617)+Speed_Right_Wheel_1618)+Speed_Right_Wheel_1619)+Speed_Right_Wheel_1620)+Speed_Right_Wheel_1621)+Speed_Right_Wheel_1622)+Speed_Right_Wheel_1623)+Speed_Right_Wheel_1624)+Speed_Right_Wheel_1625)+Speed_Right_Wheel_1626)+Speed_Right_Wheel_1627)+Speed_Right_Wheel_1628)+Speed_Right_Wheel_1629)+Speed_Right_Wheel_1630)+Speed_Right_Wheel_1631)+Speed_Right_Wheel_1632)+Speed_Right_Wheel_1633)+Speed_Right_Wheel_1634)+Speed_Right_Wheel_1635)+Speed_Right_Wheel_1636)+Speed_Right_Wheel_1637)+Speed_Right_Wheel_1638)+Speed_Right_Wheel_1639)+Speed_Right_Wheel_1640)+Speed_Right_Wheel_1641)+Speed_Right_Wheel_1642)+Speed_Right_Wheel_1643)+Speed_Right_Wheel_1644)+Speed_Right_Wheel_1645)+Speed_Right_Wheel_1646)+Speed_Right_Wheel_1647)+Speed_Right_Wheel_1648)+Speed_Right_Wheel_1649)+Speed_Right_Wheel_1650)+Speed_Right_Wheel_1651)+Speed_Right_Wheel_1652)+Speed_Right_Wheel_1653)+Speed_Right_Wheel_1654)+Speed_Right_Wheel_1655)+Speed_Right_Wheel_1656)+Speed_Right_Wheel_1657)+Speed_Right_Wheel_1658)+Speed_Right_Wheel_1659)+Speed_Right_Wheel_1660)+Speed_Right_Wheel_1661)+Speed_Right_Wheel_1662)+Speed_Right_Wheel_1663)+Speed_Right_Wheel_1664)+Speed_Right_Wheel_1665)+Speed_Right_Wheel_1666)+Speed_Right_Wheel_1667)+Speed_Right_Wheel_1668)+Speed_Right_Wheel_1669)+Speed_Right_Wheel_1670)+Speed_Right_Wheel_1671)+Speed_Right_Wheel_1672)+Speed_Right_Wheel_1673)+Speed_Right_Wheel_1674)+Speed_Right_Wheel_1675)+Speed_Right_Wheel_1676)+Speed_Right_Wheel_1677)+Speed_Right_Wheel_1678)+Speed_Right_Wheel_1679)+Speed_Right_Wheel_1680)+Speed_Right_Wheel_1681)+Speed_Right_Wheel_1682)+Speed_Right_Wheel_1683)+Speed_Right_Wheel_1684)+Speed_Right_Wheel_1685)+Speed_Right_Wheel_1686)+Speed_Right_Wheel_1687)+Speed_Right_Wheel_1688)+Speed_Right_Wheel_1689)+Speed_Right_Wheel_1690)+Speed_Right_Wheel_1691)+Speed_Right_Wheel_1692)+Speed_Right_Wheel_1693)+Speed_Right_Wheel_1694)+Speed_Right_Wheel_1695)+Speed_Right_Wheel_1696)+Speed_Right_Wheel_1697)+Speed_Right_Wheel_1698)+Speed_Right_Wheel_1699)+Speed_Right_Wheel_1700)+Speed_Right_Wheel_1701)+Speed_Right_Wheel_1702)+Speed_Right_Wheel_1703)+Speed_Right_Wheel_1704)+Speed_Right_Wheel_1705)+Speed_Right_Wheel_1706)+Speed_Right_Wheel_1707)+Speed_Right_Wheel_1708)+Speed_Right_Wheel_1709)+Speed_Right_Wheel_1710)+Speed_Right_Wheel_1711)+Speed_Right_Wheel_1712)+Speed_Right_Wheel_1713)+Speed_Right_Wheel_1714)+Speed_Right_Wheel_1715)+Speed_Right_Wheel_1716)+Speed_Right_Wheel_1717)+Speed_Right_Wheel_1718)+Speed_Right_Wheel_1719)+Speed_Right_Wheel_1720)+Speed_Right_Wheel_1721)+Speed_Right_Wheel_1722)+Speed_Right_Wheel_1723)+Speed_Right_Wheel_1724)+Speed_Right_Wheel_1725)+Speed_Right_Wheel_1726)+Speed_Right_Wheel_1727)+Speed_Right_Wheel_1728)+Speed_Right_Wheel_1729)+Speed_Right_Wheel_1730)+Speed_Right_Wheel_1731)+Speed_Right_Wheel_1732)+Speed_Right_Wheel_1733)+Speed_Right_Wheel_1734)+Speed_Right_Wheel_1735)+Speed_Right_Wheel_1736)+Speed_Right_Wheel_1737)+Speed_Right_Wheel_1738)+Speed_Right_Wheel_1739)+Speed_Right_Wheel_1740)+Speed_Right_Wheel_1741)+Speed_Right_Wheel_1742)+Speed_Right_Wheel_1743)+Speed_Right_Wheel_1744)+Speed_Right_Wheel_1745)+Speed_Right_Wheel_1746)+Speed_Right_Wheel_1747)+Speed_Right_Wheel_1748)+Speed_Right_Wheel_1749)+Speed_Right_Wheel_1750)+Speed_Right_Wheel_1751)+Speed_Right_Wheel_1752)+Speed_Right_Wheel_1753)+Speed_Right_Wheel_1754)+Speed_Right_Wheel_1755)+Speed_Right_Wheel_1756)+Speed_Right_Wheel_1757)+Speed_Right_Wheel_1758)+Speed_Right_Wheel_1759)+Speed_Right_Wheel_1760)+Speed_Right_Wheel_1761)+Speed_Right_Wheel_1762)+Speed_Right_Wheel_1763)+Speed_Right_Wheel_1764)+Speed_Right_Wheel_1765)+Speed_Right_Wheel_1766)+Speed_Right_Wheel_1767)+Speed_Right_Wheel_1768)+Speed_Right_Wheel_1769)+Speed_Right_Wheel_1770)+Speed_Right_Wheel_1771)+Speed_Right_Wheel_1772)+Speed_Right_Wheel_1773)+Speed_Right_Wheel_1774)+Speed_Right_Wheel_1775)+Speed_Right_Wheel_1776)+Speed_Right_Wheel_1777)+Speed_Right_Wheel_1778)+Speed_Right_Wheel_1779)+Speed_Right_Wheel_1780)+Speed_Right_Wheel_1781)+Speed_Right_Wheel_1782)+Speed_Right_Wheel_1783)+Speed_Right_Wheel_1784)+Speed_Right_Wheel_1785)+Speed_Right_Wheel_1786)+Speed_Right_Wheel_1787)+Speed_Right_Wheel_1788)+Speed_Right_Wheel_1789)+Speed_Right_Wheel_1790)+Speed_Right_Wheel_1791)+Speed_Right_Wheel_1792)+Speed_Right_Wheel_1793)+Speed_Right_Wheel_1794)+Speed_Right_Wheel_1795)+Speed_Right_Wheel_1796)+Speed_Right_Wheel_1797)+Speed_Right_Wheel_1798)+Speed_Right_Wheel_1799)+Speed_Right_Wheel_1800)+Speed_Right_Wheel_1801)+Speed_Right_Wheel_1802)+Speed_Right_Wheel_1803)+Speed_Right_Wheel_1804)+Speed_Right_Wheel_1805)+Speed_Right_Wheel_1806)+Speed_Right_Wheel_1807)+Speed_Right_Wheel_1808)+Speed_Right_Wheel_1809)+Speed_Right_Wheel_1810)+Speed_Right_Wheel_1811)+Speed_Right_Wheel_1812)+Speed_Right_Wheel_1813)+Speed_Right_Wheel_1814)+Speed_Right_Wheel_1815)+Speed_Right_Wheel_1816)+Speed_Right_Wheel_1817)+Speed_Right_Wheel_1818)+Speed_Right_Wheel_1819)+Speed_Right_Wheel_1820)+Speed_Right_Wheel_1821)+Speed_Right_Wheel_1822)+Speed_Right_Wheel_1823)+Speed_Right_Wheel_1824)+Speed_Right_Wheel_1825)+Speed_Right_Wheel_1826)+Speed_Right_Wheel_1827)+Speed_Right_Wheel_1828)+Speed_Right_Wheel_1829)+Speed_Right_Wheel_1830)+Speed_Right_Wheel_1831)+Speed_Right_Wheel_1832)+Speed_Right_Wheel_1833)+Speed_Right_Wheel_1834)+Speed_Right_Wheel_1835)+Speed_Right_Wheel_1836)+Speed_Right_Wheel_1837)+Speed_Right_Wheel_1838)+Speed_Right_Wheel_1839)+Speed_Right_Wheel_1840)+Speed_Right_Wheel_1841)+Speed_Right_Wheel_1842)+Speed_Right_Wheel_1843)+Speed_Right_Wheel_1844)+Speed_Right_Wheel_1845)+Speed_Right_Wheel_1846)+Speed_Right_Wheel_1847)+Speed_Right_Wheel_1848)+Speed_Right_Wheel_1849)+Speed_Right_Wheel_1850)+Speed_Right_Wheel_1851)+Speed_Right_Wheel_1852)+Speed_Right_Wheel_1853)+Speed_Right_Wheel_1854)+Speed_Right_Wheel_1855)+Speed_Right_Wheel_1856)+Speed_Right_Wheel_1857)+Speed_Right_Wheel_1858)+Speed_Right_Wheel_1859)+Speed_Right_Wheel_1860)+Speed_Right_Wheel_1861)+Speed_Right_Wheel_1862)+Speed_Right_Wheel_1863)+Speed_Right_Wheel_1864)+Speed_Right_Wheel_1865)+Speed_Right_Wheel_1866)+Speed_Right_Wheel_1867)+Speed_Right_Wheel_1868)+Speed_Right_Wheel_1869)+Speed_Right_Wheel_1870)+Speed_Right_Wheel_1871)+Speed_Right_Wheel_1872)+Speed_Right_Wheel_1873)+Speed_Right_Wheel_1874)+Speed_Right_Wheel_1875)+Speed_Right_Wheel_1876)+Speed_Right_Wheel_1877)+Speed_Right_Wheel_1878)+Speed_Right_Wheel_1879)+Speed_Right_Wheel_1880)+Speed_Right_Wheel_1881)+Speed_Right_Wheel_1882)+Speed_Right_Wheel_1883)+Speed_Right_Wheel_1884)+Speed_Right_Wheel_1885)+Speed_Right_Wheel_1886)+Speed_Right_Wheel_1887)+Speed_Right_Wheel_1888)+Speed_Right_Wheel_1889)+Speed_Right_Wheel_1890)+Speed_Right_Wheel_1891)+Speed_Right_Wheel_1892)+Speed_Right_Wheel_1893)+Speed_Right_Wheel_1894)+Speed_Right_Wheel_1895)+Speed_Right_Wheel_1896)+Speed_Right_Wheel_1897)+Speed_Right_Wheel_1898)+Speed_Right_Wheel_1899)+Speed_Right_Wheel_1900)+Speed_Right_Wheel_1901)+Speed_Right_Wheel_1902)+Speed_Right_Wheel_1903)+Speed_Right_Wheel_1904)+Speed_Right_Wheel_1905)+Speed_Right_Wheel_1906)+Speed_Right_Wheel_1907)+Speed_Right_Wheel_1908)+Speed_Right_Wheel_1909)+Speed_Right_Wheel_1910)+Speed_Right_Wheel_1911)+Speed_Right_Wheel_1912)+Speed_Right_Wheel_1913)+Speed_Right_Wheel_1914)+Speed_Right_Wheel_1915)+Speed_Right_Wheel_1916)+Speed_Right_Wheel_1917)+Speed_Right_Wheel_1918)+Speed_Right_Wheel_1919)+Speed_Right_Wheel_1920)+Speed_Right_Wheel_1921)+Speed_Right_Wheel_1922)+Speed_Right_Wheel_1923)+Speed_Right_Wheel_1924)+Speed_Right_Wheel_1925)+Speed_Right_Wheel_1926)+Speed_Right_Wheel_1927)+Speed_Right_Wheel_1928)+Speed_Right_Wheel_1929)+Speed_Right_Wheel_1930)+Speed_Right_Wheel_1931)+Speed_Right_Wheel_1932)+Speed_Right_Wheel_1933)+Speed_Right_Wheel_1934)+Speed_Right_Wheel_1935)+Speed_Right_Wheel_1936)+Speed_Right_Wheel_1937)+Speed_Right_Wheel_1938)+Speed_Right_Wheel_1939)+Speed_Right_Wheel_1940)+Speed_Right_Wheel_1941)+Speed_Right_Wheel_1942)+Speed_Right_Wheel_1943)+Speed_Right_Wheel_1944)+Speed_Right_Wheel_1945)+Speed_Right_Wheel_1946)+Speed_Right_Wheel_1947)+Speed_Right_Wheel_1948)+Speed_Right_Wheel_1949)+Speed_Right_Wheel_1950)+Speed_Right_Wheel_1951)+Speed_Right_Wheel_1952)+Speed_Right_Wheel_1953)+Speed_Right_Wheel_1954)+Speed_Right_Wheel_1955)+Speed_Right_Wheel_1956)+Speed_Right_Wheel_1957)+Speed_Right_Wheel_1958)+Speed_Right_Wheel_1959)+Speed_Right_Wheel_1960)+Speed_Right_Wheel_1961)+Speed_Right_Wheel_1962)+Speed_Right_Wheel_1963)+Speed_Right_Wheel_1964)+Speed_Right_Wheel_1965)+Speed_Right_Wheel_1966)+Speed_Right_Wheel_1967)+Speed_Right_Wheel_1968)+Speed_Right_Wheel_1969)+Speed_Right_Wheel_1970)+Speed_Right_Wheel_1971)+Speed_Right_Wheel_1972)+Speed_Right_Wheel_1973)+Speed_Right_Wheel_1974)+Speed_Right_Wheel_1975)+Speed_Right_Wheel_1976)+Speed_Right_Wheel_1977)+Speed_Right_Wheel_1978)+Speed_Right_Wheel_1979)+Speed_Right_Wheel_1980)+Speed_Right_Wheel_1981)+Speed_Right_Wheel_1982)+Speed_Right_Wheel_1983)+Speed_Right_Wheel_1984)+Speed_Right_Wheel_1985)+Speed_Right_Wheel_1986)+Speed_Right_Wheel_1987)+Speed_Right_Wheel_1988)+Speed_Right_Wheel_1989)+Speed_Right_Wheel_1990)+Speed_Right_Wheel_1991)+Speed_Right_Wheel_1992)+Speed_Right_Wheel_1993)+Speed_Right_Wheel_1994)+Speed_Right_Wheel_1995)+Speed_Right_Wheel_1996)+Speed_Right_Wheel_1997)+Speed_Right_Wheel_1998)+Speed_Right_Wheel_1999)>=2))||((stp2_0>=1)||((Plane_On_Ground_Signal_no_0+Plane_On_Ground_Signal_no_1)<=P6_0)))))
=> equivalent forward existential formula: [(EY(Init) * !(((!((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Speed_Right_Wheel_0+Speed_Right_Wheel_1)+Speed_Right_Wheel_2)+Speed_Right_Wheel_3)+Speed_Right_Wheel_4)+Speed_Right_Wheel_5)+Speed_Right_Wheel_6)+Speed_Right_Wheel_7)+Speed_Right_Wheel_8)+Speed_Right_Wheel_9)+Speed_Right_Wheel_10)+Speed_Right_Wheel_11)+Speed_Right_Wheel_12)+Speed_Right_Wheel_13)+Speed_Right_Wheel_14)+Speed_Right_Wheel_15)+Speed_Right_Wheel_16)+Speed_Right_Wheel_17)+Speed_Right_Wheel_18)+Speed_Right_Wheel_19)+Speed_Right_Wheel_20)+Speed_Right_Wheel_21)+Speed_Right_Wheel_22)+Speed_Right_Wheel_23)+Speed_Right_Wheel_24)+Speed_Right_Wheel_25)+Speed_Right_Wheel_26)+Speed_Right_Wheel_27)+Speed_Right_Wheel_28)+Speed_Right_Wheel_29)+Speed_Right_Wheel_30)+Speed_Right_Wheel_31)+Speed_Right_Wheel_32)+Speed_Right_Wheel_33)+Speed_Right_Wheel_34)+Speed_Right_Wheel_35)+Speed_Right_Wheel_36)+Speed_Right_Wheel_37)+Speed_Right_Wheel_38)+Speed_Right_Wheel_39)+Speed_Right_Wheel_40)+Speed_Right_Wheel_41)+Speed_Right_Wheel_42)+Speed_Right_Wheel_43)+Speed_Right_Wheel_44)+Speed_Right_Wheel_45)+Speed_Right_Wheel_46)+Speed_Right_Wheel_47)+Speed_Right_Wheel_48)+Speed_Right_Wheel_49)+Speed_Right_Wheel_50)+Speed_Right_Wheel_51)+Speed_Right_Wheel_52)+Speed_Right_Wheel_53)+Speed_Right_Wheel_54)+Speed_Right_Wheel_55)+Speed_Right_Wheel_56)+Speed_Right_Wheel_57)+Speed_Right_Wheel_58)+Speed_Right_Wheel_59)+Speed_Right_Wheel_60)+Speed_Right_Wheel_61)+Speed_Right_Wheel_62)+Speed_Right_Wheel_63)+Speed_Right_Wheel_64)+Speed_Right_Wheel_65)+Speed_Right_Wheel_66)+Speed_Right_Wheel_67)+Speed_Right_Wheel_68)+Speed_Right_Wheel_69)+Speed_Right_Wheel_70)+Speed_Right_Wheel_71)+Speed_Right_Wheel_72)+Speed_Right_Wheel_73)+Speed_Right_Wheel_74)+Speed_Right_Wheel_75)+Speed_Right_Wheel_76)+Speed_Right_Wheel_77)+Speed_Right_Wheel_78)+Speed_Right_Wheel_79)+Speed_Right_Wheel_80)+Speed_Right_Wheel_81)+Speed_Right_Wheel_82)+Speed_Right_Wheel_83)+Speed_Right_Wheel_84)+Speed_Right_Wheel_85)+Speed_Right_Wheel_86)+Speed_Right_Wheel_87)+Speed_Right_Wheel_88)+Speed_Right_Wheel_89)+Speed_Right_Wheel_90)+Speed_Right_Wheel_91)+Speed_Right_Wheel_92)+Speed_Right_Wheel_93)+Speed_Right_Wheel_94)+Speed_Right_Wheel_95)+Speed_Right_Wheel_96)+Speed_Right_Wheel_97)+Speed_Right_Wheel_98)+Speed_Right_Wheel_99)+Speed_Right_Wheel_100)+Speed_Right_Wheel_101)+Speed_Right_Wheel_102)+Speed_Right_Wheel_103)+Speed_Right_Wheel_104)+Speed_Right_Wheel_105)+Speed_Right_Wheel_106)+Speed_Right_Wheel_107)+Speed_Right_Wheel_108)+Speed_Right_Wheel_109)+Speed_Right_Wheel_110)+Speed_Right_Wheel_111)+Speed_Right_Wheel_112)+Speed_Right_Wheel_113)+Speed_Right_Wheel_114)+Speed_Right_Wheel_115)+Speed_Right_Wheel_116)+Speed_Right_Wheel_117)+Speed_Right_Wheel_118)+Speed_Right_Wheel_119)+Speed_Right_Wheel_120)+Speed_Right_Wheel_121)+Speed_Right_Wheel_122)+Speed_Right_Wheel_123)+Speed_Right_Wheel_124)+Speed_Right_Wheel_125)+Speed_Right_Wheel_126)+Speed_Right_Wheel_127)+Speed_Right_Wheel_128)+Speed_Right_Wheel_129)+Speed_Right_Wheel_130)+Speed_Right_Wheel_131)+Speed_Right_Wheel_132)+Speed_Right_Wheel_133)+Speed_Right_Wheel_134)+Speed_Right_Wheel_135)+Speed_Right_Wheel_136)+Speed_Right_Wheel_137)+Speed_Right_Wheel_138)+Speed_Right_Wheel_139)+Speed_Right_Wheel_140)+Speed_Right_Wheel_141)+Speed_Right_Wheel_142)+Speed_Right_Wheel_143)+Speed_Right_Wheel_144)+Speed_Right_Wheel_145)+Speed_Right_Wheel_146)+Speed_Right_Wheel_147)+Speed_Right_Wheel_148)+Speed_Right_Wheel_149)+Speed_Right_Wheel_150)+Speed_Right_Wheel_151)+Speed_Right_Wheel_152)+Speed_Right_Wheel_153)+Speed_Right_Wheel_154)+Speed_Right_Wheel_155)+Speed_Right_Wheel_156)+Speed_Right_Wheel_157)+Speed_Right_Wheel_158)+Speed_Right_Wheel_159)+Speed_Right_Wheel_160)+Speed_Right_Wheel_161)+Speed_Right_Wheel_162)+Speed_Right_Wheel_163)+Speed_Right_Wheel_164)+Speed_Right_Wheel_165)+Speed_Right_Wheel_166)+Speed_Right_Wheel_167)+Speed_Right_Wheel_168)+Speed_Right_Wheel_169)+Speed_Right_Wheel_170)+Speed_Right_Wheel_171)+Speed_Right_Wheel_172)+Speed_Right_Wheel_173)+Speed_Right_Wheel_174)+Speed_Right_Wheel_175)+Speed_Right_Wheel_176)+Speed_Right_Wheel_177)+Speed_Right_Wheel_178)+Speed_Right_Wheel_179)+Speed_Right_Wheel_180)+Speed_Right_Wheel_181)+Speed_Right_Wheel_182)+Speed_Right_Wheel_183)+Speed_Right_Wheel_184)+Speed_Right_Wheel_185)+Speed_Right_Wheel_186)+Speed_Right_Wheel_187)+Speed_Right_Wheel_188)+Speed_Right_Wheel_189)+Speed_Right_Wheel_190)+Speed_Right_Wheel_191)+Speed_Right_Wheel_192)+Speed_Right_Wheel_193)+Speed_Right_Wheel_194)+Speed_Right_Wheel_195)+Speed_Right_Wheel_196)+Speed_Right_Wheel_197)+Speed_Right_Wheel_198)+Speed_Right_Wheel_199)+Speed_Right_Wheel_200)+Speed_Right_Wheel_201)+Speed_Right_Wheel_202)+Speed_Right_Wheel_203)+Speed_Right_Wheel_204)+Speed_Right_Wheel_205)+Speed_Right_Wheel_206)+Speed_Right_Wheel_207)+Speed_Right_Wheel_208)+Speed_Right_Wheel_209)+Speed_Right_Wheel_210)+Speed_Right_Wheel_211)+Speed_Right_Wheel_212)+Speed_Right_Wheel_213)+Speed_Right_Wheel_214)+Speed_Right_Wheel_215)+Speed_Right_Wheel_216)+Speed_Right_Wheel_217)+Speed_Right_Wheel_218)+Speed_Right_Wheel_219)+Speed_Right_Wheel_220)+Speed_Right_Wheel_221)+Speed_Right_Wheel_222)+Speed_Right_Wheel_223)+Speed_Right_Wheel_224)+Speed_Right_Wheel_225)+Speed_Right_Wheel_226)+Speed_Right_Wheel_227)+Speed_Right_Wheel_228)+Speed_Right_Wheel_229)+Speed_Right_Wheel_230)+Speed_Right_Wheel_231)+Speed_Right_Wheel_232)+Speed_Right_Wheel_233)+Speed_Right_Wheel_234)+Speed_Right_Wheel_235)+Speed_Right_Wheel_236)+Speed_Right_Wheel_237)+Speed_Right_Wheel_238)+Speed_Right_Wheel_239)+Speed_Right_Wheel_240)+Speed_Right_Wheel_241)+Speed_Right_Wheel_242)+Speed_Right_Wheel_243)+Speed_Right_Wheel_244)+Speed_Right_Wheel_245)+Speed_Right_Wheel_246)+Speed_Right_Wheel_247)+Speed_Right_Wheel_248)+Speed_Right_Wheel_249)+Speed_Right_Wheel_250)+Speed_Right_Wheel_251)+Speed_Right_Wheel_252)+Speed_Right_Wheel_253)+Speed_Right_Wheel_254)+Speed_Right_Wheel_255)+Speed_Right_Wheel_256)+Speed_Right_Wheel_257)+Speed_Right_Wheel_258)+Speed_Right_Wheel_259)+Speed_Right_Wheel_260)+Speed_Right_Wheel_261)+Speed_Right_Wheel_262)+Speed_Right_Wheel_263)+Speed_Right_Wheel_264)+Speed_Right_Wheel_265)+Speed_Right_Wheel_266)+Speed_Right_Wheel_267)+Speed_Right_Wheel_268)+Speed_Right_Wheel_269)+Speed_Right_Wheel_270)+Speed_Right_Wheel_271)+Speed_Right_Wheel_272)+Speed_Right_Wheel_273)+Speed_Right_Wheel_274)+Speed_Right_Wheel_275)+Speed_Right_Wheel_276)+Speed_Right_Wheel_277)+Speed_Right_Wheel_278)+Speed_Right_Wheel_279)+Speed_Right_Wheel_280)+Speed_Right_Wheel_281)+Speed_Right_Wheel_282)+Speed_Right_Wheel_283)+Speed_Right_Wheel_284)+Speed_Right_Wheel_285)+Speed_Right_Wheel_286)+Speed_Right_Wheel_287)+Speed_Right_Wheel_288)+Speed_Right_Wheel_289)+Speed_Right_Wheel_290)+Speed_Right_Wheel_291)+Speed_Right_Wheel_292)+Speed_Right_Wheel_293)+Speed_Right_Wheel_294)+Speed_Right_Wheel_295)+Speed_Right_Wheel_296)+Speed_Right_Wheel_297)+Speed_Right_Wheel_298)+Speed_Right_Wheel_299)+Speed_Right_Wheel_300)+Speed_Right_Wheel_301)+Speed_Right_Wheel_302)+Speed_Right_Wheel_303)+Speed_Right_Wheel_304)+Speed_Right_Wheel_305)+Speed_Right_Wheel_306)+Speed_Right_Wheel_307)+Speed_Right_Wheel_308)+Speed_Right_Wheel_309)+Speed_Right_Wheel_310)+Speed_Right_Wheel_311)+Speed_Right_Wheel_312)+Speed_Right_Wheel_313)+Speed_Right_Wheel_314)+Speed_Right_Wheel_315)+Speed_Right_Wheel_316)+Speed_Right_Wheel_317)+Speed_Right_Wheel_318)+Speed_Right_Wheel_319)+Speed_Right_Wheel_320)+Speed_Right_Wheel_321)+Speed_Right_Wheel_322)+Speed_Right_Wheel_323)+Speed_Right_Wheel_324)+Speed_Right_Wheel_325)+Speed_Right_Wheel_326)+Speed_Right_Wheel_327)+Speed_Right_Wheel_328)+Speed_Right_Wheel_329)+Speed_Right_Wheel_330)+Speed_Right_Wheel_331)+Speed_Right_Wheel_332)+Speed_Right_Wheel_333)+Speed_Right_Wheel_334)+Speed_Right_Wheel_335)+Speed_Right_Wheel_336)+Speed_Right_Wheel_337)+Speed_Right_Wheel_338)+Speed_Right_Wheel_339)+Speed_Right_Wheel_340)+Speed_Right_Wheel_341)+Speed_Right_Wheel_342)+Speed_Right_Wheel_343)+Speed_Right_Wheel_344)+Speed_Right_Wheel_345)+Speed_Right_Wheel_346)+Speed_Right_Wheel_347)+Speed_Right_Wheel_348)+Speed_Right_Wheel_349)+Speed_Right_Wheel_350)+Speed_Right_Wheel_351)+Speed_Right_Wheel_352)+Speed_Right_Wheel_353)+Speed_Right_Wheel_354)+Speed_Right_Wheel_355)+Speed_Right_Wheel_356)+Speed_Right_Wheel_357)+Speed_Right_Wheel_358)+Speed_Right_Wheel_359)+Speed_Right_Wheel_360)+Speed_Right_Wheel_361)+Speed_Right_Wheel_362)+Speed_Right_Wheel_363)+Speed_Right_Wheel_364)+Speed_Right_Wheel_365)+Speed_Right_Wheel_366)+Speed_Right_Wheel_367)+Speed_Right_Wheel_368)+Speed_Right_Wheel_369)+Speed_Right_Wheel_370)+Speed_Right_Wheel_371)+Speed_Right_Wheel_372)+Speed_Right_Wheel_373)+Speed_Right_Wheel_374)+Speed_Right_Wheel_375)+Speed_Right_Wheel_376)+Speed_Right_Wheel_377)+Speed_Right_Wheel_378)+Speed_Right_Wheel_379)+Speed_Right_Wheel_380)+Speed_Right_Wheel_381)+Speed_Right_Wheel_382)+Speed_Right_Wheel_383)+Speed_Right_Wheel_384)+Speed_Right_Wheel_385)+Speed_Right_Wheel_386)+Speed_Right_Wheel_387)+Speed_Right_Wheel_388)+Speed_Right_Wheel_389)+Speed_Right_Wheel_390)+Speed_Right_Wheel_391)+Speed_Right_Wheel_392)+Speed_Right_Wheel_393)+Speed_Right_Wheel_394)+Speed_Right_Wheel_395)+Speed_Right_Wheel_396)+Speed_Right_Wheel_397)+Speed_Right_Wheel_398)+Speed_Right_Wheel_399)+Speed_Right_Wheel_400)+Speed_Right_Wheel_401)+Speed_Right_Wheel_402)+Speed_Right_Wheel_403)+Speed_Right_Wheel_404)+Speed_Right_Wheel_405)+Speed_Right_Wheel_406)+Speed_Right_Wheel_407)+Speed_Right_Wheel_408)+Speed_Right_Wheel_409)+Speed_Right_Wheel_410)+Speed_Right_Wheel_411)+Speed_Right_Wheel_412)+Speed_Right_Wheel_413)+Speed_Right_Wheel_414)+Speed_Right_Wheel_415)+Speed_Right_Wheel_416)+Speed_Right_Wheel_417)+Speed_Right_Wheel_418)+Speed_Right_Wheel_419)+Speed_Right_Wheel_420)+Speed_Right_Wheel_421)+Speed_Right_Wheel_422)+Speed_Right_Wheel_423)+Speed_Right_Wheel_424)+Speed_Right_Wheel_425)+Speed_Right_Wheel_426)+Speed_Right_Wheel_427)+Speed_Right_Wheel_428)+Speed_Right_Wheel_429)+Speed_Right_Wheel_430)+Speed_Right_Wheel_431)+Speed_Right_Wheel_432)+Speed_Right_Wheel_433)+Speed_Right_Wheel_434)+Speed_Right_Wheel_435)+Speed_Right_Wheel_436)+Speed_Right_Wheel_437)+Speed_Right_Wheel_438)+Speed_Right_Wheel_439)+Speed_Right_Wheel_440)+Speed_Right_Wheel_441)+Speed_Right_Wheel_442)+Speed_Right_Wheel_443)+Speed_Right_Wheel_444)+Speed_Right_Wheel_445)+Speed_Right_Wheel_446)+Speed_Right_Wheel_447)+Speed_Right_Wheel_448)+Speed_Right_Wheel_449)+Speed_Right_Wheel_450)+Speed_Right_Wheel_451)+Speed_Right_Wheel_452)+Speed_Right_Wheel_453)+Speed_Right_Wheel_454)+Speed_Right_Wheel_455)+Speed_Right_Wheel_456)+Speed_Right_Wheel_457)+Speed_Right_Wheel_458)+Speed_Right_Wheel_459)+Speed_Right_Wheel_460)+Speed_Right_Wheel_461)+Speed_Right_Wheel_462)+Speed_Right_Wheel_463)+Speed_Right_Wheel_464)+Speed_Right_Wheel_465)+Speed_Right_Wheel_466)+Speed_Right_Wheel_467)+Speed_Right_Wheel_468)+Speed_Right_Wheel_469)+Speed_Right_Wheel_470)+Speed_Right_Wheel_471)+Speed_Right_Wheel_472)+Speed_Right_Wheel_473)+Speed_Right_Wheel_474)+Speed_Right_Wheel_475)+Speed_Right_Wheel_476)+Speed_Right_Wheel_477)+Speed_Right_Wheel_478)+Speed_Right_Wheel_479)+Speed_Right_Wheel_480)+Speed_Right_Wheel_481)+Speed_Right_Wheel_482)+Speed_Right_Wheel_483)+Speed_Right_Wheel_484)+Speed_Right_Wheel_485)+Speed_Right_Wheel_486)+Speed_Right_Wheel_487)+Speed_Right_Wheel_488)+Speed_Right_Wheel_489)+Speed_Right_Wheel_490)+Speed_Right_Wheel_491)+Speed_Right_Wheel_492)+Speed_Right_Wheel_493)+Speed_Right_Wheel_494)+Speed_Right_Wheel_495)+Speed_Right_Wheel_496)+Speed_Right_Wheel_497)+Speed_Right_Wheel_498)+Speed_Right_Wheel_499)+Speed_Right_Wheel_500)+Speed_Right_Wheel_501)+Speed_Right_Wheel_502)+Speed_Right_Wheel_503)+Speed_Right_Wheel_504)+Speed_Right_Wheel_505)+Speed_Right_Wheel_506)+Speed_Right_Wheel_507)+Speed_Right_Wheel_508)+Speed_Right_Wheel_509)+Speed_Right_Wheel_510)+Speed_Right_Wheel_511)+Speed_Right_Wheel_512)+Speed_Right_Wheel_513)+Speed_Right_Wheel_514)+Speed_Right_Wheel_515)+Speed_Right_Wheel_516)+Speed_Right_Wheel_517)+Speed_Right_Wheel_518)+Speed_Right_Wheel_519)+Speed_Right_Wheel_520)+Speed_Right_Wheel_521)+Speed_Right_Wheel_522)+Speed_Right_Wheel_523)+Speed_Right_Wheel_524)+Speed_Right_Wheel_525)+Speed_Right_Wheel_526)+Speed_Right_Wheel_527)+Speed_Right_Wheel_528)+Speed_Right_Wheel_529)+Speed_Right_Wheel_530)+Speed_Right_Wheel_531)+Speed_Right_Wheel_532)+Speed_Right_Wheel_533)+Speed_Right_Wheel_534)+Speed_Right_Wheel_535)+Speed_Right_Wheel_536)+Speed_Right_Wheel_537)+Speed_Right_Wheel_538)+Speed_Right_Wheel_539)+Speed_Right_Wheel_540)+Speed_Right_Wheel_541)+Speed_Right_Wheel_542)+Speed_Right_Wheel_543)+Speed_Right_Wheel_544)+Speed_Right_Wheel_545)+Speed_Right_Wheel_546)+Speed_Right_Wheel_547)+Speed_Right_Wheel_548)+Speed_Right_Wheel_549)+Speed_Right_Wheel_550)+Speed_Right_Wheel_551)+Speed_Right_Wheel_552)+Speed_Right_Wheel_553)+Speed_Right_Wheel_554)+Speed_Right_Wheel_555)+Speed_Right_Wheel_556)+Speed_Right_Wheel_557)+Speed_Right_Wheel_558)+Speed_Right_Wheel_559)+Speed_Right_Wheel_560)+Speed_Right_Wheel_561)+Speed_Right_Wheel_562)+Speed_Right_Wheel_563)+Speed_Right_Wheel_564)+Speed_Right_Wheel_565)+Speed_Right_Wheel_566)+Speed_Right_Wheel_567)+Speed_Right_Wheel_568)+Speed_Right_Wheel_569)+Speed_Right_Wheel_570)+Speed_Right_Wheel_571)+Speed_Right_Wheel_572)+Speed_Right_Wheel_573)+Speed_Right_Wheel_574)+Speed_Right_Wheel_575)+Speed_Right_Wheel_576)+Speed_Right_Wheel_577)+Speed_Right_Wheel_578)+Speed_Right_Wheel_579)+Speed_Right_Wheel_580)+Speed_Right_Wheel_581)+Speed_Right_Wheel_582)+Speed_Right_Wheel_583)+Speed_Right_Wheel_584)+Speed_Right_Wheel_585)+Speed_Right_Wheel_586)+Speed_Right_Wheel_587)+Speed_Right_Wheel_588)+Speed_Right_Wheel_589)+Speed_Right_Wheel_590)+Speed_Right_Wheel_591)+Speed_Right_Wheel_592)+Speed_Right_Wheel_593)+Speed_Right_Wheel_594)+Speed_Right_Wheel_595)+Speed_Right_Wheel_596)+Speed_Right_Wheel_597)+Speed_Right_Wheel_598)+Speed_Right_Wheel_599)+Speed_Right_Wheel_600)+Speed_Right_Wheel_601)+Speed_Right_Wheel_602)+Speed_Right_Wheel_603)+Speed_Right_Wheel_604)+Speed_Right_Wheel_605)+Speed_Right_Wheel_606)+Speed_Right_Wheel_607)+Speed_Right_Wheel_608)+Speed_Right_Wheel_609)+Speed_Right_Wheel_610)+Speed_Right_Wheel_611)+Speed_Right_Wheel_612)+Speed_Right_Wheel_613)+Speed_Right_Wheel_614)+Speed_Right_Wheel_615)+Speed_Right_Wheel_616)+Speed_Right_Wheel_617)+Speed_Right_Wheel_618)+Speed_Right_Wheel_619)+Speed_Right_Wheel_620)+Speed_Right_Wheel_621)+Speed_Right_Wheel_622)+Speed_Right_Wheel_623)+Speed_Right_Wheel_624)+Speed_Right_Wheel_625)+Speed_Right_Wheel_626)+Speed_Right_Wheel_627)+Speed_Right_Wheel_628)+Speed_Right_Wheel_629)+Speed_Right_Wheel_630)+Speed_Right_Wheel_631)+Speed_Right_Wheel_632)+Speed_Right_Wheel_633)+Speed_Right_Wheel_634)+Speed_Right_Wheel_635)+Speed_Right_Wheel_636)+Speed_Right_Wheel_637)+Speed_Right_Wheel_638)+Speed_Right_Wheel_639)+Speed_Right_Wheel_640)+Speed_Right_Wheel_641)+Speed_Right_Wheel_642)+Speed_Right_Wheel_643)+Speed_Right_Wheel_644)+Speed_Right_Wheel_645)+Speed_Right_Wheel_646)+Speed_Right_Wheel_647)+Speed_Right_Wheel_648)+Speed_Right_Wheel_649)+Speed_Right_Wheel_650)+Speed_Right_Wheel_651)+Speed_Right_Wheel_652)+Speed_Right_Wheel_653)+Speed_Right_Wheel_654)+Speed_Right_Wheel_655)+Speed_Right_Wheel_656)+Speed_Right_Wheel_657)+Speed_Right_Wheel_658)+Speed_Right_Wheel_659)+Speed_Right_Wheel_660)+Speed_Right_Wheel_661)+Speed_Right_Wheel_662)+Speed_Right_Wheel_663)+Speed_Right_Wheel_664)+Speed_Right_Wheel_665)+Speed_Right_Wheel_666)+Speed_Right_Wheel_667)+Speed_Right_Wheel_668)+Speed_Right_Wheel_669)+Speed_Right_Wheel_670)+Speed_Right_Wheel_671)+Speed_Right_Wheel_672)+Speed_Right_Wheel_673)+Speed_Right_Wheel_674)+Speed_Right_Wheel_675)+Speed_Right_Wheel_676)+Speed_Right_Wheel_677)+Speed_Right_Wheel_678)+Speed_Right_Wheel_679)+Speed_Right_Wheel_680)+Speed_Right_Wheel_681)+Speed_Right_Wheel_682)+Speed_Right_Wheel_683)+Speed_Right_Wheel_684)+Speed_Right_Wheel_685)+Speed_Right_Wheel_686)+Speed_Right_Wheel_687)+Speed_Right_Wheel_688)+Speed_Right_Wheel_689)+Speed_Right_Wheel_690)+Speed_Right_Wheel_691)+Speed_Right_Wheel_692)+Speed_Right_Wheel_693)+Speed_Right_Wheel_694)+Speed_Right_Wheel_695)+Speed_Right_Wheel_696)+Speed_Right_Wheel_697)+Speed_Right_Wheel_698)+Speed_Right_Wheel_699)+Speed_Right_Wheel_700)+Speed_Right_Wheel_701)+Speed_Right_Wheel_702)+Speed_Right_Wheel_703)+Speed_Right_Wheel_704)+Speed_Right_Wheel_705)+Speed_Right_Wheel_706)+Speed_Right_Wheel_707)+Speed_Right_Wheel_708)+Speed_Right_Wheel_709)+Speed_Right_Wheel_710)+Speed_Right_Wheel_711)+Speed_Right_Wheel_712)+Speed_Right_Wheel_713)+Speed_Right_Wheel_714)+Speed_Right_Wheel_715)+Speed_Right_Wheel_716)+Speed_Right_Wheel_717)+Speed_Right_Wheel_718)+Speed_Right_Wheel_719)+Speed_Right_Wheel_720)+Speed_Right_Wheel_721)+Speed_Right_Wheel_722)+Speed_Right_Wheel_723)+Speed_Right_Wheel_724)+Speed_Right_Wheel_725)+Speed_Right_Wheel_726)+Speed_Right_Wheel_727)+Speed_Right_Wheel_728)+Speed_Right_Wheel_729)+Speed_Right_Wheel_730)+Speed_Right_Wheel_731)+Speed_Right_Wheel_732)+Speed_Right_Wheel_733)+Speed_Right_Wheel_734)+Speed_Right_Wheel_735)+Speed_Right_Wheel_736)+Speed_Right_Wheel_737)+Speed_Right_Wheel_738)+Speed_Right_Wheel_739)+Speed_Right_Wheel_740)+Speed_Right_Wheel_741)+Speed_Right_Wheel_742)+Speed_Right_Wheel_743)+Speed_Right_Wheel_744)+Speed_Right_Wheel_745)+Speed_Right_Wheel_746)+Speed_Right_Wheel_747)+Speed_Right_Wheel_748)+Speed_Right_Wheel_749)+Speed_Right_Wheel_750)+Speed_Right_Wheel_751)+Speed_Right_Wheel_752)+Speed_Right_Wheel_753)+Speed_Right_Wheel_754)+Speed_Right_Wheel_755)+Speed_Right_Wheel_756)+Speed_Right_Wheel_757)+Speed_Right_Wheel_758)+Speed_Right_Wheel_759)+Speed_Right_Wheel_760)+Speed_Right_Wheel_761)+Speed_Right_Wheel_762)+Speed_Right_Wheel_763)+Speed_Right_Wheel_764)+Speed_Right_Wheel_765)+Speed_Right_Wheel_766)+Speed_Right_Wheel_767)+Speed_Right_Wheel_768)+Speed_Right_Wheel_769)+Speed_Right_Wheel_770)+Speed_Right_Wheel_771)+Speed_Right_Wheel_772)+Speed_Right_Wheel_773)+Speed_Right_Wheel_774)+Speed_Right_Wheel_775)+Speed_Right_Wheel_776)+Speed_Right_Wheel_777)+Speed_Right_Wheel_778)+Speed_Right_Wheel_779)+Speed_Right_Wheel_780)+Speed_Right_Wheel_781)+Speed_Right_Wheel_782)+Speed_Right_Wheel_783)+Speed_Right_Wheel_784)+Speed_Right_Wheel_785)+Speed_Right_Wheel_786)+Speed_Right_Wheel_787)+Speed_Right_Wheel_788)+Speed_Right_Wheel_789)+Speed_Right_Wheel_790)+Speed_Right_Wheel_791)+Speed_Right_Wheel_792)+Speed_Right_Wheel_793)+Speed_Right_Wheel_794)+Speed_Right_Wheel_795)+Speed_Right_Wheel_796)+Speed_Right_Wheel_797)+Speed_Right_Wheel_798)+Speed_Right_Wheel_799)+Speed_Right_Wheel_800)+Speed_Right_Wheel_801)+Speed_Right_Wheel_802)+Speed_Right_Wheel_803)+Speed_Right_Wheel_804)+Speed_Right_Wheel_805)+Speed_Right_Wheel_806)+Speed_Right_Wheel_807)+Speed_Right_Wheel_808)+Speed_Right_Wheel_809)+Speed_Right_Wheel_810)+Speed_Right_Wheel_811)+Speed_Right_Wheel_812)+Speed_Right_Wheel_813)+Speed_Right_Wheel_814)+Speed_Right_Wheel_815)+Speed_Right_Wheel_816)+Speed_Right_Wheel_817)+Speed_Right_Wheel_818)+Speed_Right_Wheel_819)+Speed_Right_Wheel_820)+Speed_Right_Wheel_821)+Speed_Right_Wheel_822)+Speed_Right_Wheel_823)+Speed_Right_Wheel_824)+Speed_Right_Wheel_825)+Speed_Right_Wheel_826)+Speed_Right_Wheel_827)+Speed_Right_Wheel_828)+Speed_Right_Wheel_829)+Speed_Right_Wheel_830)+Speed_Right_Wheel_831)+Speed_Right_Wheel_832)+Speed_Right_Wheel_833)+Speed_Right_Wheel_834)+Speed_Right_Wheel_835)+Speed_Right_Wheel_836)+Speed_Right_Wheel_837)+Speed_Right_Wheel_838)+Speed_Right_Wheel_839)+Speed_Right_Wheel_840)+Speed_Right_Wheel_841)+Speed_Right_Wheel_842)+Speed_Right_Wheel_843)+Speed_Right_Wheel_844)+Speed_Right_Wheel_845)+Speed_Right_Wheel_846)+Speed_Right_Wheel_847)+Speed_Right_Wheel_848)+Speed_Right_Wheel_849)+Speed_Right_Wheel_850)+Speed_Right_Wheel_851)+Speed_Right_Wheel_852)+Speed_Right_Wheel_853)+Speed_Right_Wheel_854)+Speed_Right_Wheel_855)+Speed_Right_Wheel_856)+Speed_Right_Wheel_857)+Speed_Right_Wheel_858)+Speed_Right_Wheel_859)+Speed_Right_Wheel_860)+Speed_Right_Wheel_861)+Speed_Right_Wheel_862)+Speed_Right_Wheel_863)+Speed_Right_Wheel_864)+Speed_Right_Wheel_865)+Speed_Right_Wheel_866)+Speed_Right_Wheel_867)+Speed_Right_Wheel_868)+Speed_Right_Wheel_869)+Speed_Right_Wheel_870)+Speed_Right_Wheel_871)+Speed_Right_Wheel_872)+Speed_Right_Wheel_873)+Speed_Right_Wheel_874)+Speed_Right_Wheel_875)+Speed_Right_Wheel_876)+Speed_Right_Wheel_877)+Speed_Right_Wheel_878)+Speed_Right_Wheel_879)+Speed_Right_Wheel_880)+Speed_Right_Wheel_881)+Speed_Right_Wheel_882)+Speed_Right_Wheel_883)+Speed_Right_Wheel_884)+Speed_Right_Wheel_885)+Speed_Right_Wheel_886)+Speed_Right_Wheel_887)+Speed_Right_Wheel_888)+Speed_Right_Wheel_889)+Speed_Right_Wheel_890)+Speed_Right_Wheel_891)+Speed_Right_Wheel_892)+Speed_Right_Wheel_893)+Speed_Right_Wheel_894)+Speed_Right_Wheel_895)+Speed_Right_Wheel_896)+Speed_Right_Wheel_897)+Speed_Right_Wheel_898)+Speed_Right_Wheel_899)+Speed_Right_Wheel_900)+Speed_Right_Wheel_901)+Speed_Right_Wheel_902)+Speed_Right_Wheel_903)+Speed_Right_Wheel_904)+Speed_Right_Wheel_905)+Speed_Right_Wheel_906)+Speed_Right_Wheel_907)+Speed_Right_Wheel_908)+Speed_Right_Wheel_909)+Speed_Right_Wheel_910)+Speed_Right_Wheel_911)+Speed_Right_Wheel_912)+Speed_Right_Wheel_913)+Speed_Right_Wheel_914)+Speed_Right_Wheel_915)+Speed_Right_Wheel_916)+Speed_Right_Wheel_917)+Speed_Right_Wheel_918)+Speed_Right_Wheel_919)+Speed_Right_Wheel_920)+Speed_Right_Wheel_921)+Speed_Right_Wheel_922)+Speed_Right_Wheel_923)+Speed_Right_Wheel_924)+Speed_Right_Wheel_925)+Speed_Right_Wheel_926)+Speed_Right_Wheel_927)+Speed_Right_Wheel_928)+Speed_Right_Wheel_929)+Speed_Right_Wheel_930)+Speed_Right_Wheel_931)+Speed_Right_Wheel_932)+Speed_Right_Wheel_933)+Speed_Right_Wheel_934)+Speed_Right_Wheel_935)+Speed_Right_Wheel_936)+Speed_Right_Wheel_937)+Speed_Right_Wheel_938)+Speed_Right_Wheel_939)+Speed_Right_Wheel_940)+Speed_Right_Wheel_941)+Speed_Right_Wheel_942)+Speed_Right_Wheel_943)+Speed_Right_Wheel_944)+Speed_Right_Wheel_945)+Speed_Right_Wheel_946)+Speed_Right_Wheel_947)+Speed_Right_Wheel_948)+Speed_Right_Wheel_949)+Speed_Right_Wheel_950)+Speed_Right_Wheel_951)+Speed_Right_Wheel_952)+Speed_Right_Wheel_953)+Speed_Right_Wheel_954)+Speed_Right_Wheel_955)+Speed_Right_Wheel_956)+Speed_Right_Wheel_957)+Speed_Right_Wheel_958)+Speed_Right_Wheel_959)+Speed_Right_Wheel_960)+Speed_Right_Wheel_961)+Speed_Right_Wheel_962)+Speed_Right_Wheel_963)+Speed_Right_Wheel_964)+Speed_Right_Wheel_965)+Speed_Right_Wheel_966)+Speed_Right_Wheel_967)+Speed_Right_Wheel_968)+Speed_Right_Wheel_969)+Speed_Right_Wheel_970)+Speed_Right_Wheel_971)+Speed_Right_Wheel_972)+Speed_Right_Wheel_973)+Speed_Right_Wheel_974)+Speed_Right_Wheel_975)+Speed_Right_Wheel_976)+Speed_Right_Wheel_977)+Speed_Right_Wheel_978)+Speed_Right_Wheel_979)+Speed_Right_Wheel_980)+Speed_Right_Wheel_981)+Speed_Right_Wheel_982)+Speed_Right_Wheel_983)+Speed_Right_Wheel_984)+Speed_Right_Wheel_985)+Speed_Right_Wheel_986)+Speed_Right_Wheel_987)+Speed_Right_Wheel_988)+Speed_Right_Wheel_989)+Speed_Right_Wheel_990)+Speed_Right_Wheel_991)+Speed_Right_Wheel_992)+Speed_Right_Wheel_993)+Speed_Right_Wheel_994)+Speed_Right_Wheel_995)+Speed_Right_Wheel_996)+Speed_Right_Wheel_997)+Speed_Right_Wheel_998)+Speed_Right_Wheel_999)+Speed_Right_Wheel_1000)+Speed_Right_Wheel_1001)+Speed_Right_Wheel_1002)+Speed_Right_Wheel_1003)+Speed_Right_Wheel_1004)+Speed_Right_Wheel_1005)+Speed_Right_Wheel_1006)+Speed_Right_Wheel_1007)+Speed_Right_Wheel_1008)+Speed_Right_Wheel_1009)+Speed_Right_Wheel_1010)+Speed_Right_Wheel_1011)+Speed_Right_Wheel_1012)+Speed_Right_Wheel_1013)+Speed_Right_Wheel_1014)+Speed_Right_Wheel_1015)+Speed_Right_Wheel_1016)+Speed_Right_Wheel_1017)+Speed_Right_Wheel_1018)+Speed_Right_Wheel_1019)+Speed_Right_Wheel_1020)+Speed_Right_Wheel_1021)+Speed_Right_Wheel_1022)+Speed_Right_Wheel_1023)+Speed_Right_Wheel_1024)+Speed_Right_Wheel_1025)+Speed_Right_Wheel_1026)+Speed_Right_Wheel_1027)+Speed_Right_Wheel_1028)+Speed_Right_Wheel_1029)+Speed_Right_Wheel_1030)+Speed_Right_Wheel_1031)+Speed_Right_Wheel_1032)+Speed_Right_Wheel_1033)+Speed_Right_Wheel_1034)+Speed_Right_Wheel_1035)+Speed_Right_Wheel_1036)+Speed_Right_Wheel_1037)+Speed_Right_Wheel_1038)+Speed_Right_Wheel_1039)+Speed_Right_Wheel_1040)+Speed_Right_Wheel_1041)+Speed_Right_Wheel_1042)+Speed_Right_Wheel_1043)+Speed_Right_Wheel_1044)+Speed_Right_Wheel_1045)+Speed_Right_Wheel_1046)+Speed_Right_Wheel_1047)+Speed_Right_Wheel_1048)+Speed_Right_Wheel_1049)+Speed_Right_Wheel_1050)+Speed_Right_Wheel_1051)+Speed_Right_Wheel_1052)+Speed_Right_Wheel_1053)+Speed_Right_Wheel_1054)+Speed_Right_Wheel_1055)+Speed_Right_Wheel_1056)+Speed_Right_Wheel_1057)+Speed_Right_Wheel_1058)+Speed_Right_Wheel_1059)+Speed_Right_Wheel_1060)+Speed_Right_Wheel_1061)+Speed_Right_Wheel_1062)+Speed_Right_Wheel_1063)+Speed_Right_Wheel_1064)+Speed_Right_Wheel_1065)+Speed_Right_Wheel_1066)+Speed_Right_Wheel_1067)+Speed_Right_Wheel_1068)+Speed_Right_Wheel_1069)+Speed_Right_Wheel_1070)+Speed_Right_Wheel_1071)+Speed_Right_Wheel_1072)+Speed_Right_Wheel_1073)+Speed_Right_Wheel_1074)+Speed_Right_Wheel_1075)+Speed_Right_Wheel_1076)+Speed_Right_Wheel_1077)+Speed_Right_Wheel_1078)+Speed_Right_Wheel_1079)+Speed_Right_Wheel_1080)+Speed_Right_Wheel_1081)+Speed_Right_Wheel_1082)+Speed_Right_Wheel_1083)+Speed_Right_Wheel_1084)+Speed_Right_Wheel_1085)+Speed_Right_Wheel_1086)+Speed_Right_Wheel_1087)+Speed_Right_Wheel_1088)+Speed_Right_Wheel_1089)+Speed_Right_Wheel_1090)+Speed_Right_Wheel_1091)+Speed_Right_Wheel_1092)+Speed_Right_Wheel_1093)+Speed_Right_Wheel_1094)+Speed_Right_Wheel_1095)+Speed_Right_Wheel_1096)+Speed_Right_Wheel_1097)+Speed_Right_Wheel_1098)+Speed_Right_Wheel_1099)+Speed_Right_Wheel_1100)+Speed_Right_Wheel_1101)+Speed_Right_Wheel_1102)+Speed_Right_Wheel_1103)+Speed_Right_Wheel_1104)+Speed_Right_Wheel_1105)+Speed_Right_Wheel_1106)+Speed_Right_Wheel_1107)+Speed_Right_Wheel_1108)+Speed_Right_Wheel_1109)+Speed_Right_Wheel_1110)+Speed_Right_Wheel_1111)+Speed_Right_Wheel_1112)+Speed_Right_Wheel_1113)+Speed_Right_Wheel_1114)+Speed_Right_Wheel_1115)+Speed_Right_Wheel_1116)+Speed_Right_Wheel_1117)+Speed_Right_Wheel_1118)+Speed_Right_Wheel_1119)+Speed_Right_Wheel_1120)+Speed_Right_Wheel_1121)+Speed_Right_Wheel_1122)+Speed_Right_Wheel_1123)+Speed_Right_Wheel_1124)+Speed_Right_Wheel_1125)+Speed_Right_Wheel_1126)+Speed_Right_Wheel_1127)+Speed_Right_Wheel_1128)+Speed_Right_Wheel_1129)+Speed_Right_Wheel_1130)+Speed_Right_Wheel_1131)+Speed_Right_Wheel_1132)+Speed_Right_Wheel_1133)+Speed_Right_Wheel_1134)+Speed_Right_Wheel_1135)+Speed_Right_Wheel_1136)+Speed_Right_Wheel_1137)+Speed_Right_Wheel_1138)+Speed_Right_Wheel_1139)+Speed_Right_Wheel_1140)+Speed_Right_Wheel_1141)+Speed_Right_Wheel_1142)+Speed_Right_Wheel_1143)+Speed_Right_Wheel_1144)+Speed_Right_Wheel_1145)+Speed_Right_Wheel_1146)+Speed_Right_Wheel_1147)+Speed_Right_Wheel_1148)+Speed_Right_Wheel_1149)+Speed_Right_Wheel_1150)+Speed_Right_Wheel_1151)+Speed_Right_Wheel_1152)+Speed_Right_Wheel_1153)+Speed_Right_Wheel_1154)+Speed_Right_Wheel_1155)+Speed_Right_Wheel_1156)+Speed_Right_Wheel_1157)+Speed_Right_Wheel_1158)+Speed_Right_Wheel_1159)+Speed_Right_Wheel_1160)+Speed_Right_Wheel_1161)+Speed_Right_Wheel_1162)+Speed_Right_Wheel_1163)+Speed_Right_Wheel_1164)+Speed_Right_Wheel_1165)+Speed_Right_Wheel_1166)+Speed_Right_Wheel_1167)+Speed_Right_Wheel_1168)+Speed_Right_Wheel_1169)+Speed_Right_Wheel_1170)+Speed_Right_Wheel_1171)+Speed_Right_Wheel_1172)+Speed_Right_Wheel_1173)+Speed_Right_Wheel_1174)+Speed_Right_Wheel_1175)+Speed_Right_Wheel_1176)+Speed_Right_Wheel_1177)+Speed_Right_Wheel_1178)+Speed_Right_Wheel_1179)+Speed_Right_Wheel_1180)+Speed_Right_Wheel_1181)+Speed_Right_Wheel_1182)+Speed_Right_Wheel_1183)+Speed_Right_Wheel_1184)+Speed_Right_Wheel_1185)+Speed_Right_Wheel_1186)+Speed_Right_Wheel_1187)+Speed_Right_Wheel_1188)+Speed_Right_Wheel_1189)+Speed_Right_Wheel_1190)+Speed_Right_Wheel_1191)+Speed_Right_Wheel_1192)+Speed_Right_Wheel_1193)+Speed_Right_Wheel_1194)+Speed_Right_Wheel_1195)+Speed_Right_Wheel_1196)+Speed_Right_Wheel_1197)+Speed_Right_Wheel_1198)+Speed_Right_Wheel_1199)+Speed_Right_Wheel_1200)+Speed_Right_Wheel_1201)+Speed_Right_Wheel_1202)+Speed_Right_Wheel_1203)+Speed_Right_Wheel_1204)+Speed_Right_Wheel_1205)+Speed_Right_Wheel_1206)+Speed_Right_Wheel_1207)+Speed_Right_Wheel_1208)+Speed_Right_Wheel_1209)+Speed_Right_Wheel_1210)+Speed_Right_Wheel_1211)+Speed_Right_Wheel_1212)+Speed_Right_Wheel_1213)+Speed_Right_Wheel_1214)+Speed_Right_Wheel_1215)+Speed_Right_Wheel_1216)+Speed_Right_Wheel_1217)+Speed_Right_Wheel_1218)+Speed_Right_Wheel_1219)+Speed_Right_Wheel_1220)+Speed_Right_Wheel_1221)+Speed_Right_Wheel_1222)+Speed_Right_Wheel_1223)+Speed_Right_Wheel_1224)+Speed_Right_Wheel_1225)+Speed_Right_Wheel_1226)+Speed_Right_Wheel_1227)+Speed_Right_Wheel_1228)+Speed_Right_Wheel_1229)+Speed_Right_Wheel_1230)+Speed_Right_Wheel_1231)+Speed_Right_Wheel_1232)+Speed_Right_Wheel_1233)+Speed_Right_Wheel_1234)+Speed_Right_Wheel_1235)+Speed_Right_Wheel_1236)+Speed_Right_Wheel_1237)+Speed_Right_Wheel_1238)+Speed_Right_Wheel_1239)+Speed_Right_Wheel_1240)+Speed_Right_Wheel_1241)+Speed_Right_Wheel_1242)+Speed_Right_Wheel_1243)+Speed_Right_Wheel_1244)+Speed_Right_Wheel_1245)+Speed_Right_Wheel_1246)+Speed_Right_Wheel_1247)+Speed_Right_Wheel_1248)+Speed_Right_Wheel_1249)+Speed_Right_Wheel_1250)+Speed_Right_Wheel_1251)+Speed_Right_Wheel_1252)+Speed_Right_Wheel_1253)+Speed_Right_Wheel_1254)+Speed_Right_Wheel_1255)+Speed_Right_Wheel_1256)+Speed_Right_Wheel_1257)+Speed_Right_Wheel_1258)+Speed_Right_Wheel_1259)+Speed_Right_Wheel_1260)+Speed_Right_Wheel_1261)+Speed_Right_Wheel_1262)+Speed_Right_Wheel_1263)+Speed_Right_Wheel_1264)+Speed_Right_Wheel_1265)+Speed_Right_Wheel_1266)+Speed_Right_Wheel_1267)+Speed_Right_Wheel_1268)+Speed_Right_Wheel_1269)+Speed_Right_Wheel_1270)+Speed_Right_Wheel_1271)+Speed_Right_Wheel_1272)+Speed_Right_Wheel_1273)+Speed_Right_Wheel_1274)+Speed_Right_Wheel_1275)+Speed_Right_Wheel_1276)+Speed_Right_Wheel_1277)+Speed_Right_Wheel_1278)+Speed_Right_Wheel_1279)+Speed_Right_Wheel_1280)+Speed_Right_Wheel_1281)+Speed_Right_Wheel_1282)+Speed_Right_Wheel_1283)+Speed_Right_Wheel_1284)+Speed_Right_Wheel_1285)+Speed_Right_Wheel_1286)+Speed_Right_Wheel_1287)+Speed_Right_Wheel_1288)+Speed_Right_Wheel_1289)+Speed_Right_Wheel_1290)+Speed_Right_Wheel_1291)+Speed_Right_Wheel_1292)+Speed_Right_Wheel_1293)+Speed_Right_Wheel_1294)+Speed_Right_Wheel_1295)+Speed_Right_Wheel_1296)+Speed_Right_Wheel_1297)+Speed_Right_Wheel_1298)+Speed_Right_Wheel_1299)+Speed_Right_Wheel_1300)+Speed_Right_Wheel_1301)+Speed_Right_Wheel_1302)+Speed_Right_Wheel_1303)+Speed_Right_Wheel_1304)+Speed_Right_Wheel_1305)+Speed_Right_Wheel_1306)+Speed_Right_Wheel_1307)+Speed_Right_Wheel_1308)+Speed_Right_Wheel_1309)+Speed_Right_Wheel_1310)+Speed_Right_Wheel_1311)+Speed_Right_Wheel_1312)+Speed_Right_Wheel_1313)+Speed_Right_Wheel_1314)+Speed_Right_Wheel_1315)+Speed_Right_Wheel_1316)+Speed_Right_Wheel_1317)+Speed_Right_Wheel_1318)+Speed_Right_Wheel_1319)+Speed_Right_Wheel_1320)+Speed_Right_Wheel_1321)+Speed_Right_Wheel_1322)+Speed_Right_Wheel_1323)+Speed_Right_Wheel_1324)+Speed_Right_Wheel_1325)+Speed_Right_Wheel_1326)+Speed_Right_Wheel_1327)+Speed_Right_Wheel_1328)+Speed_Right_Wheel_1329)+Speed_Right_Wheel_1330)+Speed_Right_Wheel_1331)+Speed_Right_Wheel_1332)+Speed_Right_Wheel_1333)+Speed_Right_Wheel_1334)+Speed_Right_Wheel_1335)+Speed_Right_Wheel_1336)+Speed_Right_Wheel_1337)+Speed_Right_Wheel_1338)+Speed_Right_Wheel_1339)+Speed_Right_Wheel_1340)+Speed_Right_Wheel_1341)+Speed_Right_Wheel_1342)+Speed_Right_Wheel_1343)+Speed_Right_Wheel_1344)+Speed_Right_Wheel_1345)+Speed_Right_Wheel_1346)+Speed_Right_Wheel_1347)+Speed_Right_Wheel_1348)+Speed_Right_Wheel_1349)+Speed_Right_Wheel_1350)+Speed_Right_Wheel_1351)+Speed_Right_Wheel_1352)+Speed_Right_Wheel_1353)+Speed_Right_Wheel_1354)+Speed_Right_Wheel_1355)+Speed_Right_Wheel_1356)+Speed_Right_Wheel_1357)+Speed_Right_Wheel_1358)+Speed_Right_Wheel_1359)+Speed_Right_Wheel_1360)+Speed_Right_Wheel_1361)+Speed_Right_Wheel_1362)+Speed_Right_Wheel_1363)+Speed_Right_Wheel_1364)+Speed_Right_Wheel_1365)+Speed_Right_Wheel_1366)+Speed_Right_Wheel_1367)+Speed_Right_Wheel_1368)+Speed_Right_Wheel_1369)+Speed_Right_Wheel_1370)+Speed_Right_Wheel_1371)+Speed_Right_Wheel_1372)+Speed_Right_Wheel_1373)+Speed_Right_Wheel_1374)+Speed_Right_Wheel_1375)+Speed_Right_Wheel_1376)+Speed_Right_Wheel_1377)+Speed_Right_Wheel_1378)+Speed_Right_Wheel_1379)+Speed_Right_Wheel_1380)+Speed_Right_Wheel_1381)+Speed_Right_Wheel_1382)+Speed_Right_Wheel_1383)+Speed_Right_Wheel_1384)+Speed_Right_Wheel_1385)+Speed_Right_Wheel_1386)+Speed_Right_Wheel_1387)+Speed_Right_Wheel_1388)+Speed_Right_Wheel_1389)+Speed_Right_Wheel_1390)+Speed_Right_Wheel_1391)+Speed_Right_Wheel_1392)+Speed_Right_Wheel_1393)+Speed_Right_Wheel_1394)+Speed_Right_Wheel_1395)+Speed_Right_Wheel_1396)+Speed_Right_Wheel_1397)+Speed_Right_Wheel_1398)+Speed_Right_Wheel_1399)+Speed_Right_Wheel_1400)+Speed_Right_Wheel_1401)+Speed_Right_Wheel_1402)+Speed_Right_Wheel_1403)+Speed_Right_Wheel_1404)+Speed_Right_Wheel_1405)+Speed_Right_Wheel_1406)+Speed_Right_Wheel_1407)+Speed_Right_Wheel_1408)+Speed_Right_Wheel_1409)+Speed_Right_Wheel_1410)+Speed_Right_Wheel_1411)+Speed_Right_Wheel_1412)+Speed_Right_Wheel_1413)+Speed_Right_Wheel_1414)+Speed_Right_Wheel_1415)+Speed_Right_Wheel_1416)+Speed_Right_Wheel_1417)+Speed_Right_Wheel_1418)+Speed_Right_Wheel_1419)+Speed_Right_Wheel_1420)+Speed_Right_Wheel_1421)+Speed_Right_Wheel_1422)+Speed_Right_Wheel_1423)+Speed_Right_Wheel_1424)+Speed_Right_Wheel_1425)+Speed_Right_Wheel_1426)+Speed_Right_Wheel_1427)+Speed_Right_Wheel_1428)+Speed_Right_Wheel_1429)+Speed_Right_Wheel_1430)+Speed_Right_Wheel_1431)+Speed_Right_Wheel_1432)+Speed_Right_Wheel_1433)+Speed_Right_Wheel_1434)+Speed_Right_Wheel_1435)+Speed_Right_Wheel_1436)+Speed_Right_Wheel_1437)+Speed_Right_Wheel_1438)+Speed_Right_Wheel_1439)+Speed_Right_Wheel_1440)+Speed_Right_Wheel_1441)+Speed_Right_Wheel_1442)+Speed_Right_Wheel_1443)+Speed_Right_Wheel_1444)+Speed_Right_Wheel_1445)+Speed_Right_Wheel_1446)+Speed_Right_Wheel_1447)+Speed_Right_Wheel_1448)+Speed_Right_Wheel_1449)+Speed_Right_Wheel_1450)+Speed_Right_Wheel_1451)+Speed_Right_Wheel_1452)+Speed_Right_Wheel_1453)+Speed_Right_Wheel_1454)+Speed_Right_Wheel_1455)+Speed_Right_Wheel_1456)+Speed_Right_Wheel_1457)+Speed_Right_Wheel_1458)+Speed_Right_Wheel_1459)+Speed_Right_Wheel_1460)+Speed_Right_Wheel_1461)+Speed_Right_Wheel_1462)+Speed_Right_Wheel_1463)+Speed_Right_Wheel_1464)+Speed_Right_Wheel_1465)+Speed_Right_Wheel_1466)+Speed_Right_Wheel_1467)+Speed_Right_Wheel_1468)+Speed_Right_Wheel_1469)+Speed_Right_Wheel_1470)+Speed_Right_Wheel_1471)+Speed_Right_Wheel_1472)+Speed_Right_Wheel_1473)+Speed_Right_Wheel_1474)+Speed_Right_Wheel_1475)+Speed_Right_Wheel_1476)+Speed_Right_Wheel_1477)+Speed_Right_Wheel_1478)+Speed_Right_Wheel_1479)+Speed_Right_Wheel_1480)+Speed_Right_Wheel_1481)+Speed_Right_Wheel_1482)+Speed_Right_Wheel_1483)+Speed_Right_Wheel_1484)+Speed_Right_Wheel_1485)+Speed_Right_Wheel_1486)+Speed_Right_Wheel_1487)+Speed_Right_Wheel_1488)+Speed_Right_Wheel_1489)+Speed_Right_Wheel_1490)+Speed_Right_Wheel_1491)+Speed_Right_Wheel_1492)+Speed_Right_Wheel_1493)+Speed_Right_Wheel_1494)+Speed_Right_Wheel_1495)+Speed_Right_Wheel_1496)+Speed_Right_Wheel_1497)+Speed_Right_Wheel_1498)+Speed_Right_Wheel_1499)+Speed_Right_Wheel_1500)+Speed_Right_Wheel_1501)+Speed_Right_Wheel_1502)+Speed_Right_Wheel_1503)+Speed_Right_Wheel_1504)+Speed_Right_Wheel_1505)+Speed_Right_Wheel_1506)+Speed_Right_Wheel_1507)+Speed_Right_Wheel_1508)+Speed_Right_Wheel_1509)+Speed_Right_Wheel_1510)+Speed_Right_Wheel_1511)+Speed_Right_Wheel_1512)+Speed_Right_Wheel_1513)+Speed_Right_Wheel_1514)+Speed_Right_Wheel_1515)+Speed_Right_Wheel_1516)+Speed_Right_Wheel_1517)+Speed_Right_Wheel_1518)+Speed_Right_Wheel_1519)+Speed_Right_Wheel_1520)+Speed_Right_Wheel_1521)+Speed_Right_Wheel_1522)+Speed_Right_Wheel_1523)+Speed_Right_Wheel_1524)+Speed_Right_Wheel_1525)+Speed_Right_Wheel_1526)+Speed_Right_Wheel_1527)+Speed_Right_Wheel_1528)+Speed_Right_Wheel_1529)+Speed_Right_Wheel_1530)+Speed_Right_Wheel_1531)+Speed_Right_Wheel_1532)+Speed_Right_Wheel_1533)+Speed_Right_Wheel_1534)+Speed_Right_Wheel_1535)+Speed_Right_Wheel_1536)+Speed_Right_Wheel_1537)+Speed_Right_Wheel_1538)+Speed_Right_Wheel_1539)+Speed_Right_Wheel_1540)+Speed_Right_Wheel_1541)+Speed_Right_Wheel_1542)+Speed_Right_Wheel_1543)+Speed_Right_Wheel_1544)+Speed_Right_Wheel_1545)+Speed_Right_Wheel_1546)+Speed_Right_Wheel_1547)+Speed_Right_Wheel_1548)+Speed_Right_Wheel_1549)+Speed_Right_Wheel_1550)+Speed_Right_Wheel_1551)+Speed_Right_Wheel_1552)+Speed_Right_Wheel_1553)+Speed_Right_Wheel_1554)+Speed_Right_Wheel_1555)+Speed_Right_Wheel_1556)+Speed_Right_Wheel_1557)+Speed_Right_Wheel_1558)+Speed_Right_Wheel_1559)+Speed_Right_Wheel_1560)+Speed_Right_Wheel_1561)+Speed_Right_Wheel_1562)+Speed_Right_Wheel_1563)+Speed_Right_Wheel_1564)+Speed_Right_Wheel_1565)+Speed_Right_Wheel_1566)+Speed_Right_Wheel_1567)+Speed_Right_Wheel_1568)+Speed_Right_Wheel_1569)+Speed_Right_Wheel_1570)+Speed_Right_Wheel_1571)+Speed_Right_Wheel_1572)+Speed_Right_Wheel_1573)+Speed_Right_Wheel_1574)+Speed_Right_Wheel_1575)+Speed_Right_Wheel_1576)+Speed_Right_Wheel_1577)+Speed_Right_Wheel_1578)+Speed_Right_Wheel_1579)+Speed_Right_Wheel_1580)+Speed_Right_Wheel_1581)+Speed_Right_Wheel_1582)+Speed_Right_Wheel_1583)+Speed_Right_Wheel_1584)+Speed_Right_Wheel_1585)+Speed_Right_Wheel_1586)+Speed_Right_Wheel_1587)+Speed_Right_Wheel_1588)+Speed_Right_Wheel_1589)+Speed_Right_Wheel_1590)+Speed_Right_Wheel_1591)+Speed_Right_Wheel_1592)+Speed_Right_Wheel_1593)+Speed_Right_Wheel_1594)+Speed_Right_Wheel_1595)+Speed_Right_Wheel_1596)+Speed_Right_Wheel_1597)+Speed_Right_Wheel_1598)+Speed_Right_Wheel_1599)+Speed_Right_Wheel_1600)+Speed_Right_Wheel_1601)+Speed_Right_Wheel_1602)+Speed_Right_Wheel_1603)+Speed_Right_Wheel_1604)+Speed_Right_Wheel_1605)+Speed_Right_Wheel_1606)+Speed_Right_Wheel_1607)+Speed_Right_Wheel_1608)+Speed_Right_Wheel_1609)+Speed_Right_Wheel_1610)+Speed_Right_Wheel_1611)+Speed_Right_Wheel_1612)+Speed_Right_Wheel_1613)+Speed_Right_Wheel_1614)+Speed_Right_Wheel_1615)+Speed_Right_Wheel_1616)+Speed_Right_Wheel_1617)+Speed_Right_Wheel_1618)+Speed_Right_Wheel_1619)+Speed_Right_Wheel_1620)+Speed_Right_Wheel_1621)+Speed_Right_Wheel_1622)+Speed_Right_Wheel_1623)+Speed_Right_Wheel_1624)+Speed_Right_Wheel_1625)+Speed_Right_Wheel_1626)+Speed_Right_Wheel_1627)+Speed_Right_Wheel_1628)+Speed_Right_Wheel_1629)+Speed_Right_Wheel_1630)+Speed_Right_Wheel_1631)+Speed_Right_Wheel_1632)+Speed_Right_Wheel_1633)+Speed_Right_Wheel_1634)+Speed_Right_Wheel_1635)+Speed_Right_Wheel_1636)+Speed_Right_Wheel_1637)+Speed_Right_Wheel_1638)+Speed_Right_Wheel_1639)+Speed_Right_Wheel_1640)+Speed_Right_Wheel_1641)+Speed_Right_Wheel_1642)+Speed_Right_Wheel_1643)+Speed_Right_Wheel_1644)+Speed_Right_Wheel_1645)+Speed_Right_Wheel_1646)+Speed_Right_Wheel_1647)+Speed_Right_Wheel_1648)+Speed_Right_Wheel_1649)+Speed_Right_Wheel_1650)+Speed_Right_Wheel_1651)+Speed_Right_Wheel_1652)+Speed_Right_Wheel_1653)+Speed_Right_Wheel_1654)+Speed_Right_Wheel_1655)+Speed_Right_Wheel_1656)+Speed_Right_Wheel_1657)+Speed_Right_Wheel_1658)+Speed_Right_Wheel_1659)+Speed_Right_Wheel_1660)+Speed_Right_Wheel_1661)+Speed_Right_Wheel_1662)+Speed_Right_Wheel_1663)+Speed_Right_Wheel_1664)+Speed_Right_Wheel_1665)+Speed_Right_Wheel_1666)+Speed_Right_Wheel_1667)+Speed_Right_Wheel_1668)+Speed_Right_Wheel_1669)+Speed_Right_Wheel_1670)+Speed_Right_Wheel_1671)+Speed_Right_Wheel_1672)+Speed_Right_Wheel_1673)+Speed_Right_Wheel_1674)+Speed_Right_Wheel_1675)+Speed_Right_Wheel_1676)+Speed_Right_Wheel_1677)+Speed_Right_Wheel_1678)+Speed_Right_Wheel_1679)+Speed_Right_Wheel_1680)+Speed_Right_Wheel_1681)+Speed_Right_Wheel_1682)+Speed_Right_Wheel_1683)+Speed_Right_Wheel_1684)+Speed_Right_Wheel_1685)+Speed_Right_Wheel_1686)+Speed_Right_Wheel_1687)+Speed_Right_Wheel_1688)+Speed_Right_Wheel_1689)+Speed_Right_Wheel_1690)+Speed_Right_Wheel_1691)+Speed_Right_Wheel_1692)+Speed_Right_Wheel_1693)+Speed_Right_Wheel_1694)+Speed_Right_Wheel_1695)+Speed_Right_Wheel_1696)+Speed_Right_Wheel_1697)+Speed_Right_Wheel_1698)+Speed_Right_Wheel_1699)+Speed_Right_Wheel_1700)+Speed_Right_Wheel_1701)+Speed_Right_Wheel_1702)+Speed_Right_Wheel_1703)+Speed_Right_Wheel_1704)+Speed_Right_Wheel_1705)+Speed_Right_Wheel_1706)+Speed_Right_Wheel_1707)+Speed_Right_Wheel_1708)+Speed_Right_Wheel_1709)+Speed_Right_Wheel_1710)+Speed_Right_Wheel_1711)+Speed_Right_Wheel_1712)+Speed_Right_Wheel_1713)+Speed_Right_Wheel_1714)+Speed_Right_Wheel_1715)+Speed_Right_Wheel_1716)+Speed_Right_Wheel_1717)+Speed_Right_Wheel_1718)+Speed_Right_Wheel_1719)+Speed_Right_Wheel_1720)+Speed_Right_Wheel_1721)+Speed_Right_Wheel_1722)+Speed_Right_Wheel_1723)+Speed_Right_Wheel_1724)+Speed_Right_Wheel_1725)+Speed_Right_Wheel_1726)+Speed_Right_Wheel_1727)+Speed_Right_Wheel_1728)+Speed_Right_Wheel_1729)+Speed_Right_Wheel_1730)+Speed_Right_Wheel_1731)+Speed_Right_Wheel_1732)+Speed_Right_Wheel_1733)+Speed_Right_Wheel_1734)+Speed_Right_Wheel_1735)+Speed_Right_Wheel_1736)+Speed_Right_Wheel_1737)+Speed_Right_Wheel_1738)+Speed_Right_Wheel_1739)+Speed_Right_Wheel_1740)+Speed_Right_Wheel_1741)+Speed_Right_Wheel_1742)+Speed_Right_Wheel_1743)+Speed_Right_Wheel_1744)+Speed_Right_Wheel_1745)+Speed_Right_Wheel_1746)+Speed_Right_Wheel_1747)+Speed_Right_Wheel_1748)+Speed_Right_Wheel_1749)+Speed_Right_Wheel_1750)+Speed_Right_Wheel_1751)+Speed_Right_Wheel_1752)+Speed_Right_Wheel_1753)+Speed_Right_Wheel_1754)+Speed_Right_Wheel_1755)+Speed_Right_Wheel_1756)+Speed_Right_Wheel_1757)+Speed_Right_Wheel_1758)+Speed_Right_Wheel_1759)+Speed_Right_Wheel_1760)+Speed_Right_Wheel_1761)+Speed_Right_Wheel_1762)+Speed_Right_Wheel_1763)+Speed_Right_Wheel_1764)+Speed_Right_Wheel_1765)+Speed_Right_Wheel_1766)+Speed_Right_Wheel_1767)+Speed_Right_Wheel_1768)+Speed_Right_Wheel_1769)+Speed_Right_Wheel_1770)+Speed_Right_Wheel_1771)+Speed_Right_Wheel_1772)+Speed_Right_Wheel_1773)+Speed_Right_Wheel_1774)+Speed_Right_Wheel_1775)+Speed_Right_Wheel_1776)+Speed_Right_Wheel_1777)+Speed_Right_Wheel_1778)+Speed_Right_Wheel_1779)+Speed_Right_Wheel_1780)+Speed_Right_Wheel_1781)+Speed_Right_Wheel_1782)+Speed_Right_Wheel_1783)+Speed_Right_Wheel_1784)+Speed_Right_Wheel_1785)+Speed_Right_Wheel_1786)+Speed_Right_Wheel_1787)+Speed_Right_Wheel_1788)+Speed_Right_Wheel_1789)+Speed_Right_Wheel_1790)+Speed_Right_Wheel_1791)+Speed_Right_Wheel_1792)+Speed_Right_Wheel_1793)+Speed_Right_Wheel_1794)+Speed_Right_Wheel_1795)+Speed_Right_Wheel_1796)+Speed_Right_Wheel_1797)+Speed_Right_Wheel_1798)+Speed_Right_Wheel_1799)+Speed_Right_Wheel_1800)+Speed_Right_Wheel_1801)+Speed_Right_Wheel_1802)+Speed_Right_Wheel_1803)+Speed_Right_Wheel_1804)+Speed_Right_Wheel_1805)+Speed_Right_Wheel_1806)+Speed_Right_Wheel_1807)+Speed_Right_Wheel_1808)+Speed_Right_Wheel_1809)+Speed_Right_Wheel_1810)+Speed_Right_Wheel_1811)+Speed_Right_Wheel_1812)+Speed_Right_Wheel_1813)+Speed_Right_Wheel_1814)+Speed_Right_Wheel_1815)+Speed_Right_Wheel_1816)+Speed_Right_Wheel_1817)+Speed_Right_Wheel_1818)+Speed_Right_Wheel_1819)+Speed_Right_Wheel_1820)+Speed_Right_Wheel_1821)+Speed_Right_Wheel_1822)+Speed_Right_Wheel_1823)+Speed_Right_Wheel_1824)+Speed_Right_Wheel_1825)+Speed_Right_Wheel_1826)+Speed_Right_Wheel_1827)+Speed_Right_Wheel_1828)+Speed_Right_Wheel_1829)+Speed_Right_Wheel_1830)+Speed_Right_Wheel_1831)+Speed_Right_Wheel_1832)+Speed_Right_Wheel_1833)+Speed_Right_Wheel_1834)+Speed_Right_Wheel_1835)+Speed_Right_Wheel_1836)+Speed_Right_Wheel_1837)+Speed_Right_Wheel_1838)+Speed_Right_Wheel_1839)+Speed_Right_Wheel_1840)+Speed_Right_Wheel_1841)+Speed_Right_Wheel_1842)+Speed_Right_Wheel_1843)+Speed_Right_Wheel_1844)+Speed_Right_Wheel_1845)+Speed_Right_Wheel_1846)+Speed_Right_Wheel_1847)+Speed_Right_Wheel_1848)+Speed_Right_Wheel_1849)+Speed_Right_Wheel_1850)+Speed_Right_Wheel_1851)+Speed_Right_Wheel_1852)+Speed_Right_Wheel_1853)+Speed_Right_Wheel_1854)+Speed_Right_Wheel_1855)+Speed_Right_Wheel_1856)+Speed_Right_Wheel_1857)+Speed_Right_Wheel_1858)+Speed_Right_Wheel_1859)+Speed_Right_Wheel_1860)+Speed_Right_Wheel_1861)+Speed_Right_Wheel_1862)+Speed_Right_Wheel_1863)+Speed_Right_Wheel_1864)+Speed_Right_Wheel_1865)+Speed_Right_Wheel_1866)+Speed_Right_Wheel_1867)+Speed_Right_Wheel_1868)+Speed_Right_Wheel_1869)+Speed_Right_Wheel_1870)+Speed_Right_Wheel_1871)+Speed_Right_Wheel_1872)+Speed_Right_Wheel_1873)+Speed_Right_Wheel_1874)+Speed_Right_Wheel_1875)+Speed_Right_Wheel_1876)+Speed_Right_Wheel_1877)+Speed_Right_Wheel_1878)+Speed_Right_Wheel_1879)+Speed_Right_Wheel_1880)+Speed_Right_Wheel_1881)+Speed_Right_Wheel_1882)+Speed_Right_Wheel_1883)+Speed_Right_Wheel_1884)+Speed_Right_Wheel_1885)+Speed_Right_Wheel_1886)+Speed_Right_Wheel_1887)+Speed_Right_Wheel_1888)+Speed_Right_Wheel_1889)+Speed_Right_Wheel_1890)+Speed_Right_Wheel_1891)+Speed_Right_Wheel_1892)+Speed_Right_Wheel_1893)+Speed_Right_Wheel_1894)+Speed_Right_Wheel_1895)+Speed_Right_Wheel_1896)+Speed_Right_Wheel_1897)+Speed_Right_Wheel_1898)+Speed_Right_Wheel_1899)+Speed_Right_Wheel_1900)+Speed_Right_Wheel_1901)+Speed_Right_Wheel_1902)+Speed_Right_Wheel_1903)+Speed_Right_Wheel_1904)+Speed_Right_Wheel_1905)+Speed_Right_Wheel_1906)+Speed_Right_Wheel_1907)+Speed_Right_Wheel_1908)+Speed_Right_Wheel_1909)+Speed_Right_Wheel_1910)+Speed_Right_Wheel_1911)+Speed_Right_Wheel_1912)+Speed_Right_Wheel_1913)+Speed_Right_Wheel_1914)+Speed_Right_Wheel_1915)+Speed_Right_Wheel_1916)+Speed_Right_Wheel_1917)+Speed_Right_Wheel_1918)+Speed_Right_Wheel_1919)+Speed_Right_Wheel_1920)+Speed_Right_Wheel_1921)+Speed_Right_Wheel_1922)+Speed_Right_Wheel_1923)+Speed_Right_Wheel_1924)+Speed_Right_Wheel_1925)+Speed_Right_Wheel_1926)+Speed_Right_Wheel_1927)+Speed_Right_Wheel_1928)+Speed_Right_Wheel_1929)+Speed_Right_Wheel_1930)+Speed_Right_Wheel_1931)+Speed_Right_Wheel_1932)+Speed_Right_Wheel_1933)+Speed_Right_Wheel_1934)+Speed_Right_Wheel_1935)+Speed_Right_Wheel_1936)+Speed_Right_Wheel_1937)+Speed_Right_Wheel_1938)+Speed_Right_Wheel_1939)+Speed_Right_Wheel_1940)+Speed_Right_Wheel_1941)+Speed_Right_Wheel_1942)+Speed_Right_Wheel_1943)+Speed_Right_Wheel_1944)+Speed_Right_Wheel_1945)+Speed_Right_Wheel_1946)+Speed_Right_Wheel_1947)+Speed_Right_Wheel_1948)+Speed_Right_Wheel_1949)+Speed_Right_Wheel_1950)+Speed_Right_Wheel_1951)+Speed_Right_Wheel_1952)+Speed_Right_Wheel_1953)+Speed_Right_Wheel_1954)+Speed_Right_Wheel_1955)+Speed_Right_Wheel_1956)+Speed_Right_Wheel_1957)+Speed_Right_Wheel_1958)+Speed_Right_Wheel_1959)+Speed_Right_Wheel_1960)+Speed_Right_Wheel_1961)+Speed_Right_Wheel_1962)+Speed_Right_Wheel_1963)+Speed_Right_Wheel_1964)+Speed_Right_Wheel_1965)+Speed_Right_Wheel_1966)+Speed_Right_Wheel_1967)+Speed_Right_Wheel_1968)+Speed_Right_Wheel_1969)+Speed_Right_Wheel_1970)+Speed_Right_Wheel_1971)+Speed_Right_Wheel_1972)+Speed_Right_Wheel_1973)+Speed_Right_Wheel_1974)+Speed_Right_Wheel_1975)+Speed_Right_Wheel_1976)+Speed_Right_Wheel_1977)+Speed_Right_Wheel_1978)+Speed_Right_Wheel_1979)+Speed_Right_Wheel_1980)+Speed_Right_Wheel_1981)+Speed_Right_Wheel_1982)+Speed_Right_Wheel_1983)+Speed_Right_Wheel_1984)+Speed_Right_Wheel_1985)+Speed_Right_Wheel_1986)+Speed_Right_Wheel_1987)+Speed_Right_Wheel_1988)+Speed_Right_Wheel_1989)+Speed_Right_Wheel_1990)+Speed_Right_Wheel_1991)+Speed_Right_Wheel_1992)+Speed_Right_Wheel_1993)+Speed_Right_Wheel_1994)+Speed_Right_Wheel_1995)+Speed_Right_Wheel_1996)+Speed_Right_Wheel_1997)+Speed_Right_Wheel_1998)+Speed_Right_Wheel_1999)>=2))||((stp2_0>=1)||((Plane_On_Ground_Signal_no_0+Plane_On_Ground_Signal_no_1)<=P6_0)))))] != FALSE
(forward)formula 1,0,874.638,5879844,1,0,5,4.21902e+07,9,0,53069,118114,0
FORMULA AirplaneLD-COL-2000-CTLCardinality-01 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
Detected timeout of ITS tools.
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/CTLCardinality.pnml.gal, -t, CGAL, -ctl, /home/mcc/execution/CTLCardinality.ctl], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/CTLCardinality.pnml.gal -t CGAL -ctl /home/mcc/execution/CTLCardinality.ctl
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.72348e+11,96.0578,775184,2,113820,5,1.15581e+06,6,0,36079,697670,0


Converting to forward existential form...Done !
sparsehash FATAL ERROR: failed to allocate 42 groups
original formula: (!(EG((P6_0<=2000))) * !(AG((stp3_0>=3))))
=> equivalent forward existential formula: ([FwdG(Init,(P6_0<=2000))] = FALSE * [(Init * !(E(TRUE U !((stp3_0>=3)))))] = FALSE)
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/CTLCardinality.pnml.gal, -t, CGAL, -ctl, /home/mcc/execution/CTLCardinality.ctl], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/CTLCardinality.pnml.gal -t CGAL -ctl /home/mcc/execution/CTLCardinality.ctl
No direction supplied, using forward translation only.
Parsed 14 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.72348e+11,101.968,775056,2,113820,5,1.15581e+06,6,0,36079,697670,0


Converting to forward existential form...Done !
sparsehash FATAL ERROR: failed to allocate 38 groups
original formula: (!(EG((P6_0<=2000))) * !(AG((stp3_0>=3))))
=> equivalent forward existential formula: ([FwdG(Init,(P6_0<=2000))] = FALSE * [(Init * !(E(TRUE U !((stp3_0>=3)))))] = FALSE)

BK_STOP 1553808451829

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination CTLCardinality -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Mar 28, 2019 8:36:54 PM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt]
Mar 28, 2019 8:36:54 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 28, 2019 8:36:54 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Mar 28, 2019 8:36:56 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1653 ms
Mar 28, 2019 8:36:56 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 20 places.
Mar 28, 2019 8:36:56 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Mar 28, 2019 8:36:56 PM 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,

Mar 28, 2019 8:36:56 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 15 transitions.
Mar 28, 2019 8:36:56 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Mar 28, 2019 8:36:56 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 40 ms
Mar 28, 2019 8:36:56 PM 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
Mar 28, 2019 8:36:56 PM 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
Mar 28, 2019 8:36:56 PM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: WeightPossibleVal[0-1], SpeedPossibleVal[0-1999], AltitudePossibleVal[0-3999],
Mar 28, 2019 8:36:57 PM 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
Mar 28, 2019 8:36:58 PM 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
Mar 28, 2019 8:36:58 PM 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
Mar 28, 2019 8:36:58 PM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: WeightPossibleVal[0-1], SpeedPossibleVal[0-1999], AltitudePossibleVal[0-3999],
Mar 28, 2019 8:37:01 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :WeightPossibleVal[]
Mar 28, 2019 8:37:01 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :SpeedPossibleVal[]
Mar 28, 2019 8:37:01 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :AltitudePossibleVal[]
Mar 28, 2019 8:37:01 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 22008 expressions due to constant valuations.
Mar 28, 2019 8:37:01 PM fr.lip6.move.gal.instantiate.CTLSimplifier simplifyTemporal
INFO: Initial state reduction rules for CTL removed 1 formulas.
Mar 28, 2019 8:37:01 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 4976 ms
Mar 28, 2019 8:37:18 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was not deterministic with 4015 transitions. Expanding to a total of 16016 deterministic transitions.
Mar 28, 2019 8:37:18 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Determinization took 36 ms.
Mar 28, 2019 8:37:18 PM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 8017 places.
Mar 28, 2019 8:37:18 PM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 16008 transitions.
Mar 28, 2019 8:37:43 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/CTLCardinality.pnml.gal : 134 ms
Mar 28, 2019 8:37:43 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSCTLTools
INFO: Time to serialize properties into /home/mcc/execution/CTLCardinality.ctl : 27 ms
Mar 28, 2019 8:57:44 PM 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
Mar 28, 2019 8:57:44 PM 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
Mar 28, 2019 8:57:44 PM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: WeightPossibleVal[0-1], SpeedPossibleVal[0-1999], AltitudePossibleVal[0-3999],
Mar 28, 2019 8:57:45 PM 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
Mar 28, 2019 8:57:45 PM 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
Mar 28, 2019 8:57:45 PM 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
Mar 28, 2019 8:57:45 PM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: WeightPossibleVal[0-1], SpeedPossibleVal[0-1999], AltitudePossibleVal[0-3999],
Mar 28, 2019 8:57:47 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :WeightPossibleVal[]
Mar 28, 2019 8:57:47 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :SpeedPossibleVal[]
Mar 28, 2019 8:57:47 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :AltitudePossibleVal[]
Mar 28, 2019 8:57:47 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 18006 expressions due to constant valuations.
Mar 28, 2019 8:57:48 PM fr.lip6.move.gal.instantiate.CTLSimplifier simplifyTemporal
INFO: Initial state reduction rules for CTL removed 1 formulas.
Mar 28, 2019 8:57:48 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 4055 ms
Mar 28, 2019 8:58:02 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/CTLCardinality.pnml.gal : 74 ms
Mar 28, 2019 8:58:02 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSCTLTools
INFO: Time to serialize properties into /home/mcc/execution/CTLCardinality.ctl : 31 ms
ITS-tools command line returned an error code 1
Mar 28, 2019 9:11:20 PM 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
Mar 28, 2019 9:11:20 PM 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
Mar 28, 2019 9:11:20 PM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: AltitudePossibleVal[0-3999], SpeedPossibleVal[0-1999], WeightPossibleVal[0-1],
Mar 28, 2019 9:11:20 PM 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
Mar 28, 2019 9:11:20 PM 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
Mar 28, 2019 9:11:20 PM 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
Mar 28, 2019 9:11:20 PM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: AltitudePossibleVal[0-3999], SpeedPossibleVal[0-1999], WeightPossibleVal[0-1],
Mar 28, 2019 9:11:23 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :AltitudePossibleVal[]
Mar 28, 2019 9:11:23 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :SpeedPossibleVal[]
Mar 28, 2019 9:11:23 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :WeightPossibleVal[]
Mar 28, 2019 9:11:23 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 18006 expressions due to constant valuations.
Mar 28, 2019 9:11:23 PM fr.lip6.move.gal.instantiate.CTLSimplifier simplifyTemporal
INFO: Initial state reduction rules for CTL removed 1 formulas.
Mar 28, 2019 9:11:23 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 3244 ms
Mar 28, 2019 9:11:36 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/CTLCardinality.pnml.gal : 54 ms
Mar 28, 2019 9:11:36 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSCTLTools
INFO: Time to serialize properties into /home/mcc/execution/CTLCardinality.ctl : 36 ms
ITS-tools command line returned an error code 1

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="CTLCardinality"
export BK_TOOL="itstoolsm"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3817"
echo " Executing tool itstoolsm"
echo " Input is AirplaneLD-COL-2000, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r188-smll-155225014300256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-COL-2000.tgz
mv AirplaneLD-COL-2000 execution
cd execution
if [ "CTLCardinality" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "CTLCardinality" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.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 ;