Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..............................
/home/mcc/execution
total 6.1M
-rw-r--r-- 1 mcc users 65K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 155K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 118K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 488K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 118K May 26 09:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 292K May 26 09:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 57K May 26 09:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 225K May 26 09:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 78K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 179K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 109 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 347 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 103K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 425K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 14K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 26K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 5 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 3.7M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is AirplaneLD-PT-0500, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r191-qhx2-152732142500031
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1528370065115


BK_STOP 1528370300152

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

Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using AirplaneLD-PT-0500 as instance name.
Using AirplaneLD as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'LTLCardinality', 'Place/Transition': True, 'Colored': True, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': True, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': None, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': False}.
Known tools are: [{'Time': 355781, 'Memory': 4504.95, 'Tool': 'itstools'}, {'Time': 361272, 'Memory': 4551.25, 'Tool': 'itstools'}, {'Time': 1511201, 'Memory': 15944.21, 'Tool': 'lola'}, {'Time': 1522376, 'Memory': 15952.75, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 4.247559594244774x far from the best tool itstools.
LTLCardinality lola AirplaneLD-PT-0500...

Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
AirplaneLD-PT-0500: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
AirplaneLD-PT-0500: translating PT formula LTLCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
LTLCardinality @ AirplaneLD-PT-0500 @ 3538 seconds
Makefile:222: recipe for target 'verify' failed
make: [verify] Error 134 (ignored)
----- Start make result stderr -----
----- Start make result stdout -----
lola: LoLA will run for 3538 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 7527/65536 symbol table entries, 37 collisions
lola: preprocessing...
lola: finding significant places
lola: 3519 places, 4008 transitions, 2014 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3015 transition conflict sets
lola: TASK
lola: reading formula from AirplaneLD-PT-0500-LTLCardinality.task
lola: A ((G (F ((1 <= stp2))) U F (G ((P5 <= TheAltitude_500 + TheAltitude_501 + TheAltitude_502 + TheAltitude_503 + TheAltitude_504 + TheAltitude_505 + TheAltitude_506 + TheAltitude_507 + TheAltitude_508 + TheAltitude_509 + TheAltitude_510 + TheAltitude_511 + TheAltitude_512 + TheAltitude_513 + TheAltitude_514 + TheAltitude_515 + TheAltitude_516 + TheAltitude_517 + TheAltitude_518 + TheAltitude_519 + TheAltitude_520 + TheAltitude_521 + TheAltitude_522 + TheAltitude_523 + TheAltitude_524 + TheAltitude_525 + TheAltitude_526 + TheAltitude_527 + TheAltitude_528 + TheAltitude_529 + TheAltitude_530 + TheAltitude_531 + TheAltitude_532 + TheAltitude_533 + TheAltitude_534 + TheAltitude_535 + TheAltitude_536 + TheAltitude_537 + TheAltitude_538 + TheAltitude_539 + TheAltitude_540 + TheAltitude_541 + TheAltitude_542 + TheAltitude_543 + TheAltitude_544 + TheAltitude_545 + TheAltitude_546 + TheAltitude_547 + TheAltitude_548 + TheAltitude_549 + TheAltitude_550 + TheAltitude_551 + TheAltitude_552 + TheAltitude_553 + TheAltitude_554 + TheAltitude_555 + TheAltitude_556 + TheAltitude_557 + TheAltitude_558 + TheAltitude_559 + TheAltitude_560 + TheAltitude_561 + TheAltitude_562 + TheAltitude_563 + TheAltitude_564 + TheAltitude_565 + TheAltitude_566 + TheAltitude_567 + TheAltitude_568 + TheAltitude_569 + TheAltitude_570 + TheAltitude_571 + TheAltitude_572 + TheAltitude_573 + TheAltitude_574 + TheAltitude_575 + TheAltitude_576 + TheAltitude_577 + TheAltitude_578 + TheAltitude_579 + TheAltitude_580 + TheAltitude_581 + TheAltitude_582 + TheAltitude_583 + TheAltitude_584 + TheAltitude_585 + TheAltitude_586 + TheAltitude_587 + TheAltitude_588 + TheAltitude_589 + TheAltitude_590 + TheAltitude_591 + TheAltitude_592 + TheAltitude_593 + TheAltitude_594 + TheAltitude_595 + TheAltitude_596 + TheAltitude_597 + TheAltitude_598 + TheAltitude_599 + TheAltitude_1000 + TheAltitude_499 + TheAltitude_498 + TheAltitude_497 + TheAltitude_496 + TheAltitude_495 + TheAltitude_494 + TheAltitude_493 + TheAltitude_492 + TheAltitude_491 + TheAltitude_600 + TheAltitude_601 + TheAltitude_602 + TheAltitude_603 + TheAltitude_604 + TheAltitude_605 + TheAltitude_606 + TheAltitude_607 + TheAltitude_608 + TheAltitude_609 + TheAltitude_610 + TheAltitude_611 + TheAltitude_612 + TheAltitude_613 + TheAltitude_614 + TheAltitude_615 + TheAltitude_616 + TheAltitude_617 + TheAltitude_618 + TheAltitude_619 + TheAltitude_620 + TheAltitude_621 + TheAltitude_622 + TheAltitude_623 + TheAltitude_624 + TheAltitude_625 + TheAltitude_626 + TheAltitude_627 + TheAltitude_628 + TheAltitude_629 + TheAltitude_630 + TheAltitude_631 + TheAltitude_632 + TheAltitude_633 + TheAltitude_634 + TheAltitude_635 + TheAltitude_636 + TheAltitude_637 + TheAltitude_638 + TheAltitude_639 + TheAltitude_640 + TheAltitude_641 + TheAltitude_642 + TheAltitude_643 + TheAltitude_644 + TheAltitude_645 + TheAltitude_646 + TheAltitude_647 + TheAltitude_648 + TheAltitude_649 + TheAltitude_650 + TheAltitude_651 + TheAltitude_652 + TheAltitude_653 + TheAltitude_654 + TheAltitude_655 + TheAltitude_656 + TheAltitude_657 + TheAltitude_658 + TheAltitude_659 + TheAltitude_660 + TheAltitude_661 + TheAltitude_662 + TheAltitude_663 + TheAltitude_664 + TheAltitude_665 + TheAltitude_666 + TheAltitude_667 + TheAltitude_668 + TheAltitude_669 + TheAltitude_490 + TheAltitude_670 + TheAltitude_671 + TheAltitude_672 + TheAltitude_673 + TheAltitude_674 + TheAltitude_675 + TheAltitude_676 + TheAltitude_677 + TheAltitude_678 + TheAltitude_679 + TheAltitude_680 + TheAltitude_681 + TheAltitude_682 + TheAltitude_683 + TheAltitude_684 + TheAltitude_685 + TheAltitude_686 + TheAltitude_687 + TheAltitude_688 + TheAltitude_689 + TheAltitude_690 + TheAltitude_691 + TheAltitude_692 + TheAltitude_693 + TheAltitude_694 + TheAltitude_695 + TheAltitude_696 + TheAltitude_697 + TheAltitude_698 + TheAltitude_699 + TheAltitude_489 + TheAltitude_488 + TheAltitude_487 + TheAltitude_486 + TheAltitude_485 + TheAltitude_484 + TheAltitude_483 + TheAltitude_482 + TheAltitude_481 + TheAltitude_480 + TheAltitude_479 + TheAltitude_478 + TheAltitude_477 + TheAltitude_476 + TheAltitude_475 + TheAltitude_474 + TheAltitude_473 + TheAltitude_472 + TheAltitude_471 + TheAltitude_470 + TheAltitude_469 + TheAltitude_468 + TheAltitude_467 + TheAltitude_466 + TheAltitude_465 + TheAltitude_464 + TheAltitude_463 + TheAltitude_462 + TheAltitude_461 + TheAltitude_460 + TheAltitude_459 + TheAltitude_458 + TheAltitude_457 + TheAltitude_456 + TheAltitude_455 + TheAltitude_454 + TheAltitude_453 + TheAltitude_452 + TheAltitude_451 + TheAltitude_450 + TheAltitude_449 + TheAltitude_448 + TheAltitude_447 + TheAltitude_446 + TheAltitude_445 + TheAltitude_444 + TheAltitude_443 + TheAltitude_442 + TheAltitude_441 + TheAltitude_440 + TheAltitude_439 + TheAltitude_438 + TheAltitude_437 + TheAltitude_436 + TheAltitude_435 + TheAltitude_434 + TheAltitude_433 + TheAltitude_432 + TheAltitude_431 + TheAltitude_430 + TheAltitude_429 + TheAltitude_428 + TheAltitude_427 + TheAltitude_426 + TheAltitude_425 + TheAltitude_424 + TheAltitude_423 + TheAltitude_422 + TheAltitude_421 + TheAltitude_420 + TheAltitude_419 + TheAltitude_418 + TheAltitude_417 + TheAltitude_416 + TheAltitude_415 + TheAltitude_414 + TheAltitude_413 + TheAltitude_412 + TheAltitude_411 + TheAltitude_410 + TheAltitude_409 + TheAltitude_408 + TheAltitude_407 + TheAltitude_406 + TheAltitude_405 + TheAltitude_404 + TheAltitude_403 + TheAltitude_402 + TheAltitude_401 + TheAltitude_400 + TheAltitude_399 + TheAltitude_398 + TheAltitude_397 + TheAltitude_396 + TheAltitude_395 + TheAltitude_394 + TheAltitude_700 + TheAltitude_701 + TheAltitude_702 + TheAltitude_703 + TheAltitude_704 + TheAltitude_705 + TheAltitude_706 + TheAltitude_707 + TheAltitude_708 + TheAltitude_709 + TheAltitude_710 + TheAltitude_711 + TheAltitude_712 + TheAltitude_713 + TheAltitude_714 + TheAltitude_715 + TheAltitude_716 + TheAltitude_717 + TheAltitude_718 + TheAltitude_719 + TheAltitude_720 + TheAltitude_721 + TheAltitude_722 + TheAltitude_723 + TheAltitude_724 + TheAltitude_725 + TheAltitude_726 + TheAltitude_727 + TheAltitude_728 + TheAltitude_729 + TheAltitude_730 + TheAltitude_731 + TheAltitude_732 + TheAltitude_733 + TheAltitude_734 + TheAltitude_735 + TheAltitude_736 + TheAltitude_737 + TheAltitude_738 + TheAltitude_739 + TheAltitude_740 + TheAltitude_741 + TheAltitude_742 + TheAltitude_743 + TheAltitude_744 + TheAltitude_745 + TheAltitude_746 + TheAltitude_747 + TheAltitude_748 + TheAltitude_749 + TheAltitude_750 + TheAltitude_751 + TheAltitude_752 + TheAltitude_753 + TheAltitude_754 + TheAltitude_755 + TheAltitude_756 + TheAltitude_757 + TheAltitude_758 + TheAltitude_759 + TheAltitude_760 + TheAltitude_761 + TheAltitude_762 + TheAltitude_763 + TheAltitude_764 + TheAltitude_765 + TheAltitude_766 + TheAltitude_767 + TheAltitude_768 + TheAltitude_769 + TheAltitude_770 + TheAltitude_771 + TheAltitude_772 + TheAltitude_773 + TheAltitude_774 + TheAltitude_775 + TheAltitude_776 + TheAltitude_777 + TheAltitude_778 + TheAltitude_779 + TheAltitude_780 + TheAltitude_781 + TheAltitude_782 + TheAltitude_783 + TheAltitude_784 + TheAltitude_785 + TheAltitude_786 + TheAltitude_787 + TheAltitude_788 + TheAltitude_789 + TheAltitude_790 + TheAltitude_791 + TheAltitude_792 + TheAltitude_793 + TheAltitude_794 + TheAltitude_795 + TheAltitude_796 + TheAltitude_797 + TheAltitude_798 + TheAltitude_799 + TheAltitude_10 + TheAltitude_11 + TheAltitude_12 + TheAltitude_13 + TheAltitude_14 + TheAltitude_15 + TheAltitude_16 + TheAltitude_17 + TheAltitude_18 + TheAltitude_19 + TheAltitude_20 + TheAltitude_21 + TheAltitude_22 + TheAltitude_23 + TheAltitude_24 + TheAltitude_25 + TheAltitude_26 + TheAltitude_27 + TheAltitude_28 + TheAltitude_29 + TheAltitude_30 + TheAltitude_31 + TheAltitude_32 + TheAltitude_33 + TheAltitude_34 + TheAltitude_35 + TheAltitude_36 + TheAltitude_37 + TheAltitude_38 + TheAltitude_39 + TheAltitude_40 + TheAltitude_41 + TheAltitude_42 + TheAltitude_43 + TheAltitude_44 + TheAltitude_45 + TheAltitude_46 + TheAltitude_47 + TheAltitude_48 + TheAltitude_49 + TheAltitude_50 + TheAltitude_51 + TheAltitude_52 + TheAltitude_53 + TheAltitude_54 + TheAltitude_55 + TheAltitude_56 + TheAltitude_57 + TheAltitude_58 + TheAltitude_59 + TheAltitude_60 + TheAltitude_61 + TheAltitude_62 + TheAltitude_63 + TheAltitude_64 + TheAltitude_65 + TheAltitude_66 + TheAltitude_67 + TheAltitude_68 + TheAltitude_69 + TheAltitude_70 + TheAltitude_71 + TheAltitude_72 + TheAltitude_73 + TheAltitude_74 + TheAltitude_75 + TheAltitude_76 + TheAltitude_77 + TheAltitude_78 + TheAltitude_79 + TheAltitude_80 + TheAltitude_81 + TheAltitude_82 + TheAltitude_83 + TheAltitude_84 + TheAltitude_85 + TheAltitude_86 + TheAltitude_87 + TheAltitude_88 + TheAltitude_89 + TheAltitude_90 + TheAltitude_91 + TheAltitude_92 + TheAltitude_93 + TheAltitude_94 + TheAltitude_95 + TheAltitude_96 + TheAltitude_97 + TheAltitude_98 + TheAltitude_99 + TheAltitude_393 + TheAltitude_392 + TheAltitude_391 + TheAltitude_390 + TheAltitude_389 + TheAltitude_388 + TheAltitude_387 + TheAltitude_386 + TheAltitude_385 + TheAltitude_384 + TheAltitude_383 + TheAltitude_382 + TheAltitude_381 + TheAltitude_380 + TheAltitude_379 + TheAltitude_378 + TheAltitude_377 + TheAltitude_376 + TheAltitude_375 + TheAltitude_374 + TheAltitude_373 + TheAltitude_372 + TheAltitude_371 + TheAltitude_370 + TheAltitude_369 + TheAltitude_368 + TheAltitude_367 + TheAltitude_366 + TheAltitude_365 + TheAltitude_364 + TheAltitude_363 + TheAltitude_362 + TheAltitude_361 + TheAltitude_360 + TheAltitude_359 + TheAltitude_358 + TheAltitude_357 + TheAltitude_356 + TheAltitude_355 + TheAltitude_354 + TheAltitude_353 + TheAltitude_352 + TheAltitude_351 + TheAltitude_350 + TheAltitude_349 + TheAltitude_348 + TheAltitude_347 + TheAltitude_346 + TheAltitude_345 + TheAltitude_344 + TheAltitude_343 + TheAltitude_342 + TheAltitude_341 + TheAltitude_340 + TheAltitude_339 + TheAltitude_338 + TheAltitude_337 + TheAltitude_336 + TheAltitude_335 + TheAltitude_334 + TheAltitude_333 + TheAltitude_332 + TheAltitude_331 + TheAltitude_330 + TheAltitude_329 + TheAltitude_328 + TheAltitude_327 + TheAltitude_326 + TheAltitude_325 + TheAltitude_324 + TheAltitude_323 + TheAltitude_322 + TheAltitude_321 + TheAltitude_320 + TheAltitude_319 + TheAltitude_318 + TheAltitude_317 + TheAltitude_316 + TheAltitude_315 + TheAltitude_314 + TheAltitude_313 + TheAltitude_312 + TheAltitude_311 + TheAltitude_310 + TheAltitude_309 + TheAltitude_308 + TheAltitude_307 + TheAltitude_306 + TheAltitude_305 + TheAltitude_304 + TheAltitude_303 + TheAltitude_302 + TheAltitude_301 + TheAltitude_300 + TheAltitude_800 + TheAltitude_801 + TheAltitude_802 + TheAltitude_803 + TheAltitude_804 + TheAltitude_805 + TheAltitude_806 + TheAltitude_807 + TheAltitude_808 + TheAltitude_809 + TheAltitude_810 + TheAltitude_811 + TheAltitude_812 + TheAltitude_813 + TheAltitude_814 + TheAltitude_815 + TheAltitude_816 + TheAltitude_817 + TheAltitude_818 + TheAltitude_819 + TheAltitude_820 + TheAltitude_821 + TheAltitude_822 + TheAltitude_823 + TheAltitude_824 + TheAltitude_825 + TheAltitude_826 + TheAltitude_827 + TheAltitude_828 + TheAltitude_829 + TheAltitude_830 + TheAltitude_831 + TheAltitude_832 + TheAltitude_833 + TheAltitude_834 + TheAltitude_835 + TheAltitude_836 + TheAltitude_837 + TheAltitude_838 + TheAltitude_839 + TheAltitude_840 + TheAltitude_841 + TheAltitude_842 + TheAltitude_843 + TheAltitude_844 + TheAltitude_845 + TheAltitude_846 + TheAltitude_847 + TheAltitude_848 + TheAltitude_849 + TheAltitude_850 + TheAltitude_851 + TheAltitude_852 + TheAltitude_853 + TheAltitude_854 + TheAltitude_855 + TheAltitude_856 + TheAltitude_857 + TheAltitude_858 + TheAltitude_859 + TheAltitude_860 + TheAltitude_861 + TheAltitude_862 + TheAltitude_863 + TheAltitude_864 + TheAltitude_865 + TheAltitude_866 + TheAltitude_867 + TheAltitude_868 + TheAltitude_869 + TheAltitude_870 + TheAltitude_871 + TheAltitude_872 + TheAltitude_873 + TheAltitude_874 + TheAltitude_875 + TheAltitude_876 + TheAltitude_877 + TheAltitude_878 + TheAltitude_879 + TheAltitude_880 + TheAltitude_881 + TheAltitude_882 + TheAltitude_883 + TheAltitude_884 + TheAltitude_885 + TheAltitude_886 + TheAltitude_887 + TheAltitude_888 + TheAltitude_889 + TheAltitude_890 + TheAltitude_891 + TheAltitude_892 + TheAltitude_893 + TheAltitude_894 + TheAltitude_895 + TheAltitude_896 + TheAltitude_897 + TheAltitude_898 + TheAltitude_899 + TheAltitude_299 + TheAltitude_298 + TheAltitude_297 + TheAltitude_296 + TheAltitude_295 + TheAltitude_900 + TheAltitude_901 + TheAltitude_902 + TheAltitude_903 + TheAltitude_904 + TheAltitude_905 + TheAltitude_906 + TheAltitude_907 + TheAltitude_908 + TheAltitude_909 + TheAltitude_910 + TheAltitude_911 + TheAltitude_912 + TheAltitude_913 + TheAltitude_914 + TheAltitude_915 + TheAltitude_916 + TheAltitude_917 + TheAltitude_918 + TheAltitude_919 + TheAltitude_920 + TheAltitude_921 + TheAltitude_922 + TheAltitude_923 + TheAltitude_924 + TheAltitude_925 + TheAltitude_926 + TheAltitude_927 + TheAltitude_928 + TheAltitude_929 + TheAltitude_930 + TheAltitude_931 + TheAltitude_932 + TheAltitude_933 + TheAltitude_934 + TheAltitude_935 + TheAltitude_936 + TheAltitude_937 + TheAltitude_938 + TheAltitude_939 + TheAltitude_940 + TheAltitude_941 + TheAltitude_942 + TheAltitude_943 + TheAltitude_944 + TheAltitude_945 + TheAltitude_946 + TheAltitude_947 + TheAltitude_948 + TheAltitude_949 + TheAltitude_950 + TheAltitude_951 + TheAltitude_952 + TheAltitude_953 + TheAltitude_954 + TheAltitude_955 + TheAltitude_956 + TheAltitude_957 + TheAltitude_958 + TheAltitude_959 + TheAltitude_960 + TheAltitude_961 + TheAltitude_962 + TheAltitude_963 + TheAltitude_964 + TheAltitude_965 + TheAltitude_966 + TheAltitude_967 + TheAltitude_968 + TheAltitude_969 + TheAltitude_970 + TheAltitude_971 + TheAltitude_972 + TheAltitude_973 + TheAltitude_974 + TheAltitude_975 + TheAltitude_976 + TheAltitude_977 + TheAltitude_978 + TheAltitude_979 + TheAltitude_980 + TheAltitude_981 + TheAltitude_982 + TheAltitude_983 + TheAltitude_984 + TheAltitude_985 + TheAltitude_986 + TheAltitude_987 + TheAltitude_988 + TheAltitude_989 + TheAltitude_990 + TheAltitude_991 + TheAltitude_992 + TheAltitude_993 + TheAltitude_994 + TheAltitude_995 + TheAltitude_996 + TheAltitude_997 + TheAltitude_998 + TheAltitude_999 + TheAltitude_1 + TheAltitude_2 + TheAltitude_3 + TheAltitude_4 + TheAltitude_5 + TheAltitude_6 + TheAltitude_7 + TheAltitude_8 + TheAltitude_9 + TheAltitude_294 + TheAltitude_293 + TheAltitude_292 + TheAltitude_291 + TheAltitude_290 + TheAltitude_289 + TheAltitude_288 + TheAltitude_287 + TheAltitude_286 + TheAltitude_285 + TheAltitude_284 + TheAltitude_283 + TheAltitude_282 + TheAltitude_281 + TheAltitude_280 + TheAltitude_279 + TheAltitude_278 + TheAltitude_277 + TheAltitude_276 + TheAltitude_275 + TheAltitude_274 + TheAltitude_273 + TheAltitude_272 + TheAltitude_271 + TheAltitude_270 + TheAltitude_269 + TheAltitude_268 + TheAltitude_267 + TheAltitude_266 + TheAltitude_265 + TheAltitude_264 + TheAltitude_263 + TheAltitude_262 + TheAltitude_261 + TheAltitude_260 + TheAltitude_259 + TheAltitude_258 + TheAltitude_257 + TheAltitude_256 + TheAltitude_255 + TheAltitude_254 + TheAltitude_253 + TheAltitude_252 + TheAltitude_251 + TheAltitude_250 + TheAltitude_249 + TheAltitude_248 + TheAltitude_247 + TheAltitude_246 + TheAltitude_245 + TheAltitude_244 + TheAltitude_243 + TheAltitude_242 + TheAltitude_241 + TheAltitude_240 + TheAltitude_239 + TheAltitude_238 + TheAltitude_237 + TheAltitude_236 + TheAltitude_235 + TheAltitude_234 + TheAltitude_233 + TheAltitude_232 + TheAltitude_231 + TheAltitude_230 + TheAltitude_229 + TheAltitude_228 + TheAltitude_227 + TheAltitude_226 + TheAltitude_225 + TheAltitude_224 + TheAltitude_223 + TheAltitude_222 + TheAltitude_221 + TheAltitude_220 + TheAltitude_219 + TheAltitude_218 + TheAltitude_217 + TheAltitude_216 + TheAltitude_215 + TheAltitude_214 + TheAltitude_213 + TheAltitude_212 + TheAltitude_211 + TheAltitude_210 + TheAltitude_209 + TheAltitude_208 + TheAltitude_207 + TheAltitude_206 + TheAltitude_205 + TheAltitude_204 + TheAltitude_203 + TheAltitude_202 + TheAltitude_201 + TheAltitude_200 + TheAltitude_199 + TheAltitude_198 + TheAltitude_197 + TheAltitude_196 + TheAltitude_195 + TheAltitude_194 + TheAltitude_193 + TheAltitude_192 + TheAltitude_191 + TheAltitude_190 + TheAltitude_189 + TheAltitude_188 + TheAltitude_187 + TheAltitud
e_186 + TheAltitude_185 + TheAltitude_184 + TheAltitude_183 + TheAltitude_182 + TheAltitude_181 + TheAltitude_180 + TheAltitude_179 + TheAltitude_178 + TheAltitude_177 + TheAltitude_176 + TheAltitude_175 + TheAltitude_174 + TheAltitude_173 + TheAltitude_172 + TheAltitude_171 + TheAltitude_170 + TheAltitude_169 + TheAltitude_168 + TheAltitude_167 + TheAltitude_166 + TheAltitude_165 + TheAltitude_164 + TheAltitude_163 + TheAltitude_162 + TheAltitude_161 + TheAltitude_160 + TheAltitude_159 + TheAltitude_158 + TheAltitude_157 + TheAltitude_156 + TheAltitude_155 + TheAltitude_154 + TheAltitude_153 + TheAltitude_152 + TheAltitude_151 + TheAltitude_150 + TheAltitude_149 + TheAltitude_148 + TheAltitude_147 + TheAltitude_146 + TheAltitude_145 + TheAltitude_144 + TheAltitude_143 + TheAltitude_142 + TheAltitude_141 + TheAltitude_140 + TheAltitude_139 + TheAltitude_138 + TheAltitude_137 + TheAltitude_136 + TheAltitude_135 + TheAltitude_134 + TheAltitude_133 + TheAltitude_132 + TheAltitude_131 + TheAltitude_130 + TheAltitude_129 + TheAltitude_128 + TheAltitude_127 + TheAltitude_126 + TheAltitude_125 + TheAltitude_124 + TheAltitude_123 + TheAltitude_122 + TheAltitude_121 + TheAltitude_120 + TheAltitude_119 + TheAltitude_118 + TheAltitude_117 + TheAltitude_116 + TheAltitude_115 + TheAltitude_114 + TheAltitude_113 + TheAltitude_112 + TheAltitude_111 + TheAltitude_110 + TheAltitude_109 + TheAltitude_108 + TheAltitude_107 + TheAltitude_106 + TheAltitude_105 + TheAltitude_104 + TheAltitude_103 + TheAltitude_102 + TheAltitude_101 + TheAltitude_100))))) : A ((((3 <= P6) U (1 <= stp4)) U F (G ((P3 <= Speed_Right_Wheel_10 + Speed_Right_Wheel_11 + Speed_Right_Wheel_12 + Speed_Right_Wheel_13 + Speed_Right_Wheel_14 + Speed_Right_Wheel_15 + Speed_Right_Wheel_16 + Speed_Right_Wheel_17 + Speed_Right_Wheel_18 + Speed_Right_Wheel_19 + Speed_Right_Wheel_20 + Speed_Right_Wheel_21 + Speed_Right_Wheel_22 + Speed_Right_Wheel_23 + Speed_Right_Wheel_24 + Speed_Right_Wheel_25 + Speed_Right_Wheel_26 + Speed_Right_Wheel_27 + Speed_Right_Wheel_28 + Speed_Right_Wheel_29 + Speed_Right_Wheel_30 + Speed_Right_Wheel_31 + Speed_Right_Wheel_32 + Speed_Right_Wheel_33 + Speed_Right_Wheel_34 + Speed_Right_Wheel_35 + Speed_Right_Wheel_36 + Speed_Right_Wheel_37 + Speed_Right_Wheel_38 + Speed_Right_Wheel_39 + Speed_Right_Wheel_40 + Speed_Right_Wheel_41 + Speed_Right_Wheel_42 + Speed_Right_Wheel_43 + Speed_Right_Wheel_44 + Speed_Right_Wheel_45 + Speed_Right_Wheel_46 + Speed_Right_Wheel_47 + Speed_Right_Wheel_48 + Speed_Right_Wheel_49 + Speed_Right_Wheel_50 + Speed_Right_Wheel_51 + Speed_Right_Wheel_52 + Speed_Right_Wheel_53 + Speed_Right_Wheel_54 + Speed_Right_Wheel_55 + Speed_Right_Wheel_56 + Speed_Right_Wheel_57 + Speed_Right_Wheel_58 + Speed_Right_Wheel_59 + Speed_Right_Wheel_60 + Speed_Right_Wheel_61 + Speed_Right_Wheel_62 + Speed_Right_Wheel_63 + Speed_Right_Wheel_64 + Speed_Right_Wheel_65 + Speed_Right_Wheel_66 + Speed_Right_Wheel_67 + Speed_Right_Wheel_68 + Speed_Right_Wheel_69 + Speed_Right_Wheel_70 + Speed_Right_Wheel_71 + Speed_Right_Wheel_72 + Speed_Right_Wheel_73 + Speed_Right_Wheel_74 + Speed_Right_Wheel_75 + Speed_Right_Wheel_76 + Speed_Right_Wheel_77 + Speed_Right_Wheel_78 + Speed_Right_Wheel_79 + Speed_Right_Wheel_80 + Speed_Right_Wheel_81 + Speed_Right_Wheel_82 + Speed_Right_Wheel_83 + Speed_Right_Wheel_84 + Speed_Right_Wheel_85 + Speed_Right_Wheel_86 + Speed_Right_Wheel_87 + Speed_Right_Wheel_88 + Speed_Right_Wheel_89 + Speed_Right_Wheel_90 + Speed_Right_Wheel_91 + Speed_Right_Wheel_92 + Speed_Right_Wheel_93 + Speed_Right_Wheel_94 + Speed_Right_Wheel_95 + Speed_Right_Wheel_96 + Speed_Right_Wheel_97 + Speed_Right_Wheel_98 + Speed_Right_Wheel_99 + Speed_Right_Wheel_500 + Speed_Right_Wheel_499 + Speed_Right_Wheel_498 + Speed_Right_Wheel_497 + Speed_Right_Wheel_496 + Speed_Right_Wheel_495 + Speed_Right_Wheel_494 + Speed_Right_Wheel_493 + Speed_Right_Wheel_492 + Speed_Right_Wheel_491 + Speed_Right_Wheel_490 + Speed_Right_Wheel_489 + Speed_Right_Wheel_488 + Speed_Right_Wheel_487 + Speed_Right_Wheel_486 + Speed_Right_Wheel_485 + Speed_Right_Wheel_484 + Speed_Right_Wheel_483 + Speed_Right_Wheel_482 + Speed_Right_Wheel_481 + Speed_Right_Wheel_480 + Speed_Right_Wheel_479 + Speed_Right_Wheel_478 + Speed_Right_Wheel_477 + Speed_Right_Wheel_476 + Speed_Right_Wheel_475 + Speed_Right_Wheel_474 + Speed_Right_Wheel_473 + Speed_Right_Wheel_472 + Speed_Right_Wheel_471 + Speed_Right_Wheel_470 + Speed_Right_Wheel_469 + Speed_Right_Wheel_468 + Speed_Right_Wheel_467 + Speed_Right_Wheel_466 + Speed_Right_Wheel_465 + Speed_Right_Wheel_464 + Speed_Right_Wheel_463 + Speed_Right_Wheel_462 + Speed_Right_Wheel_461 + Speed_Right_Wheel_460 + Speed_Right_Wheel_459 + Speed_Right_Wheel_458 + Speed_Right_Wheel_457 + Speed_Right_Wheel_456 + Speed_Right_Wheel_455 + Speed_Right_Wheel_454 + Speed_Right_Wheel_453 + Speed_Right_Wheel_452 + Speed_Right_Wheel_451 + Speed_Right_Wheel_450 + Speed_Right_Wheel_449 + Speed_Right_Wheel_448 + Speed_Right_Wheel_447 + Speed_Right_Wheel_446 + Speed_Right_Wheel_445 + Speed_Right_Wheel_444 + Speed_Right_Wheel_443 + Speed_Right_Wheel_442 + Speed_Right_Wheel_441 + Speed_Right_Wheel_440 + Speed_Right_Wheel_439 + Speed_Right_Wheel_438 + Speed_Right_Wheel_437 + Speed_Right_Wheel_436 + Speed_Right_Wheel_435 + Speed_Right_Wheel_434 + Speed_Right_Wheel_433 + Speed_Right_Wheel_432 + Speed_Right_Wheel_431 + Speed_Right_Wheel_430 + Speed_Right_Wheel_429 + Speed_Right_Wheel_428 + Speed_Right_Wheel_427 + Speed_Right_Wheel_426 + Speed_Right_Wheel_425 + Speed_Right_Wheel_424 + Speed_Right_Wheel_423 + Speed_Right_Wheel_422 + Speed_Right_Wheel_421 + Speed_Right_Wheel_420 + Speed_Right_Wheel_419 + Speed_Right_Wheel_418 + Speed_Right_Wheel_417 + Speed_Right_Wheel_416 + Speed_Right_Wheel_415 + Speed_Right_Wheel_414 + Speed_Right_Wheel_413 + Speed_Right_Wheel_412 + Speed_Right_Wheel_411 + Speed_Right_Wheel_410 + Speed_Right_Wheel_409 + Speed_Right_Wheel_408 + Speed_Right_Wheel_407 + Speed_Right_Wheel_406 + Speed_Right_Wheel_405 + Speed_Right_Wheel_404 + Speed_Right_Wheel_403 + Speed_Right_Wheel_402 + Speed_Right_Wheel_401 + Speed_Right_Wheel_400 + Speed_Right_Wheel_399 + Speed_Right_Wheel_398 + Speed_Right_Wheel_397 + Speed_Right_Wheel_396 + Speed_Right_Wheel_395 + Speed_Right_Wheel_1 + Speed_Right_Wheel_2 + Speed_Right_Wheel_3 + Speed_Right_Wheel_4 + Speed_Right_Wheel_5 + Speed_Right_Wheel_6 + Speed_Right_Wheel_7 + Speed_Right_Wheel_8 + Speed_Right_Wheel_9 + Speed_Right_Wheel_394 + Speed_Right_Wheel_393 + Speed_Right_Wheel_392 + Speed_Right_Wheel_391 + Speed_Right_Wheel_390 + Speed_Right_Wheel_389 + Speed_Right_Wheel_388 + Speed_Right_Wheel_387 + Speed_Right_Wheel_386 + Speed_Right_Wheel_385 + Speed_Right_Wheel_384 + Speed_Right_Wheel_383 + Speed_Right_Wheel_382 + Speed_Right_Wheel_381 + Speed_Right_Wheel_380 + Speed_Right_Wheel_379 + Speed_Right_Wheel_378 + Speed_Right_Wheel_377 + Speed_Right_Wheel_376 + Speed_Right_Wheel_375 + Speed_Right_Wheel_374 + Speed_Right_Wheel_373 + Speed_Right_Wheel_372 + Speed_Right_Wheel_371 + Speed_Right_Wheel_370 + Speed_Right_Wheel_369 + Speed_Right_Wheel_368 + Speed_Right_Wheel_367 + Speed_Right_Wheel_366 + Speed_Right_Wheel_365 + Speed_Right_Wheel_364 + Speed_Right_Wheel_363 + Speed_Right_Wheel_362 + Speed_Right_Wheel_361 + Speed_Right_Wheel_360 + Speed_Right_Wheel_359 + Speed_Right_Wheel_358 + Speed_Right_Wheel_357 + Speed_Right_Wheel_356 + Speed_Right_Wheel_355 + Speed_Right_Wheel_354 + Speed_Right_Wheel_353 + Speed_Right_Wheel_352 + Speed_Right_Wheel_351 + Speed_Right_Wheel_350 + Speed_Right_Wheel_349 + Speed_Right_Wheel_348 + Speed_Right_Wheel_347 + Speed_Right_Wheel_346 + Speed_Right_Wheel_345 + Speed_Right_Wheel_344 + Speed_Right_Wheel_343 + Speed_Right_Wheel_342 + Speed_Right_Wheel_341 + Speed_Right_Wheel_340 + Speed_Right_Wheel_339 + Speed_Right_Wheel_338 + Speed_Right_Wheel_337 + Speed_Right_Wheel_336 + Speed_Right_Wheel_335 + Speed_Right_Wheel_334 + Speed_Right_Wheel_333 + Speed_Right_Wheel_332 + Speed_Right_Wheel_331 + Speed_Right_Wheel_330 + Speed_Right_Wheel_329 + Speed_Right_Wheel_328 + Speed_Right_Wheel_327 + Speed_Right_Wheel_326 + Speed_Right_Wheel_325 + Speed_Right_Wheel_324 + Speed_Right_Wheel_323 + Speed_Right_Wheel_322 + Speed_Right_Wheel_321 + Speed_Right_Wheel_320 + Speed_Right_Wheel_319 + Speed_Right_Wheel_318 + Speed_Right_Wheel_317 + Speed_Right_Wheel_316 + Speed_Right_Wheel_315 + Speed_Right_Wheel_314 + Speed_Right_Wheel_313 + Speed_Right_Wheel_312 + Speed_Right_Wheel_311 + Speed_Right_Wheel_310 + Speed_Right_Wheel_309 + Speed_Right_Wheel_308 + Speed_Right_Wheel_307 + Speed_Right_Wheel_306 + Speed_Right_Wheel_305 + Speed_Right_Wheel_304 + Speed_Right_Wheel_303 + Speed_Right_Wheel_302 + Speed_Right_Wheel_301 + Speed_Right_Wheel_300 + Speed_Right_Wheel_299 + Speed_Right_Wheel_298 + Speed_Right_Wheel_297 + Speed_Right_Wheel_296 + Speed_Right_Wheel_295 + Speed_Right_Wheel_294 + Speed_Right_Wheel_293 + Speed_Right_Wheel_292 + Speed_Right_Wheel_291 + Speed_Right_Wheel_290 + Speed_Right_Wheel_289 + Speed_Right_Wheel_288 + Speed_Right_Wheel_287 + Speed_Right_Wheel_286 + Speed_Right_Wheel_285 + Speed_Right_Wheel_284 + Speed_Right_Wheel_283 + Speed_Right_Wheel_282 + Speed_Right_Wheel_281 + Speed_Right_Wheel_280 + Speed_Right_Wheel_279 + Speed_Right_Wheel_278 + Speed_Right_Wheel_277 + Speed_Right_Wheel_276 + Speed_Right_Wheel_275 + Speed_Right_Wheel_274 + Speed_Right_Wheel_273 + Speed_Right_Wheel_272 + Speed_Right_Wheel_271 + Speed_Right_Wheel_270 + Speed_Right_Wheel_269 + Speed_Right_Wheel_268 + Speed_Right_Wheel_267 + Speed_Right_Wheel_266 + Speed_Right_Wheel_265 + Speed_Right_Wheel_264 + Speed_Right_Wheel_263 + Speed_Right_Wheel_262 + Speed_Right_Wheel_261 + Speed_Right_Wheel_260 + Speed_Right_Wheel_259 + Speed_Right_Wheel_258 + Speed_Right_Wheel_257 + Speed_Right_Wheel_256 + Speed_Right_Wheel_255 + Speed_Right_Wheel_254 + Speed_Right_Wheel_253 + Speed_Right_Wheel_252 + Speed_Right_Wheel_251 + Speed_Right_Wheel_250 + Speed_Right_Wheel_249 + Speed_Right_Wheel_248 + Speed_Right_Wheel_247 + Speed_Right_Wheel_246 + Speed_Right_Wheel_245 + Speed_Right_Wheel_244 + Speed_Right_Wheel_243 + Speed_Right_Wheel_242 + Speed_Right_Wheel_241 + Speed_Right_Wheel_240 + Speed_Right_Wheel_239 + Speed_Right_Wheel_238 + Speed_Right_Wheel_237 + Speed_Right_Wheel_236 + Speed_Right_Wheel_235 + Speed_Right_Wheel_234 + Speed_Right_Wheel_233 + Speed_Right_Wheel_232 + Speed_Right_Wheel_231 + Speed_Right_Wheel_230 + Speed_Right_Wheel_229 + Speed_Right_Wheel_228 + Speed_Right_Wheel_227 + Speed_Right_Wheel_226 + Speed_Right_Wheel_225 + Speed_Right_Wheel_224 + Speed_Right_Wheel_223 + Speed_Right_Wheel_222 + Speed_Right_Wheel_221 + Speed_Right_Wheel_220 + Speed_Right_Wheel_219 + Speed_Right_Wheel_218 + Speed_Right_Wheel_217 + Speed_Right_Wheel_216 + Speed_Right_Wheel_215 + Speed_Right_Wheel_214 + Speed_Right_Wheel_213 + Speed_Right_Wheel_212 + Speed_Right_Wheel_211 + Speed_Right_Wheel_210 + Speed_Right_Wheel_209 + Speed_Right_Wheel_208 + Speed_Right_Wheel_207 + Speed_Right_Wheel_206 + Speed_Right_Wheel_205 + Speed_Right_Wheel_204 + Speed_Right_Wheel_203 + Speed_Right_Wheel_202 + Speed_Right_Wheel_201 + Speed_Right_Wheel_200 + Speed_Right_Wheel_199 + Speed_Right_Wheel_198 + Speed_Right_Wheel_197 + Speed_Right_Wheel_196 + Speed_Right_Wheel_195 + Speed_Right_Wheel_194 + Speed_Right_Wheel_193 + Speed_Right_Wheel_192 + Speed_Right_Wheel_191 + Speed_Right_Wheel_190 + Speed_Right_Wheel_189 + Speed_Right_Wheel_188 + Speed_Right_Wheel_187 + Speed_Right_Wheel_186 + Speed_Right_Wheel_185 + Speed_Right_Wheel_184 + Speed_Right_Wheel_183 + Speed_Right_Wheel_182 + Speed_Right_Wheel_181 + Speed_Right_Wheel_180 + Speed_Right_Wheel_179 + Speed_Right_Wheel_178 + Speed_Right_Wheel_177 + Speed_Right_Wheel_176 + Speed_Right_Wheel_175 + Speed_Right_Wheel_174 + Speed_Right_Wheel_173 + Speed_Right_Wheel_172 + Speed_Right_Wheel_171 + Speed_Right_Wheel_170 + Speed_Right_Wheel_169 + Speed_Right_Wheel_168 + Speed_Right_Wheel_167 + Speed_Right_Wheel_166 + Speed_Right_Wheel_165 + Speed_Right_Wheel_164 + Speed_Right_Wheel_163 + Speed_Right_Wheel_162 + Speed_Right_Wheel_161 + Speed_Right_Wheel_160 + Speed_Right_Wheel_159 + Speed_Right_Wheel_158 + Speed_Right_Wheel_157 + Speed_Right_Wheel_156 + Speed_Right_Wheel_155 + Speed_Right_Wheel_154 + Speed_Right_Wheel_153 + Speed_Right_Wheel_152 + Speed_Right_Wheel_151 + Speed_Right_Wheel_150 + Speed_Right_Wheel_149 + Speed_Right_Wheel_148 + Speed_Right_Wheel_147 + Speed_Right_Wheel_146 + Speed_Right_Wheel_145 + Speed_Right_Wheel_144 + Speed_Right_Wheel_143 + Speed_Right_Wheel_142 + Speed_Right_Wheel_141 + Speed_Right_Wheel_140 + Speed_Right_Wheel_139 + Speed_Right_Wheel_138 + Speed_Right_Wheel_137 + Speed_Right_Wheel_136 + Speed_Right_Wheel_135 + Speed_Right_Wheel_134 + Speed_Right_Wheel_133 + Speed_Right_Wheel_132 + Speed_Right_Wheel_131 + Speed_Right_Wheel_130 + Speed_Right_Wheel_129 + Speed_Right_Wheel_128 + Speed_Right_Wheel_127 + Speed_Right_Wheel_126 + Speed_Right_Wheel_125 + Speed_Right_Wheel_124 + Speed_Right_Wheel_123 + Speed_Right_Wheel_122 + Speed_Right_Wheel_121 + Speed_Right_Wheel_120 + Speed_Right_Wheel_119 + Speed_Right_Wheel_118 + Speed_Right_Wheel_117 + Speed_Right_Wheel_116 + Speed_Right_Wheel_115 + Speed_Right_Wheel_114 + Speed_Right_Wheel_113 + Speed_Right_Wheel_112 + Speed_Right_Wheel_111 + Speed_Right_Wheel_110 + Speed_Right_Wheel_109 + Speed_Right_Wheel_108 + Speed_Right_Wheel_107 + Speed_Right_Wheel_106 + Speed_Right_Wheel_105 + Speed_Right_Wheel_104 + Speed_Right_Wheel_103 + Speed_Right_Wheel_102 + Speed_Right_Wheel_101 + Speed_Right_Wheel_100))))) : A (((WeightPossibleVal_off + WeightPossibleVal_on <= TheAltitude_500 + TheAltitude_501 + TheAltitude_502 + TheAltitude_503 + TheAltitude_504 + TheAltitude_505 + TheAltitude_506 + TheAltitude_507 + TheAltitude_508 + TheAltitude_509 + TheAltitude_510 + TheAltitude_511 + TheAltitude_512 + TheAltitude_513 + TheAltitude_514 + TheAltitude_515 + TheAltitude_516 + TheAltitude_517 + TheAltitude_518 + TheAltitude_519 + TheAltitude_520 + TheAltitude_521 + TheAltitude_522 + TheAltitude_523 + TheAltitude_524 + TheAltitude_525 + TheAltitude_526 + TheAltitude_527 + TheAltitude_528 + TheAltitude_529 + TheAltitude_530 + TheAltitude_531 + TheAltitude_532 + TheAltitude_533 + TheAltitude_534 + TheAltitude_535 + TheAltitude_536 + TheAltitude_537 + TheAltitude_538 + TheAltitude_539 + TheAltitude_540 + TheAltitude_541 + TheAltitude_542 + TheAltitude_543 + TheAltitude_544 + TheAltitude_545 + TheAltitude_546 + TheAltitude_547 + TheAltitude_548 + TheAltitude_549 + TheAltitude_550 + TheAltitude_551 + TheAltitude_552 + TheAltitude_553 + TheAltitude_554 + TheAltitude_555 + TheAltitude_556 + TheAltitude_557 + TheAltitude_558 + TheAltitude_559 + TheAltitude_560 + TheAltitude_561 + TheAltitude_562 + TheAltitude_563 + TheAltitude_564 + TheAltitude_565 + TheAltitude_566 + TheAltitude_567 + TheAltitude_568 + TheAltitude_569 + TheAltitude_570 + TheAltitude_571 + TheAltitude_572 + TheAltitude_573 + TheAltitude_574 + TheAltitude_575 + TheAltitude_576 + TheAltitude_577 + TheAltitude_578 + TheAltitude_579 + TheAltitude_580 + TheAltitude_581 + TheAltitude_582 + TheAltitude_583 + TheAltitude_584 + TheAltitude_585 + TheAltitude_586 + TheAltitude_587 + TheAltitude_588 + TheAltitude_589 + TheAltitude_590 + TheAltitude_591 + TheAltitude_592 + TheAltitude_593 + TheAltitude_594 + TheAltitude_595 + TheAltitude_596 + TheAltitude_597 + TheAltitude_598 + TheAltitude_599 + TheAltitude_1000 + TheAltitude_499 + TheAltitude_498 + TheAltitude_497 + TheAltitude_496 + TheAltitude_495 + TheAltitude_494 + TheAltitude_493 + TheAltitude_492 + TheAltitude_491 + TheAltitude_600 + TheAltitude_601 + TheAltitude_602 + TheAltitude_603 + TheAltitude_604 + TheAltitude_605 + TheAltitude_606 + TheAltitude_607 + TheAltitude_608 + TheAltitude_609 + TheAltitude_610 + TheAltitude_611 + TheAltitude_612 + TheAltitude_613 + TheAltitude_614 + TheAltitude_615 + TheAltitude_616 + TheAltitude_617 + TheAltitude_618 + TheAltitude_619 + TheAltitude_620 + TheAltitude_621 + TheAltitude_622 + TheAltitude_623 + TheAltitude_624 + TheAltitude_625 + TheAltitude_626 + TheAltitude_627 + TheAltitude_628 + TheAltitude_629 + TheAltitude_630 + TheAltitude_631 + TheAltitude_632 + TheAltitude_633 + TheAltitude_634 + TheAltitude_635 + TheAltitude_636 + TheAltitude_637 + TheAltitude_638 + TheAltitude_639 + TheAltitude_640 + TheAltitude_641 + TheAltitude_642 + TheAltitude_643 + TheAltitude_644 + TheAltitude_645 + TheAltitude_646 + T
heAltitude_647 + TheAltitude_648 + TheAltitude_649 + TheAltitude_650 + TheAltitude_651 + TheAltitude_652 + TheAltitude_653 + TheAltitude_654 + TheAltitude_655 + TheAltitude_656 + TheAltitude_657 + TheAltitude_658 + TheAltitude_659 + TheAltitude_660 + TheAltitude_661 + TheAltitude_662 + TheAltitude_663 + TheAltitude_664 + TheAltitude_665 + TheAltitude_666 + TheAltitude_667 + TheAltitude_668 + TheAltitude_669 + TheAltitude_490 + TheAltitude_670 + TheAltitude_671 + TheAltitude_672 + TheAltitude_673 + TheAltitude_674 + TheAltitude_675 + TheAltitude_676 + TheAltitude_677 + TheAltitude_678 + TheAltitude_679 + TheAltitude_680 + TheAltitude_681 + TheAltitude_682 + TheAltitude_683 + TheAltitude_684 + TheAltitude_685 + TheAltitude_686 + TheAltitude_687 + TheAltitude_688 + TheAltitude_689 + TheAltitude_690 + TheAltitude_691 + TheAltitude_692 + TheAltitude_693 + TheAltitude_694 + TheAltitude_695 + TheAltitude_696 + TheAltitude_697 + TheAltitude_698 + TheAltitude_699 + TheAltitude_489 + TheAltitude_488 + TheAltitude_487 + TheAltitude_486 + TheAltitude_485 + TheAltitude_484 + TheAltitude_483 + TheAltitude_482 + TheAltitude_481 + TheAltitude_480 + TheAltitude_479 + TheAltitude_478 + TheAltitude_477 + TheAltitude_476 + TheAltitude_475 + TheAltitude_474 + TheAltitude_473 + TheAltitude_472 + TheAltitude_471 + TheAltitude_470 + TheAltitude_469 + TheAltitude_468 + TheAltitude_467 + TheAltitude_466 + TheAltitude_465 + TheAltitude_464 + TheAltitude_463 + TheAltitude_462 + TheAltitude_461 + TheAltitude_460 + TheAltitude_459 + TheAltitude_458 + TheAltitude_457 + TheAltitude_456 + TheAltitude_455 + TheAltitude_454 + TheAltitude_453 + TheAltitude_452 + TheAltitude_451 + TheAltitude_450 + TheAltitude_449 + TheAltitude_448 + TheAltitude_447 + TheAltitude_446 + TheAltitude_445 + TheAltitude_444 + TheAltitude_443 + TheAltitude_442 + TheAltitude_441 + TheAltitude_440 + TheAltitude_439 + TheAltitude_438 + TheAltitude_437 + TheAltitude_436 + TheAltitude_435 + TheAltitude_434 + TheAltitude_433 + TheAltitude_432 + TheAltitude_431 + TheAltitude_430 + TheAltitude_429 + TheAltitude_428 + TheAltitude_427 + TheAltitude_426 + TheAltitude_425 + TheAltitude_424 + TheAltitude_423 + TheAltitude_422 + TheAltitude_421 + TheAltitude_420 + TheAltitude_419 + TheAltitude_418 + TheAltitude_417 + TheAltitude_416 + TheAltitude_415 + TheAltitude_414 + TheAltitude_413 + TheAltitude_412 + TheAltitude_411 + TheAltitude_410 + TheAltitude_409 + TheAltitude_408 + TheAltitude_407 + TheAltitude_406 + TheAltitude_405 + TheAltitude_404 + TheAltitude_403 + TheAltitude_402 + TheAltitude_401 + TheAltitude_400 + TheAltitude_399 + TheAltitude_398 + TheAltitude_397 + TheAltitude_396 + TheAltitude_395 + TheAltitude_394 + TheAltitude_700 + TheAltitude_701 + TheAltitude_702 + TheAltitude_703 + TheAltitude_704 + TheAltitude_705 + TheAltitude_706 + TheAltitude_707 + TheAltitude_708 + TheAltitude_709 + TheAltitude_710 + TheAltitude_711 + TheAltitude_712 + TheAltitude_713 + TheAltitude_714 + TheAltitude_715 + TheAltitude_716 + TheAltitude_717 + TheAltitude_718 + TheAltitude_719 + TheAltitude_720 + TheAltitude_721 + TheAltitude_722 + TheAltitude_723 + TheAltitude_724 + TheAltitude_725 + TheAltitude_726 + TheAltitude_727 + TheAltitude_728 + TheAltitude_729 + TheAltitude_730 + TheAltitude_731 + TheAltitude_732 + TheAltitude_733 + TheAltitude_734 + TheAltitude_735 + TheAltitude_736 + TheAltitude_737 + TheAltitude_738 + TheAltitude_739 + TheAltitude_740 + TheAltitude_741 + TheAltitude_742 + TheAltitude_743 + TheAltitude_744 + TheAltitude_745 + TheAltitude_746 + TheAltitude_747 + TheAltitude_748 + TheAltitude_749 + TheAltitude_750 + TheAltitude_751 + TheAltitude_752 + TheAltitude_753 + TheAltitude_754 + TheAltitude_755 + TheAltitude_756 + TheAltitude_757 + TheAltitude_758 + TheAltitude_759 + TheAltitude_760 + TheAltitude_761 + TheAltitude_762 + TheAltitude_763 + TheAltitude_764 + TheAltitude_765 + TheAltitude_766 + TheAltitude_767 + TheAltitude_768 + TheAltitude_769 + TheAltitude_770 + TheAltitude_771 + TheAltitude_772 + TheAltitude_773 + TheAltitude_774 + TheAltitude_775 + TheAltitude_776 + TheAltitude_777 + TheAltitude_778 + TheAltitude_779 + TheAltitude_780 + TheAltitude_781 + TheAltitude_782 + TheAltitude_783 + TheAltitude_784 + TheAltitude_785 + TheAltitude_786 + TheAltitude_787 + TheAltitude_788 + TheAltitude_789 + TheAltitude_790 + TheAltitude_791 + TheAltitude_792 + TheAltitude_793 + TheAltitude_794 + TheAltitude_795 + TheAltitude_796 + TheAltitude_797 + TheAltitude_798 + TheAltitude_799 + TheAltitude_10 + TheAltitude_11 + TheAltitude_12 + TheAltitude_13 + TheAltitude_14 + TheAltitude_15 + TheAltitude_16 + TheAltitude_17 + TheAltitude_18 + TheAltitude_19 + TheAltitude_20 + TheAltitude_21 + TheAltitude_22 + TheAltitude_23 + TheAltitude_24 + TheAltitude_25 + TheAltitude_26 + TheAltitude_27 + TheAltitude_28 + TheAltitude_29 + TheAltitude_30 + TheAltitude_31 + TheAltitude_32 + TheAltitude_33 + TheAltitude_34 + TheAltitude_35 + TheAltitude_36 + TheAltitude_37 + TheAltitude_38 + TheAltitude_39 + TheAltitude_40 + TheAltitude_41 + TheAltitude_42 + TheAltitude_43 + TheAltitude_44 + TheAltitude_45 + TheAltitude_46 + TheAltitude_47 + TheAltitude_48 + TheAltitude_49 + TheAltitude_50 + TheAltitude_51 + TheAltitude_52 + TheAltitude_53 + TheAltitude_54 + TheAltitude_55 + TheAltitude_56 + TheAltitude_57 + TheAltitude_58 + TheAltitude_59 + TheAltitude_60 + TheAltitude_61 + TheAltitude_62 + TheAltitude_63 + TheAltitude_64 + TheAltitude_65 + TheAltitude_66 + TheAltitude_67 + TheAltitude_68 + TheAltitude_69 + TheAltitude_70 + TheAltitude_71 + TheAltitude_72 + TheAltitude_73 + TheAltitude_74 + TheAltitude_75 + TheAltitude_76 + TheAltitude_77 + TheAltitude_78 + TheAltitude_79 + TheAltitude_80 + TheAltitude_81 + TheAltitude_82 + TheAltitude_83 + TheAltitude_84 + TheAltitude_85 + TheAltitude_86 + TheAltitude_87 + TheAltitude_88 + TheAltitude_89 + TheAltitude_90 + TheAltitude_91 + TheAltitude_92 + TheAltitude_93 + TheAltitude_94 + TheAltitude_95 + TheAltitude_96 + TheAltitude_97 + TheAltitude_98 + TheAltitude_99 + TheAltitude_393 + TheAltitude_392 + TheAltitude_391 + TheAltitude_390 + TheAltitude_389 + TheAltitude_388 + TheAltitude_387 + TheAltitude_386 + TheAltitude_385 + TheAltitude_384 + TheAltitude_383 + TheAltitude_382 + TheAltitude_381 + TheAltitude_380 + TheAltitude_379 + TheAltitude_378 + TheAltitude_377 + TheAltitude_376 + TheAltitude_375 + TheAltitude_374 + TheAltitude_373 + TheAltitude_372 + TheAltitude_371 + TheAltitude_370 + TheAltitude_369 + TheAltitude_368 + TheAltitude_367 + TheAltitude_366 + TheAltitude_365 + TheAltitude_364 + TheAltitude_363 + TheAltitude_362 + TheAltitude_361 + TheAltitude_360 + TheAltitude_359 + TheAltitude_358 + TheAltitude_357 + TheAltitude_356 + TheAltitude_355 + TheAltitude_354 + TheAltitude_353 + TheAltitude_352 + TheAltitude_351 + TheAltitude_350 + TheAltitude_349 + TheAltitude_348 + TheAltitude_347 + TheAltitude_346 + TheAltitude_345 + TheAltitude_344 + TheAltitude_343 + TheAltitude_342 + TheAltitude_341 + TheAltitude_340 + TheAltitude_339 + TheAltitude_338 + TheAltitude_337 + TheAltitude_336 + TheAltitude_335 + TheAltitude_334 + TheAltitude_333 + TheAltitude_332 + TheAltitude_331 + TheAltitude_330 + TheAltitude_329 + TheAltitude_328 + TheAltitude_327 + TheAltitude_326 + TheAltitude_325 + TheAltitude_324 + TheAltitude_323 + TheAltitude_322 + TheAltitude_321 + TheAltitude_320 + TheAltitude_319 + TheAltitude_318 + TheAltitude_317 + TheAltitude_316 + TheAltitude_315 + TheAltitude_314 + TheAltitude_313 + TheAltitude_312 + TheAltitude_311 + TheAltitude_310 + TheAltitude_309 + TheAltitude_308 + TheAltitude_307 + TheAltitude_306 + TheAltitude_305 + TheAltitude_304 + TheAltitude_303 + TheAltitude_302 + TheAltitude_301 + TheAltitude_300 + TheAltitude_800 + TheAltitude_801 + TheAltitude_802 + TheAltitude_803 + TheAltitude_804 + TheAltitude_805 + TheAltitude_806 + TheAltitude_807 + TheAltitude_808 + TheAltitude_809 + TheAltitude_810 + TheAltitude_811 + TheAltitude_812 + TheAltitude_813 + TheAltitude_814 + TheAltitude_815 + TheAltitude_816 + TheAltitude_817 + TheAltitude_818 + TheAltitude_819 + TheAltitude_820 + TheAltitude_821 + TheAltitude_822 + TheAltitude_823 + TheAltitude_824 + TheAltitude_825 + TheAltitude_826 + TheAltitude_827 + TheAltitude_828 + TheAltitude_829 + TheAltitude_830 + TheAltitude_831 + TheAltitude_832 + TheAltitude_833 + TheAltitude_834 + TheAltitude_835 + TheAltitude_836 + TheAltitude_837 + TheAltitude_838 + TheAltitude_839 + TheAltitude_840 + TheAltitude_841 + TheAltitude_842 + TheAltitude_843 + TheAltitude_844 + TheAltitude_845 + TheAltitude_846 + TheAltitude_847 + TheAltitude_848 + TheAltitude_849 + TheAltitude_850 + TheAltitude_851 + TheAltitude_852 + TheAltitude_853 + TheAltitude_854 + TheAltitude_855 + TheAltitude_856 + TheAltitude_857 + TheAltitude_858 + TheAltitude_859 + TheAltitude_860 + TheAltitude_861 + TheAltitude_862 + TheAltitude_863 + TheAltitude_864 + TheAltitude_865 + TheAltitude_866 + TheAltitude_867 + TheAltitude_868 + TheAltitude_869 + TheAltitude_870 + TheAltitude_871 + TheAltitude_872 + TheAltitude_873 + TheAltitude_874 + TheAltitude_875 + TheAltitude_876 + TheAltitude_877 + TheAltitude_878 + TheAltitude_879 + TheAltitude_880 + TheAltitude_881 + TheAltitude_882 + TheAltitude_883 + TheAltitude_884 + TheAltitude_885 + TheAltitude_886 + TheAltitude_887 + TheAltitude_888 + TheAltitude_889 + TheAltitude_890 + TheAltitude_891 + TheAltitude_892 + TheAltitude_893 + TheAltitude_894 + TheAltitude_895 + TheAltitude_896 + TheAltitude_897 + TheAltitude_898 + TheAltitude_899 + TheAltitude_299 + TheAltitude_298 + TheAltitude_297 + TheAltitude_296 + TheAltitude_295 + TheAltitude_900 + TheAltitude_901 + TheAltitude_902 + TheAltitude_903 + TheAltitude_904 + TheAltitude_905 + TheAltitude_906 + TheAltitude_907 + TheAltitude_908 + TheAltitude_909 + TheAltitude_910 + TheAltitude_911 + TheAltitude_912 + TheAltitude_913 + TheAltitude_914 + TheAltitude_915 + TheAltitude_916 + TheAltitude_917 + TheAltitude_918 + TheAltitude_919 + TheAltitude_920 + TheAltitude_921 + TheAltitude_922 + TheAltitude_923 + TheAltitude_924 + TheAltitude_925 + TheAltitude_926 + TheAltitude_927 + TheAltitude_928 + TheAltitude_929 + TheAltitude_930 + TheAltitude_931 + TheAltitude_932 + TheAltitude_933 + TheAltitude_934 + TheAltitude_935 + TheAltitude_936 + TheAltitude_937 + TheAltitude_938 + TheAltitude_939 + TheAltitude_940 + TheAltitude_941 + TheAltitude_942 + TheAltitude_943 + TheAltitude_944 + TheAltitude_945 + TheAltitude_946 + TheAltitude_947 + TheAltitude_948 + TheAltitude_949 + TheAltitude_950 + TheAltitude_951 + TheAltitude_952 + TheAltitude_953 + TheAltitude_954 + TheAltitude_955 + TheAltitude_956 + TheAltitude_957 + TheAltitude_958 + TheAltitude_959 + TheAltitude_960 + TheAltitude_961 + TheAltitude_962 + TheAltitude_963 + TheAltitude_964 + TheAltitude_965 + TheAltitude_966 + TheAltitude_967 + TheAltitude_968 + TheAltitude_969 + TheAltitude_970 + TheAltitude_971 + TheAltitude_972 + TheAltitude_973 + TheAltitude_974 + TheAltitude_975 + TheAltitude_976 + TheAltitude_977 + TheAltitude_978 + TheAltitude_979 + TheAltitude_980 + TheAltitude_981 + TheAltitude_982 + TheAltitude_983 + TheAltitude_984 + TheAltitude_985 + TheAltitude_986 + TheAltitude_987 + TheAltitude_988 + TheAltitude_989 + TheAltitude_990 + TheAltitude_991 + TheAltitude_992 + TheAltitude_993 + TheAltitude_994 + TheAltitude_995 + TheAltitude_996 + TheAltitude_997 + TheAltitude_998 + TheAltitude_999 + TheAltitude_1 + TheAltitude_2 + TheAltitude_3 + TheAltitude_4 + TheAltitude_5 + TheAltitude_6 + TheAltitude_7 + TheAltitude_8 + TheAltitude_9 + TheAltitude_294 + TheAltitude_293 + TheAltitude_292 + TheAltitude_291 + TheAltitude_290 + TheAltitude_289 + TheAltitude_288 + TheAltitude_287 + TheAltitude_286 + TheAltitude_285 + TheAltitude_284 + TheAltitude_283 + TheAltitude_282 + TheAltitude_281 + TheAltitude_280 + TheAltitude_279 + TheAltitude_278 + TheAltitude_277 + TheAltitude_276 + TheAltitude_275 + TheAltitude_274 + TheAltitude_273 + TheAltitude_272 + TheAltitude_271 + TheAltitude_270 + TheAltitude_269 + TheAltitude_268 + TheAltitude_267 + TheAltitude_266 + TheAltitude_265 + TheAltitude_264 + TheAltitude_263 + TheAltitude_262 + TheAltitude_261 + TheAltitude_260 + TheAltitude_259 + TheAltitude_258 + TheAltitude_257 + TheAltitude_256 + TheAltitude_255 + TheAltitude_254 + TheAltitude_253 + TheAltitude_252 + TheAltitude_251 + TheAltitude_250 + TheAltitude_249 + TheAltitude_248 + TheAltitude_247 + TheAltitude_246 + TheAltitude_245 + TheAltitude_244 + TheAltitude_243 + TheAltitude_242 + TheAltitude_241 + TheAltitude_240 + TheAltitude_239 + TheAltitude_238 + TheAltitude_237 + TheAltitude_236 + TheAltitude_235 + TheAltitude_234 + TheAltitude_233 + TheAltitude_232 + TheAltitude_231 + TheAltitude_230 + TheAltitude_229 + TheAltitude_228 + TheAltitude_227 + TheAltitude_226 + TheAltitude_225 + TheAltitude_224 + TheAltitude_223 + TheAltitude_222 + TheAltitude_221 + TheAltitude_220 + TheAltitude_219 + TheAltitude_218 + TheAltitude_217 + TheAltitude_216 + TheAltitude_215 + TheAltitude_214 + TheAltitude_213 + TheAltitude_212 + TheAltitude_211 + TheAltitude_210 + TheAltitude_209 + TheAltitude_208 + TheAltitude_207 + TheAltitude_206 + TheAltitude_205 + TheAltitude_204 + TheAltitude_203 + TheAltitude_202 + TheAltitude_201 + TheAltitude_200 + TheAltitude_199 + TheAltitude_198 + TheAltitude_197 + TheAltitude_196 + TheAltitude_195 + TheAltitude_194 + TheAltitude_193 + TheAltitude_192 + TheAltitude_191 + TheAltitude_190 + TheAltitude_189 + TheAltitude_188 + TheAltitude_187 + TheAltitude_186 + TheAltitude_185 + TheAltitude_184 + TheAltitude_183 + TheAltitude_182 + TheAltitude_181 + TheAltitude_180 + TheAltitude_179 + TheAltitude_178 + TheAltitude_177 + TheAltitude_176 + TheAltitude_175 + TheAltitude_174 + TheAltitude_173 + TheAltitude_172 + TheAltitude_171 + TheAltitude_170 + TheAltitude_169 + TheAltitude_168 + TheAltitude_167 + TheAltitude_166 + TheAltitude_165 + TheAltitude_164 + TheAltitude_163 + TheAltitude_162 + TheAltitude_161 + TheAltitude_160 + TheAltitude_159 + TheAltitude_158 + TheAltitude_157 + TheAltitude_156 + TheAltitude_155 + TheAltitude_154 + TheAltitude_153 + TheAltitude_152 + TheAltitude_151 + TheAltitude_150 + TheAltitude_149 + TheAltitude_148 + TheAltitude_147 + TheAltitude_146 + TheAltitude_145 + TheAltitude_144 + TheAltitude_143 + TheAltitude_142 + TheAltitude_141 + TheAltitude_140 + TheAltitude_139 + TheAltitude_138 + TheAltitude_137 + TheAltitude_136 + TheAltitude_135 + TheAltitude_134 + TheAltitude_133 + TheAltitude_132 + TheAltitude_131 + TheAltitude_130 + TheAltitude_129 + TheAltitude_128 + TheAltitude_127 + TheAltitude_126 + TheAltitude_125 + TheAltitude_124 + TheAltitude_123 + TheAltitude_122 + TheAltitude_121 + TheAltitude_120 + TheAltitude_119 + TheAltitude_118 + TheAltitude_117 + TheAltitude_116 + TheAltitude_115 + TheAltitude_114 + TheAltitude_113 + TheAltitude_112 + TheAltitude_111 + TheAltitude_110 + TheAltitude_109 + TheAltitude_108 + TheAltitude_107 + TheAltitude_106 + TheAltitude_105 + TheAltitude_104 + TheAltitude_103 + TheAltitude_102 + TheAltitude_101 + TheAltitude_100) U ((Speed_Left_Wheel_10 + Speed_Left_Wheel_11 + Speed_Left_Wheel_12 + Speed_Left_Wheel_13 + Speed_Left_Wheel_14 + Speed_Left_Wheel_15 + Speed_Left_Wheel_16 + Speed_Left_Wheel_17 + Speed_Left_Wheel_18 + Speed_Left_Wheel_19 + Speed_Left_Wheel_20 + Speed_Left_Wheel_21 + Speed_Left_Wheel_22 + Speed_Left_Wheel_23 + Speed_Left_Wheel_24 + Speed_Left_Wheel_25 + Speed_Left_Wheel_26 + Speed_Left_Wheel_27 + Speed_Left_Wheel_28 + Speed_Left_Wheel_29 + Speed_Left_Wheel_30 + Speed_Left_Wheel_31 + Speed_Left_Wheel_32 + Speed_Left_Wheel_33 + Speed_Left_Wheel_34 + Speed_Left_Wheel_35 + Speed_Left_Wheel_36 + Speed_Left_Wheel_37 + Speed_Left_Wheel_38 + Speed_Left_Wheel_39 + Speed_Left_Wheel_40 + Speed_Left_Wheel_41 + Speed_Left_Wheel_42 + Speed_Left_Wheel_43 + Speed_Left_Wheel_44 + Speed_Left_Wheel_45 + Speed_Left_Wheel_46 + Speed_Left_Wheel_47 + Speed_Left_Wheel_48 + Speed_Left_Wheel_49 + Speed_Left_Wheel_50 + Speed_Left_Wheel_51 + Speed_Left_Wheel_52 + Speed_Left_Wheel_53 + Speed_Left_Wheel_54 + Speed_Left_Wheel_55 + Speed_Left_Wheel_56 + Speed_Left_Wheel_57 + Speed_Left_Wheel_58 + Speed_Left_Wheel_59 + Speed_Left_Wheel_60 + Speed_Left_Wheel_61 + Speed_Left_Wheel_62 + Speed_Left_Wheel_63 + Speed_Left_Wheel_64 + Speed_Left_Wheel_65 + Speed_Left_Wheel_66 + Speed_Left_Wheel_67 + Speed_Left_Wheel_68 + Speed_Left_Wheel_6
9 + Speed_Left_Wheel_70 + Speed_Left_Wheel_71 + Speed_Left_Wheel_72 + Speed_Left_Wheel_73 + Speed_Left_Wheel_74 + Speed_Left_Wheel_75 + Speed_Left_Wheel_76 + Speed_Left_Wheel_77 + Speed_Left_Wheel_78 + Speed_Left_Wheel_79 + Speed_Left_Wheel_80 + Speed_Left_Wheel_81 + Speed_Left_Wheel_82 + Speed_Left_Wheel_83 + Speed_Left_Wheel_84 + Speed_Left_Wheel_85 + Speed_Left_Wheel_86 + Speed_Left_Wheel_87 + Speed_Left_Wheel_88 + Speed_Left_Wheel_89 + Speed_Left_Wheel_90 + Speed_Left_Wheel_91 + Speed_Left_Wheel_92 + Speed_Left_Wheel_93 + Speed_Left_Wheel_94 + Speed_Left_Wheel_95 + Speed_Left_Wheel_96 + Speed_Left_Wheel_97 + Speed_Left_Wheel_98 + Speed_Left_Wheel_99 + Speed_Left_Wheel_100 + Speed_Left_Wheel_101 + Speed_Left_Wheel_102 + Speed_Left_Wheel_103 + Speed_Left_Wheel_104 + Speed_Left_Wheel_105 + Speed_Left_Wheel_106 + Speed_Left_Wheel_107 + Speed_Left_Wheel_108 + Speed_Left_Wheel_109 + Speed_Left_Wheel_110 + Speed_Left_Wheel_111 + Speed_Left_Wheel_112 + Speed_Left_Wheel_113 + Speed_Left_Wheel_114 + Speed_Left_Wheel_115 + Speed_Left_Wheel_116 + Speed_Left_Wheel_117 + Speed_Left_Wheel_118 + Speed_Left_Wheel_119 + Speed_Left_Wheel_120 + Speed_Left_Wheel_121 + Speed_Left_Wheel_122 + Speed_Left_Wheel_123 + Speed_Left_Wheel_124 + Speed_Left_Wheel_125 + Speed_Left_Wheel_126 + Speed_Left_Wheel_127 + Speed_Left_Wheel_128 + Speed_Left_Wheel_129 + Speed_Left_Wheel_130 + Speed_Left_Wheel_131 + Speed_Left_Wheel_132 + Speed_Left_Wheel_133 + Speed_Left_Wheel_134 + Speed_Left_Wheel_135 + Speed_Left_Wheel_136 + Speed_Left_Wheel_137 + Speed_Left_Wheel_138 + Speed_Left_Wheel_139 + Speed_Left_Wheel_140 + Speed_Left_Wheel_141 + Speed_Left_Wheel_142 + Speed_Left_Wheel_143 + Speed_Left_Wheel_144 + Speed_Left_Wheel_145 + Speed_Left_Wheel_146 + Speed_Left_Wheel_147 + Speed_Left_Wheel_148 + Speed_Left_Wheel_149 + Speed_Left_Wheel_150 + Speed_Left_Wheel_151 + Speed_Left_Wheel_152 + Speed_Left_Wheel_153 + Speed_Left_Wheel_154 + Speed_Left_Wheel_155 + Speed_Left_Wheel_156 + Speed_Left_Wheel_157 + Speed_Left_Wheel_158 + Speed_Left_Wheel_159 + Speed_Left_Wheel_160 + Speed_Left_Wheel_161 + Speed_Left_Wheel_162 + Speed_Left_Wheel_163 + Speed_Left_Wheel_164 + Speed_Left_Wheel_165 + Speed_Left_Wheel_166 + Speed_Left_Wheel_167 + Speed_Left_Wheel_168 + Speed_Left_Wheel_169 + Speed_Left_Wheel_170 + Speed_Left_Wheel_171 + Speed_Left_Wheel_172 + Speed_Left_Wheel_173 + Speed_Left_Wheel_174 + Speed_Left_Wheel_175 + Speed_Left_Wheel_176 + Speed_Left_Wheel_177 + Speed_Left_Wheel_178 + Speed_Left_Wheel_179 + Speed_Left_Wheel_180 + Speed_Left_Wheel_181 + Speed_Left_Wheel_182 + Speed_Left_Wheel_183 + Speed_Left_Wheel_184 + Speed_Left_Wheel_185 + Speed_Left_Wheel_186 + Speed_Left_Wheel_187 + Speed_Left_Wheel_188 + Speed_Left_Wheel_189 + Speed_Left_Wheel_190 + Speed_Left_Wheel_191 + Speed_Left_Wheel_192 + Speed_Left_Wheel_193 + Speed_Left_Wheel_194 + Speed_Left_Wheel_195 + Speed_Left_Wheel_196 + Speed_Left_Wheel_197 + Speed_Left_Wheel_198 + Speed_Left_Wheel_199 + Speed_Left_Wheel_200 + Speed_Left_Wheel_201 + Speed_Left_Wheel_202 + Speed_Left_Wheel_203 + Speed_Left_Wheel_204 + Speed_Left_Wheel_205 + Speed_Left_Wheel_206 + Speed_Left_Wheel_207 + Speed_Left_Wheel_208 + Speed_Left_Wheel_209 + Speed_Left_Wheel_210 + Speed_Left_Wheel_211 + Speed_Left_Wheel_212 + Speed_Left_Wheel_213 + Speed_Left_Wheel_214 + Speed_Left_Wheel_215 + Speed_Left_Wheel_216 + Speed_Left_Wheel_217 + Speed_Left_Wheel_218 + Speed_Left_Wheel_219 + Speed_Left_Wheel_220 + Speed_Left_Wheel_221 + Speed_Left_Wheel_222 + Speed_Left_Wheel_223 + Speed_Left_Wheel_224 + Speed_Left_Wheel_225 + Speed_Left_Wheel_226 + Speed_Left_Wheel_227 + Speed_Left_Wheel_228 + Speed_Left_Wheel_229 + Speed_Left_Wheel_230 + Speed_Left_Wheel_231 + Speed_Left_Wheel_232 + Speed_Left_Wheel_233 + Speed_Left_Wheel_234 + Speed_Left_Wheel_235 + Speed_Left_Wheel_236 + Speed_Left_Wheel_237 + Speed_Left_Wheel_238 + Speed_Left_Wheel_239 + Speed_Left_Wheel_240 + Speed_Left_Wheel_241 + Speed_Left_Wheel_242 + Speed_Left_Wheel_243 + Speed_Left_Wheel_244 + Speed_Left_Wheel_245 + Speed_Left_Wheel_246 + Speed_Left_Wheel_247 + Speed_Left_Wheel_248 + Speed_Left_Wheel_249 + Speed_Left_Wheel_250 + Speed_Left_Wheel_251 + Speed_Left_Wheel_252 + Speed_Left_Wheel_253 + Speed_Left_Wheel_254 + Speed_Left_Wheel_255 + Speed_Left_Wheel_256 + Speed_Left_Wheel_257 + Speed_Left_Wheel_258 + Speed_Left_Wheel_259 + Speed_Left_Wheel_260 + Speed_Left_Wheel_261 + Speed_Left_Wheel_262 + Speed_Left_Wheel_263 + Speed_Left_Wheel_264 + Speed_Left_Wheel_265 + Speed_Left_Wheel_266 + Speed_Left_Wheel_267 + Speed_Left_Wheel_268 + Speed_Left_Wheel_269 + Speed_Left_Wheel_270 + Speed_Left_Wheel_271 + Speed_Left_Wheel_272 + Speed_Left_Wheel_273 + Speed_Left_Wheel_274 + Speed_Left_Wheel_275 + Speed_Left_Wheel_276 + Speed_Left_Wheel_277 + Speed_Left_Wheel_278 + Speed_Left_Wheel_279 + Speed_Left_Wheel_280 + Speed_Left_Wheel_281 + Speed_Left_Wheel_282 + Speed_Left_Wheel_283 + Speed_Left_Wheel_284 + Speed_Left_Wheel_285 + Speed_Left_Wheel_286 + Speed_Left_Wheel_287 + Speed_Left_Wheel_288 + Speed_Left_Wheel_289 + Speed_Left_Wheel_290 + Speed_Left_Wheel_291 + Speed_Left_Wheel_292 + Speed_Left_Wheel_293 + Speed_Left_Wheel_294 + Speed_Left_Wheel_295 + Speed_Left_Wheel_296 + Speed_Left_Wheel_297 + Speed_Left_Wheel_298 + Speed_Left_Wheel_299 + Speed_Left_Wheel_300 + Speed_Left_Wheel_301 + Speed_Left_Wheel_302 + Speed_Left_Wheel_303 + Speed_Left_Wheel_304 + Speed_Left_Wheel_305 + Speed_Left_Wheel_306 + Speed_Left_Wheel_307 + Speed_Left_Wheel_308 + Speed_Left_Wheel_309 + Speed_Left_Wheel_310 + Speed_Left_Wheel_311 + Speed_Left_Wheel_312 + Speed_Left_Wheel_313 + Speed_Left_Wheel_314 + Speed_Left_Wheel_315 + Speed_Left_Wheel_316 + Speed_Left_Wheel_317 + Speed_Left_Wheel_318 + Speed_Left_Wheel_319 + Speed_Left_Wheel_320 + Speed_Left_Wheel_321 + Speed_Left_Wheel_322 + Speed_Left_Wheel_323 + Speed_Left_Wheel_324 + Speed_Left_Wheel_325 + Speed_Left_Wheel_326 + Speed_Left_Wheel_327 + Speed_Left_Wheel_328 + Speed_Left_Wheel_329 + Speed_Left_Wheel_330 + Speed_Left_Wheel_331 + Speed_Left_Wheel_332 + Speed_Left_Wheel_333 + Speed_Left_Wheel_334 + Speed_Left_Wheel_335 + Speed_Left_Wheel_336 + Speed_Left_Wheel_337 + Speed_Left_Wheel_338 + Speed_Left_Wheel_339 + Speed_Left_Wheel_340 + Speed_Left_Wheel_341 + Speed_Left_Wheel_342 + Speed_Left_Wheel_343 + Speed_Left_Wheel_344 + Speed_Left_Wheel_345 + Speed_Left_Wheel_346 + Speed_Left_Wheel_347 + Speed_Left_Wheel_348 + Speed_Left_Wheel_349 + Speed_Left_Wheel_350 + Speed_Left_Wheel_351 + Speed_Left_Wheel_352 + Speed_Left_Wheel_353 + Speed_Left_Wheel_354 + Speed_Left_Wheel_355 + Speed_Left_Wheel_356 + Speed_Left_Wheel_357 + Speed_Left_Wheel_358 + Speed_Left_Wheel_359 + Speed_Left_Wheel_360 + Speed_Left_Wheel_361 + Speed_Left_Wheel_362 + Speed_Left_Wheel_363 + Speed_Left_Wheel_364 + Speed_Left_Wheel_365 + Speed_Left_Wheel_366 + Speed_Left_Wheel_367 + Speed_Left_Wheel_368 + Speed_Left_Wheel_369 + Speed_Left_Wheel_370 + Speed_Left_Wheel_371 + Speed_Left_Wheel_372 + Speed_Left_Wheel_373 + Speed_Left_Wheel_374 + Speed_Left_Wheel_375 + Speed_Left_Wheel_376 + Speed_Left_Wheel_377 + Speed_Left_Wheel_378 + Speed_Left_Wheel_379 + Speed_Left_Wheel_380 + Speed_Left_Wheel_381 + Speed_Left_Wheel_382 + Speed_Left_Wheel_383 + Speed_Left_Wheel_384 + Speed_Left_Wheel_385 + Speed_Left_Wheel_386 + Speed_Left_Wheel_387 + Speed_Left_Wheel_388 + Speed_Left_Wheel_389 + Speed_Left_Wheel_390 + Speed_Left_Wheel_391 + Speed_Left_Wheel_392 + Speed_Left_Wheel_393 + Speed_Left_Wheel_394 + Speed_Left_Wheel_395 + Speed_Left_Wheel_396 + Speed_Left_Wheel_397 + Speed_Left_Wheel_398 + Speed_Left_Wheel_399 + Speed_Left_Wheel_400 + Speed_Left_Wheel_401 + Speed_Left_Wheel_402 + Speed_Left_Wheel_403 + Speed_Left_Wheel_404 + Speed_Left_Wheel_405 + Speed_Left_Wheel_406 + Speed_Left_Wheel_407 + Speed_Left_Wheel_408 + Speed_Left_Wheel_409 + Speed_Left_Wheel_410 + Speed_Left_Wheel_411 + Speed_Left_Wheel_412 + Speed_Left_Wheel_413 + Speed_Left_Wheel_414 + Speed_Left_Wheel_415 + Speed_Left_Wheel_416 + Speed_Left_Wheel_417 + Speed_Left_Wheel_418 + Speed_Left_Wheel_419 + Speed_Left_Wheel_420 + Speed_Left_Wheel_421 + Speed_Left_Wheel_422 + Speed_Left_Wheel_423 + Speed_Left_Wheel_424 + Speed_Left_Wheel_425 + Speed_Left_Wheel_426 + Speed_Left_Wheel_427 + Speed_Left_Wheel_428 + Speed_Left_Wheel_429 + Speed_Left_Wheel_430 + Speed_Left_Wheel_431 + Speed_Left_Wheel_432 + Speed_Left_Wheel_433 + Speed_Left_Wheel_434 + Speed_Left_Wheel_435 + Speed_Left_Wheel_436 + Speed_Left_Wheel_437 + Speed_Left_Wheel_438 + Speed_Left_Wheel_439 + Speed_Left_Wheel_440 + Speed_Left_Wheel_441 + Speed_Left_Wheel_442 + Speed_Left_Wheel_443 + Speed_Left_Wheel_444 + Speed_Left_Wheel_445 + Speed_Left_Wheel_446 + Speed_Left_Wheel_447 + Speed_Left_Wheel_448 + Speed_Left_Wheel_449 + Speed_Left_Wheel_450 + Speed_Left_Wheel_451 + Speed_Left_Wheel_452 + Speed_Left_Wheel_453 + Speed_Left_Wheel_454 + Speed_Left_Wheel_455 + Speed_Left_Wheel_456 + Speed_Left_Wheel_457 + Speed_Left_Wheel_458 + Speed_Left_Wheel_459 + Speed_Left_Wheel_460 + Speed_Left_Wheel_461 + Speed_Left_Wheel_462 + Speed_Left_Wheel_463 + Speed_Left_Wheel_464 + Speed_Left_Wheel_465 + Speed_Left_Wheel_466 + Speed_Left_Wheel_467 + Speed_Left_Wheel_468 + Speed_Left_Wheel_469 + Speed_Left_Wheel_470 + Speed_Left_Wheel_471 + Speed_Left_Wheel_472 + Speed_Left_Wheel_473 + Speed_Left_Wheel_474 + Speed_Left_Wheel_475 + Speed_Left_Wheel_476 + Speed_Left_Wheel_477 + Speed_Left_Wheel_478 + Speed_Left_Wheel_479 + Speed_Left_Wheel_480 + Speed_Left_Wheel_481 + Speed_Left_Wheel_482 + Speed_Left_Wheel_483 + Speed_Left_Wheel_484 + Speed_Left_Wheel_485 + Speed_Left_Wheel_486 + Speed_Left_Wheel_487 + Speed_Left_Wheel_488 + Speed_Left_Wheel_489 + Speed_Left_Wheel_490 + Speed_Left_Wheel_491 + Speed_Left_Wheel_492 + Speed_Left_Wheel_493 + Speed_Left_Wheel_494 + Speed_Left_Wheel_495 + Speed_Left_Wheel_496 + Speed_Left_Wheel_497 + Speed_Left_Wheel_498 + Speed_Left_Wheel_499 + Speed_Left_Wheel_500 + Speed_Left_Wheel_9 + Speed_Left_Wheel_8 + Speed_Left_Wheel_7 + Speed_Left_Wheel_6 + Speed_Left_Wheel_5 + Speed_Left_Wheel_4 + Speed_Left_Wheel_3 + Speed_Left_Wheel_2 + Speed_Left_Wheel_1 <= stp5) U (1 <= P6)))) : A (F ((F ((stp1 <= stp2)) U (1 <= Speed_Right_Wheel_10 + Speed_Right_Wheel_11 + Speed_Right_Wheel_12 + Speed_Right_Wheel_13 + Speed_Right_Wheel_14 + Speed_Right_Wheel_15 + Speed_Right_Wheel_16 + Speed_Right_Wheel_17 + Speed_Right_Wheel_18 + Speed_Right_Wheel_19 + Speed_Right_Wheel_20 + Speed_Right_Wheel_21 + Speed_Right_Wheel_22 + Speed_Right_Wheel_23 + Speed_Right_Wheel_24 + Speed_Right_Wheel_25 + Speed_Right_Wheel_26 + Speed_Right_Wheel_27 + Speed_Right_Wheel_28 + Speed_Right_Wheel_29 + Speed_Right_Wheel_30 + Speed_Right_Wheel_31 + Speed_Right_Wheel_32 + Speed_Right_Wheel_33 + Speed_Right_Wheel_34 + Speed_Right_Wheel_35 + Speed_Right_Wheel_36 + Speed_Right_Wheel_37 + Speed_Right_Wheel_38 + Speed_Right_Wheel_39 + Speed_Right_Wheel_40 + Speed_Right_Wheel_41 + Speed_Right_Wheel_42 + Speed_Right_Wheel_43 + Speed_Right_Wheel_44 + Speed_Right_Wheel_45 + Speed_Right_Wheel_46 + Speed_Right_Wheel_47 + Speed_Right_Wheel_48 + Speed_Right_Wheel_49 + Speed_Right_Wheel_50 + Speed_Right_Wheel_51 + Speed_Right_Wheel_52 + Speed_Right_Wheel_53 + Speed_Right_Wheel_54 + Speed_Right_Wheel_55 + Speed_Right_Wheel_56 + Speed_Right_Wheel_57 + Speed_Right_Wheel_58 + Speed_Right_Wheel_59 + Speed_Right_Wheel_60 + Speed_Right_Wheel_61 + Speed_Right_Wheel_62 + Speed_Right_Wheel_63 + Speed_Right_Wheel_64 + Speed_Right_Wheel_65 + Speed_Right_Wheel_66 + Speed_Right_Wheel_67 + Speed_Right_Wheel_68 + Speed_Right_Wheel_69 + Speed_Right_Wheel_70 + Speed_Right_Wheel_71 + Speed_Right_Wheel_72 + Speed_Right_Wheel_73 + Speed_Right_Wheel_74 + Speed_Right_Wheel_75 + Speed_Right_Wheel_76 + Speed_Right_Wheel_77 + Speed_Right_Wheel_78 + Speed_Right_Wheel_79 + Speed_Right_Wheel_80 + Speed_Right_Wheel_81 + Speed_Right_Wheel_82 + Speed_Right_Wheel_83 + Speed_Right_Wheel_84 + Speed_Right_Wheel_85 + Speed_Right_Wheel_86 + Speed_Right_Wheel_87 + Speed_Right_Wheel_88 + Speed_Right_Wheel_89 + Speed_Right_Wheel_90 + Speed_Right_Wheel_91 + Speed_Right_Wheel_92 + Speed_Right_Wheel_93 + Speed_Right_Wheel_94 + Speed_Right_Wheel_95 + Speed_Right_Wheel_96 + Speed_Right_Wheel_97 + Speed_Right_Wheel_98 + Speed_Right_Wheel_99 + Speed_Right_Wheel_500 + Speed_Right_Wheel_499 + Speed_Right_Wheel_498 + Speed_Right_Wheel_497 + Speed_Right_Wheel_496 + Speed_Right_Wheel_495 + Speed_Right_Wheel_494 + Speed_Right_Wheel_493 + Speed_Right_Wheel_492 + Speed_Right_Wheel_491 + Speed_Right_Wheel_490 + Speed_Right_Wheel_489 + Speed_Right_Wheel_488 + Speed_Right_Wheel_487 + Speed_Right_Wheel_486 + Speed_Right_Wheel_485 + Speed_Right_Wheel_484 + Speed_Right_Wheel_483 + Speed_Right_Wheel_482 + Speed_Right_Wheel_481 + Speed_Right_Wheel_480 + Speed_Right_Wheel_479 + Speed_Right_Wheel_478 + Speed_Right_Wheel_477 + Speed_Right_Wheel_476 + Speed_Right_Wheel_475 + Speed_Right_Wheel_474 + Speed_Right_Wheel_473 + Speed_Right_Wheel_472 + Speed_Right_Wheel_471 + Speed_Right_Wheel_470 + Speed_Right_Wheel_469 + Speed_Right_Wheel_468 + Speed_Right_Wheel_467 + Speed_Right_Wheel_466 + Speed_Right_Wheel_465 + Speed_Right_Wheel_464 + Speed_Right_Wheel_463 + Speed_Right_Wheel_462 + Speed_Right_Wheel_461 + Speed_Right_Wheel_460 + Speed_Right_Wheel_459 + Speed_Right_Wheel_458 + Speed_Right_Wheel_457 + Speed_Right_Wheel_456 + Speed_Right_Wheel_455 + Speed_Right_Wheel_454 + Speed_Right_Wheel_453 + Speed_Right_Wheel_452 + Speed_Right_Wheel_451 + Speed_Right_Wheel_450 + Speed_Right_Wheel_449 + Speed_Right_Wheel_448 + Speed_Right_Wheel_447 + Speed_Right_Wheel_446 + Speed_Right_Wheel_445 + Speed_Right_Wheel_444 + Speed_Right_Wheel_443 + Speed_Right_Wheel_442 + Speed_Right_Wheel_441 + Speed_Right_Wheel_440 + Speed_Right_Wheel_439 + Speed_Right_Wheel_438 + Speed_Right_Wheel_437 + Speed_Right_Wheel_436 + Speed_Right_Wheel_435 + Speed_Right_Wheel_434 + Speed_Right_Wheel_433 + Speed_Right_Wheel_432 + Speed_Right_Wheel_431 + Speed_Right_Wheel_430 + Speed_Right_Wheel_429 + Speed_Right_Wheel_428 + Speed_Right_Wheel_427 + Speed_Right_Wheel_426 + Speed_Right_Wheel_425 + Speed_Right_Wheel_424 + Speed_Right_Wheel_423 + Speed_Right_Wheel_422 + Speed_Right_Wheel_421 + Speed_Right_Wheel_420 + Speed_Right_Wheel_419 + Speed_Right_Wheel_418 + Speed_Right_Wheel_417 + Speed_Right_Wheel_416 + Speed_Right_Wheel_415 + Speed_Right_Wheel_414 + Speed_Right_Wheel_413 + Speed_Right_Wheel_412 + Speed_Right_Wheel_411 + Speed_Right_Wheel_410 + Speed_Right_Wheel_409 + Speed_Right_Wheel_408 + Speed_Right_Wheel_407 + Speed_Right_Wheel_406 + Speed_Right_Wheel_405 + Speed_Right_Wheel_404 + Speed_Right_Wheel_403 + Speed_Right_Wheel_402 + Speed_Right_Wheel_401 + Speed_Right_Wheel_400 + Speed_Right_Wheel_399 + Speed_Right_Wheel_398 + Speed_Right_Wheel_397 + Speed_Right_Wheel_396 + Speed_Right_Wheel_395 + Speed_Right_Wheel_1 + Speed_Right_Wheel_2 + Speed_Right_Wheel_3 + Speed_Right_Wheel_4 + Speed_Right_Wheel_5 + Speed_Right_Wheel_6 + Speed_Right_Wheel_7 + Speed_Right_Wheel_8 + Speed_Right_Wheel_9 + Speed_Right_Wheel_394 + Speed_Right_Wheel_393 + Speed_Right_Wheel_392 + Speed_Right_Wheel_391 + Speed_Right_Wheel_390 + Speed_Right_Wheel_389 + Speed_Right_Wheel_388 + Speed_Right_Wheel_387 + Speed_Right_Wheel_386 + Speed_Right_Wheel_385 + Speed_Right_Wheel_384 + Speed_Right_Wheel_383 + Speed_Right_Wheel_382 + Speed_Right_Wheel_381 + Speed_Right_Wheel_380 + Speed_Right_Wheel_379 + Speed_Right_Wheel_378 + Speed_Right_Wheel_377 + Speed_Right_Wheel_376 + Speed_Right_Wheel_375 + Speed_Right_Wheel_374 + Speed_Right_Wheel_373 + Speed_Right_Wheel_372 + Speed_Right_Wheel_371 + Speed_Right_Wheel_370 + Speed_Right_Wheel_369 + Speed_Right_Wheel_368 + Speed_Right_Wheel_367 + Speed_Right_Wheel_366 + Speed_Right_Wheel_365 + Speed_Right_Wheel_364 + Speed_Right_Wheel_363 + Speed_Right_Wheel_362 + Speed_Right_Wheel_361 + Speed_Right_Wheel_360 + Speed_Right_Wheel_359 + Speed_Right_Wheel_358 + Speed_Right_Wheel_357 + Speed_Right_Wheel_356 + Speed_Right_Wheel_355 + Speed_Right_Wheel_354 + Speed_Right_Wheel_353 + Speed_Right_Wheel_352 + Speed_Right_Wheel_351 + Speed_Right_Wheel_350 + Speed_Right_Wheel_349 + Speed_Right_Wheel_348 + Speed_Right_Wheel_347 + Speed_Right_Wheel_346 + Speed_Right_Wheel_345 + Speed_Right_Wheel_344 + Speed_Right_Wheel_343 + Speed_Right_Wheel_342 + Speed_Right_Wheel_341 + Speed_Right_Wheel_340 + Speed_Right_Wheel_339 + Speed_Right_Wheel_338 + Speed_Right_Wheel_337 + Speed_Right_Wheel_336 + Speed_Right_Wheel_335
+ Speed_Right_Wheel_334 + Speed_Right_Wheel_333 + Speed_Right_Wheel_332 + Speed_Right_Wheel_331 + Speed_Right_Wheel_330 + Speed_Right_Wheel_329 + Speed_Right_Wheel_328 + Speed_Right_Wheel_327 + Speed_Right_Wheel_326 + Speed_Right_Wheel_325 + Speed_Right_Wheel_324 + Speed_Right_Wheel_323 + Speed_Right_Wheel_322 + Speed_Right_Wheel_321 + Speed_Right_Wheel_320 + Speed_Right_Wheel_319 + Speed_Right_Wheel_318 + Speed_Right_Wheel_317 + Speed_Right_Wheel_316 + Speed_Right_Wheel_315 + Speed_Right_Wheel_314 + Speed_Right_Wheel_313 + Speed_Right_Wheel_312 + Speed_Right_Wheel_311 + Speed_Right_Wheel_310 + Speed_Right_Wheel_309 + Speed_Right_Wheel_308 + Speed_Right_Wheel_307 + Speed_Right_Wheel_306 + Speed_Right_Wheel_305 + Speed_Right_Wheel_304 + Speed_Right_Wheel_303 + Speed_Right_Wheel_302 + Speed_Right_Wheel_301 + Speed_Right_Wheel_300 + Speed_Right_Wheel_299 + Speed_Right_Wheel_298 + Speed_Right_Wheel_297 + Speed_Right_Wheel_296 + Speed_Right_Wheel_295 + Speed_Right_Wheel_294 + Speed_Right_Wheel_293 + Speed_Right_Wheel_292 + Speed_Right_Wheel_291 + Speed_Right_Wheel_290 + Speed_Right_Wheel_289 + Speed_Right_Wheel_288 + Speed_Right_Wheel_287 + Speed_Right_Wheel_286 + Speed_Right_Wheel_285 + Speed_Right_Wheel_284 + Speed_Right_Wheel_283 + Speed_Right_Wheel_282 + Speed_Right_Wheel_281 + Speed_Right_Wheel_280 + Speed_Right_Wheel_279 + Speed_Right_Wheel_278 + Speed_Right_Wheel_277 + Speed_Right_Wheel_276 + Speed_Right_Wheel_275 + Speed_Right_Wheel_274 + Speed_Right_Wheel_273 + Speed_Right_Wheel_272 + Speed_Right_Wheel_271 + Speed_Right_Wheel_270 + Speed_Right_Wheel_269 + Speed_Right_Wheel_268 + Speed_Right_Wheel_267 + Speed_Right_Wheel_266 + Speed_Right_Wheel_265 + Speed_Right_Wheel_264 + Speed_Right_Wheel_263 + Speed_Right_Wheel_262 + Speed_Right_Wheel_261 + Speed_Right_Wheel_260 + Speed_Right_Wheel_259 + Speed_Right_Wheel_258 + Speed_Right_Wheel_257 + Speed_Right_Wheel_256 + Speed_Right_Wheel_255 + Speed_Right_Wheel_254 + Speed_Right_Wheel_253 + Speed_Right_Wheel_252 + Speed_Right_Wheel_251 + Speed_Right_Wheel_250 + Speed_Right_Wheel_249 + Speed_Right_Wheel_248 + Speed_Right_Wheel_247 + Speed_Right_Wheel_246 + Speed_Right_Wheel_245 + Speed_Right_Wheel_244 + Speed_Right_Wheel_243 + Speed_Right_Wheel_242 + Speed_Right_Wheel_241 + Speed_Right_Wheel_240 + Speed_Right_Wheel_239 + Speed_Right_Wheel_238 + Speed_Right_Wheel_237 + Speed_Right_Wheel_236 + Speed_Right_Wheel_235 + Speed_Right_Wheel_234 + Speed_Right_Wheel_233 + Speed_Right_Wheel_232 + Speed_Right_Wheel_231 + Speed_Right_Wheel_230 + Speed_Right_Wheel_229 + Speed_Right_Wheel_228 + Speed_Right_Wheel_227 + Speed_Right_Wheel_226 + Speed_Right_Wheel_225 + Speed_Right_Wheel_224 + Speed_Right_Wheel_223 + Speed_Right_Wheel_222 + Speed_Right_Wheel_221 + Speed_Right_Wheel_220 + Speed_Right_Wheel_219 + Speed_Right_Wheel_218 + Speed_Right_Wheel_217 + Speed_Right_Wheel_216 + Speed_Right_Wheel_215 + Speed_Right_Wheel_214 + Speed_Right_Wheel_213 + Speed_Right_Wheel_212 + Speed_Right_Wheel_211 + Speed_Right_Wheel_210 + Speed_Right_Wheel_209 + Speed_Right_Wheel_208 + Speed_Right_Wheel_207 + Speed_Right_Wheel_206 + Speed_Right_Wheel_205 + Speed_Right_Wheel_204 + Speed_Right_Wheel_203 + Speed_Right_Wheel_202 + Speed_Right_Wheel_201 + Speed_Right_Wheel_200 + Speed_Right_Wheel_199 + Speed_Right_Wheel_198 + Speed_Right_Wheel_197 + Speed_Right_Wheel_196 + Speed_Right_Wheel_195 + Speed_Right_Wheel_194 + Speed_Right_Wheel_193 + Speed_Right_Wheel_192 + Speed_Right_Wheel_191 + Speed_Right_Wheel_190 + Speed_Right_Wheel_189 + Speed_Right_Wheel_188 + Speed_Right_Wheel_187 + Speed_Right_Wheel_186 + Speed_Right_Wheel_185 + Speed_Right_Wheel_184 + Speed_Right_Wheel_183 + Speed_Right_Wheel_182 + Speed_Right_Wheel_181 + Speed_Right_Wheel_180 + Speed_Right_Wheel_179 + Speed_Right_Wheel_178 + Speed_Right_Wheel_177 + Speed_Right_Wheel_176 + Speed_Right_Wheel_175 + Speed_Right_Wheel_174 + Speed_Right_Wheel_173 + Speed_Right_Wheel_172 + Speed_Right_Wheel_171 + Speed_Right_Wheel_170 + Speed_Right_Wheel_169 + Speed_Right_Wheel_168 + Speed_Right_Wheel_167 + Speed_Right_Wheel_166 + Speed_Right_Wheel_165 + Speed_Right_Wheel_164 + Speed_Right_Wheel_163 + Speed_Right_Wheel_162 + Speed_Right_Wheel_161 + Speed_Right_Wheel_160 + Speed_Right_Wheel_159 + Speed_Right_Wheel_158 + Speed_Right_Wheel_157 + Speed_Right_Wheel_156 + Speed_Right_Wheel_155 + Speed_Right_Wheel_154 + Speed_Right_Wheel_153 + Speed_Right_Wheel_152 + Speed_Right_Wheel_151 + Speed_Right_Wheel_150 + Speed_Right_Wheel_149 + Speed_Right_Wheel_148 + Speed_Right_Wheel_147 + Speed_Right_Wheel_146 + Speed_Right_Wheel_145 + Speed_Right_Wheel_144 + Speed_Right_Wheel_143 + Speed_Right_Wheel_142 + Speed_Right_Wheel_141 + Speed_Right_Wheel_140 + Speed_Right_Wheel_139 + Speed_Right_Wheel_138 + Speed_Right_Wheel_137 + Speed_Right_Wheel_136 + Speed_Right_Wheel_135 + Speed_Right_Wheel_134 + Speed_Right_Wheel_133 + Speed_Right_Wheel_132 + Speed_Right_Wheel_131 + Speed_Right_Wheel_130 + Speed_Right_Wheel_129 + Speed_Right_Wheel_128 + Speed_Right_Wheel_127 + Speed_Right_Wheel_126 + Speed_Right_Wheel_125 + Speed_Right_Wheel_124 + Speed_Right_Wheel_123 + Speed_Right_Wheel_122 + Speed_Right_Wheel_121 + Speed_Right_Wheel_120 + Speed_Right_Wheel_119 + Speed_Right_Wheel_118 + Speed_Right_Wheel_117 + Speed_Right_Wheel_116 + Speed_Right_Wheel_115 + Speed_Right_Wheel_114 + Speed_Right_Wheel_113 + Speed_Right_Wheel_112 + Speed_Right_Wheel_111 + Speed_Right_Wheel_110 + Speed_Right_Wheel_109 + Speed_Right_Wheel_108 + Speed_Right_Wheel_107 + Speed_Right_Wheel_106 + Speed_Right_Wheel_105 + Speed_Right_Wheel_104 + Speed_Right_Wheel_103 + Speed_Right_Wheel_102 + Speed_Right_Wheel_101 + Speed_Right_Wheel_100)))) : A (X (F (((P6 <= TheAltitude_500 + TheAltitude_501 + TheAltitude_502 + TheAltitude_503 + TheAltitude_504 + TheAltitude_505 + TheAltitude_506 + TheAltitude_507 + TheAltitude_508 + TheAltitude_509 + TheAltitude_510 + TheAltitude_511 + TheAltitude_512 + TheAltitude_513 + TheAltitude_514 + TheAltitude_515 + TheAltitude_516 + TheAltitude_517 + TheAltitude_518 + TheAltitude_519 + TheAltitude_520 + TheAltitude_521 + TheAltitude_522 + TheAltitude_523 + TheAltitude_524 + TheAltitude_525 + TheAltitude_526 + TheAltitude_527 + TheAltitude_528 + TheAltitude_529 + TheAltitude_530 + TheAltitude_531 + TheAltitude_532 + TheAltitude_533 + TheAltitude_534 + TheAltitude_535 + TheAltitude_536 + TheAltitude_537 + TheAltitude_538 + TheAltitude_539 + TheAltitude_540 + TheAltitude_541 + TheAltitude_542 + TheAltitude_543 + TheAltitude_544 + TheAltitude_545 + TheAltitude_546 + TheAltitude_547 + TheAltitude_548 + TheAltitude_549 + TheAltitude_550 + TheAltitude_551 + TheAltitude_552 + TheAltitude_553 + TheAltitude_554 + TheAltitude_555 + TheAltitude_556 + TheAltitude_557 + TheAltitude_558 + TheAltitude_559 + TheAltitude_560 + TheAltitude_561 + TheAltitude_562 + TheAltitude_563 + TheAltitude_564 + TheAltitude_565 + TheAltitude_566 + TheAltitude_567 + TheAltitude_568 + TheAltitude_569 + TheAltitude_570 + TheAltitude_571 + TheAltitude_572 + TheAltitude_573 + TheAltitude_574 + TheAltitude_575 + TheAltitude_576 + TheAltitude_577 + TheAltitude_578 + TheAltitude_579 + TheAltitude_580 + TheAltitude_581 + TheAltitude_582 + TheAltitude_583 + TheAltitude_584 + TheAltitude_585 + TheAltitude_586 + TheAltitude_587 + TheAltitude_588 + TheAltitude_589 + TheAltitude_590 + TheAltitude_591 + TheAltitude_592 + TheAltitude_593 + TheAltitude_594 + TheAltitude_595 + TheAltitude_596 + TheAltitude_597 + TheAltitude_598 + TheAltitude_599 + TheAltitude_1000 + TheAltitude_499 + TheAltitude_498 + TheAltitude_497 + TheAltitude_496 + TheAltitude_495 + TheAltitude_494 + TheAltitude_493 + TheAltitude_492 + TheAltitude_491 + TheAltitude_600 + TheAltitude_601 + TheAltitude_602 + TheAltitude_603 + TheAltitude_604 + TheAltitude_605 + TheAltitude_606 + TheAltitude_607 + TheAltitude_608 + TheAltitude_609 + TheAltitude_610 + TheAltitude_611 + TheAltitude_612 + TheAltitude_613 + TheAltitude_614 + TheAltitude_615 + TheAltitude_616 + TheAltitude_617 + TheAltitude_618 + TheAltitude_619 + TheAltitude_620 + TheAltitude_621 + TheAltitude_622 + TheAltitude_623 + TheAltitude_624 + TheAltitude_625 + TheAltitude_626 + TheAltitude_627 + TheAltitude_628 + TheAltitude_629 + TheAltitude_630 + TheAltitude_631 + TheAltitude_632 + TheAltitude_633 + TheAltitude_634 + TheAltitude_635 + TheAltitude_636 + TheAltitude_637 + TheAltitude_638 + TheAltitude_639 + TheAltitude_640 + TheAltitude_641 + TheAltitude_642 + TheAltitude_643 + TheAltitude_644 + TheAltitude_645 + TheAltitude_646 + TheAltitude_647 + TheAltitude_648 + TheAltitude_649 + TheAltitude_650 + TheAltitude_651 + TheAltitude_652 + TheAltitude_653 + TheAltitude_654 + TheAltitude_655 + TheAltitude_656 + TheAltitude_657 + TheAltitude_658 + TheAltitude_659 + TheAltitude_660 + TheAltitude_661 + TheAltitude_662 + TheAltitude_663 + TheAltitude_664 + TheAltitude_665 + TheAltitude_666 + TheAltitude_667 + TheAltitude_668 + TheAltitude_669 + TheAltitude_490 + TheAltitude_670 + TheAltitude_671 + TheAltitude_672 + TheAltitude_673 + TheAltitude_674 + TheAltitude_675 + TheAltitude_676 + TheAltitude_677 + TheAltitude_678 + TheAltitude_679 + TheAltitude_680 + TheAltitude_681 + TheAltitude_682 + TheAltitude_683 + TheAltitude_684 + TheAltitude_685 + TheAltitude_686 + TheAltitude_687 + TheAltitude_688 + TheAltitude_689 + TheAltitude_690 + TheAltitude_691 + TheAltitude_692 + TheAltitude_693 + TheAltitude_694 + TheAltitude_695 + TheAltitude_696 + TheAltitude_697 + TheAltitude_698 + TheAltitude_699 + TheAltitude_489 + TheAltitude_488 + TheAltitude_487 + TheAltitude_486 + TheAltitude_485 + TheAltitude_484 + TheAltitude_483 + TheAltitude_482 + TheAltitude_481 + TheAltitude_480 + TheAltitude_479 + TheAltitude_478 + TheAltitude_477 + TheAltitude_476 + TheAltitude_475 + TheAltitude_474 + TheAltitude_473 + TheAltitude_472 + TheAltitude_471 + TheAltitude_470 + TheAltitude_469 + TheAltitude_468 + TheAltitude_467 + TheAltitude_466 + TheAltitude_465 + TheAltitude_464 + TheAltitude_463 + TheAltitude_462 + TheAltitude_461 + TheAltitude_460 + TheAltitude_459 + TheAltitude_458 + TheAltitude_457 + TheAltitude_456 + TheAltitude_455 + TheAltitude_454 + TheAltitude_453 + TheAltitude_452 + TheAltitude_451 + TheAltitude_450 + TheAltitude_449 + TheAltitude_448 + TheAltitude_447 + TheAltitude_446 + TheAltitude_445 + TheAltitude_444 + TheAltitude_443 + TheAltitude_442 + TheAltitude_441 + TheAltitude_440 + TheAltitude_439 + TheAltitude_438 + TheAltitude_437 + TheAltitude_436 + TheAltitude_435 + TheAltitude_434 + TheAltitude_433 + TheAltitude_432 + TheAltitude_431 + TheAltitude_430 + TheAltitude_429 + TheAltitude_428 + TheAltitude_427 + TheAltitude_426 + TheAltitude_425 + TheAltitude_424 + TheAltitude_423 + TheAltitude_422 + TheAltitude_421 + TheAltitude_420 + TheAltitude_419 + TheAltitude_418 + TheAltitude_417 + TheAltitude_416 + TheAltitude_415 + TheAltitude_414 + TheAltitude_413 + TheAltitude_412 + TheAltitude_411 + TheAltitude_410 + TheAltitude_409 + TheAltitude_408 + TheAltitude_407 + TheAltitude_406 + TheAltitude_405 + TheAltitude_404 + TheAltitude_403 + TheAltitude_402 + TheAltitude_401 + TheAltitude_400 + TheAltitude_399 + TheAltitude_398 + TheAltitude_397 + TheAltitude_396 + TheAltitude_395 + TheAltitude_394 + TheAltitude_700 + TheAltitude_701 + TheAltitude_702 + TheAltitude_703 + TheAltitude_704 + TheAltitude_705 + TheAltitude_706 + TheAltitude_707 + TheAltitude_708 + TheAltitude_709 + TheAltitude_710 + TheAltitude_711 + TheAltitude_712 + TheAltitude_713 + TheAltitude_714 + TheAltitude_715 + TheAltitude_716 + TheAltitude_717 + TheAltitude_718 + TheAltitude_719 + TheAltitude_720 + TheAltitude_721 + TheAltitude_722 + TheAltitude_723 + TheAltitude_724 + TheAltitude_725 + TheAltitude_726 + TheAltitude_727 + TheAltitude_728 + TheAltitude_729 + TheAltitude_730 + TheAltitude_731 + TheAltitude_732 + TheAltitude_733 + TheAltitude_734 + TheAltitude_735 + TheAltitude_736 + TheAltitude_737 + TheAltitude_738 + TheAltitude_739 + TheAltitude_740 + TheAltitude_741 + TheAltitude_742 + TheAltitude_743 + TheAltitude_744 + TheAltitude_745 + TheAltitude_746 + TheAltitude_747 + TheAltitude_748 + TheAltitude_749 + TheAltitude_750 + TheAltitude_751 + TheAltitude_752 + TheAltitude_753 + TheAltitude_754 + TheAltitude_755 + TheAltitude_756 + TheAltitude_757 + TheAltitude_758 + TheAltitude_759 + TheAltitude_760 + TheAltitude_761 + TheAltitude_762 + TheAltitude_763 + TheAltitude_764 + TheAltitude_765 + TheAltitude_766 + TheAltitude_767 + TheAltitude_768 + TheAltitude_769 + TheAltitude_770 + TheAltitude_771 + TheAltitude_772 + TheAltitude_773 + TheAltitude_774 + TheAltitude_775 + TheAltitude_776 + TheAltitude_777 + TheAltitude_778 + TheAltitude_779 + TheAltitude_780 + TheAltitude_781 + TheAltitude_782 + TheAltitude_783 + TheAltitude_784 + TheAltitude_785 + TheAltitude_786 + TheAltitude_787 + TheAltitude_788 + TheAltitude_789 + TheAltitude_790 + TheAltitude_791 + TheAltitude_792 + TheAltitude_793 + TheAltitude_794 + TheAltitude_795 + TheAltitude_796 + TheAltitude_797 + TheAltitude_798 + TheAltitude_799 + TheAltitude_10 + TheAltitude_11 + TheAltitude_12 + TheAltitude_13 + TheAltitude_14 + TheAltitude_15 + TheAltitude_16 + TheAltitude_17 + TheAltitude_18 + TheAltitude_19 + TheAltitude_20 + TheAltitude_21 + TheAltitude_22 + TheAltitude_23 + TheAltitude_24 + TheAltitude_25 + TheAltitude_26 + TheAltitude_27 + TheAltitude_28 + TheAltitude_29 + TheAltitude_30 + TheAltitude_31 + TheAltitude_32 + TheAltitude_33 + TheAltitude_34 + TheAltitude_35 + TheAltitude_36 + TheAltitude_37 + TheAltitude_38 + TheAltitude_39 + TheAltitude_40 + TheAltitude_41 + TheAltitude_42 + TheAltitude_43 + TheAltitude_44 + TheAltitude_45 + TheAltitude_46 + TheAltitude_47 + TheAltitude_48 + TheAltitude_49 + TheAltitude_50 + TheAltitude_51 + TheAltitude_52 + TheAltitude_53 + TheAltitude_54 + TheAltitude_55 + TheAltitude_56 + TheAltitude_57 + TheAltitude_58 + TheAltitude_59 + TheAltitude_60 + TheAltitude_61 + TheAltitude_62 + TheAltitude_63 + TheAltitude_64 + TheAltitude_65 + TheAltitude_66 + TheAltitude_67 + TheAltitude_68 + TheAltitude_69 + TheAltitude_70 + TheAltitude_71 + TheAltitude_72 + TheAltitude_73 + TheAltitude_74 + TheAltitude_75 + TheAltitude_76 + TheAltitude_77 + TheAltitude_78 + TheAltitude_79 + TheAltitude_80 + TheAltitude_81 + TheAltitude_82 + TheAltitude_83 + TheAltitude_84 + TheAltitude_85 + TheAltitude_86 + TheAltitude_87 + TheAltitude_88 + TheAltitude_89 + TheAltitude_90 + TheAltitude_91 + TheAltitude_92 + TheAltitude_93 + TheAltitude_94 + TheAltitude_95 + TheAltitude_96 + TheAltitude_97 + TheAltitude_98 + TheAltitude_99 + TheAltitude_393 + TheAltitude_392 + TheAltitude_391 + TheAltitude_390 + TheAltitude_389 + TheAltitude_388 + TheAltitude_387 + TheAltitude_386 + TheAltitude_385 + TheAltitude_384 + TheAltitude_383 + TheAltitude_382 + TheAltitude_381 + TheAltitude_380 + TheAltitude_379 + TheAltitude_378 + TheAltitude_377 + TheAltitude_376 + TheAltitude_375 + TheAltitude_374 + TheAltitude_373 + TheAltitude_372 + TheAltitude_371 + TheAltitude_370 + TheAltitude_369 + TheAltitude_368 + TheAltitude_367 + TheAltitude_366 + TheAltitude_365 + TheAltitude_364 + TheAltitude_363 + TheAltitude_362 + TheAltitude_361 + TheAltitude_360 + TheAltitude_359 + TheAltitude_358 + TheAltitude_357 + TheAltitude_356 + TheAltitude_355 + TheAltitude_354 + TheAltitude_353 + TheAltitude_352 + TheAltitude_351 + TheAltitude_350 + TheAltitude_349 + TheAltitude_348 + TheAltitude_347 + TheAltitude_346 + TheAltitude_345 + TheAltitude_344 + TheAltitude_343 + TheAltitude_342 + TheAltitude_341 + TheAltitude_340 + TheAltitude_339 + TheAltitude_338 + TheAltitude_337 + TheAltitude_336 + TheAltitude_335 + TheAltitude_334 + TheAltitude_333 + TheAltitude_332 + TheAltitude_331 + TheAltitude_330 + TheAltitude_329 + TheAltitude_328 + TheAltitude_327 + TheAltitude_326 + TheAltitude_325 + TheAltitude_324 + TheAltitude_323 + TheAltitude_322 + TheAltitude_321 + TheAltitude_320 + TheAltitude_319 + TheAltitude_318 + TheAltitude_317 + TheAltitude_316 + TheAltitude_315 + TheAltitude_314 + TheAltitude_313 + TheAltitude_312 + TheAltitude_311 + TheAltitude_310 + TheAltitude_309 + TheAltitude_308 + TheAltitude_307 + TheAltitude_306 + TheAltitude_305 + TheAltitude_304 + TheAltitude_303 + TheAltitude_302 + TheAltitude_301 + TheAltitude_300 + TheAltitude_800 + TheAltitude_801 + TheAltitude_802 + TheAltitude_803 + TheAltitude_804 + TheAltitude_805 + TheAltitude_806 + TheAltitude_807 + TheAltitude_808 + TheAltitud
e_809 + TheAltitude_810 + TheAltitude_811 + TheAltitude_812 + TheAltitude_813 + TheAltitude_814 + TheAltitude_815 + TheAltitude_816 + TheAltitude_817 + TheAltitude_818 + TheAltitude_819 + TheAltitude_820 + TheAltitude_821 + TheAltitude_822 + TheAltitude_823 + TheAltitude_824 + TheAltitude_825 + TheAltitude_826 + TheAltitude_827 + TheAltitude_828 + TheAltitude_829 + TheAltitude_830 + TheAltitude_831 + TheAltitude_832 + TheAltitude_833 + TheAltitude_834 + TheAltitude_835 + TheAltitude_836 + TheAltitude_837 + TheAltitude_838 + TheAltitude_839 + TheAltitude_840 + TheAltitude_841 + TheAltitude_842 + TheAltitude_843 + TheAltitude_844 + TheAltitude_845 + TheAltitude_846 + TheAltitude_847 + TheAltitude_848 + TheAltitude_849 + TheAltitude_850 + TheAltitude_851 + TheAltitude_852 + TheAltitude_853 + TheAltitude_854 + TheAltitude_855 + TheAltitude_856 + TheAltitude_857 + TheAltitude_858 + TheAltitude_859 + TheAltitude_860 + TheAltitude_861 + TheAltitude_862 + TheAltitude_863 + TheAltitude_864 + TheAltitude_865 + TheAltitude_866 + TheAltitude_867 + TheAltitude_868 + TheAltitude_869 + TheAltitude_870 + TheAltitude_871 + TheAltitude_872 + TheAltitude_873 + TheAltitude_874 + TheAltitude_875 + TheAltitude_876 + TheAltitude_877 + TheAltitude_878 + TheAltitude_879 + TheAltitude_880 + TheAltitude_881 + TheAltitude_882 + TheAltitude_883 + TheAltitude_884 + TheAltitude_885 + TheAltitude_886 + TheAltitude_887 + TheAltitude_888 + TheAltitude_889 + TheAltitude_890 + TheAltitude_891 + TheAltitude_892 + TheAltitude_893 + TheAltitude_894 + TheAltitude_895 + TheAltitude_896 + TheAltitude_897 + TheAltitude_898 + TheAltitude_899 + TheAltitude_299 + TheAltitude_298 + TheAltitude_297 + TheAltitude_296 + TheAltitude_295 + TheAltitude_900 + TheAltitude_901 + TheAltitude_902 + TheAltitude_903 + TheAltitude_904 + TheAltitude_905 + TheAltitude_906 + TheAltitude_907 + TheAltitude_908 + TheAltitude_909 + TheAltitude_910 + TheAltitude_911 + TheAltitude_912 + TheAltitude_913 + TheAltitude_914 + TheAltitude_915 + TheAltitude_916 + TheAltitude_917 + TheAltitude_918 + TheAltitude_919 + TheAltitude_920 + TheAltitude_921 + TheAltitude_922 + TheAltitude_923 + TheAltitude_924 + TheAltitude_925 + TheAltitude_926 + TheAltitude_927 + TheAltitude_928 + TheAltitude_929 + TheAltitude_930 + TheAltitude_931 + TheAltitude_932 + TheAltitude_933 + TheAltitude_934 + TheAltitude_935 + TheAltitude_936 + TheAltitude_937 + TheAltitude_938 + TheAltitude_939 + TheAltitude_940 + TheAltitude_941 + TheAltitude_942 + TheAltitude_943 + TheAltitude_944 + TheAltitude_945 + TheAltitude_946 + TheAltitude_947 + TheAltitude_948 + TheAltitude_949 + TheAltitude_950 + TheAltitude_951 + TheAltitude_952 + TheAltitude_953 + TheAltitude_954 + TheAltitude_955 + TheAltitude_956 + TheAltitude_957 + TheAltitude_958 + TheAltitude_959 + TheAltitude_960 + TheAltitude_961 + TheAltitude_962 + TheAltitude_963 + TheAltitude_964 + TheAltitude_965 + TheAltitude_966 + TheAltitude_967 + TheAltitude_968 + TheAltitude_969 + TheAltitude_970 + TheAltitude_971 + TheAltitude_972 + TheAltitude_973 + TheAltitude_974 + TheAltitude_975 + TheAltitude_976 + TheAltitude_977 + TheAltitude_978 + TheAltitude_979 + TheAltitude_980 + TheAltitude_981 + TheAltitude_982 + TheAltitude_983 + TheAltitude_984 + TheAltitude_985 + TheAltitude_986 + TheAltitude_987 + TheAltitude_988 + TheAltitude_989 + TheAltitude_990 + TheAltitude_991 + TheAltitude_992 + TheAltitude_993 + TheAltitude_994 + TheAltitude_995 + TheAltitude_996 + TheAltitude_997 + TheAltitude_998 + TheAltitude_999 + TheAltitude_1 + TheAltitude_2 + TheAltitude_3 + TheAltitude_4 + TheAltitude_5 + TheAltitude_6 + TheAltitude_7 + TheAltitude_8 + TheAltitude_9 + TheAltitude_294 + TheAltitude_293 + TheAltitude_292 + TheAltitude_291 + TheAltitude_290 + TheAltitude_289 + TheAltitude_288 + TheAltitude_287 + TheAltitude_286 + TheAltitude_285 + TheAltitude_284 + TheAltitude_283 + TheAltitude_282 + TheAltitude_281 + TheAltitude_280 + TheAltitude_279 + TheAltitude_278 + TheAltitude_277 + TheAltitude_276 + TheAltitude_275 + TheAltitude_274 + TheAltitude_273 + TheAltitude_272 + TheAltitude_271 + TheAltitude_270 + TheAltitude_269 + TheAltitude_268 + TheAltitude_267 + TheAltitude_266 + TheAltitude_265 + TheAltitude_264 + TheAltitude_263 + TheAltitude_262 + TheAltitude_261 + TheAltitude_260 + TheAltitude_259 + TheAltitude_258 + TheAltitude_257 + TheAltitude_256 + TheAltitude_255 + TheAltitude_254 + TheAltitude_253 + TheAltitude_252 + TheAltitude_251 + TheAltitude_250 + TheAltitude_249 + TheAltitude_248 + TheAltitude_247 + TheAltitude_246 + TheAltitude_245 + TheAltitude_244 + TheAltitude_243 + TheAltitude_242 + TheAltitude_241 + TheAltitude_240 + TheAltitude_239 + TheAltitude_238 + TheAltitude_237 + TheAltitude_236 + TheAltitude_235 + TheAltitude_234 + TheAltitude_233 + TheAltitude_232 + TheAltitude_231 + TheAltitude_230 + TheAltitude_229 + TheAltitude_228 + TheAltitude_227 + TheAltitude_226 + TheAltitude_225 + TheAltitude_224 + TheAltitude_223 + TheAltitude_222 + TheAltitude_221 + TheAltitude_220 + TheAltitude_219 + TheAltitude_218 + TheAltitude_217 + TheAltitude_216 + TheAltitude_215 + TheAltitude_214 + TheAltitude_213 + TheAltitude_212 + TheAltitude_211 + TheAltitude_210 + TheAltitude_209 + TheAltitude_208 + TheAltitude_207 + TheAltitude_206 + TheAltitude_205 + TheAltitude_204 + TheAltitude_203 + TheAltitude_202 + TheAltitude_201 + TheAltitude_200 + TheAltitude_199 + TheAltitude_198 + TheAltitude_197 + TheAltitude_196 + TheAltitude_195 + TheAltitude_194 + TheAltitude_193 + TheAltitude_192 + TheAltitude_191 + TheAltitude_190 + TheAltitude_189 + TheAltitude_188 + TheAltitude_187 + TheAltitude_186 + TheAltitude_185 + TheAltitude_184 + TheAltitude_183 + TheAltitude_182 + TheAltitude_181 + TheAltitude_180 + TheAltitude_179 + TheAltitude_178 + TheAltitude_177 + TheAltitude_176 + TheAltitude_175 + TheAltitude_174 + TheAltitude_173 + TheAltitude_172 + TheAltitude_171 + TheAltitude_170 + TheAltitude_169 + TheAltitude_168 + TheAltitude_167 + TheAltitude_166 + TheAltitude_165 + TheAltitude_164 + TheAltitude_163 + TheAltitude_162 + TheAltitude_161 + TheAltitude_160 + TheAltitude_159 + TheAltitude_158 + TheAltitude_157 + TheAltitude_156 + TheAltitude_155 + TheAltitude_154 + TheAltitude_153 + TheAltitude_152 + TheAltitude_151 + TheAltitude_150 + TheAltitude_149 + TheAltitude_148 + TheAltitude_147 + TheAltitude_146 + TheAltitude_145 + TheAltitude_144 + TheAltitude_143 + TheAltitude_142 + TheAltitude_141 + TheAltitude_140 + TheAltitude_139 + TheAltitude_138 + TheAltitude_137 + TheAltitude_136 + TheAltitude_135 + TheAltitude_134 + TheAltitude_133 + TheAltitude_132 + TheAltitude_131 + TheAltitude_130 + TheAltitude_129 + TheAltitude_128 + TheAltitude_127 + TheAltitude_126 + TheAltitude_125 + TheAltitude_124 + TheAltitude_123 + TheAltitude_122 + TheAltitude_121 + TheAltitude_120 + TheAltitude_119 + TheAltitude_118 + TheAltitude_117 + TheAltitude_116 + TheAltitude_115 + TheAltitude_114 + TheAltitude_113 + TheAltitude_112 + TheAltitude_111 + TheAltitude_110 + TheAltitude_109 + TheAltitude_108 + TheAltitude_107 + TheAltitude_106 + TheAltitude_105 + TheAltitude_104 + TheAltitude_103 + TheAltitude_102 + TheAltitude_101 + TheAltitude_100) U (Speed_Right_Wheel_10 + Speed_Right_Wheel_11 + Speed_Right_Wheel_12 + Speed_Right_Wheel_13 + Speed_Right_Wheel_14 + Speed_Right_Wheel_15 + Speed_Right_Wheel_16 + Speed_Right_Wheel_17 + Speed_Right_Wheel_18 + Speed_Right_Wheel_19 + Speed_Right_Wheel_20 + Speed_Right_Wheel_21 + Speed_Right_Wheel_22 + Speed_Right_Wheel_23 + Speed_Right_Wheel_24 + Speed_Right_Wheel_25 + Speed_Right_Wheel_26 + Speed_Right_Wheel_27 + Speed_Right_Wheel_28 + Speed_Right_Wheel_29 + Speed_Right_Wheel_30 + Speed_Right_Wheel_31 + Speed_Right_Wheel_32 + Speed_Right_Wheel_33 + Speed_Right_Wheel_34 + Speed_Right_Wheel_35 + Speed_Right_Wheel_36 + Speed_Right_Wheel_37 + Speed_Right_Wheel_38 + Speed_Right_Wheel_39 + Speed_Right_Wheel_40 + Speed_Right_Wheel_41 + Speed_Right_Wheel_42 + Speed_Right_Wheel_43 + Speed_Right_Wheel_44 + Speed_Right_Wheel_45 + Speed_Right_Wheel_46 + Speed_Right_Wheel_47 + Speed_Right_Wheel_48 + Speed_Right_Wheel_49 + Speed_Right_Wheel_50 + Speed_Right_Wheel_51 + Speed_Right_Wheel_52 + Speed_Right_Wheel_53 + Speed_Right_Wheel_54 + Speed_Right_Wheel_55 + Speed_Right_Wheel_56 + Speed_Right_Wheel_57 + Speed_Right_Wheel_58 + Speed_Right_Wheel_59 + Speed_Right_Wheel_60 + Speed_Right_Wheel_61 + Speed_Right_Wheel_62 + Speed_Right_Wheel_63 + Speed_Right_Wheel_64 + Speed_Right_Wheel_65 + Speed_Right_Wheel_66 + Speed_Right_Wheel_67 + Speed_Right_Wheel_68 + Speed_Right_Wheel_69 + Speed_Right_Wheel_70 + Speed_Right_Wheel_71 + Speed_Right_Wheel_72 + Speed_Right_Wheel_73 + Speed_Right_Wheel_74 + Speed_Right_Wheel_75 + Speed_Right_Wheel_76 + Speed_Right_Wheel_77 + Speed_Right_Wheel_78 + Speed_Right_Wheel_79 + Speed_Right_Wheel_80 + Speed_Right_Wheel_81 + Speed_Right_Wheel_82 + Speed_Right_Wheel_83 + Speed_Right_Wheel_84 + Speed_Right_Wheel_85 + Speed_Right_Wheel_86 + Speed_Right_Wheel_87 + Speed_Right_Wheel_88 + Speed_Right_Wheel_89 + Speed_Right_Wheel_90 + Speed_Right_Wheel_91 + Speed_Right_Wheel_92 + Speed_Right_Wheel_93 + Speed_Right_Wheel_94 + Speed_Right_Wheel_95 + Speed_Right_Wheel_96 + Speed_Right_Wheel_97 + Speed_Right_Wheel_98 + Speed_Right_Wheel_99 + Speed_Right_Wheel_500 + Speed_Right_Wheel_499 + Speed_Right_Wheel_498 + Speed_Right_Wheel_497 + Speed_Right_Wheel_496 + Speed_Right_Wheel_495 + Speed_Right_Wheel_494 + Speed_Right_Wheel_493 + Speed_Right_Wheel_492 + Speed_Right_Wheel_491 + Speed_Right_Wheel_490 + Speed_Right_Wheel_489 + Speed_Right_Wheel_488 + Speed_Right_Wheel_487 + Speed_Right_Wheel_486 + Speed_Right_Wheel_485 + Speed_Right_Wheel_484 + Speed_Right_Wheel_483 + Speed_Right_Wheel_482 + Speed_Right_Wheel_481 + Speed_Right_Wheel_480 + Speed_Right_Wheel_479 + Speed_Right_Wheel_478 + Speed_Right_Wheel_477 + Speed_Right_Wheel_476 + Speed_Right_Wheel_475 + Speed_Right_Wheel_474 + Speed_Right_Wheel_473 + Speed_Right_Wheel_472 + Speed_Right_Wheel_471 + Speed_Right_Wheel_470 + Speed_Right_Wheel_469 + Speed_Right_Wheel_468 + Speed_Right_Wheel_467 + Speed_Right_Wheel_466 + Speed_Right_Wheel_465 + Speed_Right_Wheel_464 + Speed_Right_Wheel_463 + Speed_Right_Wheel_462 + Speed_Right_Wheel_461 + Speed_Right_Wheel_460 + Speed_Right_Wheel_459 + Speed_Right_Wheel_458 + Speed_Right_Wheel_457 + Speed_Right_Wheel_456 + Speed_Right_Wheel_455 + Speed_Right_Wheel_454 + Speed_Right_Wheel_453 + Speed_Right_Wheel_452 + Speed_Right_Wheel_451 + Speed_Right_Wheel_450 + Speed_Right_Wheel_449 + Speed_Right_Wheel_448 + Speed_Right_Wheel_447 + Speed_Right_Wheel_446 + Speed_Right_Wheel_445 + Speed_Right_Wheel_444 + Speed_Right_Wheel_443 + Speed_Right_Wheel_442 + Speed_Right_Wheel_441 + Speed_Right_Wheel_440 + Speed_Right_Wheel_439 + Speed_Right_Wheel_438 + Speed_Right_Wheel_437 + Speed_Right_Wheel_436 + Speed_Right_Wheel_435 + Speed_Right_Wheel_434 + Speed_Right_Wheel_433 + Speed_Right_Wheel_432 + Speed_Right_Wheel_431 + Speed_Right_Wheel_430 + Speed_Right_Wheel_429 + Speed_Right_Wheel_428 + Speed_Right_Wheel_427 + Speed_Right_Wheel_426 + Speed_Right_Wheel_425 + Speed_Right_Wheel_424 + Speed_Right_Wheel_423 + Speed_Right_Wheel_422 + Speed_Right_Wheel_421 + Speed_Right_Wheel_420 + Speed_Right_Wheel_419 + Speed_Right_Wheel_418 + Speed_Right_Wheel_417 + Speed_Right_Wheel_416 + Speed_Right_Wheel_415 + Speed_Right_Wheel_414 + Speed_Right_Wheel_413 + Speed_Right_Wheel_412 + Speed_Right_Wheel_411 + Speed_Right_Wheel_410 + Speed_Right_Wheel_409 + Speed_Right_Wheel_408 + Speed_Right_Wheel_407 + Speed_Right_Wheel_406 + Speed_Right_Wheel_405 + Speed_Right_Wheel_404 + Speed_Right_Wheel_403 + Speed_Right_Wheel_402 + Speed_Right_Wheel_401 + Speed_Right_Wheel_400 + Speed_Right_Wheel_399 + Speed_Right_Wheel_398 + Speed_Right_Wheel_397 + Speed_Right_Wheel_396 + Speed_Right_Wheel_395 + Speed_Right_Wheel_1 + Speed_Right_Wheel_2 + Speed_Right_Wheel_3 + Speed_Right_Wheel_4 + Speed_Right_Wheel_5 + Speed_Right_Wheel_6 + Speed_Right_Wheel_7 + Speed_Right_Wheel_8 + Speed_Right_Wheel_9 + Speed_Right_Wheel_394 + Speed_Right_Wheel_393 + Speed_Right_Wheel_392 + Speed_Right_Wheel_391 + Speed_Right_Wheel_390 + Speed_Right_Wheel_389 + Speed_Right_Wheel_388 + Speed_Right_Wheel_387 + Speed_Right_Wheel_386 + Speed_Right_Wheel_385 + Speed_Right_Wheel_384 + Speed_Right_Wheel_383 + Speed_Right_Wheel_382 + Speed_Right_Wheel_381 + Speed_Right_Wheel_380 + Speed_Right_Wheel_379 + Speed_Right_Wheel_378 + Speed_Right_Wheel_377 + Speed_Right_Wheel_376 + Speed_Right_Wheel_375 + Speed_Right_Wheel_374 + Speed_Right_Wheel_373 + Speed_Right_Wheel_372 + Speed_Right_Wheel_371 + Speed_Right_Wheel_370 + Speed_Right_Wheel_369 + Speed_Right_Wheel_368 + Speed_Right_Wheel_367 + Speed_Right_Wheel_366 + Speed_Right_Wheel_365 + Speed_Right_Wheel_364 + Speed_Right_Wheel_363 + Speed_Right_Wheel_362 + Speed_Right_Wheel_361 + Speed_Right_Wheel_360 + Speed_Right_Wheel_359 + Speed_Right_Wheel_358 + Speed_Right_Wheel_357 + Speed_Right_Wheel_356 + Speed_Right_Wheel_355 + Speed_Right_Wheel_354 + Speed_Right_Wheel_353 + Speed_Right_Wheel_352 + Speed_Right_Wheel_351 + Speed_Right_Wheel_350 + Speed_Right_Wheel_349 + Speed_Right_Wheel_348 + Speed_Right_Wheel_347 + Speed_Right_Wheel_346 + Speed_Right_Wheel_345 + Speed_Right_Wheel_344 + Speed_Right_Wheel_343 + Speed_Right_Wheel_342 + Speed_Right_Wheel_341 + Speed_Right_Wheel_340 + Speed_Right_Wheel_339 + Speed_Right_Wheel_338 + Speed_Right_Wheel_337 + Speed_Right_Wheel_336 + Speed_Right_Wheel_335 + Speed_Right_Wheel_334 + Speed_Right_Wheel_333 + Speed_Right_Wheel_332 + Speed_Right_Wheel_331 + Speed_Right_Wheel_330 + Speed_Right_Wheel_329 + Speed_Right_Wheel_328 + Speed_Right_Wheel_327 + Speed_Right_Wheel_326 + Speed_Right_Wheel_325 + Speed_Right_Wheel_324 + Speed_Right_Wheel_323 + Speed_Right_Wheel_322 + Speed_Right_Wheel_321 + Speed_Right_Wheel_320 + Speed_Right_Wheel_319 + Speed_Right_Wheel_318 + Speed_Right_Wheel_317 + Speed_Right_Wheel_316 + Speed_Right_Wheel_315 + Speed_Right_Wheel_314 + Speed_Right_Wheel_313 + Speed_Right_Wheel_312 + Speed_Right_Wheel_311 + Speed_Right_Wheel_310 + Speed_Right_Wheel_309 + Speed_Right_Wheel_308 + Speed_Right_Wheel_307 + Speed_Right_Wheel_306 + Speed_Right_Wheel_305 + Speed_Right_Wheel_304 + Speed_Right_Wheel_303 + Speed_Right_Wheel_302 + Speed_Right_Wheel_301 + Speed_Right_Wheel_300 + Speed_Right_Wheel_299 + Speed_Right_Wheel_298 + Speed_Right_Wheel_297 + Speed_Right_Wheel_296 + Speed_Right_Wheel_295 + Speed_Right_Wheel_294 + Speed_Right_Wheel_293 + Speed_Right_Wheel_292 + Speed_Right_Wheel_291 + Speed_Right_Wheel_290 + Speed_Right_Wheel_289 + Speed_Right_Wheel_288 + Speed_Right_Wheel_287 + Speed_Right_Wheel_286 + Speed_Right_Wheel_285 + Speed_Right_Wheel_284 + Speed_Right_Wheel_283 + Speed_Right_Wheel_282 + Speed_Right_Wheel_281 + Speed_Right_Wheel_280 + Speed_Right_Wheel_279 + Speed_Right_Wheel_278 + Speed_Right_Wheel_277 + Speed_Right_Wheel_276 + Speed_Right_Wheel_275 + Speed_Right_Wheel_274 + Speed_Right_Wheel_273 + Speed_Right_Wheel_272 + Speed_Right_Wheel_271 + Speed_Right_Wheel_270 + Speed_Right_Wheel_269 + Speed_Right_Wheel_268 + Speed_Right_Wheel_267 + Speed_Right_Wheel_266 + Speed_Right_Wheel_265 + Speed_Right_Wheel_264 + Speed_Right_Wheel_263 + Speed_Right_Wheel_262 + Speed_Right_Wheel_261 + Speed_Right_Wheel_260 + Speed_Right_Wheel_259 + Speed_Right_Wheel_258 + Speed_Right_Wheel_257 + Speed_Right_Wheel_256 + Speed_Right_Wheel_255 + Speed_Right_Wheel_254 + Speed_Right_Wheel_253 + Speed_Right_Wheel_252 + Speed_Right_Wheel_251 + Speed_Right_Wheel_250 + Speed_Right_Wheel_249 + Speed_Right_Wheel_248 + Speed_Right_Wheel_247 + Speed_Right_Wheel_246 + Speed_Right_Wheel_245 + Speed_Right_Wheel_244 + Speed_Right_Wheel_243 + Speed_Right_Wheel_242 + Speed_Right_Wheel_241 + Speed_Right_Wheel_240 + Speed_Right_Wheel_239 + Speed_Right_Wheel_238 + Speed_Right_Wheel_237 + Speed_Right_Wheel_236 + Speed_Right_Wheel_235 + Speed_Right_Wheel_234 + Speed_Right_Wheel_233 + Speed_Right_Wheel_232 + Speed_Right_Wheel_231 + Speed_Right_Wheel_230 + Speed_Right_Wheel_229 + Speed_Right_Wheel_228 + Speed_Right_Wheel_227 + Speed_Right_Wheel_226 + Speed_Right_Wheel_225 + Speed_Right_Wheel_224 + Speed_Right_Wheel_223 + Speed_Right_Wheel_222 + Speed_Right_Wheel_221 + Speed_Right_Wheel_220 + Speed_Right_Wheel_219 + Speed_Right_Wheel_218 + Speed_Right_Wheel_217 + Speed_Right_Wheel_216 + Speed_Right_Wheel_215 + Speed_Right_Wheel_214 + Speed_Right_Wheel_213 + Speed_Right_Wheel_212 + Speed_
Right_Wheel_211 + Speed_Right_Wheel_210 + Speed_Right_Wheel_209 + Speed_Right_Wheel_208 + Speed_Right_Wheel_207 + Speed_Right_Wheel_206 + Speed_Right_Wheel_205 + Speed_Right_Wheel_204 + Speed_Right_Wheel_203 + Speed_Right_Wheel_202 + Speed_Right_Wheel_201 + Speed_Right_Wheel_200 + Speed_Right_Wheel_199 + Speed_Right_Wheel_198 + Speed_Right_Wheel_197 + Speed_Right_Wheel_196 + Speed_Right_Wheel_195 + Speed_Right_Wheel_194 + Speed_Right_Wheel_193 + Speed_Right_Wheel_192 + Speed_Right_Wheel_191 + Speed_Right_Wheel_190 + Speed_Right_Wheel_189 + Speed_Right_Wheel_188 + Speed_Right_Wheel_187 + Speed_Right_Wheel_186 + Speed_Right_Wheel_185 + Speed_Right_Wheel_184 + Speed_Right_Wheel_183 + Speed_Right_Wheel_182 + Speed_Right_Wheel_181 + Speed_Right_Wheel_180 + Speed_Right_Wheel_179 + Speed_Right_Wheel_178 + Speed_Right_Wheel_177 + Speed_Right_Wheel_176 + Speed_Right_Wheel_175 + Speed_Right_Wheel_174 + Speed_Right_Wheel_173 + Speed_Right_Wheel_172 + Speed_Right_Wheel_171 + Speed_Right_Wheel_170 + Speed_Right_Wheel_169 + Speed_Right_Wheel_168 + Speed_Right_Wheel_167 + Speed_Right_Wheel_166 + Speed_Right_Wheel_165 + Speed_Right_Wheel_164 + Speed_Right_Wheel_163 + Speed_Right_Wheel_162 + Speed_Right_Wheel_161 + Speed_Right_Wheel_160 + Speed_Right_Wheel_159 + Speed_Right_Wheel_158 + Speed_Right_Wheel_157 + Speed_Right_Wheel_156 + Speed_Right_Wheel_155 + Speed_Right_Wheel_154 + Speed_Right_Wheel_153 + Speed_Right_Wheel_152 + Speed_Right_Wheel_151 + Speed_Right_Wheel_150 + Speed_Right_Wheel_149 + Speed_Right_Wheel_148 + Speed_Right_Wheel_147 + Speed_Right_Wheel_146 + Speed_Right_Wheel_145 + Speed_Right_Wheel_144 + Speed_Right_Wheel_143 + Speed_Right_Wheel_142 + Speed_Right_Wheel_141 + Speed_Right_Wheel_140 + Speed_Right_Wheel_139 + Speed_Right_Wheel_138 + Speed_Right_Wheel_137 + Speed_Right_Wheel_136 + Speed_Right_Wheel_135 + Speed_Right_Wheel_134 + Speed_Right_Wheel_133 + Speed_Right_Wheel_132 + Speed_Right_Wheel_131 + Speed_Right_Wheel_130 + Speed_Right_Wheel_129 + Speed_Right_Wheel_128 + Speed_Right_Wheel_127 + Speed_Right_Wheel_126 + Speed_Right_Wheel_125 + Speed_Right_Wheel_124 + Speed_Right_Wheel_123 + Speed_Right_Wheel_122 + Speed_Right_Wheel_121 + Speed_Right_Wheel_120 + Speed_Right_Wheel_119 + Speed_Right_Wheel_118 + Speed_Right_Wheel_117 + Speed_Right_Wheel_116 + Speed_Right_Wheel_115 + Speed_Right_Wheel_114 + Speed_Right_Wheel_113 + Speed_Right_Wheel_112 + Speed_Right_Wheel_111 + Speed_Right_Wheel_110 + Speed_Right_Wheel_109 + Speed_Right_Wheel_108 + Speed_Right_Wheel_107 + Speed_Right_Wheel_106 + Speed_Right_Wheel_105 + Speed_Right_Wheel_104 + Speed_Right_Wheel_103 + Speed_Right_Wheel_102 + Speed_Right_Wheel_101 + Speed_Right_Wheel_100 <= stp1))))) : A (F (X (((P4 <= P2) U (stp5 <= P4))))) : A (F (X ((1 <= SpeedPossibleVal_205 + SpeedPossibleVal_206 + SpeedPossibleVal_207 + SpeedPossibleVal_208 + SpeedPossibleVal_209 + SpeedPossibleVal_210 + SpeedPossibleVal_211 + SpeedPossibleVal_212 + SpeedPossibleVal_213 + SpeedPossibleVal_214 + SpeedPossibleVal_215 + SpeedPossibleVal_216 + SpeedPossibleVal_217 + SpeedPossibleVal_218 + SpeedPossibleVal_219 + SpeedPossibleVal_220 + SpeedPossibleVal_221 + SpeedPossibleVal_222 + SpeedPossibleVal_223 + SpeedPossibleVal_224 + SpeedPossibleVal_225 + SpeedPossibleVal_226 + SpeedPossibleVal_227 + SpeedPossibleVal_228 + SpeedPossibleVal_229 + SpeedPossibleVal_230 + SpeedPossibleVal_231 + SpeedPossibleVal_232 + SpeedPossibleVal_233 + SpeedPossibleVal_234 + SpeedPossibleVal_235 + SpeedPossibleVal_236 + SpeedPossibleVal_237 + SpeedPossibleVal_238 + SpeedPossibleVal_239 + SpeedPossibleVal_240 + SpeedPossibleVal_241 + SpeedPossibleVal_242 + SpeedPossibleVal_243 + SpeedPossibleVal_244 + SpeedPossibleVal_245 + SpeedPossibleVal_246 + SpeedPossibleVal_247 + SpeedPossibleVal_248 + SpeedPossibleVal_249 + SpeedPossibleVal_250 + SpeedPossibleVal_251 + SpeedPossibleVal_252 + SpeedPossibleVal_253 + SpeedPossibleVal_254 + SpeedPossibleVal_255 + SpeedPossibleVal_256 + SpeedPossibleVal_257 + SpeedPossibleVal_258 + SpeedPossibleVal_259 + SpeedPossibleVal_260 + SpeedPossibleVal_261 + SpeedPossibleVal_262 + SpeedPossibleVal_263 + SpeedPossibleVal_264 + SpeedPossibleVal_265 + SpeedPossibleVal_266 + SpeedPossibleVal_267 + SpeedPossibleVal_268 + SpeedPossibleVal_269 + SpeedPossibleVal_270 + SpeedPossibleVal_271 + SpeedPossibleVal_272 + SpeedPossibleVal_273 + SpeedPossibleVal_274 + SpeedPossibleVal_275 + SpeedPossibleVal_276 + SpeedPossibleVal_277 + SpeedPossibleVal_278 + SpeedPossibleVal_279 + SpeedPossibleVal_280 + SpeedPossibleVal_281 + SpeedPossibleVal_282 + SpeedPossibleVal_283 + SpeedPossibleVal_284 + SpeedPossibleVal_285 + SpeedPossibleVal_286 + SpeedPossibleVal_1 + SpeedPossibleVal_287 + SpeedPossibleVal_2 + SpeedPossibleVal_288 + SpeedPossibleVal_3 + SpeedPossibleVal_289 + SpeedPossibleVal_4 + SpeedPossibleVal_5 + SpeedPossibleVal_6 + SpeedPossibleVal_7 + SpeedPossibleVal_8 + SpeedPossibleVal_9 + SpeedPossibleVal_290 + SpeedPossibleVal_291 + SpeedPossibleVal_292 + SpeedPossibleVal_293 + SpeedPossibleVal_294 + SpeedPossibleVal_295 + SpeedPossibleVal_296 + SpeedPossibleVal_297 + SpeedPossibleVal_298 + SpeedPossibleVal_299 + SpeedPossibleVal_204 + SpeedPossibleVal_203 + SpeedPossibleVal_202 + SpeedPossibleVal_201 + SpeedPossibleVal_200 + SpeedPossibleVal_300 + SpeedPossibleVal_301 + SpeedPossibleVal_302 + SpeedPossibleVal_303 + SpeedPossibleVal_304 + SpeedPossibleVal_305 + SpeedPossibleVal_306 + SpeedPossibleVal_307 + SpeedPossibleVal_308 + SpeedPossibleVal_309 + SpeedPossibleVal_310 + SpeedPossibleVal_311 + SpeedPossibleVal_312 + SpeedPossibleVal_313 + SpeedPossibleVal_314 + SpeedPossibleVal_315 + SpeedPossibleVal_316 + SpeedPossibleVal_317 + SpeedPossibleVal_318 + SpeedPossibleVal_319 + SpeedPossibleVal_320 + SpeedPossibleVal_321 + SpeedPossibleVal_322 + SpeedPossibleVal_323 + SpeedPossibleVal_324 + SpeedPossibleVal_325 + SpeedPossibleVal_326 + SpeedPossibleVal_327 + SpeedPossibleVal_328 + SpeedPossibleVal_329 + SpeedPossibleVal_330 + SpeedPossibleVal_331 + SpeedPossibleVal_332 + SpeedPossibleVal_333 + SpeedPossibleVal_334 + SpeedPossibleVal_335 + SpeedPossibleVal_336 + SpeedPossibleVal_337 + SpeedPossibleVal_338 + SpeedPossibleVal_339 + SpeedPossibleVal_340 + SpeedPossibleVal_341 + SpeedPossibleVal_342 + SpeedPossibleVal_343 + SpeedPossibleVal_344 + SpeedPossibleVal_345 + SpeedPossibleVal_346 + SpeedPossibleVal_347 + SpeedPossibleVal_348 + SpeedPossibleVal_349 + SpeedPossibleVal_350 + SpeedPossibleVal_351 + SpeedPossibleVal_352 + SpeedPossibleVal_353 + SpeedPossibleVal_354 + SpeedPossibleVal_355 + SpeedPossibleVal_356 + SpeedPossibleVal_357 + SpeedPossibleVal_358 + SpeedPossibleVal_359 + SpeedPossibleVal_360 + SpeedPossibleVal_361 + SpeedPossibleVal_362 + SpeedPossibleVal_363 + SpeedPossibleVal_364 + SpeedPossibleVal_365 + SpeedPossibleVal_366 + SpeedPossibleVal_367 + SpeedPossibleVal_368 + SpeedPossibleVal_369 + SpeedPossibleVal_370 + SpeedPossibleVal_371 + SpeedPossibleVal_372 + SpeedPossibleVal_373 + SpeedPossibleVal_374 + SpeedPossibleVal_375 + SpeedPossibleVal_376 + SpeedPossibleVal_377 + SpeedPossibleVal_378 + SpeedPossibleVal_379 + SpeedPossibleVal_380 + SpeedPossibleVal_381 + SpeedPossibleVal_382 + SpeedPossibleVal_383 + SpeedPossibleVal_384 + SpeedPossibleVal_385 + SpeedPossibleVal_386 + SpeedPossibleVal_387 + SpeedPossibleVal_388 + SpeedPossibleVal_389 + SpeedPossibleVal_390 + SpeedPossibleVal_391 + SpeedPossibleVal_392 + SpeedPossibleVal_393 + SpeedPossibleVal_394 + SpeedPossibleVal_395 + SpeedPossibleVal_396 + SpeedPossibleVal_397 + SpeedPossibleVal_398 + SpeedPossibleVal_399 + SpeedPossibleVal_400 + SpeedPossibleVal_401 + SpeedPossibleVal_402 + SpeedPossibleVal_403 + SpeedPossibleVal_404 + SpeedPossibleVal_405 + SpeedPossibleVal_406 + SpeedPossibleVal_407 + SpeedPossibleVal_408 + SpeedPossibleVal_409 + SpeedPossibleVal_410 + SpeedPossibleVal_411 + SpeedPossibleVal_412 + SpeedPossibleVal_413 + SpeedPossibleVal_414 + SpeedPossibleVal_415 + SpeedPossibleVal_416 + SpeedPossibleVal_417 + SpeedPossibleVal_418 + SpeedPossibleVal_419 + SpeedPossibleVal_420 + SpeedPossibleVal_421 + SpeedPossibleVal_422 + SpeedPossibleVal_423 + SpeedPossibleVal_424 + SpeedPossibleVal_425 + SpeedPossibleVal_426 + SpeedPossibleVal_427 + SpeedPossibleVal_428 + SpeedPossibleVal_429 + SpeedPossibleVal_430 + SpeedPossibleVal_431 + SpeedPossibleVal_432 + SpeedPossibleVal_433 + SpeedPossibleVal_434 + SpeedPossibleVal_435 + SpeedPossibleVal_436 + SpeedPossibleVal_437 + SpeedPossibleVal_438 + SpeedPossibleVal_439 + SpeedPossibleVal_440 + SpeedPossibleVal_441 + SpeedPossibleVal_442 + SpeedPossibleVal_443 + SpeedPossibleVal_444 + SpeedPossibleVal_445 + SpeedPossibleVal_446 + SpeedPossibleVal_447 + SpeedPossibleVal_448 + SpeedPossibleVal_449 + SpeedPossibleVal_450 + SpeedPossibleVal_451 + SpeedPossibleVal_452 + SpeedPossibleVal_453 + SpeedPossibleVal_454 + SpeedPossibleVal_455 + SpeedPossibleVal_456 + SpeedPossibleVal_457 + SpeedPossibleVal_458 + SpeedPossibleVal_459 + SpeedPossibleVal_460 + SpeedPossibleVal_461 + SpeedPossibleVal_462 + SpeedPossibleVal_463 + SpeedPossibleVal_464 + SpeedPossibleVal_465 + SpeedPossibleVal_466 + SpeedPossibleVal_467 + SpeedPossibleVal_468 + SpeedPossibleVal_469 + SpeedPossibleVal_470 + SpeedPossibleVal_471 + SpeedPossibleVal_472 + SpeedPossibleVal_473 + SpeedPossibleVal_474 + SpeedPossibleVal_475 + SpeedPossibleVal_476 + SpeedPossibleVal_477 + SpeedPossibleVal_478 + SpeedPossibleVal_479 + SpeedPossibleVal_480 + SpeedPossibleVal_481 + SpeedPossibleVal_482 + SpeedPossibleVal_483 + SpeedPossibleVal_484 + SpeedPossibleVal_485 + SpeedPossibleVal_486 + SpeedPossibleVal_487 + SpeedPossibleVal_488 + SpeedPossibleVal_489 + SpeedPossibleVal_490 + SpeedPossibleVal_491 + SpeedPossibleVal_492 + SpeedPossibleVal_493 + SpeedPossibleVal_494 + SpeedPossibleVal_495 + SpeedPossibleVal_496 + SpeedPossibleVal_497 + SpeedPossibleVal_498 + SpeedPossibleVal_499 + SpeedPossibleVal_500 + SpeedPossibleVal_199 + SpeedPossibleVal_198 + SpeedPossibleVal_197 + SpeedPossibleVal_196 + SpeedPossibleVal_195 + SpeedPossibleVal_194 + SpeedPossibleVal_193 + SpeedPossibleVal_192 + SpeedPossibleVal_191 + SpeedPossibleVal_190 + SpeedPossibleVal_189 + SpeedPossibleVal_188 + SpeedPossibleVal_187 + SpeedPossibleVal_186 + SpeedPossibleVal_185 + SpeedPossibleVal_184 + SpeedPossibleVal_183 + SpeedPossibleVal_182 + SpeedPossibleVal_181 + SpeedPossibleVal_180 + SpeedPossibleVal_179 + SpeedPossibleVal_178 + SpeedPossibleVal_177 + SpeedPossibleVal_176 + SpeedPossibleVal_175 + SpeedPossibleVal_174 + SpeedPossibleVal_173 + SpeedPossibleVal_172 + SpeedPossibleVal_171 + SpeedPossibleVal_170 + SpeedPossibleVal_169 + SpeedPossibleVal_168 + SpeedPossibleVal_167 + SpeedPossibleVal_166 + SpeedPossibleVal_165 + SpeedPossibleVal_164 + SpeedPossibleVal_163 + SpeedPossibleVal_162 + SpeedPossibleVal_161 + SpeedPossibleVal_160 + SpeedPossibleVal_159 + SpeedPossibleVal_158 + SpeedPossibleVal_157 + SpeedPossibleVal_156 + SpeedPossibleVal_155 + SpeedPossibleVal_154 + SpeedPossibleVal_153 + SpeedPossibleVal_152 + SpeedPossibleVal_151 + SpeedPossibleVal_150 + SpeedPossibleVal_149 + SpeedPossibleVal_148 + SpeedPossibleVal_147 + SpeedPossibleVal_146 + SpeedPossibleVal_145 + SpeedPossibleVal_144 + SpeedPossibleVal_143 + SpeedPossibleVal_142 + SpeedPossibleVal_141 + SpeedPossibleVal_140 + SpeedPossibleVal_139 + SpeedPossibleVal_138 + SpeedPossibleVal_137 + SpeedPossibleVal_136 + SpeedPossibleVal_135 + SpeedPossibleVal_134 + SpeedPossibleVal_133 + SpeedPossibleVal_132 + SpeedPossibleVal_131 + SpeedPossibleVal_130 + SpeedPossibleVal_129 + SpeedPossibleVal_128 + SpeedPossibleVal_127 + SpeedPossibleVal_126 + SpeedPossibleVal_125 + SpeedPossibleVal_124 + SpeedPossibleVal_123 + SpeedPossibleVal_122 + SpeedPossibleVal_121 + SpeedPossibleVal_120 + SpeedPossibleVal_119 + SpeedPossibleVal_118 + SpeedPossibleVal_117 + SpeedPossibleVal_116 + SpeedPossibleVal_115 + SpeedPossibleVal_114 + SpeedPossibleVal_113 + SpeedPossibleVal_112 + SpeedPossibleVal_111 + SpeedPossibleVal_110 + SpeedPossibleVal_109 + SpeedPossibleVal_108 + SpeedPossibleVal_107 + SpeedPossibleVal_106 + SpeedPossibleVal_105 + SpeedPossibleVal_104 + SpeedPossibleVal_103 + SpeedPossibleVal_102 + SpeedPossibleVal_101 + SpeedPossibleVal_100 + SpeedPossibleVal_10 + SpeedPossibleVal_11 + SpeedPossibleVal_12 + SpeedPossibleVal_13 + SpeedPossibleVal_14 + SpeedPossibleVal_15 + SpeedPossibleVal_16 + SpeedPossibleVal_17 + SpeedPossibleVal_18 + SpeedPossibleVal_19 + SpeedPossibleVal_20 + SpeedPossibleVal_21 + SpeedPossibleVal_22 + SpeedPossibleVal_23 + SpeedPossibleVal_24 + SpeedPossibleVal_25 + SpeedPossibleVal_26 + SpeedPossibleVal_27 + SpeedPossibleVal_28 + SpeedPossibleVal_29 + SpeedPossibleVal_30 + SpeedPossibleVal_31 + SpeedPossibleVal_32 + SpeedPossibleVal_33 + SpeedPossibleVal_34 + SpeedPossibleVal_35 + SpeedPossibleVal_36 + SpeedPossibleVal_37 + SpeedPossibleVal_38 + SpeedPossibleVal_39 + SpeedPossibleVal_40 + SpeedPossibleVal_41 + SpeedPossibleVal_42 + SpeedPossibleVal_43 + SpeedPossibleVal_44 + SpeedPossibleVal_45 + SpeedPossibleVal_46 + SpeedPossibleVal_47 + SpeedPossibleVal_48 + SpeedPossibleVal_49 + SpeedPossibleVal_50 + SpeedPossibleVal_51 + SpeedPossibleVal_52 + SpeedPossibleVal_53 + SpeedPossibleVal_54 + SpeedPossibleVal_55 + SpeedPossibleVal_56 + SpeedPossibleVal_57 + SpeedPossibleVal_58 + SpeedPossibleVal_59 + SpeedPossibleVal_60 + SpeedPossibleVal_61 + SpeedPossibleVal_62 + SpeedPossibleVal_63 + SpeedPossibleVal_64 + SpeedPossibleVal_65 + SpeedPossibleVal_66 + SpeedPossibleVal_67 + SpeedPossibleVal_68 + SpeedPossibleVal_69 + SpeedPossibleVal_70 + SpeedPossibleVal_71 + SpeedPossibleVal_72 + SpeedPossibleVal_73 + SpeedPossibleVal_74 + SpeedPossibleVal_75 + SpeedPossibleVal_76 + SpeedPossibleVal_77 + SpeedPossibleVal_78 + SpeedPossibleVal_79 + SpeedPossibleVal_80 + SpeedPossibleVal_81 + SpeedPossibleVal_82 + SpeedPossibleVal_83 + SpeedPossibleVal_84 + SpeedPossibleVal_85 + SpeedPossibleVal_86 + SpeedPossibleVal_87 + SpeedPossibleVal_88 + SpeedPossibleVal_89 + SpeedPossibleVal_90 + SpeedPossibleVal_91 + SpeedPossibleVal_92 + SpeedPossibleVal_93 + SpeedPossibleVal_94 + SpeedPossibleVal_95 + SpeedPossibleVal_96 + SpeedPossibleVal_97 + SpeedPossibleVal_98 + SpeedPossibleVal_99)))) : A (X (G (X (X ((3 <= stp5)))))) : A ((TheAltitude_828 <= AltitudePossibleVal_405)) : A (G (X (F (X ((Speed_Right_Wheel_58 <= AltitudePossibleVal_412)))))) : A ((TheAltitude_770 <= AltitudePossibleVal_695)) : A (G ((Speed_Right_Wheel_387 <= SpeedPossibleVal_21))) : A ((F (F ((AltitudePossibleVal_329 <= TheAltitude_968))) U (TheAltitude_171 <= TheAltitude_619))) : A (X (X ((TheAltitude_998 <= Speed_Right_Wheel_122)))) : A ((TheAltitude_639 <= AltitudePossibleVal_346)) : A ((SpeedPossibleVal_371 <= Speed_Right_Wheel_323))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((G (F ((1 <= stp2))) U F (G ((P5 <= TheAltitude_500 + TheAltitude_501 + TheAltitude_502 + TheAltitude_503 + TheAltitude_504 + TheAltitude_505 + TheAltitude_506 + TheAltitude_507 + TheAltitude_508 + TheAltitude_509 + TheAltitude_510 + TheAltitude_511 + TheAltitude_512 + TheAltitude_513 + TheAltitude_514 + TheAltitude_515 + TheAltitude_516 + TheAltitude_517 + TheAltitude_518 + TheAltitude_519 + T... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A ((G (F ((1 <= stp2))) U F (G ((P5 <= TheAltitude_500 + TheAltitude_501 + TheAltitude_502 + TheAltitude_503 + TheAltitude_504 + TheAltitude_505 + TheAltitude_506 + TheAltitude_507 + TheAltitude_508 + TheAltitude_509 + TheAltitude_510 + TheAltitude_511 + TheAltitude_512 + TheAltitude_513 + TheAltitude_514 + TheAltitude_515 + TheAltitude_516 + TheAltitude_517 + TheAltitude_518 + TheAltitude_519 + TheAltitude_520 + TheAltitude_521 + TheAltitude_522 + TheAltitude_523 + TheAltitude_524 + TheAltitude_525 + TheAltitude_526 + TheAltitude_527 + TheAltitude_528 + TheAltitude_529 + TheAltitude_530 + TheAltitude_531 + TheAltitude_532 + TheAltitude_533 + TheAltitude_534 + TheAltitude_535 + TheAltitude_536 + TheAltitude_537 + TheAltitude_538 + TheAltitude_539 + TheAltitude_540 + TheAltitude_541 + TheAltitude_542 + TheAltitude_543 + TheAltitude_544 + TheAltitude_545 + TheAltitude_546 + TheAltitude_547 + TheAltitude_548 + TheAltitude_549 + TheAltitude_550 + TheAltitude_551 + TheAltitude_552 + TheAltitude_553 + TheAltitude_554 + TheAltitude_555 + TheAltitude_556 + TheAltitude_557 + TheAltitude_558 + TheAltitude_559 + TheAltitude_560 + TheAltitude_561 + TheAltitude_562 + TheAltitude_563 + TheAltitude_564 + TheAltitude_565 + TheAltitude_566 + TheAltitude_567 + TheAltitude_568 + TheAltitude_569 + TheAltitude_570 + TheAltitude_571 + TheAltitude_572 + TheAltitude_573 + TheAltitude_574 + TheAltitude_575 + TheAltitude_576 + TheAltitude_577 + TheAltitude_578 + TheAltitude_579 + TheAltitude_580 + TheAltitude_581 + TheAltitude_582 + TheAltitude_583 + TheAltitude_584 + TheAltitude_585 + TheAltitude_586 + TheAltitude_587 + TheAltitude_588 + TheAltitude_589 + TheAltitude_590 + TheAltitude_591 + TheAltitude_592 + TheAltitude_593 + TheAltitude_594 + TheAltitude_595 + TheAltitude_596 + TheAltitude_597 + TheAltitude_598 + TheAltitude_599 + TheAltitude_1000 + TheAltitude_499 + TheAltitude_498 + TheAltitude_497 + TheAltitude_496 + TheAltitude_495 + TheAltitude_494 + TheAltitude_493 + TheAltitude_492 + TheAltitude_491 + TheAltitude_600 + TheAltitude_601 + TheAltitude_602 + TheAltitude_603 + TheAltitude_604 + TheAltitude_605 + TheAltitude_606 + TheAltitude_607 + TheAltitude_608 + TheAltitude_609 + TheAltitude_610 + TheAltitude_611 + TheAltitude_612 + TheAltitude_613 + TheAltitude_614 + TheAltitude_615 + TheAltitude_616 + TheAltitude_617 + TheAltitude_618 + TheAltitude_619 + TheAltitude_620 + TheAltitude_621 + TheAltitude_622 + TheAltitude_623 + TheAltitude_624 + TheAltitude_625 + TheAltitude_626 + TheAltitude_627 + TheAltitude_628 + TheAltitude_629 + TheAltitude_630 + TheAltitude_631 + TheAltitude_632 + TheAltitude_633 + TheAltitude_634 + TheAltitude_635 + TheAltitude_636 + TheAltitude_637 + TheAltitude_638 + TheAltitude_639 + TheAltitude_640 + TheAltitude_641 + TheAltitude_642 + TheAltitude_643 + TheAltitude_644 + TheAltitude_645 + TheAltitude_646 + TheAltitude_647 + TheAltitude_648 + TheAltitude_649 + TheAltitude_650 + TheAltitude_651 + TheAltitude_652 + TheAltitude_653 + TheAltitude_654 + TheAltitude_655 + TheAltitude_656 + TheAltitude_657 + TheAltitude_658 + TheAltitude_659 + TheAltitude_660 + TheAltitude_661 + TheAltitude_662 + TheAltitude_663 + TheAltitude_664 + TheAltitude_665 + TheAltitude_666 + TheAltitude_667 + TheAltitude_668 + TheAltitude_669 + TheAltitude_490 + TheAltitude_670 + TheAltitude_671 + TheAltitude_672 + TheAltitude_673 + TheAltitude_674 + TheAltitude_675 + TheAltitude_676 + TheAltitude_677 + TheAltitude_678 + TheAltitude_679 + TheAltitude_680 + TheAltitude_681 + TheAltitude_682 + TheAltitude_683 + TheAltitude_684 + TheAltitude_685 + TheAltitude_686 + TheAltitude_687 + TheAltitude_688 + TheAltitude_689 + TheAltitude_690 + TheAltitude_691 + TheAltitude_692 + TheAltitude_693 + TheAltitude_694 + TheAltitude_695 + TheAltitude_696 + TheAltitude_697 + TheAltitude_698 + TheAltitude_699 + TheAltitude_489 + TheAltitude_488 + TheAltitude_487 + TheAltitude_486 + TheAltitude_485 + TheAltitude_484 + TheAltitude_483 + TheAltitude_482 + TheAltitude_481 + TheAltitude_480 + TheAltitude_479 + TheAltitude_478 + TheAltitude_477 + TheAltitude_476 + TheAltitude_475 + TheAltitude_474 + TheAltitude_473 + TheAltitude_472 + TheAltitude_471 + TheAltitude_470 + TheAltitude_469 + TheAltitude_468 + TheAltitude_467 + TheAltitude_466 + TheAltitude_465 + TheAltitude_464 + TheAltitude_463 + TheAltitude_462 + TheAltitude_461 + TheAltitude_460 + TheAltitude_459 + TheAltitude_458 + TheAltitude_457 + TheAltitude_456 + TheAltitude_455 + TheAltitude_454 + TheAltitude_453 + TheAltitude_452 + TheAltitude_451 + TheAltitude_450 + TheAltitude_449 + TheAltitude_448 + TheAltitude_447 + TheAltitude_446 + TheAltitude_445 + TheAltitude_444 + TheAltitude_443 + TheAltitude_442 + TheAltitude_441 + TheAltitude_440 + TheAltitude_439 + TheAltitude_438 + TheAltitude_437 + TheAltitude_436 + TheAltitude_435 + TheAltitude_434 + TheAltitude_433 + TheAltitude_432 + TheAltitude_431 + TheAltitude_430 + TheAltitude_429 + TheAltitude_428 + TheAltitude_427 + TheAltitude_426 + TheAltitude_425 + TheAltitude_424 + TheAltitude_423 + TheAltitude_422 + TheAltitude_421 + TheAltitude_420 + TheAltitude_419 + TheAltitude_418 + TheAltitude_417 + TheAltitude_416 + TheAltitude_415 + TheAltitude_414 + TheAltitude_413 + TheAltitude_412 + TheAltitude_411 + TheAltitude_410 + TheAltitude_409 + TheAltitude_408 + TheAltitude_407 + TheAltitude_406 + TheAltitude_405 + TheAltitude_404 + TheAltitude_403 + TheAltitude_402 + TheAltitude_401 + TheAltitude_400 + TheAltitude_399 + TheAltitude_398 + TheAltitude_397 + TheAltitude_396 + TheAltitude_395 + TheAltitude_394 + TheAltitude_700 + TheAltitude_701 + TheAltitude_702 + TheAltitude_703 + TheAltitude_704 + TheAltitude_705 + TheAltitude_706 + TheAltitude_707 + TheAltitude_708 + TheAltitude_709 + TheAltitude_710 + TheAltitude_711 + TheAltitude_712 + TheAltitude_713 + TheAltitude_714 + TheAltitude_715 + TheAltitude_716 + TheAltitude_717 + TheAltitude_718 + TheAltitude_719 + TheAltitude_720 + TheAltitude_721 + TheAltitude_722 + TheAltitude_723 + TheAltitude_724 + TheAltitude_725 + TheAltitude_726 + TheAltitude_727 + TheAltitude_728 + TheAltitude_729 + TheAltitude_730 + TheAltitude_731 + TheAltitude_732 + TheAltitude_733 + TheAltitude_734 + TheAltitude_735 + TheAltitude_736 + TheAltitude_737 + TheAltitude_738 + TheAltitude_739 + TheAltitude_740 + TheAltitude_741 + TheAltitude_742 + TheAltitude_743 + TheAltitude_744 + TheAltitude_745 + TheAltitude_746 + TheAltitude_747 + TheAltitude_748 + TheAltitude_749 + TheAltitude_750 + TheAltitude_751 + TheAltitude_752 + TheAltitude_753 + TheAltitude_754 + TheAltitude_755 + TheAltitude_756 + TheAltitude_757 + TheAltitude_758 + TheAltitude_759 + TheAltitude_760 + TheAltitude_761 + TheAltitude_762 + TheAltitude_763 + TheAltitude_764 + TheAltitude_765 + TheAltitude_766 + TheAltitude_767 + TheAltitude_768 + TheAltitude_769 + TheAltitude_770 + TheAltitude_771 + TheAltitude_772 + TheAltitude_773 + TheAltitude_774 + TheAltitude_775 + TheAltitude_776 + TheAltitude_777 + TheAltitude_778 + TheAltitude_779 + TheAltitude_780 + TheAltitude_781 + TheAltitude_782 + TheAltitude_783 + TheAltitude_784 + TheAltitude_785 + TheAltitude_786 + TheAltitude_787 + TheAltitude_788 + TheAltitude_789 + TheAltitude_790 + TheAltitude_791 + TheAltitude_792 + TheAltitude_793 + TheAltitude_794 + TheAltitude_795 + TheAltitude_796 + TheAltitude_797 + TheAltitude_798 + TheAltitude_799 + TheAltitude_10 + TheAltitude_11 + TheAltitude_12 + TheAltitude_13 + TheAltitude_14 + TheAltitude_15 + TheAltitude_16 + TheAltitude_17 + TheAltitude_18 + TheAltitude_19 + TheAltitude_20 + TheAltitude_21 + TheAltitude_22 + TheAltitude_23 + TheAltitude_24 + TheAltitude_25 + TheAltitude_26 + TheAltitude_27 + TheAltitude_28 + TheAltitude_29 + TheAltitude_30 + TheAltitude_31 + TheAltitude_32 + TheAltitude_33 + TheAltitude_34 + TheAltitude_35 + TheAltitude_36 + TheAltitude_37 + TheAltitude_38 + TheAltitude_39 + TheAltitude_40 + TheAltitude_41 + TheAltitude_42 + TheAltitude_43 + TheAltitude_44 + TheAltitude_45 + TheAltitude_46 + TheAltitude_47 + TheAltitude_48 + TheAltitude_49 + TheAltitude_50 + TheAltitude_51 + TheAltitude_52 + TheAltitude_53 + TheAltitude_54 + TheAltitude_55 + TheAltitude_56 + TheAltitude_57 + TheAltitude_58 + TheAltitude_59 + TheAltitude_60 + TheAltitude_61 + TheAltitude_62 + TheAltitude_63 + TheAltitude_64 + TheAltitude_65 + TheAltitude_66 + TheAltitude_67 + TheAltitude_68 + TheAltitude_69 + TheAltitude_70 + TheAltitude_71 + TheAltitude_72 + TheAltitude_73 + TheAltitude_74 + TheAltitude_75 + TheAltitude_76 + TheAltitude_77 + TheAltitude_78 + TheAltitude_79 + TheAltitude_80 + TheAltitude_81 + TheAltitude_82 + TheAltitude_83 + TheAltitude_84 + TheAltitude_85 + TheAltitude_86 + TheAltitude_87 + TheAltitude_88 + TheAltitude_89 + TheAltitude_90 + TheAltitude_91 + TheAltitude_92 + TheAltitude_93 + TheAltitude_94 + TheAltitude_95 + TheAltitude_96 + TheAltitude_97 + TheAltitude_98 + TheAltitude_99 + TheAltitude_393 + TheAltitude_392 + TheAltitude_391 + TheAltitude_390 + TheAltitude_389 + TheAltitude_388 + TheAltitude_387 + TheAltitude_386 + TheAltitude_385 + TheAltitude_384 + TheAltitude_383 + TheAltitude_382 + TheAltitude_381 + TheAltitude_380 + TheAltitude_379 + TheAltitude_378 + TheAltitude_377 + TheAltitude_376 + TheAltitude_375 + TheAltitude_374 + TheAltitude_373 + TheAltitude_372 + TheAltitude_371 + TheAltitude_370 + TheAltitude_369 + TheAltitude_368 + TheAltitude_367 + TheAltitude_366 + TheAltitude_365 + TheAltitude_364 + TheAltitude_363 + TheAltitude_362 + TheAltitude_361 + TheAltitude_360 + TheAltitude_359 + TheAltitude_358 + TheAltitude_357 + TheAltitude_356 + TheAltitude_355 + TheAltitude_354 + TheAltitude_353 + TheAltitude_352 + TheAltitude_351 + TheAltitude_350 + TheAltitude_349 + TheAltitude_348 + TheAltitude_347 + TheAltitude_346 + TheAltitude_345 + TheAltitude_344 + TheAltitude_343 + TheAltitude_342 + TheAltitude_341 + TheAltitude_340 + TheAltitude_339 + TheAltitude_338 + TheAltitude_337 + TheAltitude_336 + TheAltitude_335 + TheAltitude_334 + TheAltitude_333 + TheAltitude_332 + TheAltitude_331 + TheAltitude_330 + TheAltitude_329 + TheAltitude_328 + TheAltitude_327 + TheAltitude_326 + TheAltitude_325 + TheAltitude_324 + TheAltitude_323 + TheAltitude_322 + TheAltitude_321 + TheAltitude_320 + TheAltitude_319 + TheAltitude_318 + TheAltitude_317 + TheAltitude_316 + TheAltitude_315 + TheAltitude_314 + TheAltitude_313 + TheAltitude_312 + TheAltitude_311 + TheAltitude_310 + TheAltitude_309 + TheAltitude_308 + TheAltitude_307 + TheAltitude_306 + TheAltitude_305 + TheAltitude_304 + TheAltitude_303 + TheAltitude_302 + TheAltitude_301 + TheAltitude_300 + TheAltitude_800 + TheAltitude_801 + TheAltitude_802 + TheAltitude_803 + TheAltitude_804 + TheAltitude_805 + TheAltitude_806 + TheAltitude_807 + TheAltitude_808 + TheAltitude_809 + TheAltitude_810 + TheAltitude_811 + TheAltitude_812 + TheAltitude_813 + TheAltitude_814 + TheAltitude_815 + TheAltitude_816 + TheAltitude_817 + TheAltitude_818 + TheAltitude_819 + TheAltitude_820 + TheAltitude_821 + TheAltitude_822 + TheAltitude_823 + TheAltitude_824 + TheAltitude_825 + TheAltitude_826 + TheAltitude_827 + TheAltitude_828 + TheAltitude_829 + TheAltitude_830 + TheAltitude_831 + TheAltitude_832 + TheAltitude_833 + TheAltitude_834 + TheAltitude_835 + TheAltitude_836 + TheAltitude_837 + TheAltitude_838 + TheAltitude_839 + TheAltitude_840 + TheAltitude_841 + TheAltitude_842 + TheAltitude_843 + TheAltitude_844 + TheAltitude_845 + TheAltitude_846 + TheAltitude_847 + TheAltitude_848 + TheAltitude_849 + TheAltitude_850 + TheAltitude_851 + TheAltitude_852 + TheAltitude_853 + TheAltitude_854 + TheAltitude_855 + TheAltitude_856 + TheAltitude_857 + TheAltitude_858 + TheAltitude_859 + TheAltitude_860 + TheAltitude_861 + TheAltitude_862 + TheAltitude_863 + TheAltitude_864 + TheAltitude_865 + TheAltitude_866 + TheAltitude_867 + TheAltitude_868 + TheAltitude_869 + TheAltitude_870 + TheAltitude_871 + TheAltitude_872 + TheAltitude_873 + TheAltitude_874 + TheAltitude_875 + TheAltitude_876 + TheAltitude_877 + TheAltitude_878 + TheAltitude_879 + TheAltitude_880 + TheAltitude_881 + TheAltitude_882 + TheAltitude_883 + TheAltitude_884 + TheAltitude_885 + TheAltitude_886 + TheAltitude_887 + TheAltitude_888 + TheAltitude_889 + TheAltitude_890 + TheAltitude_891 + TheAltitude_892 + TheAltitude_893 + TheAltitude_894 + TheAltitude_895 + TheAltitude_896 + TheAltitude_897 + TheAltitude_898 + TheAltitude_899 + TheAltitude_299 + TheAltitude_298 + TheAltitude_297 + TheAltitude_296 + TheAltitude_295 + TheAltitude_900 + TheAltitude_901 + TheAltitude_902 + TheAltitude_903 + TheAltitude_904 + TheAltitude_905 + TheAltitude_906 + TheAltitude_907 + TheAltitude_908 + TheAltitude_909 + TheAltitude_910 + TheAltitude_911 + TheAltitude_912 + TheAltitude_913 + TheAltitude_914 + TheAltitude_915 + TheAltitude_916 + TheAltitude_917 + TheAltitude_918 + TheAltitude_919 + TheAltitude_920 + TheAltitude_921 + TheAltitude_922 + TheAltitude_923 + TheAltitude_924 + TheAltitude_925 + TheAltitude_926 + TheAltitude_927 + TheAltitude_928 + TheAltitude_929 + TheAltitude_930 + TheAltitude_931 + TheAltitude_932 + TheAltitude_933 + TheAltitude_934 + TheAltitude_935 + TheAltitude_936 + TheAltitude_937 + TheAltitude_938 + TheAltitude_939 + TheAltitude_940 + TheAltitude_941 + TheAltitude_942 + TheAltitude_943 + TheAltitude_944 + TheAltitude_945 + TheAltitude_946 + TheAltitude_947 + TheAltitude_948 + TheAltitude_949 + TheAltitude_950 + TheAltitude_951 + TheAltitude_952 + TheAltitude_953 + TheAltitude_954 + TheAltitude_955 + TheAltitude_956 + TheAltitude_957 + TheAltitude_958 + TheAltitude_959 + TheAltitude_960 + TheAltitude_961 + TheAltitude_962 + TheAltitude_963 + TheAltitude_964 + TheAltitude_965 + TheAltitude_966 + TheAltitude_967 + TheAltitude_968 + TheAltitude_969 + TheAltitude_970 + TheAltitude_971 + TheAltitude_972 + TheAltitude_973 + TheAltitude_974 + TheAltitude_975 + TheAltitude_976 + TheAltitude_977 + TheAltitude_978 + TheAltitude_979 + TheAltitude_980 + TheAltitude_981 + TheAltitude_982 + TheAltitude_983 + TheAltitude_984 + TheAltitude_985 + TheAltitude_986 + TheAltitude_987 + TheAltitude_988 + TheAltitude_989 + TheAltitude_990 + TheAltitude_991 + TheAltitude_992 + TheAltitude_993 + TheAltitude_994 + TheAltitude_995 + TheAltitude_996 + TheAltitude_997 + TheAltitude_998 + TheAltitude_999 + TheAltitude_1 + TheAltitude_2 + TheAltitude_3 + TheAltitude_4 + TheAltitude_5 + TheAltitude_6 + TheAltitude_7 + TheAltitude_8 + TheAltitude_9 + TheAltitude_294 + TheAltitude_293 + TheAltitude_292 + TheAltitude_291 + TheAltitude_290 + TheAltitude_289 + TheAltitude_288 + TheAltitude_287 + TheAltitude_286 + TheAltitude_285 + TheAltitude_284 + TheAltitude_283 + TheAltitude_282 + TheAltitude_281 + TheAltitude_280 + TheAltitude_279 + TheAltitude_278 + TheAltitude_277 + TheAltitude_276 + TheAltitude_275 + TheAltitude_274 + TheAltitude_273 + TheAltitude_272 + TheAltitude_271 + TheAltitude_270 + TheAltitude_269 + TheAltitude_268 + TheAltitude_267 + TheAltitude_266 + TheAltitude_265 + TheAltitude_264 + TheAltitude_263 + TheAltitude_262 + TheAltitude_261 + TheAltitude_260 + TheAltitude_259 + TheAltitude_258 + TheAltitude_257 + TheAltitude_256 + TheAltitude_255 + TheAltitude_254 + TheAltitude_253 + TheAltitude_252 + TheAltitude_251 + TheAltitude_250 + TheAltitude_249 + TheAltitude_248 + TheAltitude_247 + TheAltitude_246 + TheAltitude_245 + TheAltitude_244 + TheAltitude_243 + TheAltitude_242 + TheAltitude_241 + TheAltitude_240 + TheAltitude_239 + TheAltitude_238 + TheAltitude_237 + TheAltitude_236 + TheAltitude_235 + TheAltitude_234 + TheAltitude_233 + TheAltitude_232 + TheAltitude_231 + TheAltitude_230 + TheAltitude_229 + TheAltitude_228 + TheAltitude_227 + TheAltitude_226 + TheAltitude_225 + TheAltitude_224 + TheAltitude_223 + TheAltitude_222 + TheAltitude_221 + TheAltitude_220 + TheAltitude_219 + TheAltitude_218 + TheAltitude_217 + TheAltitude_216 + TheAltitude_215 + TheAltitude_214 + TheAltitude_213 + TheAltitude_212 + TheAltitude_211 + TheAltitude_210 + TheAltitude_209 + TheAltitude_208 + TheAltitude_207 + TheAltitude_206 + TheAltitude_205 + TheAltitude_204 + TheAltitude_203 + TheAltitude_202 + TheAltitude_201 + TheAltitude_200 + TheAltitude_199 + TheAltitude_198 + TheAltitude_197 + TheAltitude_196 + TheAltitude_195 + TheAltitude_194 + TheAltitude_193 + TheAltitude_192 + TheAltitude_191 + TheAltitude_190 + TheAltitude_189 + TheAltitude_188 + TheAlti
tude_187 + TheAltitude_186 + TheAltitude_185 + TheAltitude_184 + TheAltitude_183 + TheAltitude_182 + TheAltitude_181 + TheAltitude_180 + TheAltitude_179 + TheAltitude_178 + TheAltitude_177 + TheAltitude_176 + TheAltitude_175 + TheAltitude_174 + TheAltitude_173 + TheAltitude_172 + TheAltitude_171 + TheAltitude_170 + TheAltitude_169 + TheAltitude_168 + TheAltitude_167 + TheAltitude_166 + TheAltitude_165 + TheAltitude_164 + TheAltitude_163 + TheAltitude_162 + TheAltitude_161 + TheAltitude_160 + TheAltitude_159 + TheAltitude_158 + TheAltitude_157 + TheAltitude_156 + TheAltitude_155 + TheAltitude_154 + TheAltitude_153 + TheAltitude_152 + TheAltitude_151 + TheAltitude_150 + TheAltitude_149 + TheAltitude_148 + TheAltitude_147 + TheAltitude_146 + TheAltitude_145 + TheAltitude_144 + TheAltitude_143 + TheAltitude_142 + TheAltitude_141 + TheAltitude_140 + TheAltitude_139 + TheAltitude_138 + TheAltitude_137 + TheAltitude_136 + TheAltitude_135 + TheAltitude_134 + TheAltitude_133 + TheAltitude_132 + TheAltitude_131 + TheAltitude_130 + TheAltitude_129 + TheAltitude_128 + TheAltitude_127 + TheAltitude_126 + TheAltitude_125 + TheAltitude_124 + TheAltitude_123 + TheAltitude_122 + TheAltitude_121 + TheAltitude_120 + TheAltitude_119 + TheAltitude_118 + TheAltitude_117 + TheAltitude_116 + TheAltitude_115 + TheAltitude_114 + TheAltitude_113 + TheAltitude_112 + TheAltitude_111 + TheAltitude_110 + TheAltitude_109 + TheAltitude_108 + TheAltitude_107 + TheAltitude_106 + TheAltitude_105 + TheAltitude_104 + TheAltitude_103 + TheAltitude_102 + TheAltitude_101 + TheAltitude_100)))))
lola: processed formula: A ((G (F ((1 <= stp2))) U F (G ((P5 <= TheAltitude_500 + TheAltitude_501 + TheAltitude_502 + TheAltitude_503 + TheAltitude_504 + TheAltitude_505 + TheAltitude_506 + TheAltitude_507 + TheAltitude_508 + TheAltitude_509 + TheAltitude_510 + TheAltitude_511 + TheAltitude_512 + TheAltitude_513 + TheAltitude_514 + TheAltitude_515 + TheAltitude_516 + TheAltitude_517 + TheAltitude_518 + TheAltitude_519 + T... (shortened)
lola: processed formula length: 17934
lola: 0 rewrites
lola: formula mentions 0 of 3519 places; total mentions: 0
lola: closed formula file AirplaneLD-PT-0500-LTLCardinality.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 8060 bytes per marking, with 30 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 65034 markings, 119019 edges, 13007 markings/sec, 0 secs
lola: 129283 markings, 235124 edges, 12850 markings/sec, 5 secs
lola: 192960 markings, 352096 edges, 12735 markings/sec, 10 secs
lola: 257502 markings, 468603 edges, 12908 markings/sec, 15 secs
lola: 321489 markings, 586313 edges, 12797 markings/sec, 20 secs
lola: 383743 markings, 699314 edges, 12451 markings/sec, 25 secs
lola: 446605 markings, 812957 edges, 12572 markings/sec, 30 secs
lola: 508563 markings, 927342 edges, 12392 markings/sec, 35 secs
lola: 571181 markings, 1040887 edges, 12524 markings/sec, 40 secs
lola: 634457 markings, 1155281 edges, 12655 markings/sec, 45 secs
lola: 696959 markings, 1270573 edges, 12500 markings/sec, 50 secs
lola: 759443 markings, 1383958 edges, 12497 markings/sec, 55 secs
lola: 821700 markings, 1496591 edges, 12451 markings/sec, 60 secs
lola: 882182 markings, 1608517 edges, 12096 markings/sec, 65 secs
lola: 941403 markings, 1715508 edges, 11844 markings/sec, 70 secs
lola: 1001224 markings, 1825526 edges, 11964 markings/sec, 75 secs
lola: 1061803 markings, 1935858 edges, 12116 markings/sec, 80 secs
lola: 1122918 markings, 2046955 edges, 12223 markings/sec, 85 secs
lola: 1183694 markings, 2157476 edges, 12155 markings/sec, 90 secs
lola: 1244167 markings, 2267294 edges, 12095 markings/sec, 95 secs
lola: 1302567 markings, 2374272 edges, 11680 markings/sec, 100 secs
lola: 1361129 markings, 2481186 edges, 11712 markings/sec, 105 secs
lola: 1418654 markings, 2586519 edges, 11505 markings/sec, 110 secs
lola: 1476485 markings, 2692052 edges, 11566 markings/sec, 115 secs
lola: 1534627 markings, 2796356 edges, 11628 markings/sec, 120 secs
lola: 1638175 markings, 2984966 edges, 20710 markings/sec, 125 secs
lola: 1720456 markings, 3135579 edges, 16456 markings/sec, 130 secs
lola: 1777939 markings, 3240831 edges, 11497 markings/sec, 135 secs
lola: 1835812 markings, 3346748 edges, 11575 markings/sec, 140 secs
lola: 1894185 markings, 3451519 edges, 11675 markings/sec, 145 secs
lola: 1950801 markings, 3556078 edges, 11323 markings/sec, 150 secs
lola: 2008035 markings, 3660366 edges, 11447 markings/sec, 155 secs
lola: 2064836 markings, 3763802 edges, 11360 markings/sec, 160 secs
lola: 2120265 markings, 3864477 edges, 11086 markings/sec, 165 secs
lola: 2175101 markings, 3965389 edges, 10967 markings/sec, 170 secs
lola: 2231361 markings, 4066762 edges, 11252 markings/sec, 175 secs
lola: 2286256 markings, 4167829 edges, 10979 markings/sec, 180 secs
lola: 2341192 markings, 4267328 edges, 10987 markings/sec, 185 secs
lola: 2395125 markings, 4366650 edges, 10787 markings/sec, 190 secs
lola: 2449572 markings, 4465368 edges, 10889 markings/sec, 195 secs
lola: 2503546 markings, 4562955 edges, 10795 markings/sec, 200 secs
lola: 2557104 markings, 4660047 edges, 10712 markings/sec, 205 secs
lola: 2609530 markings, 4757091 edges, 10485 markings/sec, 210 secs
lola: 2662157 markings, 4852872 edges, 10525 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
terminate called after throwing an instance of 'std::runtime_error'
what(): parse error at position 0: unexpected character, last read: '\ufffd'
Aborted (core dumped)
----- Kill lola and sara stderr -----
FORMULA AirplaneLD-PT-0500-LTLCardinality-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA AirplaneLD-PT-0500-LTLCardinality-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA AirplaneLD-PT-0500-LTLCardinality-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA AirplaneLD-PT-0500-LTLCardinality-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA AirplaneLD-PT-0500-LTLCardinality-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA AirplaneLD-PT-0500-LTLCardinality-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA AirplaneLD-PT-0500-LTLCardinality-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA AirplaneLD-PT-0500-LTLCardinality-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA AirplaneLD-PT-0500-LTLCardinality-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA AirplaneLD-PT-0500-LTLCardinality-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA AirplaneLD-PT-0500-LTLCardinality-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA AirplaneLD-PT-0500-LTLCardinality-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA AirplaneLD-PT-0500-LTLCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA AirplaneLD-PT-0500-LTLCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA AirplaneLD-PT-0500-LTLCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA AirplaneLD-PT-0500-LTLCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
----- Finished stderr -----

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-PT-0500"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="mcc4mcc-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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