About the Execution of ITS-Tools for AirplaneLD-COL-0200
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1004.228 | 58075.00 | 72878.00 | 662.30 | FTTFTTFFFTFFTTFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r007-tall-162037989700203.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is AirplaneLD-COL-0200, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r007-tall-162037989700203
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 460K
-rw-r--r-- 1 mcc users 18K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 134K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 93K May 10 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K Mar 28 15:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 15:43 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 15:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 15:43 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 23 01:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 01:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 22 09:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 22 09:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 5 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 67K May 5 16:51 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-0200-CTLCardinality-00
FORMULA_NAME AirplaneLD-COL-0200-CTLCardinality-01
FORMULA_NAME AirplaneLD-COL-0200-CTLCardinality-02
FORMULA_NAME AirplaneLD-COL-0200-CTLCardinality-03
FORMULA_NAME AirplaneLD-COL-0200-CTLCardinality-04
FORMULA_NAME AirplaneLD-COL-0200-CTLCardinality-05
FORMULA_NAME AirplaneLD-COL-0200-CTLCardinality-06
FORMULA_NAME AirplaneLD-COL-0200-CTLCardinality-07
FORMULA_NAME AirplaneLD-COL-0200-CTLCardinality-08
FORMULA_NAME AirplaneLD-COL-0200-CTLCardinality-09
FORMULA_NAME AirplaneLD-COL-0200-CTLCardinality-10
FORMULA_NAME AirplaneLD-COL-0200-CTLCardinality-11
FORMULA_NAME AirplaneLD-COL-0200-CTLCardinality-12
FORMULA_NAME AirplaneLD-COL-0200-CTLCardinality-13
FORMULA_NAME AirplaneLD-COL-0200-CTLCardinality-14
FORMULA_NAME AirplaneLD-COL-0200-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1620736104198
Running Version 0
[2021-05-11 12:28:25] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-11 12:28:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-11 12:28:25] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
[2021-05-11 12:28:26] [WARNING] Using fallBack plugin, rng conformance not checked
[2021-05-11 12:28:26] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 607 ms
[2021-05-11 12:28:26] [INFO ] Detected 3 constant HL places corresponding to 602 PT places.
[2021-05-11 12:28:26] [INFO ] Imported 20 HL places and 15 HL transitions for a total of 1419 PT places and 2412.0 transition bindings in 16 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 22 ms.
[2021-05-11 12:28:26] [INFO ] Built PT skeleton of HLPN with 20 places and 15 transitions in 3 ms.
[2021-05-11 12:28:26] [INFO ] Skeletonized HLPN properties in 1 ms.
Successfully produced net in file /tmp/petri1000_3356634299476870512.dot
Reduce places removed 3 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce redundant transitions removed 1 transitions.
Incomplete random walk after 100000 steps, including 12590 resets, run finished after 2626 ms. (steps per millisecond=38 ) properties (out of 93) seen :8
Running SMT prover for 85 properties.
// Phase 1: matrix 14 rows 17 cols
[2021-05-11 12:28:29] [INFO ] Computed 3 place invariants in 4 ms
[2021-05-11 12:28:29] [INFO ] [Real]Absence check using 2 positive place invariants in 2 ms returned sat
[2021-05-11 12:28:29] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 1 ms returned sat
[2021-05-11 12:28:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 12:28:29] [INFO ] SMT Verify possible in real domain returnedunsat :77 sat :0 real:8
[2021-05-11 12:28:29] [INFO ] [Nat]Absence check using 2 positive place invariants in 0 ms returned sat
[2021-05-11 12:28:29] [INFO ] [Nat]Absence check using 2 positive and 1 generalized place invariants in 1 ms returned sat
[2021-05-11 12:28:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 12:28:29] [INFO ] SMT Verify possible in nat domain returned unsat :8 sat :77
Successfully simplified 85 atomic propositions for a total of 16 simplifications.
FORMULA AirplaneLD-COL-0200-CTLCardinality-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-COL-0200-CTLCardinality-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-11 12:28:29] [INFO ] Initial state reduction rules for CTL removed 7 formulas.
[2021-05-11 12:28:29] [INFO ] Flatten gal took : 19 ms
[2021-05-11 12:28:29] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
FORMULA AirplaneLD-COL-0200-CTLCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-COL-0200-CTLCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-COL-0200-CTLCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-COL-0200-CTLCardinality-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-COL-0200-CTLCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-COL-0200-CTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-COL-0200-CTLCardinality-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-COL-0200-CTLCardinality-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-COL-0200-CTLCardinality-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-11 12:28:29] [INFO ] Flatten gal took : 3 ms
[2021-05-11 12:28:29] [INFO ] Unfolded HLPN to a Petri net with 1419 places and 1608 transitions in 20 ms.
[2021-05-11 12:28:29] [INFO ] Unfolded HLPN properties in 2 ms.
Successfully produced net in file /tmp/petri1001_7640490217011845803.dot
Reduce places removed 602 places and 0 transitions.
Support contains 817 out of 817 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 817/817 places, 1608/1608 transitions.
Applied a total of 0 rules in 20 ms. Remains 817 /817 variables (removed 0) and now considering 1608/1608 (removed 0) transitions.
// Phase 1: matrix 1608 rows 817 cols
[2021-05-11 12:28:29] [INFO ] Computed 3 place invariants in 106 ms
[2021-05-11 12:28:30] [INFO ] Implicit Places using invariants in 243 ms returned []
// Phase 1: matrix 1608 rows 817 cols
[2021-05-11 12:28:30] [INFO ] Computed 3 place invariants in 67 ms
[2021-05-11 12:28:30] [INFO ] Implicit Places using invariants and state equation in 566 ms returned []
Implicit Place search using SMT with State Equation took 819 ms to find 0 implicit places.
// Phase 1: matrix 1608 rows 817 cols
[2021-05-11 12:28:30] [INFO ] Computed 3 place invariants in 57 ms
[2021-05-11 12:28:31] [INFO ] Dead Transitions using invariants and state equation in 688 ms returned []
Finished structural reductions, in 1 iterations. Remains : 817/817 places, 1608/1608 transitions.
[2021-05-11 12:28:31] [INFO ] Flatten gal took : 131 ms
[2021-05-11 12:28:31] [INFO ] Flatten gal took : 115 ms
[2021-05-11 12:28:31] [INFO ] Input system was already deterministic with 1608 transitions.
Incomplete random walk after 100000 steps, including 12594 resets, run finished after 10037 ms. (steps per millisecond=9 ) properties (out of 28) seen :3
Running SMT prover for 25 properties.
// Phase 1: matrix 1608 rows 817 cols
[2021-05-11 12:28:41] [INFO ] Computed 3 place invariants in 56 ms
[2021-05-11 12:28:42] [INFO ] [Real]Absence check using 2 positive place invariants in 0 ms returned sat
[2021-05-11 12:28:42] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 1 ms returned sat
[2021-05-11 12:28:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 12:28:42] [INFO ] SMT Verify possible in real domain returnedunsat :15 sat :0 real:10
[2021-05-11 12:28:43] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-11 12:28:43] [INFO ] [Nat]Absence check using 2 positive and 1 generalized place invariants in 1 ms returned sat
[2021-05-11 12:28:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 12:28:43] [INFO ] SMT Verify possible in nat domain returned unsat :10 sat :15
Successfully simplified 25 atomic propositions for a total of 5 simplifications.
[2021-05-11 12:28:43] [INFO ] Flatten gal took : 82 ms
[2021-05-11 12:28:43] [INFO ] Flatten gal took : 74 ms
[2021-05-11 12:28:43] [INFO ] Applying decomposition
[2021-05-11 12:28:44] [INFO ] Flatten gal took : 68 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph1256632358118297250.txt, -o, /tmp/graph1256632358118297250.bin, -w, /tmp/graph1256632358118297250.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph1256632358118297250.bin, -l, -1, -v, -w, /tmp/graph1256632358118297250.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 12:28:45] [INFO ] Decomposing Gal with order
[2021-05-11 12:28:45] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 12:28:46] [INFO ] Removed a total of 796 redundant transitions.
[2021-05-11 12:28:46] [INFO ] Flatten gal took : 847 ms
[2021-05-11 12:28:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 802 labels/synchronizations in 34 ms.
[2021-05-11 12:28:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality2856801575231385123.gal : 11 ms
[2021-05-11 12:28:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality6788781838512501146.ctl : 6 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality2856801575231385123.gal, -t, CGAL, -ctl, /tmp/CTLCardinality6788781838512501146.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality2856801575231385123.gal -t CGAL -ctl /tmp/CTLCardinality6788781838512501146.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 5 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.75495e+08,0.794355,23692,2,4303,5,117193,6,0,4074,19492,0
Converting to forward existential form...Done !
original formula: EX(TRUE)
=> equivalent forward existential formula: [(EY(Init) * TRUE)] != FALSE
(forward)formula 0,1,1.08182,23692,1,0,6,117193,7,1,5640,19492,1
FORMULA AirplaneLD-COL-0200-CTLCardinality-01 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
original formula: AX(EF((((gu0.P3_0+200)<=38)||((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu0.P2_0+gu0.P5_0)+gu0.P6_0)+gu0.P3_0)+gu0.Speed_Right_Wheel_0)+gu0.Speed_Right_Wheel_1)+gu0.Speed_Right_Wheel_2)+gu0.Speed_Right_Wheel_3)+gu0.Speed_Right_Wheel_4)+gu0.Speed_Right_Wheel_5)+gu0.Speed_Right_Wheel_6)+gu0.Speed_Right_Wheel_7)+gu0.Speed_Right_Wheel_8)+gu0.Speed_Right_Wheel_9)+gu0.Speed_Right_Wheel_10)+gu0.Speed_Right_Wheel_11)+gu0.Speed_Right_Wheel_12)+gu0.Speed_Right_Wheel_13)+gu0.Speed_Right_Wheel_14)+gu0.Speed_Right_Wheel_15)+gu0.Speed_Right_Wheel_16)+gu0.Speed_Right_Wheel_17)+gu0.Speed_Right_Wheel_18)+gu0.Speed_Right_Wheel_19)+gu0.Speed_Right_Wheel_20)+gu0.Speed_Right_Wheel_21)+gu0.Speed_Right_Wheel_22)+gu0.Speed_Right_Wheel_23)+gu0.Speed_Right_Wheel_24)+gu0.Speed_Right_Wheel_25)+gu0.Speed_Right_Wheel_26)+gu0.Speed_Right_Wheel_27)+gu0.Speed_Right_Wheel_28)+gu0.Speed_Right_Wheel_29)+gu0.Speed_Right_Wheel_30)+gu0.Speed_Right_Wheel_31)+gu0.Speed_Right_Wheel_32)+gu0.Speed_Right_Wheel_33)+gu0.Speed_Right_Wheel_34)+gu0.Speed_Right_Wheel_35)+gu0.Speed_Right_Wheel_36)+gu0.Speed_Right_Wheel_37)+gu0.Speed_Right_Wheel_38)+gu0.Speed_Right_Wheel_39)+gu0.Speed_Right_Wheel_40)+gu0.Speed_Right_Wheel_41)+gu0.Speed_Right_Wheel_42)+gu0.Speed_Right_Wheel_43)+gu0.Speed_Right_Wheel_44)+gu0.Speed_Right_Wheel_45)+gu0.Speed_Right_Wheel_46)+gu0.Speed_Right_Wheel_47)+gu0.Speed_Right_Wheel_48)+gu0.Speed_Right_Wheel_49)+gu0.Speed_Right_Wheel_50)+gu0.Speed_Right_Wheel_51)+gu0.Speed_Right_Wheel_52)+gu0.Speed_Right_Wheel_53)+gu0.Speed_Right_Wheel_54)+gu0.Speed_Right_Wheel_55)+gu0.Speed_Right_Wheel_56)+gu0.Speed_Right_Wheel_57)+gu0.Speed_Right_Wheel_58)+gu0.Speed_Right_Wheel_59)+gu0.Speed_Right_Wheel_60)+gu0.Speed_Right_Wheel_61)+gu0.Speed_Right_Wheel_62)+gu0.Speed_Right_Wheel_63)+gu0.Speed_Right_Wheel_64)+gu0.Speed_Right_Wheel_65)+gu0.Speed_Right_Wheel_66)+gu0.Speed_Right_Wheel_67)+gu0.Speed_Right_Wheel_68)+gu0.Speed_Right_Wheel_69)+gu0.Speed_Right_Wheel_70)+gu0.Speed_Right_Wheel_71)+gu0.Speed_Right_Wheel_72)+gu0.Speed_Right_Wheel_73)+gu0.Speed_Right_Wheel_74)+gu0.Speed_Right_Wheel_75)+gu0.Speed_Right_Wheel_76)+gu0.Speed_Right_Wheel_77)+gu0.Speed_Right_Wheel_78)+gu0.Speed_Right_Wheel_79)+gu0.Speed_Right_Wheel_80)+gu0.Speed_Right_Wheel_81)+gu0.Speed_Right_Wheel_82)+gu0.Speed_Right_Wheel_83)+gu0.Speed_Right_Wheel_84)+gu0.Speed_Right_Wheel_85)+gu0.Speed_Right_Wheel_86)+gu0.Speed_Right_Wheel_87)+gu0.Speed_Right_Wheel_88)+gu0.Speed_Right_Wheel_89)+gu0.Speed_Right_Wheel_90)+gu0.Speed_Right_Wheel_91)+gu0.Speed_Right_Wheel_92)+gu0.Speed_Right_Wheel_93)+gu0.Speed_Right_Wheel_94)+gu0.Speed_Right_Wheel_95)+gu0.Speed_Right_Wheel_96)+gu0.Speed_Right_Wheel_97)+gu0.Speed_Right_Wheel_98)+gu0.Speed_Right_Wheel_99)+gu0.Speed_Right_Wheel_100)+gu0.Speed_Right_Wheel_101)+gu0.Speed_Right_Wheel_102)+gu0.Speed_Right_Wheel_103)+gu0.Speed_Right_Wheel_104)+gu0.Speed_Right_Wheel_105)+gu0.Speed_Right_Wheel_106)+gu0.Speed_Right_Wheel_107)+gu0.Speed_Right_Wheel_108)+gu0.Speed_Right_Wheel_109)+gu0.Speed_Right_Wheel_110)+gu0.Speed_Right_Wheel_111)+gu0.Speed_Right_Wheel_112)+gu0.Speed_Right_Wheel_113)+gu0.Speed_Right_Wheel_114)+gu0.Speed_Right_Wheel_115)+gu0.Speed_Right_Wheel_116)+gu0.Speed_Right_Wheel_117)+gu0.Speed_Right_Wheel_118)+gu0.Speed_Right_Wheel_119)+gu0.Speed_Right_Wheel_120)+gu0.Speed_Right_Wheel_121)+gu0.Speed_Right_Wheel_122)+gu0.Speed_Right_Wheel_123)+gu0.Speed_Right_Wheel_124)+gu0.Speed_Right_Wheel_125)+gu0.Speed_Right_Wheel_126)+gu0.Speed_Right_Wheel_127)+gu0.Speed_Right_Wheel_128)+gu0.Speed_Right_Wheel_129)+gu0.Speed_Right_Wheel_130)+gu0.Speed_Right_Wheel_131)+gu0.Speed_Right_Wheel_132)+gu0.Speed_Right_Wheel_133)+gu0.Speed_Right_Wheel_134)+gu0.Speed_Right_Wheel_135)+gu0.Speed_Right_Wheel_136)+gu0.Speed_Right_Wheel_137)+gu0.Speed_Right_Wheel_138)+gu0.Speed_Right_Wheel_139)+gu0.Speed_Right_Wheel_140)+gu0.Speed_Right_Wheel_141)+gu0.Speed_Right_Wheel_142)+gu0.Speed_Right_Wheel_143)+gu0.Speed_Right_Wheel_144)+gu0.Speed_Right_Wheel_145)+gu0.Speed_Right_Wheel_146)+gu0.Speed_Right_Wheel_147)+gu0.Speed_Right_Wheel_148)+gu0.Speed_Right_Wheel_149)+gu0.Speed_Right_Wheel_150)+gu0.Speed_Right_Wheel_151)+gu0.Speed_Right_Wheel_152)+gu0.Speed_Right_Wheel_153)+gu0.Speed_Right_Wheel_154)+gu0.Speed_Right_Wheel_155)+gu0.Speed_Right_Wheel_156)+gu0.Speed_Right_Wheel_157)+gu0.Speed_Right_Wheel_158)+gu0.Speed_Right_Wheel_159)+gu0.Speed_Right_Wheel_160)+gu0.Speed_Right_Wheel_161)+gu0.Speed_Right_Wheel_162)+gu0.Speed_Right_Wheel_163)+gu0.Speed_Right_Wheel_164)+gu0.Speed_Right_Wheel_165)+gu0.Speed_Right_Wheel_166)+gu0.Speed_Right_Wheel_167)+gu0.Speed_Right_Wheel_168)+gu0.Speed_Right_Wheel_169)+gu0.Speed_Right_Wheel_170)+gu0.Speed_Right_Wheel_171)+gu0.Speed_Right_Wheel_172)+gu0.Speed_Right_Wheel_173)+gu0.Speed_Right_Wheel_174)+gu0.Speed_Right_Wheel_175)+gu0.Speed_Right_Wheel_176)+gu0.Speed_Right_Wheel_177)+gu0.Speed_Right_Wheel_178)+gu0.Speed_Right_Wheel_179)+gu0.Speed_Right_Wheel_180)+gu0.Speed_Right_Wheel_181)+gu0.Speed_Right_Wheel_182)+gu0.Speed_Right_Wheel_183)+gu0.Speed_Right_Wheel_184)+gu0.Speed_Right_Wheel_185)+gu0.Speed_Right_Wheel_186)+gu0.Speed_Right_Wheel_187)+gu0.Speed_Right_Wheel_188)+gu0.Speed_Right_Wheel_189)+gu0.Speed_Right_Wheel_190)+gu0.Speed_Right_Wheel_191)+gu0.Speed_Right_Wheel_192)+gu0.Speed_Right_Wheel_193)+gu0.Speed_Right_Wheel_194)+gu0.Speed_Right_Wheel_195)+gu0.Speed_Right_Wheel_196)+gu0.Speed_Right_Wheel_197)+gu0.Speed_Right_Wheel_198)+gu0.Speed_Right_Wheel_199)<=(((((((gu0.stp1_0+gu0.stp5_0)+gu0.Weight_Left_Wheel_0)+gu0.Weight_Left_Wheel_1)+gu0.P5_0)+gu0.Plane_On_Ground_Signal_no_0)+gu0.Plane_On_Ground_Signal_no_1)+gu0.stp4_0)))))
=> equivalent forward existential formula: [(EY(Init) * !(E(TRUE U (((gu0.P3_0+200)<=38)||((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu0.P2_0+gu0.P5_0)+gu0.P6_0)+gu0.P3_0)+gu0.Speed_Right_Wheel_0)+gu0.Speed_Right_Wheel_1)+gu0.Speed_Right_Wheel_2)+gu0.Speed_Right_Wheel_3)+gu0.Speed_Right_Wheel_4)+gu0.Speed_Right_Wheel_5)+gu0.Speed_Right_Wheel_6)+gu0.Speed_Right_Wheel_7)+gu0.Speed_Right_Wheel_8)+gu0.Speed_Right_Wheel_9)+gu0.Speed_Right_Wheel_10)+gu0.Speed_Right_Wheel_11)+gu0.Speed_Right_Wheel_12)+gu0.Speed_Right_Wheel_13)+gu0.Speed_Right_Wheel_14)+gu0.Speed_Right_Wheel_15)+gu0.Speed_Right_Wheel_16)+gu0.Speed_Right_Wheel_17)+gu0.Speed_Right_Wheel_18)+gu0.Speed_Right_Wheel_19)+gu0.Speed_Right_Wheel_20)+gu0.Speed_Right_Wheel_21)+gu0.Speed_Right_Wheel_22)+gu0.Speed_Right_Wheel_23)+gu0.Speed_Right_Wheel_24)+gu0.Speed_Right_Wheel_25)+gu0.Speed_Right_Wheel_26)+gu0.Speed_Right_Wheel_27)+gu0.Speed_Right_Wheel_28)+gu0.Speed_Right_Wheel_29)+gu0.Speed_Right_Wheel_30)+gu0.Speed_Right_Wheel_31)+gu0.Speed_Right_Wheel_32)+gu0.Speed_Right_Wheel_33)+gu0.Speed_Right_Wheel_34)+gu0.Speed_Right_Wheel_35)+gu0.Speed_Right_Wheel_36)+gu0.Speed_Right_Wheel_37)+gu0.Speed_Right_Wheel_38)+gu0.Speed_Right_Wheel_39)+gu0.Speed_Right_Wheel_40)+gu0.Speed_Right_Wheel_41)+gu0.Speed_Right_Wheel_42)+gu0.Speed_Right_Wheel_43)+gu0.Speed_Right_Wheel_44)+gu0.Speed_Right_Wheel_45)+gu0.Speed_Right_Wheel_46)+gu0.Speed_Right_Wheel_47)+gu0.Speed_Right_Wheel_48)+gu0.Speed_Right_Wheel_49)+gu0.Speed_Right_Wheel_50)+gu0.Speed_Right_Wheel_51)+gu0.Speed_Right_Wheel_52)+gu0.Speed_Right_Wheel_53)+gu0.Speed_Right_Wheel_54)+gu0.Speed_Right_Wheel_55)+gu0.Speed_Right_Wheel_56)+gu0.Speed_Right_Wheel_57)+gu0.Speed_Right_Wheel_58)+gu0.Speed_Right_Wheel_59)+gu0.Speed_Right_Wheel_60)+gu0.Speed_Right_Wheel_61)+gu0.Speed_Right_Wheel_62)+gu0.Speed_Right_Wheel_63)+gu0.Speed_Right_Wheel_64)+gu0.Speed_Right_Wheel_65)+gu0.Speed_Right_Wheel_66)+gu0.Speed_Right_Wheel_67)+gu0.Speed_Right_Wheel_68)+gu0.Speed_Right_Wheel_69)+gu0.Speed_Right_Wheel_70)+gu0.Speed_Right_Wheel_71)+gu0.Speed_Right_Wheel_72)+gu0.Speed_Right_Wheel_73)+gu0.Speed_Right_Wheel_74)+gu0.Speed_Right_Wheel_75)+gu0.Speed_Right_Wheel_76)+gu0.Speed_Right_Wheel_77)+gu0.Speed_Right_Wheel_78)+gu0.Speed_Right_Wheel_79)+gu0.Speed_Right_Wheel_80)+gu0.Speed_Right_Wheel_81)+gu0.Speed_Right_Wheel_82)+gu0.Speed_Right_Wheel_83)+gu0.Speed_Right_Wheel_84)+gu0.Speed_Right_Wheel_85)+gu0.Speed_Right_Wheel_86)+gu0.Speed_Right_Wheel_87)+gu0.Speed_Right_Wheel_88)+gu0.Speed_Right_Wheel_89)+gu0.Speed_Right_Wheel_90)+gu0.Speed_Right_Wheel_91)+gu0.Speed_Right_Wheel_92)+gu0.Speed_Right_Wheel_93)+gu0.Speed_Right_Wheel_94)+gu0.Speed_Right_Wheel_95)+gu0.Speed_Right_Wheel_96)+gu0.Speed_Right_Wheel_97)+gu0.Speed_Right_Wheel_98)+gu0.Speed_Right_Wheel_99)+gu0.Speed_Right_Wheel_100)+gu0.Speed_Right_Wheel_101)+gu0.Speed_Right_Wheel_102)+gu0.Speed_Right_Wheel_103)+gu0.Speed_Right_Wheel_104)+gu0.Speed_Right_Wheel_105)+gu0.Speed_Right_Wheel_106)+gu0.Speed_Right_Wheel_107)+gu0.Speed_Right_Wheel_108)+gu0.Speed_Right_Wheel_109)+gu0.Speed_Right_Wheel_110)+gu0.Speed_Right_Wheel_111)+gu0.Speed_Right_Wheel_112)+gu0.Speed_Right_Wheel_113)+gu0.Speed_Right_Wheel_114)+gu0.Speed_Right_Wheel_115)+gu0.Speed_Right_Wheel_116)+gu0.Speed_Right_Wheel_117)+gu0.Speed_Right_Wheel_118)+gu0.Speed_Right_Wheel_119)+gu0.Speed_Right_Wheel_120)+gu0.Speed_Right_Wheel_121)+gu0.Speed_Right_Wheel_122)+gu0.Speed_Right_Wheel_123)+gu0.Speed_Right_Wheel_124)+gu0.Speed_Right_Wheel_125)+gu0.Speed_Right_Wheel_126)+gu0.Speed_Right_Wheel_127)+gu0.Speed_Right_Wheel_128)+gu0.Speed_Right_Wheel_129)+gu0.Speed_Right_Wheel_130)+gu0.Speed_Right_Wheel_131)+gu0.Speed_Right_Wheel_132)+gu0.Speed_Right_Wheel_133)+gu0.Speed_Right_Wheel_134)+gu0.Speed_Right_Wheel_135)+gu0.Speed_Right_Wheel_136)+gu0.Speed_Right_Wheel_137)+gu0.Speed_Right_Wheel_138)+gu0.Speed_Right_Wheel_139)+gu0.Speed_Right_Wheel_140)+gu0.Speed_Right_Wheel_141)+gu0.Speed_Right_Wheel_142)+gu0.Speed_Right_Wheel_143)+gu0.Speed_Right_Wheel_144)+gu0.Speed_Right_Wheel_145)+gu0.Speed_Right_Wheel_146)+gu0.Speed_Right_Wheel_147)+gu0.Speed_Right_Wheel_148)+gu0.Speed_Right_Wheel_149)+gu0.Speed_Right_Wheel_150)+gu0.Speed_Right_Wheel_151)+gu0.Speed_Right_Wheel_152)+gu0.Speed_Right_Wheel_153)+gu0.Speed_Right_Wheel_154)+gu0.Speed_Right_Wheel_155)+gu0.Speed_Right_Wheel_156)+gu0.Speed_Right_Wheel_157)+gu0.Speed_Right_Wheel_158)+gu0.Speed_Right_Wheel_159)+gu0.Speed_Right_Wheel_160)+gu0.Speed_Right_Wheel_161)+gu0.Speed_Right_Wheel_162)+gu0.Speed_Right_Wheel_163)+gu0.Speed_Right_Wheel_164)+gu0.Speed_Right_Wheel_165)+gu0.Speed_Right_Wheel_166)+gu0.Speed_Right_Wheel_167)+gu0.Speed_Right_Wheel_168)+gu0.Speed_Right_Wheel_169)+gu0.Speed_Right_Wheel_170)+gu0.Speed_Right_Wheel_171)+gu0.Speed_Right_Wheel_172)+gu0.Speed_Right_Wheel_173)+gu0.Speed_Right_Wheel_174)+gu0.Speed_Right_Wheel_175)+gu0.Speed_Right_Wheel_176)+gu0.Speed_Right_Wheel_177)+gu0.Speed_Right_Wheel_178)+gu0.Speed_Right_Wheel_179)+gu0.Speed_Right_Wheel_180)+gu0.Speed_Right_Wheel_181)+gu0.Speed_Right_Wheel_182)+gu0.Speed_Right_Wheel_183)+gu0.Speed_Right_Wheel_184)+gu0.Speed_Right_Wheel_185)+gu0.Speed_Right_Wheel_186)+gu0.Speed_Right_Wheel_187)+gu0.Speed_Right_Wheel_188)+gu0.Speed_Right_Wheel_189)+gu0.Speed_Right_Wheel_190)+gu0.Speed_Right_Wheel_191)+gu0.Speed_Right_Wheel_192)+gu0.Speed_Right_Wheel_193)+gu0.Speed_Right_Wheel_194)+gu0.Speed_Right_Wheel_195)+gu0.Speed_Right_Wheel_196)+gu0.Speed_Right_Wheel_197)+gu0.Speed_Right_Wheel_198)+gu0.Speed_Right_Wheel_199)<=(((((((gu0.stp1_0+gu0.stp5_0)+gu0.Weight_Left_Wheel_0)+gu0.Weight_Left_Wheel_1)+gu0.P5_0)+gu0.Plane_On_Ground_Signal_no_0)+gu0.Plane_On_Ground_Signal_no_1)+gu0.stp4_0))))))] = FALSE
Reverse transition relation is NOT exact ! Due to transitions gu0.t905, gu0.t906, gu0.t907, gu0.t908, gu0.t909, gu0.t910, gu0.t911, gu0.t912, gu0.t913, gu0.t914, gu0.t915, gu0.t916, gu0.t917, gu0.t918, gu0.t919, gu0.t920, gu0.t921, gu0.t922, gu0.t923, gu0.t924, gu0.t925, gu0.t926, gu0.t927, gu0.t928, gu0.t929, gu0.t930, gu0.t931, gu0.t932, gu0.t933, gu0.t934, gu0.t935, gu0.t936, gu0.t937, gu0.t938, gu0.t939, gu0.t940, gu0.t941, gu0.t942, gu0.t943, gu0.t944, gu0.t945, gu0.t946, gu0.t947, gu0.t948, gu0.t949, gu0.t950, gu0.t951, gu0.t952, gu0.t953, gu0.t954, gu0.t955, gu0.t956, gu0.t957, gu0.t958, gu0.t959, gu0.t960, gu0.t961, gu0.t962, gu0.t963, gu0.t964, gu0.t965, gu0.t966, gu0.t967, gu0.t968, gu0.t969, gu0.t970, gu0.t971, gu0.t972, gu0.t973, gu0.t974, gu0.t975, gu0.t976, gu0.t977, gu0.t978, gu0.t979, gu0.t980, gu0.t981, gu0.t982, gu0.t983, gu0.t984, gu0.t985, gu0.t986, gu0.t987, gu0.t988, gu0.t989, gu0.t990, gu0.t991, gu0.t992, gu0.t993, gu0.t994, gu0.t995, gu0.t996, gu0.t997, gu0.t998, gu0.t999, gu0.t1000, gu0.t1001, gu0.t1002, gu0.t1003, gu0.t1605, gu0.t1607, t1141, t1497, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/709/103/812
(forward)formula 1,1,16.301,398012,1,0,944,2.4912e+06,1645,220,26200,583957,1638
FORMULA AirplaneLD-COL-0200-CTLCardinality-04 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
original formula: AX(A(EX(TRUE) U (EX(TRUE) + AX((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu0.P6_0+gu0.stp1_0)+gu0.Speed_Right_Wheel_0)+gu0.Speed_Right_Wheel_1)+gu0.Speed_Right_Wheel_2)+gu0.Speed_Right_Wheel_3)+gu0.Speed_Right_Wheel_4)+gu0.Speed_Right_Wheel_5)+gu0.Speed_Right_Wheel_6)+gu0.Speed_Right_Wheel_7)+gu0.Speed_Right_Wheel_8)+gu0.Speed_Right_Wheel_9)+gu0.Speed_Right_Wheel_10)+gu0.Speed_Right_Wheel_11)+gu0.Speed_Right_Wheel_12)+gu0.Speed_Right_Wheel_13)+gu0.Speed_Right_Wheel_14)+gu0.Speed_Right_Wheel_15)+gu0.Speed_Right_Wheel_16)+gu0.Speed_Right_Wheel_17)+gu0.Speed_Right_Wheel_18)+gu0.Speed_Right_Wheel_19)+gu0.Speed_Right_Wheel_20)+gu0.Speed_Right_Wheel_21)+gu0.Speed_Right_Wheel_22)+gu0.Speed_Right_Wheel_23)+gu0.Speed_Right_Wheel_24)+gu0.Speed_Right_Wheel_25)+gu0.Speed_Right_Wheel_26)+gu0.Speed_Right_Wheel_27)+gu0.Speed_Right_Wheel_28)+gu0.Speed_Right_Wheel_29)+gu0.Speed_Right_Wheel_30)+gu0.Speed_Right_Wheel_31)+gu0.Speed_Right_Wheel_32)+gu0.Speed_Right_Wheel_33)+gu0.Speed_Right_Wheel_34)+gu0.Speed_Right_Wheel_35)+gu0.Speed_Right_Wheel_36)+gu0.Speed_Right_Wheel_37)+gu0.Speed_Right_Wheel_38)+gu0.Speed_Right_Wheel_39)+gu0.Speed_Right_Wheel_40)+gu0.Speed_Right_Wheel_41)+gu0.Speed_Right_Wheel_42)+gu0.Speed_Right_Wheel_43)+gu0.Speed_Right_Wheel_44)+gu0.Speed_Right_Wheel_45)+gu0.Speed_Right_Wheel_46)+gu0.Speed_Right_Wheel_47)+gu0.Speed_Right_Wheel_48)+gu0.Speed_Right_Wheel_49)+gu0.Speed_Right_Wheel_50)+gu0.Speed_Right_Wheel_51)+gu0.Speed_Right_Wheel_52)+gu0.Speed_Right_Wheel_53)+gu0.Speed_Right_Wheel_54)+gu0.Speed_Right_Wheel_55)+gu0.Speed_Right_Wheel_56)+gu0.Speed_Right_Wheel_57)+gu0.Speed_Right_Wheel_58)+gu0.Speed_Right_Wheel_59)+gu0.Speed_Right_Wheel_60)+gu0.Speed_Right_Wheel_61)+gu0.Speed_Right_Wheel_62)+gu0.Speed_Right_Wheel_63)+gu0.Speed_Right_Wheel_64)+gu0.Speed_Right_Wheel_65)+gu0.Speed_Right_Wheel_66)+gu0.Speed_Right_Wheel_67)+gu0.Speed_Right_Wheel_68)+gu0.Speed_Right_Wheel_69)+gu0.Speed_Right_Wheel_70)+gu0.Speed_Right_Wheel_71)+gu0.Speed_Right_Wheel_72)+gu0.Speed_Right_Wheel_73)+gu0.Speed_Right_Wheel_74)+gu0.Speed_Right_Wheel_75)+gu0.Speed_Right_Wheel_76)+gu0.Speed_Right_Wheel_77)+gu0.Speed_Right_Wheel_78)+gu0.Speed_Right_Wheel_79)+gu0.Speed_Right_Wheel_80)+gu0.Speed_Right_Wheel_81)+gu0.Speed_Right_Wheel_82)+gu0.Speed_Right_Wheel_83)+gu0.Speed_Right_Wheel_84)+gu0.Speed_Right_Wheel_85)+gu0.Speed_Right_Wheel_86)+gu0.Speed_Right_Wheel_87)+gu0.Speed_Right_Wheel_88)+gu0.Speed_Right_Wheel_89)+gu0.Speed_Right_Wheel_90)+gu0.Speed_Right_Wheel_91)+gu0.Speed_Right_Wheel_92)+gu0.Speed_Right_Wheel_93)+gu0.Speed_Right_Wheel_94)+gu0.Speed_Right_Wheel_95)+gu0.Speed_Right_Wheel_96)+gu0.Speed_Right_Wheel_97)+gu0.Speed_Right_Wheel_98)+gu0.Speed_Right_Wheel_99)+gu0.Speed_Right_Wheel_100)+gu0.Speed_Right_Wheel_101)+gu0.Speed_Right_Wheel_102)+gu0.Speed_Right_Wheel_103)+gu0.Speed_Right_Wheel_104)+gu0.Speed_Right_Wheel_105)+gu0.Speed_Right_Wheel_106)+gu0.Speed_Right_Wheel_107)+gu0.Speed_Right_Wheel_108)+gu0.Speed_Right_Wheel_109)+gu0.Speed_Right_Wheel_110)+gu0.Speed_Right_Wheel_111)+gu0.Speed_Right_Wheel_112)+gu0.Speed_Right_Wheel_113)+gu0.Speed_Right_Wheel_114)+gu0.Speed_Right_Wheel_115)+gu0.Speed_Right_Wheel_116)+gu0.Speed_Right_Wheel_117)+gu0.Speed_Right_Wheel_118)+gu0.Speed_Right_Wheel_119)+gu0.Speed_Right_Wheel_120)+gu0.Speed_Right_Wheel_121)+gu0.Speed_Right_Wheel_122)+gu0.Speed_Right_Wheel_123)+gu0.Speed_Right_Wheel_124)+gu0.Speed_Right_Wheel_125)+gu0.Speed_Right_Wheel_126)+gu0.Speed_Right_Wheel_127)+gu0.Speed_Right_Wheel_128)+gu0.Speed_Right_Wheel_129)+gu0.Speed_Right_Wheel_130)+gu0.Speed_Right_Wheel_131)+gu0.Speed_Right_Wheel_132)+gu0.Speed_Right_Wheel_133)+gu0.Speed_Right_Wheel_134)+gu0.Speed_Right_Wheel_135)+gu0.Speed_Right_Wheel_136)+gu0.Speed_Right_Wheel_137)+gu0.Speed_Right_Wheel_138)+gu0.Speed_Right_Wheel_139)+gu0.Speed_Right_Wheel_140)+gu0.Speed_Right_Wheel_141)+gu0.Speed_Right_Wheel_142)+gu0.Speed_Right_Wheel_143)+gu0.Speed_Right_Wheel_144)+gu0.Speed_Right_Wheel_145)+gu0.Speed_Right_Wheel_146)+gu0.Speed_Right_Wheel_147)+gu0.Speed_Right_Wheel_148)+gu0.Speed_Right_Wheel_149)+gu0.Speed_Right_Wheel_150)+gu0.Speed_Right_Wheel_151)+gu0.Speed_Right_Wheel_152)+gu0.Speed_Right_Wheel_153)+gu0.Speed_Right_Wheel_154)+gu0.Speed_Right_Wheel_155)+gu0.Speed_Right_Wheel_156)+gu0.Speed_Right_Wheel_157)+gu0.Speed_Right_Wheel_158)+gu0.Speed_Right_Wheel_159)+gu0.Speed_Right_Wheel_160)+gu0.Speed_Right_Wheel_161)+gu0.Speed_Right_Wheel_162)+gu0.Speed_Right_Wheel_163)+gu0.Speed_Right_Wheel_164)+gu0.Speed_Right_Wheel_165)+gu0.Speed_Right_Wheel_166)+gu0.Speed_Right_Wheel_167)+gu0.Speed_Right_Wheel_168)+gu0.Speed_Right_Wheel_169)+gu0.Speed_Right_Wheel_170)+gu0.Speed_Right_Wheel_171)+gu0.Speed_Right_Wheel_172)+gu0.Speed_Right_Wheel_173)+gu0.Speed_Right_Wheel_174)+gu0.Speed_Right_Wheel_175)+gu0.Speed_Right_Wheel_176)+gu0.Speed_Right_Wheel_177)+gu0.Speed_Right_Wheel_178)+gu0.Speed_Right_Wheel_179)+gu0.Speed_Right_Wheel_180)+gu0.Speed_Right_Wheel_181)+gu0.Speed_Right_Wheel_182)+gu0.Speed_Right_Wheel_183)+gu0.Speed_Right_Wheel_184)+gu0.Speed_Right_Wheel_185)+gu0.Speed_Right_Wheel_186)+gu0.Speed_Right_Wheel_187)+gu0.Speed_Right_Wheel_188)+gu0.Speed_Right_Wheel_189)+gu0.Speed_Right_Wheel_190)+gu0.Speed_Right_Wheel_191)+gu0.Speed_Right_Wheel_192)+gu0.Speed_Right_Wheel_193)+gu0.Speed_Right_Wheel_194)+gu0.Speed_Right_Wheel_195)+gu0.Speed_Right_Wheel_196)+gu0.Speed_Right_Wheel_197)+gu0.Speed_Right_Wheel_198)+gu0.Speed_Right_Wheel_199)+gu0.stp4_0)+gu1.TheAltitude_0)+gu1.TheAltitude_1)+gu1.TheAltitude_2)+gu1.TheAltitude_3)+gu1.TheAltitude_4)+gu1.TheAltitude_5)+gu1.TheAltitude_6)+gu1.TheAltitude_7)+gu1.TheAltitude_8)+gu1.TheAltitude_9)+gu1.TheAltitude_10)+gu1.TheAltitude_11)+gu1.TheAltitude_12)+gu1.TheAltitude_13)+gu1.TheAltitude_14)+gu1.TheAltitude_15)+gu1.TheAltitude_16)+gu1.TheAltitude_17)+gu1.TheAltitude_18)+gu1.TheAltitude_19)+gu1.TheAltitude_20)+gu1.TheAltitude_21)+gu1.TheAltitude_22)+gu1.TheAltitude_23)+gu1.TheAltitude_24)+gu1.TheAltitude_25)+gu1.TheAltitude_26)+gu1.TheAltitude_27)+gu1.TheAltitude_28)+gu1.TheAltitude_29)+gu1.TheAltitude_30)+gu1.TheAltitude_31)+gu1.TheAltitude_32)+gu1.TheAltitude_33)+gu1.TheAltitude_34)+gu1.TheAltitude_35)+gu1.TheAltitude_36)+gu1.TheAltitude_37)+gu1.TheAltitude_38)+gu1.TheAltitude_39)+gu1.TheAltitude_40)+gu1.TheAltitude_41)+gu1.TheAltitude_42)+gu1.TheAltitude_43)+gu1.TheAltitude_44)+gu1.TheAltitude_45)+gu1.TheAltitude_46)+gu1.TheAltitude_47)+gu1.TheAltitude_48)+gu1.TheAltitude_49)+gu1.TheAltitude_50)+gu1.TheAltitude_51)+gu1.TheAltitude_52)+gu1.TheAltitude_53)+gu1.TheAltitude_54)+gu1.TheAltitude_55)+gu1.TheAltitude_56)+gu1.TheAltitude_57)+gu1.TheAltitude_58)+gu1.TheAltitude_59)+gu1.TheAltitude_60)+gu1.TheAltitude_61)+gu1.TheAltitude_62)+gu1.TheAltitude_63)+gu1.TheAltitude_64)+gu1.TheAltitude_65)+gu1.TheAltitude_66)+gu1.TheAltitude_67)+gu1.TheAltitude_68)+gu1.TheAltitude_69)+gu1.TheAltitude_70)+gu1.TheAltitude_71)+gu1.TheAltitude_72)+gu1.TheAltitude_73)+gu1.TheAltitude_74)+gu1.TheAltitude_75)+gu1.TheAltitude_76)+gu1.TheAltitude_77)+gu1.TheAltitude_78)+gu1.TheAltitude_79)+gu1.TheAltitude_80)+gu1.TheAltitude_81)+gu1.TheAltitude_82)+gu1.TheAltitude_83)+gu1.TheAltitude_84)+gu1.TheAltitude_85)+gu1.TheAltitude_86)+gu1.TheAltitude_87)+gu1.TheAltitude_88)+gu1.TheAltitude_89)+gu1.TheAltitude_90)+gu1.TheAltitude_91)+gu1.TheAltitude_92)+gu1.TheAltitude_93)+gu1.TheAltitude_94)+gu1.TheAltitude_95)+gu1.TheAltitude_96)+gu1.TheAltitude_97)+gu1.TheAltitude_98)+gu1.TheAltitude_99)+gu1.TheAltitude_100)+gu1.TheAltitude_101)+gu1.TheAltitude_102)+gu1.TheAltitude_103)+gu1.TheAltitude_104)+gu1.TheAltitude_105)+gu1.TheAltitude_106)+gu1.TheAltitude_107)+gu1.TheAltitude_108)+gu1.TheAltitude_109)+gu1.TheAltitude_110)+gu1.TheAltitude_111)+gu1.TheAltitude_112)+gu1.TheAltitude_113)+gu1.TheAltitude_114)+gu1.TheAltitude_115)+gu1.TheAltitude_116)+gu1.TheAltitude_117)+gu1.TheAltitude_118)+gu1.TheAltitude_119)+gu1.TheAltitude_120)+gu1.TheAltitude_121)+gu1.TheAltitude_122)+gu1.TheAltitude_123)+gu1.TheAltitude_124)+gu1.TheAltitude_125)+gu1.TheAltitude_126)+gu1.TheAltitude_127)+gu1.TheAltitude_128)+gu1.TheAltitude_129)+gu1.TheAltitude_130)+gu1.TheAltitude_131)+gu1.TheAltitude_132)+gu1.TheAltitude_133)+gu1.TheAltitude_134)+gu1.TheAltitude_135)+gu1.TheAltitude_136)+gu1.TheAltitude_137)+gu1.TheAltitude_138)+gu1.TheAltitude_139)+gu1.TheAltitude_140)+gu1.TheAltitude_141)+gu1.TheAltitude_142)+gu1.TheAltitude_143)+gu1.TheAltitude_144)+gu1.TheAltitude_145)+gu1.TheAltitude_146)+gu1.TheAltitude_147)+gu1.TheAltitude_148)+gu1.TheAltitude_149)+gu1.TheAltitude_150)+gu1.TheAltitude_151)+gu1.TheAltitude_152)+gu1.TheAltitude_153)+gu1.TheAltitude_154)+gu1.TheAltitude_155)+gu1.TheAltitude_156)+gu1.TheAltitude_157)+gu1.TheAltitude_158)+gu1.TheAltitude_159)+gu1.TheAltitude_160)+gu1.TheAltitude_161)+gu1.TheAltitude_162)+gu1.TheAltitude_163)+gu1.TheAltitude_164)+gu1.TheAltitude_165)+gu1.TheAltitude_166)+gu1.TheAltitude_167)+gu1.TheAltitude_168)+gu1.TheAltitude_169)+gu1.TheAltitude_170)+gu1.TheAltitude_171)+gu1.TheAltitude_172)+gu1.TheAltitude_173)+gu1.TheAltitude_174)+gu1.TheAltitude_175)+gu1.TheAltitude_176)+gu1.TheAltitude_177)+gu1.TheAltitude_178)+gu1.TheAltitude_179)+gu1.TheAltitude_180)+gu1.TheAltitude_181)+gu1.TheAltitude_182)+gu1.TheAltitude_183)+gu1.TheAltitude_184)+gu1.TheAltitude_185)+gu1.TheAltitude_186)+gu1.TheAltitude_187)+gu1.TheAltitude_188)+gu1.TheAltitude_189)+gu1.TheAltitude_190)+gu1.TheAltitude_191)+gu1.TheAltitude_192)+gu1.TheAltitude_193)+gu1.TheAltitude_194)+gu1.TheAltitude_195)+gu1.TheAltitude_196)+gu1.TheAltitude_197)+gu1.TheAltitude_198)+gu1.TheAltitude_199)+gu1.TheAltitude_200)+gu1.TheAltitude_201)+gu1.TheAltitude_202)+gu1.TheAltitude_203)+gu1.TheAltitude_204)+gu1.TheAltitude_205)+gu1.TheAltitude_206)+gu1.TheAltitude_207)+gu1.TheAltitude_208)+gu1.TheAltitude_209)+gu1.TheAltitude_210)+gu1.TheAltitude_211)+gu1.TheAltitude_212)+gu1.TheAltitude_213)+gu1.TheAltitude_214)+gu1.TheAltitude_215)+gu1.TheAltitude_216)+gu1.TheAltitude_217)+gu1.TheAltitude_218)+gu1.TheAltitude_219)+gu1.TheAltitude_220)+gu1.TheAltitude_221)+gu1.TheAltitude_222)+gu1.TheAltitude_223)+gu1.TheAltitude_224)+gu1.TheAltitude_225)+gu1.TheAltitude_226)+gu1.TheAltitude_227)+gu1.TheAltitude_228)+gu1.TheAltitude_229)+gu1.TheAltitude_230)+gu1.TheAltitude_231)+gu1.TheAltitude_232)+gu1.TheAltitude_233)+gu1.TheAltitude_234)+gu1.TheAltitude_235)+gu1.TheAltitude_236)+gu1.TheAltitude_237)+gu1.TheAltitude_238)+gu1.TheAltitude_239)+gu1.TheAltitude_240)+gu1.TheAltitude_241)+gu1.TheAltitude_242)+gu1.TheAltitude_243)+gu1.TheAltitude_244)+gu1.TheAltitude_245)+gu1.TheAltitude_246)+gu1.TheAltitude_247)+gu1.TheAltitude_248)+gu1.TheAltitude_249)+gu1.TheAltitude_250)+gu1.TheAltitude_251)+gu1.TheAltitude_252)+gu1.TheAltitude_253)+gu1.TheAltitude_254)+gu1.TheAltitude_255)+gu1.TheAltitude_256)+gu1.TheAltitude_257)+gu1.TheAltitude_258)+gu1.TheAltitude_259)+gu1.TheAltitude_260)+gu1.TheAltitude_261)+gu1.TheAltitude_262)+gu1.TheAltitude_263)+gu1.TheAltitude_264)+gu1.TheAltitude_265)+gu1.TheAltitude_266)+gu1.TheAltitude_267)+gu1.TheAltitude_268)+gu1.TheAltitude_269)+gu1.TheAltitude_270)+gu1.TheAltitude_271)+gu1.TheAltitude_272)+gu1.TheAltitude_273)+gu1.TheAltitude_274)+gu1.TheAltitude_275)+gu1.TheAltitude_276)+gu1.TheAltitude_277)+gu1.TheAltitude_278)+gu1.TheAltitude_279)+gu1.TheAltitude_280)+gu1.TheAltitude_281)+gu1.TheAltitude_282)+gu1.TheAltitude_283)+gu1.TheAltitude_284)+gu1.TheAltitude_285)+gu1.TheAltitude_286)+gu1.TheAltitude_287)+gu1.TheAltitude_288)+gu1.TheAltitude_289)+gu1.TheAltitude_290)+gu1.TheAltitude_291)+gu1.TheAltitude_292)+gu1.TheAltitude_293)+gu1.TheAltitude_294)+gu1.TheAltitude_295)+gu1.TheAltitude_296)+gu1.TheAltitude_297)+gu1.TheAltitude_298)+gu1.TheAltitude_299)+gu1.TheAltitude_300)+gu1.TheAltitude_301)+gu1.TheAltitude_302)+gu1.TheAltitude_303)+gu1.TheAltitude_304)+gu1.TheAltitude_305)+gu1.TheAltitude_306)+gu1.TheAltitude_307)+gu1.TheAltitude_308)+gu1.TheAltitude_309)+gu1.TheAltitude_310)+gu1.TheAltitude_311)+gu1.TheAltitude_312)+gu1.TheAltitude_313)+gu1.TheAltitude_314)+gu1.TheAltitude_315)+gu1.TheAltitude_316)+gu1.TheAltitude_317)+gu1.TheAltitude_318)+gu1.TheAltitude_319)+gu1.TheAltitude_320)+gu1.TheAltitude_321)+gu1.TheAltitude_322)+gu1.TheAltitude_323)+gu1.TheAltitude_324)+gu1.TheAltitude_325)+gu1.TheAltitude_326)+gu1.TheAltitude_327)+gu1.TheAltitude_328)+gu1.TheAltitude_329)+gu1.TheAltitude_330)+gu1.TheAltitude_331)+gu1.TheAltitude_332)+gu1.TheAltitude_333)+gu1.TheAltitude_334)+gu1.TheAltitude_335)+gu1.TheAltitude_336)+gu1.TheAltitude_337)+gu1.TheAltitude_338)+gu1.TheAltitude_339)+gu1.TheAltitude_340)+gu1.TheAltitude_341)+gu1.TheAltitude_342)+gu1.TheAltitude_343)+gu1.TheAltitude_344)+gu1.TheAltitude_345)+gu1.TheAltitude_346)+gu1.TheAltitude_347)+gu1.TheAltitude_348)+gu1.TheAltitude_349)+gu1.TheAltitude_350)+gu1.TheAltitude_351)+gu1.TheAltitude_352)+gu1.TheAltitude_353)+gu1.TheAltitude_354)+gu1.TheAltitude_355)+gu1.TheAltitude_356)+gu1.TheAltitude_357)+gu1.TheAltitude_358)+gu1.TheAltitude_359)+gu1.TheAltitude_360)+gu1.TheAltitude_361)+gu1.TheAltitude_362)+gu1.TheAltitude_363)+gu1.TheAltitude_364)+gu1.TheAltitude_365)+gu1.TheAltitude_366)+gu1.TheAltitude_367)+gu1.TheAltitude_368)+gu1.TheAltitude_369)+gu1.TheAltitude_370)+gu1.TheAltitude_371)+gu1.TheAltitude_372)+gu1.TheAltitude_373)+gu1.TheAltitude_374)+gu1.TheAltitude_375)+gu1.TheAltitude_376)+gu1.TheAltitude_377)+gu1.TheAltitude_378)+gu1.TheAltitude_379)+gu1.TheAltitude_380)+gu1.TheAltitude_381)+gu1.TheAltitude_382)+gu1.TheAltitude_383)+gu1.TheAltitude_384)+gu1.TheAltitude_385)+gu1.TheAltitude_386)+gu1.TheAltitude_387)+gu1.TheAltitude_388)+gu1.TheAltitude_389)+gu1.TheAltitude_390)+gu1.TheAltitude_391)+gu1.TheAltitude_392)+gu1.TheAltitude_393)+gu1.TheAltitude_394)+gu1.TheAltitude_395)+gu1.TheAltitude_396)+gu1.TheAltitude_397)+gu1.TheAltitude_398)+gu1.TheAltitude_399)+gu1.Speed_Left_Wheel_0)+gu1.Speed_Left_Wheel_1)+gu1.Speed_Left_Wheel_2)+gu1.Speed_Left_Wheel_3)+gu1.Speed_Left_Wheel_4)+gu1.Speed_Left_Wheel_5)+gu1.Speed_Left_Wheel_6)+gu1.Speed_Left_Wheel_7)+gu1.Speed_Left_Wheel_8)+gu1.Speed_Left_Wheel_9)+gu1.Speed_Left_Wheel_10)+gu1.Speed_Left_Wheel_11)+gu1.Speed_Left_Wheel_12)+gu1.Speed_Left_Wheel_13)+gu1.Speed_Left_Wheel_14)+gu1.Speed_Left_Wheel_15)+gu1.Speed_Left_Wheel_16)+gu1.Speed_Left_Wheel_17)+gu1.Speed_Left_Wheel_18)+gu1.Speed_Left_Wheel_19)+gu1.Speed_Left_Wheel_20)+gu1.Speed_Left_Wheel_21)+gu1.Speed_Left_Wheel_22)+gu1.Speed_Left_Wheel_23)+gu1.Speed_Left_Wheel_24)+gu1.Speed_Left_Wheel_25)+gu1.Speed_Left_Wheel_26)+gu1.Speed_Left_Wheel_27)+gu1.Speed_Left_Wheel_28)+gu1.Speed_Left_Wheel_29)+gu1.Speed_Left_Wheel_30)+gu1.Speed_Left_Wheel_31)+gu1.Speed_Left_Wheel_32)+gu1.Speed_Left_Wheel_33)+gu1.Speed_Left_Wheel_34)+gu1.Speed_Left_Wheel_35)+gu1.Speed_Left_Wheel_36)+gu1.Speed_Left_Wheel_37)+gu1.Speed_Left_Wheel_38)+gu1.Speed_Left_Wheel_39)+gu1.Speed_Left_Wheel_40)+gu1.Speed_Left_Wheel_41)+gu1.Speed_Left_Wheel_42)+gu1.Speed_Left_Wheel_43)+gu1.Speed_Left_Wheel_44)+gu1.Speed_Left_Wheel_45)+gu1.Speed_Left_Wheel_46)+gu1.Speed_Left_Wheel_47)+gu1.Speed_Left_Wheel_48)+gu1.Speed_Left_Wheel_49)+gu1.Speed_Left_Wheel_50)+gu1.Speed_Left_Wheel_51)+gu1.Speed_Left_Wheel_52)+gu1.Speed_Left_Wheel_53)+gu1.Speed_Left_Wheel_54)+gu1.Speed_Left_Wheel_55)+gu1.Speed_Left_Wheel_56)+gu1.Speed_Left_Wheel_57)+gu1.Speed_Left_Wheel_58)+gu1.Speed_Left_Wheel_59)+gu1.Speed_Left_Wheel_60)+gu1.Speed_Left_Wheel_61)+gu1.Speed_Left_Wheel_62)+gu1.Speed_Left_Wheel_63)+gu1.Speed_Left_Wheel_64)+gu1.Speed_Left_Wheel_65)+gu1.Speed_Left_Wheel_66)+gu1.Speed_Left_Wheel_67)+gu1.Speed_Left_Wheel_68)+gu1.Speed_Left_Wheel_69)+gu1.Speed_Left_Wheel_70)+gu1.Speed_Left_Wheel_71)+gu1.Speed_Left_Wheel_72)+gu1.Speed_Left_Wheel_73)+gu1.Speed_Left_Wheel_74)+gu1.Speed_Left_Wheel_75)+gu1.Speed_Left_Wheel_76)+gu1.Speed_Left_Wheel_77)+gu1.Speed_Left_Wheel_78)+gu1.Speed_Left_Wheel_79)+gu1.Speed_Left_Wheel_80)+gu1.Speed_Left_Wheel_81)+gu1.Speed_Left_Wheel_82)+gu1.Speed_Left_Wheel_83)+gu1.Speed_Left_Wheel_84)+gu1.Speed_Left_Wheel_85)+gu1.Speed_Left_Wheel_86)+gu1.Speed_Left_Wheel_87)+gu1.Speed_Left_Wheel_88)+gu1.Speed_Left_Wheel_89)+gu1.Speed_Left_Wheel_90)+gu1.Speed_Left_Wheel_91)+gu1.Speed_Left_Wheel_92)+gu1.Speed_Left_Wheel_93)+gu1.Speed_Left_Wheel_94)+gu1.Speed_Left_Wheel_95)+gu1.Speed_Left_Wheel_96)+gu1.Speed_Left_Wheel_97)+gu1.Speed_Left_Wheel_98)+gu1.Speed_Left_Wheel_99)+gu1.Speed_Left_Wheel_100)+gu1.Speed_Left_Wheel_101)+gu1.Speed_Left_Wheel_102)+gu1.Speed_Left_Wheel_103)+gu1.Speed_Left_Wheel_104)+gu1.Speed_Left_Wheel_105)+gu1.Speed_Left_Wheel_106)+gu1.Speed_Left_Wheel_107)+gu1.Speed_Left_Wheel_108)+gu1.Speed_Left_Wheel_109)+gu1.Speed_Left_Wheel_110)+gu1.Speed_Left_Wheel_111)+gu1.Speed_Left_Wheel_112)+gu1.Speed_Left_Wheel_113)+gu1.Speed_Left_Wheel_114)+gu1.Speed_Left_Wheel_115)+gu1.Speed_Left_Wheel_116)+gu1.Speed_Left_Wheel_117)+gu1.Speed_Left_Wheel_118)+gu1.Speed_Left_Wheel_119)+gu1.Speed_Left_Wheel_120)+gu1.Speed_Left_Wheel_121)+gu1.Speed_Left_Wheel_122)+gu1.Speed_Left_Wheel_123)+gu1.Speed_Left_Wheel_124)+gu1.Speed_Left_Wheel_125)+gu1.Speed_Left_Wheel_126)+gu1.Speed_Left_Wheel_127)+gu1.Speed_Left_Wheel_128)+gu1.Speed_Left_Wheel_129)+gu1.Speed_Left_Wheel_130)+gu1.Speed_Left_Wheel_131)+gu1.Speed_Left_Wheel_132)+gu1.Speed_Left_Wheel_133)+gu1.Speed_Left_Wheel_134)+gu1.Speed_Left_Wheel_135)+gu1.Speed_Left_Wheel_136)+gu1.Speed_Left_Wheel_137)+gu1.Speed_Left_Wheel_138)+gu1.Speed_Left_Wheel_139)+gu1.Speed_Left_Wheel_140)+gu1.Speed_Left_Wheel_141)+gu1.Speed_Left_Wheel_142)+gu1.Speed_Left_Wheel_143)+gu1.Speed_Left_Wheel_144)+gu1.Speed_Left_Wheel_145)+gu1.Speed_Left_Wheel_146)+gu1.Speed_Left_Wheel_147)+gu1.Speed_Left_Wheel_148)+gu1.Speed_Left_Wheel_149)+gu1.Speed_Left_Wheel_150)+gu1.Speed_Left_Wheel_151)+gu1.Speed_Left_Wheel_152)+gu1.Speed_Left_Wheel_153)+gu1.Speed_Left_Wheel_154)+gu1.Speed_Left_Wheel_155)+gu1.Speed_Left_Wheel_156)+gu1.Speed_Left_Wheel_157)+gu1.Speed_Left_Wheel_158)+gu1.Speed_Left_Wheel_159)+gu1.Speed_Left_Wheel_160)+gu1.Speed_Left_Wheel_161)+gu1.Speed_Left_Wheel_162)+gu1.Speed_Left_Wheel_163)+gu1.Speed_Left_Wheel_164)+gu1.Speed_Left_Wheel_165)+gu1.Speed_Left_Wheel_166)+gu1.Speed_Left_Wheel_167)+gu1.Speed_Left_Wheel_168)+gu1.Speed_Left_Wheel_169)+gu1.Speed_Left_Wheel_170)+gu1.Speed_Left_Wheel_171)+gu1.Speed_Left_Wheel_172)+gu1.Speed_Left_Wheel_173)+gu1.Speed_Left_Wheel_174)+gu1.Speed_Left_Wheel_175)+gu1.Speed_Left_Wheel_176)+gu1.Speed_Left_Wheel_177)+gu1.Speed_Left_Wheel_178)+gu1.Speed_Left_Wheel_179)+gu1.Speed_Left_Wheel_180)+gu1.Speed_Left_Wheel_181)+gu1.Speed_Left_Wheel_182)+gu1.Speed_Left_Wheel_183)+gu1.Speed_Left_Wheel_184)+gu1.Speed_Left_Wheel_185)+gu1.Speed_Left_Wheel_186)+gu1.Speed_Left_Wheel_187)+gu1.Speed_Left_Wheel_188)+gu1.Speed_Left_Wheel_189)+gu1.Speed_Left_Wheel_190)+gu1.Speed_Left_Wheel_191)+gu1.Speed_Left_Wheel_192)+gu1.Speed_Left_Wheel_193)+gu1.Speed_Left_Wheel_194)+gu1.Speed_Left_Wheel_195)+gu1.Speed_Left_Wheel_196)+gu1.Speed_Left_Wheel_197)+gu1.Speed_Left_Wheel_198)+gu1.Speed_Left_Wheel_199)<=(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu0.Plane_On_Ground_Signal_no_0+gu0.Plane_On_Ground_Signal_no_1)+gu1.stp2_0)+gu1.TheAltitude_0)+gu1.TheAltitude_1)+gu1.TheAltitude_2)+gu1.TheAltitude_3)+gu1.TheAltitude_4)+gu1.TheAltitude_5)+gu1.TheAltitude_6)+gu1.TheAltitude_7)+gu1.TheAltitude_8)+gu1.TheAltitude_9)+gu1.TheAltitude_10)+gu1.TheAltitude_11)+gu1.TheAltitude_12)+gu1.TheAltitude_13)+gu1.TheAltitude_14)+gu1.TheAltitude_15)+gu1.TheAltitude_16)+gu1.TheAltitude_17)+gu1.TheAltitude_18)+gu1.TheAltitude_19)+gu1.TheAltitude_20)+gu1.TheAltitude_21)+gu1.TheAltitude_22)+gu1.TheAltitude_23)+gu1.TheAltitude_24)+gu1.TheAltitude_25)+gu1.TheAltitude_26)+gu1.TheAltitude_27)+gu1.TheAltitude_28)+gu1.TheAltitude_29)+gu1.TheAltitude_30)+gu1.TheAltitude_31)+gu1.TheAltitude_32)+gu1.TheAltitude_33)+gu1.TheAltitude_34)+gu1.TheAltitude_35)+gu1.TheAltitude_36)+gu1.TheAltitude_37)+gu1.TheAltitude_38)+gu1.TheAltitude_39)+gu1.TheAltitude_40)+gu1.TheAltitude_41)+gu1.TheAltitude_42)+gu1.TheAltitude_43)+gu1.TheAltitude_44)+gu1.TheAltitude_45)+gu1.TheAltitude_46)+gu1.TheAltitude_47)+gu1.TheAltitude_48)+gu1.TheAltitude_49)+gu1.TheAltitude_50)+gu1.TheAltitude_51)+gu1.TheAltitude_52)+gu1.TheAltitude_53)+gu1.TheAltitude_54)+gu1.TheAltitude_55)+gu1.TheAltitude_56)+gu1.TheAltitude_57)+gu1.TheAltitude_58)+gu1.TheAltitude_59)+gu1.TheAltitude_60)+gu1.TheAltitude_61)+gu1.TheAltitude_62)+gu1.TheAltitude_63)+gu1.TheAltitude_64)+gu1.TheAltitude_65)+gu1.TheAltitude_66)+gu1.TheAltitude_67)+gu1.TheAltitude_68)+gu1.TheAltitude_69)+gu1.TheAltitude_70)+gu1.TheAltitude_71)+gu1.TheAltitude_72)+gu1.TheAltitude_73)+gu1.TheAltitude_74)+gu1.TheAltitude_75)+gu1.TheAltitude_76)+gu1.TheAltitude_77)+gu1.TheAltitude_78)+gu1.TheAltitude_79)+gu1.TheAltitude_80)+gu1.TheAltitude_81)+gu1.TheAltitude_82)+gu1.TheAltitude_83)+gu1.TheAltitude_84)+gu1.TheAltitude_85)+gu1.TheAltitude_86)+gu1.TheAltitude_87)+gu1.TheAltitude_88)+gu1.TheAltitude_89)+gu1.TheAltitude_90)+gu1.TheAltitude_91)+gu1.TheAltitude_92)+gu1.TheAltitude_93)+gu1.TheAltitude_94)+gu1.TheAltitude_95)+gu1.TheAltitude_96)+gu1.TheAltitude_97)+gu1.TheAltitude_98)+gu1.TheAltitude_99)+gu1.TheAltitude_100)+gu1.TheAltitude_101)+gu1.TheAltitude_102)+gu1.TheAltitude_103)+gu1.TheAltitude_104)+gu1.TheAltitude_105)+gu1.TheAltitude_106)+gu1.TheAltitude_107)+gu1.TheAltitude_108)+gu1.TheAltitude_109)+gu1.TheAltitude_110)+gu1.TheAltitude_111)+gu1.TheAltitude_112)+gu1.TheAltitude_113)+gu1.TheAltitude_114)+gu1.TheAltitude_115)+gu1.TheAltitude_116)+gu1.TheAltitude_117)+gu1.TheAltitude_118)+gu1.TheAltitude_119)+gu1.TheAltitude_120)+gu1.TheAltitude_121)+gu1.TheAltitude_122)+gu1.TheAltitude_123)+gu1.TheAltitude_124)+gu1.TheAltitude_125)+gu1.TheAltitude_126)+gu1.TheAltitude_127)+gu1.TheAltitude_128)+gu1.TheAltitude_129)+gu1.TheAltitude_130)+gu1.TheAltitude_131)+gu1.TheAltitude_132)+gu1.TheAltitude_133)+gu1.TheAltitude_134)+gu1.TheAltitude_135)+gu1.TheAltitude_136)+gu1.TheAltitude_137)+gu1.TheAltitude_138)+gu1.TheAltitude_139)+gu1.TheAltitude_140)+gu1.TheAltitude_141)+gu1.TheAltitude_142)+gu1.TheAltitude_143)+gu1.TheAltitude_144)+gu1.TheAltitude_145)+gu1.TheAltitude_146)+gu1.TheAltitude_147)+gu1.TheAltitude_148)+gu1.TheAltitude_149)+gu1.TheAltitude_150)+gu1.TheAltitude_151)+gu1.TheAltitude_152)+gu1.TheAltitude_153)+gu1.TheAltitude_154)+gu1.TheAltitude_155)+gu1.TheAltitude_156)+gu1.TheAltitude_157)+gu1.TheAltitude_158)+gu1.TheAltitude_159)+gu1.TheAltitude_160)+gu1.TheAltitude_161)+gu1.TheAltitude_162)+gu1.TheAltitude_163)+gu1.TheAltitude_164)+gu1.TheAltitude_165)+gu1.TheAltitude_166)+gu1.TheAltitude_167)+gu1.TheAltitude_168)+gu1.TheAltitude_169)+gu1.TheAltitude_170)+gu1.TheAltitude_171)+gu1.TheAltitude_172)+gu1.TheAltitude_173)+gu1.TheAltitude_174)+gu1.TheAltitude_175)+gu1.TheAltitude_176)+gu1.TheAltitude_177)+gu1.TheAltitude_178)+gu1.TheAltitude_179)+gu1.TheAltitude_180)+gu1.TheAltitude_181)+gu1.TheAltitude_182)+gu1.TheAltitude_183)+gu1.TheAltitude_184)+gu1.TheAltitude_185)+gu1.TheAltitude_186)+gu1.TheAltitude_187)+gu1.TheAltitude_188)+gu1.TheAltitude_189)+gu1.TheAltitude_190)+gu1.TheAltitude_191)+gu1.TheAltitude_192)+gu1.TheAltitude_193)+gu1.TheAltitude_194)+gu1.TheAltitude_195)+gu1.TheAltitude_196)+gu1.TheAltitude_197)+gu1.TheAltitude_198)+gu1.TheAltitude_199)+gu1.TheAltitude_200)+gu1.TheAltitude_201)+gu1.TheAltitude_202)+gu1.TheAltitude_203)+gu1.TheAltitude_204)+gu1.TheAltitude_205)+gu1.TheAltitude_206)+gu1.TheAltitude_207)+gu1.TheAltitude_208)+gu1.TheAltitude_209)+gu1.TheAltitude_210)+gu1.TheAltitude_211)+gu1.TheAltitude_212)+gu1.TheAltitude_213)+gu1.TheAltitude_214)+gu1.TheAltitude_215)+gu1.TheAltitude_216)+gu1.TheAltitude_217)+gu1.TheAltitude_218)+gu1.TheAltitude_219)+gu1.TheAltitude_220)+gu1.TheAltitude_221)+gu1.TheAltitude_222)+gu1.TheAltitude_223)+gu1.TheAltitude_224)+gu1.TheAltitude_225)+gu1.TheAltitude_226)+gu1.TheAltitude_227)+gu1.TheAltitude_228)+gu1.TheAltitude_229)+gu1.TheAltitude_230)+gu1.TheAltitude_231)+gu1.TheAltitude_232)+gu1.TheAltitude_233)+gu1.TheAltitude_234)+gu1.TheAltitude_235)+gu1.TheAltitude_236)+gu1.TheAltitude_237)+gu1.TheAltitude_238)+gu1.TheAltitude_239)+gu1.TheAltitude_240)+gu1.TheAltitude_241)+gu1.TheAltitude_242)+gu1.TheAltitude_243)+gu1.TheAltitude_244)+gu1.TheAltitude_245)+gu1.TheAltitude_246)+gu1.TheAltitude_247)+gu1.TheAltitude_248)+gu1.TheAltitude_249)+gu1.TheAltitude_250)+gu1.TheAltitude_251)+gu1.TheAltitude_252)+gu1.TheAltitude_253)+gu1.TheAltitude_254)+gu1.TheAltitude_255)+gu1.TheAltitude_256)+gu1.TheAltitude_257)+gu1.TheAltitude_258)+gu1.TheAltitude_259)+gu1.TheAltitude_260)+gu1.TheAltitude_261)+gu1.TheAltitude_262)+gu1.TheAltitude_263)+gu1.TheAltitude_264)+gu1.TheAltitude_265)+gu1.TheAltitude_266)+gu1.TheAltitude_267)+gu1.TheAltitude_268)+gu1.TheAltitude_269)+gu1.TheAltitude_270)+gu1.TheAltitude_271)+gu1.TheAltitude_272)+gu1.TheAltitude_273)+gu1.TheAltitude_274)+gu1.TheAltitude_275)+gu1.TheAltitude_276)+gu1.TheAltitude_277)+gu1.TheAltitude_278)+gu1.TheAltitude_279)+gu1.TheAltitude_280)+gu1.TheAltitude_281)+gu1.TheAltitude_282)+gu1.TheAltitude_283)+gu1.TheAltitude_284)+gu1.TheAltitude_285)+gu1.TheAltitude_286)+gu1.TheAltitude_287)+gu1.TheAltitude_288)+gu1.TheAltitude_289)+gu1.TheAltitude_290)+gu1.TheAltitude_291)+gu1.TheAltitude_292)+gu1.TheAltitude_293)+gu1.TheAltitude_294)+gu1.TheAltitude_295)+gu1.TheAltitude_296)+gu1.TheAltitude_297)+gu1.TheAltitude_298)+gu1.TheAltitude_299)+gu1.TheAltitude_300)+gu1.TheAltitude_301)+gu1.TheAltitude_302)+gu1.TheAltitude_303)+gu1.TheAltitude_304)+gu1.TheAltitude_305)+gu1.TheAltitude_306)+gu1.TheAltitude_307)+gu1.TheAltitude_308)+gu1.TheAltitude_309)+gu1.TheAltitude_310)+gu1.TheAltitude_311)+gu1.TheAltitude_312)+gu1.TheAltitude_313)+gu1.TheAltitude_314)+gu1.TheAltitude_315)+gu1.TheAltitude_316)+gu1.TheAltitude_317)+gu1.TheAltitude_318)+gu1.TheAltitude_319)+gu1.TheAltitude_320)+gu1.TheAltitude_321)+gu1.TheAltitude_322)+gu1.TheAltitude_323)+gu1.TheAltitude_324)+gu1.TheAltitude_325)+gu1.TheAltitude_326)+gu1.TheAltitude_327)+gu1.TheAltitude_328)+gu1.TheAltitude_329)+gu1.TheAltitude_330)+gu1.TheAltitude_331)+gu1.TheAltitude_332)+gu1.TheAltitude_333)+gu1.TheAltitude_334)+gu1.TheAltitude_335)+gu1.TheAltitude_336)+gu1.TheAltitude_337)+gu1.TheAltitude_338)+gu1.TheAltitude_339)+gu1.TheAltitude_340)+gu1.TheAltitude_341)+gu1.TheAltitude_342)+gu1.TheAltitude_343)+gu1.TheAltitude_344)+gu1.TheAltitude_345)+gu1.TheAltitude_346)+gu1.TheAltitude_347)+gu1.TheAltitude_348)+gu1.TheAltitude_349)+gu1.TheAltitude_350)+gu1.TheAltitude_351)+gu1.TheAltitude_352)+gu1.TheAltitude_353)+gu1.TheAltitude_354)+gu1.TheAltitude_355)+gu1.TheAltitude_356)+gu1.TheAltitude_357)+gu1.TheAltitude_358)+gu1.TheAltitude_359)+gu1.TheAltitude_360)+gu1.TheAltitude_361)+gu1.TheAltitude_362)+gu1.TheAltitude_363)+gu1.TheAltitude_364)+gu1.TheAltitude_365)+gu1.TheAltitude_366)+gu1.TheAltitude_367)+gu1.TheAltitude_368)+gu1.TheAltitude_369)+gu1.TheAltitude_370)+gu1.TheAltitude_371)+gu1.TheAltitude_372)+gu1.TheAltitude_373)+gu1.TheAltitude_374)+gu1.TheAltitude_375)+gu1.TheAltitude_376)+gu1.TheAltitude_377)+gu1.TheAltitude_378)+gu1.TheAltitude_379)+gu1.TheAltitude_380)+gu1.TheAltitude_381)+gu1.TheAltitude_382)+gu1.TheAltitude_383)+gu1.TheAltitude_384)+gu1.TheAltitude_385)+gu1.TheAltitude_386)+gu1.TheAltitude_387)+gu1.TheAltitude_388)+gu1.TheAltitude_389)+gu1.TheAltitude_390)+gu1.TheAltitude_391)+gu1.TheAltitude_392)+gu1.TheAltitude_393)+gu1.TheAltitude_394)+gu1.TheAltitude_395)+gu1.TheAltitude_396)+gu1.TheAltitude_397)+gu1.TheAltitude_398)+gu1.TheAltitude_399)+gu0.stp1_0))))))
=> equivalent forward existential formula: ([(EY(((FwdU(EY(Init),!((EX(TRUE) + !(EX(!((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu0.P6_0+gu0.stp1_0)+gu0.Speed_Right_Wheel_0)+gu0.Speed_Right_Wheel_1)+gu0.Speed_Right_Wheel_2)+gu0.Speed_Right_Wheel_3)+gu0.Speed_Right_Wheel_4)+gu0.Speed_Right_Wheel_5)+gu0.Speed_Right_Wheel_6)+gu0.Speed_Right_Wheel_7)+gu0.Speed_Right_Wheel_8)+gu0.Speed_Right_Wheel_9)+gu0.Speed_Right_Wheel_10)+gu0.Speed_Right_Wheel_11)+gu0.Speed_Right_Wheel_12)+gu0.Speed_Right_Wheel_13)+gu0.Speed_Right_Wheel_14)+gu0.Speed_Right_Wheel_15)+gu0.Speed_Right_Wheel_16)+gu0.Speed_Right_Wheel_17)+gu0.Speed_Right_Wheel_18)+gu0.Speed_Right_Wheel_19)+gu0.Speed_Right_Wheel_20)+gu0.Speed_Right_Wheel_21)+gu0.Speed_Right_Wheel_22)+gu0.Speed_Right_Wheel_23)+gu0.Speed_Right_Wheel_24)+gu0.Speed_Right_Wheel_25)+gu0.Speed_Right_Wheel_26)+gu0.Speed_Right_Wheel_27)+gu0.Speed_Right_Wheel_28)+gu0.Speed_Right_Wheel_29)+gu0.Speed_Right_Wheel_30)+gu0.Speed_Right_Wheel_31)+gu0.Speed_Right_Wheel_32)+gu0.Speed_Right_Wheel_33)+gu0.Speed_Right_Wheel_34)+gu0.Speed_Right_Wheel_35)+gu0.Speed_Right_Wheel_36)+gu0.Speed_Right_Wheel_37)+gu0.Speed_Right_Wheel_38)+gu0.Speed_Right_Wheel_39)+gu0.Speed_Right_Wheel_40)+gu0.Speed_Right_Wheel_41)+gu0.Speed_Right_Wheel_42)+gu0.Speed_Right_Wheel_43)+gu0.Speed_Right_Wheel_44)+gu0.Speed_Right_Wheel_45)+gu0.Speed_Right_Wheel_46)+gu0.Speed_Right_Wheel_47)+gu0.Speed_Right_Wheel_48)+gu0.Speed_Right_Wheel_49)+gu0.Speed_Right_Wheel_50)+gu0.Speed_Right_Wheel_51)+gu0.Speed_Right_Wheel_52)+gu0.Speed_Right_Wheel_53)+gu0.Speed_Right_Wheel_54)+gu0.Speed_Right_Wheel_55)+gu0.Speed_Right_Wheel_56)+gu0.Speed_Right_Wheel_57)+gu0.Speed_Right_Wheel_58)+gu0.Speed_Right_Wheel_59)+gu0.Speed_Right_Wheel_60)+gu0.Speed_Right_Wheel_61)+gu0.Speed_Right_Wheel_62)+gu0.Speed_Right_Wheel_63)+gu0.Speed_Right_Wheel_64)+gu0.Speed_Right_Wheel_65)+gu0.Speed_Right_Wheel_66)+gu0.Speed_Right_Wheel_67)+gu0.Speed_Right_Wheel_68)+gu0.Speed_Right_Wheel_69)+gu0.Speed_Right_Wheel_70)+gu0.Speed_Right_Wheel_71)+gu0.Speed_Right_Wheel_72)+gu0.Speed_Right_Wheel_73)+gu0.Speed_Right_Wheel_74)+gu0.Speed_Right_Wheel_75)+gu0.Speed_Right_Wheel_76)+gu0.Speed_Right_Wheel_77)+gu0.Speed_Right_Wheel_78)+gu0.Speed_Right_Wheel_79)+gu0.Speed_Right_Wheel_80)+gu0.Speed_Right_Wheel_81)+gu0.Speed_Right_Wheel_82)+gu0.Speed_Right_Wheel_83)+gu0.Speed_Right_Wheel_84)+gu0.Speed_Right_Wheel_85)+gu0.Speed_Right_Wheel_86)+gu0.Speed_Right_Wheel_87)+gu0.Speed_Right_Wheel_88)+gu0.Speed_Right_Wheel_89)+gu0.Speed_Right_Wheel_90)+gu0.Speed_Right_Wheel_91)+gu0.Speed_Right_Wheel_92)+gu0.Speed_Right_Wheel_93)+gu0.Speed_Right_Wheel_94)+gu0.Speed_Right_Wheel_95)+gu0.Speed_Right_Wheel_96)+gu0.Speed_Right_Wheel_97)+gu0.Speed_Right_Wheel_98)+gu0.Speed_Right_Wheel_99)+gu0.Speed_Right_Wheel_100)+gu0.Speed_Right_Wheel_101)+gu0.Speed_Right_Wheel_102)+gu0.Speed_Right_Wheel_103)+gu0.Speed_Right_Wheel_104)+gu0.Speed_Right_Wheel_105)+gu0.Speed_Right_Wheel_106)+gu0.Speed_Right_Wheel_107)+gu0.Speed_Right_Wheel_108)+gu0.Speed_Right_Wheel_109)+gu0.Speed_Right_Wheel_110)+gu0.Speed_Right_Wheel_111)+gu0.Speed_Right_Wheel_112)+gu0.Speed_Right_Wheel_113)+gu0.Speed_Right_Wheel_114)+gu0.Speed_Right_Wheel_115)+gu0.Speed_Right_Wheel_116)+gu0.Speed_Right_Wheel_117)+gu0.Speed_Right_Wheel_118)+gu0.Speed_Right_Wheel_119)+gu0.Speed_Right_Wheel_120)+gu0.Speed_Right_Wheel_121)+gu0.Speed_Right_Wheel_122)+gu0.Speed_Right_Wheel_123)+gu0.Speed_Right_Wheel_124)+gu0.Speed_Right_Wheel_125)+gu0.Speed_Right_Wheel_126)+gu0.Speed_Right_Wheel_127)+gu0.Speed_Right_Wheel_128)+gu0.Speed_Right_Wheel_129)+gu0.Speed_Right_Wheel_130)+gu0.Speed_Right_Wheel_131)+gu0.Speed_Right_Wheel_132)+gu0.Speed_Right_Wheel_133)+gu0.Speed_Right_Wheel_134)+gu0.Speed_Right_Wheel_135)+gu0.Speed_Right_Wheel_136)+gu0.Speed_Right_Wheel_137)+gu0.Speed_Right_Wheel_138)+gu0.Speed_Right_Wheel_139)+gu0.Speed_Right_Wheel_140)+gu0.Speed_Right_Wheel_141)+gu0.Speed_Right_Wheel_142)+gu0.Speed_Right_Wheel_143)+gu0.Speed_Right_Wheel_144)+gu0.Speed_Right_Wheel_145)+gu0.Speed_Right_Wheel_146)+gu0.Speed_Right_Wheel_147)+gu0.Speed_Right_Wheel_148)+gu0.Speed_Right_Wheel_149)+gu0.Speed_Right_Wheel_150)+gu0.Speed_Right_Wheel_151)+gu0.Speed_Right_Wheel_152)+gu0.Speed_Right_Wheel_153)+gu0.Speed_Right_Wheel_154)+gu0.Speed_Right_Wheel_155)+gu0.Speed_Right_Wheel_156)+gu0.Speed_Right_Wheel_157)+gu0.Speed_Right_Wheel_158)+gu0.Speed_Right_Wheel_159)+gu0.Speed_Right_Wheel_160)+gu0.Speed_Right_Wheel_161)+gu0.Speed_Right_Wheel_162)+gu0.Speed_Right_Wheel_163)+gu0.Speed_Right_Wheel_164)+gu0.Speed_Right_Wheel_165)+gu0.Speed_Right_Wheel_166)+gu0.Speed_Right_Wheel_167)+gu0.Speed_Right_Wheel_168)+gu0.Speed_Right_Wheel_169)+gu0.Speed_Right_Wheel_170)+gu0.Speed_Right_Wheel_171)+gu0.Speed_Right_Wheel_172)+gu0.Speed_Right_Wheel_173)+gu0.Speed_Right_Wheel_174)+gu0.Speed_Right_Wheel_175)+gu0.Speed_Right_Wheel_176)+gu0.Speed_Right_Wheel_177)+gu0.Speed_Right_Wheel_178)+gu0.Speed_Right_Wheel_179)+gu0.Speed_Right_Wheel_180)+gu0.Speed_Right_Wheel_181)+gu0.Speed_Right_Wheel_182)+gu0.Speed_Right_Wheel_183)+gu0.Speed_Right_Wheel_184)+gu0.Speed_Right_Wheel_185)+gu0.Speed_Right_Wheel_186)+gu0.Speed_Right_Wheel_187)+gu0.Speed_Right_Wheel_188)+gu0.Speed_Right_Wheel_189)+gu0.Speed_Right_Wheel_190)+gu0.Speed_Right_Wheel_191)+gu0.Speed_Right_Wheel_192)+gu0.Speed_Right_Wheel_193)+gu0.Speed_Right_Wheel_194)+gu0.Speed_Right_Wheel_195)+gu0.Speed_Right_Wheel_196)+gu0.Speed_Right_Wheel_197)+gu0.Speed_Right_Wheel_198)+gu0.Speed_Right_Wheel_199)+gu0.stp4_0)+gu1.TheAltitude_0)+gu1.TheAltitude_1)+gu1.TheAltitude_2)+gu1.TheAltitude_3)+gu1.TheAltitude_4)+gu1.TheAltitude_5)+gu1.TheAltitude_6)+gu1.TheAltitude_7)+gu1.TheAltitude_8)+gu1.TheAltitude_9)+gu1.TheAltitude_10)+gu1.TheAltitude_11)+gu1.TheAltitude_12)+gu1.TheAltitude_13)+gu1.TheAltitude_14)+gu1.TheAltitude_15)+gu1.TheAltitude_16)+gu1.TheAltitude_17)+gu1.TheAltitude_18)+gu1.TheAltitude_19)+gu1.TheAltitude_20)+gu1.TheAltitude_21)+gu1.TheAltitude_22)+gu1.TheAltitude_23)+gu1.TheAltitude_24)+gu1.TheAltitude_25)+gu1.TheAltitude_26)+gu1.TheAltitude_27)+gu1.TheAltitude_28)+gu1.TheAltitude_29)+gu1.TheAltitude_30)+gu1.TheAltitude_31)+gu1.TheAltitude_32)+gu1.TheAltitude_33)+gu1.TheAltitude_34)+gu1.TheAltitude_35)+gu1.TheAltitude_36)+gu1.TheAltitude_37)+gu1.TheAltitude_38)+gu1.TheAltitude_39)+gu1.TheAltitude_40)+gu1.TheAltitude_41)+gu1.TheAltitude_42)+gu1.TheAltitude_43)+gu1.TheAltitude_44)+gu1.TheAltitude_45)+gu1.TheAltitude_46)+gu1.TheAltitude_47)+gu1.TheAltitude_48)+gu1.TheAltitude_49)+gu1.TheAltitude_50)+gu1.TheAltitude_51)+gu1.TheAltitude_52)+gu1.TheAltitude_53)+gu1.TheAltitude_54)+gu1.TheAltitude_55)+gu1.TheAltitude_56)+gu1.TheAltitude_57)+gu1.TheAltitude_58)+gu1.TheAltitude_59)+gu1.TheAltitude_60)+gu1.TheAltitude_61)+gu1.TheAltitude_62)+gu1.TheAltitude_63)+gu1.TheAltitude_64)+gu1.TheAltitude_65)+gu1.TheAltitude_66)+gu1.TheAltitude_67)+gu1.TheAltitude_68)+gu1.TheAltitude_69)+gu1.TheAltitude_70)+gu1.TheAltitude_71)+gu1.TheAltitude_72)+gu1.TheAltitude_73)+gu1.TheAltitude_74)+gu1.TheAltitude_75)+gu1.TheAltitude_76)+gu1.TheAltitude_77)+gu1.TheAltitude_78)+gu1.TheAltitude_79)+gu1.TheAltitude_80)+gu1.TheAltitude_81)+gu1.TheAltitude_82)+gu1.TheAltitude_83)+gu1.TheAltitude_84)+gu1.TheAltitude_85)+gu1.TheAltitude_86)+gu1.TheAltitude_87)+gu1.TheAltitude_88)+gu1.TheAltitude_89)+gu1.TheAltitude_90)+gu1.TheAltitude_91)+gu1.TheAltitude_92)+gu1.TheAltitude_93)+gu1.TheAltitude_94)+gu1.TheAltitude_95)+gu1.TheAltitude_96)+gu1.TheAltitude_97)+gu1.TheAltitude_98)+gu1.TheAltitude_99)+gu1.TheAltitude_100)+gu1.TheAltitude_101)+gu1.TheAltitude_102)+gu1.TheAltitude_103)+gu1.TheAltitude_104)+gu1.TheAltitude_105)+gu1.TheAltitude_106)+gu1.TheAltitude_107)+gu1.TheAltitude_108)+gu1.TheAltitude_109)+gu1.TheAltitude_110)+gu1.TheAltitude_111)+gu1.TheAltitude_112)+gu1.TheAltitude_113)+gu1.TheAltitude_114)+gu1.TheAltitude_115)+gu1.TheAltitude_116)+gu1.TheAltitude_117)+gu1.TheAltitude_118)+gu1.TheAltitude_119)+gu1.TheAltitude_120)+gu1.TheAltitude_121)+gu1.TheAltitude_122)+gu1.TheAltitude_123)+gu1.TheAltitude_124)+gu1.TheAltitude_125)+gu1.TheAltitude_126)+gu1.TheAltitude_127)+gu1.TheAltitude_128)+gu1.TheAltitude_129)+gu1.TheAltitude_130)+gu1.TheAltitude_131)+gu1.TheAltitude_132)+gu1.TheAltitude_133)+gu1.TheAltitude_134)+gu1.TheAltitude_135)+gu1.TheAltitude_136)+gu1.TheAltitude_137)+gu1.TheAltitude_138)+gu1.TheAltitude_139)+gu1.TheAltitude_140)+gu1.TheAltitude_141)+gu1.TheAltitude_142)+gu1.TheAltitude_143)+gu1.TheAltitude_144)+gu1.TheAltitude_145)+gu1.TheAltitude_146)+gu1.TheAltitude_147)+gu1.TheAltitude_148)+gu1.TheAltitude_149)+gu1.TheAltitude_150)+gu1.TheAltitude_151)+gu1.TheAltitude_152)+gu1.TheAltitude_153)+gu1.TheAltitude_154)+gu1.TheAltitude_155)+gu1.TheAltitude_156)+gu1.TheAltitude_157)+gu1.TheAltitude_158)+gu1.TheAltitude_159)+gu1.TheAltitude_160)+gu1.TheAltitude_161)+gu1.TheAltitude_162)+gu1.TheAltitude_163)+gu1.TheAltitude_164)+gu1.TheAltitude_165)+gu1.TheAltitude_166)+gu1.TheAltitude_167)+gu1.TheAltitude_168)+gu1.TheAltitude_169)+gu1.TheAltitude_170)+gu1.TheAltitude_171)+gu1.TheAltitude_172)+gu1.TheAltitude_173)+gu1.TheAltitude_174)+gu1.TheAltitude_175)+gu1.TheAltitude_176)+gu1.TheAltitude_177)+gu1.TheAltitude_178)+gu1.TheAltitude_179)+gu1.TheAltitude_180)+gu1.TheAltitude_181)+gu1.TheAltitude_182)+gu1.TheAltitude_183)+gu1.TheAltitude_184)+gu1.TheAltitude_185)+gu1.TheAltitude_186)+gu1.TheAltitude_187)+gu1.TheAltitude_188)+gu1.TheAltitude_189)+gu1.TheAltitude_190)+gu1.TheAltitude_191)+gu1.TheAltitude_192)+gu1.TheAltitude_193)+gu1.TheAltitude_194)+gu1.TheAltitude_195)+gu1.TheAltitude_196)+gu1.TheAltitude_197)+gu1.TheAltitude_198)+gu1.TheAltitude_199)+gu1.TheAltitude_200)+gu1.TheAltitude_201)+gu1.TheAltitude_202)+gu1.TheAltitude_203)+gu1.TheAltitude_204)+gu1.TheAltitude_205)+gu1.TheAltitude_206)+gu1.TheAltitude_207)+gu1.TheAltitude_208)+gu1.TheAltitude_209)+gu1.TheAltitude_210)+gu1.TheAltitude_211)+gu1.TheAltitude_212)+gu1.TheAltitude_213)+gu1.TheAltitude_214)+gu1.TheAltitude_215)+gu1.TheAltitude_216)+gu1.TheAltitude_217)+gu1.TheAltitude_218)+gu1.TheAltitude_219)+gu1.TheAltitude_220)+gu1.TheAltitude_221)+gu1.TheAltitude_222)+gu1.TheAltitude_223)+gu1.TheAltitude_224)+gu1.TheAltitude_225)+gu1.TheAltitude_226)+gu1.TheAltitude_227)+gu1.TheAltitude_228)+gu1.TheAltitude_229)+gu1.TheAltitude_230)+gu1.TheAltitude_231)+gu1.TheAltitude_232)+gu1.TheAltitude_233)+gu1.TheAltitude_234)+gu1.TheAltitude_235)+gu1.TheAltitude_236)+gu1.TheAltitude_237)+gu1.TheAltitude_238)+gu1.TheAltitude_239)+gu1.TheAltitude_240)+gu1.TheAltitude_241)+gu1.TheAltitude_242)+gu1.TheAltitude_243)+gu1.TheAltitude_244)+gu1.TheAltitude_245)+gu1.TheAltitude_246)+gu1.TheAltitude_247)+gu1.TheAltitude_248)+gu1.TheAltitude_249)+gu1.TheAltitude_250)+gu1.TheAltitude_251)+gu1.TheAltitude_252)+gu1.TheAltitude_253)+gu1.TheAltitude_254)+gu1.TheAltitude_255)+gu1.TheAltitude_256)+gu1.TheAltitude_257)+gu1.TheAltitude_258)+gu1.TheAltitude_259)+gu1.TheAltitude_260)+gu1.TheAltitude_261)+gu1.TheAltitude_262)+gu1.TheAltitude_263)+gu1.TheAltitude_264)+gu1.TheAltitude_265)+gu1.TheAltitude_266)+gu1.TheAltitude_267)+gu1.TheAltitude_268)+gu1.TheAltitude_269)+gu1.TheAltitude_270)+gu1.TheAltitude_271)+gu1.TheAltitude_272)+gu1.TheAltitude_273)+gu1.TheAltitude_274)+gu1.TheAltitude_275)+gu1.TheAltitude_276)+gu1.TheAltitude_277)+gu1.TheAltitude_278)+gu1.TheAltitude_279)+gu1.TheAltitude_280)+gu1.TheAltitude_281)+gu1.TheAltitude_282)+gu1.TheAltitude_283)+gu1.TheAltitude_284)+gu1.TheAltitude_285)+gu1.TheAltitude_286)+gu1.TheAltitude_287)+gu1.TheAltitude_288)+gu1.TheAltitude_289)+gu1.TheAltitude_290)+gu1.TheAltitude_291)+gu1.TheAltitude_292)+gu1.TheAltitude_293)+gu1.TheAltitude_294)+gu1.TheAltitude_295)+gu1.TheAltitude_296)+gu1.TheAltitude_297)+gu1.TheAltitude_298)+gu1.TheAltitude_299)+gu1.TheAltitude_300)+gu1.TheAltitude_301)+gu1.TheAltitude_302)+gu1.TheAltitude_303)+gu1.TheAltitude_304)+gu1.TheAltitude_305)+gu1.TheAltitude_306)+gu1.TheAltitude_307)+gu1.TheAltitude_308)+gu1.TheAltitude_309)+gu1.TheAltitude_310)+gu1.TheAltitude_311)+gu1.TheAltitude_312)+gu1.TheAltitude_313)+gu1.TheAltitude_314)+gu1.TheAltitude_315)+gu1.TheAltitude_316)+gu1.TheAltitude_317)+gu1.TheAltitude_318)+gu1.TheAltitude_319)+gu1.TheAltitude_320)+gu1.TheAltitude_321)+gu1.TheAltitude_322)+gu1.TheAltitude_323)+gu1.TheAltitude_324)+gu1.TheAltitude_325)+gu1.TheAltitude_326)+gu1.TheAltitude_327)+gu1.TheAltitude_328)+gu1.TheAltitude_329)+gu1.TheAltitude_330)+gu1.TheAltitude_331)+gu1.TheAltitude_332)+gu1.TheAltitude_333)+gu1.TheAltitude_334)+gu1.TheAltitude_335)+gu1.TheAltitude_336)+gu1.TheAltitude_337)+gu1.TheAltitude_338)+gu1.TheAltitude_339)+gu1.TheAltitude_340)+gu1.TheAltitude_341)+gu1.TheAltitude_342)+gu1.TheAltitude_343)+gu1.TheAltitude_344)+gu1.TheAltitude_345)+gu1.TheAltitude_346)+gu1.TheAltitude_347)+gu1.TheAltitude_348)+gu1.TheAltitude_349)+gu1.TheAltitude_350)+gu1.TheAltitude_351)+gu1.TheAltitude_352)+gu1.TheAltitude_353)+gu1.TheAltitude_354)+gu1.TheAltitude_355)+gu1.TheAltitude_356)+gu1.TheAltitude_357)+gu1.TheAltitude_358)+gu1.TheAltitude_359)+gu1.TheAltitude_360)+gu1.TheAltitude_361)+gu1.TheAltitude_362)+gu1.TheAltitude_363)+gu1.TheAltitude_364)+gu1.TheAltitude_365)+gu1.TheAltitude_366)+gu1.TheAltitude_367)+gu1.TheAltitude_368)+gu1.TheAltitude_369)+gu1.TheAltitude_370)+gu1.TheAltitude_371)+gu1.TheAltitude_372)+gu1.TheAltitude_373)+gu1.TheAltitude_374)+gu1.TheAltitude_375)+gu1.TheAltitude_376)+gu1.TheAltitude_377)+gu1.TheAltitude_378)+gu1.TheAltitude_379)+gu1.TheAltitude_380)+gu1.TheAltitude_381)+gu1.TheAltitude_382)+gu1.TheAltitude_383)+gu1.TheAltitude_384)+gu1.TheAltitude_385)+gu1.TheAltitude_386)+gu1.TheAltitude_387)+gu1.TheAltitude_388)+gu1.TheAltitude_389)+gu1.TheAltitude_390)+gu1.TheAltitude_391)+gu1.TheAltitude_392)+gu1.TheAltitude_393)+gu1.TheAltitude_394)+gu1.TheAltitude_395)+gu1.TheAltitude_396)+gu1.TheAltitude_397)+gu1.TheAltitude_398)+gu1.TheAltitude_399)+gu1.Speed_Left_Wheel_0)+gu1.Speed_Left_Wheel_1)+gu1.Speed_Left_Wheel_2)+gu1.Speed_Left_Wheel_3)+gu1.Speed_Left_Wheel_4)+gu1.Speed_Left_Wheel_5)+gu1.Speed_Left_Wheel_6)+gu1.Speed_Left_Wheel_7)+gu1.Speed_Left_Wheel_8)+gu1.Speed_Left_Wheel_9)+gu1.Speed_Left_Wheel_10)+gu1.Speed_Left_Wheel_11)+gu1.Speed_Left_Wheel_12)+gu1.Speed_Left_Wheel_13)+gu1.Speed_Left_Wheel_14)+gu1.Speed_Left_Wheel_15)+gu1.Speed_Left_Wheel_16)+gu1.Speed_Left_Wheel_17)+gu1.Speed_Left_Wheel_18)+gu1.Speed_Left_Wheel_19)+gu1.Speed_Left_Wheel_20)+gu1.Speed_Left_Wheel_21)+gu1.Speed_Left_Wheel_22)+gu1.Speed_Left_Wheel_23)+gu1.Speed_Left_Wheel_24)+gu1.Speed_Left_Wheel_25)+gu1.Speed_Left_Wheel_26)+gu1.Speed_Left_Wheel_27)+gu1.Speed_Left_Wheel_28)+gu1.Speed_Left_Wheel_29)+gu1.Speed_Left_Wheel_30)+gu1.Speed_Left_Wheel_31)+gu1.Speed_Left_Wheel_32)+gu1.Speed_Left_Wheel_33)+gu1.Speed_Left_Wheel_34)+gu1.Speed_Left_Wheel_35)+gu1.Speed_Left_Wheel_36)+gu1.Speed_Left_Wheel_37)+gu1.Speed_Left_Wheel_38)+gu1.Speed_Left_Wheel_39)+gu1.Speed_Left_Wheel_40)+gu1.Speed_Left_Wheel_41)+gu1.Speed_Left_Wheel_42)+gu1.Speed_Left_Wheel_43)+gu1.Speed_Left_Wheel_44)+gu1.Speed_Left_Wheel_45)+gu1.Speed_Left_Wheel_46)+gu1.Speed_Left_Wheel_47)+gu1.Speed_Left_Wheel_48)+gu1.Speed_Left_Wheel_49)+gu1.Speed_Left_Wheel_50)+gu1.Speed_Left_Wheel_51)+gu1.Speed_Left_Wheel_52)+gu1.Speed_Left_Wheel_53)+gu1.Speed_Left_Wheel_54)+gu1.Speed_Left_Wheel_55)+gu1.Speed_Left_Wheel_56)+gu1.Speed_Left_Wheel_57)+gu1.Speed_Left_Wheel_58)+gu1.Speed_Left_Wheel_59)+gu1.Speed_Left_Wheel_60)+gu1.Speed_Left_Wheel_61)+gu1.Speed_Left_Wheel_62)+gu1.Speed_Left_Wheel_63)+gu1.Speed_Left_Wheel_64)+gu1.Speed_Left_Wheel_65)+gu1.Speed_Left_Wheel_66)+gu1.Speed_Left_Wheel_67)+gu1.Speed_Left_Wheel_68)+gu1.Speed_Left_Wheel_69)+gu1.Speed_Left_Wheel_70)+gu1.Speed_Left_Wheel_71)+gu1.Speed_Left_Wheel_72)+gu1.Speed_Left_Wheel_73)+gu1.Speed_Left_Wheel_74)+gu1.Speed_Left_Wheel_75)+gu1.Speed_Left_Wheel_76)+gu1.Speed_Left_Wheel_77)+gu1.Speed_Left_Wheel_78)+gu1.Speed_Left_Wheel_79)+gu1.Speed_Left_Wheel_80)+gu1.Speed_Left_Wheel_81)+gu1.Speed_Left_Wheel_82)+gu1.Speed_Left_Wheel_83)+gu1.Speed_Left_Wheel_84)+gu1.Speed_Left_Wheel_85)+gu1.Speed_Left_Wheel_86)+gu1.Speed_Left_Wheel_87)+gu1.Speed_Left_Wheel_88)+gu1.Speed_Left_Wheel_89)+gu1.Speed_Left_Wheel_90)+gu1.Speed_Left_Wheel_91)+gu1.Speed_Left_Wheel_92)+gu1.Speed_Left_Wheel_93)+gu1.Speed_Left_Wheel_94)+gu1.Speed_Left_Wheel_95)+gu1.Speed_Left_Wheel_96)+gu1.Speed_Left_Wheel_97)+gu1.Speed_Left_Wheel_98)+gu1.Speed_Left_Wheel_99)+gu1.Speed_Left_Wheel_100)+gu1.Speed_Left_Wheel_101)+gu1.Speed_Left_Wheel_102)+gu1.Speed_Left_Wheel_103)+gu1.Speed_Left_Wheel_104)+gu1.Speed_Left_Wheel_105)+gu1.Speed_Left_Wheel_106)+gu1.Speed_Left_Wheel_107)+gu1.Speed_Left_Wheel_108)+gu1.Speed_Left_Wheel_109)+gu1.Speed_Left_Wheel_110)+gu1.Speed_Left_Wheel_111)+gu1.Speed_Left_Wheel_112)+gu1.Speed_Left_Wheel_113)+gu1.Speed_Left_Wheel_114)+gu1.Speed_Left_Wheel_115)+gu1.Speed_Left_Wheel_116)+gu1.Speed_Left_Wheel_117)+gu1.Speed_Left_Wheel_118)+gu1.Speed_Left_Wheel_119)+gu1.Speed_Left_Wheel_120)+gu1.Speed_Left_Wheel_121)+gu1.Speed_Left_Wheel_122)+gu1.Speed_Left_Wheel_123)+gu1.Speed_Left_Wheel_124)+gu1.Speed_Left_Wheel_125)+gu1.Speed_Left_Wheel_126)+gu1.Speed_Left_Wheel_127)+gu1.Speed_Left_Wheel_128)+gu1.Speed_Left_Wheel_129)+gu1.Speed_Left_Wheel_130)+gu1.Speed_Left_Wheel_131)+gu1.Speed_Left_Wheel_132)+gu1.Speed_Left_Wheel_133)+gu1.Speed_Left_Wheel_134)+gu1.Speed_Left_Wheel_135)+gu1.Speed_Left_Wheel_136)+gu1.Speed_Left_Wheel_137)+gu1.Speed_Left_Wheel_138)+gu1.Speed_Left_Wheel_139)+gu1.Speed_Left_Wheel_140)+gu1.Speed_Left_Wheel_141)+gu1.Speed_Left_Wheel_142)+gu1.Speed_Left_Wheel_143)+gu1.Speed_Left_Wheel_144)+gu1.Speed_Left_Wheel_145)+gu1.Speed_Left_Wheel_146)+gu1.Speed_Left_Wheel_147)+gu1.Speed_Left_Wheel_148)+gu1.Speed_Left_Wheel_149)+gu1.Speed_Left_Wheel_150)+gu1.Speed_Left_Wheel_151)+gu1.Speed_Left_Wheel_152)+gu1.Speed_Left_Wheel_153)+gu1.Speed_Left_Wheel_154)+gu1.Speed_Left_Wheel_155)+gu1.Speed_Left_Wheel_156)+gu1.Speed_Left_Wheel_157)+gu1.Speed_Left_Wheel_158)+gu1.Speed_Left_Wheel_159)+gu1.Speed_Left_Wheel_160)+gu1.Speed_Left_Wheel_161)+gu1.Speed_Left_Wheel_162)+gu1.Speed_Left_Wheel_163)+gu1.Speed_Left_Wheel_164)+gu1.Speed_Left_Wheel_165)+gu1.Speed_Left_Wheel_166)+gu1.Speed_Left_Wheel_167)+gu1.Speed_Left_Wheel_168)+gu1.Speed_Left_Wheel_169)+gu1.Speed_Left_Wheel_170)+gu1.Speed_Left_Wheel_171)+gu1.Speed_Left_Wheel_172)+gu1.Speed_Left_Wheel_173)+gu1.Speed_Left_Wheel_174)+gu1.Speed_Left_Wheel_175)+gu1.Speed_Left_Wheel_176)+gu1.Speed_Left_Wheel_177)+gu1.Speed_Left_Wheel_178)+gu1.Speed_Left_Wheel_179)+gu1.Speed_Left_Wheel_180)+gu1.Speed_Left_Wheel_181)+gu1.Speed_Left_Wheel_182)+gu1.Speed_Left_Wheel_183)+gu1.Speed_Left_Wheel_184)+gu1.Speed_Left_Wheel_185)+gu1.Speed_Left_Wheel_186)+gu1.Speed_Left_Wheel_187)+gu1.Speed_Left_Wheel_188)+gu1.Speed_Left_Wheel_189)+gu1.Speed_Left_Wheel_190)+gu1.Speed_Left_Wheel_191)+gu1.Speed_Left_Wheel_192)+gu1.Speed_Left_Wheel_193)+gu1.Speed_Left_Wheel_194)+gu1.Speed_Left_Wheel_195)+gu1.Speed_Left_Wheel_196)+gu1.Speed_Left_Wheel_197)+gu1.Speed_Left_Wheel_198)+gu1.Speed_Left_Wheel_199)<=(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu0.Plane_On_Ground_Signal_no_0+gu0.Plane_On_Ground_Signal_no_1)+gu1.stp2_0)+gu1.TheAltitude_0)+gu1.TheAltitude_1)+gu1.TheAltitude_2)+gu1.TheAltitude_3)+gu1.TheAltitude_4)+gu1.TheAltitude_5)+gu1.TheAltitude_6)+gu1.TheAltitude_7)+gu1.TheAltitude_8)+gu1.TheAltitude_9)+gu1.TheAltitude_10)+gu1.TheAltitude_11)+gu1.TheAltitude_12)+gu1.TheAltitude_13)+gu1.TheAltitude_14)+gu1.TheAltitude_15)+gu1.TheAltitude_16)+gu1.TheAltitude_17)+gu1.TheAltitude_18)+gu1.TheAltitude_19)+gu1.TheAltitude_20)+gu1.TheAltitude_21)+gu1.TheAltitude_22)+gu1.TheAltitude_23)+gu1.TheAltitude_24)+gu1.TheAltitude_25)+gu1.TheAltitude_26)+gu1.TheAltitude_27)+gu1.TheAltitude_28)+gu1.TheAltitude_29)+gu1.TheAltitude_30)+gu1.TheAltitude_31)+gu1.TheAltitude_32)+gu1.TheAltitude_33)+gu1.TheAltitude_34)+gu1.TheAltitude_35)+gu1.TheAltitude_36)+gu1.TheAltitude_37)+gu1.TheAltitude_38)+gu1.TheAltitude_39)+gu1.TheAltitude_40)+gu1.TheAltitude_41)+gu1.TheAltitude_42)+gu1.TheAltitude_43)+gu1.TheAltitude_44)+gu1.TheAltitude_45)+gu1.TheAltitude_46)+gu1.TheAltitude_47)+gu1.TheAltitude_48)+gu1.TheAltitude_49)+gu1.TheAltitude_50)+gu1.TheAltitude_51)+gu1.TheAltitude_52)+gu1.TheAltitude_53)+gu1.TheAltitude_54)+gu1.TheAltitude_55)+gu1.TheAltitude_56)+gu1.TheAltitude_57)+gu1.TheAltitude_58)+gu1.TheAltitude_59)+gu1.TheAltitude_60)+gu1.TheAltitude_61)+gu1.TheAltitude_62)+gu1.TheAltitude_63)+gu1.TheAltitude_64)+gu1.TheAltitude_65)+gu1.TheAltitude_66)+gu1.TheAltitude_67)+gu1.TheAltitude_68)+gu1.TheAltitude_69)+gu1.TheAltitude_70)+gu1.TheAltitude_71)+gu1.TheAltitude_72)+gu1.TheAltitude_73)+gu1.TheAltitude_74)+gu1.TheAltitude_75)+gu1.TheAltitude_76)+gu1.TheAltitude_77)+gu1.TheAltitude_78)+gu1.TheAltitude_79)+gu1.TheAltitude_80)+gu1.TheAltitude_81)+gu1.TheAltitude_82)+gu1.TheAltitude_83)+gu1.TheAltitude_84)+gu1.TheAltitude_85)+gu1.TheAltitude_86)+gu1.TheAltitude_87)+gu1.TheAltitude_88)+gu1.TheAltitude_89)+gu1.TheAltitude_90)+gu1.TheAltitude_91)+gu1.TheAltitude_92)+gu1.TheAltitude_93)+gu1.TheAltitude_94)+gu1.TheAltitude_95)+gu1.TheAltitude_96)+gu1.TheAltitude_97)+gu1.TheAltitude_98)+gu1.TheAltitude_99)+gu1.TheAltitude_100)+gu1.TheAltitude_101)+gu1.TheAltitude_102)+gu1.TheAltitude_103)+gu1.TheAltitude_104)+gu1.TheAltitude_105)+gu1.TheAltitude_106)+gu1.TheAltitude_107)+gu1.TheAltitude_108)+gu1.TheAltitude_109)+gu1.TheAltitude_110)+gu1.TheAltitude_111)+gu1.TheAltitude_112)+gu1.TheAltitude_113)+gu1.TheAltitude_114)+gu1.TheAltitude_115)+gu1.TheAltitude_116)+gu1.TheAltitude_117)+gu1.TheAltitude_118)+gu1.TheAltitude_119)+gu1.TheAltitude_120)+gu1.TheAltitude_121)+gu1.TheAltitude_122)+gu1.TheAltitude_123)+gu1.TheAltitude_124)+gu1.TheAltitude_125)+gu1.TheAltitude_126)+gu1.TheAltitude_127)+gu1.TheAltitude_128)+gu1.TheAltitude_129)+gu1.TheAltitude_130)+gu1.TheAltitude_131)+gu1.TheAltitude_132)+gu1.TheAltitude_133)+gu1.TheAltitude_134)+gu1.TheAltitude_135)+gu1.TheAltitude_136)+gu1.TheAltitude_137)+gu1.TheAltitude_138)+gu1.TheAltitude_139)+gu1.TheAltitude_140)+gu1.TheAltitude_141)+gu1.TheAltitude_142)+gu1.TheAltitude_143)+gu1.TheAltitude_144)+gu1.TheAltitude_145)+gu1.TheAltitude_146)+gu1.TheAltitude_147)+gu1.TheAltitude_148)+gu1.TheAltitude_149)+gu1.TheAltitude_150)+gu1.TheAltitude_151)+gu1.TheAltitude_152)+gu1.TheAltitude_153)+gu1.TheAltitude_154)+gu1.TheAltitude_155)+gu1.TheAltitude_156)+gu1.TheAltitude_157)+gu1.TheAltitude_158)+gu1.TheAltitude_159)+gu1.TheAltitude_160)+gu1.TheAltitude_161)+gu1.TheAltitude_162)+gu1.TheAltitude_163)+gu1.TheAltitude_164)+gu1.TheAltitude_165)+gu1.TheAltitude_166)+gu1.TheAltitude_167)+gu1.TheAltitude_168)+gu1.TheAltitude_169)+gu1.TheAltitude_170)+gu1.TheAltitude_171)+gu1.TheAltitude_172)+gu1.TheAltitude_173)+gu1.TheAltitude_174)+gu1.TheAltitude_175)+gu1.TheAltitude_176)+gu1.TheAltitude_177)+gu1.TheAltitude_178)+gu1.TheAltitude_179)+gu1.TheAltitude_180)+gu1.TheAltitude_181)+gu1.TheAltitude_182)+gu1.TheAltitude_183)+gu1.TheAltitude_184)+gu1.TheAltitude_185)+gu1.TheAltitude_186)+gu1.TheAltitude_187)+gu1.TheAltitude_188)+gu1.TheAltitude_189)+gu1.TheAltitude_190)+gu1.TheAltitude_191)+gu1.TheAltitude_192)+gu1.TheAltitude_193)+gu1.TheAltitude_194)+gu1.TheAltitude_195)+gu1.TheAltitude_196)+gu1.TheAltitude_197)+gu1.TheAltitude_198)+gu1.TheAltitude_199)+gu1.TheAltitude_200)+gu1.TheAltitude_201)+gu1.TheAltitude_202)+gu1.TheAltitude_203)+gu1.TheAltitude_204)+gu1.TheAltitude_205)+gu1.TheAltitude_206)+gu1.TheAltitude_207)+gu1.TheAltitude_208)+gu1.TheAltitude_209)+gu1.TheAltitude_210)+gu1.TheAltitude_211)+gu1.TheAltitude_212)+gu1.TheAltitude_213)+gu1.TheAltitude_214)+gu1.TheAltitude_215)+gu1.TheAltitude_216)+gu1.TheAltitude_217)+gu1.TheAltitude_218)+gu1.TheAltitude_219)+gu1.TheAltitude_220)+gu1.TheAltitude_221)+gu1.TheAltitude_222)+gu1.TheAltitude_223)+gu1.TheAltitude_224)+gu1.TheAltitude_225)+gu1.TheAltitude_226)+gu1.TheAltitude_227)+gu1.TheAltitude_228)+gu1.TheAltitude_229)+gu1.TheAltitude_230)+gu1.TheAltitude_231)+gu1.TheAltitude_232)+gu1.TheAltitude_233)+gu1.TheAltitude_234)+gu1.TheAltitude_235)+gu1.TheAltitude_236)+gu1.TheAltitude_237)+gu1.TheAltitude_238)+gu1.TheAltitude_239)+gu1.TheAltitude_240)+gu1.TheAltitude_241)+gu1.TheAltitude_242)+gu1.TheAltitude_243)+gu1.TheAltitude_244)+gu1.TheAltitude_245)+gu1.TheAltitude_246)+gu1.TheAltitude_247)+gu1.TheAltitude_248)+gu1.TheAltitude_249)+gu1.TheAltitude_250)+gu1.TheAltitude_251)+gu1.TheAltitude_252)+gu1.TheAltitude_253)+gu1.TheAltitude_254)+gu1.TheAltitude_255)+gu1.TheAltitude_256)+gu1.TheAltitude_257)+gu1.TheAltitude_258)+gu1.TheAltitude_259)+gu1.TheAltitude_260)+gu1.TheAltitude_261)+gu1.TheAltitude_262)+gu1.TheAltitude_263)+gu1.TheAltitude_264)+gu1.TheAltitude_265)+gu1.TheAltitude_266)+gu1.TheAltitude_267)+gu1.TheAltitude_268)+gu1.TheAltitude_269)+gu1.TheAltitude_270)+gu1.TheAltitude_271)+gu1.TheAltitude_272)+gu1.TheAltitude_273)+gu1.TheAltitude_274)+gu1.TheAltitude_275)+gu1.TheAltitude_276)+gu1.TheAltitude_277)+gu1.TheAltitude_278)+gu1.TheAltitude_279)+gu1.TheAltitude_280)+gu1.TheAltitude_281)+gu1.TheAltitude_282)+gu1.TheAltitude_283)+gu1.TheAltitude_284)+gu1.TheAltitude_285)+gu1.TheAltitude_286)+gu1.TheAltitude_287)+gu1.TheAltitude_288)+gu1.TheAltitude_289)+gu1.TheAltitude_290)+gu1.TheAltitude_291)+gu1.TheAltitude_292)+gu1.TheAltitude_293)+gu1.TheAltitude_294)+gu1.TheAltitude_295)+gu1.TheAltitude_296)+gu1.TheAltitude_297)+gu1.TheAltitude_298)+gu1.TheAltitude_299)+gu1.TheAltitude_300)+gu1.TheAltitude_301)+gu1.TheAltitude_302)+gu1.TheAltitude_303)+gu1.TheAltitude_304)+gu1.TheAltitude_305)+gu1.TheAltitude_306)+gu1.TheAltitude_307)+gu1.TheAltitude_308)+gu1.TheAltitude_309)+gu1.TheAltitude_310)+gu1.TheAltitude_311)+gu1.TheAltitude_312)+gu1.TheAltitude_313)+gu1.TheAltitude_314)+gu1.TheAltitude_315)+gu1.TheAltitude_316)+gu1.TheAltitude_317)+gu1.TheAltitude_318)+gu1.TheAltitude_319)+gu1.TheAltitude_320)+gu1.TheAltitude_321)+gu1.TheAltitude_322)+gu1.TheAltitude_323)+gu1.TheAltitude_324)+gu1.TheAltitude_325)+gu1.TheAltitude_326)+gu1.TheAltitude_327)+gu1.TheAltitude_328)+gu1.TheAltitude_329)+gu1.TheAltitude_330)+gu1.TheAltitude_331)+gu1.TheAltitude_332)+gu1.TheAltitude_333)+gu1.TheAltitude_334)+gu1.TheAltitude_335)+gu1.TheAltitude_336)+gu1.TheAltitude_337)+gu1.TheAltitude_338)+gu1.TheAltitude_339)+gu1.TheAltitude_340)+gu1.TheAltitude_341)+gu1.TheAltitude_342)+gu1.TheAltitude_343)+gu1.TheAltitude_344)+gu1.TheAltitude_345)+gu1.TheAltitude_346)+gu1.TheAltitude_347)+gu1.TheAltitude_348)+gu1.TheAltitude_349)+gu1.TheAltitude_350)+gu1.TheAltitude_351)+gu1.TheAltitude_352)+gu1.TheAltitude_353)+gu1.TheAltitude_354)+gu1.TheAltitude_355)+gu1.TheAltitude_356)+gu1.TheAltitude_357)+gu1.TheAltitude_358)+gu1.TheAltitude_359)+gu1.TheAltitude_360)+gu1.TheAltitude_361)+gu1.TheAltitude_362)+gu1.TheAltitude_363)+gu1.TheAltitude_364)+gu1.TheAltitude_365)+gu1.TheAltitude_366)+gu1.TheAltitude_367)+gu1.TheAltitude_368)+gu1.TheAltitude_369)+gu1.TheAltitude_370)+gu1.TheAltitude_371)+gu1.TheAltitude_372)+gu1.TheAltitude_373)+gu1.TheAltitude_374)+gu1.TheAltitude_375)+gu1.TheAltitude_376)+gu1.TheAltitude_377)+gu1.TheAltitude_378)+gu1.TheAltitude_379)+gu1.TheAltitude_380)+gu1.TheAltitude_381)+gu1.TheAltitude_382)+gu1.TheAltitude_383)+gu1.TheAltitude_384)+gu1.TheAltitude_385)+gu1.TheAltitude_386)+gu1.TheAltitude_387)+gu1.TheAltitude_388)+gu1.TheAltitude_389)+gu1.TheAltitude_390)+gu1.TheAltitude_391)+gu1.TheAltitude_392)+gu1.TheAltitude_393)+gu1.TheAltitude_394)+gu1.TheAltitude_395)+gu1.TheAltitude_396)+gu1.TheAltitude_397)+gu1.TheAltitude_398)+gu1.TheAltitude_399)+gu0.stp1_0)))))))) * !(EX(TRUE))) * !(EX(TRUE)))) * !((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu0.P6_0+gu0.stp1_0)+gu0.Speed_Right_Wheel_0)+gu0.Speed_Right_Wheel_1)+gu0.Speed_Right_Wheel_2)+gu0.Speed_Right_Wheel_3)+gu0.Speed_Right_Wheel_4)+gu0.Speed_Right_Wheel_5)+gu0.Speed_Right_Wheel_6)+gu0.Speed_Right_Wheel_7)+gu0.Speed_Right_Wheel_8)+gu0.Speed_Right_Wheel_9)+gu0.Speed_Right_Wheel_10)+gu0.Speed_Right_Wheel_11)+gu0.Speed_Right_Wheel_12)+gu0.Speed_Right_Wheel_13)+gu0.Speed_Right_Wheel_14)+gu0.Speed_Right_Wheel_15)+gu0.Speed_Right_Wheel_16)+gu0.Speed_Right_Wheel_17)+gu0.Speed_Right_Wheel_18)+gu0.Speed_Right_Wheel_19)+gu0.Speed_Right_Wheel_20)+gu0.Speed_Right_Wheel_21)+gu0.Speed_Right_Wheel_22)+gu0.Speed_Right_Wheel_23)+gu0.Speed_Right_Wheel_24)+gu0.Speed_Right_Wheel_25)+gu0.Speed_Right_Wheel_26)+gu0.Speed_Right_Wheel_27)+gu0.Speed_Right_Wheel_28)+gu0.Speed_Right_Wheel_29)+gu0.Speed_Right_Wheel_30)+gu0.Speed_Right_Wheel_31)+gu0.Speed_Right_Wheel_32)+gu0.Speed_Right_Wheel_33)+gu0.Speed_Right_Wheel_34)+gu0.Speed_Right_Wheel_35)+gu0.Speed_Right_Wheel_36)+gu0.Speed_Right_Wheel_37)+gu0.Speed_Right_Wheel_38)+gu0.Speed_Right_Wheel_39)+gu0.Speed_Right_Wheel_40)+gu0.Speed_Right_Wheel_41)+gu0.Speed_Right_Wheel_42)+gu0.Speed_Right_Wheel_43)+gu0.Speed_Right_Wheel_44)+gu0.Speed_Right_Wheel_45)+gu0.Speed_Right_Wheel_46)+gu0.Speed_Right_Wheel_47)+gu0.Speed_Right_Wheel_48)+gu0.Speed_Right_Wheel_49)+gu0.Speed_Right_Wheel_50)+gu0.Speed_Right_Wheel_51)+gu0.Speed_Right_Wheel_52)+gu0.Speed_Right_Wheel_53)+gu0.Speed_Right_Wheel_54)+gu0.Speed_Right_Wheel_55)+gu0.Speed_Right_Wheel_56)+gu0.Speed_Right_Wheel_57)+gu0.Speed_Right_Wheel_58)+gu0.Speed_Right_Wheel_59)+gu0.Speed_Right_Wheel_60)+gu0.Speed_Right_Wheel_61)+gu0.Speed_Right_Wheel_62)+gu0.Speed_Right_Wheel_63)+gu0.Speed_Right_Wheel_64)+gu0.Speed_Right_Wheel_65)+gu0.Speed_Right_Wheel_66)+gu0.Speed_Right_Wheel_67)+gu0.Speed_Right_Wheel_68)+gu0.Speed_Right_Wheel_69)+gu0.Speed_Right_Wheel_70)+gu0.Speed_Right_Wheel_71)+gu0.Speed_Right_Wheel_72)+gu0.Speed_Right_Wheel_73)+gu0.Speed_Right_Wheel_74)+gu0.Speed_Right_Wheel_75)+gu0.Speed_Right_Wheel_76)+gu0.Speed_Right_Wheel_77)+gu0.Speed_Right_Wheel_78)+gu0.Speed_Right_Wheel_79)+gu0.Speed_Right_Wheel_80)+gu0.Speed_Right_Wheel_81)+gu0.Speed_Right_Wheel_82)+gu0.Speed_Right_Wheel_83)+gu0.Speed_Right_Wheel_84)+gu0.Speed_Right_Wheel_85)+gu0.Speed_Right_Wheel_86)+gu0.Speed_Right_Wheel_87)+gu0.Speed_Right_Wheel_88)+gu0.Speed_Right_Wheel_89)+gu0.Speed_Right_Wheel_90)+gu0.Speed_Right_Wheel_91)+gu0.Speed_Right_Wheel_92)+gu0.Speed_Right_Wheel_93)+gu0.Speed_Right_Wheel_94)+gu0.Speed_Right_Wheel_95)+gu0.Speed_Right_Wheel_96)+gu0.Speed_Right_Wheel_97)+gu0.Speed_Right_Wheel_98)+gu0.Speed_Right_Wheel_99)+gu0.Speed_Right_Wheel_100)+gu0.Speed_Right_Wheel_101)+gu0.Speed_Right_Wheel_102)+gu0.Speed_Right_Wheel_103)+gu0.Speed_Right_Wheel_104)+gu0.Speed_Right_Wheel_105)+gu0.Speed_Right_Wheel_106)+gu0.Speed_Right_Wheel_107)+gu0.Speed_Right_Wheel_108)+gu0.Speed_Right_Wheel_109)+gu0.Speed_Right_Wheel_110)+gu0.Speed_Right_Wheel_111)+gu0.Speed_Right_Wheel_112)+gu0.Speed_Right_Wheel_113)+gu0.Speed_Right_Wheel_114)+gu0.Speed_Right_Wheel_115)+gu0.Speed_Right_Wheel_116)+gu0.Speed_Right_Wheel_117)+gu0.Speed_Right_Wheel_118)+gu0.Speed_Right_Wheel_119)+gu0.Speed_Right_Wheel_120)+gu0.Speed_Right_Wheel_121)+gu0.Speed_Right_Wheel_122)+gu0.Speed_Right_Wheel_123)+gu0.Speed_Right_Wheel_124)+gu0.Speed_Right_Wheel_125)+gu0.Speed_Right_Wheel_126)+gu0.Speed_Right_Wheel_127)+gu0.Speed_Right_Wheel_128)+gu0.Speed_Right_Wheel_129)+gu0.Speed_Right_Wheel_130)+gu0.Speed_Right_Wheel_131)+gu0.Speed_Right_Wheel_132)+gu0.Speed_Right_Wheel_133)+gu0.Speed_Right_Wheel_134)+gu0.Speed_Right_Wheel_135)+gu0.Speed_Right_Wheel_136)+gu0.Speed_Right_Wheel_137)+gu0.Speed_Right_Wheel_138)+gu0.Speed_Right_Wheel_139)+gu0.Speed_Right_Wheel_140)+gu0.Speed_Right_Wheel_141)+gu0.Speed_Right_Wheel_142)+gu0.Speed_Right_Wheel_143)+gu0.Speed_Right_Wheel_144)+gu0.Speed_Right_Wheel_145)+gu0.Speed_Right_Wheel_146)+gu0.Speed_Right_Wheel_147)+gu0.Speed_Right_Wheel_148)+gu0.Speed_Right_Wheel_149)+gu0.Speed_Right_Wheel_150)+gu0.Speed_Right_Wheel_151)+gu0.Speed_Right_Wheel_152)+gu0.Speed_Right_Wheel_153)+gu0.Speed_Right_Wheel_154)+gu0.Speed_Right_Wheel_155)+gu0.Speed_Right_Wheel_156)+gu0.Speed_Right_Wheel_157)+gu0.Speed_Right_Wheel_158)+gu0.Speed_Right_Wheel_159)+gu0.Speed_Right_Wheel_160)+gu0.Speed_Right_Wheel_161)+gu0.Speed_Right_Wheel_162)+gu0.Speed_Right_Wheel_163)+gu0.Speed_Right_Wheel_164)+gu0.Speed_Right_Wheel_165)+gu0.Speed_Right_Wheel_166)+gu0.Speed_Right_Wheel_167)+gu0.Speed_Right_Wheel_168)+gu0.Speed_Right_Wheel_169)+gu0.Speed_Right_Wheel_170)+gu0.Speed_Right_Wheel_171)+gu0.Speed_Right_Wheel_172)+gu0.Speed_Right_Wheel_173)+gu0.Speed_Right_Wheel_174)+gu0.Speed_Right_Wheel_175)+gu0.Speed_Right_Wheel_176)+gu0.Speed_Right_Wheel_177)+gu0.Speed_Right_Wheel_178)+gu0.Speed_Right_Wheel_179)+gu0.Speed_Right_Wheel_180)+gu0.Speed_Right_Wheel_181)+gu0.Speed_Right_Wheel_182)+gu0.Speed_Right_Wheel_183)+gu0.Speed_Right_Wheel_184)+gu0.Speed_Right_Wheel_185)+gu0.Speed_Right_Wheel_186)+gu0.Speed_Right_Wheel_187)+gu0.Speed_Right_Wheel_188)+gu0.Speed_Right_Wheel_189)+gu0.Speed_Right_Wheel_190)+gu0.Speed_Right_Wheel_191)+gu0.Speed_Right_Wheel_192)+gu0.Speed_Right_Wheel_193)+gu0.Speed_Right_Wheel_194)+gu0.Speed_Right_Wheel_195)+gu0.Speed_Right_Wheel_196)+gu0.Speed_Right_Wheel_197)+gu0.Speed_Right_Wheel_198)+gu0.Speed_Right_Wheel_199)+gu0.stp4_0)+gu1.TheAltitude_0)+gu1.TheAltitude_1)+gu1.TheAltitude_2)+gu1.TheAltitude_3)+gu1.TheAltitude_4)+gu1.TheAltitude_5)+gu1.TheAltitude_6)+gu1.TheAltitude_7)+gu1.TheAltitude_8)+gu1.TheAltitude_9)+gu1.TheAltitude_10)+gu1.TheAltitude_11)+gu1.TheAltitude_12)+gu1.TheAltitude_13)+gu1.TheAltitude_14)+gu1.TheAltitude_15)+gu1.TheAltitude_16)+gu1.TheAltitude_17)+gu1.TheAltitude_18)+gu1.TheAltitude_19)+gu1.TheAltitude_20)+gu1.TheAltitude_21)+gu1.TheAltitude_22)+gu1.TheAltitude_23)+gu1.TheAltitude_24)+gu1.TheAltitude_25)+gu1.TheAltitude_26)+gu1.TheAltitude_27)+gu1.TheAltitude_28)+gu1.TheAltitude_29)+gu1.TheAltitude_30)+gu1.TheAltitude_31)+gu1.TheAltitude_32)+gu1.TheAltitude_33)+gu1.TheAltitude_34)+gu1.TheAltitude_35)+gu1.TheAltitude_36)+gu1.TheAltitude_37)+gu1.TheAltitude_38)+gu1.TheAltitude_39)+gu1.TheAltitude_40)+gu1.TheAltitude_41)+gu1.TheAltitude_42)+gu1.TheAltitude_43)+gu1.TheAltitude_44)+gu1.TheAltitude_45)+gu1.TheAltitude_46)+gu1.TheAltitude_47)+gu1.TheAltitude_48)+gu1.TheAltitude_49)+gu1.TheAltitude_50)+gu1.TheAltitude_51)+gu1.TheAltitude_52)+gu1.TheAltitude_53)+gu1.TheAltitude_54)+gu1.TheAltitude_55)+gu1.TheAltitude_56)+gu1.TheAltitude_57)+gu1.TheAltitude_58)+gu1.TheAltitude_59)+gu1.TheAltitude_60)+gu1.TheAltitude_61)+gu1.TheAltitude_62)+gu1.TheAltitude_63)+gu1.TheAltitude_64)+gu1.TheAltitude_65)+gu1.TheAltitude_66)+gu1.TheAltitude_67)+gu1.TheAltitude_68)+gu1.TheAltitude_69)+gu1.TheAltitude_70)+gu1.TheAltitude_71)+gu1.TheAltitude_72)+gu1.TheAltitude_73)+gu1.TheAltitude_74)+gu1.TheAltitude_75)+gu1.TheAltitude_76)+gu1.TheAltitude_77)+gu1.TheAltitude_78)+gu1.TheAltitude_79)+gu1.TheAltitude_80)+gu1.TheAltitude_81)+gu1.TheAltitude_82)+gu1.TheAltitude_83)+gu1.TheAltitude_84)+gu1.TheAltitude_85)+gu1.TheAltitude_86)+gu1.TheAltitude_87)+gu1.TheAltitude_88)+gu1.TheAltitude_89)+gu1.TheAltitude_90)+gu1.TheAltitude_91)+gu1.TheAltitude_92)+gu1.TheAltitude_93)+gu1.TheAltitude_94)+gu1.TheAltitude_95)+gu1.TheAltitude_96)+gu1.TheAltitude_97)+gu1.TheAltitude_98)+gu1.TheAltitude_99)+gu1.TheAltitude_100)+gu1.TheAltitude_101)+gu1.TheAltitude_102)+gu1.TheAltitude_103)+gu1.TheAltitude_104)+gu1.TheAltitude_105)+gu1.TheAltitude_106)+gu1.TheAltitude_107)+gu1.TheAltitude_108)+gu1.TheAltitude_109)+gu1.TheAltitude_110)+gu1.TheAltitude_111)+gu1.TheAltitude_112)+gu1.TheAltitude_113)+gu1.TheAltitude_114)+gu1.TheAltitude_115)+gu1.TheAltitude_116)+gu1.TheAltitude_117)+gu1.TheAltitude_118)+gu1.TheAltitude_119)+gu1.TheAltitude_120)+gu1.TheAltitude_121)+gu1.TheAltitude_122)+gu1.TheAltitude_123)+gu1.TheAltitude_124)+gu1.TheAltitude_125)+gu1.TheAltitude_126)+gu1.TheAltitude_127)+gu1.TheAltitude_128)+gu1.TheAltitude_129)+gu1.TheAltitude_130)+gu1.TheAltitude_131)+gu1.TheAltitude_132)+gu1.TheAltitude_133)+gu1.TheAltitude_134)+gu1.TheAltitude_135)+gu1.TheAltitude_136)+gu1.TheAltitude_137)+gu1.TheAltitude_138)+gu1.TheAltitude_139)+gu1.TheAltitude_140)+gu1.TheAltitude_141)+gu1.TheAltitude_142)+gu1.TheAltitude_143)+gu1.TheAltitude_144)+gu1.TheAltitude_145)+gu1.TheAltitude_146)+gu1.TheAltitude_147)+gu1.TheAltitude_148)+gu1.TheAltitude_149)+gu1.TheAltitude_150)+gu1.TheAltitude_151)+gu1.TheAltitude_152)+gu1.TheAltitude_153)+gu1.TheAltitude_154)+gu1.TheAltitude_155)+gu1.TheAltitude_156)+gu1.TheAltitude_157)+gu1.TheAltitude_158)+gu1.TheAltitude_159)+gu1.TheAltitude_160)+gu1.TheAltitude_161)+gu1.TheAltitude_162)+gu1.TheAltitude_163)+gu1.TheAltitude_164)+gu1.TheAltitude_165)+gu1.TheAltitude_166)+gu1.TheAltitude_167)+gu1.TheAltitude_168)+gu1.TheAltitude_169)+gu1.TheAltitude_170)+gu1.TheAltitude_171)+gu1.TheAltitude_172)+gu1.TheAltitude_173)+gu1.TheAltitude_174)+gu1.TheAltitude_175)+gu1.TheAltitude_176)+gu1.TheAltitude_177)+gu1.TheAltitude_178)+gu1.TheAltitude_179)+gu1.TheAltitude_180)+gu1.TheAltitude_181)+gu1.TheAltitude_182)+gu1.TheAltitude_183)+gu1.TheAltitude_184)+gu1.TheAltitude_185)+gu1.TheAltitude_186)+gu1.TheAltitude_187)+gu1.TheAltitude_188)+gu1.TheAltitude_189)+gu1.TheAltitude_190)+gu1.TheAltitude_191)+gu1.TheAltitude_192)+gu1.TheAltitude_193)+gu1.TheAltitude_194)+gu1.TheAltitude_195)+gu1.TheAltitude_196)+gu1.TheAltitude_197)+gu1.TheAltitude_198)+gu1.TheAltitude_199)+gu1.TheAltitude_200)+gu1.TheAltitude_201)+gu1.TheAltitude_202)+gu1.TheAltitude_203)+gu1.TheAltitude_204)+gu1.TheAltitude_205)+gu1.TheAltitude_206)+gu1.TheAltitude_207)+gu1.TheAltitude_208)+gu1.TheAltitude_209)+gu1.TheAltitude_210)+gu1.TheAltitude_211)+gu1.TheAltitude_212)+gu1.TheAltitude_213)+gu1.TheAltitude_214)+gu1.TheAltitude_215)+gu1.TheAltitude_216)+gu1.TheAltitude_217)+gu1.TheAltitude_218)+gu1.TheAltitude_219)+gu1.TheAltitude_220)+gu1.TheAltitude_221)+gu1.TheAltitude_222)+gu1.TheAltitude_223)+gu1.TheAltitude_224)+gu1.TheAltitude_225)+gu1.TheAltitude_226)+gu1.TheAltitude_227)+gu1.TheAltitude_228)+gu1.TheAltitude_229)+gu1.TheAltitude_230)+gu1.TheAltitude_231)+gu1.TheAltitude_232)+gu1.TheAltitude_233)+gu1.TheAltitude_234)+gu1.TheAltitude_235)+gu1.TheAltitude_236)+gu1.TheAltitude_237)+gu1.TheAltitude_238)+gu1.TheAltitude_239)+gu1.TheAltitude_240)+gu1.TheAltitude_241)+gu1.TheAltitude_242)+gu1.TheAltitude_243)+gu1.TheAltitude_244)+gu1.TheAltitude_245)+gu1.TheAltitude_246)+gu1.TheAltitude_247)+gu1.TheAltitude_248)+gu1.TheAltitude_249)+gu1.TheAltitude_250)+gu1.TheAltitude_251)+gu1.TheAltitude_252)+gu1.TheAltitude_253)+gu1.TheAltitude_254)+gu1.TheAltitude_255)+gu1.TheAltitude_256)+gu1.TheAltitude_257)+gu1.TheAltitude_258)+gu1.TheAltitude_259)+gu1.TheAltitude_260)+gu1.TheAltitude_261)+gu1.TheAltitude_262)+gu1.TheAltitude_263)+gu1.TheAltitude_264)+gu1.TheAltitude_265)+gu1.TheAltitude_266)+gu1.TheAltitude_267)+gu1.TheAltitude_268)+gu1.TheAltitude_269)+gu1.TheAltitude_270)+gu1.TheAltitude_271)+gu1.TheAltitude_272)+gu1.TheAltitude_273)+gu1.TheAltitude_274)+gu1.TheAltitude_275)+gu1.TheAltitude_276)+gu1.TheAltitude_277)+gu1.TheAltitude_278)+gu1.TheAltitude_279)+gu1.TheAltitude_280)+gu1.TheAltitude_281)+gu1.TheAltitude_282)+gu1.TheAltitude_283)+gu1.TheAltitude_284)+gu1.TheAltitude_285)+gu1.TheAltitude_286)+gu1.TheAltitude_287)+gu1.TheAltitude_288)+gu1.TheAltitude_289)+gu1.TheAltitude_290)+gu1.TheAltitude_291)+gu1.TheAltitude_292)+gu1.TheAltitude_293)+gu1.TheAltitude_294)+gu1.TheAltitude_295)+gu1.TheAltitude_296)+gu1.TheAltitude_297)+gu1.TheAltitude_298)+gu1.TheAltitude_299)+gu1.TheAltitude_300)+gu1.TheAltitude_301)+gu1.TheAltitude_302)+gu1.TheAltitude_303)+gu1.TheAltitude_304)+gu1.TheAltitude_305)+gu1.TheAltitude_306)+gu1.TheAltitude_307)+gu1.TheAltitude_308)+gu1.TheAltitude_309)+gu1.TheAltitude_310)+gu1.TheAltitude_311)+gu1.TheAltitude_312)+gu1.TheAltitude_313)+gu1.TheAltitude_314)+gu1.TheAltitude_315)+gu1.TheAltitude_316)+gu1.TheAltitude_317)+gu1.TheAltitude_318)+gu1.TheAltitude_319)+gu1.TheAltitude_320)+gu1.TheAltitude_321)+gu1.TheAltitude_322)+gu1.TheAltitude_323)+gu1.TheAltitude_324)+gu1.TheAltitude_325)+gu1.TheAltitude_326)+gu1.TheAltitude_327)+gu1.TheAltitude_328)+gu1.TheAltitude_329)+gu1.TheAltitude_330)+gu1.TheAltitude_331)+gu1.TheAltitude_332)+gu1.TheAltitude_333)+gu1.TheAltitude_334)+gu1.TheAltitude_335)+gu1.TheAltitude_336)+gu1.TheAltitude_337)+gu1.TheAltitude_338)+gu1.TheAltitude_339)+gu1.TheAltitude_340)+gu1.TheAltitude_341)+gu1.TheAltitude_342)+gu1.TheAltitude_343)+gu1.TheAltitude_344)+gu1.TheAltitude_345)+gu1.TheAltitude_346)+gu1.TheAltitude_347)+gu1.TheAltitude_348)+gu1.TheAltitude_349)+gu1.TheAltitude_350)+gu1.TheAltitude_351)+gu1.TheAltitude_352)+gu1.TheAltitude_353)+gu1.TheAltitude_354)+gu1.TheAltitude_355)+gu1.TheAltitude_356)+gu1.TheAltitude_357)+gu1.TheAltitude_358)+gu1.TheAltitude_359)+gu1.TheAltitude_360)+gu1.TheAltitude_361)+gu1.TheAltitude_362)+gu1.TheAltitude_363)+gu1.TheAltitude_364)+gu1.TheAltitude_365)+gu1.TheAltitude_366)+gu1.TheAltitude_367)+gu1.TheAltitude_368)+gu1.TheAltitude_369)+gu1.TheAltitude_370)+gu1.TheAltitude_371)+gu1.TheAltitude_372)+gu1.TheAltitude_373)+gu1.TheAltitude_374)+gu1.TheAltitude_375)+gu1.TheAltitude_376)+gu1.TheAltitude_377)+gu1.TheAltitude_378)+gu1.TheAltitude_379)+gu1.TheAltitude_380)+gu1.TheAltitude_381)+gu1.TheAltitude_382)+gu1.TheAltitude_383)+gu1.TheAltitude_384)+gu1.TheAltitude_385)+gu1.TheAltitude_386)+gu1.TheAltitude_387)+gu1.TheAltitude_388)+gu1.TheAltitude_389)+gu1.TheAltitude_390)+gu1.TheAltitude_391)+gu1.TheAltitude_392)+gu1.TheAltitude_393)+gu1.TheAltitude_394)+gu1.TheAltitude_395)+gu1.TheAltitude_396)+gu1.TheAltitude_397)+gu1.TheAltitude_398)+gu1.TheAltitude_399)+gu1.Speed_Left_Wheel_0)+gu1.Speed_Left_Wheel_1)+gu1.Speed_Left_Wheel_2)+gu1.Speed_Left_Wheel_3)+gu1.Speed_Left_Wheel_4)+gu1.Speed_Left_Wheel_5)+gu1.Speed_Left_Wheel_6)+gu1.Speed_Left_Wheel_7)+gu1.Speed_Left_Wheel_8)+gu1.Speed_Left_Wheel_9)+gu1.Speed_Left_Wheel_10)+gu1.Speed_Left_Wheel_11)+gu1.Speed_Left_Wheel_12)+gu1.Speed_Left_Wheel_13)+gu1.Speed_Left_Wheel_14)+gu1.Speed_Left_Wheel_15)+gu1.Speed_Left_Wheel_16)+gu1.Speed_Left_Wheel_17)+gu1.Speed_Left_Wheel_18)+gu1.Speed_Left_Wheel_19)+gu1.Speed_Left_Wheel_20)+gu1.Speed_Left_Wheel_21)+gu1.Speed_Left_Wheel_22)+gu1.Speed_Left_Wheel_23)+gu1.Speed_Left_Wheel_24)+gu1.Speed_Left_Wheel_25)+gu1.Speed_Left_Wheel_26)+gu1.Speed_Left_Wheel_27)+gu1.Speed_Left_Wheel_28)+gu1.Speed_Left_Wheel_29)+gu1.Speed_Left_Wheel_30)+gu1.Speed_Left_Wheel_31)+gu1.Speed_Left_Wheel_32)+gu1.Speed_Left_Wheel_33)+gu1.Speed_Left_Wheel_34)+gu1.Speed_Left_Wheel_35)+gu1.Speed_Left_Wheel_36)+gu1.Speed_Left_Wheel_37)+gu1.Speed_Left_Wheel_38)+gu1.Speed_Left_Wheel_39)+gu1.Speed_Left_Wheel_40)+gu1.Speed_Left_Wheel_41)+gu1.Speed_Left_Wheel_42)+gu1.Speed_Left_Wheel_43)+gu1.Speed_Left_Wheel_44)+gu1.Speed_Left_Wheel_45)+gu1.Speed_Left_Wheel_46)+gu1.Speed_Left_Wheel_47)+gu1.Speed_Left_Wheel_48)+gu1.Speed_Left_Wheel_49)+gu1.Speed_Left_Wheel_50)+gu1.Speed_Left_Wheel_51)+gu1.Speed_Left_Wheel_52)+gu1.Speed_Left_Wheel_53)+gu1.Speed_Left_Wheel_54)+gu1.Speed_Left_Wheel_55)+gu1.Speed_Left_Wheel_56)+gu1.Speed_Left_Wheel_57)+gu1.Speed_Left_Wheel_58)+gu1.Speed_Left_Wheel_59)+gu1.Speed_Left_Wheel_60)+gu1.Speed_Left_Wheel_61)+gu1.Speed_Left_Wheel_62)+gu1.Speed_Left_Wheel_63)+gu1.Speed_Left_Wheel_64)+gu1.Speed_Left_Wheel_65)+gu1.Speed_Left_Wheel_66)+gu1.Speed_Left_Wheel_67)+gu1.Speed_Left_Wheel_68)+gu1.Speed_Left_Wheel_69)+gu1.Speed_Left_Wheel_70)+gu1.Speed_Left_Wheel_71)+gu1.Speed_Left_Wheel_72)+gu1.Speed_Left_Wheel_73)+gu1.Speed_Left_Wheel_74)+gu1.Speed_Left_Wheel_75)+gu1.Speed_Left_Wheel_76)+gu1.Speed_Left_Wheel_77)+gu1.Speed_Left_Wheel_78)+gu1.Speed_Left_Wheel_79)+gu1.Speed_Left_Wheel_80)+gu1.Speed_Left_Wheel_81)+gu1.Speed_Left_Wheel_82)+gu1.Speed_Left_Wheel_83)+gu1.Speed_Left_Wheel_84)+gu1.Speed_Left_Wheel_85)+gu1.Speed_Left_Wheel_86)+gu1.Speed_Left_Wheel_87)+gu1.Speed_Left_Wheel_88)+gu1.Speed_Left_Wheel_89)+gu1.Speed_Left_Wheel_90)+gu1.Speed_Left_Wheel_91)+gu1.Speed_Left_Wheel_92)+gu1.Speed_Left_Wheel_93)+gu1.Speed_Left_Wheel_94)+gu1.Speed_Left_Wheel_95)+gu1.Speed_Left_Wheel_96)+gu1.Speed_Left_Wheel_97)+gu1.Speed_Left_Wheel_98)+gu1.Speed_Left_Wheel_99)+gu1.Speed_Left_Wheel_100)+gu1.Speed_Left_Wheel_101)+gu1.Speed_Left_Wheel_102)+gu1.Speed_Left_Wheel_103)+gu1.Speed_Left_Wheel_104)+gu1.Speed_Left_Wheel_105)+gu1.Speed_Left_Wheel_106)+gu1.Speed_Left_Wheel_107)+gu1.Speed_Left_Wheel_108)+gu1.Speed_Left_Wheel_109)+gu1.Speed_Left_Wheel_110)+gu1.Speed_Left_Wheel_111)+gu1.Speed_Left_Wheel_112)+gu1.Speed_Left_Wheel_113)+gu1.Speed_Left_Wheel_114)+gu1.Speed_Left_Wheel_115)+gu1.Speed_Left_Wheel_116)+gu1.Speed_Left_Wheel_117)+gu1.Speed_Left_Wheel_118)+gu1.Speed_Left_Wheel_119)+gu1.Speed_Left_Wheel_120)+gu1.Speed_Left_Wheel_121)+gu1.Speed_Left_Wheel_122)+gu1.Speed_Left_Wheel_123)+gu1.Speed_Left_Wheel_124)+gu1.Speed_Left_Wheel_125)+gu1.Speed_Left_Wheel_126)+gu1.Speed_Left_Wheel_127)+gu1.Speed_Left_Wheel_128)+gu1.Speed_Left_Wheel_129)+gu1.Speed_Left_Wheel_130)+gu1.Speed_Left_Wheel_131)+gu1.Speed_Left_Wheel_132)+gu1.Speed_Left_Wheel_133)+gu1.Speed_Left_Wheel_134)+gu1.Speed_Left_Wheel_135)+gu1.Speed_Left_Wheel_136)+gu1.Speed_Left_Wheel_137)+gu1.Speed_Left_Wheel_138)+gu1.Speed_Left_Wheel_139)+gu1.Speed_Left_Wheel_140)+gu1.Speed_Left_Wheel_141)+gu1.Speed_Left_Wheel_142)+gu1.Speed_Left_Wheel_143)+gu1.Speed_Left_Wheel_144)+gu1.Speed_Left_Wheel_145)+gu1.Speed_Left_Wheel_146)+gu1.Speed_Left_Wheel_147)+gu1.Speed_Left_Wheel_148)+gu1.Speed_Left_Wheel_149)+gu1.Speed_Left_Wheel_150)+gu1.Speed_Left_Wheel_151)+gu1.Speed_Left_Wheel_152)+gu1.Speed_Left_Wheel_153)+gu1.Speed_Left_Wheel_154)+gu1.Speed_Left_Wheel_155)+gu1.Speed_Left_Wheel_156)+gu1.Speed_Left_Wheel_157)+gu1.Speed_Left_Wheel_158)+gu1.Speed_Left_Wheel_159)+gu1.Speed_Left_Wheel_160)+gu1.Speed_Left_Wheel_161)+gu1.Speed_Left_Wheel_162)+gu1.Speed_Left_Wheel_163)+gu1.Speed_Left_Wheel_164)+gu1.Speed_Left_Wheel_165)+gu1.Speed_Left_Wheel_166)+gu1.Speed_Left_Wheel_167)+gu1.Speed_Left_Wheel_168)+gu1.Speed_Left_Wheel_169)+gu1.Speed_Left_Wheel_170)+gu1.Speed_Left_Wheel_171)+gu1.Speed_Left_Wheel_172)+gu1.Speed_Left_Wheel_173)+gu1.Speed_Left_Wheel_174)+gu1.Speed_Left_Wheel_175)+gu1.Speed_Left_Wheel_176)+gu1.Speed_Left_Wheel_177)+gu1.Speed_Left_Wheel_178)+gu1.Speed_Left_Wheel_179)+gu1.Speed_Left_Wheel_180)+gu1.Speed_Left_Wheel_181)+gu1.Speed_Left_Wheel_182)+gu1.Speed_Left_Wheel_183)+gu1.Speed_Left_Wheel_184)+gu1.Speed_Left_Wheel_185)+gu1.Speed_Left_Wheel_186)+gu1.Speed_Left_Wheel_187)+gu1.Speed_Left_Wheel_188)+gu1.Speed_Left_Wheel_189)+gu1.Speed_Left_Wheel_190)+gu1.Speed_Left_Wheel_191)+gu1.Speed_Left_Wheel_192)+gu1.Speed_Left_Wheel_193)+gu1.Speed_Left_Wheel_194)+gu1.Speed_Left_Wheel_195)+gu1.Speed_Left_Wheel_196)+gu1.Speed_Left_Wheel_197)+gu1.Speed_Left_Wheel_198)+gu1.Speed_Left_Wheel_199)<=(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu0.Plane_On_Ground_Signal_no_0+gu0.Plane_On_Ground_Signal_no_1)+gu1.stp2_0)+gu1.TheAltitude_0)+gu1.TheAltitude_1)+gu1.TheAltitude_2)+gu1.TheAltitude_3)+gu1.TheAltitude_4)+gu1.TheAltitude_5)+gu1.TheAltitude_6)+gu1.TheAltitude_7)+gu1.TheAltitude_8)+gu1.TheAltitude_9)+gu1.TheAltitude_10)+gu1.TheAltitude_11)+gu1.TheAltitude_12)+gu1.TheAltitude_13)+gu1.TheAltitude_14)+gu1.TheAltitude_15)+gu1.TheAltitude_16)+gu1.TheAltitude_17)+gu1.TheAltitude_18)+gu1.TheAltitude_19)+gu1.TheAltitude_20)+gu1.TheAltitude_21)+gu1.TheAltitude_22)+gu1.TheAltitude_23)+gu1.TheAltitude_24)+gu1.TheAltitude_25)+gu1.TheAltitude_26)+gu1.TheAltitude_27)+gu1.TheAltitude_28)+gu1.TheAltitude_29)+gu1.TheAltitude_30)+gu1.TheAltitude_31)+gu1.TheAltitude_32)+gu1.TheAltitude_33)+gu1.TheAltitude_34)+gu1.TheAltitude_35)+gu1.TheAltitude_36)+gu1.TheAltitude_37)+gu1.TheAltitude_38)+gu1.TheAltitude_39)+gu1.TheAltitude_40)+gu1.TheAltitude_41)+gu1.TheAltitude_42)+gu1.TheAltitude_43)+gu1.TheAltitude_44)+gu1.TheAltitude_45)+gu1.TheAltitude_46)+gu1.TheAltitude_47)+gu1.TheAltitude_48)+gu1.TheAltitude_49)+gu1.TheAltitude_50)+gu1.TheAltitude_51)+gu1.TheAltitude_52)+gu1.TheAltitude_53)+gu1.TheAltitude_54)+gu1.TheAltitude_55)+gu1.TheAltitude_56)+gu1.TheAltitude_57)+gu1.TheAltitude_58)+gu1.TheAltitude_59)+gu1.TheAltitude_60)+gu1.TheAltitude_61)+gu1.TheAltitude_62)+gu1.TheAltitude_63)+gu1.TheAltitude_64)+gu1.TheAltitude_65)+gu1.TheAltitude_66)+gu1.TheAltitude_67)+gu1.TheAltitude_68)+gu1.TheAltitude_69)+gu1.TheAltitude_70)+gu1.TheAltitude_71)+gu1.TheAltitude_72)+gu1.TheAltitude_73)+gu1.TheAltitude_74)+gu1.TheAltitude_75)+gu1.TheAltitude_76)+gu1.TheAltitude_77)+gu1.TheAltitude_78)+gu1.TheAltitude_79)+gu1.TheAltitude_80)+gu1.TheAltitude_81)+gu1.TheAltitude_82)+gu1.TheAltitude_83)+gu1.TheAltitude_84)+gu1.TheAltitude_85)+gu1.TheAltitude_86)+gu1.TheAltitude_87)+gu1.TheAltitude_88)+gu1.TheAltitude_89)+gu1.TheAltitude_90)+gu1.TheAltitude_91)+gu1.TheAltitude_92)+gu1.TheAltitude_93)+gu1.TheAltitude_94)+gu1.TheAltitude_95)+gu1.TheAltitude_96)+gu1.TheAltitude_97)+gu1.TheAltitude_98)+gu1.TheAltitude_99)+gu1.TheAltitude_100)+gu1.TheAltitude_101)+gu1.TheAltitude_102)+gu1.TheAltitude_103)+gu1.TheAltitude_104)+gu1.TheAltitude_105)+gu1.TheAltitude_106)+gu1.TheAltitude_107)+gu1.TheAltitude_108)+gu1.TheAltitude_109)+gu1.TheAltitude_110)+gu1.TheAltitude_111)+gu1.TheAltitude_112)+gu1.TheAltitude_113)+gu1.TheAltitude_114)+gu1.TheAltitude_115)+gu1.TheAltitude_116)+gu1.TheAltitude_117)+gu1.TheAltitude_118)+gu1.TheAltitude_119)+gu1.TheAltitude_120)+gu1.TheAltitude_121)+gu1.TheAltitude_122)+gu1.TheAltitude_123)+gu1.TheAltitude_124)+gu1.TheAltitude_125)+gu1.TheAltitude_126)+gu1.TheAltitude_127)+gu1.TheAltitude_128)+gu1.TheAltitude_129)+gu1.TheAltitude_130)+gu1.TheAltitude_131)+gu1.TheAltitude_132)+gu1.TheAltitude_133)+gu1.TheAltitude_134)+gu1.TheAltitude_135)+gu1.TheAltitude_136)+gu1.TheAltitude_137)+gu1.TheAltitude_138)+gu1.TheAltitude_139)+gu1.TheAltitude_140)+gu1.TheAltitude_141)+gu1.TheAltitude_142)+gu1.TheAltitude_143)+gu1.TheAltitude_144)+gu1.TheAltitude_145)+gu1.TheAltitude_146)+gu1.TheAltitude_147)+gu1.TheAltitude_148)+gu1.TheAltitude_149)+gu1.TheAltitude_150)+gu1.TheAltitude_151)+gu1.TheAltitude_152)+gu1.TheAltitude_153)+gu1.TheAltitude_154)+gu1.TheAltitude_155)+gu1.TheAltitude_156)+gu1.TheAltitude_157)+gu1.TheAltitude_158)+gu1.TheAltitude_159)+gu1.TheAltitude_160)+gu1.TheAltitude_161)+gu1.TheAltitude_162)+gu1.TheAltitude_163)+gu1.TheAltitude_164)+gu1.TheAltitude_165)+gu1.TheAltitude_166)+gu1.TheAltitude_167)+gu1.TheAltitude_168)+gu1.TheAltitude_169)+gu1.TheAltitude_170)+gu1.TheAltitude_171)+gu1.TheAltitude_172)+gu1.TheAltitude_173)+gu1.TheAltitude_174)+gu1.TheAltitude_175)+gu1.TheAltitude_176)+gu1.TheAltitude_177)+gu1.TheAltitude_178)+gu1.TheAltitude_179)+gu1.TheAltitude_180)+gu1.TheAltitude_181)+gu1.TheAltitude_182)+gu1.TheAltitude_183)+gu1.TheAltitude_184)+gu1.TheAltitude_185)+gu1.TheAltitude_186)+gu1.TheAltitude_187)+gu1.TheAltitude_188)+gu1.TheAltitude_189)+gu1.TheAltitude_190)+gu1.TheAltitude_191)+gu1.TheAltitude_192)+gu1.TheAltitude_193)+gu1.TheAltitude_194)+gu1.TheAltitude_195)+gu1.TheAltitude_196)+gu1.TheAltitude_197)+gu1.TheAltitude_198)+gu1.TheAltitude_199)+gu1.TheAltitude_200)+gu1.TheAltitude_201)+gu1.TheAltitude_202)+gu1.TheAltitude_203)+gu1.TheAltitude_204)+gu1.TheAltitude_205)+gu1.TheAltitude_206)+gu1.TheAltitude_207)+gu1.TheAltitude_208)+gu1.TheAltitude_209)+gu1.TheAltitude_210)+gu1.TheAltitude_211)+gu1.TheAltitude_212)+gu1.TheAltitude_213)+gu1.TheAltitude_214)+gu1.TheAltitude_215)+gu1.TheAltitude_216)+gu1.TheAltitude_217)+gu1.TheAltitude_218)+gu1.TheAltitude_219)+gu1.TheAltitude_220)+gu1.TheAltitude_221)+gu1.TheAltitude_222)+gu1.TheAltitude_223)+gu1.TheAltitude_224)+gu1.TheAltitude_225)+gu1.TheAltitude_226)+gu1.TheAltitude_227)+gu1.TheAltitude_228)+gu1.TheAltitude_229)+gu1.TheAltitude_230)+gu1.TheAltitude_231)+gu1.TheAltitude_232)+gu1.TheAltitude_233)+gu1.TheAltitude_234)+gu1.TheAltitude_235)+gu1.TheAltitude_236)+gu1.TheAltitude_237)+gu1.TheAltitude_238)+gu1.TheAltitude_239)+gu1.TheAltitude_240)+gu1.TheAltitude_241)+gu1.TheAltitude_242)+gu1.TheAltitude_243)+gu1.TheAltitude_244)+gu1.TheAltitude_245)+gu1.TheAltitude_246)+gu1.TheAltitude_247)+gu1.TheAltitude_248)+gu1.TheAltitude_249)+gu1.TheAltitude_250)+gu1.TheAltitude_251)+gu1.TheAltitude_252)+gu1.TheAltitude_253)+gu1.TheAltitude_254)+gu1.TheAltitude_255)+gu1.TheAltitude_256)+gu1.TheAltitude_257)+gu1.TheAltitude_258)+gu1.TheAltitude_259)+gu1.TheAltitude_260)+gu1.TheAltitude_261)+gu1.TheAltitude_262)+gu1.TheAltitude_263)+gu1.TheAltitude_264)+gu1.TheAltitude_265)+gu1.TheAltitude_266)+gu1.TheAltitude_267)+gu1.TheAltitude_268)+gu1.TheAltitude_269)+gu1.TheAltitude_270)+gu1.TheAltitude_271)+gu1.TheAltitude_272)+gu1.TheAltitude_273)+gu1.TheAltitude_274)+gu1.TheAltitude_275)+gu1.TheAltitude_276)+gu1.TheAltitude_277)+gu1.TheAltitude_278)+gu1.TheAltitude_279)+gu1.TheAltitude_280)+gu1.TheAltitude_281)+gu1.TheAltitude_282)+gu1.TheAltitude_283)+gu1.TheAltitude_284)+gu1.TheAltitude_285)+gu1.TheAltitude_286)+gu1.TheAltitude_287)+gu1.TheAltitude_288)+gu1.TheAltitude_289)+gu1.TheAltitude_290)+gu1.TheAltitude_291)+gu1.TheAltitude_292)+gu1.TheAltitude_293)+gu1.TheAltitude_294)+gu1.TheAltitude_295)+gu1.TheAltitude_296)+gu1.TheAltitude_297)+gu1.TheAltitude_298)+gu1.TheAltitude_299)+gu1.TheAltitude_300)+gu1.TheAltitude_301)+gu1.TheAltitude_302)+gu1.TheAltitude_303)+gu1.TheAltitude_304)+gu1.TheAltitude_305)+gu1.TheAltitude_306)+gu1.TheAltitude_307)+gu1.TheAltitude_308)+gu1.TheAltitude_309)+gu1.TheAltitude_310)+gu1.TheAltitude_311)+gu1.TheAltitude_312)+gu1.TheAltitude_313)+gu1.TheAltitude_314)+gu1.TheAltitude_315)+gu1.TheAltitude_316)+gu1.TheAltitude_317)+gu1.TheAltitude_318)+gu1.TheAltitude_319)+gu1.TheAltitude_320)+gu1.TheAltitude_321)+gu1.TheAltitude_322)+gu1.TheAltitude_323)+gu1.TheAltitude_324)+gu1.TheAltitude_325)+gu1.TheAltitude_326)+gu1.TheAltitude_327)+gu1.TheAltitude_328)+gu1.TheAltitude_329)+gu1.TheAltitude_330)+gu1.TheAltitude_331)+gu1.TheAltitude_332)+gu1.TheAltitude_333)+gu1.TheAltitude_334)+gu1.TheAltitude_335)+gu1.TheAltitude_336)+gu1.TheAltitude_337)+gu1.TheAltitude_338)+gu1.TheAltitude_339)+gu1.TheAltitude_340)+gu1.TheAltitude_341)+gu1.TheAltitude_342)+gu1.TheAltitude_343)+gu1.TheAltitude_344)+gu1.TheAltitude_345)+gu1.TheAltitude_346)+gu1.TheAltitude_347)+gu1.TheAltitude_348)+gu1.TheAltitude_349)+gu1.TheAltitude_350)+gu1.TheAltitude_351)+gu1.TheAltitude_352)+gu1.TheAltitude_353)+gu1.TheAltitude_354)+gu1.TheAltitude_355)+gu1.TheAltitude_356)+gu1.TheAltitude_357)+gu1.TheAltitude_358)+gu1.TheAltitude_359)+gu1.TheAltitude_360)+gu1.TheAltitude_361)+gu1.TheAltitude_362)+gu1.TheAltitude_363)+gu1.TheAltitude_364)+gu1.TheAltitude_365)+gu1.TheAltitude_366)+gu1.TheAltitude_367)+gu1.TheAltitude_368)+gu1.TheAltitude_369)+gu1.TheAltitude_370)+gu1.TheAltitude_371)+gu1.TheAltitude_372)+gu1.TheAltitude_373)+gu1.TheAltitude_374)+gu1.TheAltitude_375)+gu1.TheAltitude_376)+gu1.TheAltitude_377)+gu1.TheAltitude_378)+gu1.TheAltitude_379)+gu1.TheAltitude_380)+gu1.TheAltitude_381)+gu1.TheAltitude_382)+gu1.TheAltitude_383)+gu1.TheAltitude_384)+gu1.TheAltitude_385)+gu1.TheAltitude_386)+gu1.TheAltitude_387)+gu1.TheAltitude_388)+gu1.TheAltitude_389)+gu1.TheAltitude_390)+gu1.TheAltitude_391)+gu1.TheAltitude_392)+gu1.TheAltitude_393)+gu1.TheAltitude_394)+gu1.TheAltitude_395)+gu1.TheAltitude_396)+gu1.TheAltitude_397)+gu1.TheAltitude_398)+gu1.TheAltitude_399)+gu0.stp1_0))))] = FALSE * [FwdG(EY(Init),!((EX(TRUE) + !(EX(!((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu0.P6_0+gu0.stp1_0)+gu0.Speed_Right_Wheel_0)+gu0.Speed_Right_Wheel_1)+gu0.Speed_Right_Wheel_2)+gu0.Speed_Right_Wheel_3)+gu0.Speed_Right_Wheel_4)+gu0.Speed_Right_Wheel_5)+gu0.Speed_Right_Wheel_6)+gu0.Speed_Right_Wheel_7)+gu0.Speed_Right_Wheel_8)+gu0.Speed_Right_Wheel_9)+gu0.Speed_Right_Wheel_10)+gu0.Speed_Right_Wheel_11)+gu0.Speed_Right_Wheel_12)+gu0.Speed_Right_Wheel_13)+gu0.Speed_Right_Wheel_14)+gu0.Speed_Right_Wheel_15)+gu0.Speed_Right_Wheel_16)+gu0.Speed_Right_Wheel_17)+gu0.Speed_Right_Wheel_18)+gu0.Speed_Right_Wheel_19)+gu0.Speed_Right_Wheel_20)+gu0.Speed_Right_Wheel_21)+gu0.Speed_Right_Wheel_22)+gu0.Speed_Right_Wheel_23)+gu0.Speed_Right_Wheel_24)+gu0.Speed_Right_Wheel_25)+gu0.Speed_Right_Wheel_26)+gu0.Speed_Right_Wheel_27)+gu0.Speed_Right_Wheel_28)+gu0.Speed_Right_Wheel_29)+gu0.Speed_Right_Wheel_30)+gu0.Speed_Right_Wheel_31)+gu0.Speed_Right_Wheel_32)+gu0.Speed_Right_Wheel_33)+gu0.Speed_Right_Wheel_34)+gu0.Speed_Right_Wheel_35)+gu0.Speed_Right_Wheel_36)+gu0.Speed_Right_Wheel_37)+gu0.Speed_Right_Wheel_38)+gu0.Speed_Right_Wheel_39)+gu0.Speed_Right_Wheel_40)+gu0.Speed_Right_Wheel_41)+gu0.Speed_Right_Wheel_42)+gu0.Speed_Right_Wheel_43)+gu0.Speed_Right_Wheel_44)+gu0.Speed_Right_Wheel_45)+gu0.Speed_Right_Wheel_46)+gu0.Speed_Right_Wheel_47)+gu0.Speed_Right_Wheel_48)+gu0.Speed_Right_Wheel_49)+gu0.Speed_Right_Wheel_50)+gu0.Speed_Right_Wheel_51)+gu0.Speed_Right_Wheel_52)+gu0.Speed_Right_Wheel_53)+gu0.Speed_Right_Wheel_54)+gu0.Speed_Right_Wheel_55)+gu0.Speed_Right_Wheel_56)+gu0.Speed_Right_Wheel_57)+gu0.Speed_Right_Wheel_58)+gu0.Speed_Right_Wheel_59)+gu0.Speed_Right_Wheel_60)+gu0.Speed_Right_Wheel_61)+gu0.Speed_Right_Wheel_62)+gu0.Speed_Right_Wheel_63)+gu0.Speed_Right_Wheel_64)+gu0.Speed_Right_Wheel_65)+gu0.Speed_Right_Wheel_66)+gu0.Speed_Right_Wheel_67)+gu0.Speed_Right_Wheel_68)+gu0.Speed_Right_Wheel_69)+gu0.Speed_Right_Wheel_70)+gu0.Speed_Right_Wheel_71)+gu0.Speed_Right_Wheel_72)+gu0.Speed_Right_Wheel_73)+gu0.Speed_Right_Wheel_74)+gu0.Speed_Right_Wheel_75)+gu0.Speed_Right_Wheel_76)+gu0.Speed_Right_Wheel_77)+gu0.Speed_Right_Wheel_78)+gu0.Speed_Right_Wheel_79)+gu0.Speed_Right_Wheel_80)+gu0.Speed_Right_Wheel_81)+gu0.Speed_Right_Wheel_82)+gu0.Speed_Right_Wheel_83)+gu0.Speed_Right_Wheel_84)+gu0.Speed_Right_Wheel_85)+gu0.Speed_Right_Wheel_86)+gu0.Speed_Right_Wheel_87)+gu0.Speed_Right_Wheel_88)+gu0.Speed_Right_Wheel_89)+gu0.Speed_Right_Wheel_90)+gu0.Speed_Right_Wheel_91)+gu0.Speed_Right_Wheel_92)+gu0.Speed_Right_Wheel_93)+gu0.Speed_Right_Wheel_94)+gu0.Speed_Right_Wheel_95)+gu0.Speed_Right_Wheel_96)+gu0.Speed_Right_Wheel_97)+gu0.Speed_Right_Wheel_98)+gu0.Speed_Right_Wheel_99)+gu0.Speed_Right_Wheel_100)+gu0.Speed_Right_Wheel_101)+gu0.Speed_Right_Wheel_102)+gu0.Speed_Right_Wheel_103)+gu0.Speed_Right_Wheel_104)+gu0.Speed_Right_Wheel_105)+gu0.Speed_Right_Wheel_106)+gu0.Speed_Right_Wheel_107)+gu0.Speed_Right_Wheel_108)+gu0.Speed_Right_Wheel_109)+gu0.Speed_Right_Wheel_110)+gu0.Speed_Right_Wheel_111)+gu0.Speed_Right_Wheel_112)+gu0.Speed_Right_Wheel_113)+gu0.Speed_Right_Wheel_114)+gu0.Speed_Right_Wheel_115)+gu0.Speed_Right_Wheel_116)+gu0.Speed_Right_Wheel_117)+gu0.Speed_Right_Wheel_118)+gu0.Speed_Right_Wheel_119)+gu0.Speed_Right_Wheel_120)+gu0.Speed_Right_Wheel_121)+gu0.Speed_Right_Wheel_122)+gu0.Speed_Right_Wheel_123)+gu0.Speed_Right_Wheel_124)+gu0.Speed_Right_Wheel_125)+gu0.Speed_Right_Wheel_126)+gu0.Speed_Right_Wheel_127)+gu0.Speed_Right_Wheel_128)+gu0.Speed_Right_Wheel_129)+gu0.Speed_Right_Wheel_130)+gu0.Speed_Right_Wheel_131)+gu0.Speed_Right_Wheel_132)+gu0.Speed_Right_Wheel_133)+gu0.Speed_Right_Wheel_134)+gu0.Speed_Right_Wheel_135)+gu0.Speed_Right_Wheel_136)+gu0.Speed_Right_Wheel_137)+gu0.Speed_Right_Wheel_138)+gu0.Speed_Right_Wheel_139)+gu0.Speed_Right_Wheel_140)+gu0.Speed_Right_Wheel_141)+gu0.Speed_Right_Wheel_142)+gu0.Speed_Right_Wheel_143)+gu0.Speed_Right_Wheel_144)+gu0.Speed_Right_Wheel_145)+gu0.Speed_Right_Wheel_146)+gu0.Speed_Right_Wheel_147)+gu0.Speed_Right_Wheel_148)+gu0.Speed_Right_Wheel_149)+gu0.Speed_Right_Wheel_150)+gu0.Speed_Right_Wheel_151)+gu0.Speed_Right_Wheel_152)+gu0.Speed_Right_Wheel_153)+gu0.Speed_Right_Wheel_154)+gu0.Speed_Right_Wheel_155)+gu0.Speed_Right_Wheel_156)+gu0.Speed_Right_Wheel_157)+gu0.Speed_Right_Wheel_158)+gu0.Speed_Right_Wheel_159)+gu0.Speed_Right_Wheel_160)+gu0.Speed_Right_Wheel_161)+gu0.Speed_Right_Wheel_162)+gu0.Speed_Right_Wheel_163)+gu0.Speed_Right_Wheel_164)+gu0.Speed_Right_Wheel_165)+gu0.Speed_Right_Wheel_166)+gu0.Speed_Right_Wheel_167)+gu0.Speed_Right_Wheel_168)+gu0.Speed_Right_Wheel_169)+gu0.Speed_Right_Wheel_170)+gu0.Speed_Right_Wheel_171)+gu0.Speed_Right_Wheel_172)+gu0.Speed_Right_Wheel_173)+gu0.Speed_Right_Wheel_174)+gu0.Speed_Right_Wheel_175)+gu0.Speed_Right_Wheel_176)+gu0.Speed_Right_Wheel_177)+gu0.Speed_Right_Wheel_178)+gu0.Speed_Right_Wheel_179)+gu0.Speed_Right_Wheel_180)+gu0.Speed_Right_Wheel_181)+gu0.Speed_Right_Wheel_182)+gu0.Speed_Right_Wheel_183)+gu0.Speed_Right_Wheel_184)+gu0.Speed_Right_Wheel_185)+gu0.Speed_Right_Wheel_186)+gu0.Speed_Right_Wheel_187)+gu0.Speed_Right_Wheel_188)+gu0.Speed_Right_Wheel_189)+gu0.Speed_Right_Wheel_190)+gu0.Speed_Right_Wheel_191)+gu0.Speed_Right_Wheel_192)+gu0.Speed_Right_Wheel_193)+gu0.Speed_Right_Wheel_194)+gu0.Speed_Right_Wheel_195)+gu0.Speed_Right_Wheel_196)+gu0.Speed_Right_Wheel_197)+gu0.Speed_Right_Wheel_198)+gu0.Speed_Right_Wheel_199)+gu0.stp4_0)+gu1.TheAltitude_0)+gu1.TheAltitude_1)+gu1.TheAltitude_2)+gu1.TheAltitude_3)+gu1.TheAltitude_4)+gu1.TheAltitude_5)+gu1.TheAltitude_6)+gu1.TheAltitude_7)+gu1.TheAltitude_8)+gu1.TheAltitude_9)+gu1.TheAltitude_10)+gu1.TheAltitude_11)+gu1.TheAltitude_12)+gu1.TheAltitude_13)+gu1.TheAltitude_14)+gu1.TheAltitude_15)+gu1.TheAltitude_16)+gu1.TheAltitude_17)+gu1.TheAltitude_18)+gu1.TheAltitude_19)+gu1.TheAltitude_20)+gu1.TheAltitude_21)+gu1.TheAltitude_22)+gu1.TheAltitude_23)+gu1.TheAltitude_24)+gu1.TheAltitude_25)+gu1.TheAltitude_26)+gu1.TheAltitude_27)+gu1.TheAltitude_28)+gu1.TheAltitude_29)+gu1.TheAltitude_30)+gu1.TheAltitude_31)+gu1.TheAltitude_32)+gu1.TheAltitude_33)+gu1.TheAltitude_34)+gu1.TheAltitude_35)+gu1.TheAltitude_36)+gu1.TheAltitude_37)+gu1.TheAltitude_38)+gu1.TheAltitude_39)+gu1.TheAltitude_40)+gu1.TheAltitude_41)+gu1.TheAltitude_42)+gu1.TheAltitude_43)+gu1.TheAltitude_44)+gu1.TheAltitude_45)+gu1.TheAltitude_46)+gu1.TheAltitude_47)+gu1.TheAltitude_48)+gu1.TheAltitude_49)+gu1.TheAltitude_50)+gu1.TheAltitude_51)+gu1.TheAltitude_52)+gu1.TheAltitude_53)+gu1.TheAltitude_54)+gu1.TheAltitude_55)+gu1.TheAltitude_56)+gu1.TheAltitude_57)+gu1.TheAltitude_58)+gu1.TheAltitude_59)+gu1.TheAltitude_60)+gu1.TheAltitude_61)+gu1.TheAltitude_62)+gu1.TheAltitude_63)+gu1.TheAltitude_64)+gu1.TheAltitude_65)+gu1.TheAltitude_66)+gu1.TheAltitude_67)+gu1.TheAltitude_68)+gu1.TheAltitude_69)+gu1.TheAltitude_70)+gu1.TheAltitude_71)+gu1.TheAltitude_72)+gu1.TheAltitude_73)+gu1.TheAltitude_74)+gu1.TheAltitude_75)+gu1.TheAltitude_76)+gu1.TheAltitude_77)+gu1.TheAltitude_78)+gu1.TheAltitude_79)+gu1.TheAltitude_80)+gu1.TheAltitude_81)+gu1.TheAltitude_82)+gu1.TheAltitude_83)+gu1.TheAltitude_84)+gu1.TheAltitude_85)+gu1.TheAltitude_86)+gu1.TheAltitude_87)+gu1.TheAltitude_88)+gu1.TheAltitude_89)+gu1.TheAltitude_90)+gu1.TheAltitude_91)+gu1.TheAltitude_92)+gu1.TheAltitude_93)+gu1.TheAltitude_94)+gu1.TheAltitude_95)+gu1.TheAltitude_96)+gu1.TheAltitude_97)+gu1.TheAltitude_98)+gu1.TheAltitude_99)+gu1.TheAltitude_100)+gu1.TheAltitude_101)+gu1.TheAltitude_102)+gu1.TheAltitude_103)+gu1.TheAltitude_104)+gu1.TheAltitude_105)+gu1.TheAltitude_106)+gu1.TheAltitude_107)+gu1.TheAltitude_108)+gu1.TheAltitude_109)+gu1.TheAltitude_110)+gu1.TheAltitude_111)+gu1.TheAltitude_112)+gu1.TheAltitude_113)+gu1.TheAltitude_114)+gu1.TheAltitude_115)+gu1.TheAltitude_116)+gu1.TheAltitude_117)+gu1.TheAltitude_118)+gu1.TheAltitude_119)+gu1.TheAltitude_120)+gu1.TheAltitude_121)+gu1.TheAltitude_122)+gu1.TheAltitude_123)+gu1.TheAltitude_124)+gu1.TheAltitude_125)+gu1.TheAltitude_126)+gu1.TheAltitude_127)+gu1.TheAltitude_128)+gu1.TheAltitude_129)+gu1.TheAltitude_130)+gu1.TheAltitude_131)+gu1.TheAltitude_132)+gu1.TheAltitude_133)+gu1.TheAltitude_134)+gu1.TheAltitude_135)+gu1.TheAltitude_136)+gu1.TheAltitude_137)+gu1.TheAltitude_138)+gu1.TheAltitude_139)+gu1.TheAltitude_140)+gu1.TheAltitude_141)+gu1.TheAltitude_142)+gu1.TheAltitude_143)+gu1.TheAltitude_144)+gu1.TheAltitude_145)+gu1.TheAltitude_146)+gu1.TheAltitude_147)+gu1.TheAltitude_148)+gu1.TheAltitude_149)+gu1.TheAltitude_150)+gu1.TheAltitude_151)+gu1.TheAltitude_152)+gu1.TheAltitude_153)+gu1.TheAltitude_154)+gu1.TheAltitude_155)+gu1.TheAltitude_156)+gu1.TheAltitude_157)+gu1.TheAltitude_158)+gu1.TheAltitude_159)+gu1.TheAltitude_160)+gu1.TheAltitude_161)+gu1.TheAltitude_162)+gu1.TheAltitude_163)+gu1.TheAltitude_164)+gu1.TheAltitude_165)+gu1.TheAltitude_166)+gu1.TheAltitude_167)+gu1.TheAltitude_168)+gu1.TheAltitude_169)+gu1.TheAltitude_170)+gu1.TheAltitude_171)+gu1.TheAltitude_172)+gu1.TheAltitude_173)+gu1.TheAltitude_174)+gu1.TheAltitude_175)+gu1.TheAltitude_176)+gu1.TheAltitude_177)+gu1.TheAltitude_178)+gu1.TheAltitude_179)+gu1.TheAltitude_180)+gu1.TheAltitude_181)+gu1.TheAltitude_182)+gu1.TheAltitude_183)+gu1.TheAltitude_184)+gu1.TheAltitude_185)+gu1.TheAltitude_186)+gu1.TheAltitude_187)+gu1.TheAltitude_188)+gu1.TheAltitude_189)+gu1.TheAltitude_190)+gu1.TheAltitude_191)+gu1.TheAltitude_192)+gu1.TheAltitude_193)+gu1.TheAltitude_194)+gu1.TheAltitude_195)+gu1.TheAltitude_196)+gu1.TheAltitude_197)+gu1.TheAltitude_198)+gu1.TheAltitude_199)+gu1.TheAltitude_200)+gu1.TheAltitude_201)+gu1.TheAltitude_202)+gu1.TheAltitude_203)+gu1.TheAltitude_204)+gu1.TheAltitude_205)+gu1.TheAltitude_206)+gu1.TheAltitude_207)+gu1.TheAltitude_208)+gu1.TheAltitude_209)+gu1.TheAltitude_210)+gu1.TheAltitude_211)+gu1.TheAltitude_212)+gu1.TheAltitude_213)+gu1.TheAltitude_214)+gu1.TheAltitude_215)+gu1.TheAltitude_216)+gu1.TheAltitude_217)+gu1.TheAltitude_218)+gu1.TheAltitude_219)+gu1.TheAltitude_220)+gu1.TheAltitude_221)+gu1.TheAltitude_222)+gu1.TheAltitude_223)+gu1.TheAltitude_224)+gu1.TheAltitude_225)+gu1.TheAltitude_226)+gu1.TheAltitude_227)+gu1.TheAltitude_228)+gu1.TheAltitude_229)+gu1.TheAltitude_230)+gu1.TheAltitude_231)+gu1.TheAltitude_232)+gu1.TheAltitude_233)+gu1.TheAltitude_234)+gu1.TheAltitude_235)+gu1.TheAltitude_236)+gu1.TheAltitude_237)+gu1.TheAltitude_238)+gu1.TheAltitude_239)+gu1.TheAltitude_240)+gu1.TheAltitude_241)+gu1.TheAltitude_242)+gu1.TheAltitude_243)+gu1.TheAltitude_244)+gu1.TheAltitude_245)+gu1.TheAltitude_246)+gu1.TheAltitude_247)+gu1.TheAltitude_248)+gu1.TheAltitude_249)+gu1.TheAltitude_250)+gu1.TheAltitude_251)+gu1.TheAltitude_252)+gu1.TheAltitude_253)+gu1.TheAltitude_254)+gu1.TheAltitude_255)+gu1.TheAltitude_256)+gu1.TheAltitude_257)+gu1.TheAltitude_258)+gu1.TheAltitude_259)+gu1.TheAltitude_260)+gu1.TheAltitude_261)+gu1.TheAltitude_262)+gu1.TheAltitude_263)+gu1.TheAltitude_264)+gu1.TheAltitude_265)+gu1.TheAltitude_266)+gu1.TheAltitude_267)+gu1.TheAltitude_268)+gu1.TheAltitude_269)+gu1.TheAltitude_270)+gu1.TheAltitude_271)+gu1.TheAltitude_272)+gu1.TheAltitude_273)+gu1.TheAltitude_274)+gu1.TheAltitude_275)+gu1.TheAltitude_276)+gu1.TheAltitude_277)+gu1.TheAltitude_278)+gu1.TheAltitude_279)+gu1.TheAltitude_280)+gu1.TheAltitude_281)+gu1.TheAltitude_282)+gu1.TheAltitude_283)+gu1.TheAltitude_284)+gu1.TheAltitude_285)+gu1.TheAltitude_286)+gu1.TheAltitude_287)+gu1.TheAltitude_288)+gu1.TheAltitude_289)+gu1.TheAltitude_290)+gu1.TheAltitude_291)+gu1.TheAltitude_292)+gu1.TheAltitude_293)+gu1.TheAltitude_294)+gu1.TheAltitude_295)+gu1.TheAltitude_296)+gu1.TheAltitude_297)+gu1.TheAltitude_298)+gu1.TheAltitude_299)+gu1.TheAltitude_300)+gu1.TheAltitude_301)+gu1.TheAltitude_302)+gu1.TheAltitude_303)+gu1.TheAltitude_304)+gu1.TheAltitude_305)+gu1.TheAltitude_306)+gu1.TheAltitude_307)+gu1.TheAltitude_308)+gu1.TheAltitude_309)+gu1.TheAltitude_310)+gu1.TheAltitude_311)+gu1.TheAltitude_312)+gu1.TheAltitude_313)+gu1.TheAltitude_314)+gu1.TheAltitude_315)+gu1.TheAltitude_316)+gu1.TheAltitude_317)+gu1.TheAltitude_318)+gu1.TheAltitude_319)+gu1.TheAltitude_320)+gu1.TheAltitude_321)+gu1.TheAltitude_322)+gu1.TheAltitude_323)+gu1.TheAltitude_324)+gu1.TheAltitude_325)+gu1.TheAltitude_326)+gu1.TheAltitude_327)+gu1.TheAltitude_328)+gu1.TheAltitude_329)+gu1.TheAltitude_330)+gu1.TheAltitude_331)+gu1.TheAltitude_332)+gu1.TheAltitude_333)+gu1.TheAltitude_334)+gu1.TheAltitude_335)+gu1.TheAltitude_336)+gu1.TheAltitude_337)+gu1.TheAltitude_338)+gu1.TheAltitude_339)+gu1.TheAltitude_340)+gu1.TheAltitude_341)+gu1.TheAltitude_342)+gu1.TheAltitude_343)+gu1.TheAltitude_344)+gu1.TheAltitude_345)+gu1.TheAltitude_346)+gu1.TheAltitude_347)+gu1.TheAltitude_348)+gu1.TheAltitude_349)+gu1.TheAltitude_350)+gu1.TheAltitude_351)+gu1.TheAltitude_352)+gu1.TheAltitude_353)+gu1.TheAltitude_354)+gu1.TheAltitude_355)+gu1.TheAltitude_356)+gu1.TheAltitude_357)+gu1.TheAltitude_358)+gu1.TheAltitude_359)+gu1.TheAltitude_360)+gu1.TheAltitude_361)+gu1.TheAltitude_362)+gu1.TheAltitude_363)+gu1.TheAltitude_364)+gu1.TheAltitude_365)+gu1.TheAltitude_366)+gu1.TheAltitude_367)+gu1.TheAltitude_368)+gu1.TheAltitude_369)+gu1.TheAltitude_370)+gu1.TheAltitude_371)+gu1.TheAltitude_372)+gu1.TheAltitude_373)+gu1.TheAltitude_374)+gu1.TheAltitude_375)+gu1.TheAltitude_376)+gu1.TheAltitude_377)+gu1.TheAltitude_378)+gu1.TheAltitude_379)+gu1.TheAltitude_380)+gu1.TheAltitude_381)+gu1.TheAltitude_382)+gu1.TheAltitude_383)+gu1.TheAltitude_384)+gu1.TheAltitude_385)+gu1.TheAltitude_386)+gu1.TheAltitude_387)+gu1.TheAltitude_388)+gu1.TheAltitude_389)+gu1.TheAltitude_390)+gu1.TheAltitude_391)+gu1.TheAltitude_392)+gu1.TheAltitude_393)+gu1.TheAltitude_394)+gu1.TheAltitude_395)+gu1.TheAltitude_396)+gu1.TheAltitude_397)+gu1.TheAltitude_398)+gu1.TheAltitude_399)+gu1.Speed_Left_Wheel_0)+gu1.Speed_Left_Wheel_1)+gu1.Speed_Left_Wheel_2)+gu1.Speed_Left_Wheel_3)+gu1.Speed_Left_Wheel_4)+gu1.Speed_Left_Wheel_5)+gu1.Speed_Left_Wheel_6)+gu1.Speed_Left_Wheel_7)+gu1.Speed_Left_Wheel_8)+gu1.Speed_Left_Wheel_9)+gu1.Speed_Left_Wheel_10)+gu1.Speed_Left_Wheel_11)+gu1.Speed_Left_Wheel_12)+gu1.Speed_Left_Wheel_13)+gu1.Speed_Left_Wheel_14)+gu1.Speed_Left_Wheel_15)+gu1.Speed_Left_Wheel_16)+gu1.Speed_Left_Wheel_17)+gu1.Speed_Left_Wheel_18)+gu1.Speed_Left_Wheel_19)+gu1.Speed_Left_Wheel_20)+gu1.Speed_Left_Wheel_21)+gu1.Speed_Left_Wheel_22)+gu1.Speed_Left_Wheel_23)+gu1.Speed_Left_Wheel_24)+gu1.Speed_Left_Wheel_25)+gu1.Speed_Left_Wheel_26)+gu1.Speed_Left_Wheel_27)+gu1.Speed_Left_Wheel_28)+gu1.Speed_Left_Wheel_29)+gu1.Speed_Left_Wheel_30)+gu1.Speed_Left_Wheel_31)+gu1.Speed_Left_Wheel_32)+gu1.Speed_Left_Wheel_33)+gu1.Speed_Left_Wheel_34)+gu1.Speed_Left_Wheel_35)+gu1.Speed_Left_Wheel_36)+gu1.Speed_Left_Wheel_37)+gu1.Speed_Left_Wheel_38)+gu1.Speed_Left_Wheel_39)+gu1.Speed_Left_Wheel_40)+gu1.Speed_Left_Wheel_41)+gu1.Speed_Left_Wheel_42)+gu1.Speed_Left_Wheel_43)+gu1.Speed_Left_Wheel_44)+gu1.Speed_Left_Wheel_45)+gu1.Speed_Left_Wheel_46)+gu1.Speed_Left_Wheel_47)+gu1.Speed_Left_Wheel_48)+gu1.Speed_Left_Wheel_49)+gu1.Speed_Left_Wheel_50)+gu1.Speed_Left_Wheel_51)+gu1.Speed_Left_Wheel_52)+gu1.Speed_Left_Wheel_53)+gu1.Speed_Left_Wheel_54)+gu1.Speed_Left_Wheel_55)+gu1.Speed_Left_Wheel_56)+gu1.Speed_Left_Wheel_57)+gu1.Speed_Left_Wheel_58)+gu1.Speed_Left_Wheel_59)+gu1.Speed_Left_Wheel_60)+gu1.Speed_Left_Wheel_61)+gu1.Speed_Left_Wheel_62)+gu1.Speed_Left_Wheel_63)+gu1.Speed_Left_Wheel_64)+gu1.Speed_Left_Wheel_65)+gu1.Speed_Left_Wheel_66)+gu1.Speed_Left_Wheel_67)+gu1.Speed_Left_Wheel_68)+gu1.Speed_Left_Wheel_69)+gu1.Speed_Left_Wheel_70)+gu1.Speed_Left_Wheel_71)+gu1.Speed_Left_Wheel_72)+gu1.Speed_Left_Wheel_73)+gu1.Speed_Left_Wheel_74)+gu1.Speed_Left_Wheel_75)+gu1.Speed_Left_Wheel_76)+gu1.Speed_Left_Wheel_77)+gu1.Speed_Left_Wheel_78)+gu1.Speed_Left_Wheel_79)+gu1.Speed_Left_Wheel_80)+gu1.Speed_Left_Wheel_81)+gu1.Speed_Left_Wheel_82)+gu1.Speed_Left_Wheel_83)+gu1.Speed_Left_Wheel_84)+gu1.Speed_Left_Wheel_85)+gu1.Speed_Left_Wheel_86)+gu1.Speed_Left_Wheel_87)+gu1.Speed_Left_Wheel_88)+gu1.Speed_Left_Wheel_89)+gu1.Speed_Left_Wheel_90)+gu1.Speed_Left_Wheel_91)+gu1.Speed_Left_Wheel_92)+gu1.Speed_Left_Wheel_93)+gu1.Speed_Left_Wheel_94)+gu1.Speed_Left_Wheel_95)+gu1.Speed_Left_Wheel_96)+gu1.Speed_Left_Wheel_97)+gu1.Speed_Left_Wheel_98)+gu1.Speed_Left_Wheel_99)+gu1.Speed_Left_Wheel_100)+gu1.Speed_Left_Wheel_101)+gu1.Speed_Left_Wheel_102)+gu1.Speed_Left_Wheel_103)+gu1.Speed_Left_Wheel_104)+gu1.Speed_Left_Wheel_105)+gu1.Speed_Left_Wheel_106)+gu1.Speed_Left_Wheel_107)+gu1.Speed_Left_Wheel_108)+gu1.Speed_Left_Wheel_109)+gu1.Speed_Left_Wheel_110)+gu1.Speed_Left_Wheel_111)+gu1.Speed_Left_Wheel_112)+gu1.Speed_Left_Wheel_113)+gu1.Speed_Left_Wheel_114)+gu1.Speed_Left_Wheel_115)+gu1.Speed_Left_Wheel_116)+gu1.Speed_Left_Wheel_117)+gu1.Speed_Left_Wheel_118)+gu1.Speed_Left_Wheel_119)+gu1.Speed_Left_Wheel_120)+gu1.Speed_Left_Wheel_121)+gu1.Speed_Left_Wheel_122)+gu1.Speed_Left_Wheel_123)+gu1.Speed_Left_Wheel_124)+gu1.Speed_Left_Wheel_125)+gu1.Speed_Left_Wheel_126)+gu1.Speed_Left_Wheel_127)+gu1.Speed_Left_Wheel_128)+gu1.Speed_Left_Wheel_129)+gu1.Speed_Left_Wheel_130)+gu1.Speed_Left_Wheel_131)+gu1.Speed_Left_Wheel_132)+gu1.Speed_Left_Wheel_133)+gu1.Speed_Left_Wheel_134)+gu1.Speed_Left_Wheel_135)+gu1.Speed_Left_Wheel_136)+gu1.Speed_Left_Wheel_137)+gu1.Speed_Left_Wheel_138)+gu1.Speed_Left_Wheel_139)+gu1.Speed_Left_Wheel_140)+gu1.Speed_Left_Wheel_141)+gu1.Speed_Left_Wheel_142)+gu1.Speed_Left_Wheel_143)+gu1.Speed_Left_Wheel_144)+gu1.Speed_Left_Wheel_145)+gu1.Speed_Left_Wheel_146)+gu1.Speed_Left_Wheel_147)+gu1.Speed_Left_Wheel_148)+gu1.Speed_Left_Wheel_149)+gu1.Speed_Left_Wheel_150)+gu1.Speed_Left_Wheel_151)+gu1.Speed_Left_Wheel_152)+gu1.Speed_Left_Wheel_153)+gu1.Speed_Left_Wheel_154)+gu1.Speed_Left_Wheel_155)+gu1.Speed_Left_Wheel_156)+gu1.Speed_Left_Wheel_157)+gu1.Speed_Left_Wheel_158)+gu1.Speed_Left_Wheel_159)+gu1.Speed_Left_Wheel_160)+gu1.Speed_Left_Wheel_161)+gu1.Speed_Left_Wheel_162)+gu1.Speed_Left_Wheel_163)+gu1.Speed_Left_Wheel_164)+gu1.Speed_Left_Wheel_165)+gu1.Speed_Left_Wheel_166)+gu1.Speed_Left_Wheel_167)+gu1.Speed_Left_Wheel_168)+gu1.Speed_Left_Wheel_169)+gu1.Speed_Left_Wheel_170)+gu1.Speed_Left_Wheel_171)+gu1.Speed_Left_Wheel_172)+gu1.Speed_Left_Wheel_173)+gu1.Speed_Left_Wheel_174)+gu1.Speed_Left_Wheel_175)+gu1.Speed_Left_Wheel_176)+gu1.Speed_Left_Wheel_177)+gu1.Speed_Left_Wheel_178)+gu1.Speed_Left_Wheel_179)+gu1.Speed_Left_Wheel_180)+gu1.Speed_Left_Wheel_181)+gu1.Speed_Left_Wheel_182)+gu1.Speed_Left_Wheel_183)+gu1.Speed_Left_Wheel_184)+gu1.Speed_Left_Wheel_185)+gu1.Speed_Left_Wheel_186)+gu1.Speed_Left_Wheel_187)+gu1.Speed_Left_Wheel_188)+gu1.Speed_Left_Wheel_189)+gu1.Speed_Left_Wheel_190)+gu1.Speed_Left_Wheel_191)+gu1.Speed_Left_Wheel_192)+gu1.Speed_Left_Wheel_193)+gu1.Speed_Left_Wheel_194)+gu1.Speed_Left_Wheel_195)+gu1.Speed_Left_Wheel_196)+gu1.Speed_Left_Wheel_197)+gu1.Speed_Left_Wheel_198)+gu1.Speed_Left_Wheel_199)<=(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu0.Plane_On_Ground_Signal_no_0+gu0.Plane_On_Ground_Signal_no_1)+gu1.stp2_0)+gu1.TheAltitude_0)+gu1.TheAltitude_1)+gu1.TheAltitude_2)+gu1.TheAltitude_3)+gu1.TheAltitude_4)+gu1.TheAltitude_5)+gu1.TheAltitude_6)+gu1.TheAltitude_7)+gu1.TheAltitude_8)+gu1.TheAltitude_9)+gu1.TheAltitude_10)+gu1.TheAltitude_11)+gu1.TheAltitude_12)+gu1.TheAltitude_13)+gu1.TheAltitude_14)+gu1.TheAltitude_15)+gu1.TheAltitude_16)+gu1.TheAltitude_17)+gu1.TheAltitude_18)+gu1.TheAltitude_19)+gu1.TheAltitude_20)+gu1.TheAltitude_21)+gu1.TheAltitude_22)+gu1.TheAltitude_23)+gu1.TheAltitude_24)+gu1.TheAltitude_25)+gu1.TheAltitude_26)+gu1.TheAltitude_27)+gu1.TheAltitude_28)+gu1.TheAltitude_29)+gu1.TheAltitude_30)+gu1.TheAltitude_31)+gu1.TheAltitude_32)+gu1.TheAltitude_33)+gu1.TheAltitude_34)+gu1.TheAltitude_35)+gu1.TheAltitude_36)+gu1.TheAltitude_37)+gu1.TheAltitude_38)+gu1.TheAltitude_39)+gu1.TheAltitude_40)+gu1.TheAltitude_41)+gu1.TheAltitude_42)+gu1.TheAltitude_43)+gu1.TheAltitude_44)+gu1.TheAltitude_45)+gu1.TheAltitude_46)+gu1.TheAltitude_47)+gu1.TheAltitude_48)+gu1.TheAltitude_49)+gu1.TheAltitude_50)+gu1.TheAltitude_51)+gu1.TheAltitude_52)+gu1.TheAltitude_53)+gu1.TheAltitude_54)+gu1.TheAltitude_55)+gu1.TheAltitude_56)+gu1.TheAltitude_57)+gu1.TheAltitude_58)+gu1.TheAltitude_59)+gu1.TheAltitude_60)+gu1.TheAltitude_61)+gu1.TheAltitude_62)+gu1.TheAltitude_63)+gu1.TheAltitude_64)+gu1.TheAltitude_65)+gu1.TheAltitude_66)+gu1.TheAltitude_67)+gu1.TheAltitude_68)+gu1.TheAltitude_69)+gu1.TheAltitude_70)+gu1.TheAltitude_71)+gu1.TheAltitude_72)+gu1.TheAltitude_73)+gu1.TheAltitude_74)+gu1.TheAltitude_75)+gu1.TheAltitude_76)+gu1.TheAltitude_77)+gu1.TheAltitude_78)+gu1.TheAltitude_79)+gu1.TheAltitude_80)+gu1.TheAltitude_81)+gu1.TheAltitude_82)+gu1.TheAltitude_83)+gu1.TheAltitude_84)+gu1.TheAltitude_85)+gu1.TheAltitude_86)+gu1.TheAltitude_87)+gu1.TheAltitude_88)+gu1.TheAltitude_89)+gu1.TheAltitude_90)+gu1.TheAltitude_91)+gu1.TheAltitude_92)+gu1.TheAltitude_93)+gu1.TheAltitude_94)+gu1.TheAltitude_95)+gu1.TheAltitude_96)+gu1.TheAltitude_97)+gu1.TheAltitude_98)+gu1.TheAltitude_99)+gu1.TheAltitude_100)+gu1.TheAltitude_101)+gu1.TheAltitude_102)+gu1.TheAltitude_103)+gu1.TheAltitude_104)+gu1.TheAltitude_105)+gu1.TheAltitude_106)+gu1.TheAltitude_107)+gu1.TheAltitude_108)+gu1.TheAltitude_109)+gu1.TheAltitude_110)+gu1.TheAltitude_111)+gu1.TheAltitude_112)+gu1.TheAltitude_113)+gu1.TheAltitude_114)+gu1.TheAltitude_115)+gu1.TheAltitude_116)+gu1.TheAltitude_117)+gu1.TheAltitude_118)+gu1.TheAltitude_119)+gu1.TheAltitude_120)+gu1.TheAltitude_121)+gu1.TheAltitude_122)+gu1.TheAltitude_123)+gu1.TheAltitude_124)+gu1.TheAltitude_125)+gu1.TheAltitude_126)+gu1.TheAltitude_127)+gu1.TheAltitude_128)+gu1.TheAltitude_129)+gu1.TheAltitude_130)+gu1.TheAltitude_131)+gu1.TheAltitude_132)+gu1.TheAltitude_133)+gu1.TheAltitude_134)+gu1.TheAltitude_135)+gu1.TheAltitude_136)+gu1.TheAltitude_137)+gu1.TheAltitude_138)+gu1.TheAltitude_139)+gu1.TheAltitude_140)+gu1.TheAltitude_141)+gu1.TheAltitude_142)+gu1.TheAltitude_143)+gu1.TheAltitude_144)+gu1.TheAltitude_145)+gu1.TheAltitude_146)+gu1.TheAltitude_147)+gu1.TheAltitude_148)+gu1.TheAltitude_149)+gu1.TheAltitude_150)+gu1.TheAltitude_151)+gu1.TheAltitude_152)+gu1.TheAltitude_153)+gu1.TheAltitude_154)+gu1.TheAltitude_155)+gu1.TheAltitude_156)+gu1.TheAltitude_157)+gu1.TheAltitude_158)+gu1.TheAltitude_159)+gu1.TheAltitude_160)+gu1.TheAltitude_161)+gu1.TheAltitude_162)+gu1.TheAltitude_163)+gu1.TheAltitude_164)+gu1.TheAltitude_165)+gu1.TheAltitude_166)+gu1.TheAltitude_167)+gu1.TheAltitude_168)+gu1.TheAltitude_169)+gu1.TheAltitude_170)+gu1.TheAltitude_171)+gu1.TheAltitude_172)+gu1.TheAltitude_173)+gu1.TheAltitude_174)+gu1.TheAltitude_175)+gu1.TheAltitude_176)+gu1.TheAltitude_177)+gu1.TheAltitude_178)+gu1.TheAltitude_179)+gu1.TheAltitude_180)+gu1.TheAltitude_181)+gu1.TheAltitude_182)+gu1.TheAltitude_183)+gu1.TheAltitude_184)+gu1.TheAltitude_185)+gu1.TheAltitude_186)+gu1.TheAltitude_187)+gu1.TheAltitude_188)+gu1.TheAltitude_189)+gu1.TheAltitude_190)+gu1.TheAltitude_191)+gu1.TheAltitude_192)+gu1.TheAltitude_193)+gu1.TheAltitude_194)+gu1.TheAltitude_195)+gu1.TheAltitude_196)+gu1.TheAltitude_197)+gu1.TheAltitude_198)+gu1.TheAltitude_199)+gu1.TheAltitude_200)+gu1.TheAltitude_201)+gu1.TheAltitude_202)+gu1.TheAltitude_203)+gu1.TheAltitude_204)+gu1.TheAltitude_205)+gu1.TheAltitude_206)+gu1.TheAltitude_207)+gu1.TheAltitude_208)+gu1.TheAltitude_209)+gu1.TheAltitude_210)+gu1.TheAltitude_211)+gu1.TheAltitude_212)+gu1.TheAltitude_213)+gu1.TheAltitude_214)+gu1.TheAltitude_215)+gu1.TheAltitude_216)+gu1.TheAltitude_217)+gu1.TheAltitude_218)+gu1.TheAltitude_219)+gu1.TheAltitude_220)+gu1.TheAltitude_221)+gu1.TheAltitude_222)+gu1.TheAltitude_223)+gu1.TheAltitude_224)+gu1.TheAltitude_225)+gu1.TheAltitude_226)+gu1.TheAltitude_227)+gu1.TheAltitude_228)+gu1.TheAltitude_229)+gu1.TheAltitude_230)+gu1.TheAltitude_231)+gu1.TheAltitude_232)+gu1.TheAltitude_233)+gu1.TheAltitude_234)+gu1.TheAltitude_235)+gu1.TheAltitude_236)+gu1.TheAltitude_237)+gu1.TheAltitude_238)+gu1.TheAltitude_239)+gu1.TheAltitude_240)+gu1.TheAltitude_241)+gu1.TheAltitude_242)+gu1.TheAltitude_243)+gu1.TheAltitude_244)+gu1.TheAltitude_245)+gu1.TheAltitude_246)+gu1.TheAltitude_247)+gu1.TheAltitude_248)+gu1.TheAltitude_249)+gu1.TheAltitude_250)+gu1.TheAltitude_251)+gu1.TheAltitude_252)+gu1.TheAltitude_253)+gu1.TheAltitude_254)+gu1.TheAltitude_255)+gu1.TheAltitude_256)+gu1.TheAltitude_257)+gu1.TheAltitude_258)+gu1.TheAltitude_259)+gu1.TheAltitude_260)+gu1.TheAltitude_261)+gu1.TheAltitude_262)+gu1.TheAltitude_263)+gu1.TheAltitude_264)+gu1.TheAltitude_265)+gu1.TheAltitude_266)+gu1.TheAltitude_267)+gu1.TheAltitude_268)+gu1.TheAltitude_269)+gu1.TheAltitude_270)+gu1.TheAltitude_271)+gu1.TheAltitude_272)+gu1.TheAltitude_273)+gu1.TheAltitude_274)+gu1.TheAltitude_275)+gu1.TheAltitude_276)+gu1.TheAltitude_277)+gu1.TheAltitude_278)+gu1.TheAltitude_279)+gu1.TheAltitude_280)+gu1.TheAltitude_281)+gu1.TheAltitude_282)+gu1.TheAltitude_283)+gu1.TheAltitude_284)+gu1.TheAltitude_285)+gu1.TheAltitude_286)+gu1.TheAltitude_287)+gu1.TheAltitude_288)+gu1.TheAltitude_289)+gu1.TheAltitude_290)+gu1.TheAltitude_291)+gu1.TheAltitude_292)+gu1.TheAltitude_293)+gu1.TheAltitude_294)+gu1.TheAltitude_295)+gu1.TheAltitude_296)+gu1.TheAltitude_297)+gu1.TheAltitude_298)+gu1.TheAltitude_299)+gu1.TheAltitude_300)+gu1.TheAltitude_301)+gu1.TheAltitude_302)+gu1.TheAltitude_303)+gu1.TheAltitude_304)+gu1.TheAltitude_305)+gu1.TheAltitude_306)+gu1.TheAltitude_307)+gu1.TheAltitude_308)+gu1.TheAltitude_309)+gu1.TheAltitude_310)+gu1.TheAltitude_311)+gu1.TheAltitude_312)+gu1.TheAltitude_313)+gu1.TheAltitude_314)+gu1.TheAltitude_315)+gu1.TheAltitude_316)+gu1.TheAltitude_317)+gu1.TheAltitude_318)+gu1.TheAltitude_319)+gu1.TheAltitude_320)+gu1.TheAltitude_321)+gu1.TheAltitude_322)+gu1.TheAltitude_323)+gu1.TheAltitude_324)+gu1.TheAltitude_325)+gu1.TheAltitude_326)+gu1.TheAltitude_327)+gu1.TheAltitude_328)+gu1.TheAltitude_329)+gu1.TheAltitude_330)+gu1.TheAltitude_331)+gu1.TheAltitude_332)+gu1.TheAltitude_333)+gu1.TheAltitude_334)+gu1.TheAltitude_335)+gu1.TheAltitude_336)+gu1.TheAltitude_337)+gu1.TheAltitude_338)+gu1.TheAltitude_339)+gu1.TheAltitude_340)+gu1.TheAltitude_341)+gu1.TheAltitude_342)+gu1.TheAltitude_343)+gu1.TheAltitude_344)+gu1.TheAltitude_345)+gu1.TheAltitude_346)+gu1.TheAltitude_347)+gu1.TheAltitude_348)+gu1.TheAltitude_349)+gu1.TheAltitude_350)+gu1.TheAltitude_351)+gu1.TheAltitude_352)+gu1.TheAltitude_353)+gu1.TheAltitude_354)+gu1.TheAltitude_355)+gu1.TheAltitude_356)+gu1.TheAltitude_357)+gu1.TheAltitude_358)+gu1.TheAltitude_359)+gu1.TheAltitude_360)+gu1.TheAltitude_361)+gu1.TheAltitude_362)+gu1.TheAltitude_363)+gu1.TheAltitude_364)+gu1.TheAltitude_365)+gu1.TheAltitude_366)+gu1.TheAltitude_367)+gu1.TheAltitude_368)+gu1.TheAltitude_369)+gu1.TheAltitude_370)+gu1.TheAltitude_371)+gu1.TheAltitude_372)+gu1.TheAltitude_373)+gu1.TheAltitude_374)+gu1.TheAltitude_375)+gu1.TheAltitude_376)+gu1.TheAltitude_377)+gu1.TheAltitude_378)+gu1.TheAltitude_379)+gu1.TheAltitude_380)+gu1.TheAltitude_381)+gu1.TheAltitude_382)+gu1.TheAltitude_383)+gu1.TheAltitude_384)+gu1.TheAltitude_385)+gu1.TheAltitude_386)+gu1.TheAltitude_387)+gu1.TheAltitude_388)+gu1.TheAltitude_389)+gu1.TheAltitude_390)+gu1.TheAltitude_391)+gu1.TheAltitude_392)+gu1.TheAltitude_393)+gu1.TheAltitude_394)+gu1.TheAltitude_395)+gu1.TheAltitude_396)+gu1.TheAltitude_397)+gu1.TheAltitude_398)+gu1.TheAltitude_399)+gu0.stp1_0))))))))] = FALSE)
dead was empty
(forward)formula 2,1,34.1448,535592,1,0,966,2.9712e+06,1653,230,38380,731926,1663
FORMULA AirplaneLD-COL-0200-CTLCardinality-05 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
original formula: EG(TRUE)
=> equivalent forward existential formula: [FwdG(Init,TRUE)] != FALSE
(forward)formula 3,1,34.5586,535592,1,0,966,2.9752e+06,1654,232,39195,745993,1665
FORMULA AirplaneLD-COL-0200-CTLCardinality-12 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is TRUE !
***************************************
original formula: AF(EG(EX(TRUE)))
=> equivalent forward existential formula: [FwdG(Init,!(EG(EX(TRUE))))] = FALSE
(forward)formula 4,0,34.561,535592,1,0,966,2.9752e+06,1657,233,39195,746939,1665
FORMULA AirplaneLD-COL-0200-CTLCardinality-14 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Formula is FALSE !
***************************************
ITS tools runner thread asked to quit. Dying gracefully.
BK_STOP 1620736162273
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination CTLCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
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-0200"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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-4028"
echo " Executing tool itstools"
echo " Input is AirplaneLD-COL-0200, 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 r007-tall-162037989700203"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-COL-0200.tgz
mv AirplaneLD-COL-0200 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; 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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;