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 26M
-rw-r--r-- 1 mcc users 585K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.3M May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 468K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.9M 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 161K May 26 09:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 358K May 26 09:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 176K May 26 09:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 681K May 26 09:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 633K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.5M 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 532K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.2M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 127K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 246K 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 15M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is AirplaneLD-PT-2000, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r184-qhx2-152732127300035
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1528182892306

info: Time: 3600 - MCC
===========================================================================================
prep: translating AirplaneLD-PT-2000 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating AirplaneLD-PT-2000 formula LTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking LTLCardinality @ AirplaneLD-PT-2000 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 30027/65536 symbol table entries, 4976 collisions
lola: preprocessing...
lola: Size of bit vector: 448608
lola: finding significant places
lola: 14019 places, 16008 transitions, 8014 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 12015 transition conflict sets
lola: TASK
lola: reading formula from AirplaneLD-PT-2000-LTLCardinality.task
lola: place invariant simplifies atomic proposition
lola: before: (2 <= AltitudePossibleVal_999 + AltitudePossibleVal_998 + AltitudePossibleVal_997 + AltitudePossibleVal_996 + AltitudePossibleVal_995 + AltitudePossibleVal_994 + AltitudePossibleVal_993 + AltitudePossibleVal_992 + AltitudePossibleVal_991 + AltitudePossibleVal_990 + AltitudePossibleVal_989 + AltitudePossibleVal_988 + AltitudePossibleVal_987 + AltitudePossibleVal_986 + AltitudePossibleVal_985 + AltitudePossibleVal_984 + AltitudePossibleVal_983 + AltitudePossibleVal_982 + AltitudePossibleVal_981 + AltitudePossibleVal_980 + AltitudePossibleVal_979 + AltitudePossibleVal_978 + AltitudePossibleVal_977 + AltitudePossibleVal_976 + AltitudePossibleVal_975 + AltitudePossibleVal_974 + AltitudePossibleVal_973 + AltitudePossibleVal_972 + AltitudePossibleVal_971 + AltitudePossibleVal_970 + AltitudePossibleVal_969 + AltitudePossibleVal_968 + AltitudePossibleVal_967 + AltitudePossibleVal_966 + AltitudePossibleVal_965 + AltitudePossibleVal_964 + AltitudePossibleVal_963 + AltitudePossibleVal_962 + AltitudePossibleVal_961 + AltitudePossibleVal_960 + AltitudePossibleVal_959 + AltitudePossibleVal_958 + AltitudePossibleVal_957 + AltitudePossibleVal_956 + AltitudePossibleVal_955 + AltitudePossibleVal_954 + AltitudePossibleVal_953 + AltitudePossibleVal_952 + AltitudePossibleVal_951 + AltitudePossibleVal_950 + AltitudePossibleVal_949 + AltitudePossibleVal_948 + AltitudePossibleVal_947 + AltitudePossibleVal_946 + AltitudePossibleVal_945 + AltitudePossibleVal_944 + AltitudePossibleVal_943 + AltitudePossibleVal_942 + AltitudePossibleVal_941 + AltitudePossibleVal_940 + AltitudePossibleVal_939 + AltitudePossibleVal_938 + AltitudePossibleVal_937 + AltitudePossibleVal_936 + AltitudePossibleVal_935 + AltitudePossibleVal_934 + AltitudePossibleVal_933 + AltitudePossibleVal_932 + AltitudePossibleVal_931 + AltitudePossibleVal_930 + AltitudePossibleVal_929 + AltitudePossibleVal_928 + AltitudePossibleVal_927 + AltitudePossibleVal_926 + AltitudePossibleVal_925 + AltitudePossibleVal_924 + AltitudePossibleVal_923 + AltitudePossibleVal_922 + AltitudePossibleVal_921 + AltitudePossibleVal_920 + AltitudePossibleVal_919 + AltitudePossibleVal_918 + AltitudePossibleVal_917 + AltitudePossibleVal_916 + AltitudePossibleVal_915 + AltitudePossibleVal_914 + AltitudePossibleVal_913 + AltitudePossibleVal_912 + AltitudePossibleVal_911 + AltitudePossibleVal_910 + AltitudePossibleVal_909 + AltitudePossibleVal_908 + AltitudePossibleVal_907 + AltitudePossibleVal_906 + AltitudePossibleVal_905 + AltitudePossibleVal_904 + AltitudePossibleVal_903 + AltitudePossibleVal_902 + AltitudePossibleVal_901 + AltitudePossibleVal_900 + AltitudePossibleVal_3199 + AltitudePossibleVal_3198 + AltitudePossibleVal_3197 + AltitudePossibleVal_3196 + AltitudePossibleVal_3195 + AltitudePossibleVal_3194 + AltitudePossibleVal_3193 + AltitudePossibleVal_3192 + AltitudePossibleVal_3191 + AltitudePossibleVal_3190 + AltitudePossibleVal_3189 + AltitudePossibleVal_3188 + AltitudePossibleVal_3187 + AltitudePossibleVal_3186 + AltitudePossibleVal_3185 + AltitudePossibleVal_3184 + AltitudePossibleVal_3183 + AltitudePossibleVal_3182 + AltitudePossibleVal_3181 + AltitudePossibleVal_3180 + AltitudePossibleVal_3179 + AltitudePossibleVal_3178 + AltitudePossibleVal_3177 + AltitudePossibleVal_3176 + AltitudePossibleVal_3175 + AltitudePossibleVal_3174 + AltitudePossibleVal_3173 + AltitudePossibleVal_3172 + AltitudePossibleVal_3171 + AltitudePossibleVal_3170 + AltitudePossibleVal_3169 + AltitudePossibleVal_3168 + AltitudePossibleVal_3167 + AltitudePossibleVal_3166 + AltitudePossibleVal_3165 + AltitudePossibleVal_3164 + AltitudePossibleVal_3163 + AltitudePossibleVal_3200 + AltitudePossibleVal_3201 + AltitudePossibleVal_3202 + AltitudePossibleVal_3203 + AltitudePossibleVal_3204 + AltitudePossibleVal_3205 + AltitudePossibleVal_3206 + AltitudePossibleVal_3207 + AltitudePossibleVal_3208 + AltitudePossibleVal_3209 + AltitudePossibleVal_3162 + AltitudePossibleVal_3161 + AltitudePossibleVal_3160 + AltitudePossibleVal_3159 + AltitudePossibleVal_3158 + AltitudePossibleVal_3157 + AltitudePossibleVal_3156 + AltitudePossibleVal_3155 + AltitudePossibleVal_3154 + AltitudePossibleVal_3153 + AltitudePossibleVal_3152 + AltitudePossibleVal_3151 + AltitudePossibleVal_3150 + AltitudePossibleVal_3149 + AltitudePossibleVal_3148 + AltitudePossibleVal_3147 + AltitudePossibleVal_3146 + AltitudePossibleVal_3145 + AltitudePossibleVal_3144 + AltitudePossibleVal_3143 + AltitudePossibleVal_3210 + AltitudePossibleVal_3211 + AltitudePossibleVal_3212 + AltitudePossibleVal_3213 + AltitudePossibleVal_3214 + AltitudePossibleVal_3215 + AltitudePossibleVal_3216 + AltitudePossibleVal_3217 + AltitudePossibleVal_3218 + AltitudePossibleVal_3219 + AltitudePossibleVal_3142 + AltitudePossibleVal_3141 + AltitudePossibleVal_3140 + AltitudePossibleVal_3139 + AltitudePossibleVal_3138 + AltitudePossibleVal_3137 + AltitudePossibleVal_3136 + AltitudePossibleVal_3135 + AltitudePossibleVal_3134 + AltitudePossibleVal_3133 + AltitudePossibleVal_3220 + AltitudePossibleVal_3221 + AltitudePossibleVal_3222 + AltitudePossibleVal_3223 + AltitudePossibleVal_3224 + AltitudePossibleVal_3225 + AltitudePossibleVal_3226 + AltitudePossibleVal_3227 + AltitudePossibleVal_3228 + AltitudePossibleVal_3229 + AltitudePossibleVal_3132 + AltitudePossibleVal_3131 + AltitudePossibleVal_3130 + AltitudePossibleVal_3129 + AltitudePossibleVal_3128 + AltitudePossibleVal_3127 + AltitudePossibleVal_3126 + AltitudePossibleVal_3125 + AltitudePossibleVal_3124 + AltitudePossibleVal_3123 + AltitudePossibleVal_3230 + AltitudePossibleVal_3231 + AltitudePossibleVal_3232 + AltitudePossibleVal_3233 + AltitudePossibleVal_3234 + AltitudePossibleVal_3235 + AltitudePossibleVal_3236 + AltitudePossibleVal_3237 + AltitudePossibleVal_3238 + AltitudePossibleVal_3239 + AltitudePossibleVal_3122 + AltitudePossibleVal_3121 + AltitudePossibleVal_3120 + AltitudePossibleVal_3119 + AltitudePossibleVal_3118 + AltitudePossibleVal_3117 + AltitudePossibleVal_3116 + AltitudePossibleVal_3115 + AltitudePossibleVal_3114 + AltitudePossibleVal_3113 + AltitudePossibleVal_3240 + AltitudePossibleVal_3241 + AltitudePossibleVal_3242 + AltitudePossibleVal_3243 + AltitudePossibleVal_3244 + AltitudePossibleVal_3245 + AltitudePossibleVal_3246 + AltitudePossibleVal_3247 + AltitudePossibleVal_3248 + AltitudePossibleVal_3249 + AltitudePossibleVal_3112 + AltitudePossibleVal_3111 + AltitudePossibleVal_3110 + AltitudePossibleVal_3109 + AltitudePossibleVal_3108 + AltitudePossibleVal_3107 + AltitudePossibleVal_3106 + AltitudePossibleVal_3105 + AltitudePossibleVal_3104 + AltitudePossibleVal_3103 + AltitudePossibleVal_3250 + AltitudePossibleVal_3251 + AltitudePossibleVal_3252 + AltitudePossibleVal_3253 + AltitudePossibleVal_3254 + AltitudePossibleVal_3255 + AltitudePossibleVal_3256 + AltitudePossibleVal_3257 + AltitudePossibleVal_3258 + AltitudePossibleVal_3259 + AltitudePossibleVal_3102 + AltitudePossibleVal_3101 + AltitudePossibleVal_3100 + AltitudePossibleVal_3260 + AltitudePossibleVal_3261 + AltitudePossibleVal_3262 + AltitudePossibleVal_3263 + AltitudePossibleVal_3264 + AltitudePossibleVal_3265 + AltitudePossibleVal_3266 + AltitudePossibleVal_3267 + AltitudePossibleVal_3268 + AltitudePossibleVal_3269 + AltitudePossibleVal_3270 + AltitudePossibleVal_3271 + AltitudePossibleVal_3272 + AltitudePossibleVal_3273 + AltitudePossibleVal_3274 + AltitudePossibleVal_3275 + AltitudePossibleVal_3276 + AltitudePossibleVal_3277 + AltitudePossibleVal_3278 + AltitudePossibleVal_3279 + AltitudePossibleVal_3280 + AltitudePossibleVal_3281 + AltitudePossibleVal_3282 + AltitudePossibleVal_3283 + AltitudePossibleVal_3284 + AltitudePossibleVal_3285 + AltitudePossibleVal_3286 + AltitudePossibleVal_3287 + AltitudePossibleVal_3288 + AltitudePossibleVal_3289 + AltitudePossibleVal_3290 + AltitudePossibleVal_3291 + AltitudePossibleVal_3292 + AltitudePossibleVal_3293 + AltitudePossibleVal_3294 + AltitudePossibleVal_3295 + AltitudePossibleVal_3296 + AltitudePossibleVal_3297 + AltitudePossibleVal_3298 + AltitudePossibleVal_3299 + AltitudePossibleVal_899 + AltitudePossibleVal_898 + AltitudePossibleVal_897 + AltitudePossibleVal_896 + AltitudePossibleVal_895 + AltitudePossibleVal_894 + AltitudePossibleVal_893 + AltitudePossibleVal_892 + AltitudePossibleVal_891 + AltitudePossibleVal_890 + AltitudePossibleVal_889 + AltitudePossibleVal_888 + AltitudePossibleVal_887 + AltitudePossibleVal_886 + AltitudePossibleVal_885 + AltitudePossibleVal_884 + AltitudePossibleVal_883 + AltitudePossibleVal_882 + AltitudePossibleVal_881 + AltitudePossibleVal_880 + AltitudePossibleVal_879 + AltitudePossibleVal_878 + AltitudePossibleVal_877 + AltitudePossibleVal_876 + AltitudePossibleVal_875 + AltitudePossibleVal_874 + AltitudePossibleVal_873 + AltitudePossibleVal_872 + AltitudePossibleVal_871 + AltitudePossibleVal_870 + AltitudePossibleVal_869 + AltitudePossibleVal_868 + AltitudePossibleVal_867 + AltitudePossibleVal_866 + AltitudePossibleVal_865 + AltitudePossibleVal_864 + AltitudePossibleVal_863 + AltitudePossibleVal_862 + AltitudePossibleVal_861 + AltitudePossibleVal_860 + AltitudePossibleVal_859 + AltitudePossibleVal_858 + AltitudePossibleVal_857 + AltitudePossibleVal_856 + AltitudePossibleVal_855 + AltitudePossibleVal_854 + AltitudePossibleVal_853 + AltitudePossibleVal_852 + AltitudePossibleVal_851 + AltitudePossibleVal_850 + AltitudePossibleVal_849 + AltitudePossibleVal_848 + AltitudePossibleVal_847 + AltitudePossibleVal_846 + AltitudePossibleVal_845 + AltitudePossibleVal_844 + AltitudePossibleVal_843 + AltitudePossibleVal_842 + AltitudePossibleVal_841 + AltitudePossibleVal_840 + AltitudePossibleVal_839 + AltitudePossibleVal_838 + AltitudePossibleVal_837 + AltitudePossibleVal_836 + AltitudePossibleVal_835 + AltitudePossibleVal_834 + AltitudePossibleVal_833 + AltitudePossibleVal_832 + AltitudePossibleVal_831 + AltitudePossibleVal_830 + AltitudePossibleVal_829 + AltitudePossibleVal_828 + AltitudePossibleVal_827 + AltitudePossibleVal_826 + AltitudePossibleVal_825 + AltitudePossibleVal_824 + AltitudePossibleVal_823 + AltitudePossibleVal_822 + AltitudePossibleVal_821 + AltitudePossibleVal_820 + AltitudePossibleVal_819 + AltitudePossibleVal_818 + AltitudePossibleVal_817 + AltitudePossibleVal_816 + AltitudePossibleVal_815 + AltitudePossibleVal_814 + AltitudePossibleVal_813 + AltitudePossibleVal_812 + AltitudePossibleVal_811 + AltitudePossibleVal_810 + AltitudePossibleVal_809 + AltitudePossibleVal_808 + AltitudePossibleVal_807 + AltitudePossibleVal_806 + AltitudePossibleVal_805 + AltitudePossibleVal_804 + AltitudePossibleVal_803 + AltitudePossibleVal_802 + AltitudePossibleVal_801 + AltitudePossibleVal_800 + AltitudePossibleVal_3099 + AltitudePossibleVal_3098 + AltitudePossibleVal_3097 + AltitudePossibleVal_3096 + AltitudePossibleVal_3095 + AltitudePossibleVal_3094 + AltitudePossibleVal_3093 + AltitudePossibleVal_3092 + AltitudePossibleVal_3091 + AltitudePossibleVal_3090 + AltitudePossibleVal_3089 + AltitudePossibleVal_3088 + AltitudePossibleVal_3087 + AltitudePossibleVal_3086 + AltitudePossibleVal_3085 + AltitudePossibleVal_3084 + AltitudePossibleVal_3083 + AltitudePossibleVal_3082 + AltitudePossibleVal_3081 + AltitudePossibleVal_3080 + AltitudePossibleVal_3079 + AltitudePossibleVal_3078 + AltitudePossibleVal_3077 + AltitudePossibleVal_3076 + AltitudePossibleVal_3075 + AltitudePossibleVal_3074 + AltitudePossibleVal_3073 + AltitudePossibleVal_3072 + AltitudePossibleVal_3071 + AltitudePossibleVal_3070 + AltitudePossibleVal_3069 + AltitudePossibleVal_3068 + AltitudePossibleVal_3067 + AltitudePossibleVal_3066 + AltitudePossibleVal_3065 + AltitudePossibleVal_3064 + AltitudePossibleVal_3063 + AltitudePossibleVal_3062 + AltitudePossibleVal_3061 + AltitudePossibleVal_3060 + AltitudePossibleVal_3059 + AltitudePossibleVal_3058 + AltitudePossibleVal_3057 + AltitudePossibleVal_3056 + AltitudePossibleVal_3055 + AltitudePossibleVal_3054 + AltitudePossibleVal_3053 + AltitudePossibleVal_3052 + AltitudePossibleVal_3051 + AltitudePossibleVal_3050 + AltitudePossibleVal_3049 + AltitudePossibleVal_3048 + AltitudePossibleVal_3047 + AltitudePossibleVal_3046 + AltitudePossibleVal_3045 + AltitudePossibleVal_3044 + AltitudePossibleVal_3043 + AltitudePossibleVal_3042 + AltitudePossibleVal_3041 + AltitudePossibleVal_3040 + AltitudePossibleVal_3039 + AltitudePossibleVal_3038 + AltitudePossibleVal_3037 + AltitudePossibleVal_3036 + AltitudePossibleVal_3035 + AltitudePossibleVal_3034 + AltitudePossibleVal_3033 + AltitudePossibleVal_3032 + AltitudePossibleVal_3031 + AltitudePossibleVal_3030 + AltitudePossibleVal_3029 + AltitudePossibleVal_3028 + AltitudePossibleVal_3027 + AltitudePossibleVal_3026 + AltitudePossibleVal_3025 + AltitudePossibleVal_3024 + AltitudePossibleVal_3023 + AltitudePossibleVal_3022 + AltitudePossibleVal_3021 + AltitudePossibleVal_3020 + AltitudePossibleVal_3019 + AltitudePossibleVal_3018 + AltitudePossibleVal_3017 + AltitudePossibleVal_3016 + AltitudePossibleVal_3015 + AltitudePossibleVal_3014 + AltitudePossibleVal_3013 + AltitudePossibleVal_3012 + AltitudePossibleVal_3011 + AltitudePossibleVal_3010 + AltitudePossibleVal_3009 + AltitudePossibleVal_3008 + AltitudePossibleVal_3007 + AltitudePossibleVal_3006 + AltitudePossibleVal_3005 + AltitudePossibleVal_3004 + AltitudePossibleVal_3003 + AltitudePossibleVal_3002 + AltitudePossibleVal_3001 + AltitudePossibleVal_3000 + AltitudePossibleVal_3300 + AltitudePossibleVal_3301 + AltitudePossibleVal_3302 + AltitudePossibleVal_3303 + AltitudePossibleVal_3304 + AltitudePossibleVal_3305 + AltitudePossibleVal_3306 + AltitudePossibleVal_3307 + AltitudePossibleVal_3308 + AltitudePossibleVal_3309 + AltitudePossibleVal_3310 + AltitudePossibleVal_3311 + AltitudePossibleVal_3312 + AltitudePossibleVal_3313 + AltitudePossibleVal_3314 + AltitudePossibleVal_3315 + AltitudePossibleVal_3316 + AltitudePossibleVal_3317 + AltitudePossibleVal_3318 + AltitudePossibleVal_3319 + AltitudePossibleVal_3320 + AltitudePossibleVal_3321 + AltitudePossibleVal_3322 + AltitudePossibleVal_3323 + AltitudePossibleVal_3324 + AltitudePossibleVal_3325 + AltitudePossibleVal_3326 + AltitudePossibleVal_3327 + AltitudePossibleVal_3328 + AltitudePossibleVal_3329 + AltitudePossibleVal_3330 + AltitudePossibleVal_2000 + AltitudePossibleVal_3331 + AltitudePossibleVal_2001 + AltitudePossibleVal_3332 + AltitudePossibleVal_2002 + AltitudePossibleVal_3333 + AltitudePossibleVal_2003 + AltitudePossibleVal_3334 + AltitudePossibleVal_2004 + AltitudePossibleVal_3335 + AltitudePossibleVal_2005 + AltitudePossibleVal_3336 + AltitudePossibleVal_2006 + AltitudePossibleVal_3337 + AltitudePossibleVal_2007 + AltitudePossibleVal_3338 + AltitudePossibleVal_2008 + AltitudePossibleVal_3339 + AltitudePossibleVal_2009 + AltitudePossibleVal_3340 + AltitudePossibleVal_2010 + AltitudePossibleVal_3341 + AltitudePossibleVal_2011 + AltitudePossibleVal_3342 + AltitudePossibleVal_2012 + AltitudePossibleVal_3343 + AltitudePossibleVal_2013 + AltitudePossibleVal_3344 + AltitudePossibleVal_2014 + AltitudePossibleVal_3345 + AltitudePossibleVal_2015 + AltitudePossibleVal_3346 + AltitudePossibleVal_2016 + AltitudePossibleVal_3347 + AltitudePossibleVal_2017 + AltitudePossibleVal_3348 + AltitudePossibleVal_2018 + AltitudePossibleVal_3349 + AltitudePossibleVal_2019 + AltitudePossibleVal_3350 + AltitudePossibleVal_2020 + AltitudePossibleVal_3351 + AltitudePossibleVal_2021 + AltitudePossibleVal_3352 + AltitudePossibleVal_2022 + AltitudePossibleVal_3353 + AltitudePossibleVal_2023 + AltitudePossibleVal_3354 + AltitudePossibleVal_2024 + AltitudePossibleVal_3355 + AltitudePossibleVal_2025 + AltitudePossibleVal_3356 + AltitudePossibleVal_2026 + AltitudePossibleVal_3357 + AltitudePossibleVal_2027 + AltitudePossibleVal_3358 + AltitudePossibleVal_2028 + AltitudePossibleVal_3359 + AltitudePossibleVal_2029 + AltitudePossibleVal_3360 + AltitudePossibleVal_2030 + AltitudePossibleVal_3361 + AltitudePossibleVal_2031 + AltitudePossibleVal_3362 + AltitudePossibleVal_2032 + AltitudePossibleVal_3363 + AltitudePossibleVal_2033 + AltitudePossibleVal_3364 + AltitudePossibleVal_2034 + AltitudePossibleVal_3365 + AltitudePossibleVal_2035 + AltitudePossibleVal_3366 + AltitudePossibleVal_2036 + AltitudePossibleVal_3367 + AltitudePossibleVal_2037 + AltitudePossibleVal_3368 + AltitudePossibleVal_2038 + AltitudePossibleVal_3369 + AltitudePossibleVal_2039 + AltitudePossibleVal_799 + AltitudePossibleVal_798 + AltitudePossibleVal_797 + AltitudePossibleVal_796 + AltitudePossibleVal_795 + AltitudePossibleVal_794 + AltitudePossibleVal_793 + AltitudePossibleVal_792 + AltitudePossibleVal_3370 + AltitudePossibleVal_2040 + AltitudePossibleVal_3371 + AltitudePossibleVal_2041 + AltitudePossibleVal_3372 + AltitudePossibleVal_2042 + AltitudePossibleVal_3373 + AltitudePossibleVal_2043 + AltitudePossibleVal_3374 + AltitudePossibleVal_2044 + AltitudePossibleVal_3375 + AltitudePossibleVal_2045 + AltitudePossibleVal_3376 + AltitudePossibleVal_2046 + AltitudePossibleVal_3377 + AltitudePossibleVal_2047 + AltitudePossibleVal_3378 + AltitudePossibleVal_2048 + AltitudePossibleVal_3379 + AltitudePossibleVal_2049 + AltitudePossibleVal_791 + AltitudePossibleVal_790 + AltitudePossibleVal_789 + AltitudePossibleVal_788 + AltitudePossibleVal_787 + AltitudePossibleVal_786 + AltitudePossibleVal_785 + AltitudePossibleVal_784 + AltitudePossibleVal_783 + AltitudePossibleVal_782 + AltitudePossibleVal_3380 + AltitudePossibleVal_2050 + AltitudePossibleVal_3381 + AltitudePossibleVal_2051 + AltitudePossibleVal_3382 + AltitudePossibleVal_2052 + AltitudePossibleVal_3383 + AltitudePossibleVal_2053 + AltitudePossibleVal_3384 + AltitudePossibleVal_2054 + AltitudePossibleVal_3385 + AltitudePossibleVal_2055 + AltitudePossibleVal_3386 + AltitudePossibleVal_2056 + AltitudePossibleVal_3387 + AltitudePossibleVal_2057 + AltitudePossibleVal_3388 + AltitudePossibleVal_2058 + AltitudePossibleVal_3389 + AltitudePossibleVal_2059 + AltitudePossibleVal_3390 + AltitudePossibleVal_2060 + AltitudePossibleVal_3391 + AltitudePossibleVal_2061 + AltitudePossibleVal_3392 + AltitudePossibleVal_2062 + AltitudePossibleVal_3393 + AltitudePossibleVal_2063 + AltitudePossibleVal_3394 + AltitudePossibleVal_2064 + AltitudePossibleVal_3395 + AltitudePossibleVal_2065 + AltitudePossibleVal_3396 + AltitudePossibleVal_2066 + AltitudePossibleVal_3397 + AltitudePossibleVal_2067 + AltitudePossibleVal_3398 + AltitudePossibleVal_2068 + AltitudePossibleVal_3399 + AltitudePossibleVal_2069 + AltitudePossibleVal_2070 + AltitudePossibleVal_2071 + AltitudePossibleVal_2072 + AltitudePossibleVal_2073 + AltitudePossibleVal_2074 + AltitudePossibleVal_2075 + AltitudePossibleVal_2076 + AltitudePossibleVal_2077 + AltitudePossibleVal_2078 + AltitudePossibleVal_2079 + AltitudePossibleVal_2080 + AltitudePossibleVal_2081 + AltitudePossibleVal_2082 + AltitudePossibleVal_2083 + AltitudePossibleVal_2084 + AltitudePossibleVal_2085 + AltitudePossibleVal_2086 + AltitudePossibleVal_2087 + AltitudePossibleVal_2088 + AltitudePossibleVal_2089 + AltitudePossibleVal_2090 + AltitudePossibleVal_2091 + AltitudePossibleVal_2092 + AltitudePossibleVal_2093 + AltitudePossibleVal_2094 + AltitudePossibleVal_2095 + AltitudePossibleVal_2096 + AltitudePossibleVal_2097 + AltitudePossibleVal_2098 + AltitudePossibleVal_2099 + AltitudePossibleVal_781 + AltitudePossibleVal_780 + AltitudePossibleVal_779 + AltitudePossibleVal_778 + AltitudePossibleVal_777 + AltitudePossibleVal_776 + AltitudePossibleVal_775 + AltitudePossibleVal_774 + AltitudePossibleVal_773 + AltitudePossibleVal_772 + AltitudePossibleVal_771 + AltitudePossibleVal_770 + AltitudePossibleVal_769 + AltitudePossibleVal_768 + AltitudePossibleVal_767 + AltitudePossibleVal_766 + AltitudePossibleVal_765 + AltitudePossibleVal_764 + AltitudePossibleVal_763 + AltitudePossibleVal_762 + AltitudePossibleVal_761 + AltitudePossibleVal_760 + AltitudePossibleVal_759 + AltitudePossibleVal_758 + AltitudePossibleVal_757 + AltitudePossibleVal_756 + AltitudePossibleVal_755 + AltitudePossibleVal_754 + AltitudePossibleVal_753 + AltitudePossibleVal_752 + AltitudePossibleVal_751 + AltitudePossibleVal_750 + AltitudePossibleVal_749 + AltitudePossibleVal_748 + AltitudePossibleVal_747 + AltitudePossibleVal_746 + AltitudePossibleVal_745 + AltitudePossibleVal_744 + AltitudePossibleVal_743 + AltitudePossibleVal_742 + AltitudePossibleVal_741 + AltitudePossibleVal_740 + AltitudePossibleVal_739 + AltitudePossibleVal_738 + AltitudePossibleVal_737 + AltitudePossibleVal_736 + AltitudePossibleVal_735 + AltitudePossibleVal_734 + AltitudePossibleVal_733 + AltitudePossibleVal_732 + AltitudePossibleVal_731 + AltitudePossibleVal_730 + AltitudePossibleVal_729 + AltitudePossibleVal_728 + AltitudePossibleVal_727 + AltitudePossibleVal_726 + AltitudePossibleVal_725 + AltitudePossibleVal_724 + AltitudePossibleVal_723 + AltitudePossibleVal_722 + AltitudePossibleVal_721 + AltitudePossibleVal_720 + AltitudePossibleVal_719 + AltitudePossibleVal_718 + AltitudePossibleVal_717 + AltitudePossibleVal_716 + AltitudePossibleVal_715 + AltitudePossibleVal_714 + AltitudePossibleVal_713 + AltitudePossibleVal_712 + AltitudePossibleVal_711 + AltitudePossibleVal_710 + AltitudePossibleVal_709 + AltitudePossibleVal_708 + AltitudePossibleVal_707 + AltitudePossibleVal_706 + AltitudePossibleVal_705 + AltitudePossibleVal_704 + AltitudePossibleVal_703 + AltitudePossibleVal_702 + AltitudePossibleVal_701 + AltitudePossibleVal_700 + AltitudePossibleVal_1999 + AltitudePossibleVal_1998 + AltitudePossibleVal_1997 + AltitudePossibleVal_1996 + AltitudePossibleVal_1995 + AltitudePossibleVal_1994 + AltitudePossibleVal_1993 + AltitudePossibleVal_1992 + AltitudePossibleVal_1991 + AltitudePossibleVal_1990 + AltitudePossibleVal_1989 + AltitudePossibleVal_1988 + AltitudePossibleVal_1987 + AltitudePossibleVal_1986 + AltitudePossibleVal_1985 + AltitudePossibleVal_1984 + AltitudePossibleVal_1983 + AltitudePossibleVal_1982 + AltitudePossibleVal_1981 + AltitudePossibleVal_1980 + AltitudePossibleVal_1979 + AltitudePossibleVal_1978 + AltitudePossibleVal_1977 + AltitudePossibleVal_1976 + AltitudePossibleVal_1975 + AltitudePossibleVal_1974 + AltitudePossibleVal_1973 + AltitudePossibleVal_1972 + AltitudePossibleVal_1971 + AltitudePossibleVal_1970 + AltitudePossibleVal_1969 + AltitudePossibleVal_1968 + AltitudePossibleVal_1967 + AltitudePossibleVal_1966 + AltitudePossibleVal_1965 + AltitudePossibleVal_1964 + AltitudePossibleVal_1963 + AltitudePossibleVal_1962 + AltitudePossibleVal_1961 + AltitudePossibleVal_1960 + AltitudePossibleVal_1959 + AltitudePossibleVal_1958 + AltitudePossibleVal_1957 + AltitudePossibleVal_1956 + AltitudePossibleVal_1955 + AltitudePossibleVal_1954 + AltitudePossibleVal_1953 + AltitudePossibleVal_1952 + AltitudePossibleVal_1951 + AltitudePossibleVal_1950 + AltitudePossibleVal_1949 + AltitudePossibleVal_1948 + AltitudePossibleVal_1947 + AltitudePossibleVal_1946 + AltitudePossibleVal_1945 + AltitudePossibleVal_1944 + AltitudePossibleVal_1943 + AltitudePossibleVal_1942 + AltitudePossibleVal_1941 + AltitudePossibleVal_1940 + AltitudePossibleVal_1939 + AltitudePossibleVal_1938 + AltitudePossibleVal_1937 + AltitudePossibleVal_1936 + AltitudePossibleVal_1935 + AltitudePossibleVal_1934 + AltitudePossibleVal_1933 + AltitudePossibleVal_1932 + AltitudePossibleVal_1931 + AltitudePossibleVal_1930 + AltitudePossibleVal_1929 + AltitudePossibleVal_1928 + AltitudePossibleVal_1927 + AltitudePossibleVal_1926 + AltitudePossibleVal_1925 + AltitudePossibleVal_1924 + AltitudePossibleVal_1923 + AltitudePossibleVal_1922 + AltitudePossibleVal_1921 + AltitudePossibleVal_1920 + AltitudePossibleVal_1919 + AltitudePossibleVal_1918 + AltitudePossibleVal_1917 + AltitudePossibleVal_1916 + AltitudePossibleVal_1915 + AltitudePossibleVal_1914 + AltitudePossibleVal_1913 + AltitudePossibleVal_1912 + AltitudePossibleVal_1911 + AltitudePossibleVal_1910 + AltitudePossibleVal_1909 + AltitudePossibleVal_1908 + AltitudePossibleVal_1907 + AltitudePossibleVal_1906 + AltitudePossibleVal_1905 + AltitudePossibleVal_1904 + AltitudePossibleVal_1903 + AltitudePossibleVal_1902 + AltitudePossibleVal_1901 + AltitudePossibleVal_1900 + AltitudePossibleVal_699 + AltitudePossibleVal_698 + AltitudePossibleVal_697 + AltitudePossibleVal_696 + AltitudePossibleVal_695 + AltitudePossibleVal_694 + AltitudePossibleVal_693 + AltitudePossibleVal_692 + AltitudePossibleVal_691 + AltitudePossibleVal_690 + AltitudePossibleVal_689 + AltitudePossibleVal_688 + AltitudePossibleVal_687 + AltitudePossibleVal_686 + AltitudePossibleVal_685 + AltitudePossibleVal_684 + AltitudePossibleVal_683 + AltitudePossibleVal_682 + AltitudePossibleVal_681 + AltitudePossibleVal_680 + AltitudePossibleVal_679 + AltitudePossibleVal_678 + AltitudePossibleVal_677 + AltitudePossibleVal_676 + AltitudePossibleVal_675 + AltitudePossibleVal_674 + AltitudePossibleVal_673 + AltitudePossibleVal_672 + AltitudePossibleVal_671 + AltitudePossibleVal_670 + AltitudePossibleVal_669 + AltitudePossibleVal_668 + AltitudePossibleVal_667 + AltitudePossibleVal_666 + AltitudePossibleVal_665 + AltitudePossibleVal_664 + AltitudePossibleVal_663 + AltitudePossibleVal_662 + AltitudePossibleVal_661 + AltitudePossibleVal_660 + AltitudePossibleVal_659 + AltitudePossibleVal_658 + AltitudePossibleVal_657 + AltitudePossibleVal_656 + AltitudePossibleVal_655 + AltitudePossibleVal_654 + AltitudePossibleVal_653 + AltitudePossibleVal_652 + AltitudePossibleVal_651 + AltitudePossibleVal_650 + AltitudePossibleVal_649 + AltitudePossibleVal_648 + AltitudePossibleVal_647 + AltitudePossibleVal_646 + AltitudePossibleVal_645 + AltitudePossibleVal_644 + AltitudePossibleVal_643 + AltitudePossibleVal_642 + AltitudePossibleVal_641 + AltitudePossibleVal_640 + AltitudePossibleVal_639 + AltitudePossibleVal_638 + AltitudePossibleVal_637 + AltitudePossibleVal_636 + AltitudePossibleVal_635 + AltitudePossibleVal_634 + AltitudePossibleVal_633 + AltitudePossibleVal_632 + AltitudePossibleVal_631 + AltitudePossibleVal_630 + AltitudePossibleVal_629 + AltitudePossibleVal_628 + AltitudePossibleVal_627 + AltitudePossibleVal_626 + AltitudePossibleVal_625 + AltitudePossibleVal_624 + AltitudePossibleVal_623 + AltitudePossibleVal_622 + AltitudePossibleVal_621 + AltitudePossibleVal_620 + AltitudePossibleVal_619 + AltitudePossibleVal_618 + AltitudePossibleVal_617 + AltitudePossibleVal_616 + AltitudePossibleVal_615 + AltitudePossibleVal_614 + AltitudePossibleVal_613 + AltitudePossibleVal_612 + AltitudePossibleVal_611 + AltitudePossibleVal_610 + AltitudePossibleVal_609 + AltitudePossibleVal_608 + AltitudePossibleVal_607 + AltitudePossibleVal_606 + AltitudePossibleVal_605 + AltitudePossibleVal_604 + AltitudePossibleVal_603 + AltitudePossibleVal_602 + AltitudePossibleVal_601 + AltitudePossibleVal_600 + AltitudePossibleVal_1899 + AltitudePossibleVal_1898 + AltitudePossibleVal_1897 + AltitudePossibleVal_1896 + AltitudePossibleVal_1895 + AltitudePossibleVal_1894 + AltitudePossibleVal_1893 + AltitudePossibleVal_1892 + AltitudePossibleVal_1891 + AltitudePossibleVal_1890 + AltitudePossibleVal_1889 + AltitudePossibleVal_1888 + AltitudePossibleVal_1887 + AltitudePossibleVal_1886 + AltitudePossibleVal_1885 + AltitudePossibleVal_1884 + AltitudePossibleVal_1883 + AltitudePossibleVal_1882 + AltitudePossibleVal_1881 + AltitudePossibleVal_1880 + AltitudePossibleVal_1879 + AltitudePossibleVal_1878 + AltitudePossibleVal_1877 + AltitudePossibleVal_1876 + AltitudePossibleVal_1875 + AltitudePossibleVal_1874 + AltitudePossibleVal_1873 + AltitudePossibleVal_3400 + AltitudePossibleVal_3401 + AltitudePossibleVal_3402 + AltitudePossibleVal_3403 + AltitudePossibleVal_3404 + AltitudePossibleVal_3405 + AltitudePossibleVal_3406 + AltitudePossibleVal_3407 + AltitudePossibleVal_3408 + AltitudePossibleVal_3409 + AltitudePossibleVal_1872 + AltitudePossibleVal_1871 + AltitudePossibleVal_1870 + AltitudePossibleVal_1869 + AltitudePossibleVal_1868 + AltitudePossibleVal_1867 + AltitudePossibleVal_1866 + AltitudePossibleVal_1865 + AltitudePossibleVal_1864 + AltitudePossibleVal_1863 + AltitudePossibleVal_1862 + AltitudePossibleVal_1861 + AltitudePossibleVal_1860 + AltitudePossibleVal_1859 + AltitudePossibleVal_1858 + AltitudePossibleVal_1857 + AltitudePossibleVal_1856 + AltitudePossibleVal_1855 + AltitudePossibleVal_1854 + AltitudePossibleVal_1853 + AltitudePossibleVal_3410 + AltitudePossibleVal_3411 + AltitudePossibleVal_3412 + AltitudePossibleVal_3413 + AltitudePossibleVal_3414 + AltitudePossibleVal_3415 + AltitudePossibleVal_3416 + AltitudePossibleVal_3417 + AltitudePossibleVal_3418 + AltitudePossibleVal_3419 + AltitudePossibleVal_1852 + AltitudePossibleVal_1851 + AltitudePossibleVal_1850 + AltitudePossibleVal_1849 + AltitudePossibleVal_1848 + AltitudePossibleVal_1847 + AltitudePossibleVal_1846 + AltitudePossibleVal_1845 + AltitudePossibleVal_1844 + AltitudePossibleVal_1843 + AltitudePossibleVal_3420 + AltitudePossibleVal_3421 + AltitudePossibleVal_3422 + AltitudePossibleVal_3423 + AltitudePossibleVal_3424 + AltitudePossibleVal_3425 + AltitudePossibleVal_3426 + AltitudePossibleVal_3427 + AltitudePossibleVal_3428 + AltitudePossibleVal_3429 + AltitudePossibleVal_1842 + AltitudePossibleVal_1841 + AltitudePossibleVal_1840 + AltitudePossibleVal_1839 + AltitudePossibleVal_1838 + AltitudePossibleVal_1837 + AltitudePossibleVal_1836 + AltitudePossibleVal_1835 + AltitudePossibleVal_1834 + AltitudePossibleVal_1833 + AltitudePossibleVal_3430 + AltitudePossibleVal_2100 + AltitudePossibleVal_3431 + AltitudePossibleVal_2101 + AltitudePossibleVal_3432 + AltitudePossibleVal_2102 + AltitudePossibleVal_3433 + AltitudePossibleVal_2103 + AltitudePossibleVal_3434 + AltitudePossibleVal_2104 + AltitudePossibleVal_3435 + AltitudePossibleVal_2105 + AltitudePossibleVal_3436 + AltitudePossibleVal_2106 + AltitudePossibleVal_3437 + AltitudePossibleVal_2107 + AltitudePossibleVal_3438 + AltitudePossibleVal_2108 + AltitudePossibleVal_3439 + AltitudePossibleVal_2109 + AltitudePossibleVal_1832 + AltitudePossibleVal_1831 + AltitudePossibleVal_1830 + AltitudePossibleVal_1829 + AltitudePossibleVal_1828 + AltitudePossibleVal_1827 + AltitudePossibleVal_1826 + AltitudePossibleVal_1825 + AltitudePossibleVal_1824 + AltitudePossibleVal_1823 + AltitudePossibleVal_3440 + AltitudePossibleVal_2110 + AltitudePossibleVal_3441 + AltitudePossibleVal_2111 + AltitudePossibleVal_3442 + AltitudePossibleVal_2112 + AltitudePossibleVal_3443 + AltitudePossibleVal_2113 + AltitudePossibleVal_3444 + AltitudePossibleVal_2114 + AltitudePossibleVal_3445 + AltitudePossibleVal_2115 + AltitudePossibleVal_3446 + AltitudePossibleVal_2116 + AltitudePossibleVal_3447 + AltitudePossibleVal_2117 + AltitudePossibleVal_3448 + AltitudePossibleVal_2118 + AltitudePossibleVal_3449 + AltitudePossibleVal_2119 + AltitudePossibleVal_1822 + AltitudePossibleVal_1821 + AltitudePossibleVal_1820 + AltitudePossibleVal_1819 + AltitudePossibleVal_1818 + AltitudePossibleVal_1817 + AltitudePossibleVal_1816 + AltitudePossibleVal_1815 + AltitudePossibleVal_1814 + AltitudePossibleVal_1813 + AltitudePossibleVal_3450 + AltitudePossibleVal_2120 + AltitudePossibleVal_3451 + AltitudePossibleVal_2121 + AltitudePossibleVal_3452 + AltitudePossibleVal_2122 + AltitudePossibleVal_3453 + AltitudePossibleVal_2123 + AltitudePossibleVal_3454 + AltitudePossibleVal_2124 + AltitudePossibleVal_3455 + AltitudePossibleVal_2125 + AltitudePossibleVal_3456 + AltitudePossibleVal_2126 + AltitudePossibleVal_3457 + AltitudePossibleVal_2127 + AltitudePossibleVal_3458 + AltitudePossibleVal_2128 + AltitudePossibleVal_3459 + AltitudePossibleVal_2129 + AltitudePossibleVal_1812 + AltitudePossibleVal_1811 + AltitudePossibleVal_1810 + AltitudePossibleVal_1809 + AltitudePossibleVal_1808 + AltitudePossibleVal_1807 + AltitudePossibleVal_1806 + AltitudePossibleVal_1805 + AltitudePossibleVal_1804 + AltitudePossibleVal_1803 + AltitudePossibleVal_3460 + AltitudePossibleVal_2130 + AltitudePossibleVal_3461 + AltitudePossibleVal_2131 + AltitudePossibleVal_3462 + AltitudePossibleVal_2132 + AltitudePossibleVal_3463 + AltitudePossibleVal_2133 + AltitudePossibleVal_3464 + AltitudePossibleVal_2134 + AltitudePossibleVal_3465 + AltitudePossibleVal_2135 + AltitudePossibleVal_3466 + AltitudePossibleVal_2136 + AltitudePossibleVal_3467 + AltitudePossibleVal_2137 + AltitudePossibleVal_3468 + AltitudePossibleVal_2138 + AltitudePossibleVal_3469 + AltitudePossibleVal_2139 + AltitudePossibleVal_1802 + AltitudePossibleVal_1801 + AltitudePossibleVal_1800 + AltitudePossibleVal_599 + AltitudePossibleVal_598 + AltitudePossibleVal_597 + AltitudePossibleVal_596 + AltitudePossibleVal_595 + AltitudePossibleVal_594 + AltitudePossibleVal_593 + AltitudePossibleVal_3470 + AltitudePossibleVal_2140 + AltitudePossibleVal_3471 + AltitudePossibleVal_2141 + AltitudePossibleVal_3472 + AltitudePossibleVal_2142 + AltitudePossibleVal_3473 + AltitudePossibleVal_2143 + AltitudePossibleVal_3474 + AltitudePossibleVal_2144 + AltitudePossibleVal_3475 + AltitudePossibleVal_2145 + AltitudePossibleVal_3476 + AltitudePossibleVal_2146 + AltitudePossibleVal_3477 + AltitudePossibleVal_2147 + AltitudePossibleVal_3478 + AltitudePossibleVal_2148 + AltitudePossibleVal_3479 + AltitudePossibleVal_2149 + AltitudePossibleVal_592 + AltitudePossibleVal_591 + AltitudePossibleVal_590 + AltitudePossibleVal_589 + AltitudePossibleVal_588 + AltitudePossibleVal_587 + AltitudePossibleVal_586 + AltitudePossibleVal_585 + AltitudePossibleVal_584 + AltitudePossibleVal_583 + AltitudePossibleVal_3480 + AltitudePossibleVal_2150 + AltitudePossibleVal_3481 + AltitudePossibleVal_2151 + AltitudePossibleVal_3482 + AltitudePossibleVal_2152 + AltitudePossibleVal_3483 + AltitudePossibleVal_2153 + AltitudePossibleVal_3484 + AltitudePossibleVal_2154 + AltitudePossibleVal_3485 + AltitudePossibleVal_2155 + AltitudePossibleVal_3486 + AltitudePossibleVal_2156 + AltitudePossibleVal_3487 + AltitudePossibleVal_2157 + AltitudePossibleVal_3488 + AltitudePossibleVal_2158 + AltitudePossibleVal_3489 + AltitudePossibleVal_2159 + AltitudePossibleVal_3490 + AltitudePossibleVal_2160 + AltitudePossibleVal_3491 + AltitudePossibleVal_2161 + AltitudePossibleVal_3492 + AltitudePossibleVal_2162 + AltitudePossibleVal_3493 + AltitudePossibleVal_2163 + AltitudePossibleVal_3494 + AltitudePossibleVal_2164 + AltitudePossibleVal_3495 + AltitudePossibleVal_2165 + AltitudePossibleVal_3496 + AltitudePossibleVal_2166 + AltitudePossibleVal_3497 + AltitudePossibleVal_2167 + AltitudePossibleVal_3498 + AltitudePossibleVal_2168 + AltitudePossibleVal_3499 + AltitudePossibleVal_2169 + AltitudePossibleVal_2170 + AltitudePossibleVal_2171 + AltitudePossibleVal_2172 + AltitudePossibleVal_2173 + AltitudePossibleVal_2174 + AltitudePossibleVal_2175 + AltitudePossibleVal_2176 + AltitudePossibleVal_2177 + AltitudePossibleVal_2178 + AltitudePossibleVal_2179 + AltitudePossibleVal_2180 + AltitudePossibleVal_2181 + AltitudePossibleVal_2182 + AltitudePossibleVal_2183 + AltitudePossibleVal_2184 + AltitudePossibleVal_2185 + AltitudePossibleVal_2186 + AltitudePossibleVal_2187 + AltitudePossibleVal_2188 + AltitudePossibleVal_2189 + AltitudePossibleVal_2190 + AltitudePossibleVal_2191 + AltitudePossibleVal_2192 + AltitudePossibleVal_2193 + AltitudePossibleVal_2194 + AltitudePossibleVal_2195 + AltitudePossibleVal_2196 + AltitudePossibleVal_2197 + AltitudePossibleVal_2198 + AltitudePossibleVal_2199 + AltitudePossibleVal_582 + AltitudePossibleVal_581 + AltitudePossibleVal_580 + AltitudePossibleVal_579 + AltitudePossibleVal_578 + AltitudePossibleVal_577 + AltitudePossibleVal_576 + AltitudePossibleVal_575 + AltitudePossibleVal_574 + AltitudePossibleVal_573 + AltitudePossibleVal_572 + AltitudePossibleVal_571 + AltitudePossibleVal_570 + AltitudePossibleVal_569 + AltitudePossibleVal_568 + AltitudePossibleVal_567 + AltitudePossibleVal_566 + AltitudePossibleVal_565 + AltitudePossibleVal_564 + AltitudePossibleVal_563 + AltitudePossibleVal_562 + AltitudePossibleVal_561 + AltitudePossibleVal_560 + AltitudePossibleVal_559 + AltitudePossibleVal_558 + AltitudePossibleVal_557 + AltitudePossibleVal_556 + AltitudePossibleVal_555 + AltitudePossibleVal_554 + AltitudePossibleVal_553 + AltitudePossibleVal_552 + AltitudePossibleVal_551 + AltitudePossibleVal_550 + AltitudePossibleVal_549 + AltitudePossibleVal_548 + AltitudePossibleVal_547 + AltitudePossibleVal_546 + AltitudePossibleVal_545 + AltitudePossibleVal_544 + AltitudePossibleVal_543 + AltitudePossibleVal_542 + AltitudePossibleVal_541 + AltitudePossibleVal_540 + AltitudePossibleVal_539 + AltitudePossibleVal_538 + AltitudePossibleVal_537 + AltitudePossibleVal_536 + AltitudePossibleVal_535 + AltitudePossibleVal_534 + AltitudePossibleVal_533 + AltitudePossibleVal_532 + AltitudePossibleVal_531 + AltitudePossibleVal_530 + AltitudePossibleVal_529 + AltitudePossibleVal_528 + AltitudePossibleVal_527 + AltitudePossibleVal_526 + AltitudePossibleVal_525 + AltitudePossibleVal_524 + AltitudePossibleVal_523 + AltitudePossibleVal_522 + AltitudePossibleVal_521 + AltitudePossibleVal_520 + AltitudePossibleVal_519 + AltitudePossibleVal_518 + AltitudePossibleVal_517 + AltitudePossibleVal_516 + AltitudePossibleVal_515 + AltitudePossibleVal_514 + AltitudePossibleVal_513 + AltitudePossibleVal_512 + AltitudePossibleVal_511 + AltitudePossibleVal_510 + AltitudePossibleVal_509 + AltitudePossibleVal_508 + AltitudePossibleVal_507 + AltitudePossibleVal_506 + AltitudePossibleVal_505 + AltitudePossibleVal_504 + AltitudePossibleVal_503 + AltitudePossibleVal_502 + AltitudePossibleVal_501 + AltitudePossibleVal_500 + AltitudePossibleVal_4000 + AltitudePossibleVal_1799 + AltitudePossibleVal_1798 + AltitudePossibleVal_1797 + AltitudePossibleVal_1796 + AltitudePossibleVal_1795 + AltitudePossibleVal_1794 + AltitudePossibleVal_1793 + AltitudePossibleVal_1792 + AltitudePossibleVal_1791 + AltitudePossibleVal_1790 + AltitudePossibleVal_1789 + AltitudePossibleVal_1788 + AltitudePossibleVal_1787 + AltitudePossibleVal_1786 + AltitudePossibleVal_1785 + AltitudePossibleVal_1784 + AltitudePossibleVal_1783 + AltitudePossibleVal_1782 + AltitudePossibleVal_1781 + AltitudePossibleVal_1780 + AltitudePossibleVal_1779 + AltitudePossibleVal_1778 + AltitudePossibleVal_1777 + AltitudePossibleVal_1776 + AltitudePossibleVal_1775 + AltitudePossibleVal_1774 + AltitudePossibleVal_1773 + AltitudePossibleVal_1772 + AltitudePossibleVal_1771 + AltitudePossibleVal_1770 + AltitudePossibleVal_1769 + AltitudePossibleVal_1768 + AltitudePossibleVal_1767 + AltitudePossibleVal_1766 + AltitudePossibleVal_1765 + AltitudePossibleVal_1764 + AltitudePossibleVal_1763 + AltitudePossibleVal_1762 + AltitudePossibleVal_1761 + AltitudePossibleVal_1760 + AltitudePossibleVal_1759 + AltitudePossibleVal_1758 + AltitudePossibleVal_1757 + AltitudePossibleVal_1756 + AltitudePossibleVal_1755 + AltitudePossibleVal_1754 + AltitudePossibleVal_1753 + AltitudePossibleVal_1752 + AltitudePossibleVal_1751 + AltitudePossibleVal_1750 + AltitudePossibleVal_1749 + AltitudePossibleVal_1748 + AltitudePossibleVal_1747 + AltitudePossibleVal_1746 + AltitudePossibleVal_1745 + AltitudePossibleVal_1744 + AltitudePossibleVal_1743 + AltitudePossibleVal_1742 + AltitudePossibleVal_1741 + AltitudePossibleVal_1740 + AltitudePossibleVal_1739 + AltitudePossibleVal_1738 + AltitudePossibleVal_1737 + AltitudePossibleVal_1736 + AltitudePossibleVal_1735 + AltitudePossibleVal_1734 + AltitudePossibleVal_1733 + AltitudePossibleVal_1732 + AltitudePossibleVal_1731 + AltitudePossibleVal_1730 + AltitudePossibleVal_1729 + AltitudePossibleVal_1728 + AltitudePossibleVal_1727 + AltitudePossibleVal_1726 + AltitudePossibleVal_1725 + AltitudePossibleVal_1724 + AltitudePossibleVal_1723 + AltitudePossibleVal_1722 + AltitudePossibleVal_1721 + AltitudePossibleVal_1720 + AltitudePossibleVal_1719 + AltitudePossibleVal_1718 + AltitudePossibleVal_1717 + AltitudePossibleVal_1716 + AltitudePossibleVal_1715 + AltitudePossibleVal_1714 + AltitudePossibleVal_1713 + AltitudePossibleVal_1712 + AltitudePossibleVal_1711 + AltitudePossibleVal_1710 + AltitudePossibleVal_1709 + AltitudePossibleVal_1708 + AltitudePossibleVal_1707 + AltitudePossibleVal_1706 + AltitudePossibleVal_1705 + AltitudePossibleVal_1704 + AltitudePossibleVal_1703 + AltitudePossibleVal_1702 + AltitudePossibleVal_1701 + AltitudePossibleVal_1700 + AltitudePossibleVal_499 + AltitudePossibleVal_498 + AltitudePossibleVal_497 + AltitudePossibleVal_496 + AltitudePossibleVal_495 + AltitudePossibleVal_494 + AltitudePossibleVal_493 + AltitudePossibleVal_492 + AltitudePossibleVal_491 + AltitudePossibleVal_490 + AltitudePossibleVal_489 + AltitudePossibleVal_488 + AltitudePossibleVal_487 + AltitudePossibleVal_486 + AltitudePossibleVal_485 + AltitudePossibleVal_484 + AltitudePossibleVal_483 + AltitudePossibleVal_482 + AltitudePossibleVal_481 + AltitudePossibleVal_480 + AltitudePossibleVal_479 + AltitudePossibleVal_478 + AltitudePossibleVal_477 + AltitudePossibleVal_476 + AltitudePossibleVal_475 + AltitudePossibleVal_474 + AltitudePossibleVal_473 + AltitudePossibleVal_472 + AltitudePossibleVal_471 + AltitudePossibleVal_470 + AltitudePossibleVal_469 + AltitudePossibleVal_468 + AltitudePossibleVal_467 + AltitudePossibleVal_466 + AltitudePossibleVal_465 + AltitudePossibleVal_464 + AltitudePossibleVal_463 + AltitudePossibleVal_462 + AltitudePossibleVal_461 + AltitudePossibleVal_460 + AltitudePossibleVal_459 + AltitudePossibleVal_458 + AltitudePossibleVal_457 + AltitudePossibleVal_456 + AltitudePossibleVal_455 + AltitudePossibleVal_454 + AltitudePossibleVal_453 + AltitudePossibleVal_452 + AltitudePossibleVal_451 + AltitudePossibleVal_450 + AltitudePossibleVal_449 + AltitudePossibleVal_448 + AltitudePossibleVal_447 + AltitudePossibleVal_446 + AltitudePossibleVal_445 + AltitudePossibleVal_444 + AltitudePossibleVal_443 + AltitudePossibleVal_442 + AltitudePossibleVal_441 + AltitudePossibleVal_440 + AltitudePossibleVal_439 + AltitudePossibleVal_438 + AltitudePossibleVal_437 + AltitudePossibleVal_436 + AltitudePossibleVal_435 + AltitudePossibleVal_434 + AltitudePossibleVal_433 + AltitudePossibleVal_432 + AltitudePossibleVal_431 + AltitudePossibleVal_430 + AltitudePossibleVal_429 + AltitudePossibleVal_428 + AltitudePossibleVal_427 + AltitudePossibleVal_426 + AltitudePossibleVal_425 + AltitudePossibleVal_424 + AltitudePossibleVal_423 + AltitudePossibleVal_422 + AltitudePossibleVal_421 + AltitudePossibleVal_420 + AltitudePossibleVal_419 + AltitudePossibleVal_418 + AltitudePossibleVal_417 + AltitudePossibleVal_416 + AltitudePossibleVal_415 + AltitudePossibleVal_414 + AltitudePossibleVal_413 + AltitudePossibleVal_412 + AltitudePossibleVal_411 + AltitudePossibleVal_410 + AltitudePossibleVal_409 + AltitudePossibleVal_408 + AltitudePossibleVal_407 + AltitudePossibleVal_406 + AltitudePossibleVal_405 + AltitudePossibleVal_404 + AltitudePossibleVal_403 + AltitudePossibleVal_402 + AltitudePossibleVal_401 + AltitudePossibleVal_400 + AltitudePossibleVal_1699 + AltitudePossibleVal_1698 + AltitudePossibleVal_1697 + AltitudePossibleVal_1696 + AltitudePossibleVal_1695 + AltitudePossibleVal_1694 + AltitudePossibleVal_1693 + AltitudePossibleVal_1692 + AltitudePossibleVal_1691 + AltitudePossibleVal_1690 + AltitudePossibleVal_1689 + AltitudePossibleVal_1688 + AltitudePossibleVal_1687 + AltitudePossibleVal_1686 + AltitudePossibleVal_1685 + AltitudePossibleVal_1684 + AltitudePossibleVal_1683 + AltitudePossibleVal_1682 + AltitudePossibleVal_1681 + AltitudePossibleVal_1680 + AltitudePossibleVal_1679 + AltitudePossibleVal_1678 + AltitudePossibleVal_1677 + AltitudePossibleVal_1676 + AltitudePossibleVal_1675 + AltitudePossibleVal_1674 + AltitudePossibleVal_1673 + AltitudePossibleVal_1672 + AltitudePossibleVal_1671 + AltitudePossibleVal_1670 + AltitudePossibleVal_1669 + AltitudePossibleVal_2999 + AltitudePossibleVal_1668 + AltitudePossibleVal_2998 + AltitudePossibleVal_1667 + AltitudePossibleVal_2997 + AltitudePossibleVal_1666 + AltitudePossibleVal_2996 + AltitudePossibleVal_1665 + AltitudePossibleVal_2995 + AltitudePossibleVal_1664 + AltitudePossibleVal_2994 + AltitudePossibleVal_1663 + AltitudePossibleVal_2993 + AltitudePossibleVal_1662 + AltitudePossibleVal_2992 + AltitudePossibleVal_1661 + AltitudePossibleVal_2991 + AltitudePossibleVal_1660 + AltitudePossibleVal_2990 + AltitudePossibleVal_1659 + AltitudePossibleVal_2989 + AltitudePossibleVal_1658 + AltitudePossibleVal_2988 + AltitudePossibleVal_1657 + AltitudePossibleVal_2987 + AltitudePossibleVal_1656 + AltitudePossibleVal_2986 + AltitudePossibleVal_1655 + AltitudePossibleVal_2985 + AltitudePossibleVal_1654 + AltitudePossibleVal_2984 + AltitudePossibleVal_1653 + AltitudePossibleVal_2983 + AltitudePossibleVal_1652 + AltitudePossibleVal_2982 + AltitudePossibleVal_1651 + AltitudePossibleVal_2981 + AltitudePossibleVal_1650 + AltitudePossibleVal_2980 + AltitudePossibleVal_1649 + AltitudePossibleVal_2979 + AltitudePossibleVal_1648 + AltitudePossibleVal_2978 + AltitudePossibleVal_1647 + AltitudePossibleVal_2977 + AltitudePossibleVal_1646 + AltitudePossibleVal_2976 + AltitudePossibleVal_1645 + AltitudePossibleVal_2975 + AltitudePossibleVal_1644 + AltitudePossibleVal_2974 + AltitudePossibleVal_1643 + AltitudePossibleVal_2973 + AltitudePossibleVal_1642 + AltitudePossibleVal_2972 + AltitudePossibleVal_1641 + AltitudePossibleVal_2971 + AltitudePossibleVal_1640 + AltitudePossibleVal_2970 + AltitudePossibleVal_1639 + AltitudePossibleVal_2969 + AltitudePossibleVal_1638 + AltitudePossibleVal_2968 + AltitudePossibleVal_1637 + AltitudePossibleVal_2967 + AltitudePossibleVal_1636 + AltitudePossibleVal_2966 + AltitudePossibleVal_1635 + AltitudePossibleVal_2965 + AltitudePossibleVal_1634 + AltitudePossibleVal_2964 + AltitudePossibleVal_1633 + AltitudePossibleVal_2963 + AltitudePossibleVal_1632 + AltitudePossibleVal_2962 + AltitudePossibleVal_1631 + AltitudePossibleVal_2961 + AltitudePossibleVal_1630 + AltitudePossibleVal_2960 + AltitudePossibleVal_1629 + AltitudePossibleVal_2959 + AltitudePossibleVal_1628 + AltitudePossibleVal_2958 + AltitudePossibleVal_1627 + AltitudePossibleVal_2957 + AltitudePossibleVal_1626 + AltitudePossibleVal_2956 + AltitudePossibleVal_1625 + AltitudePossibleVal_2955 + AltitudePossibleVal_1624 + AltitudePossibleVal_2954 + AltitudePossibleVal_1623 + AltitudePossibleVal_2953 + AltitudePossibleVal_1622 + AltitudePossibleVal_2952 + AltitudePossibleVal_3500 + AltitudePossibleVal_3501 + AltitudePossibleVal_3502 + AltitudePossibleVal_3503 + AltitudePossibleVal_3504 + AltitudePossibleVal_3505 + AltitudePossibleVal_3506 + AltitudePossibleVal_3507 + AltitudePossibleVal_3508 + AltitudePossibleVal_3509 + AltitudePossibleVal_1621 + AltitudePossibleVal_2951 + AltitudePossibleVal_1620 + AltitudePossibleVal_2950 + AltitudePossibleVal_1619 + AltitudePossibleVal_2949 + AltitudePossibleVal_1618 + AltitudePossibleVal_2948 + AltitudePossibleVal_1617 + AltitudePossibleVal_2947 + AltitudePossibleVal_1616 + AltitudePossibleVal_2946 + AltitudePossibleVal_1615 + AltitudePossibleVal_2945 + AltitudePossibleVal_1614 + AltitudePossibleVal_2944 + AltitudePossibleVal_1613 + AltitudePossibleVal_2943 + AltitudePossibleVal_1612 + AltitudePossibleVal_2942 + AltitudePossibleVal_3510 + AltitudePossibleVal_3511 + AltitudePossibleVal_3512 + AltitudePossibleVal_3513 + AltitudePossibleVal_3514 + AltitudePossibleVal_3515 + AltitudePossibleVal_3516 + AltitudePossibleVal_3517 + AltitudePossibleVal_3518 + AltitudePossibleVal_3519 + AltitudePossibleVal_1611 + AltitudePossibleVal_2941 + AltitudePossibleVal_1610 + AltitudePossibleVal_2940 + AltitudePossibleVal_1609 + AltitudePossibleVal_2939 + AltitudePossibleVal_1608 + AltitudePossibleVal_2938 + AltitudePossibleVal_1607 + AltitudePossibleVal_2937 + AltitudePossibleVal_3520 + AltitudePossibleVal_3521 + AltitudePossibleVal_3522 + AltitudePossibleVal_3523 + AltitudePossibleVal_3524 + AltitudePossibleVal_3525 + AltitudePossibleVal_3526 + AltitudePossibleVal_3527 + AltitudePossibleVal_3528 + AltitudePossibleVal_3529 + AltitudePossibleVal_1606 + AltitudePossibleVal_2936 + AltitudePossibleVal_1605 + AltitudePossibleVal_2935 + AltitudePossibleVal_1604 + AltitudePossibleVal_2934 + AltitudePossibleVal_1603 + AltitudePossibleVal_2933 + AltitudePossibleVal_1602 + AltitudePossibleVal_2932 + AltitudePossibleVal_3530 + AltitudePossibleVal_2200 + AltitudePossibleVal_3531 + AltitudePossibleVal_2201 + AltitudePossibleVal_3532 + AltitudePossibleVal_2202 + AltitudePossibleVal_3533 + AltitudePossibleVal_2203 + AltitudePossibleVal_3534 + AltitudePossibleVal_2204 + AltitudePossibleVal_3535 + AltitudePossibleVal_2205 + AltitudePossibleVal_3536 + AltitudePossibleVal_2206 + AltitudePossibleVal_3537 + AltitudePossibleVal_2207 + AltitudePossibleVal_3538 + AltitudePossibleVal_2208 + AltitudePossibleVal_3539 + AltitudePossibleVal_2209 + AltitudePossibleVal_1601 + AltitudePossibleVal_2931 + AltitudePossibleVal_1600 + AltitudePossibleVal_2930 + AltitudePossibleVal_2929 + AltitudePossibleVal_2928 + AltitudePossibleVal_2927 + AltitudePossibleVal_2926 + AltitudePossibleVal_2925 + AltitudePossibleVal_2924 + AltitudePossibleVal_3540 + AltitudePossibleVal_2210 + AltitudePossibleVal_3541 + AltitudePossibleVal_2211 + AltitudePossibleVal_3542 + AltitudePossibleVal_2212 + AltitudePossibleVal_3543 + AltitudePossibleVal_2213 + AltitudePossibleVal_3544 + AltitudePossibleVal_2214 + AltitudePossibleVal_3545 + AltitudePossibleVal_2215 + AltitudePossibleVal_3546 + AltitudePossibleVal_2216 + AltitudePossibleVal_3547 + AltitudePossibleVal_2217 + AltitudePossibleVal_3548 + AltitudePossibleVal_2218 + AltitudePossibleVal_3549 + AltitudePossibleVal_2219 + AltitudePossibleVal_2923 + AltitudePossibleVal_2922 + AltitudePossibleVal_2921 + AltitudePossibleVal_2920 + AltitudePossibleVal_2919 + AltitudePossibleVal_2918 + AltitudePossibleVal_2917 + AltitudePossibleVal_2916 + AltitudePossibleVal_2915 + AltitudePossibleVal_2914 + AltitudePossibleVal_3550 + AltitudePossibleVal_2220 + AltitudePossibleVal_3551 + AltitudePossibleVal_2221 + AltitudePossibleVal_3552 + AltitudePossibleVal_2222 + AltitudePossibleVal_3553 + AltitudePossibleVal_2223 + AltitudePossibleVal_3554 + AltitudePossibleVal_2224 + AltitudePossibleVal_3555 + AltitudePossibleVal_2225 + AltitudePossibleVal_3556 + AltitudePossibleVal_2226 + AltitudePossibleVal_3557 + AltitudePossibleVal_2227 + AltitudePossibleVal_3558 + AltitudePossibleVal_2228 + AltitudePossibleVal_3559 + AltitudePossibleVal_2229 + AltitudePossibleVal_2913 + AltitudePossibleVal_2912 + AltitudePossibleVal_2911 + AltitudePossibleVal_2910 + AltitudePossibleVal_2909 + AltitudePossibleVal_2908 + AltitudePossibleVal_2907 + AltitudePossibleVal_2906 + AltitudePossibleVal_2905 + AltitudePossibleVal_2904 + AltitudePossibleVal_3560 + AltitudePossibleVal_2230 + AltitudePossibleVal_3561 + AltitudePossibleVal_2231 + AltitudePossibleVal_3562 + AltitudePossibleVal_2232 + AltitudePossibleVal_3563 + AltitudePossibleVal_2233 + AltitudePossibleVal_3564 + AltitudePossibleVal_2234 + AltitudePossibleVal_3565 + AltitudePossibleVal_2235 + AltitudePossibleVal_3566 + AltitudePossibleVal_2236 + AltitudePossibleVal_3567 + AltitudePossibleVal_2237 + AltitudePossibleVal_3568 + AltitudePossibleVal_2238 + AltitudePossibleVal_3569 + AltitudePossibleVal_2239 + AltitudePossibleVal_2903 + AltitudePossibleVal_2902 + AltitudePossibleVal_2901 + AltitudePossibleVal_2900 + AltitudePossibleVal_399 + AltitudePossibleVal_398 + AltitudePossibleVal_397 + AltitudePossibleVal_396 + AltitudePossibleVal_395 + AltitudePossibleVal_394 + AltitudePossibleVal_3570 + AltitudePossibleVal_2240 + AltitudePossibleVal_3571 + AltitudePossibleVal_2241 + AltitudePossibleVal_3572 + AltitudePossibleVal_2242 + AltitudePossibleVal_3573 + AltitudePossibleVal_2243 + AltitudePossibleVal_3574 + AltitudePossibleVal_2244 + AltitudePossibleVal_3575 + AltitudePossibleVal_2245 + AltitudePossibleVal_3576 + AltitudePossibleVal_2246 + AltitudePossibleVal_3577 + AltitudePossibleVal_2247 + AltitudePossibleVal_3578 + AltitudePossibleVal_2248 + AltitudePossibleVal_3579 + AltitudePossibleVal_2249 + AltitudePossibleVal_393 + AltitudePossibleVal_392 + AltitudePossibleVal_391 + AltitudePossibleVal_390 + AltitudePossibleVal_389 + AltitudePossibleVal_388 + AltitudePossibleVal_387 + AltitudePossibleVal_386 + AltitudePossibleVal_385 + AltitudePossibleVal_384 + AltitudePossibleVal_3580 + AltitudePossibleVal_2250 + AltitudePossibleVal_3581 + AltitudePossibleVal_2251 + AltitudePossibleVal_3582 + AltitudePossibleVal_2252 + AltitudePossibleVal_3583 + AltitudePossibleVal_2253 + AltitudePossibleVal_3584 + AltitudePossibleVal_2254 + AltitudePossibleVal_3585 + AltitudePossibleVal_2255 + AltitudePossibleVal_3586 + AltitudePossibleVal_2256 + AltitudePossibleVal_3587 + AltitudePossibleVal_2257 + AltitudePossibleVal_3588 + AltitudePossibleVal_2258 + AltitudePossibleVal_3589 + AltitudePossibleVal_2259 + AltitudePossibleVal_3590 + AltitudePossibleVal_2260 + AltitudePossibleVal_3591 + AltitudePossibleVal_2261 + AltitudePossibleVal_3592 + AltitudePossibleVal_2262 + AltitudePossibleVal_3593 + AltitudePossibleVal_2263 + AltitudePossibleVal_3594 + AltitudePossibleVal_2264 + AltitudePossibleVal_3595 + AltitudePossibleVal_2265 + AltitudePossibleVal_3596 + AltitudePossibleVal_2266 + AltitudePossibleVal_3597 + AltitudePossibleVal_2267 + AltitudePossibleVal_3598 + AltitudePossibleVal_2268 + AltitudePossibleVal_3599 + AltitudePossibleVal_2269 + AltitudePossibleVal_2270 + AltitudePossibleVal_2271 + AltitudePossibleVal_2272 + AltitudePossibleVal_2273 + AltitudePossibleVal_2274 + AltitudePossibleVal_2275 + AltitudePossibleVal_2276 + AltitudePossibleVal_2277 + AltitudePossibleVal_2278 + AltitudePossibleVal_2279 + AltitudePossibleVal_2280 + AltitudePossibleVal_2281 + AltitudePossibleVal_2282 + AltitudePossibleVal_2283 + AltitudePossibleVal_2284 + AltitudePossibleVal_2285 + AltitudePossibleVal_2286 + AltitudePossibleVal_2287 + AltitudePossibleVal_2288 + AltitudePossibleVal_2289 + AltitudePossibleVal_2290 + AltitudePossibleVal_2291 + AltitudePossibleVal_2292 + AltitudePossibleVal_2293 + AltitudePossibleVal_2294 + AltitudePossibleVal_2295 + AltitudePossibleVal_2296 + AltitudePossibleVal_2297 + AltitudePossibleVal_2298 + AltitudePossibleVal_2299 + AltitudePossibleVal_383 + AltitudePossibleVal_382 + AltitudePossibleVal_381 + AltitudePossibleVal_380 + AltitudePossibleVal_379 + AltitudePossibleVal_378 + AltitudePossibleVal_377 + AltitudePossibleVal_376 + AltitudePossibleVal_375 + AltitudePossibleVal_374 + AltitudePossibleVal_373 + AltitudePossibleVal_372 + AltitudePossibleVal_371 + AltitudePossibleVal_370 + AltitudePossibleVal_369 + AltitudePossibleVal_368 + AltitudePossibleVal_367 + AltitudePossibleVal_366 + AltitudePossibleVal_365 + AltitudePossibleVal_364 + AltitudePossibleVal_363 + AltitudePossibleVal_362 + AltitudePossibleVal_361 + AltitudePossibleVal_360 + AltitudePossibleVal_359 + AltitudePossibleVal_358 + AltitudePossibleVal_357 + AltitudePossibleVal_356 + AltitudePossibleVal_355 + AltitudePossibleVal_354 + AltitudePossibleVal_353 + AltitudePossibleVal_352 + AltitudePossibleVal_351 + AltitudePossibleVal_350 + AltitudePossibleVal_349 + AltitudePossibleVal_348 + AltitudePossibleVal_347 + AltitudePossibleVal_346 + AltitudePossibleVal_345 + AltitudePossibleVal_344 + AltitudePossibleVal_343 + AltitudePossibleVal_342 + AltitudePossibleVal_341 + AltitudePossibleVal_340 + AltitudePossibleVal_339 + AltitudePossibleVal_338 + AltitudePossibleVal_337 + AltitudePossibleVal_336 + AltitudePossibleVal_335 + AltitudePossibleVal_334 + AltitudePossibleVal_333 + AltitudePossibleVal_332 + AltitudePossibleVal_331 + AltitudePossibleVal_330 + AltitudePossibleVal_329 + AltitudePossibleVal_328 + AltitudePossibleVal_327 + AltitudePossibleVal_326 + AltitudePossibleVal_325 + AltitudePossibleVal_324 + AltitudePossibleVal_323 + AltitudePossibleVal_322 + AltitudePossibleVal_321 + AltitudePossibleVal_320 + AltitudePossibleVal_319 + AltitudePossibleVal_318 + AltitudePossibleVal_317 + AltitudePossibleVal_316 + AltitudePossibleVal_315 + AltitudePossibleVal_314 + AltitudePossibleVal_313 + AltitudePossibleVal_312 + AltitudePossibleVal_311 + AltitudePossibleVal_310 + AltitudePossibleVal_309 + AltitudePossibleVal_308 + AltitudePossibleVal_307 + AltitudePossibleVal_306 + AltitudePossibleVal_305 + AltitudePossibleVal_304 + AltitudePossibleVal_303 + AltitudePossibleVal_302 + AltitudePossibleVal_301 + AltitudePossibleVal_300 + AltitudePossibleVal_1599 + AltitudePossibleVal_1598 + AltitudePossibleVal_1597 + AltitudePossibleVal_1596 + AltitudePossibleVal_1595 + AltitudePossibleVal_1594 + AltitudePossibleVal_1593 + AltitudePossibleVal_1592 + AltitudePossibleVal_1591 + AltitudePossibleVal_1590 + AltitudePossibleVal_1589 + AltitudePossibleVal_1588 + AltitudePossibleVal_1587 + AltitudePossibleVal_1586 + AltitudePossibleVal_1585 + AltitudePossibleVal_1584 + AltitudePossibleVal_1583 + AltitudePossibleVal_1582 + AltitudePossibleVal_1581 + AltitudePossibleVal_1580 + AltitudePossibleVal_1579 + AltitudePossibleVal_1578 + AltitudePossibleVal_1577 + AltitudePossibleVal_1576 + AltitudePossibleVal_1575 + AltitudePossibleVal_1574 + AltitudePossibleVal_1573 + AltitudePossibleVal_1572 + AltitudePossibleVal_1571 + AltitudePossibleVal_1570 + AltitudePossibleVal_1569 + AltitudePossibleVal_2899 + AltitudePossibleVal_1568 + AltitudePossibleVal_2898 + AltitudePossibleVal_1567 + AltitudePossibleVal_2897 + AltitudePossibleVal_1566 + AltitudePossibleVal_2896 + AltitudePossibleVal_1565 + AltitudePossibleVal_2895 + AltitudePossibleVal_1564 + AltitudePossibleVal_2894 + AltitudePossibleVal_1563 + AltitudePossibleVal_2893 + AltitudePossibleVal_1562 + AltitudePossibleVal_2892 + AltitudePossibleVal_1561 + AltitudePossibleVal_2891 + AltitudePossibleVal_1560 + AltitudePossibleVal_2890 + AltitudePossibleVal_1559 + AltitudePossibleVal_2889 + AltitudePossibleVal_1558 + AltitudePossibleVal_2888 + AltitudePossibleVal_1557 + AltitudePossibleVal_2887 + AltitudePossibleVal_1556 + AltitudePossibleVal_2886 + AltitudePossibleVal_1555 + AltitudePossibleVal_2885 + AltitudePossibleVal_1554 + AltitudePossibleVal_2884 + AltitudePossibleVal_1553 + AltitudePossibleVal_2883 + AltitudePossibleVal_1552 + AltitudePossibleVal_2882 + AltitudePossibleVal_1551 + AltitudePossibleVal_2881 + AltitudePossibleVal_1550 + AltitudePossibleVal_2880 + AltitudePossibleVal_1549 + AltitudePossibleVal_2879 + AltitudePossibleVal_1548 + AltitudePossibleVal_2878 + AltitudePossibleVal_1547 + AltitudePossibleVal_2877 + AltitudePossibleVal_1546 + AltitudePossibleVal_2876 + AltitudePossibleVal_1545 + AltitudePossibleVal_2875 + AltitudePossibleVal_1544 + AltitudePossibleVal_2874 + AltitudePossibleVal_1543 + AltitudePossibleVal_2873 + AltitudePossibleVal_1542 + AltitudePossibleVal_2872 + AltitudePossibleVal_1541 + AltitudePossibleVal_2871 + AltitudePossibleVal_1540 + AltitudePossibleVal_2870 + AltitudePossibleVal_1539 + AltitudePossibleVal_2869 + AltitudePossibleVal_1538 + AltitudePossibleVal_2868 + AltitudePossibleVal_1537 + AltitudePossibleVal_2867 + AltitudePossibleVal_1536 + AltitudePossibleVal_2866 + AltitudePossibleVal_1535 + AltitudePossibleVal_2865 + AltitudePossibleVal_1534 + AltitudePossibleVal_2864 + AltitudePossibleVal_1533 + AltitudePossibleVal_2863 + AltitudePossibleVal_1532 + AltitudePossibleVal_2862 + AltitudePossibleVal_1531 + AltitudePossibleVal_2861 + AltitudePossibleVal_1530 + AltitudePossibleVal_2860 + AltitudePossibleVal_1529 + AltitudePossibleVal_2859 + AltitudePossibleVal_1528 + AltitudePossibleVal_2858 + AltitudePossibleVal_1527 + AltitudePossibleVal_2857 + AltitudePossibleVal_1526 + AltitudePossibleVal_2856 + AltitudePossibleVal_1525 + AltitudePossibleVal_2855 + AltitudePossibleVal_1524 + AltitudePossibleVal_2854 + AltitudePossibleVal_1523 + AltitudePossibleVal_2853 + AltitudePossibleVal_1522 + AltitudePossibleVal_2852 + AltitudePossibleVal_1521 + AltitudePossibleVal_2851 + AltitudePossibleVal_1520 + AltitudePossibleVal_2850 + AltitudePossibleVal_1519 + AltitudePossibleVal_2849 + AltitudePossibleVal_1518 + AltitudePossibleVal_2848 + AltitudePossibleVal_1517 + AltitudePossibleVal_2847 + AltitudePossibleVal_1516 + AltitudePossibleVal_2846 + AltitudePossibleVal_1515 + AltitudePossibleVal_2845 + AltitudePossibleVal_1514 + AltitudePossibleVal_2844 + AltitudePossibleVal_1513 + AltitudePossibleVal_2843 + AltitudePossibleVal_1512 + AltitudePossibleVal_2842 + AltitudePossibleVal_1511 + AltitudePossibleVal_2841 + AltitudePossibleVal_1510 + AltitudePossibleVal_2840 + AltitudePossibleVal_1509 + AltitudePossibleVal_2839 + AltitudePossibleVal_1508 + AltitudePossibleVal_2838 + AltitudePossibleVal_1507 + AltitudePossibleVal_2837 + AltitudePossibleVal_1506 + AltitudePossibleVal_2836 + AltitudePossibleVal_1505 + AltitudePossibleVal_2835 + AltitudePossibleVal_1504 + AltitudePossibleVal_2834 + AltitudePossibleVal_1503 + AltitudePossibleVal_2833 + AltitudePossibleVal_1502 + AltitudePossibleVal_2832 + AltitudePossibleVal_1501 + AltitudePossibleVal_2831 + AltitudePossibleVal_1500 + AltitudePossibleVal_2830 + AltitudePossibleVal_2829 + AltitudePossibleVal_2828 + AltitudePossibleVal_2827 + AltitudePossibleVal_2826 + AltitudePossibleVal_2825 + AltitudePossibleVal_2824 + AltitudePossibleVal_2823 + AltitudePossibleVal_2822 + AltitudePossibleVal_2821 + AltitudePossibleVal_2820 + AltitudePossibleVal_2819 + AltitudePossibleVal_2818 + AltitudePossibleVal_2817 + AltitudePossibleVal_2816 + AltitudePossibleVal_2815 + AltitudePossibleVal_2814 + AltitudePossibleVal_2813 + AltitudePossibleVal_2812 + AltitudePossibleVal_2811 + AltitudePossibleVal_2810 + AltitudePossibleVal_2809 + AltitudePossibleVal_2808 + AltitudePossibleVal_2807 + AltitudePossibleVal_2806 + AltitudePossibleVal_2805 + AltitudePossibleVal_2804 + AltitudePossibleVal_2803 + AltitudePossibleVal_2802 + AltitudePossibleVal_2801 + AltitudePossibleVal_2800 + AltitudePossibleVal_299 + AltitudePossibleVal_298 + AltitudePossibleVal_297 + AltitudePossibleVal_296 + AltitudePossibleVal_295 + AltitudePossibleVal_294 + AltitudePossibleVal_293 + AltitudePossibleVal_292 + AltitudePossibleVal_291 + AltitudePossibleVal_290 + AltitudePossibleVal_289 + AltitudePossibleVal_288 + AltitudePossibleVal_287 + AltitudePossibleVal_286 + AltitudePossibleVal_285 + AltitudePossibleVal_284 + AltitudePossibleVal_283 + AltitudePossibleVal_282 + AltitudePossibleVal_281 + AltitudePossibleVal_280 + AltitudePossibleVal_279 + AltitudePossibleVal_278 + AltitudePossibleVal_277 + AltitudePossibleVal_276 + AltitudePossibleVal_275 + AltitudePossibleVal_274 + AltitudePossibleVal_273 + AltitudePossibleVal_272 + AltitudePossibleVal_271 + AltitudePossibleVal_270 + AltitudePossibleVal_269 + AltitudePossibleVal_268 + AltitudePossibleVal_267 + AltitudePossibleVal_266 + AltitudePossibleVal_265 + AltitudePossibleVal_264 + AltitudePossibleVal_263 + AltitudePossibleVal_262 + AltitudePossibleVal_261 + AltitudePossibleVal_260 + AltitudePossibleVal_259 + AltitudePossibleVal_258 + AltitudePossibleVal_257 + AltitudePossibleVal_256 + AltitudePossibleVal_255 + AltitudePossibleVal_254 + AltitudePossibleVal_253 + AltitudePossibleVal_252 + AltitudePossibleVal_251 + AltitudePossibleVal_250 + AltitudePossibleVal_249 + AltitudePossibleVal_248 + AltitudePossibleVal_247 + AltitudePossibleVal_246 + AltitudePossibleVal_245 + AltitudePossibleVal_244 + AltitudePossibleVal_243 + AltitudePossibleVal_242 + AltitudePossibleVal_241 + AltitudePossibleVal_240 + AltitudePossibleVal_239 + AltitudePossibleVal_238 + AltitudePossibleVal_237 + AltitudePossibleVal_236 + AltitudePossibleVal_235 + AltitudePossibleVal_234 + AltitudePossibleVal_233 + AltitudePossibleVal_232 + AltitudePossibleVal_231 + AltitudePossibleVal_230 + AltitudePossibleVal_229 + AltitudePossibleVal_228 + AltitudePossibleVal_227 + AltitudePossibleVal_226 + AltitudePossibleVal_225 + AltitudePossibleVal_224 + AltitudePossibleVal_223 + AltitudePossibleVal_222 + AltitudePossibleVal_221 + AltitudePossibleVal_220 + AltitudePossibleVal_219 + AltitudePossibleVal_218 + AltitudePossibleVal_217 + AltitudePossibleVal_216 + AltitudePossibleVal_215 + AltitudePossibleVal_214 + AltitudePossibleVal_213 + AltitudePossibleVal_212 + AltitudePossibleVal_211 + AltitudePossibleVal_210 + AltitudePossibleVal_209 + AltitudePossibleVal_208 + AltitudePossibleVal_207 + AltitudePossibleVal_206 + AltitudePossibleVal_205 + AltitudePossibleVal_204 + AltitudePossibleVal_203 + AltitudePossibleVal_202 + AltitudePossibleVal_201 + AltitudePossibleVal_200 + AltitudePossibleVal_1499 + AltitudePossibleVal_1498 + AltitudePossibleVal_1497 + AltitudePossibleVal_1496 + AltitudePossibleVal_1495 + AltitudePossibleVal_1494 + AltitudePossibleVal_1493 + AltitudePossibleVal_1492 + AltitudePossibleVal_1491 + AltitudePossibleVal_1490 + AltitudePossibleVal_1489 + AltitudePossibleVal_1488 + AltitudePossibleVal_1487 + AltitudePossibleVal_1486 + AltitudePossibleVal_1485 + AltitudePossibleVal_1484 + AltitudePossibleVal_1483 + AltitudePossibleVal_1482 + AltitudePossibleVal_1481 + AltitudePossibleVal_1480 + AltitudePossibleVal_1479 + AltitudePossibleVal_1478 + AltitudePossibleVal_1477 + AltitudePossibleVal_1476 + AltitudePossibleVal_1475 + AltitudePossibleVal_1474 + AltitudePossibleVal_1473 + AltitudePossibleVal_3600 + AltitudePossibleVal_3601 + AltitudePossibleVal_3602 + AltitudePossibleVal_3603 + AltitudePossibleVal_3604 + AltitudePossibleVal_3605 + AltitudePossibleVal_3606 + AltitudePossibleVal_3607 + AltitudePossibleVal_3608 + AltitudePossibleVal_3609 + AltitudePossibleVal_1472 + AltitudePossibleVal_1471 + AltitudePossibleVal_1470 + AltitudePossibleVal_1469 + AltitudePossibleVal_2799 + AltitudePossibleVal_1468 + AltitudePossibleVal_2798 + AltitudePossibleVal_1467 + AltitudePossibleVal_2797 + AltitudePossibleVal_1466 + AltitudePossibleVal_2796 + AltitudePossibleVal_1465 + AltitudePossibleVal_2795 + AltitudePossibleVal_1464 + AltitudePossibleVal_2794 + AltitudePossibleVal_1463 + AltitudePossibleVal_2793 + AltitudePossibleVal_1462 + AltitudePossibleVal_2792 + AltitudePossibleVal_1461 + AltitudePossibleVal_3610 + AltitudePossibleVal_3611 + AltitudePossibleVal_3612 + AltitudePossibleVal_3613 + AltitudePossibleVal_3614 + AltitudePossibleVal_3615 + AltitudePossibleVal_3616 + AltitudePossibleVal_3617 + AltitudePossibleVal_3618 + AltitudePossibleVal_3619 + AltitudePossibleVal_2791 + AltitudePossibleVal_1460 + AltitudePossibleVal_2790 + AltitudePossibleVal_1459 + AltitudePossibleVal_2789 + AltitudePossibleVal_1458 + AltitudePossibleVal_2788 + AltitudePossibleVal_1457 + AltitudePossibleVal_2787 + AltitudePossibleVal_1456 + AltitudePossibleVal_3620 + AltitudePossibleVal_3621 + AltitudePossibleVal_3622 + AltitudePossibleVal_3623 + AltitudePossibleVal_3624 + AltitudePossibleVal_3625 + AltitudePossibleVal_3626 + AltitudePossibleVal_3627 + AltitudePossibleVal_3628 + AltitudePossibleVal_3629 + AltitudePossibleVal_2786 + AltitudePossibleVal_1455 + AltitudePossibleVal_2785 + AltitudePossibleVal_1454 + AltitudePossibleVal_2784 + AltitudePossibleVal_1453 + AltitudePossibleVal_2783 + AltitudePossibleVal_1452 + AltitudePossibleVal_2782 + AltitudePossibleVal_1451 + AltitudePossibleVal_3630 + AltitudePossibleVal_2300 + AltitudePossibleVal_3631 + AltitudePossibleVal_2301 + AltitudePossibleVal_3632 + AltitudePossibleVal_2302 + AltitudePossibleVal_3633 + AltitudePossibleVal_2303 + AltitudePossibleVal_3634 + AltitudePossibleVal_2304 + AltitudePossibleVal_3635 + AltitudePossibleVal_2305 + AltitudePossibleVal_3636 + AltitudePossibleVal_2306 + AltitudePossibleVal_3637 + AltitudePossibleVal_2307 + AltitudePossibleVal_3638 + AltitudePossibleVal_2308 + AltitudePossibleVal_3639 + AltitudePossibleVal_2309 + AltitudePossibleVal_2781 + AltitudePossibleVal_1450 + AltitudePossibleVal_2780 + AltitudePossibleVal_1449 + AltitudePossibleVal_2779 + AltitudePossibleVal_1448 + AltitudePossibleVal_2778 + AltitudePossibleVal_1447 + AltitudePossibleVal_2777 + AltitudePossibleVal_1446 + AltitudePossibleVal_3640 + AltitudePossibleVal_2310 + AltitudePossibleVal_3641 + AltitudePossibleVal_2311 + AltitudePossibleVal_3642 + AltitudePossibleVal_2312 + AltitudePossibleVal_3643 + AltitudePossibleVal_2313 + AltitudePossibleVal_3644 + AltitudePossibleVal_2314 + AltitudePossibleVal_3645 + AltitudePossibleVal_2315 + AltitudePossibleVal_3646 + AltitudePossibleVal_2316 + AltitudePossibleVal_3647 + AltitudePossibleVal_2317 + AltitudePossibleVal_3648 + AltitudePossibleVal_2318 + AltitudePossibleVal_3649 + AltitudePossibleVal_2319 + AltitudePossibleVal_2776 + AltitudePossibleVal_1445 + AltitudePossibleVal_2775 + AltitudePossibleVal_1444 + AltitudePossibleVal_2774 + AltitudePossibleVal_1443 + AltitudePossibleVal_2773 + AltitudePossibleVal_1442 + AltitudePossibleVal_2772 + AltitudePossibleVal_1441 + AltitudePossibleVal_3650 + AltitudePossibleVal_2320 + AltitudePossibleVal_3651 + AltitudePossibleVal_2321 + AltitudePossibleVal_3652 + AltitudePossibleVal_2322 + AltitudePossibleVal_3653 + AltitudePossibleVal_2323 + AltitudePossibleVal_3654 + AltitudePossibleVal_2324 + AltitudePossibleVal_3655 + AltitudePossibleVal_2325 + AltitudePossibleVal_3656 + AltitudePossibleVal_2326 + AltitudePossibleVal_3657 + AltitudePossibleVal_2327 + AltitudePossibleVal_3658 + AltitudePossibleVal_2328 + AltitudePossibleVal_3659 + AltitudePossibleVal_2329 + AltitudePossibleVal_2771 + AltitudePossibleVal_1440 + AltitudePossibleVal_2770 + AltitudePossibleVal_1439 + AltitudePossibleVal_2769 + AltitudePossibleVal_1438 + AltitudePossibleVal_2768 + AltitudePossibleVal_1437 + AltitudePossibleVal_2767 + AltitudePossibleVal_1436 + AltitudePossibleVal_3660 + AltitudePossibleVal_2330 + AltitudePossibleVal_3661 + AltitudePossibleVal_1000 + AltitudePossibleVal_2331 + AltitudePossibleVal_3662 + AltitudePossibleVal_1001 + AltitudePossibleVal_2332 + AltitudePossibleVal_3663 + AltitudePossibleVal_1002 + AltitudePossibleVal_2333 + AltitudePossibleVal_3664 + AltitudePossibleVal_1003 + AltitudePossibleVal_2334 + AltitudePossibleVal_3665 + AltitudePossibleVal_1004 + AltitudePossibleVal_2335 + AltitudePossibleVal_3666 + AltitudePossibleVal_1005 + AltitudePossibleVal_2336 + AltitudePossibleVal_3667 + AltitudePossibleVal_1006 + AltitudePossibleVal_2337 + AltitudePossibleVal_3668 + AltitudePossibleVal_1007 + AltitudePossibleVal_2338 + AltitudePossibleVal_3669 + AltitudePossibleVal_1008 + AltitudePossibleVal_2339 + AltitudePossibleVal_1009 + AltitudePossibleVal_2766 + AltitudePossibleVal_1435 + AltitudePossibleVal_2765 + AltitudePossibleVal_1434 + AltitudePossibleVal_2764 + AltitudePossibleVal_1433 + AltitudePossibleVal_2763 + AltitudePossibleVal_1432 + AltitudePossibleVal_2762 + AltitudePossibleVal_1431 + AltitudePossibleVal_3670 + AltitudePossibleVal_2340 + AltitudePossibleVal_3671 + AltitudePossibleVal_1010 + AltitudePossibleVal_2341 + AltitudePossibleVal_3672 + AltitudePossibleVal_1011 + AltitudePossibleVal_2342 + AltitudePossibleVal_3673 + AltitudePossibleVal_1012 + AltitudePossibleVal_2343 + AltitudePossibleVal_3674 + AltitudePossibleVal_1013 + AltitudePossibleVal_2344 + AltitudePossibleVal_3675 + AltitudePossibleVal_1014 + AltitudePossibleVal_2345 + AltitudePossibleVal_3676 + AltitudePossibleVal_1015 + AltitudePossibleVal_2346 + AltitudePossibleVal_3677 + AltitudePossibleVal_1016 + AltitudePossibleVal_2347 + AltitudePossibleVal_3678 + AltitudePossibleVal_1017 + AltitudePossibleVal_2348 + AltitudePossibleVal_3679 + AltitudePossibleVal_1018 + AltitudePossibleVal_2349 + AltitudePossibleVal_1019 + AltitudePossibleVal_2761 + AltitudePossibleVal_1430 + AltitudePossibleVal_2760 + AltitudePossibleVal_1429 + AltitudePossibleVal_2759 + AltitudePossibleVal_1428 + AltitudePossibleVal_2758 + AltitudePossibleVal_1427 + AltitudePossibleVal_2757 + AltitudePossibleVal_1426 + AltitudePossibleVal_3680 + AltitudePossibleVal_2350 + AltitudePossibleVal_3681 + AltitudePossibleVal_1020 + AltitudePossibleVal_2351 + AltitudePossibleVal_3682 + AltitudePossibleVal_1021 + AltitudePossibleVal_2352 + AltitudePossibleVal_3683 + AltitudePossibleVal_1022 + AltitudePossibleVal_2353 + AltitudePossibleVal_3684 + AltitudePossibleVal_1023 + AltitudePossibleVal_2354 + AltitudePossibleVal_3685 + AltitudePossibleVal_1024 + AltitudePossibleVal_2355 + AltitudePossibleVal_3686 + AltitudePossibleVal_1025 + AltitudePossibleVal_2356 + AltitudePossibleVal_3687 + AltitudePossibleVal_1026 + AltitudePossibleVal_2357 + AltitudePossibleVal_3688 + AltitudePossibleVal_1027 + AltitudePossibleVal_2358 + AltitudePossibleVal_3689 + AltitudePossibleVal_1028 + AltitudePossibleVal_2359 + AltitudePossibleVal_1029 + AltitudePossibleVal_3690 + AltitudePossibleVal_2360 + AltitudePossibleVal_3691 + AltitudePossibleVal_1030 + AltitudePossibleVal_2361 + AltitudePossibleVal_3692 + AltitudePossibleVal_1031 + AltitudePossibleVal_2362 + AltitudePossibleVal_3693 + AltitudePossibleVal_1032 + AltitudePossibleVal_2363 + AltitudePossibleVal_3694 + AltitudePossibleVal_1033 + AltitudePossibleVal_2364 + AltitudePossibleVal_3695 + AltitudePossibleVal_1034 + AltitudePossibleVal_2365 + AltitudePossibleVal_3696 + AltitudePossibleVal_1035 + AltitudePossibleVal_2366 + AltitudePossibleVal_3697 + AltitudePossibleVal_1036 + AltitudePossibleVal_2367 + AltitudePossibleVal_3698 + AltitudePossibleVal_1037 + AltitudePossibleVal_2368 + AltitudePossibleVal_3699 + AltitudePossibleVal_1038 + AltitudePossibleVal_2369 + AltitudePossibleVal_1039 + AltitudePossibleVal_2370 + AltitudePossibleVal_1040 + AltitudePossibleVal_2371 + AltitudePossibleVal_1041 + AltitudePossibleVal_2372 + AltitudePossibleVal_1042 + AltitudePossibleVal_2373 + AltitudePossibleVal_1043 + AltitudePossibleVal_2374 + AltitudePossibleVal_1044 + AltitudePossibleVal_2375 + AltitudePossibleVal_1045 + AltitudePossibleVal_2376 + AltitudePossibleVal_1046 + AltitudePossibleVal_2377 + AltitudePossibleVal_1047 + AltitudePossibleVal_2378 + AltitudePossibleVal_1048 + AltitudePossibleVal_2379 + AltitudePossibleVal_1049 + AltitudePossibleVal_2380 + AltitudePossibleVal_1050 + AltitudePossibleVal_2381 + AltitudePossibleVal_1051 + AltitudePossibleVal_2382 + AltitudePossibleVal_1052 + AltitudePossibleVal_2383 + AltitudePossibleVal_1053 + AltitudePossibleVal_2384 + AltitudePossibleVal_1054 + AltitudePossibleVal_2385 + AltitudePossibleVal_1055 + AltitudePossibleVal_2386 + AltitudePossibleVal_1056 + AltitudePossibleVal_2387 + AltitudePossibleVal_1057 + AltitudePossibleVal_2388 + AltitudePossibleVal_1058 + AltitudePossibleVal_2389 + AltitudePossibleVal_1059 + AltitudePossibleVal_2390 + AltitudePossibleVal_1060 + AltitudePossibleVal_2391 + AltitudePossibleVal_1061 + AltitudePossibleVal_2392 + AltitudePossibleVal_1062 + AltitudePossibleVal_2393 + AltitudePossibleVal_1063 + AltitudePossibleVal_2394 + AltitudePossibleVal_1064 + AltitudePossibleVal_2395 + AltitudePossibleVal_1065 + AltitudePossibleVal_2396 + AltitudePossibleVal_1066 + AltitudePossibleVal_2397 + AltitudePossibleVal_1067 + AltitudePossibleVal_2398 + AltitudePossibleVal_1068 + AltitudePossibleVal_2399 + AltitudePossibleVal_1069 + AltitudePossibleVal_1070 + AltitudePossibleVal_1071 + AltitudePossibleVal_1072 + AltitudePossibleVal_1073 + AltitudePossibleVal_1074 + AltitudePossibleVal_1075 + AltitudePossibleVal_1076 + AltitudePossibleVal_1077 + AltitudePossibleVal_1078 + AltitudePossibleVal_1079 + AltitudePossibleVal_1080 + AltitudePossibleVal_1081 + AltitudePossibleVal_1082 + AltitudePossibleVal_1083 + AltitudePossibleVal_1084 + AltitudePossibleVal_1085 + AltitudePossibleVal_1086 + AltitudePossibleVal_1087 + AltitudePossibleVal_1088 + AltitudePossibleVal_1089 + AltitudePossibleVal_1090 + AltitudePossibleVal_1091 + AltitudePossibleVal_1092 + AltitudePossibleVal_1093 + AltitudePossibleVal_1094 + AltitudePossibleVal_1095 + AltitudePossibleVal_1096 + AltitudePossibleVal_1097 + AltitudePossibleVal_1098 + AltitudePossibleVal_1099 + AltitudePossibleVal_2756 + AltitudePossibleVal_1425 + AltitudePossibleVal_2755 + AltitudePossibleVal_1424 + AltitudePossibleVal_2754 + AltitudePossibleVal_1423 + AltitudePossibleVal_2753 + AltitudePossibleVal_1422 + AltitudePossibleVal_2752 + AltitudePossibleVal_1421 + AltitudePossibleVal_2751 + AltitudePossibleVal_1420 + AltitudePossibleVal_2750 + AltitudePossibleVal_1419 + AltitudePossibleVal_2749 + AltitudePossibleVal_1418 + AltitudePossibleVal_2748 + AltitudePossibleVal_1417 + AltitudePossibleVal_2747 + AltitudePossibleVal_1416 + AltitudePossibleVal_2746 + AltitudePossibleVal_1415 + AltitudePossibleVal_2745 + AltitudePossibleVal_1414 + AltitudePossibleVal_2744 + AltitudePossibleVal_1413 + AltitudePossibleVal_2743 + AltitudePossibleVal_1412 + AltitudePossibleVal_2742 + AltitudePossibleVal_1411 + AltitudePossibleVal_2741 + AltitudePossibleVal_1410 + AltitudePossibleVal_2740 + AltitudePossibleVal_1409 + AltitudePossibleVal_2739 + AltitudePossibleVal_1408 + AltitudePossibleVal_2738 + AltitudePossibleVal_1407 + AltitudePossibleVal_2737 + AltitudePossibleVal_1406 + AltitudePossibleVal_2736 + AltitudePossibleVal_1405 + AltitudePossibleVal_2735 + AltitudePossibleVal_1404 + AltitudePossibleVal_2734 + AltitudePossibleVal_1403 + AltitudePossibleVal_2733 + AltitudePossibleVal_1402 + AltitudePossibleVal_2732 + AltitudePossibleVal_1401 + AltitudePossibleVal_2731 + AltitudePossibleVal_1400 + AltitudePossibleVal_2730 + AltitudePossibleVal_2729 + AltitudePossibleVal_2728 + AltitudePossibleVal_2727 + AltitudePossibleVal_2726 + AltitudePossibleVal_2725 + AltitudePossibleVal_2724 + AltitudePossibleVal_2723 + AltitudePossibleVal_2722 + AltitudePossibleVal_2721 + AltitudePossibleVal_2720 + AltitudePossibleVal_2719 + AltitudePossibleVal_2718 + AltitudePossibleVal_2717 + AltitudePossibleVal_2716 + AltitudePossibleVal_2715 + AltitudePossibleVal_2714 + AltitudePossibleVal_2713 + AltitudePossibleVal_2712 + AltitudePossibleVal_2711 + AltitudePossibleVal_2710 + AltitudePossibleVal_2709 + AltitudePossibleVal_2708 + AltitudePossibleVal_2707 + AltitudePossibleVal_2706 + AltitudePossibleVal_2705 + AltitudePossibleVal_2704 + AltitudePossibleVal_2703 + AltitudePossibleVal_2702 + AltitudePossibleVal_2701 + AltitudePossibleVal_2700 + AltitudePossibleVal_199 + AltitudePossibleVal_198 + AltitudePossibleVal_197 + AltitudePossibleVal_196 + AltitudePossibleVal_195 + AltitudePossibleVal_194 + AltitudePossibleVal_193 + AltitudePossibleVal_192 + AltitudePossibleVal_191 + AltitudePossibleVal_190 + AltitudePossibleVal_189 + AltitudePossibleVal_188 + AltitudePossibleVal_187 + AltitudePossibleVal_186 + AltitudePossibleVal_185 + AltitudePossibleVal_184 + AltitudePossibleVal_183 + AltitudePossibleVal_182 + AltitudePossibleVal_181 + AltitudePossibleVal_180 + AltitudePossibleVal_179 + AltitudePossibleVal_178 + AltitudePossibleVal_177 + AltitudePossibleVal_176 + AltitudePossibleVal_175 + AltitudePossibleVal_174 + AltitudePossibleVal_173 + AltitudePossibleVal_172 + AltitudePossibleVal_171 + AltitudePossibleVal_170 + AltitudePossibleVal_169 + AltitudePossibleVal_168 + AltitudePossibleVal_167 + AltitudePossibleVal_166 + AltitudePossibleVal_165 + AltitudePossibleVal_164 + AltitudePossibleVal_163 + AltitudePossibleVal_162 + AltitudePossibleVal_161 + AltitudePossibleVal_160 + AltitudePossibleVal_159 + AltitudePossibleVal_158 + AltitudePossibleVal_157 + AltitudePossibleVal_156 + AltitudePossibleVal_155 + AltitudePossibleVal_154 + AltitudePossibleVal_153 + AltitudePossibleVal_152 + AltitudePossibleVal_151 + AltitudePossibleVal_150 + AltitudePossibleVal_149 + AltitudePossibleVal_148 + AltitudePossibleVal_147 + AltitudePossibleVal_146 + AltitudePossibleVal_145 + AltitudePossibleVal_144 + AltitudePossibleVal_143 + AltitudePossibleVal_142 + AltitudePossibleVal_141 + AltitudePossibleVal_140 + AltitudePossibleVal_139 + AltitudePossibleVal_138 + AltitudePossibleVal_137 + AltitudePossibleVal_136 + AltitudePossibleVal_135 + AltitudePossibleVal_134 + AltitudePossibleVal_133 + AltitudePossibleVal_132 + AltitudePossibleVal_131 + AltitudePossibleVal_130 + AltitudePossibleVal_129 + AltitudePossibleVal_128 + AltitudePossibleVal_127 + AltitudePossibleVal_126 + AltitudePossibleVal_125 + AltitudePossibleVal_124 + AltitudePossibleVal_123 + AltitudePossibleVal_122 + AltitudePossibleVal_121 + AltitudePossibleVal_120 + AltitudePossibleVal_119 + AltitudePossibleVal_118 + AltitudePossibleVal_117 + AltitudePossibleVal_116 + AltitudePossibleVal_115 + AltitudePossibleVal_114 + AltitudePossibleVal_113 + AltitudePossibleVal_112 + AltitudePossibleVal_111 + AltitudePossibleVal_110 + AltitudePossibleVal_109 + AltitudePossibleVal_108 + AltitudePossibleVal_107 + AltitudePossibleVal_106 + AltitudePossibleVal_105 + AltitudePossibleVal_104 + AltitudePossibleVal_103 + AltitudePossibleVal_102 + AltitudePossibleVal_101 + AltitudePossibleVal_100 + AltitudePossibleVal_1399 + AltitudePossibleVal_1398 + AltitudePossibleVal_1397 + AltitudePossibleVal_1396 + AltitudePossibleVal_1395 + AltitudePossibleVal_1394 + AltitudePossibleVal_1393 + AltitudePossibleVal_1392 + AltitudePossibleVal_1391 + AltitudePossibleVal_1390 + AltitudePossibleVal_1389 + AltitudePossibleVal_1388 + AltitudePossibleVal_1387 + AltitudePossibleVal_1386 + AltitudePossibleVal_1385 + AltitudePossibleVal_1384 + AltitudePossibleVal_1383 + AltitudePossibleVal_1382 + AltitudePossibleVal_1381 + AltitudePossibleVal_1380 + AltitudePossibleVal_1379 + AltitudePossibleVal_1378 + AltitudePossibleVal_1377 + AltitudePossibleVal_1376 + AltitudePossibleVal_1375 + AltitudePossibleVal_1374 + AltitudePossibleVal_1373 + AltitudePossibleVal_1372 + AltitudePossibleVal_1371 + AltitudePossibleVal_1370 + AltitudePossibleVal_1369 + AltitudePossibleVal_2699 + AltitudePossibleVal_1368 + AltitudePossibleVal_2698 + AltitudePossibleVal_1367 + AltitudePossibleVal_2697 + AltitudePossibleVal_1366 + AltitudePossibleVal_2696 + AltitudePossibleVal_1365 + AltitudePossibleVal_2695 + AltitudePossibleVal_1364 + AltitudePossibleVal_2694 + AltitudePossibleVal_1363 + AltitudePossibleVal_2693 + AltitudePossibleVal_1362 + AltitudePossibleVal_2692 + AltitudePossibleVal_1361 + AltitudePossibleVal_2691 + AltitudePossibleVal_1360 + AltitudePossibleVal_2690 + AltitudePossibleVal_1359 + AltitudePossibleVal_2689 + AltitudePossibleVal_1358 + AltitudePossibleVal_2688 + AltitudePossibleVal_1357 + AltitudePossibleVal_2687 + AltitudePossibleVal_1356 + AltitudePossibleVal_2686 + AltitudePossibleVal_1355 + AltitudePossibleVal_2685 + AltitudePossibleVal_1354 + AltitudePossibleVal_2684 + AltitudePossibleVal_1353 + AltitudePossibleVal_2683 + AltitudePossibleVal_1352 + AltitudePossibleVal_2682 + AltitudePossibleVal_1351 + AltitudePossibleVal_2681 + AltitudePossibleVal_1350 + AltitudePossibleVal_2680 + AltitudePossibleVal_1349 + AltitudePossibleVal_2679 + AltitudePossibleVal_1348 + AltitudePossibleVal_2678 + AltitudePossibleVal_1347 + AltitudePossibleVal_2677 + AltitudePossibleVal_1346 + AltitudePossibleVal_2676 + AltitudePossibleVal_1345 + AltitudePossibleVal_2675 + AltitudePossibleVal_10 + AltitudePossibleVal_11 + AltitudePossibleVal_12 + AltitudePossibleVal_13 + AltitudePossibleVal_14 + AltitudePossibleVal_15 + AltitudePossibleVal_16 + AltitudePossibleVal_17 + AltitudePossibleVal_18 + AltitudePossibleVal_19 + AltitudePossibleVal_1344 + AltitudePossibleVal_2674 + AltitudePossibleVal_1343 + AltitudePossibleVal_2673 + AltitudePossibleVal_1342 + AltitudePossibleVal_2672 + AltitudePossibleVal_1341 + AltitudePossibleVal_2671 + AltitudePossibleVal_1340 + AltitudePossibleVal_2670 + AltitudePossibleVal_1339 + AltitudePossibleVal_2669 + AltitudePossibleVal_1338 + AltitudePossibleVal_3999 + AltitudePossibleVal_2668 + AltitudePossibleVal_1337 + AltitudePossibleVal_3998 + AltitudePossibleVal_2667 + AltitudePossibleVal_1336 + AltitudePossibleVal_3997 + AltitudePossibleVal_2666 + AltitudePossibleVal_1335 + AltitudePossibleVal_3996 + AltitudePossibleVal_2665 + AltitudePossibleVal_1334 + AltitudePossibleVal_3995 + AltitudePossibleVal_2664 + AltitudePossibleVal_1333 + AltitudePossibleVal_3994 + AltitudePossibleVal_2663 + AltitudePossibleVal_20 + AltitudePossibleVal_21 + AltitudePossibleVal_22 + AltitudePossibleVal_23 + AltitudePossibleVal_24 + AltitudePossibleVal_25 + AltitudePossibleVal_26 + AltitudePossibleVal_27 + AltitudePossibleVal_28 + AltitudePossibleVal_29 + AltitudePossibleVal_1332 + AltitudePossibleVal_3993 + AltitudePossibleVal_2662 + AltitudePossibleVal_1331 + AltitudePossibleVal_3992 + AltitudePossibleVal_2661 + AltitudePossibleVal_1330 + AltitudePossibleVal_3991 + AltitudePossibleVal_2660 + AltitudePossibleVal_3990 + AltitudePossibleVal_1329 + AltitudePossibleVal_2659 + AltitudePossibleVal_1328 + AltitudePossibleVal_3989 + AltitudePossibleVal_2658 + AltitudePossibleVal_1327 + AltitudePossibleVal_3988 + AltitudePossibleVal_2657 + AltitudePossibleVal_1326 + AltitudePossibleVal_3987 + AltitudePossibleVal_2656 + AltitudePossibleVal_1325 + AltitudePossibleVal_3986 + AltitudePossibleVal_2655 + AltitudePossibleVal_1324 + AltitudePossibleVal_3985 + AltitudePossibleVal_2654 + AltitudePossibleVal_1323 + AltitudePossibleVal_3984 + AltitudePossibleVal_2653 + AltitudePossibleVal_30 + AltitudePossibleVal_31 + AltitudePossibleVal_32 + AltitudePossibleVal_33 + AltitudePossibleVal_34 + AltitudePossibleVal_35 + AltitudePossibleVal_36 + AltitudePossibleVal_37 + AltitudePossibleVal_38 + AltitudePossibleVal_39 + AltitudePossibleVal_1322 + AltitudePossibleVal_3983 + AltitudePossibleVal_2652 + AltitudePossibleVal_1321 + AltitudePossibleVal_3982 + AltitudePossibleVal_2651 + AltitudePossibleVal_1320 + AltitudePossibleVal_3981 + AltitudePossibleVal_2650 + AltitudePossibleVal_3980 + AltitudePossibleVal_1319 + AltitudePossibleVal_2649 + AltitudePossibleVal_1318 + AltitudePossibleVal_3979 + AltitudePossibleVal_2648 + AltitudePossibleVal_1317 + AltitudePossibleVal_3978 + AltitudePossibleVal_2647 + AltitudePossibleVal_1316 + AltitudePossibleVal_3977 + AltitudePossibleVal_40 + AltitudePossibleVal_41 + AltitudePossibleVal_42 + AltitudePossibleVal_43 + AltitudePossibleVal_44 + AltitudePossibleVal_45 + AltitudePossibleVal_46 + AltitudePossibleVal_47 + AltitudePossibleVal_48 + AltitudePossibleVal_49 + AltitudePossibleVal_2646 + AltitudePossibleVal_1315 + AltitudePossibleVal_3976 + AltitudePossibleVal_2645 + AltitudePossibleVal_1314 + AltitudePossibleVal_3975 + AltitudePossibleVal_2644 + AltitudePossibleVal_1313 + AltitudePossibleVal_3974 + AltitudePossibleVal_2643 + AltitudePossibleVal_50 + AltitudePossibleVal_51 + AltitudePossibleVal_52 + AltitudePossibleVal_53 + AltitudePossibleVal_54 + AltitudePossibleVal_55 + AltitudePossibleVal_56 + AltitudePossibleVal_57 + AltitudePossibleVal_58 + AltitudePossibleVal_59 + AltitudePossibleVal_1312 + AltitudePossibleVal_3973 + AltitudePossibleVal_2642 + AltitudePossibleVal_1311 + AltitudePossibleVal_3972 + AltitudePossibleVal_2641 + AltitudePossibleVal_1310 + AltitudePossibleVal_3971 + AltitudePossibleVal_2640 + AltitudePossibleVal_3970 + AltitudePossibleVal_60 + AltitudePossibleVal_61 + AltitudePossibleVal_62 + AltitudePossibleVal_63 + AltitudePossibleVal_64 + AltitudePossibleVal_65 + AltitudePossibleVal_66 + AltitudePossibleVal_67 + AltitudePossibleVal_68 + AltitudePossibleVal_69 + AltitudePossibleVal_1309 + AltitudePossibleVal_2639 + AltitudePossibleVal_1308 + AltitudePossibleVal_3969 + AltitudePossibleVal_2638 + AltitudePossibleVal_1307 + AltitudePossibleVal_3968 + AltitudePossibleVal_2637 + AltitudePossibleVal_1306 + AltitudePossibleVal_3967 + AltitudePossibleVal_70 + AltitudePossibleVal_71 + AltitudePossibleVal_72 + AltitudePossibleVal_73 + AltitudePossibleVal_74 + AltitudePossibleVal_75 + AltitudePossibleVal_76 + AltitudePossibleVal_77 + AltitudePossibleVal_78 + AltitudePossibleVal_79 + AltitudePossibleVal_2636 + AltitudePossibleVal_1305 + AltitudePossibleVal_3966 + AltitudePossibleVal_2635 + AltitudePossibleVal_1304 + AltitudePossibleVal_3965 + AltitudePossibleVal_2634 + AltitudePossibleVal_1303 + AltitudePossibleVal_3964 + AltitudePossibleVal_2633 + AltitudePossibleVal_1302 + AltitudePossibleVal_3963 + AltitudePossibleVal_2632 + AltitudePossibleVal_1301 + AltitudePossibleVal_3962 + AltitudePossibleVal_2631 + AltitudePossibleVal_1300 + AltitudePossibleVal_3961 + AltitudePossibleVal_2630 + AltitudePossibleVal_3960 + AltitudePossibleVal_80 + AltitudePossibleVal_81 + AltitudePossibleVal_82 + AltitudePossibleVal_83 + AltitudePossibleVal_84 + AltitudePossibleVal_85 + AltitudePossibleVal_86 + AltitudePossibleVal_87 + AltitudePossibleVal_88 + AltitudePossibleVal_89 + AltitudePossibleVal_2629 + AltitudePossibleVal_3959 + AltitudePossibleVal_2628 + AltitudePossibleVal_3958 + AltitudePossibleVal_2627 + AltitudePossibleVal_3957 + AltitudePossibleVal_2626 + AltitudePossibleVal_3956 + AltitudePossibleVal_2625 + AltitudePossibleVal_3955 + AltitudePossibleVal_2624 + AltitudePossibleVal_3954 + AltitudePossibleVal_2623 + AltitudePossibleVal_3953 + AltitudePossibleVal_2622 + AltitudePossibleVal_3952 + AltitudePossibleVal_2621 + AltitudePossibleVal_3951 + AltitudePossibleVal_2620 + AltitudePossibleVal_3950 + AltitudePossibleVal_90 + AltitudePossibleVal_91 + AltitudePossibleVal_92 + AltitudePossibleVal_93 + AltitudePossibleVal_94 + AltitudePossibleVal_95 + AltitudePossibleVal_96 + AltitudePossibleVal_97 + AltitudePossibleVal_98 + AltitudePossibleVal_99 + AltitudePossibleVal_3700 + AltitudePossibleVal_3701 + AltitudePossibleVal_3702 + AltitudePossibleVal_3703 + AltitudePossibleVal_3704 + AltitudePossibleVal_3705 + AltitudePossibleVal_3706 + AltitudePossibleVal_3707 + AltitudePossibleVal_3708 + AltitudePossibleVal_3709 + AltitudePossibleVal_2619 + AltitudePossibleVal_3949 + AltitudePossibleVal_2618 + AltitudePossibleVal_3948 + AltitudePossibleVal_2617 + AltitudePossibleVal_3947 + AltitudePossibleVal_2616 + AltitudePossibleVal_3946 + AltitudePossibleVal_2615 + AltitudePossibleVal_3945 + AltitudePossibleVal_2614 + AltitudePossibleVal_3944 + AltitudePossibleVal_2613 + AltitudePossibleVal_3943 + AltitudePossibleVal_2612 + AltitudePossibleVal_3942 + AltitudePossibleVal_2611 + AltitudePossibleVal_3941 + AltitudePossibleVal_2610 + AltitudePossibleVal_3710 + AltitudePossibleVal_3711 + AltitudePossibleVal_3712 + AltitudePossibleVal_3713 + AltitudePossibleVal_3714 + AltitudePossibleVal_3715 + AltitudePossibleVal_3716 + AltitudePossibleVal_3717 + AltitudePossibleVal_3718 + AltitudePossibleVal_3719 + AltitudePossibleVal_3940 + AltitudePossibleVal_2609 + AltitudePossibleVal_3939 + AltitudePossibleVal_2608 + AltitudePossibleVal_3938 + AltitudePossibleVal_2607 + AltitudePossibleVal_3937 + AltitudePossibleVal_2606 + AltitudePossibleVal_3936 + AltitudePossibleVal_2605 + AltitudePossibleVal_3720 + AltitudePossibleVal_3721 + AltitudePossibleVal_3722 + AltitudePossibleVal_3723 + AltitudePossibleVal_3724 + AltitudePossibleVal_3725 + AltitudePossibleVal_3726 + AltitudePossibleVal_3727 + AltitudePossibleVal_3728 + AltitudePossibleVal_3729 + AltitudePossibleVal_3935 + AltitudePossibleVal_2604 + AltitudePossibleVal_3934 + AltitudePossibleVal_2603 + AltitudePossibleVal_3933 + AltitudePossibleVal_2602 + AltitudePossibleVal_3932 + AltitudePossibleVal_2601 + AltitudePossibleVal_3931 + AltitudePossibleVal_2600 + AltitudePossibleVal_3730 + AltitudePossibleVal_2400 + AltitudePossibleVal_3731 + AltitudePossibleVal_2401 + AltitudePossibleVal_3732 + AltitudePossibleVal_2402 + AltitudePossibleVal_3733 + AltitudePossibleVal_2403 + AltitudePossibleVal_3734 + AltitudePossibleVal_2404 + AltitudePossibleVal_3735 + AltitudePossibleVal_2405 + AltitudePossibleVal_3736 + AltitudePossibleVal_2406 + AltitudePossibleVal_3737 + AltitudePossibleVal_2407 + AltitudePossibleVal_3738 + AltitudePossibleVal_2408 + AltitudePossibleVal_3739 + AltitudePossibleVal_2409 + AltitudePossibleVal_3930 + AltitudePossibleVal_3929 + AltitudePossibleVal_3928 + AltitudePossibleVal_3927 + AltitudePossibleVal_3926 + AltitudePossibleVal_3925 + AltitudePossibleVal_3924 + AltitudePossibleVal_3923 + AltitudePossibleVal_3922 + AltitudePossibleVal_3921 + AltitudePossibleVal_3740 + AltitudePossibleVal_2410 + AltitudePossibleVal_3741 + AltitudePossibleVal_2411 + AltitudePossibleVal_3742 + AltitudePossibleVal_2412 + AltitudePossibleVal_3743 + AltitudePossibleVal_2413 + AltitudePossibleVal_3744 + AltitudePossibleVal_2414 + AltitudePossibleVal_3745 + AltitudePossibleVal_2415 + AltitudePossibleVal_3746 + AltitudePossibleVal_2416 + AltitudePossibleVal_3747 + AltitudePossibleVal_2417 + AltitudePossibleVal_3748 + AltitudePossibleVal_2418 + AltitudePossibleVal_3749 + AltitudePossibleVal_2419 + AltitudePossibleVal_3920 + AltitudePossibleVal_3919 + AltitudePossibleVal_3918 + AltitudePossibleVal_3917 + AltitudePossibleVal_3916 + AltitudePossibleVal_3915 + AltitudePossibleVal_3914 + AltitudePossibleVal_3913 + AltitudePossibleVal_3912 + AltitudePossibleVal_3911 + AltitudePossibleVal_3750 + AltitudePossibleVal_2420 + AltitudePossibleVal_3751 + AltitudePossibleVal_2421 + AltitudePossibleVal_3752 + AltitudePossibleVal_2422 + AltitudePossibleVal_3753 + AltitudePossibleVal_2423 + AltitudePossibleVal_3754 + AltitudePossibleVal_2424 + AltitudePossibleVal_3755 + AltitudePossibleVal_2425 + AltitudePossibleVal_3756 + AltitudePossibleVal_2426 + AltitudePossibleVal_3757 + AltitudePossibleVal_2427 + AltitudePossibleVal_3758 + AltitudePossibleVal_2428 + AltitudePossibleVal_3759 + AltitudePossibleVal_2429 + AltitudePossibleVal_3910 + AltitudePossibleVal_3909 + AltitudePossibleVal_3908 + AltitudePossibleVal_3907 + AltitudePossibleVal_3906 + AltitudePossibleVal_3905 + AltitudePossibleVal_3904 + AltitudePossibleVal_3903 + AltitudePossibleVal_3902 + AltitudePossibleVal_3901 + AltitudePossibleVal_3760 + AltitudePossibleVal_2430 + AltitudePossibleVal_3761 + AltitudePossibleVal_1100 + AltitudePossibleVal_2431 + AltitudePossibleVal_3762 + AltitudePossibleVal_1101 + AltitudePossibleVal_2432 + AltitudePossibleVal_3763 + AltitudePossibleVal_1102 + AltitudePossibleVal_2433 + AltitudePossibleVal_3764 + AltitudePossibleVal_1103 + AltitudePossibleVal_2434 + AltitudePossibleVal_3765 + AltitudePossibleVal_1104 + AltitudePossibleVal_2435 + AltitudePossibleVal_3766 + AltitudePossibleVal_1105 + AltitudePossibleVal_2436 + AltitudePossibleVal_3767 + AltitudePossibleVal_1106 + AltitudePossibleVal_2437 + AltitudePossibleVal_3768 + AltitudePossibleVal_1107 + AltitudePossibleVal_2438 + AltitudePossibleVal_3769 + AltitudePossibleVal_1108 + AltitudePossibleVal_2439 + AltitudePossibleVal_1109 + AltitudePossibleVal_3900 + AltitudePossibleVal_9 + AltitudePossibleVal_8 + AltitudePossibleVal_7 + AltitudePossibleVal_6 + AltitudePossibleVal_5 + AltitudePossibleVal_4 + AltitudePossibleVal_3 + AltitudePossibleVal_2 + AltitudePossibleVal_1 + AltitudePossibleVal_3770 + AltitudePossibleVal_2440 + AltitudePossibleVal_3771 + AltitudePossibleVal_1110 + AltitudePossibleVal_2441 + AltitudePossibleVal_3772 + AltitudePossibleVal_1111 + AltitudePossibleVal_2442 + AltitudePossibleVal_3773 + AltitudePossibleVal_1112 + AltitudePossibleVal_2443 + AltitudePossibleVal_3774 + AltitudePossibleVal_1113 + AltitudePossibleVal_2444 + AltitudePossibleVal_3775 + AltitudePossibleVal_1114 + AltitudePossibleVal_2445 + AltitudePossibleVal_3776 + AltitudePossibleVal_1115 + AltitudePossibleVal_2446 + AltitudePossibleVal_3777 + AltitudePossibleVal_1116 + AltitudePossibleVal_2447 + AltitudePossibleVal_3778 + AltitudePossibleVal_1117 + AltitudePossibleVal_2448 + AltitudePossibleVal_3779 + AltitudePossibleVal_1118 + AltitudePossibleVal_2449 + AltitudePossibleVal_1119 + AltitudePossibleVal_3780 + AltitudePossibleVal_2450 + AltitudePossibleVal_3781 + AltitudePossibleVal_1120 + AltitudePossibleVal_2451 + AltitudePossibleVal_3782 + AltitudePossibleVal_1121 + AltitudePossibleVal_2452 + AltitudePossibleVal_3783 + AltitudePossibleVal_1122 + AltitudePossibleVal_2453 + AltitudePossibleVal_3784 + AltitudePossibleVal_1123 + AltitudePossibleVal_2454 + AltitudePossibleVal_3785 + AltitudePossibleVal_1124 + AltitudePossibleVal_2455 + AltitudePossibleVal_3786 + AltitudePossibleVal_1125 + AltitudePossibleVal_2456 + AltitudePossibleVal_3787 + AltitudePossibleVal_1126 + AltitudePossibleVal_2457 + AltitudePossibleVal_3788 + AltitudePossibleVal_1127 + AltitudePossibleVal_2458 + AltitudePossibleVal_3789 + AltitudePossibleVal_1128 + AltitudePossibleVal_2459 + AltitudePossibleVal_1129 + AltitudePossibleVal_3790 + AltitudePossibleVal_2460 + AltitudePossibleVal_3791 + AltitudePossibleVal_1130 + AltitudePossibleVal_2461 + AltitudePossibleVal_3792 + AltitudePossibleVal_1131 + AltitudePossibleVal_2462 + AltitudePossibleVal_3793 + AltitudePossibleVal_1132 + AltitudePossibleVal_2463 + AltitudePossibleVal_3794 + AltitudePossibleVal_1133 + AltitudePossibleVal_2464 + AltitudePossibleVal_3795 + AltitudePossibleVal_1134 + AltitudePossibleVal_2465 + AltitudePossibleVal_3796 + AltitudePossibleVal_1135 + AltitudePossibleVal_2466 + AltitudePossibleVal_3797 + AltitudePossibleVal_1136 + AltitudePossibleVal_2467 + AltitudePossibleVal_3798 + AltitudePossibleVal_1137 + AltitudePossibleVal_2468 + AltitudePossibleVal_3799 + AltitudePossibleVal_1138 + AltitudePossibleVal_2469 + AltitudePossibleVal_1139 + AltitudePossibleVal_2470 + AltitudePossibleVal_1140 + AltitudePossibleVal_2471 + AltitudePossibleVal_1141 + AltitudePossibleVal_2472 + AltitudePossibleVal_1142 + AltitudePossibleVal_2473 + AltitudePossibleVal_1143 + AltitudePossibleVal_2474 + AltitudePossibleVal_1144 + AltitudePossibleVal_2475 + AltitudePossibleVal_1145 + AltitudePossibleVal_2476 + AltitudePossibleVal_1146 + AltitudePossibleVal_2477 + AltitudePossibleVal_1147 + AltitudePossibleVal_2478 + AltitudePossibleVal_1148 + AltitudePossibleVal_2479 + AltitudePossibleVal_1149 + AltitudePossibleVal_2480 + AltitudePossibleVal_1150 + AltitudePossibleVal_2481 + AltitudePossibleVal_1151 + AltitudePossibleVal_2482 + AltitudePossibleVal_1152 + AltitudePossibleVal_2483 + AltitudePossibleVal_1153 + AltitudePossibleVal_2484 + AltitudePossibleVal_1154 + AltitudePossibleVal_2485 + AltitudePossibleVal_1155 + AltitudePossibleVal_2486 + AltitudePossibleVal_1156 + AltitudePossibleVal_2487 + AltitudePossibleVal_1157 + AltitudePossibleVal_2488 + AltitudePossibleVal_1158 + AltitudePossibleVal_2489 + AltitudePossibleVal_1159 + AltitudePossibleVal_2490 + AltitudePossibleVal_1160 + AltitudePossibleVal_2491 + AltitudePossibleVal_1161 + AltitudePossibleVal_2492 + AltitudePossibleVal_1162 + AltitudePossibleVal_2493 + AltitudePossibleVal_1163 + AltitudePossibleVal_2494 + AltitudePossibleVal_1164 + AltitudePossibleVal_2495 + AltitudePossibleVal_1165 + AltitudePossibleVal_2496 + AltitudePossibleVal_1166 + AltitudePossibleVal_2497 + AltitudePossibleVal_1167 + AltitudePossibleVal_2498 + AltitudePossibleVal_1168 + AltitudePossibleVal_2499 + AltitudePossibleVal_1169 + AltitudePossibleVal_1170 + AltitudePossibleVal_1171 + AltitudePossibleVal_1172 + AltitudePossibleVal_1173 + AltitudePossibleVal_1174 + AltitudePossibleVal_1175 + AltitudePossibleVal_1176 + AltitudePossibleVal_1177 + AltitudePossibleVal_1178 + AltitudePossibleVal_1179 + AltitudePossibleVal_1180 + AltitudePossibleVal_1181 + AltitudePossibleVal_1182 + AltitudePossibleVal_1183 + AltitudePossibleVal_1184 + AltitudePossibleVal_1185 + AltitudePossibleVal_1186 + AltitudePossibleVal_1187 + AltitudePossibleVal_1188 + AltitudePossibleVal_1189 + AltitudePossibleVal_1190 + AltitudePossibleVal_1191 + AltitudePossibleVal_1192 + AltitudePossibleVal_1193 + AltitudePossibleVal_1194 + AltitudePossibleVal_1195 + AltitudePossibleVal_1196 + AltitudePossibleVal_1197 + AltitudePossibleVal_1198 + AltitudePossibleVal_1199 + AltitudePossibleVal_1299 + AltitudePossibleVal_1298 + AltitudePossibleVal_1297 + AltitudePossibleVal_1296 + AltitudePossibleVal_1295 + AltitudePossibleVal_1294 + AltitudePossibleVal_1293 + AltitudePossibleVal_1292 + AltitudePossibleVal_1291 + AltitudePossibleVal_1290 + AltitudePossibleVal_1289 + AltitudePossibleVal_1288 + AltitudePossibleVal_1287 + AltitudePossibleVal_1286 + AltitudePossibleVal_1285 + AltitudePossibleVal_1284 + AltitudePossibleVal_1283 + AltitudePossibleVal_1282 + AltitudePossibleVal_1281 + AltitudePossibleVal_1280 + AltitudePossibleVal_1279 + AltitudePossibleVal_1278 + AltitudePossibleVal_1277 + AltitudePossibleVal_1276 + AltitudePossibleVal_1275 + AltitudePossibleVal_1274 + AltitudePossibleVal_1273 + AltitudePossibleVal_1272 + AltitudePossibleVal_1271 + AltitudePossibleVal_1270 + AltitudePossibleVal_1269 + AltitudePossibleVal_2599 + AltitudePossibleVal_1268 + AltitudePossibleVal_2598 + AltitudePossibleVal_1267 + AltitudePossibleVal_2597 + AltitudePossibleVal_1266 + AltitudePossibleVal_2596 + AltitudePossibleVal_1265 + AltitudePossibleVal_2595 + AltitudePossibleVal_1264 + AltitudePossibleVal_2594 + AltitudePossibleVal_1263 + AltitudePossibleVal_2593 + AltitudePossibleVal_1262 + AltitudePossibleVal_2592 + AltitudePossibleVal_1261 + AltitudePossibleVal_2591 + AltitudePossibleVal_1260 + AltitudePossibleVal_2590 + AltitudePossibleVal_1259 + AltitudePossibleVal_2589 + AltitudePossibleVal_1258 + AltitudePossibleVal_2588 + AltitudePossibleVal_1257 + AltitudePossibleVal_2587 + AltitudePossibleVal_1256 + AltitudePossibleVal_2586 + AltitudePossibleVal_1255 + AltitudePossibleVal_2585 + AltitudePossibleVal_1254 + AltitudePossibleVal_2584 + AltitudePossibleVal_1253 + AltitudePossibleVal_2583 + AltitudePossibleVal_1252 + AltitudePossibleVal_2582 + AltitudePossibleVal_1251 + AltitudePossibleVal_2581 + AltitudePossibleVal_1250 + AltitudePossibleVal_2580 + AltitudePossibleVal_1249 + AltitudePossibleVal_2579 + AltitudePossibleVal_1248 + AltitudePossibleVal_2578 + AltitudePossibleVal_1247 + AltitudePossibleVal_2577 + AltitudePossibleVal_1246 + AltitudePossibleVal_2576 + AltitudePossibleVal_1245 + AltitudePossibleVal_2575 + AltitudePossibleVal_1244 + AltitudePossibleVal_2574 + AltitudePossibleVal_1243 + AltitudePossibleVal_2573 + AltitudePossibleVal_1242 + AltitudePossibleVal_2572 + AltitudePossibleVal_1241 + AltitudePossibleVal_2571 + AltitudePossibleVal_1240 + AltitudePossibleVal_2570 + AltitudePossibleVal_1239 + AltitudePossibleVal_2569 + AltitudePossibleVal_1238 + AltitudePossibleVal_3899 + AltitudePossibleVal_2568 + AltitudePossibleVal_1237 + AltitudePossibleVal_3898 + AltitudePossibleVal_2567 + AltitudePossibleVal_1236 + AltitudePossibleVal_3897 + AltitudePossibleVal_2566 + AltitudePossibleVal_1235 + AltitudePossibleVal_3896 + AltitudePossibleVal_2565 + AltitudePossibleVal_1234 + AltitudePossibleVal_3895 + AltitudePossibleVal_2564 + AltitudePossibleVal_1233 + AltitudePossibleVal_3894 + AltitudePossibleVal_2563 + AltitudePossibleVal_1232 + AltitudePossibleVal_3893 + AltitudePossibleVal_2562 + AltitudePossibleVal_1231 + AltitudePossibleVal_3892 + AltitudePossibleVal_2561 + AltitudePossibleVal_1230 + AltitudePossibleVal_3891 + AltitudePossibleVal_2560 + AltitudePossibleVal_3890 + AltitudePossibleVal_1229 + AltitudePossibleVal_2559 + AltitudePossibleVal_1228 + AltitudePossibleVal_3889 + AltitudePossibleVal_2558 + AltitudePossibleVal_1227 + AltitudePossibleVal_3888 + AltitudePossibleVal_2557 + AltitudePossibleVal_1226 + AltitudePossibleVal_3887 + AltitudePossibleVal_2556 + AltitudePossibleVal_1225 + AltitudePossibleVal_3886 + AltitudePossibleVal_2555 + AltitudePossibleVal_1224 + AltitudePossibleVal_3885 + AltitudePossibleVal_2554 + AltitudePossibleVal_1223 + AltitudePossibleVal_3884 + AltitudePossibleVal_2553 + AltitudePossibleVal_1222 + AltitudePossibleVal_3883 + AltitudePossibleVal_2552 + AltitudePossibleVal_1221 + AltitudePossibleVal_3882 + AltitudePossibleVal_2551 + AltitudePossibleVal_1220 + AltitudePossibleVal_3881 + AltitudePossibleVal_2550 + AltitudePossibleVal_3880 + AltitudePossibleVal_1219 + AltitudePossibleVal_2549 + AltitudePossibleVal_1218 + AltitudePossibleVal_3879 + AltitudePossibleVal_2548 + AltitudePossibleVal_1217 + AltitudePossibleVal_3878 + AltitudePossibleVal_2547 + AltitudePossibleVal_1216 + AltitudePossibleVal_3877 + AltitudePossibleVal_2546 + AltitudePossibleVal_1215 + AltitudePossibleVal_3876 + AltitudePossibleVal_2545 + AltitudePossibleVal_1214 + AltitudePossibleVal_3875 + AltitudePossibleVal_2544 + AltitudePossibleVal_1213 + AltitudePossibleVal_3874 + AltitudePossibleVal_2543 + AltitudePossibleVal_1212 + AltitudePossibleVal_3873 + AltitudePossibleVal_2542 + AltitudePossibleVal_1211 + AltitudePossibleVal_3872 + AltitudePossibleVal_2541 + AltitudePossibleVal_1210 + AltitudePossibleVal_3871 + AltitudePossibleVal_2540 + AltitudePossibleVal_3870 + AltitudePossibleVal_1209 + AltitudePossibleVal_2539 + AltitudePossibleVal_1208 + AltitudePossibleVal_3869 + AltitudePossibleVal_2538 + AltitudePossibleVal_1207 + AltitudePossibleVal_3868 + AltitudePossibleVal_2537 + AltitudePossibleVal_1206 + AltitudePossibleVal_3867 + AltitudePossibleVal_2536 + AltitudePossibleVal_1205 + AltitudePossibleVal_3866 + AltitudePossibleVal_2535 + AltitudePossibleVal_1204 + AltitudePossibleVal_3865 + AltitudePossibleVal_2534 + AltitudePossibleVal_1203 + AltitudePossibleVal_3864 + AltitudePossibleVal_2533 + AltitudePossibleVal_1202 + AltitudePossibleVal_3863 + AltitudePossibleVal_2532 + AltitudePossibleVal_1201 + AltitudePossibleVal_3862 + AltitudePossibleVal_2531 + AltitudePossibleVal_1200 + AltitudePossibleVal_3861 + AltitudePossibleVal_2530 + AltitudePossibleVal_3860 + AltitudePossibleVal_2529 + AltitudePossibleVal_3859 + AltitudePossibleVal_2528 + AltitudePossibleVal_3858 + AltitudePossibleVal_2527 + AltitudePossibleVal_3857 + AltitudePossibleVal_2526 + AltitudePossibleVal_3856 + AltitudePossibleVal_2525 + AltitudePossibleVal_3855 + AltitudePossibleVal_2524 + AltitudePossibleVal_3854 + AltitudePossibleVal_2523 + AltitudePossibleVal_3853 + AltitudePossibleVal_2522 + AltitudePossibleVal_3852 + AltitudePossibleVal_2521 + AltitudePossibleVal_3851 + AltitudePossibleVal_2520 + AltitudePossibleVal_3850 + AltitudePossibleVal_2519 + AltitudePossibleVal_3849 + AltitudePossibleVal_2518 + AltitudePossibleVal_3848 + AltitudePossibleVal_2517 + AltitudePossibleVal_3847 + AltitudePossibleVal_2516 + AltitudePossibleVal_3846 + AltitudePossibleVal_2515 + AltitudePossibleVal_3845 + AltitudePossibleVal_2514 + AltitudePossibleVal_3844 + AltitudePossibleVal_2513 + AltitudePossibleVal_3843 + AltitudePossibleVal_2512 + AltitudePossibleVal_3842 + AltitudePossibleVal_2511 + AltitudePossibleVal_3841 + AltitudePossibleVal_2510 + AltitudePossibleVal_3840 + AltitudePossibleVal_2509 + AltitudePossibleVal_3839 + AltitudePossibleVal_2508 + AltitudePossibleVal_3838 + AltitudePossibleVal_2507 + AltitudePossibleVal_3837 + AltitudePossibleVal_2506 + AltitudePossibleVal_3836 + AltitudePossibleVal_2505 + AltitudePossibleVal_3835 + AltitudePossibleVal_2504 + AltitudePossibleVal_3834 + AltitudePossibleVal_2503 + AltitudePossibleVal_3833 + AltitudePossibleVal_2502 + AltitudePossibleVal_3832 + AltitudePossibleVal_2501 + AltitudePossibleVal_3831 + AltitudePossibleVal_2500 + AltitudePossibleVal_3830 + AltitudePossibleVal_3829 + AltitudePossibleVal_3828 + AltitudePossibleVal_3827 + AltitudePossibleVal_3826 + AltitudePossibleVal_3825 + AltitudePossibleVal_3824 + AltitudePossibleVal_3823 + AltitudePossibleVal_3822 + AltitudePossibleVal_3821 + AltitudePossibleVal_3820 + AltitudePossibleVal_3819 + AltitudePossibleVal_3818 + AltitudePossibleVal_3817 + AltitudePossibleVal_3816 + AltitudePossibleVal_3815 + AltitudePossibleVal_3814 + AltitudePossibleVal_3813 + AltitudePossibleVal_3812 + AltitudePossibleVal_3811 + AltitudePossibleVal_3810 + AltitudePossibleVal_3809 + AltitudePossibleVal_3808 + AltitudePossibleVal_3807 + AltitudePossibleVal_3806 + AltitudePossibleVal_3805 + AltitudePossibleVal_3804 + AltitudePossibleVal_3803 + AltitudePossibleVal_3802 + AltitudePossibleVal_3801 + AltitudePossibleVal_3800)
lola: after: (0 <= 3998)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (TheAltitude_1431 <= AltitudePossibleVal_3947)
lola: after: (TheAltitude_1431 <= 1)
lola: place invariant simplifies atomic proposition
lola: before: (Speed_Left_Wheel_1730 <= AltitudePossibleVal_1663)
lola: after: (Speed_Left_Wheel_1730 <= 1)
lola: place invariant simplifies atomic proposition
lola: before: (SpeedPossibleVal_538 <= TheAltitude_423)
lola: after: (1 <= TheAltitude_423)
lola: place invariant simplifies atomic proposition
lola: before: (TheAltitude_2360 <= AltitudePossibleVal_2033)
lola: after: (TheAltitude_2360 <= 1)
lola: place invariant simplifies atomic proposition
lola: before: (AltitudePossibleVal_1337 <= AltitudePossibleVal_1777)
lola: after: (0 <= 0)
lola: always true
lola: A (G ((X ((3 <= P3)) U F ((P3 <= P6))))) : A ((Weight_Right_Wheel_off + Weight_Right_Wheel_on <= stp1)) : A (F (G (X (F ((2 <= P4)))))) : A ((X (G ((1 <= stp2))) U G (G ((2 <= stp5))))) : A (X (X (G ((stp5 <= Plane_On_Ground_Signal_no_F + Plane_On_Ground_Signal_no_T))))) : A (F (((1 <= P2) U X ((stp1 <= P5))))) : A (G (F (((P6 <= stp3) U (3 <= stp5))))) : A (X (G ((TRUE U (1 <= Speed_Right_Wheel_680 + Speed_Right_Wheel_681 + Speed_Right_Wheel_682 + Speed_Right_Wheel_683 + Speed_Right_Wheel_684 + Speed_Right_Wheel_685 + Speed_Right_Wheel_686 + Speed_Right_Wheel_687 + Speed_Right_Wheel_688 + Speed_Right_Wheel_689 + Speed_Right_Wheel_1920 + Speed_Right_Wheel_1921 + Speed_Right_Wheel_1922 + Speed_Right_Wheel_1923 + Speed_Right_Wheel_1924 + Speed_Right_Wheel_1925 + Speed_Right_Wheel_1926 + Speed_Right_Wheel_1927 + Speed_Right_Wheel_1928 + Speed_Right_Wheel_1929 + Speed_Right_Wheel_690 + Speed_Right_Wheel_691 + Speed_Right_Wheel_692 + Speed_Right_Wheel_693 + Speed_Right_Wheel_694 + Speed_Right_Wheel_695 + Speed_Right_Wheel_696 + Speed_Right_Wheel_697 + Speed_Right_Wheel_698 + Speed_Right_Wheel_699 + Speed_Right_Wheel_1930 + Speed_Right_Wheel_1931 + Speed_Right_Wheel_1932 + Speed_Right_Wheel_1933 + Speed_Right_Wheel_1934 + Speed_Right_Wheel_1935 + Speed_Right_Wheel_1936 + Speed_Right_Wheel_1937 + Speed_Right_Wheel_1938 + Speed_Right_Wheel_1939 + Speed_Right_Wheel_1940 + Speed_Right_Wheel_1941 + Speed_Right_Wheel_1942 + Speed_Right_Wheel_1943 + Speed_Right_Wheel_1944 + Speed_Right_Wheel_1945 + Speed_Right_Wheel_1946 + Speed_Right_Wheel_1947 + Speed_Right_Wheel_1948 + Speed_Right_Wheel_1949 + Speed_Right_Wheel_1950 + Speed_Right_Wheel_1951 + Speed_Right_Wheel_1952 + Speed_Right_Wheel_1953 + Speed_Right_Wheel_1954 + Speed_Right_Wheel_1955 + Speed_Right_Wheel_1956 + Speed_Right_Wheel_1957 + Speed_Right_Wheel_1958 + Speed_Right_Wheel_1959 + Speed_Right_Wheel_1960 + Speed_Right_Wheel_1961 + Speed_Right_Wheel_1962 + Speed_Right_Wheel_1963 + Speed_Right_Wheel_1964 + Speed_Right_Wheel_1965 + Speed_Right_Wheel_1966 + Speed_Right_Wheel_1967 + Speed_Right_Wheel_1968 + Speed_Right_Wheel_1969 + Speed_Right_Wheel_1970 + Speed_Right_Wheel_1971 + Speed_Right_Wheel_1972 + Speed_Right_Wheel_1973 + Speed_Right_Wheel_1974 + Speed_Right_Wheel_1975 + Speed_Right_Wheel_1976 + Speed_Right_Wheel_1977 + Speed_Right_Wheel_1978 + Speed_Right_Wheel_1979 + Speed_Right_Wheel_1980 + Speed_Right_Wheel_1981 + Speed_Right_Wheel_1982 + Speed_Right_Wheel_1983 + Speed_Right_Wheel_1984 + Speed_Right_Wheel_1985 + Speed_Right_Wheel_1986 + Speed_Right_Wheel_1987 + Speed_Right_Wheel_1988 + Speed_Right_Wheel_1989 + Speed_Right_Wheel_1919 + Speed_Right_Wheel_1918 + Speed_Right_Wheel_1917 + Speed_Right_Wheel_1916 + Speed_Right_Wheel_1915 + Speed_Right_Wheel_1914 + Speed_Right_Wheel_1990 + Speed_Right_Wheel_1991 + Speed_Right_Wheel_1992 + Speed_Right_Wheel_1993 + Speed_Right_Wheel_1994 + Speed_Right_Wheel_1995 + Speed_Right_Wheel_1996 + Speed_Right_Wheel_1997 + Speed_Right_Wheel_1998 + Speed_Right_Wheel_1999 + Speed_Right_Wheel_1913 + Speed_Right_Wheel_1912 + Speed_Right_Wheel_1911 + Speed_Right_Wheel_1910 + Speed_Right_Wheel_679 + Speed_Right_Wheel_678 + Speed_Right_Wheel_677 + Speed_Right_Wheel_676 + Speed_Right_Wheel_675 + Speed_Right_Wheel_674 + Speed_Right_Wheel_673 + Speed_Right_Wheel_672 + Speed_Right_Wheel_671 + Speed_Right_Wheel_670 + Speed_Right_Wheel_1909 + Speed_Right_Wheel_1908 + Speed_Right_Wheel_1907 + Speed_Right_Wheel_1906 + Speed_Right_Wheel_1905 + Speed_Right_Wheel_1904 + Speed_Right_Wheel_1903 + Speed_Right_Wheel_1902 + Speed_Right_Wheel_1901 + Speed_Right_Wheel_1900 + Speed_Right_Wheel_669 + Speed_Right_Wheel_668 + Speed_Right_Wheel_667 + Speed_Right_Wheel_666 + Speed_Right_Wheel_665 + Speed_Right_Wheel_664 + Speed_Right_Wheel_663 + Speed_Right_Wheel_662 + Speed_Right_Wheel_661 + Speed_Right_Wheel_660 + Speed_Right_Wheel_659 + Speed_Right_Wheel_658 + Speed_Right_Wheel_657 + Speed_Right_Wheel_656 + Speed_Right_Wheel_655 + Speed_Right_Wheel_654 + Speed_Right_Wheel_653 + Speed_Right_Wheel_652 + Speed_Right_Wheel_651 + Speed_Right_Wheel_650 + Speed_Right_Wheel_649 + Speed_Right_Wheel_648 + Speed_Right_Wheel_647 + Speed_Right_Wheel_646 + Speed_Right_Wheel_645 + Speed_Right_Wheel_644 + Speed_Right_Wheel_643 + Speed_Right_Wheel_642 + Speed_Right_Wheel_641 + Speed_Right_Wheel_640 + Speed_Right_Wheel_639 + Speed_Right_Wheel_638 + Speed_Right_Wheel_637 + Speed_Right_Wheel_636 + Speed_Right_Wheel_635 + Speed_Right_Wheel_634 + Speed_Right_Wheel_633 + Speed_Right_Wheel_632 + Speed_Right_Wheel_631 + Speed_Right_Wheel_630 + Speed_Right_Wheel_629 + Speed_Right_Wheel_628 + Speed_Right_Wheel_627 + Speed_Right_Wheel_626 + Speed_Right_Wheel_625 + Speed_Right_Wheel_624 + Speed_Right_Wheel_623 + Speed_Right_Wheel_622 + Speed_Right_Wheel_621 + Speed_Right_Wheel_620 + Speed_Right_Wheel_619 + Speed_Right_Wheel_618 + Speed_Right_Wheel_617 + Speed_Right_Wheel_616 + Speed_Right_Wheel_615 + Speed_Right_Wheel_614 + Speed_Right_Wheel_613 + Speed_Right_Wheel_612 + Speed_Right_Wheel_611 + Speed_Right_Wheel_610 + Speed_Right_Wheel_609 + Speed_Right_Wheel_608 + Speed_Right_Wheel_607 + Speed_Right_Wheel_606 + Speed_Right_Wheel_605 + Speed_Right_Wheel_604 + Speed_Right_Wheel_603 + Speed_Right_Wheel_602 + Speed_Right_Wheel_601 + Speed_Right_Wheel_600 + Speed_Right_Wheel_700 + Speed_Right_Wheel_701 + Speed_Right_Wheel_702 + Speed_Right_Wheel_703 + Speed_Right_Wheel_704 + Speed_Right_Wheel_705 + Speed_Right_Wheel_706 + Speed_Right_Wheel_707 + Speed_Right_Wheel_708 + Speed_Right_Wheel_709 + Speed_Right_Wheel_710 + Speed_Right_Wheel_711 + Speed_Right_Wheel_712 + Speed_Right_Wheel_713 + Speed_Right_Wheel_714 + Speed_Right_Wheel_715 + Speed_Right_Wheel_716 + Speed_Right_Wheel_717 + Speed_Right_Wheel_718 + Speed_Right_Wheel_719 + Speed_Right_Wheel_720 + Speed_Right_Wheel_721 + Speed_Right_Wheel_722 + Speed_Right_Wheel_723 + Speed_Right_Wheel_724 + Speed_Right_Wheel_725 + Speed_Right_Wheel_726 + Speed_Right_Wheel_727 + Speed_Right_Wheel_728 + Speed_Right_Wheel_729 + Speed_Right_Wheel_730 + Speed_Right_Wheel_731 + Speed_Right_Wheel_732 + Speed_Right_Wheel_733 + Speed_Right_Wheel_734 + Speed_Right_Wheel_735 + Speed_Right_Wheel_736 + Speed_Right_Wheel_737 + Speed_Right_Wheel_738 + Speed_Right_Wheel_739 + Speed_Right_Wheel_740 + Speed_Right_Wheel_741 + Speed_Right_Wheel_742 + Speed_Right_Wheel_743 + Speed_Right_Wheel_744 + Speed_Right_Wheel_745 + Speed_Right_Wheel_746 + Speed_Right_Wheel_747 + Speed_Right_Wheel_748 + Speed_Right_Wheel_749 + Speed_Right_Wheel_750 + Speed_Right_Wheel_751 + Speed_Right_Wheel_752 + Speed_Right_Wheel_753 + Speed_Right_Wheel_754 + Speed_Right_Wheel_755 + Speed_Right_Wheel_756 + Speed_Right_Wheel_757 + Speed_Right_Wheel_758 + Speed_Right_Wheel_759 + Speed_Right_Wheel_760 + Speed_Right_Wheel_761 + Speed_Right_Wheel_762 + Speed_Right_Wheel_763 + Speed_Right_Wheel_764 + Speed_Right_Wheel_765 + Speed_Right_Wheel_766 + Speed_Right_Wheel_767 + Speed_Right_Wheel_768 + Speed_Right_Wheel_769 + Speed_Right_Wheel_770 + Speed_Right_Wheel_771 + Speed_Right_Wheel_772 + Speed_Right_Wheel_773 + Speed_Right_Wheel_774 + Speed_Right_Wheel_775 + Speed_Right_Wheel_776 + Speed_Right_Wheel_777 + Speed_Right_Wheel_778 + Speed_Right_Wheel_779 + Speed_Right_Wheel_780 + Speed_Right_Wheel_781 + Speed_Right_Wheel_782 + Speed_Right_Wheel_783 + Speed_Right_Wheel_784 + Speed_Right_Wheel_785 + Speed_Right_Wheel_786 + Speed_Right_Wheel_787 + Speed_Right_Wheel_788 + Speed_Right_Wheel_789 + Speed_Right_Wheel_790 + Speed_Right_Wheel_791 + Speed_Right_Wheel_792 + Speed_Right_Wheel_793 + Speed_Right_Wheel_794 + Speed_Right_Wheel_795 + Speed_Right_Wheel_796 + Speed_Right_Wheel_797 + Speed_Right_Wheel_798 + Speed_Right_Wheel_799 + Speed_Right_Wheel_1899 + Speed_Right_Wheel_1898 + Speed_Right_Wheel_1897 + Speed_Right_Wheel_1896 + Speed_Right_Wheel_1895 + Speed_Right_Wheel_1894 + Speed_Right_Wheel_1893 + Speed_Right_Wheel_1892 + Speed_Right_Wheel_1891 + Speed_Right_Wheel_1890 + Speed_Right_Wheel_1889 + Speed_Right_Wheel_1888 + Speed_Right_Wheel_1887 + Speed_Right_Wheel_1886 + Speed_Right_Wheel_1885 + Speed_Right_Wheel_1884 + Speed_Right_Wheel_1883 + Speed_Right_Wheel_1882 + Speed_Right_Wheel_1881 + Speed_Right_Wheel_1880 + Speed_Right_Wheel_1879 + Speed_Right_Wheel_1878 + Speed_Right_Wheel_1877 + Speed_Right_Wheel_1876 + Speed_Right_Wheel_1875 + Speed_Right_Wheel_1874 + Speed_Right_Wheel_1873 + Speed_Right_Wheel_1872 + Speed_Right_Wheel_1871 + Speed_Right_Wheel_1870 + Speed_Right_Wheel_1869 + Speed_Right_Wheel_1868 + Speed_Right_Wheel_1867 + Speed_Right_Wheel_1866 + Speed_Right_Wheel_1865 + Speed_Right_Wheel_1864 + Speed_Right_Wheel_1863 + Speed_Right_Wheel_1862 + Speed_Right_Wheel_1861 + Speed_Right_Wheel_1860 + Speed_Right_Wheel_1859 + Speed_Right_Wheel_1858 + Speed_Right_Wheel_1857 + Speed_Right_Wheel_1856 + Speed_Right_Wheel_1855 + Speed_Right_Wheel_1854 + Speed_Right_Wheel_1853 + Speed_Right_Wheel_1852 + Speed_Right_Wheel_1851 + Speed_Right_Wheel_1850 + Speed_Right_Wheel_1849 + Speed_Right_Wheel_1848 + Speed_Right_Wheel_1847 + Speed_Right_Wheel_1846 + Speed_Right_Wheel_1845 + Speed_Right_Wheel_1844 + Speed_Right_Wheel_1843 + Speed_Right_Wheel_1842 + Speed_Right_Wheel_1841 + Speed_Right_Wheel_1840 + Speed_Right_Wheel_1839 + Speed_Right_Wheel_1838 + Speed_Right_Wheel_1837 + Speed_Right_Wheel_1836 + Speed_Right_Wheel_1835 + Speed_Right_Wheel_1834 + Speed_Right_Wheel_1833 + Speed_Right_Wheel_1832 + Speed_Right_Wheel_1831 + Speed_Right_Wheel_1830 + Speed_Right_Wheel_599 + Speed_Right_Wheel_598 + Speed_Right_Wheel_597 + Speed_Right_Wheel_596 + Speed_Right_Wheel_595 + Speed_Right_Wheel_594 + Speed_Right_Wheel_593 + Speed_Right_Wheel_592 + Speed_Right_Wheel_591 + Speed_Right_Wheel_590 + Speed_Right_Wheel_1829 + Speed_Right_Wheel_1828 + Speed_Right_Wheel_1827 + Speed_Right_Wheel_1826 + Speed_Right_Wheel_1825 + Speed_Right_Wheel_1824 + Speed_Right_Wheel_1823 + Speed_Right_Wheel_1822 + Speed_Right_Wheel_1821 + Speed_Right_Wheel_1820 + Speed_Right_Wheel_589 + Speed_Right_Wheel_588 + Speed_Right_Wheel_587 + Speed_Right_Wheel_586 + Speed_Right_Wheel_585 + Speed_Right_Wheel_584 + Speed_Right_Wheel_583 + Speed_Right_Wheel_582 + Speed_Right_Wheel_581 + Speed_Right_Wheel_580 + Speed_Right_Wheel_1819 + Speed_Right_Wheel_1818 + Speed_Right_Wheel_1817 + Speed_Right_Wheel_1816 + Speed_Right_Wheel_1815 + Speed_Right_Wheel_1814 + Speed_Right_Wheel_1813 + Speed_Right_Wheel_1812 + Speed_Right_Wheel_1811 + Speed_Right_Wheel_1810 + Speed_Right_Wheel_579 + Speed_Right_Wheel_578 + Speed_Right_Wheel_577 + Speed_Right_Wheel_576 + Speed_Right_Wheel_575 + Speed_Right_Wheel_574 + Speed_Right_Wheel_573 + Speed_Right_Wheel_572 + Speed_Right_Wheel_571 + Speed_Right_Wheel_570 + Speed_Right_Wheel_1809 + Speed_Right_Wheel_1808 + Speed_Right_Wheel_1807 + Speed_Right_Wheel_1806 + Speed_Right_Wheel_1805 + Speed_Right_Wheel_1804 + Speed_Right_Wheel_1803 + Speed_Right_Wheel_1802 + Speed_Right_Wheel_1801 + Speed_Right_Wheel_1800 + Speed_Right_Wheel_569 + Speed_Right_Wheel_568 + Speed_Right_Wheel_567 + Speed_Right_Wheel_566 + Speed_Right_Wheel_565 + Speed_Right_Wheel_564 + Speed_Right_Wheel_563 + Speed_Right_Wheel_562 + Speed_Right_Wheel_561 + Speed_Right_Wheel_560 + Speed_Right_Wheel_559 + Speed_Right_Wheel_558 + Speed_Right_Wheel_557 + Speed_Right_Wheel_556 + Speed_Right_Wheel_555 + Speed_Right_Wheel_554 + Speed_Right_Wheel_553 + Speed_Right_Wheel_552 + Speed_Right_Wheel_551 + Speed_Right_Wheel_550 + Speed_Right_Wheel_549 + Speed_Right_Wheel_548 + Speed_Right_Wheel_547 + Speed_Right_Wheel_546 + Speed_Right_Wheel_545 + Speed_Right_Wheel_544 + Speed_Right_Wheel_543 + Speed_Right_Wheel_542 + Speed_Right_Wheel_541 + Speed_Right_Wheel_540 + 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_539 + Speed_Right_Wheel_27 + Speed_Right_Wheel_28 + Speed_Right_Wheel_29 + Speed_Right_Wheel_538 + Speed_Right_Wheel_537 + Speed_Right_Wheel_536 + Speed_Right_Wheel_30 + Speed_Right_Wheel_535 + Speed_Right_Wheel_31 + Speed_Right_Wheel_534 + Speed_Right_Wheel_32 + Speed_Right_Wheel_533 + Speed_Right_Wheel_33 + Speed_Right_Wheel_532 + Speed_Right_Wheel_34 + Speed_Right_Wheel_531 + Speed_Right_Wheel_35 + Speed_Right_Wheel_530 + 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_529 + Speed_Right_Wheel_57 + Speed_Right_Wheel_58 + Speed_Right_Wheel_59 + Speed_Right_Wheel_528 + Speed_Right_Wheel_527 + Speed_Right_Wheel_526 + Speed_Right_Wheel_60 + Speed_Right_Wheel_525 + Speed_Right_Wheel_61 + Speed_Right_Wheel_524 + Speed_Right_Wheel_62 + Speed_Right_Wheel_523 + Speed_Right_Wheel_63 + Speed_Right_Wheel_522 + Speed_Right_Wheel_64 + Speed_Right_Wheel_521 + Speed_Right_Wheel_65 + Speed_Right_Wheel_520 + 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_519 + Speed_Right_Wheel_87 + Speed_Right_Wheel_88 + Speed_Right_Wheel_89 + Speed_Right_Wheel_518 + Speed_Right_Wheel_517 + Speed_Right_Wheel_516 + Speed_Right_Wheel_90 + Speed_Right_Wheel_515 + Speed_Right_Wheel_91 + Speed_Right_Wheel_514 + Speed_Right_Wheel_92 + Speed_Right_Wheel_513 + Speed_Right_Wheel_93 + Speed_Right_Wheel_512 + Speed_Right_Wheel_94 + Speed_Right_Wheel_511 + Speed_Right_Wheel_95 + Speed_Right_Wheel_510 + Speed_Right_Wheel_96 + Speed_Right_Wheel_97 + Speed_Right_Wheel_98 + Speed_Right_Wheel_99 + Speed_Right_Wheel_509 + Speed_Right_Wheel_508 + Speed_Right_Wheel_507 + Speed_Right_Wheel_506 + Speed_Right_Wheel_505 + Speed_Right_Wheel_504 + Speed_Right_Wheel_503 + Speed_Right_Wheel_502 + Speed_Right_Wheel_501 + Speed_Right_Wheel_500 + Speed_Right_Wheel_800 + Speed_Right_Wheel_801 + Speed_Right_Wheel_802 + Speed_Right_Wheel_803 + Speed_Right_Wheel_804 + Speed_Right_Wheel_805 + Speed_Right_Wheel_806 + Speed_Right_Wheel_807 + Speed_Right_Wheel_808 + Speed_Right_Wheel_809 + Speed_Right_Wheel_810 + Speed_Right_Wheel_811 + Speed_Right_Wheel_812 + Speed_Right_Wheel_813 + Speed_Right_Wheel_814 + Speed_Right_Wheel_815 + Speed_Right_Wheel_816 + Speed_Right_Wheel_817 + Speed_Right_Wheel_818 + Speed_Right_Wheel_819 + Speed_Right_Wheel_820 + Speed_Right_Wheel_821 + Speed_Right_Wheel_822 + Speed_Right_Wheel_823 + Speed_Right_Wheel_824 + Speed_Right_Wheel_825 + Speed_Right_Wheel_826 + Speed_Right_Wheel_827 + Speed_Right_Wheel_828 + Speed_Right_Wheel_829 + Speed_Right_Wheel_830 + Speed_Right_Wheel_831 + Speed_Right_Wheel_832 + Speed_Right_Wheel_833 + Speed_Right_Wheel_834 + Speed_Right_Wheel_835 + Speed_Right_Wheel_836 + Speed_Right_Wheel_837 + Speed_Right_Wheel_838 + Speed_Right_Wheel_839 + Speed_Right_Wheel_840 + Speed_Right_Wheel_841 + Speed_Right_Wheel_842 + Speed_Right_Wheel_843 + Speed_Right_Wheel_844 + Speed_Right_Wheel_845 + Speed_Right_Wheel_846 + Speed_Right_Wheel_847 + Speed_Right_Wheel_848 + Speed_Right_Wheel_849 + Speed_Right_Wheel_850 + Speed_Right_Wheel_851 + Speed_Right_Wheel_852 + Speed_Right_Wheel_853 + Speed_Right_Wheel_854 + Speed_Right_Wheel_855 + Speed_Right_Wheel_856 + Speed_Right_Wheel_857 + Speed_Right_Wheel_858 + Speed_Right_Wheel_859 + Speed_Right_Wheel_860 + Speed_Right_Wheel_861 + Speed_Right_Wheel_862 + Speed_Right_Wheel_863 + Speed_Right_Wheel_864 + Speed_Right_Wheel_865 + Speed_Right_Wheel_866 + Speed_Right_Wheel_867 + Speed_Right_Wheel_868 + Speed_Right_Wheel_869 + Speed_Right_Wheel_870 + Speed_Right_Wheel_871 + Speed_Right_Wheel_872 + Speed_Right_Wheel_873 + Speed_Right_Wheel_874 + Speed_Right_Wheel_875 + Speed_Right_Wheel_876 + Speed_Right_Wheel_877 + Speed_Right_Wheel_878 + Speed_Right_Wheel_879 + Speed_Right_Wheel_880 + Speed_Right_Wheel_881 + Speed_Right_Wheel_882 + Speed_Right_Wheel_883 + Speed_Right_Wheel_884 + Speed_Right_Wheel_885 + Speed_Right_Wheel_886 + Speed_Right_Wheel_887 + Speed_Right_Wheel_888 + Speed_Right_Wheel_889 + Speed_Right_Wheel_890 + Speed_Right_Wheel_891 + Speed_Right_Wheel_892 + Speed_Right_Wheel_893 + Speed_Right_Wheel_894 + Speed_Right_Wheel_895 + Speed_Right_Wheel_896 + Speed_Right_Wheel_897 + Speed_Right_Wheel_898 + Speed_Right_Wheel_899 + Speed_Right_Wheel_1799 + Speed_Right_Wheel_1798 + Speed_Right_Wheel_1797 + Speed_Right_Wheel_1796 + Speed_Right_Wheel_1795 + Speed_Right_Wheel_1794 + Speed_Right_Wheel_1793 + Speed_Right_Wheel_1792 + Speed_Right_Wheel_1791 + Speed_Right_Wheel_1790 + Speed_Right_Wheel_1789 + Speed_Right_Wheel_1788 + Speed_Right_Wheel_1787 + Speed_Right_Wheel_1786 + Speed_Right_Wheel_1785 + Speed_Right_Wheel_1784 + Speed_Right_Wheel_1783 + Speed_Right_Wheel_1782 + Speed_Right_Wheel_1781 + Speed_Right_Wheel_1780 + Speed_Right_Wheel_1779 + Speed_Right_Wheel_1778 + Speed_Right_Wheel_1777 + Speed_Right_Wheel_1776 + Speed_Right_Wheel_1775 + Speed_Right_Wheel_1774 + Speed_Right_Wheel_1773 + Speed_Right_Wheel_1772 + Speed_Right_Wheel_1771 + Speed_Right_Wheel_1770 + Speed_Right_Wheel_1769 + Speed_Right_Wheel_1768 + Speed_Right_Wheel_1767 + Speed_Right_Wheel_1766 + Speed_Right_Wheel_1765 + Speed_Right_Wheel_1764 + Speed_Right_Wheel_1763 + Speed_Right_Wheel_1762 + Speed_Right_Wheel_1761 + Speed_Right_Wheel_1760 + Speed_Right_Wheel_1759 + Speed_Right_Wheel_1758 + Speed_Right_Wheel_1757 + Speed_Right_Wheel_1756 + Speed_Right_Wheel_1755 + Speed_Right_Wheel_1754 + Speed_Right_Wheel_1753 + Speed_Right_Wheel_1752 + Speed_Right_Wheel_1751 + Speed_Right_Wheel_1750 + Speed_Right_Wheel_1749 + Speed_Right_Wheel_1748 + Speed_Right_Wheel_1747 + Speed_Right_Wheel_1746 + Speed_Right_Wheel_1745 + Speed_Right_Wheel_1744 + Speed_Right_Wheel_1743 + Speed_Right_Wheel_1742 + Speed_Right_Wheel_1741 + Speed_Right_Wheel_1740 + Speed_Right_Wheel_1739 + Speed_Right_Wheel_1738 + Speed_Right_Wheel_1737 + Speed_Right_Wheel_1736 + Speed_Right_Wheel_1735 + Speed_Right_Wheel_1734 + Speed_Right_Wheel_1733 + Speed_Right_Wheel_1732 + Speed_Right_Wheel_1731 + Speed_Right_Wheel_1730 + 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_1729 + Speed_Right_Wheel_1728 + Speed_Right_Wheel_1727 + Speed_Right_Wheel_1726 + Speed_Right_Wheel_1725 + Speed_Right_Wheel_1724 + Speed_Right_Wheel_1723 + Speed_Right_Wheel_1722 + Speed_Right_Wheel_1721 + Speed_Right_Wheel_1720 + 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_1719 + Speed_Right_Wheel_1718 + Speed_Right_Wheel_1717 + Speed_Right_Wheel_1716 + Speed_Right_Wheel_1715 + Speed_Right_Wheel_1714 + Speed_Right_Wheel_1713 + Speed_Right_Wheel_1712 + Speed_Right_Wheel_1711 + Speed_Right_Wheel_1710 + 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_1709 + Speed_Right_Wheel_1708 + Speed_Right_Wheel_1707 + Speed_Right_Wheel_1706 + Speed_Right_Wheel_1705 + Speed_Right_Wheel_1704 + Speed_Right_Wheel_1703 + Speed_Right_Wheel_1702 + Speed_Right_Wheel_1701 + Speed_Right_Wheel_1700 + 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_900 + Speed_Right_Wheel_901 + Speed_Right_Wheel_902 + Speed_Right_Wheel_903 + Speed_Right_Wheel_904 + Speed_Right_Wheel_905 + Speed_Right_Wheel_906 + Speed_Right_Wheel_907 + Speed_Right_Wheel_908 + Speed_Right_Wheel_909 + Speed_Right_Wheel_462 + Speed_Right_Wheel_461 + Speed_Right_Wheel_460 + Speed_Right_Wheel_910 + Speed_Right_Wheel_911 + Speed_Right_Wheel_912 + Speed_Right_Wheel_913 + Speed_Right_Wheel_914 + Speed_Right_Wheel_915 + Speed_Right_Wheel_916 + Speed_Right_Wheel_917 + Speed_Right_Wheel_918 + Speed_Right_Wheel_919 + Speed_Right_Wheel_920 + Speed_Right_Wheel_921 + Speed_Right_Wheel_922 + Speed_Right_Wheel_923 + Speed_Right_Wheel_924 + Speed_Right_Wheel_925 + Speed_Right_Wheel_926 + Speed_Right_Wheel_927 + Speed_Right_Wheel_928 + Speed_Right_Wheel_929 + Speed_Right_Wheel_459 + Speed_Right_Wheel_458 + Speed_Right_Wheel_457 + Speed_Right_Wheel_456 + Speed_Right_Wheel_455 + Speed_Right_Wheel_454 + Speed_Right_Wheel_930 + Speed_Right_Wheel_931 + Speed_Right_Wheel_932 + Speed_Right_Wheel_933 + Speed_Right_Wheel_934 + Speed_Right_Wheel_935 + Speed_Right_Wheel_936 + Speed_Right_Wheel_937 + Speed_Right_Wheel_938 + Speed_Right_Wheel_939 + Speed_Right_Wheel_453 + Speed_Right_Wheel_452 + Speed_Right_Wheel_451 + Speed_Right_Wheel_450 + Speed_Right_Wheel_940 + Speed_Right_Wheel_941 + Speed_Right_Wheel_942 + Speed_Right_Wheel_943 + Speed_Right_Wheel_944 + Speed_Right_Wheel_945 + Speed_Right_Wheel_946 + Speed_Right_Wheel_947 + Speed_Right_Wheel_948 + Speed_Right_Wheel_949 + Speed_Right_Wheel_950 + Speed_Right_Wheel_951 + Speed_Right_Wheel_952 + Speed_Right_Wheel_953 + Speed_Right_Wheel_954 + Speed_Right_Wheel_955 + Speed_Right_Wheel_956 + Speed_Right_Wheel_957 + Speed_Right_Wheel_958 + Speed_Right_Wheel_959 + Speed_Right_Wheel_960 + Speed_Right_Wheel_961 + Speed_Right_Wheel_962 + Speed_Right_Wheel_963 + Speed_Right_Wheel_964 + Speed_Right_Wheel_965 + Speed_Right_Wheel_966 + Speed_Right_Wheel_967 + Speed_Right_Wheel_968 + Speed_Right_Wheel_969 + Speed_Right_Wheel_970 + Speed_Right_Wheel_971 + Speed_Right_Wheel_972 + Speed_Right_Wheel_973 + Speed_Right_Wheel_974 + Speed_Right_Wheel_975 + Speed_Right_Wheel_976 + Speed_Right_Wheel_977 + Speed_Right_Wheel_978 + Speed_Right_Wheel_979 + Speed_Right_Wheel_980 + Speed_Right_Wheel_981 + Speed_Right_Wheel_982 + Speed_Right_Wheel_983 + Speed_Right_Wheel_984 + Speed_Right_Wheel_985 + Speed_Right_Wheel_986 + Speed_Right_Wheel_987 + Speed_Right_Wheel_988 + Speed_Right_Wheel_989 + Speed_Right_Wheel_990 + Speed_Right_Wheel_991 + Speed_Right_Wheel_992 + Speed_Right_Wheel_993 + Speed_Right_Wheel_994 + Speed_Right_Wheel_995 + Speed_Right_Wheel_996 + Speed_Right_Wheel_997 + Speed_Right_Wheel_998 + Speed_Right_Wheel_999 + Speed_Right_Wheel_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_1699 + Speed_Right_Wheel_1698 + Speed_Right_Wheel_1697 + Speed_Right_Wheel_1696 + Speed_Right_Wheel_1695 + Speed_Right_Wheel_1694 + Speed_Right_Wheel_1693 + Speed_Right_Wheel_1692 + Speed_Right_Wheel_1691 + Speed_Right_Wheel_1690 + Speed_Right_Wheel_1689 + Speed_Right_Wheel_1688 + Speed_Right_Wheel_1687 + Speed_Right_Wheel_1686 + Speed_Right_Wheel_1685 + Speed_Right_Wheel_1684 + Speed_Right_Wheel_1683 + Speed_Right_Wheel_1682 + Speed_Right_Wheel_1681 + Speed_Right_Wheel_1680 + Speed_Right_Wheel_1679 + Speed_Right_Wheel_1678 + Speed_Right_Wheel_1677 + Speed_Right_Wheel_1676 + Speed_Right_Wheel_1675 + Speed_Right_Wheel_1674 + Speed_Right_Wheel_1673 + Speed_Right_Wheel_1672 + Speed_Right_Wheel_1671 + Speed_Right_Wheel_1670 + Speed_Right_Wheel_1669 + Speed_Right_Wheel_1668 + Speed_Right_Wheel_1667 + Speed_Right_Wheel_1666 + Speed_Right_Wheel_1665 + Speed_Right_Wheel_1664 + Speed_Right_Wheel_1663 + Speed_Right_Wheel_1662 + Speed_Right_Wheel_1661 + Speed_Right_Wheel_1660 + Speed_Right_Wheel_1659 + Speed_Right_Wheel_1658 + Speed_Right_Wheel_1657 + Speed_Right_Wheel_1656 + Speed_Right_Wheel_1655 + Speed_Right_Wheel_1654 + Speed_Right_Wheel_1653 + Speed_Right_Wheel_1652 + Speed_Right_Wheel_1651 + Speed_Right_Wheel_1650 + Speed_Right_Wheel_1649 + Speed_Right_Wheel_1648 + Speed_Right_Wheel_1647 + Speed_Right_Wheel_1646 + Speed_Right_Wheel_1645 + Speed_Right_Wheel_1644 + Speed_Right_Wheel_1643 + Speed_Right_Wheel_1642 + Speed_Right_Wheel_1641 + Speed_Right_Wheel_1640 + Speed_Right_Wheel_1639 + Speed_Right_Wheel_1638 + Speed_Right_Wheel_1637 + Speed_Right_Wheel_1636 + Speed_Right_Wheel_1635 + Speed_Right_Wheel_1634 + Speed_Right_Wheel_1633 + Speed_Right_Wheel_1632 + Speed_Right_Wheel_1631 + Speed_Right_Wheel_1630 + Speed_Right_Wheel_399 + Speed_Right_Wheel_398 + Speed_Right_Wheel_397 + Speed_Right_Wheel_396 + Speed_Right_Wheel_395 + Speed_Right_Wheel_394 + Speed_Right_Wheel_393 + Speed_Right_Wheel_392 + Speed_Right_Wheel_391 + Speed_Right_Wheel_390 + Speed_Right_Wheel_1629 + Speed_Right_Wheel_1628 + Speed_Right_Wheel_1627 + Speed_Right_Wheel_1626 + Speed_Right_Wheel_1625 + Speed_Right_Wheel_1624 + Speed_Right_Wheel_1623 + Speed_Right_Wheel_1622 + Speed_Right_Wheel_1621 + Speed_Right_Wheel_1620 + 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_1619 + Speed_Right_Wheel_1618 + Speed_Right_Wheel_1617 + Speed_Right_Wheel_1616 + Speed_Right_Wheel_1615 + Speed_Right_Wheel_1614 + Speed_Right_Wheel_1613 + Speed_Right_Wheel_1612 + Speed_Right_Wheel_1611 + Speed_Right_Wheel_1610 + 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_2000 + Speed_Right_Wheel_373 + Speed_Right_Wheel_372 + Speed_Right_Wheel_371 + Speed_Right_Wheel_370 + Speed_Right_Wheel_1609 + Speed_Right_Wheel_1608 + Speed_Right_Wheel_1607 + Speed_Right_Wheel_1606 + Speed_Right_Wheel_1605 + Speed_Right_Wheel_1604 + Speed_Right_Wheel_1603 + Speed_Right_Wheel_1602 + Speed_Right_Wheel_1601 + Speed_Right_Wheel_1600 + 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_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_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_1599 + Speed_Right_Wheel_1598 + Speed_Right_Wheel_1597 + Speed_Right_Wheel_1596 + Speed_Right_Wheel_1595 + Speed_Right_Wheel_1594 + Speed_Right_Wheel_1593 + Speed_Right_Wheel_1592 + Speed_Right_Wheel_1591 + Speed_Right_Wheel_1590 + Speed_Right_Wheel_1589 + Speed_Right_Wheel_1588 + Speed_Right_Wheel_1587 + Speed_Right_Wheel_1586 + Speed_Right_Wheel_1585 + Speed_Right_Wheel_1584 + Speed_Right_Wheel_1583 + Speed_Right_Wheel_1582 + Speed_Right_Wheel_1581 + Speed_Right_Wheel_1580 + Speed_Right_Wheel_1579 + Speed_Right_Wheel_1578 + Speed_Right_Wheel_1577 + Speed_Right_Wheel_1576 + Speed_Right_Wheel_1575 + Speed_Right_Wheel_1574 + Speed_Right_Wheel_1573 + Speed_Right_Wheel_1572 + Speed_Right_Wheel_1571 + Speed_Right_Wheel_1570 + Speed_Right_Wheel_1569 + Speed_Right_Wheel_1568 + Speed_Right_Wheel_1567 + Speed_Right_Wheel_1566 + Speed_Right_Wheel_1565 + Speed_Right_Wheel_1564 + Speed_Right_Wheel_1563 + Speed_Right_Wheel_1562 + Speed_Right_Wheel_1561 + Speed_Right_Wheel_1560 + Speed_Right_Wheel_1559 + Speed_Right_Wheel_1558 + Speed_Right_Wheel_1557 + Speed_Right_Wheel_1556 + Speed_Right_Wheel_1555 + Speed_Right_Wheel_1554 + Speed_Right_Wheel_1553 + Speed_Right_Wheel_1552 + Speed_Right_Wheel_1551 + Speed_Right_Wheel_1550 + Speed_Right_Wheel_1549 + Speed_Right_Wheel_1548 + Speed_Right_Wheel_1547 + Speed_Right_Wheel_1546 + Speed_Right_Wheel_1545 + Speed_Right_Wheel_1544 + Speed_Right_Wheel_1543 + Speed_Right_Wheel_1542 + Speed_Right_Wheel_1541 + Speed_Right_Wheel_1540 + Speed_Right_Wheel_1539 + Speed_Right_Wheel_1538 + Speed_Right_Wheel_1537 + Speed_Right_Wheel_1536 + Speed_Right_Wheel_1535 + Speed_Right_Wheel_1534 + Speed_Right_Wheel_1533 + Speed_Right_Wheel_1532 + Speed_Right_Wheel_1531 + Speed_Right_Wheel_1530 + 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_1529 + Speed_Right_Wheel_1528 + Speed_Right_Wheel_1527 + Speed_Right_Wheel_1526 + Speed_Right_Wheel_1525 + Speed_Right_Wheel_1524 + Speed_Right_Wheel_1523 + Speed_Right_Wheel_1522 + Speed_Right_Wheel_1521 + Speed_Right_Wheel_1520 + 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_1519 + Speed_Right_Wheel_1518 + Speed_Right_Wheel_1517 + Speed_Right_Wheel_1516 + Speed_Right_Wheel_1515 + Speed_Right_Wheel_1514 + Speed_Right_Wheel_1513 + Speed_Right_Wheel_1512 + Speed_Right_Wheel_1511 + Speed_Right_Wheel_1510 + 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_1509 + Speed_Right_Wheel_1508 + Speed_Right_Wheel_1507 + Speed_Right_Wheel_1506 + Speed_Right_Wheel_1505 + Speed_Right_Wheel_1504 + Speed_Right_Wheel_1503 + Speed_Right_Wheel_1502 + Speed_Right_Wheel_1501 + Speed_Right_Wheel_1500 + 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_1000 + Speed_Right_Wheel_1001 + Speed_Right_Wheel_1002 + Speed_Right_Wheel_1003 + Speed_Right_Wheel_1004 + Speed_Right_Wheel_1005 + Speed_Right_Wheel_1006 + Speed_Right_Wheel_1007 + Speed_Right_Wheel_1008 + Speed_Right_Wheel_1009 + Speed_Right_Wheel_1010 + Speed_Right_Wheel_1011 + Speed_Right_Wheel_1012 + Speed_Right_Wheel_1013 + Speed_Right_Wheel_1014 + Speed_Right_Wheel_1015 + Speed_Right_Wheel_1016 + Speed_Right_Wheel_1017 + Speed_Right_Wheel_1018 + Speed_Right_Wheel_1019 + Speed_Right_Wheel_1020 + Speed_Right_Wheel_1021 + Speed_Right_Wheel_1022 + Speed_Right_Wheel_1023 + Speed_Right_Wheel_1024 + Speed_Right_Wheel_1025 + Speed_Right_Wheel_1026 + Speed_Right_Wheel_1027 + Speed_Right_Wheel_1028 + Speed_Right_Wheel_1029 + Speed_Right_Wheel_1030 + Speed_Right_Wheel_1031 + Speed_Right_Wheel_1032 + Speed_Right_Wheel_1033 + Speed_Right_Wheel_1034 + Speed_Right_Wheel_1035 + Speed_Right_Wheel_1036 + Speed_Right_Wheel_1037 + Speed_Right_Wheel_1038 + Speed_Right_Wheel_1039 + Speed_Right_Wheel_1040 + Speed_Right_Wheel_1041 + Speed_Right_Wheel_1042 + Speed_Right_Wheel_1043 + Speed_Right_Wheel_1044 + Speed_Right_Wheel_1045 + Speed_Right_Wheel_1046 + Speed_Right_Wheel_1047 + Speed_Right_Wheel_1048 + Speed_Right_Wheel_1049 + Speed_Right_Wheel_1050 + Speed_Right_Wheel_1051 + Speed_Right_Wheel_1052 + Speed_Right_Wheel_1053 + Speed_Right_Wheel_1054 + Speed_Right_Wheel_1055 + Speed_Right_Wheel_1056 + Speed_Right_Wheel_1057 + Speed_Right_Wheel_1058 + Speed_Right_Wheel_1059 + Speed_Right_Wheel_1060 + Speed_Right_Wheel_1061 + Speed_Right_Wheel_1062 + Speed_Right_Wheel_1063 + Speed_Right_Wheel_1064 + Speed_Right_Wheel_1065 + Speed_Right_Wheel_1066 + Speed_Right_Wheel_1067 + Speed_Right_Wheel_1068 + Speed_Right_Wheel_1069 + Speed_Right_Wheel_1070 + Speed_Right_Wheel_1071 + Speed_Right_Wheel_1072 + Speed_Right_Wheel_1073 + Speed_Right_Wheel_1074 + Speed_Right_Wheel_1075 + Speed_Right_Wheel_1076 + Speed_Right_Wheel_1077 + Speed_Right_Wheel_1078 + Speed_Right_Wheel_1079 + Speed_Right_Wheel_1080 + Speed_Right_Wheel_1081 + Speed_Right_Wheel_1082 + Speed_Right_Wheel_1083 + Speed_Right_Wheel_1084 + Speed_Right_Wheel_1085 + Speed_Right_Wheel_1086 + Speed_Right_Wheel_1087 + Speed_Right_Wheel_1088 + Speed_Right_Wheel_1089 + Speed_Right_Wheel_1090 + Speed_Right_Wheel_1091 + Speed_Right_Wheel_1092 + Speed_Right_Wheel_1093 + Speed_Right_Wheel_1094 + Speed_Right_Wheel_1095 + Speed_Right_Wheel_1096 + Speed_Right_Wheel_1097 + Speed_Right_Wheel_1098 + Speed_Right_Wheel_1099 + Speed_Right_Wheel_1499 + Speed_Right_Wheel_1498 + Speed_Right_Wheel_1497 + Speed_Right_Wheel_1496 + Speed_Right_Wheel_1495 + Speed_Right_Wheel_1494 + Speed_Right_Wheel_1493 + Speed_Right_Wheel_1492 + Speed_Right_Wheel_1491 + Speed_Right_Wheel_1490 + Speed_Right_Wheel_1489 + Speed_Right_Wheel_1488 + Speed_Right_Wheel_1487 + Speed_Right_Wheel_1486 + Speed_Right_Wheel_1485 + Speed_Right_Wheel_1484 + Speed_Right_Wheel_1483 + Speed_Right_Wheel_1482 + Speed_Right_Wheel_1481 + Speed_Right_Wheel_1480 + Speed_Right_Wheel_1479 + Speed_Right_Wheel_1478 + Speed_Right_Wheel_1477 + Speed_Right_Wheel_1476 + Speed_Right_Wheel_1475 + Speed_Right_Wheel_1474 + Speed_Right_Wheel_1473 + Speed_Right_Wheel_1472 + Speed_Right_Wheel_1471 + Speed_Right_Wheel_1470 + Speed_Right_Wheel_1100 + Speed_Right_Wheel_1101 + Speed_Right_Wheel_1102 + Speed_Right_Wheel_1103 + Speed_Right_Wheel_1104 + Speed_Right_Wheel_1105 + Speed_Right_Wheel_1106 + Speed_Right_Wheel_1107 + Speed_Right_Wheel_1108 + Speed_Right_Wheel_1109 + Speed_Right_Wheel_1110 + Speed_Right_Wheel_1111 + Speed_Right_Wheel_1112 + Speed_Right_Wheel_1113 + Speed_Right_Wheel_1114 + Speed_Right_Wheel_1115 + Speed_Right_Wheel_1116 + Speed_Right_Wheel_1117 + Speed_Right_Wheel_1118 + Speed_Right_Wheel_1119 + Speed_Right_Wheel_1120 + Speed_Right_Wheel_1121 + Speed_Right_Wheel_1122 + Speed_Right_Wheel_1123 + Speed_Right_Wheel_1124 + Speed_Right_Wheel_1125 + Speed_Right_Wheel_1126 + Speed_Right_Wheel_1127 + Speed_Right_Wheel_1128 + Speed_Right_Wheel_1129 + Speed_Right_Wheel_1130 + Speed_Right_Wheel_1131 + Speed_Right_Wheel_1132 + Speed_Right_Wheel_1133 + Speed_Right_Wheel_1134 + Speed_Right_Wheel_1135 + Speed_Right_Wheel_1136 + Speed_Right_Wheel_1137 + Speed_Right_Wheel_1138 + Speed_Right_Wheel_1139 + Speed_Right_Wheel_1140 + Speed_Right_Wheel_1141 + Speed_Right_Wheel_1142 + Speed_Right_Wheel_1143 + Speed_Right_Wheel_1144 + Speed_Right_Wheel_1145 + Speed_Right_Wheel_1146 + Speed_Right_Wheel_1147 + Speed_Right_Wheel_1148 + Speed_Right_Wheel_1149 + Speed_Right_Wheel_1150 + Speed_Right_Wheel_1151 + Speed_Right_Wheel_1152 + Speed_Right_Wheel_1153 + Speed_Right_Wheel_1154 + Speed_Right_Wheel_1155 + Speed_Right_Wheel_1156 + Speed_Right_Wheel_1157 + Speed_Right_Wheel_1158 + Speed_Right_Wheel_1159 + Speed_Right_Wheel_1160 + Speed_Right_Wheel_1161 + Speed_Right_Wheel_1162 + Speed_Right_Wheel_1163 + Speed_Right_Wheel_1164 + Speed_Right_Wheel_1165 + Speed_Right_Wheel_1166 + Speed_Right_Wheel_1167 + Speed_Right_Wheel_1168 + Speed_Right_Wheel_1169 + Speed_Right_Wheel_1170 + Speed_Right_Wheel_1171 + Speed_Right_Wheel_1172 + Speed_Right_Wheel_1173 + Speed_Right_Wheel_1174 + Speed_Right_Wheel_1175 + Speed_Right_Wheel_1176 + Speed_Right_Wheel_1177 + Speed_Right_Wheel_1178 + Speed_Right_Wheel_1179 + Speed_Right_Wheel_1180 + Speed_Right_Wheel_1181 + Speed_Right_Wheel_1182 + Speed_Right_Wheel_1183 + Speed_Right_Wheel_1184 + Speed_Right_Wheel_1185 + Speed_Right_Wheel_1186 + Speed_Right_Wheel_1187 + Speed_Right_Wheel_1188 + Speed_Right_Wheel_1189 + Speed_Right_Wheel_1469 + Speed_Right_Wheel_1468 + Speed_Right_Wheel_1467 + Speed_Right_Wheel_1466 + Speed_Right_Wheel_1465 + Speed_Right_Wheel_1464 + Speed_Right_Wheel_1463 + Speed_Right_Wheel_1462 + Speed_Right_Wheel_1190 + Speed_Right_Wheel_1191 + Speed_Right_Wheel_1192 + Speed_Right_Wheel_1193 + Speed_Right_Wheel_1194 + Speed_Right_Wheel_1195 + Speed_Right_Wheel_1196 + Speed_Right_Wheel_1197 + Speed_Right_Wheel_1198 + Speed_Right_Wheel_1199 + Speed_Right_Wheel_1461 + Speed_Right_Wheel_1460 + Speed_Right_Wheel_1459 + Speed_Right_Wheel_1458 + Speed_Right_Wheel_1457 + Speed_Right_Wheel_1456 + Speed_Right_Wheel_1455 + Speed_Right_Wheel_1454 + Speed_Right_Wheel_1453 + Speed_Right_Wheel_1452 + Speed_Right_Wheel_1451 + Speed_Right_Wheel_1450 + Speed_Right_Wheel_1449 + Speed_Right_Wheel_1448 + Speed_Right_Wheel_1447 + Speed_Right_Wheel_1446 + Speed_Right_Wheel_1445 + Speed_Right_Wheel_1444 + Speed_Right_Wheel_1443 + Speed_Right_Wheel_1442 + Speed_Right_Wheel_1441 + Speed_Right_Wheel_1440 + Speed_Right_Wheel_1439 + Speed_Right_Wheel_1438 + Speed_Right_Wheel_1437 + Speed_Right_Wheel_1436 + Speed_Right_Wheel_1435 + Speed_Right_Wheel_1434 + Speed_Right_Wheel_1433 + Speed_Right_Wheel_1432 + Speed_Right_Wheel_1431 + Speed_Right_Wheel_1430 + 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_1429 + Speed_Right_Wheel_1428 + Speed_Right_Wheel_1427 + Speed_Right_Wheel_1426 + Speed_Right_Wheel_1425 + Speed_Right_Wheel_1424 + Speed_Right_Wheel_1423 + Speed_Right_Wheel_1422 + Speed_Right_Wheel_1421 + Speed_Right_Wheel_1420 + 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_1419 + Speed_Right_Wheel_1418 + Speed_Right_Wheel_1417 + Speed_Right_Wheel_1416 + Speed_Right_Wheel_1415 + Speed_Right_Wheel_1414 + Speed_Right_Wheel_1413 + Speed_Right_Wheel_1412 + Speed_Right_Wheel_1411 + Speed_Right_Wheel_1410 + 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_1409 + Speed_Right_Wheel_1408 + Speed_Right_Wheel_1407 + Speed_Right_Wheel_1406 + Speed_Right_Wheel_1405 + Speed_Right_Wheel_1404 + Speed_Right_Wheel_1403 + Speed_Right_Wheel_1402 + Speed_Right_Wheel_1401 + Speed_Right_Wheel_1400 + 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 + Speed_Right_Wheel_1200 + Speed_Right_Wheel_1201 + Speed_Right_Wheel_1202 + Speed_Right_Wheel_1203 + Speed_Right_Wheel_1204 + Speed_Right_Wheel_1205 + Speed_Right_Wheel_1206 + Speed_Right_Wheel_1207 + Speed_Right_Wheel_1208 + Speed_Right_Wheel_1209 + Speed_Right_Wheel_1210 + Speed_Right_Wheel_1211 + Speed_Right_Wheel_1212 + Speed_Right_Wheel_1213 + Speed_Right_Wheel_1214 + Speed_Right_Wheel_1215 + Speed_Right_Wheel_1216 + Speed_Right_Wheel_1217 + Speed_Right_Wheel_1218 + Speed_Right_Wheel_1219 + Speed_Right_Wheel_1220 + Speed_Right_Wheel_1221 + Speed_Right_Wheel_1222 + Speed_Right_Wheel_1223 + Speed_Right_Wheel_1224 + Speed_Right_Wheel_1225 + Speed_Right_Wheel_1226 + Speed_Right_Wheel_1227 + Speed_Right_Wheel_1228 + Speed_Right_Wheel_1229 + Speed_Right_Wheel_1230 + Speed_Right_Wheel_1231 + Speed_Right_Wheel_1232 + Speed_Right_Wheel_1233 + Speed_Right_Wheel_1234 + Speed_Right_Wheel_1235 + Speed_Right_Wheel_1236 + Speed_Right_Wheel_1237 + Speed_Right_Wheel_1238 + Speed_Right_Wheel_1239 + Speed_Right_Wheel_1240 + Speed_Right_Wheel_1241 + Speed_Right_Wheel_1242 + Speed_Right_Wheel_1243 + Speed_Right_Wheel_1244 + Speed_Right_Wheel_1245 + Speed_Right_Wheel_1246 + Speed_Right_Wheel_1247 + Speed_Right_Wheel_1248 + Speed_Right_Wheel_1249 + Speed_Right_Wheel_1250 + Speed_Right_Wheel_1251 + Speed_Right_Wheel_1252 + Speed_Right_Wheel_1253 + Speed_Right_Wheel_1254 + Speed_Right_Wheel_1255 + Speed_Right_Wheel_1256 + Speed_Right_Wheel_1257 + Speed_Right_Wheel_1258 + Speed_Right_Wheel_1259 + Speed_Right_Wheel_1260 + Speed_Right_Wheel_1261 + Speed_Right_Wheel_1262 + Speed_Right_Wheel_1263 + Speed_Right_Wheel_1264 + Speed_Right_Wheel_1265 + Speed_Right_Wheel_1266 + Speed_Right_Wheel_1267 + Speed_Right_Wheel_1268 + Speed_Right_Wheel_1269 + Speed_Right_Wheel_1270 + Speed_Right_Wheel_1271 + Speed_Right_Wheel_1272 + Speed_Right_Wheel_1273 + Speed_Right_Wheel_1274 + Speed_Right_Wheel_1275 + Speed_Right_Wheel_1276 + Speed_Right_Wheel_1277 + Speed_Right_Wheel_1278 + Speed_Right_Wheel_1279 + Speed_Right_Wheel_1280 + Speed_Right_Wheel_1281 + Speed_Right_Wheel_1282 + Speed_Right_Wheel_1283 + Speed_Right_Wheel_1284 + Speed_Right_Wheel_1285 + Speed_Right_Wheel_1286 + Speed_Right_Wheel_1287 + Speed_Right_Wheel_1288 + Speed_Right_Wheel_1289 + Speed_Right_Wheel_1290 + Speed_Right_Wheel_1291 + Speed_Right_Wheel_1292 + Speed_Right_Wheel_1293 + Speed_Right_Wheel_1294 + Speed_Right_Wheel_1295 + Speed_Right_Wheel_1296 + Speed_Right_Wheel_1297 + Speed_Right_Wheel_1298 + Speed_Right_Wheel_1299 + Speed_Right_Wheel_1399 + Speed_Right_Wheel_1398 + Speed_Right_Wheel_1397 + Speed_Right_Wheel_1396 + Speed_Right_Wheel_1395 + Speed_Right_Wheel_1394 + Speed_Right_Wheel_1393 + Speed_Right_Wheel_1392 + Speed_Right_Wheel_1391 + Speed_Right_Wheel_1390 + Speed_Right_Wheel_1389 + Speed_Right_Wheel_1388 + Speed_Right_Wheel_1387 + Speed_Right_Wheel_1386 + Speed_Right_Wheel_1385 + Speed_Right_Wheel_1384 + Speed_Right_Wheel_1383 + Speed_Right_Wheel_1382 + Speed_Right_Wheel_1381 + Speed_Right_Wheel_1380 + Speed_Right_Wheel_1379 + Speed_Right_Wheel_1378 + Speed_Right_Wheel_1377 + Speed_Right_Wheel_1376 + Speed_Right_Wheel_1375 + Speed_Right_Wheel_1374 + Speed_Right_Wheel_1373 + Speed_Right_Wheel_1372 + Speed_Right_Wheel_1371 + Speed_Right_Wheel_1370 + Speed_Right_Wheel_1369 + Speed_Right_Wheel_1368 + Speed_Right_Wheel_1367 + Speed_Right_Wheel_1366 + Speed_Right_Wheel_1365 + Speed_Right_Wheel_1364 + Speed_Right_Wheel_1363 + Speed_Right_Wheel_1362 + Speed_Right_Wheel_1361 + Speed_Right_Wheel_1360 + Speed_Right_Wheel_1359 + Speed_Right_Wheel_1358 + Speed_Right_Wheel_1357 + Speed_Right_Wheel_1356 + Speed_Right_Wheel_1355 + Speed_Right_Wheel_1354 + Speed_Right_Wheel_1353 + Speed_Right_Wheel_1352 + Speed_Right_Wheel_1351 + Speed_Right_Wheel_1350 + Speed_Right_Wheel_1349 + Speed_Right_Wheel_1348 + Speed_Right_Wheel_1347 + Speed_Right_Wheel_1346 + Speed_Right_Wheel_1345 + Speed_Right_Wheel_1344 + Speed_Right_Wheel_1343 + Speed_Right_Wheel_1342 + Speed_Right_Wheel_1341 + Speed_Right_Wheel_1340 + Speed_Right_Wheel_1339 + Speed_Right_Wheel_1338 + Speed_Right_Wheel_1337 + Speed_Right_Wheel_1336 + Speed_Right_Wheel_1335 + Speed_Right_Wheel_1334 + Speed_Right_Wheel_1333 + Speed_Right_Wheel_1332 + Speed_Right_Wheel_1331 + Speed_Right_Wheel_1330 + Speed_Right_Wheel_1329 + Speed_Right_Wheel_1328 + Speed_Right_Wheel_1327 + Speed_Right_Wheel_1326 + Speed_Right_Wheel_1325 + Speed_Right_Wheel_1324 + Speed_Right_Wheel_1323 + Speed_Right_Wheel_1322 + Speed_Right_Wheel_1321 + Speed_Right_Wheel_1320 + Speed_Right_Wheel_1319 + Speed_Right_Wheel_1318 + Speed_Right_Wheel_1317 + Speed_Right_Wheel_1316 + Speed_Right_Wheel_1315 + Speed_Right_Wheel_1314 + Speed_Right_Wheel_1313 + Speed_Right_Wheel_1312 + Speed_Right_Wheel_1311 + Speed_Right_Wheel_1310 + Speed_Right_Wheel_1309 + Speed_Right_Wheel_1308 + Speed_Right_Wheel_1307 + Speed_Right_Wheel_1306 + Speed_Right_Wheel_1305 + Speed_Right_Wheel_1304 + Speed_Right_Wheel_1303 + Speed_Right_Wheel_1302 + Speed_Right_Wheel_1301 + Speed_Right_Wheel_1300))))) : A (X (X ((TheAltitude_1431 <= 1)))) : A (G (G (F (X ((TheAltitude_2982 <= TheAltitude_23)))))) : A (G (G (F (F ((Speed_Left_Wheel_1207 <= TheAltitude_862)))))) : A ((Speed_Left_Wheel_1730 <= 1)) : A ((1 <= TheAltitude_423)) : A ((X (F ((Speed_Left_Wheel_1351 <= Speed_Right_Wheel_1442))) U (TheAltitude_2360 <= 1))) : A ((TRUE U (Speed_Right_Wheel_1017 <= TheAltitude_2669))) : A (F (G (((TheAltitude_206 <= TheAltitude_908) U (Speed_Left_Wheel_1324 <= TheAltitude_1488)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 205 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (Weight_Right_Wheel_off + Weight_Right_Wheel_on <= stp1)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (Weight_Right_Wheel_off + Weight_Right_Wheel_on <= stp1)
lola: processed formula length: 56
lola: 24 rewrites
lola: closed formula file AirplaneLD-PT-2000-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA AirplaneLD-PT-2000-LTLCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (Speed_Left_Wheel_1730 <= 1)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (Speed_Left_Wheel_1730 <= 1)
lola: processed formula length: 28
lola: 24 rewrites
lola: closed formula file AirplaneLD-PT-2000-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA AirplaneLD-PT-2000-LTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 234 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= TheAltitude_423)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= TheAltitude_423)
lola: processed formula length: 22
lola: 24 rewrites
lola: closed formula file AirplaneLD-PT-2000-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA AirplaneLD-PT-2000-LTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 252 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((stp1 <= P5))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((stp1 <= P5))))
lola: processed formula length: 24
lola: 24 rewrites
lola: closed formula file AirplaneLD-PT-2000-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 38635 markings, 46634 edges, 7727 markings/sec, 0 secs
lola: 76957 markings, 92957 edges, 7664 markings/sec, 5 secs
lola: 116036 markings, 140036 edges, 7816 markings/sec, 10 secs
lola: 154406 markings, 186406 edges, 7674 markings/sec, 15 secs
lola: 194408 markings, 233842 edges, 8000 markings/sec, 20 secs
lola: 230336 markings, 275315 edges, 7186 markings/sec, 25 secs
lola: 264829 markings, 316856 edges, 6899 markings/sec, 30 secs
lola: 298797 markings, 358832 edges, 6794 markings/sec, 35 secs
lola: 332729 markings, 400774 edges, 6786 markings/sec, 40 secs
lola: 365569 markings, 441623 edges, 6568 markings/sec, 45 secs
lola: 395542 markings, 479605 edges, 5995 markings/sec, 50 secs
lola: 428151 markings, 520223 edges, 6522 markings/sec, 55 secs
lola: 462142 markings, 562223 edges, 6798 markings/sec, 60 secs
lola: 495914 markings, 604004 edges, 6754 markings/sec, 65 secs
lola: 529726 markings, 645825 edges, 6762 markings/sec, 70 secs
lola: 563578 markings, 687686 edges, 6770 markings/sec, 75 secs
lola: 596699 markings, 728816 edges, 6624 markings/sec, 80 secs
lola: 630188 markings, 770313 edges, 6698 markings/sec, 85 secs
lola: 663275 markings, 810580 edges, 6617 markings/sec, 90 secs
lola: 699201 markings, 851125 edges, 7185 markings/sec, 95 secs
lola: 733328 markings, 891243 edges, 6825 markings/sec, 100 secs
lola: 768666 markings, 932819 edges, 7068 markings/sec, 105 secs
lola: 801898 markings, 974060 edges, 6646 markings/sec, 110 secs
lola: 831038 markings, 1011209 edges, 5828 markings/sec, 115 secs
lola: 860046 markings, 1048225 edges, 5802 markings/sec, 120 secs
lola: 890083 markings, 1086271 edges, 6007 markings/sec, 125 secs
lola: 921401 markings, 1125599 edges, 6264 markings/sec, 130 secs
lola: 954632 markings, 1166838 edges, 6646 markings/sec, 135 secs
lola: 987977 markings, 1207883 edges, 6669 markings/sec, 140 secs
lola: 1022555 markings, 1249089 edges, 6916 markings/sec, 145 secs
lola: 1058158 markings, 1290029 edges, 7121 markings/sec, 150 secs
lola: 1092608 markings, 1331529 edges, 6890 markings/sec, 155 secs
lola: 1128354 markings, 1372597 edges, 7149 markings/sec, 160 secs
lola: 1161816 markings, 1414068 edges, 6692 markings/sec, 165 secs
lola: 1194925 markings, 1455186 edges, 6622 markings/sec, 170 secs
lola: 1227304 markings, 1495574 edges, 6476 markings/sec, 175 secs
lola: 1259875 markings, 1536154 edges, 6514 markings/sec, 180 secs
lola: 1292786 markings, 1577074 edges, 6582 markings/sec, 185 secs
lola: 1325703 markings, 1618000 edges, 6583 markings/sec, 190 secs
lola: 1357991 markings, 1658297 edges, 6458 markings/sec, 195 secs
lola: 1390779 markings, 1699094 edges, 6558 markings/sec, 200 secs
lola: 1423350 markings, 1739674 edges, 6514 markings/sec, 205 secs
lola: 1455734 markings, 1780067 edges, 6477 markings/sec, 210 secs
lola: 1489617 markings, 1817915 edges, 6777 markings/sec, 215 secs
lola: 1522730 markings, 1855072 edges, 6623 markings/sec, 220 secs
lola: 1554154 markings, 1894505 edges, 6285 markings/sec, 225 secs
lola: 1585896 markings, 1934255 edges, 6348 markings/sec, 230 secs
lola: 1614876 markings, 1971244 edges, 5796 markings/sec, 235 secs
lola: 1647206 markings, 2011584 edges, 6466 markings/sec, 240 secs
lola: 1679519 markings, 2051906 edges, 6463 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown yes no unknown unknown unknown
lola: memory consumption: 1582484 KB
lola: time consumption: 538 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown yes no unknown unknown unknown
lola: memory consumption: 1597496 KB
lola: time consumption: 541 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((TheAltitude_1431 <= 1))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((TheAltitude_1431 <= 1))))
lola: processed formula length: 35
lola: 24 rewrites
lola: closed formula file AirplaneLD-PT-2000-LTLCardinality.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 22862 markings, 22861 edges, 4572 markings/sec, 0 secs
lola: 45129 markings, 45128 edges, 4453 markings/sec, 5 secs
lola: 69312 markings, 69311 edges, 4837 markings/sec, 10 secs
lola: 93720 markings, 93719 edges, 4882 markings/sec, 15 secs
lola: 117869 markings, 117868 edges, 4830 markings/sec, 20 secs
lola: 141722 markings, 141721 edges, 4771 markings/sec, 25 secs
lola: 165131 markings, 165130 edges, 4682 markings/sec, 30 secs
lola: 188625 markings, 188625 edges, 4699 markings/sec, 35 secs
lola: 212041 markings, 212041 edges, 4683 markings/sec, 40 secs
lola: 234725 markings, 234724 edges, 4537 markings/sec, 45 secs
lola: 255704 markings, 255703 edges, 4196 markings/sec, 50 secs
lola: 276756 markings, 276755 edges, 4210 markings/sec, 55 secs
lola: 297496 markings, 297495 edges, 4148 markings/sec, 60 secs
lola: 318182 markings, 318181 edges, 4137 markings/sec, 65 secs
lola: 338676 markings, 338675 edges, 4099 markings/sec, 70 secs
lola: 359122 markings, 359121 edges, 4089 markings/sec, 75 secs
lola: 379467 markings, 379466 edges, 4069 markings/sec, 80 secs
lola: 399786 markings, 399785 edges, 4064 markings/sec, 85 secs
lola: 420284 markings, 420283 edges, 4100 markings/sec, 90 secs
lola: 440684 markings, 440683 edges, 4080 markings/sec, 95 secs
lola: 460989 markings, 460989 edges, 4061 markings/sec, 100 secs
lola: 480994 markings, 480994 edges, 4001 markings/sec, 105 secs
lola: 501696 markings, 501696 edges, 4140 markings/sec, 110 secs
lola: 521782 markings, 521782 edges, 4017 markings/sec, 115 secs
lola: 541729 markings, 541729 edges, 3989 markings/sec, 120 secs
lola: 561749 markings, 561748 edges, 4004 markings/sec, 125 secs
lola: 581253 markings, 581253 edges, 3901 markings/sec, 130 secs
lola: 601861 markings, 601961 edges, 4122 markings/sec, 135 secs
lola: 626916 markings, 627615 edges, 5011 markings/sec, 140 secs
lola: 650333 markings, 651559 edges, 4683 markings/sec, 145 secs
lola: 673016 markings, 674678 edges, 4537 markings/sec, 150 secs
lola: 694935 markings, 697033 edges, 4384 markings/sec, 155 secs
lola: 717958 markings, 720383 edges, 4605 markings/sec, 160 secs
lola: 740228 markings, 743089 edges, 4454 markings/sec, 165 secs
lola: 762005 markings, 765302 edges, 4355 markings/sec, 170 secs
lola: 784434 markings, 788168 edges, 4486 markings/sec, 175 secs
lola: 806068 markings, 810128 edges, 4327 markings/sec, 180 secs
lola: 828770 markings, 833056 edges, 4540 markings/sec, 185 secs
lola: 851319 markings, 855761 edges, 4510 markings/sec, 190 secs
lola: 873317 markings, 877995 edges, 4400 markings/sec, 195 secs
lola: 895482 markings, 900517 edges, 4433 markings/sec, 200 secs
lola: 916911 markings, 922422 edges, 4286 markings/sec, 205 secs
lola: 939003 markings, 944850 edges, 4418 markings/sec, 210 secs
lola: 961654 markings, 967697 edges, 4530 markings/sec, 215 secs
lola: 985156 markings, 991396 edges, 4700 markings/sec, 220 secs
lola: 1008423 markings, 1015179 edges, 4653 markings/sec, 225 secs
lola: 1031489 markings, 1038631 edges, 4613 markings/sec, 230 secs
lola: 1054684 markings, 1062272 edges, 4639 markings/sec, 235 secs
lola: 1078509 markings, 1086334 edges, 4765 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown unknown unknown yes no unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (G ((1 <= stp2))) U G ((2 <= stp5))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (G ((1 <= stp2))) U G ((2 <= stp5))))
lola: processed formula length: 43
lola: 24 rewrites
lola: closed formula file AirplaneLD-PT-2000-LTLCardinality.task
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 8 markings, 8 edges
lola: ========================================

FORMULA AirplaneLD-PT-2000-LTLCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((stp5 <= Plane_On_Ground_Signal_no_F + Plane_On_Ground_Signal_no_T)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((stp5 <= Plane_On_Ground_Signal_no_F + Plane_On_Ground_Signal_no_T)))))
lola: processed formula length: 83
lola: 24 rewrites
lola: closed formula file AirplaneLD-PT-2000-LTLCardinality.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 7 markings, 7 edges
lola:
FORMULA AirplaneLD-PT-2000-LTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 7 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (F ((Speed_Left_Wheel_1351 <= Speed_Right_Wheel_1442))) U (TheAltitude_2360 <= 1)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (F ((Speed_Left_Wheel_1351 <= Speed_Right_Wheel_1442))) U (TheAltitude_2360 <= 1)))
lola: processed formula length: 89
lola: 24 rewrites
lola: closed formula file AirplaneLD-PT-2000-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================

FORMULA AirplaneLD-PT-2000-LTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 345 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((Speed_Right_Wheel_1017 <= TheAltitude_2669)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (TheAltitude_2669 + 1 <= Speed_Right_Wheel_1017)
lola: processed formula length: 48
lola: 26 rewrites
lola: closed formula file AirplaneLD-PT-2000-LTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================

FORMULA AirplaneLD-PT-2000-LTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 394 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((3 <= stp5))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((3 <= stp5))))
lola: processed formula length: 23
lola: 24 rewrites
lola: closed formula file AirplaneLD-PT-2000-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 7 markings, 7 edges
lola: ========================================

FORMULA AirplaneLD-PT-2000-LTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 459 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((2 <= P4))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((2 <= P4))))
lola: processed formula length: 21
lola: 24 rewrites
lola: closed formula file AirplaneLD-PT-2000-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 7 markings, 7 edges
lola: ========================================

FORMULA AirplaneLD-PT-2000-LTLCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 551 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((TheAltitude_2982 <= TheAltitude_23))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((TheAltitude_2982 <= TheAltitude_23))))
lola: processed formula length: 48
lola: 24 rewrites
lola: closed formula file AirplaneLD-PT-2000-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 873 markings, 1738 edges
lola: ========================================

FORMULA AirplaneLD-PT-2000-LTLCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 688 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((Speed_Left_Wheel_1207 <= TheAltitude_862))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((Speed_Left_Wheel_1207 <= TheAltitude_862))))
lola: processed formula length: 54
lola: 24 rewrites
lola: closed formula file AirplaneLD-PT-2000-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 4 markings, 3 edges, 1 markings/sec, 0 secs
lola: 4 markings, 3 edges, 0 markings/sec, 5 secs
lola: 4 markings, 3 edges, 0 markings/sec, 10 secs
lola: 4 markings, 3 edges, 0 markings/sec, 15 secs
lola: 4 markings, 3 edges, 0 markings/sec, 20 secs
lola: 6 markings, 5 edges, 0 markings/sec, 25 secs
lola: 6 markings, 5 edges, 0 markings/sec, 30 secs
lola: 6 markings, 5 edges, 0 markings/sec, 35 secs
lola: 6 markings, 5 edges, 0 markings/sec, 40 secs
lola: 4007 markings, 8006 edges, 800 markings/sec, 45 secs
lola: 4007 markings, 8006 edges, 0 markings/sec, 50 secs
lola: 4007 markings, 8006 edges, 0 markings/sec, 55 secs
lola: 8008 markings, 16007 edges, 800 markings/sec, 60 secs
lola: 8008 markings, 16007 edges, 0 markings/sec, 65 secs
lola: 8008 markings, 16007 edges, 0 markings/sec, 70 secs
lola: 8008 markings, 16007 edges, 0 markings/sec, 75 secs
lola: 12009 markings, 24008 edges, 800 markings/sec, 80 secs
lola: 12009 markings, 24008 edges, 0 markings/sec, 85 secs
lola: 12009 markings, 24008 edges, 0 markings/sec, 90 secs
lola: 12009 markings, 24008 edges, 0 markings/sec, 95 secs
lola: 16010 markings, 32009 edges, 800 markings/sec, 100 secs
lola: 16010 markings, 32009 edges, 0 markings/sec, 105 secs
lola: 16010 markings, 32009 edges, 0 markings/sec, 110 secs
lola: 16010 markings, 32009 edges, 0 markings/sec, 115 secs
lola: 20011 markings, 40010 edges, 800 markings/sec, 120 secs
lola: 20011 markings, 40010 edges, 0 markings/sec, 125 secs
lola: 20011 markings, 40010 edges, 0 markings/sec, 130 secs
lola: 24012 markings, 48011 edges, 800 markings/sec, 135 secs
lola: 24012 markings, 48011 edges, 0 markings/sec, 140 secs
lola: 24012 markings, 48011 edges, 0 markings/sec, 145 secs
lola: 24012 markings, 48011 edges, 0 markings/sec, 150 secs
lola: 28013 markings, 56012 edges, 800 markings/sec, 155 secs
lola: 28013 markings, 56012 edges, 0 markings/sec, 160 secs
lola: 28013 markings, 56012 edges, 0 markings/sec, 165 secs
lola: 28013 markings, 56012 edges, 0 markings/sec, 170 secs
lola: 32014 markings, 64013 edges, 800 markings/sec, 175 secs
lola: 32014 markings, 64013 edges, 0 markings/sec, 180 secs
lola: 32014 markings, 64013 edges, 0 markings/sec, 185 secs
lola: 32200 markings, 64386 edges, 37 markings/sec, 190 secs
lola: 36015 markings, 72014 edges, 763 markings/sec, 195 secs
lola: 36015 markings, 72014 edges, 0 markings/sec, 200 secs
lola: 36015 markings, 72014 edges, 0 markings/sec, 205 secs
lola: 40016 markings, 80015 edges, 800 markings/sec, 210 secs
lola: 40016 markings, 80015 edges, 0 markings/sec, 215 secs
lola: 40016 markings, 80015 edges, 0 markings/sec, 220 secs
lola: 40016 markings, 80015 edges, 0 markings/sec, 225 secs
lola: 44017 markings, 88016 edges, 800 markings/sec, 230 secs
lola: 44017 markings, 88016 edges, 0 markings/sec, 235 secs
lola: 44017 markings, 88016 edges, 0 markings/sec, 240 secs
lola: 44017 markings, 88016 edges, 0 markings/sec, 245 secs
lola: 48018 markings, 96017 edges, 800 markings/sec, 250 secs
lola: 48018 markings, 96017 edges, 0 markings/sec, 255 secs
lola: 48018 markings, 96017 edges, 0 markings/sec, 260 secs
lola: 48018 markings, 96017 edges, 0 markings/sec, 265 secs
lola: 52019 markings, 104018 edges, 800 markings/sec, 270 secs
lola: 52019 markings, 104018 edges, 0 markings/sec, 275 secs
lola: 52019 markings, 104018 edges, 0 markings/sec, 280 secs
lola: 55753 markings, 111485 edges, 747 markings/sec, 285 secs
lola: 56020 markings, 112019 edges, 53 markings/sec, 290 secs
lola: 56020 markings, 112019 edges, 0 markings/sec, 295 secs
lola: 56020 markings, 112019 edges, 0 markings/sec, 300 secs
lola: 60021 markings, 120020 edges, 800 markings/sec, 305 secs
lola: 60021 markings, 120020 edges, 0 markings/sec, 310 secs
lola: 60021 markings, 120020 edges, 0 markings/sec, 315 secs
lola: 60021 markings, 120020 edges, 0 markings/sec, 320 secs
lola: 64022 markings, 128021 edges, 800 markings/sec, 325 secs
lola: 64022 markings, 128021 edges, 0 markings/sec, 330 secs
lola: 64022 markings, 128021 edges, 0 markings/sec, 335 secs
lola: 64022 markings, 128021 edges, 0 markings/sec, 340 secs
lola: 68023 markings, 136022 edges, 800 markings/sec, 345 secs
lola: 68023 markings, 136022 edges, 0 markings/sec, 350 secs
lola: 68023 markings, 136022 edges, 0 markings/sec, 355 secs
lola: 71494 markings, 142964 edges, 694 markings/sec, 360 secs
lola: 72024 markings, 144023 edges, 106 markings/sec, 365 secs
lola: 72024 markings, 144023 edges, 0 markings/sec, 370 secs
lola: 72024 markings, 144023 edges, 0 markings/sec, 375 secs
lola: 76025 markings, 152024 edges, 800 markings/sec, 380 secs
lola: 76025 markings, 152024 edges, 0 markings/sec, 385 secs
lola: 76025 markings, 152024 edges, 0 markings/sec, 390 secs
lola: 76025 markings, 152024 edges, 0 markings/sec, 395 secs
lola: 80026 markings, 160025 edges, 800 markings/sec, 400 secs
lola: 80026 markings, 160025 edges, 0 markings/sec, 405 secs
lola: 80026 markings, 160025 edges, 0 markings/sec, 410 secs
lola: 80026 markings, 160025 edges, 0 markings/sec, 415 secs
lola: 84027 markings, 168026 edges, 800 markings/sec, 420 secs
lola: 84027 markings, 168026 edges, 0 markings/sec, 425 secs
lola: 84027 markings, 168026 edges, 0 markings/sec, 430 secs
lola: 87512 markings, 174996 edges, 697 markings/sec, 435 secs
lola: 88028 markings, 176027 edges, 103 markings/sec, 440 secs
lola: 88028 markings, 176027 edges, 0 markings/sec, 445 secs
lola: 88028 markings, 176027 edges, 0 markings/sec, 450 secs
lola: 92029 markings, 184028 edges, 800 markings/sec, 455 secs
lola: 92029 markings, 184028 edges, 0 markings/sec, 460 secs
lola: 92029 markings, 184028 edges, 0 markings/sec, 465 secs
lola: 92029 markings, 184028 edges, 0 markings/sec, 470 secs
lola: 96030 markings, 192029 edges, 800 markings/sec, 475 secs
lola: 96030 markings, 192029 edges, 0 markings/sec, 480 secs
lola: 96030 markings, 192029 edges, 0 markings/sec, 485 secs
lola: 96030 markings, 192029 edges, 0 markings/sec, 490 secs
lola: 100031 markings, 200030 edges, 800 markings/sec, 495 secs
lola: 100031 markings, 200030 edges, 0 markings/sec, 500 secs
lola: 100031 markings, 200030 edges, 0 markings/sec, 505 secs
lola: 100769 markings, 201506 edges, 148 markings/sec, 510 secs
lola: 104032 markings, 208031 edges, 653 markings/sec, 515 secs
lola: 104032 markings, 208031 edges, 0 markings/sec, 520 secs
lola: 104032 markings, 208031 edges, 0 markings/sec, 525 secs
lola: 108033 markings, 216032 edges, 800 markings/sec, 530 secs
lola: 108033 markings, 216032 edges, 0 markings/sec, 535 secs
lola: 108033 markings, 216032 edges, 0 markings/sec, 540 secs
lola: 108033 markings, 216032 edges, 0 markings/sec, 545 secs
lola: 112034 markings, 224033 edges, 800 markings/sec, 550 secs
lola: 112034 markings, 224033 edges, 0 markings/sec, 555 secs
lola: 112034 markings, 224033 edges, 0 markings/sec, 560 secs
lola: 112034 markings, 224033 edges, 0 markings/sec, 565 secs
lola: 116035 markings, 232034 edges, 800 markings/sec, 570 secs
lola: 116035 markings, 232034 edges, 0 markings/sec, 575 secs
lola: 116035 markings, 232034 edges, 0 markings/sec, 580 secs
lola: 117296 markings, 234555 edges, 252 markings/sec, 585 secs
lola: 120036 markings, 240035 edges, 548 markings/sec, 590 secs
lola: 120036 markings, 240035 edges, 0 markings/sec, 595 secs
lola: 120036 markings, 240035 edges, 0 markings/sec, 600 secs
lola: 124037 markings, 248036 edges, 800 markings/sec, 605 secs
lola: 124037 markings, 248036 edges, 0 markings/sec, 610 secs
lola: 124037 markings, 248036 edges, 0 markings/sec, 615 secs
lola: 124037 markings, 248036 edges, 0 markings/sec, 620 secs
lola: 128038 markings, 256037 edges, 800 markings/sec, 625 secs
lola: 128038 markings, 256037 edges, 0 markings/sec, 630 secs
lola: 128038 markings, 256037 edges, 0 markings/sec, 635 secs
lola: 128038 markings, 256037 edges, 0 markings/sec, 640 secs
lola: 132039 markings, 264038 edges, 800 markings/sec, 645 secs
lola: 132039 markings, 264038 edges, 0 markings/sec, 650 secs
lola: 132039 markings, 264038 edges, 0 markings/sec, 655 secs
lola: 133273 markings, 266506 edges, 247 markings/sec, 660 secs
lola: 136040 markings, 272039 edges, 553 markings/sec, 665 secs
lola: 136040 markings, 272039 edges, 0 markings/sec, 670 secs
lola: 136040 markings, 272039 edges, 0 markings/sec, 675 secs
lola: 140041 markings, 280040 edges, 800 markings/sec, 680 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no no no unknown no unknown unknown no unknown yes no yes yes unknown
lola: memory consumption: 255192 KB
lola: time consumption: 1505 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown yes no no no unknown no unknown unknown no unknown yes no yes yes unknown
lola: memory consumption: 255940 KB
lola: time consumption: 1507 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 681 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((P3 <= P6))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((P3 <= P6))))
lola: processed formula length: 22
lola: 24 rewrites
lola: closed formula file AirplaneLD-PT-2000-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 22583 markings, 33870 edges, 4517 markings/sec, 0 secs
lola: 46976 markings, 70458 edges, 4879 markings/sec, 5 secs
lola: 71458 markings, 107179 edges, 4896 markings/sec, 10 secs
lola: 95484 markings, 143218 edges, 4805 markings/sec, 15 secs
lola: 119971 markings, 179946 edges, 4897 markings/sec, 20 secs
lola: 144279 markings, 216406 edges, 4862 markings/sec, 25 secs
lola: 168779 markings, 253154 edges, 4900 markings/sec, 30 secs
lola: 193379 markings, 290053 edges, 4920 markings/sec, 35 secs
lola: 217971 markings, 326939 edges, 4918 markings/sec, 40 secs
lola: 242612 markings, 363900 edges, 4928 markings/sec, 45 secs
lola: 267173 markings, 400739 edges, 4912 markings/sec, 50 secs
lola: 291850 markings, 437753 edges, 4935 markings/sec, 55 secs
lola: 316468 markings, 474679 edges, 4924 markings/sec, 60 secs
lola: 341071 markings, 511582 edges, 4921 markings/sec, 65 secs
lola: 365077 markings, 547589 edges, 4801 markings/sec, 70 secs
lola: 389376 markings, 584036 edges, 4860 markings/sec, 75 secs
lola: 413503 markings, 620226 edges, 4825 markings/sec, 80 secs
lola: 435889 markings, 653803 edges, 4477 markings/sec, 85 secs
lola: 458449 markings, 687641 edges, 4512 markings/sec, 90 secs
lola: 480977 markings, 721433 edges, 4506 markings/sec, 95 secs
lola: 503922 markings, 755848 edges, 4589 markings/sec, 100 secs
lola: 526758 markings, 790101 edges, 4567 markings/sec, 105 secs
lola: 549539 markings, 824272 edges, 4556 markings/sec, 110 secs
lola: 572312 markings, 858430 edges, 4555 markings/sec, 115 secs
lola: 596587 markings, 894840 edges, 4855 markings/sec, 120 secs
lola: 619216 markings, 928783 edges, 4526 markings/sec, 125 secs
lola: 641837 markings, 962712 edges, 4524 markings/sec, 130 secs
lola: 664088 markings, 996087 edges, 4450 markings/sec, 135 secs
lola: 686860 markings, 1030245 edges, 4554 markings/sec, 140 secs
lola: 709151 markings, 1063679 edges, 4458 markings/sec, 145 secs
lola: 731417 markings, 1097077 edges, 4453 markings/sec, 150 secs
lola: 753400 markings, 1130049 edges, 4397 markings/sec, 155 secs
lola: 776765 markings, 1165095 edges, 4673 markings/sec, 160 secs
lola: 800659 markings, 1200936 edges, 4779 markings/sec, 165 secs
lola: 825874 markings, 1238756 edges, 5043 markings/sec, 170 secs
lola: 851324 markings, 1276930 edges, 5090 markings/sec, 175 secs
lola: 875534 markings, 1313243 edges, 4842 markings/sec, 180 secs
lola: 898370 markings, 1347495 edges, 4567 markings/sec, 185 secs
lola: 921754 markings, 1382570 edges, 4677 markings/sec, 190 secs
lola: 945751 markings, 1418564 edges, 4799 markings/sec, 195 secs
lola: 970359 markings, 1455475 edges, 4922 markings/sec, 200 secs
lola: 995464 markings, 1493131 edges, 5021 markings/sec, 205 secs
lola: 1019995 markings, 1529925 edges, 4906 markings/sec, 210 secs
lola: 1044309 markings, 1566395 edges, 4863 markings/sec, 215 secs
lola: 1068897 markings, 1603275 edges, 4918 markings/sec, 220 secs
lola: 1093991 markings, 1640915 edges, 5019 markings/sec, 225 secs
lola: 1119050 markings, 1678502 edges, 5012 markings/sec, 230 secs
lola: 1143332 markings, 1714924 edges, 4856 markings/sec, 235 secs
lola: 1167585 markings, 1751301 edges, 4851 markings/sec, 240 secs
lola: 1191891 markings, 1787760 edges, 4861 markings/sec, 245 secs
lola: 1216170 markings, 1824175 edges, 4856 markings/sec, 250 secs
lola: 1240983 markings, 1861394 edges, 4963 markings/sec, 255 secs
lola: 1265575 markings, 1898280 edges, 4918 markings/sec, 260 secs
lola: 1290279 markings, 1935334 edges, 4941 markings/sec, 265 secs
lola: 1315316 markings, 1972888 edges, 5007 markings/sec, 270 secs
lola: 1340396 markings, 2010507 edges, 5016 markings/sec, 275 secs
lola: 1363615 markings, 2045334 edges, 4644 markings/sec, 280 secs
lola: 1386186 markings, 2079189 edges, 4514 markings/sec, 285 secs
lola: 1410667 markings, 2115909 edges, 4896 markings/sec, 290 secs
lola: 1435047 markings, 2152477 edges, 4876 markings/sec, 295 secs
lola: 1459684 markings, 2189431 edges, 4927 markings/sec, 300 secs
lola: 1484869 markings, 2227207 edges, 5037 markings/sec, 305 secs
lola: 1509799 markings, 2264601 edges, 4986 markings/sec, 310 secs
lola: 1534701 markings, 2301952 edges, 4980 markings/sec, 315 secs
lola: 1559407 markings, 2339010 edges, 4941 markings/sec, 320 secs
lola: 1584203 markings, 2376202 edges, 4959 markings/sec, 325 secs
lola: 1607683 markings, 2411422 edges, 4696 markings/sec, 330 secs
lola: 1630085 markings, 2445023 edges, 4480 markings/sec, 335 secs
lola: 1652250 markings, 2478269 edges, 4433 markings/sec, 340 secs
lola: 1674188 markings, 2511175 edges, 4388 markings/sec, 345 secs
lola: 1696217 markings, 2544216 edges, 4406 markings/sec, 350 secs
lola: 1718018 markings, 2576917 edges, 4360 markings/sec, 355 secs
lola: 1739480 markings, 2609108 edges, 4292 markings/sec, 360 secs
lola: 1760225 markings, 2640224 edges, 4149 markings/sec, 365 secs
lola: 1781495 markings, 2672128 edges, 4254 markings/sec, 370 secs
lola: 1801858 markings, 2702672 edges, 4073 markings/sec, 375 secs
lola: 1822718 markings, 2733961 edges, 4172 markings/sec, 380 secs
lola: 1843996 markings, 2765875 edges, 4256 markings/sec, 385 secs
lola: 1865243 markings, 2797744 edges, 4249 markings/sec, 390 secs
lola: 1886634 markings, 2829830 edges, 4278 markings/sec, 395 secs
lola: 1907310 markings, 2860843 edges, 4135 markings/sec, 400 secs
lola: 1927943 markings, 2891791 edges, 4127 markings/sec, 405 secs
lola: 1947757 markings, 2921511 edges, 3963 markings/sec, 410 secs
lola: 1967239 markings, 2950733 edges, 3896 markings/sec, 415 secs
lola: 1986276 markings, 2979287 edges, 3807 markings/sec, 420 secs
lola: 2006212 markings, 3009189 edges, 3987 markings/sec, 425 secs
lola: 2026380 markings, 3039440 edges, 4034 markings/sec, 430 secs
lola: 2046988 markings, 3070351 edges, 4122 markings/sec, 435 secs
lola: 2067327 markings, 3100859 edges, 4068 markings/sec, 440 secs
lola: 2087729 markings, 3131460 edges, 4080 markings/sec, 445 secs
lola: 2107964 markings, 3161812 edges, 4047 markings/sec, 450 secs
lola: 2128271 markings, 3192270 edges, 4061 markings/sec, 455 secs
lola: 2148447 markings, 3222534 edges, 4035 markings/sec, 460 secs
lola: 2168276 markings, 3252275 edges, 3966 markings/sec, 465 secs
lola: 2188324 markings, 3282346 edges, 4010 markings/sec, 470 secs
lola: 2208068 markings, 3311962 edges, 3949 markings/sec, 475 secs
lola: 2227954 markings, 3341789 edges, 3977 markings/sec, 480 secs
lola: 2247799 markings, 3371555 edges, 3969 markings/sec, 485 secs
lola: 2267538 markings, 3401162 edges, 3948 markings/sec, 490 secs
lola: 2286672 markings, 3429863 edges, 3827 markings/sec, 495 secs
lola: 2304135 markings, 3456055 edges, 3493 markings/sec, 500 secs
lola: 2322688 markings, 3483884 edges, 3711 markings/sec, 505 secs
lola: 2342191 markings, 3513137 edges, 3901 markings/sec, 510 secs
lola: 2361315 markings, 3541822 edges, 3825 markings/sec, 515 secs
lola: 2380645 markings, 3570816 edges, 3866 markings/sec, 520 secs
lola: 2400892 markings, 3601185 edges, 4049 markings/sec, 525 secs
lola: 2424574 markings, 3636707 edges, 4736 markings/sec, 530 secs
lola: 2448621 markings, 3672775 edges, 4809 markings/sec, 535 secs
lola: 2472314 markings, 3708313 edges, 4739 markings/sec, 540 secs
lola: 2495302 markings, 3742794 edges, 4598 markings/sec, 545 secs
lola: 2518589 markings, 3777723 edges, 4657 markings/sec, 550 secs
lola: 2542208 markings, 3813149 edges, 4724 markings/sec, 555 secs
lola: 2564289 markings, 3846270 edges, 4416 markings/sec, 560 secs
lola: 2585979 markings, 3878803 edges, 4338 markings/sec, 565 secs
lola: 2607885 markings, 3911661 edges, 4381 markings/sec, 570 secs
lola: 2631716 markings, 3947406 edges, 4766 markings/sec, 575 secs
lola: 2655237 markings, 3982687 edges, 4704 markings/sec, 580 secs
lola: 2679371 markings, 4018886 edges, 4827 markings/sec, 585 secs
lola: 2703626 markings, 4055267 edges, 4851 markings/sec, 590 secs
lola: 2727821 markings, 4091558 edges, 4839 markings/sec, 595 secs
lola: 2751828 markings, 4127567 edges, 4801 markings/sec, 600 secs
lola: 2775845 markings, 4163591 edges, 4803 markings/sec, 605 secs
lola: 2799819 markings, 4199550 edges, 4795 markings/sec, 610 secs
lola: 2823410 markings, 4234936 edges, 4718 markings/sec, 615 secs
lola: 2847171 markings, 4270575 edges, 4752 markings/sec, 620 secs
lola: 2871041 markings, 4306380 edges, 4774 markings/sec, 625 secs
lola: 2894590 markings, 4341701 edges, 4710 markings/sec, 630 secs
lola: 2917314 markings, 4375786 edges, 4545 markings/sec, 635 secs
lola: 2940607 markings, 4410723 edges, 4659 markings/sec, 640 secs
lola: 2962570 markings, 4443666 edges, 4393 markings/sec, 645 secs
lola: 2985434 markings, 4477961 edges, 4573 markings/sec, 650 secs
lola: 3008711 markings, 4512875 edges, 4655 markings/sec, 655 secs
lola: 3030827 markings, 4546048 edges, 4423 markings/sec, 660 secs
lola: 3052588 markings, 4578689 edges, 4352 markings/sec, 665 secs
lola: 3073933 markings, 4610704 edges, 4269 markings/sec, 670 secs
lola: 3095708 markings, 4643365 edges, 4355 markings/sec, 675 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no no no unknown no unknown unknown no unknown yes no yes yes unknown
lola: memory consumption: 3197868 KB
lola: time consumption: 2206 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown yes no no no unknown no unknown unknown no unknown yes no yes yes unknown
lola: memory consumption: 3220012 KB
lola: time consumption: 2211 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 671 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((F ((Speed_Left_Wheel_1324 <= TheAltitude_1488)) AND ((TheAltitude_206 <= TheAltitude_908) OR (Speed_Left_Wheel_1324 <= TheAltitude_1488))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F ((Speed_Left_Wheel_1324 <= TheAltitude_1488)) AND ((TheAltitude_206 <= TheAltitude_908) OR (Speed_Left_Wheel_1324 <= TheAltitude_1488))))))
lola: processed formula length: 151
lola: 24 rewrites
lola: closed formula file AirplaneLD-PT-2000-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 4 markings, 3 edges, 1 markings/sec, 0 secs
lola: 6 markings, 5 edges, 0 markings/sec, 5 secs
lola: 8008 markings, 16007 edges, 1600 markings/sec, 10 secs
lola: 12009 markings, 24008 edges, 800 markings/sec, 15 secs
lola: 20011 markings, 40010 edges, 1600 markings/sec, 20 secs
lola: 27673 markings, 55333 edges, 1532 markings/sec, 25 secs
lola: 32014 markings, 64013 edges, 868 markings/sec, 30 secs
lola: 40016 markings, 80015 edges, 1600 markings/sec, 35 secs
lola: 47277 markings, 94535 edges, 1452 markings/sec, 40 secs
lola: 52019 markings, 104018 edges, 948 markings/sec, 45 secs
lola: 60021 markings, 120020 edges, 1600 markings/sec, 50 secs
lola: 66849 markings, 133675 edges, 1366 markings/sec, 55 secs
lola: 72024 markings, 144023 edges, 1035 markings/sec, 60 secs
lola: 80026 markings, 160025 edges, 1600 markings/sec, 65 secs
lola: 86371 markings, 172714 edges, 1269 markings/sec, 70 secs
lola: 92029 markings, 184028 edges, 1132 markings/sec, 75 secs
lola: 100031 markings, 200030 edges, 1600 markings/sec, 80 secs
lola: 105917 markings, 211801 edges, 1177 markings/sec, 85 secs
lola: 112034 markings, 224033 edges, 1223 markings/sec, 90 secs
lola: 120036 markings, 240035 edges, 1600 markings/sec, 95 secs
lola: 125335 markings, 250632 edges, 1060 markings/sec, 100 secs
lola: 132039 markings, 264038 edges, 1341 markings/sec, 105 secs
lola: 140041 markings, 280040 edges, 1600 markings/sec, 110 secs
lola: 144951 markings, 289859 edges, 982 markings/sec, 115 secs
lola: 152044 markings, 304043 edges, 1419 markings/sec, 120 secs
lola: 160046 markings, 320045 edges, 1600 markings/sec, 125 secs
lola: 164539 markings, 329029 edges, 899 markings/sec, 130 secs
lola: 172049 markings, 344048 edges, 1502 markings/sec, 135 secs
lola: 180051 markings, 360050 edges, 1600 markings/sec, 140 secs
lola: 184052 markings, 368051 edges, 800 markings/sec, 145 secs
lola: 192054 markings, 384053 edges, 1600 markings/sec, 150 secs
lola: 199601 markings, 399145 edges, 1509 markings/sec, 155 secs
lola: 204057 markings, 408056 edges, 891 markings/sec, 160 secs
lola: 212059 markings, 424058 edges, 1600 markings/sec, 165 secs
lola: 219233 markings, 438405 edges, 1435 markings/sec, 170 secs
lola: 224062 markings, 448061 edges, 966 markings/sec, 175 secs
lola: 232064 markings, 464063 edges, 1600 markings/sec, 180 secs
lola: 238483 markings, 476900 edges, 1284 markings/sec, 185 secs
lola: 244067 markings, 488066 edges, 1117 markings/sec, 190 secs
lola: 252069 markings, 504068 edges, 1600 markings/sec, 195 secs
lola: 257991 markings, 515910 edges, 1184 markings/sec, 200 secs
lola: 264072 markings, 528071 edges, 1216 markings/sec, 205 secs
lola: 272074 markings, 544073 edges, 1600 markings/sec, 210 secs
lola: 277357 markings, 554637 edges, 1057 markings/sec, 215 secs
lola: 284077 markings, 568076 edges, 1344 markings/sec, 220 secs
lola: 292079 markings, 584078 edges, 1600 markings/sec, 225 secs
lola: 297026 markings, 593972 edges, 989 markings/sec, 230 secs
lola: 304082 markings, 608081 edges, 1411 markings/sec, 235 secs
lola: 312084 markings, 624083 edges, 1600 markings/sec, 240 secs
lola: 316580 markings, 633073 edges, 899 markings/sec, 245 secs
lola: 324087 markings, 648086 edges, 1501 markings/sec, 250 secs
lola: 332089 markings, 664088 edges, 1600 markings/sec, 255 secs
lola: 336107 markings, 672122 edges, 804 markings/sec, 260 secs
lola: 344092 markings, 688091 edges, 1597 markings/sec, 265 secs
lola: 352094 markings, 704093 edges, 1600 markings/sec, 270 secs
lola: 356095 markings, 712094 edges, 800 markings/sec, 275 secs
lola: 364097 markings, 728096 edges, 1600 markings/sec, 280 secs
lola: 372010 markings, 743920 edges, 1583 markings/sec, 285 secs
lola: 376100 markings, 752099 edges, 818 markings/sec, 290 secs
lola: 384102 markings, 768101 edges, 1600 markings/sec, 295 secs
lola: 391752 markings, 783400 edges, 1530 markings/sec, 300 secs
lola: 396105 markings, 792104 edges, 871 markings/sec, 305 secs
lola: 404107 markings, 808106 edges, 1600 markings/sec, 310 secs
lola: 411642 markings, 823174 edges, 1507 markings/sec, 315 secs
lola: 416110 markings, 832109 edges, 894 markings/sec, 320 secs
lola: 424112 markings, 848111 edges, 1600 markings/sec, 325 secs
lola: 429973 markings, 859833 edges, 1172 markings/sec, 330 secs
lola: 436115 markings, 872114 edges, 1228 markings/sec, 335 secs
lola: 444117 markings, 888116 edges, 1600 markings/sec, 340 secs
lola: 448489 markings, 896860 edges, 874 markings/sec, 345 secs
lola: 456120 markings, 912119 edges, 1526 markings/sec, 350 secs
lola: 463957 markings, 927791 edges, 1567 markings/sec, 355 secs
lola: 468123 markings, 936122 edges, 833 markings/sec, 360 secs
lola: 476125 markings, 952124 edges, 1600 markings/sec, 365 secs
lola: 483462 markings, 966796 edges, 1467 markings/sec, 370 secs
lola: 488128 markings, 976127 edges, 933 markings/sec, 375 secs
lola: 496130 markings, 992129 edges, 1600 markings/sec, 380 secs
lola: 502150 markings, 1004167 edges, 1204 markings/sec, 385 secs
lola: 508133 markings, 1016132 edges, 1197 markings/sec, 390 secs
lola: 516135 markings, 1032134 edges, 1600 markings/sec, 395 secs
lola: 520814 markings, 1041491 edges, 936 markings/sec, 400 secs
lola: 528138 markings, 1056137 edges, 1465 markings/sec, 405 secs
lola: 536140 markings, 1072139 edges, 1600 markings/sec, 410 secs
lola: 540141 markings, 1080140 edges, 800 markings/sec, 415 secs
lola: 548143 markings, 1096142 edges, 1600 markings/sec, 420 secs
lola: 555403 markings, 1110660 edges, 1452 markings/sec, 425 secs
lola: 560146 markings, 1120145 edges, 949 markings/sec, 430 secs
lola: 568148 markings, 1136147 edges, 1600 markings/sec, 435 secs
lola: 574236 markings, 1148322 edges, 1218 markings/sec, 440 secs
lola: 580151 markings, 1160150 edges, 1183 markings/sec, 445 secs
lola: 588153 markings, 1176152 edges, 1600 markings/sec, 450 secs
lola: 593740 markings, 1187326 edges, 1117 markings/sec, 455 secs
lola: 600156 markings, 1200155 edges, 1283 markings/sec, 460 secs
lola: 608158 markings, 1216157 edges, 1600 markings/sec, 465 secs
lola: 614282 markings, 1228403 edges, 1225 markings/sec, 470 secs
lola: 620161 markings, 1240160 edges, 1176 markings/sec, 475 secs
lola: 628163 markings, 1256162 edges, 1600 markings/sec, 480 secs
lola: 634517 markings, 1268870 edges, 1271 markings/sec, 485 secs
lola: 640166 markings, 1280165 edges, 1130 markings/sec, 490 secs
lola: 648168 markings, 1296167 edges, 1600 markings/sec, 495 secs
lola: 654434 markings, 1308698 edges, 1253 markings/sec, 500 secs
lola: 660171 markings, 1320170 edges, 1147 markings/sec, 505 secs
lola: 668173 markings, 1336172 edges, 1600 markings/sec, 510 secs
lola: 674032 markings, 1347888 edges, 1172 markings/sec, 515 secs
lola: 680176 markings, 1360175 edges, 1229 markings/sec, 520 secs
lola: 688178 markings, 1376177 edges, 1600 markings/sec, 525 secs
lola: 694406 markings, 1388631 edges, 1246 markings/sec, 530 secs
lola: 700181 markings, 1400180 edges, 1155 markings/sec, 535 secs
lola: 708183 markings, 1416182 edges, 1600 markings/sec, 540 secs
lola: 714671 markings, 1429157 edges, 1298 markings/sec, 545 secs
lola: 720186 markings, 1440185 edges, 1103 markings/sec, 550 secs
lola: 728188 markings, 1456187 edges, 1600 markings/sec, 555 secs
lola: 735121 markings, 1470051 edges, 1387 markings/sec, 560 secs
lola: 740191 markings, 1480190 edges, 1014 markings/sec, 565 secs
lola: 748193 markings, 1496192 edges, 1600 markings/sec, 570 secs
lola: 755255 markings, 1510316 edges, 1412 markings/sec, 575 secs
lola: 760196 markings, 1520195 edges, 988 markings/sec, 580 secs
lola: 768198 markings, 1536197 edges, 1600 markings/sec, 585 secs
lola: 775154 markings, 1550107 edges, 1391 markings/sec, 590 secs
lola: 780201 markings, 1560200 edges, 1009 markings/sec, 595 secs
lola: 788203 markings, 1576202 edges, 1600 markings/sec, 600 secs
lola: 795713 markings, 1591220 edges, 1502 markings/sec, 605 secs
lola: 800206 markings, 1600205 edges, 899 markings/sec, 610 secs
lola: 808208 markings, 1616207 edges, 1600 markings/sec, 615 secs
lola: 813319 markings, 1626428 edges, 1022 markings/sec, 620 secs
lola: 820211 markings, 1640210 edges, 1378 markings/sec, 625 secs
lola: 827581 markings, 1654948 edges, 1474 markings/sec, 630 secs
lola: 832214 markings, 1664213 edges, 927 markings/sec, 635 secs
lola: 840216 markings, 1680215 edges, 1600 markings/sec, 640 secs
lola: 844734 markings, 1689249 edges, 904 markings/sec, 645 secs
lola: 852219 markings, 1704218 edges, 1497 markings/sec, 650 secs
lola: 858781 markings, 1717342 edges, 1312 markings/sec, 655 secs
lola: 864222 markings, 1728221 edges, 1088 markings/sec, 660 secs
lola: 872224 markings, 1744223 edges, 1600 markings/sec, 665 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no no no unknown no unknown unknown no unknown yes no yes yes unknown
lola: memory consumption: 1090320 KB
lola: time consumption: 2898 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown yes no no no unknown no unknown unknown no unknown yes no yes yes unknown
lola: memory consumption: 1093212 KB
lola: time consumption: 2902 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 651 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((1 <= Speed_Right_Wheel_680 + Speed_Right_Wheel_681 + Speed_Right_Wheel_682 + Speed_Right_Wheel_683 + Speed_Right_Wheel_684 + Speed_Right_Wheel_685 + Speed_Right_Wheel_686 + Speed_Right_Wheel_687 + Speed_Right_Wheel_688 + Speed_Right_Wheel_689 + Speed_Right_Wheel_1920 + Speed_Right_Wheel_1921 + Speed_Right_Wheel_1922 + Speed_Right_Wheel_1923 + Speed_Right_Wheel_1924 + Speed_Right_Wheel_19... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((1 <= Speed_Right_Wheel_680 + Speed_Right_Wheel_681 + Speed_Right_Wheel_682 + Speed_Right_Wheel_683 + Speed_Right_Wheel_684 + Speed_Right_Wheel_685 + Speed_Right_Wheel_686 + Speed_Right_Wheel_687 + Speed_Right_Wheel_688 + Speed_Right_Wheel_689 + Speed_Right_Wheel_1920 + Speed_Right_Wheel_1921 + Speed_Right_Wheel_1922 + Speed_Right_Wheel_1923 + Speed_Right_Wheel_1924 + Speed_Right_Wheel_19... (shortened)
lola: processed formula length: 48909
lola: 24 rewrites
lola: closed formula file AirplaneLD-PT-2000-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 19201 markings, 19200 edges, 3840 markings/sec, 0 secs
lola: 57248 markings, 57248 edges, 7609 markings/sec, 5 secs
lola: 94050 markings, 94049 edges, 7360 markings/sec, 10 secs
lola: 129112 markings, 129111 edges, 7012 markings/sec, 15 secs
lola: 162813 markings, 162812 edges, 6740 markings/sec, 20 secs
lola: 195467 markings, 195467 edges, 6531 markings/sec, 25 secs
lola: 226736 markings, 226735 edges, 6254 markings/sec, 30 secs
lola: 262398 markings, 262397 edges, 7132 markings/sec, 35 secs
lola: 299925 markings, 299924 edges, 7505 markings/sec, 40 secs
lola: 335872 markings, 335872 edges, 7189 markings/sec, 45 secs
lola: 373373 markings, 373373 edges, 7500 markings/sec, 50 secs
lola: 409624 markings, 409624 edges, 7250 markings/sec, 55 secs
lola: 439341 markings, 439340 edges, 5943 markings/sec, 60 secs
lola: 469045 markings, 469045 edges, 5941 markings/sec, 65 secs
lola: 498415 markings, 498414 edges, 5874 markings/sec, 70 secs
lola: 527504 markings, 527503 edges, 5818 markings/sec, 75 secs
lola: 555948 markings, 555947 edges, 5689 markings/sec, 80 secs
lola: 583681 markings, 583680 edges, 5547 markings/sec, 85 secs
lola: 610329 markings, 610328 edges, 5330 markings/sec, 90 secs
lola: 645533 markings, 645533 edges, 7041 markings/sec, 95 secs
lola: 680669 markings, 680668 edges, 7027 markings/sec, 100 secs
lola: 718203 markings, 718203 edges, 7507 markings/sec, 105 secs
lola: 753294 markings, 753294 edges, 7018 markings/sec, 110 secs
lola: 792499 markings, 792498 edges, 7841 markings/sec, 115 secs
lola: 822139 markings, 822139 edges, 5928 markings/sec, 120 secs
lola: 849353 markings, 849353 edges, 5443 markings/sec, 125 secs
lola: 876936 markings, 876935 edges, 5517 markings/sec, 130 secs
lola: 904618 markings, 904618 edges, 5536 markings/sec, 135 secs
lola: 932500 markings, 932500 edges, 5576 markings/sec, 140 secs
lola: 960380 markings, 960380 edges, 5576 markings/sec, 145 secs
lola: 988440 markings, 988440 edges, 5612 markings/sec, 150 secs
lola: 1018177 markings, 1018176 edges, 5947 markings/sec, 155 secs
lola: 1055034 markings, 1055034 edges, 7371 markings/sec, 160 secs
lola: 1091864 markings, 1091864 edges, 7366 markings/sec, 165 secs
lola: 1128549 markings, 1128549 edges, 7337 markings/sec, 170 secs
lola: 1167275 markings, 1167274 edges, 7745 markings/sec, 175 secs
lola: 1205744 markings, 1205744 edges, 7694 markings/sec, 180 secs
lola: 1233929 markings, 1233929 edges, 5637 markings/sec, 185 secs
lola: 1261889 markings, 1261889 edges, 5592 markings/sec, 190 secs
lola: 1289914 markings, 1289914 edges, 5605 markings/sec, 195 secs
lola: 1318094 markings, 1318094 edges, 5636 markings/sec, 200 secs
lola: 1346244 markings, 1346244 edges, 5630 markings/sec, 205 secs
lola: 1374226 markings, 1374226 edges, 5596 markings/sec, 210 secs
lola: 1401019 markings, 1401018 edges, 5359 markings/sec, 215 secs
lola: 1436601 markings, 1436601 edges, 7116 markings/sec, 220 secs
lola: 1473405 markings, 1473405 edges, 7361 markings/sec, 225 secs
lola: 1509879 markings, 1509879 edges, 7295 markings/sec, 230 secs
lola: 1545899 markings, 1545898 edges, 7204 markings/sec, 235 secs
lola: 1584291 markings, 1584291 edges, 7678 markings/sec, 240 secs
lola: 1619545 markings, 1619544 edges, 7051 markings/sec, 245 secs
lola: 1651616 markings, 1651616 edges, 6414 markings/sec, 250 secs
lola: 1683736 markings, 1683736 edges, 6424 markings/sec, 255 secs
lola: 1715671 markings, 1715671 edges, 6387 markings/sec, 260 secs
lola: 1747693 markings, 1747693 edges, 6404 markings/sec, 265 secs
lola: 1779308 markings, 1779308 edges, 6323 markings/sec, 270 secs
lola: 1812384 markings, 1812384 edges, 6615 markings/sec, 275 secs
lola: 1846961 markings, 1846961 edges, 6915 markings/sec, 280 secs
lola: 1880296 markings, 1880295 edges, 6667 markings/sec, 285 secs
lola: 1912368 markings, 1912367 edges, 6414 markings/sec, 290 secs
lola: 1945289 markings, 1945289 edges, 6584 markings/sec, 295 secs
lola: 1977588 markings, 1977588 edges, 6460 markings/sec, 300 secs
lola: 2008175 markings, 2008175 edges, 6117 markings/sec, 305 secs
lola: 2036957 markings, 2036956 edges, 5756 markings/sec, 310 secs
lola: 2065898 markings, 2065897 edges, 5788 markings/sec, 315 secs
lola: 2096122 markings, 2096122 edges, 6045 markings/sec, 320 secs
lola: 2126014 markings, 2126014 edges, 5978 markings/sec, 325 secs
lola: 2155363 markings, 2155363 edges, 5870 markings/sec, 330 secs
lola: 2184274 markings, 2184274 edges, 5782 markings/sec, 335 secs
lola: 2201602 markings, 2201601 edges, 3466 markings/sec, 340 secs
lola: 2230789 markings, 2230789 edges, 5837 markings/sec, 345 secs
lola: 2260468 markings, 2260468 edges, 5936 markings/sec, 350 secs
lola: 2289635 markings, 2289635 edges, 5833 markings/sec, 355 secs
lola: 2318571 markings, 2318571 edges, 5787 markings/sec, 360 secs
lola: 2347286 markings, 2347286 edges, 5743 markings/sec, 365 secs
lola: 2374973 markings, 2374973 edges, 5537 markings/sec, 370 secs
lola: 2401370 markings, 2401370 edges, 5279 markings/sec, 375 secs
lola: 2428404 markings, 2428403 edges, 5407 markings/sec, 380 secs
lola: 2455524 markings, 2455524 edges, 5424 markings/sec, 385 secs
lola: 2483048 markings, 2483047 edges, 5505 markings/sec, 390 secs
lola: 2510786 markings, 2510786 edges, 5548 markings/sec, 395 secs
lola: 2537775 markings, 2537774 edges, 5398 markings/sec, 400 secs
lola: 2564770 markings, 2564770 edges, 5399 markings/sec, 405 secs
lola: 2592343 markings, 2592343 edges, 5515 markings/sec, 410 secs
lola: 2607841 markings, 2607840 edges, 3100 markings/sec, 415 secs
lola: 2635087 markings, 2635087 edges, 5449 markings/sec, 420 secs
lola: 2659424 markings, 2659424 edges, 4867 markings/sec, 425 secs
lola: 2683707 markings, 2683706 edges, 4857 markings/sec, 430 secs
lola: 2707765 markings, 2707765 edges, 4812 markings/sec, 435 secs
lola: 2731889 markings, 2731889 edges, 4825 markings/sec, 440 secs
lola: 2755962 markings, 2755961 edges, 4815 markings/sec, 445 secs
lola: 2779603 markings, 2779603 edges, 4728 markings/sec, 450 secs
lola: 2803083 markings, 2803083 edges, 4696 markings/sec, 455 secs
lola: 2830480 markings, 2830480 edges, 5479 markings/sec, 460 secs
lola: 2858091 markings, 2858091 edges, 5522 markings/sec, 465 secs
lola: 2885547 markings, 2885546 edges, 5491 markings/sec, 470 secs
lola: 2913382 markings, 2913381 edges, 5567 markings/sec, 475 secs
lola: 2940428 markings, 2940428 edges, 5409 markings/sec, 480 secs
lola: 2967246 markings, 2967245 edges, 5364 markings/sec, 485 secs
lola: 2992544 markings, 2992543 edges, 5060 markings/sec, 490 secs
lola: 3006482 markings, 3006481 edges, 2788 markings/sec, 495 secs
lola: 3026694 markings, 3026694 edges, 4042 markings/sec, 500 secs
lola: 3046111 markings, 3046111 edges, 3883 markings/sec, 505 secs
lola: 3063687 markings, 3063686 edges, 3515 markings/sec, 510 secs
lola: 3082095 markings, 3082095 edges, 3682 markings/sec, 515 secs
lola: 3098942 markings, 3098942 edges, 3369 markings/sec, 520 secs
lola: 3117494 markings, 3117494 edges, 3710 markings/sec, 525 secs
lola: 3135745 markings, 3135745 edges, 3650 markings/sec, 530 secs
lola: 3153864 markings, 3153864 edges, 3624 markings/sec, 535 secs
lola: 3171068 markings, 3171068 edges, 3441 markings/sec, 540 secs
lola: 3187420 markings, 3187420 edges, 3270 markings/sec, 545 secs
lola: 3206801 markings, 3206801 edges, 3876 markings/sec, 550 secs
lola: 3236177 markings, 3236176 edges, 5875 markings/sec, 555 secs
lola: 3265567 markings, 3265566 edges, 5878 markings/sec, 560 secs
lola: 3295180 markings, 3295179 edges, 5923 markings/sec, 565 secs
lola: 3324352 markings, 3324352 edges, 5834 markings/sec, 570 secs
lola: 3353111 markings, 3353110 edges, 5752 markings/sec, 575 secs
lola: 3382504 markings, 3382503 edges, 5879 markings/sec, 580 secs
lola: 3402480 markings, 3402479 edges, 3995 markings/sec, 585 secs
lola: 3402703 markings, 3402702 edges, 45 markings/sec, 590 secs
lola: 3405024 markings, 3405024 edges, 464 markings/sec, 595 secs
lola: 3420485 markings, 3420485 edges, 3092 markings/sec, 600 secs
lola: 3445720 markings, 3445719 edges, 5047 markings/sec, 605 secs
lola: 3480983 markings, 3480982 edges, 7053 markings/sec, 610 secs
lola: 3514236 markings, 3514236 edges, 6651 markings/sec, 615 secs
lola: 3547935 markings, 3547935 edges, 6740 markings/sec, 620 secs
lola: 3585088 markings, 3585087 edges, 7431 markings/sec, 625 secs
lola: 3603207 markings, 3603206 edges, 3624 markings/sec, 630 secs
lola: 3603434 markings, 3603433 edges, 45 markings/sec, 635 secs
lola: 3605937 markings, 3605936 edges, 501 markings/sec, 640 secs
lola: 3626279 markings, 3626279 edges, 4068 markings/sec, 645 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no no no unknown no unknown unknown no unknown yes no yes yes unknown
lola: time limit reached - aborting
lola:
preliminary result: unknown yes no no no unknown no unknown unknown no unknown yes no yes yes unknown
lola:
preliminary result: unknown yes no no no unknown no unknown unknown no unknown yes no yes yes unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no no no unknown no unknown unknown no unknown yes no yes yes unknown
lola: memory consumption: 2662856 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 2662856 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 2663644 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown yes no no no unknown no unknown unknown no unknown yes no yes yes unknown
lola:
preliminary result: unknown yes no no no unknown no unknown unknown no unknown yes no yes yes unknown
lola: memory consumption: 95904 KB
lola: time consumption: 3570 seconds

BK_STOP 1528186482959

--------------------
content from 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-2000"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="lola"
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-2000.tgz
mv AirplaneLD-PT-2000 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is AirplaneLD-PT-2000, 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 r184-qhx2-152732127300035"
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 ;