Project

General

Profile

Download (65.7 KB) Statistics
| Branch: | Tag: | Revision:

lustrec/bench/distrib/large/ccp03/tests/ccp03.test_suite.no_mcdc @ 50d06a28

1 50d06a28 ploc 
(V106_zz74 = 4) and (OK != ((not (V106_zz74 = 4)) or ((V106_zz74 = 5) or (V106_zz74 = 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
2 
(not (V106_zz74 = 4)) and (OK != ((not (V106_zz74 = 4)) or ((V106_zz74 = 5) or (V106_zz74 = 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
3 
(V106_zz74 = 5) and (OK != ((V106_zz74 = 4) or ((not (V106_zz74 = 5)) or (V106_zz74 = 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
4 
(V106_zz74 = 6) and (OK != ((V106_zz74 = 4) or ((V106_zz74 = 5) or (not (V106_zz74 = 6))))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
5 
V264_zz232 and (V14_VRP1 != ((not V264_zz232) and V263_zz231)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
6 
(not V264_zz232) and (V14_VRP1 != ((not V264_zz232) and V263_zz231)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
7 
V263_zz231 and (V14_VRP1 != (V264_zz232 and (not V263_zz231))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
8 
(not V263_zz231) and (V14_VRP1 != (V264_zz232 and (not V263_zz231))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
9 
V266_zz234 and (V15_VRP2 != ((not V266_zz234) and V265_zz233)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
10 
(not V266_zz234) and (V15_VRP2 != ((not V266_zz234) and V265_zz233)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
11 
V265_zz233 and (V15_VRP2 != (V266_zz234 and (not V265_zz233))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
12 
(not V265_zz233) and (V15_VRP2 != (V266_zz234 and (not V265_zz233))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
13 
(not V235_zz203) and (V19_SP4 != ((not (not V235_zz203)) or V226_zz194)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
14 
V226_zz194 and (V19_SP4 != ((not V235_zz203) or (not V226_zz194))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
15 
V248_zz216 and (V21_SP6 != ((not (not V248_zz216)) or V239_zz207)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
16 
V249_zz217 and (V22_SP7 != ((not (not V249_zz217)) or V240_zz208)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
17 
(not V230_zz198) and (V25_SP3 != ((not (not V230_zz198)) or V227_zz195)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
18 
V227_zz195 and (V25_SP3 != ((not V230_zz198) or (not V227_zz195))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
19 
V246_zz214 and (V30_SP9 != ((not (not V246_zz214)) or V247_zz215)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
20 
V223_zz191 and (V31_SP10 != ((not (not V223_zz191)) or V224_zz192)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
21 
(not V225_zz193) and (V32_SP11 != ((not (not V225_zz193)) or V226_zz194)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
22 
V226_zz194 and (V32_SP11 != ((not V225_zz193) or (not V226_zz194))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
23 
V34_zz1 and ((V34_zz1 and (not V249_zz217)) != ((not V34_zz1) and (not V249_zz217))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
24 
(not V34_zz1) and ((V34_zz1 and (not V249_zz217)) != ((not V34_zz1) and (not V249_zz217))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
25 
V249_zz217 and ((V34_zz1 and (not V249_zz217)) != (V34_zz1 and (not (not V249_zz217)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
26 
(not V249_zz217) and ((V34_zz1 and (not V249_zz217)) != (V34_zz1 and (not (not V249_zz217)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
27 
V34_zz1 and ((V34_zz1 and (not V249_zz217)) != ((not V34_zz1) and (not V249_zz217))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
28 
(not V34_zz1) and ((V34_zz1 and (not V249_zz217)) != ((not V34_zz1) and (not V249_zz217))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
29 
V249_zz217 and ((V34_zz1 and (not V249_zz217)) != (V34_zz1 and (not (not V249_zz217)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
30 
(not V249_zz217) and ((V34_zz1 and (not V249_zz217)) != (V34_zz1 and (not (not V249_zz217)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
31 
V37_zz4 and ((V37_zz4 and (not V248_zz216)) != ((not V37_zz4) and (not V248_zz216))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
32 
(not V37_zz4) and ((V37_zz4 and (not V248_zz216)) != ((not V37_zz4) and (not V248_zz216))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
33 
V248_zz216 and ((V37_zz4 and (not V248_zz216)) != (V37_zz4 and (not (not V248_zz216)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
34 
(not V248_zz216) and ((V37_zz4 and (not V248_zz216)) != (V37_zz4 and (not (not V248_zz216)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
35 
V37_zz4 and ((V37_zz4 and (not V248_zz216)) != ((not V37_zz4) and (not V248_zz216))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
36 
(not V37_zz4) and ((V37_zz4 and (not V248_zz216)) != ((not V37_zz4) and (not V248_zz216))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
37 
V248_zz216 and ((V37_zz4 and (not V248_zz216)) != (V37_zz4 and (not (not V248_zz216)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
38 
(not V248_zz216) and ((V37_zz4 and (not V248_zz216)) != (V37_zz4 and (not (not V248_zz216)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
39 
V56_zz23 and (V59_zz26 != (if V57_zz24 then (not V56_zz23) else V139_zz107)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
40 
V57_zz24 and (V60_zz27 != (if (not V57_zz24) then true else V59_zz26)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
41 
V59_zz26 and (V60_zz27 != (if V57_zz24 then true else (not V59_zz26))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
42 
((if ((V203_zz171 = true) = false) then 0 else 1) <> 0) and (V63_zz30 != ((V61_zz28 = 4) and ((not ((if ((V203_zz171 = true) = false) then 0 else 1) <> 0)) and (not V57_zz24)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
43 
V63_zz30 and (V64_zz31 != ((not V63_zz30) or V57_zz24)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
44 
V57_zz24 and (V64_zz31 != (V63_zz30 or (not V57_zz24))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
45 
(not V57_zz24) and (V64_zz31 != (V63_zz30 or (not V57_zz24))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
46 
V63_zz30 and (V66_zz33 != (if (not V63_zz30) then V52_zz19 else V60_zz27)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
47 
V52_zz19 and (V66_zz33 != (if V63_zz30 then (not V52_zz19) else V60_zz27)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
48 
V60_zz27 and (V66_zz33 != (if V63_zz30 then V52_zz19 else (not V60_zz27))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
49 
(not V60_zz27) and (V66_zz33 != (if V63_zz30 then V52_zz19 else (not V60_zz27))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
50 
((if ((V209_zz177 = true) = false) then 0 else 1) <> 0) and (V69_zz36 != ((V67_zz34 = 4) and ((not ((if ((V209_zz177 = true) = false) then 0 else 1) <> 0)) and (not V64_zz31)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
51 
V69_zz36 and (V70_zz37 != ((not V69_zz36) or V64_zz31)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
52 
V64_zz31 and (V70_zz37 != (V69_zz36 or (not V64_zz31))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
53 
(not V64_zz31) and (V70_zz37 != (V69_zz36 or (not V64_zz31))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
54 
V69_zz36 and (V72_zz39 != (if (not V69_zz36) then V48_zz15 else V66_zz33)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
55 
V48_zz15 and (V72_zz39 != (if V69_zz36 then (not V48_zz15) else V66_zz33)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
56 
V66_zz33 and (V72_zz39 != (if V69_zz36 then V48_zz15 else (not V66_zz33))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
57 
(not V66_zz33) and (V72_zz39 != (if V69_zz36 then V48_zz15 else (not V66_zz33))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
58 
(V73_zz40 = 6) and (V75_zz42 != ((not (V73_zz40 = 6)) and (((if ((V209_zz177 = false) = false) then 0 else 1) <> 0) and (not V70_zz37)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
59 
(not ((if ((V209_zz177 = false) = false) then 0 else 1) <> 0)) and (V75_zz42 != ((V73_zz40 = 6) and ((not ((if ((V209_zz177 = false) = false) then 0 else 1) <> 0)) and (not V70_zz37)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
60 
V75_zz42 and (V76_zz43 != ((not V75_zz42) or V70_zz37)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
61 
V70_zz37 and (V76_zz43 != (V75_zz42 or (not V70_zz37))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
62 
(not V70_zz37) and (V76_zz43 != (V75_zz42 or (not V70_zz37))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
63 
(V78_zz45 = 5) and (V80_zz47 != ((not (V78_zz45 = 5)) and (((if ((V203_zz171 = false) = false) then 0 else 1) <> 0) and (not V76_zz43)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
64 
(not ((if ((V203_zz171 = false) = false) then 0 else 1) <> 0)) and (V80_zz47 != ((V78_zz45 = 5) and ((not ((if ((V203_zz171 = false) = false) then 0 else 1) <> 0)) and (not V76_zz43)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
65 
V80_zz47 and (V81_zz48 != ((not V80_zz47) or V76_zz43)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
66 
V76_zz43 and (V81_zz48 != (V80_zz47 or (not V76_zz43))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
67 
(not V76_zz43) and (V81_zz48 != (V80_zz47 or (not V76_zz43))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
68 
V81_zz48 and (((not V81_zz48) and (V83_zz50 = 4)) != ((not (not V81_zz48)) and (V83_zz50 = 4))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
69 
(not (V83_zz50 = 4)) and (((not V81_zz48) and (V83_zz50 = 4)) != ((not V81_zz48) and (not (V83_zz50 = 4)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
70 
V81_zz48 and (V85_zz52 != (if ((not (not V81_zz48)) and (V83_zz50 = 4)) then false else V72_zz39)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
71 
(not (V138_zz106 >= 3)) and ((not ((V138_zz106 >= 3) and (V138_zz106 <= 6))) != (not ((not (V138_zz106 >= 3)) and (V138_zz106 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
72 
(not (V138_zz106 <= 6)) and ((not ((V138_zz106 >= 3) and (V138_zz106 <= 6))) != (not ((V138_zz106 >= 3) and (not (V138_zz106 <= 6))))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
73 
(not (V138_zz106 >= 3)) and (V89_zz56 != ((not ((not (V138_zz106 >= 3)) and (V138_zz106 <= 6))) and ((V88_zz55 >= 3) and (V88_zz55 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
74 
(not (V138_zz106 <= 6)) and (V89_zz56 != ((not ((V138_zz106 >= 3) and (not (V138_zz106 <= 6)))) and ((V88_zz55 >= 3) and (V88_zz55 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
75 
(not (V88_zz55 >= 3)) and (V89_zz56 != ((not ((V138_zz106 >= 3) and (V138_zz106 <= 6))) and ((not (V88_zz55 >= 3)) and (V88_zz55 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
76 
(not (V88_zz55 <= 6)) and (V89_zz56 != ((not ((V138_zz106 >= 3) and (V138_zz106 <= 6))) and ((V88_zz55 >= 3) and (not (V88_zz55 <= 6))))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
77 
(V91_zz58 = 4) and (V90_zz57 != ((not (V91_zz58 = 4)) or ((V91_zz58 = 5) or (V91_zz58 = 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
78 
(not (V91_zz58 = 4)) and (V90_zz57 != ((not (V91_zz58 = 4)) or ((V91_zz58 = 5) or (V91_zz58 = 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
79 
(V91_zz58 = 5) and (V90_zz57 != ((V91_zz58 = 4) or ((not (V91_zz58 = 5)) or (V91_zz58 = 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
80 
(V91_zz58 = 6) and (V90_zz57 != ((V91_zz58 = 4) or ((V91_zz58 = 5) or (not (V91_zz58 = 6))))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
81 
(not (V133_zz101 >= 3)) and ((not ((V133_zz101 >= 3) and (V133_zz101 <= 6))) != (not ((not (V133_zz101 >= 3)) and (V133_zz101 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
82 
(not (V133_zz101 <= 6)) and ((not ((V133_zz101 >= 3) and (V133_zz101 <= 6))) != (not ((V133_zz101 >= 3) and (not (V133_zz101 <= 6))))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
83 
(not (V133_zz101 >= 3)) and (V97_zz64 != ((not ((not (V133_zz101 >= 3)) and (V133_zz101 <= 6))) and ((V96_zz63 >= 3) and (V96_zz63 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
84 
(not (V133_zz101 <= 6)) and (V97_zz64 != ((not ((V133_zz101 >= 3) and (not (V133_zz101 <= 6)))) and ((V96_zz63 >= 3) and (V96_zz63 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
85 
(not (V96_zz63 >= 3)) and (V97_zz64 != ((not ((V133_zz101 >= 3) and (V133_zz101 <= 6))) and ((not (V96_zz63 >= 3)) and (V96_zz63 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
86 
(not (V96_zz63 <= 6)) and (V97_zz64 != ((not ((V133_zz101 >= 3) and (V133_zz101 <= 6))) and ((V96_zz63 >= 3) and (not (V96_zz63 <= 6))))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
87 
(V99_zz66 = 4) and (V98_zz65 != ((not (V99_zz66 = 4)) or ((V99_zz66 = 5) or (V99_zz66 = 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
88 
(not (V99_zz66 = 4)) and (V98_zz65 != ((not (V99_zz66 = 4)) or ((V99_zz66 = 5) or (V99_zz66 = 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
89 
(V99_zz66 = 5) and (V98_zz65 != ((V99_zz66 = 4) or ((not (V99_zz66 = 5)) or (V99_zz66 = 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
90 
(V99_zz66 = 6) and (V98_zz65 != ((V99_zz66 = 4) or ((V99_zz66 = 5) or (not (V99_zz66 = 6))))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
91 
(not (V127_zz95 >= 3)) and ((not ((V127_zz95 >= 3) and (V127_zz95 <= 6))) != (not ((not (V127_zz95 >= 3)) and (V127_zz95 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
92 
(not (V127_zz95 <= 6)) and ((not ((V127_zz95 >= 3) and (V127_zz95 <= 6))) != (not ((V127_zz95 >= 3) and (not (V127_zz95 <= 6))))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
93 
(not (V127_zz95 >= 3)) and (V105_zz72 != ((not ((not (V127_zz95 >= 3)) and (V127_zz95 <= 6))) and ((V104_zz71 >= 3) and (V104_zz71 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
94 
(not (V127_zz95 <= 6)) and (V105_zz72 != ((not ((V127_zz95 >= 3) and (not (V127_zz95 <= 6)))) and ((V104_zz71 >= 3) and (V104_zz71 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
95 
(not (V104_zz71 >= 3)) and (V105_zz72 != ((not ((V127_zz95 >= 3) and (V127_zz95 <= 6))) and ((not (V104_zz71 >= 3)) and (V104_zz71 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
96 
(not (V104_zz71 <= 6)) and (V105_zz72 != ((not ((V127_zz95 >= 3) and (V127_zz95 <= 6))) and ((V104_zz71 >= 3) and (not (V104_zz71 <= 6))))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
97 
(not (V179_zz147 >= 3)) and (((V179_zz147 >= 3) and (V179_zz147 <= 6)) != ((not (V179_zz147 >= 3)) and (V179_zz147 <= 6))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
98 
(not (V179_zz147 <= 6)) and (((V179_zz147 >= 3) and (V179_zz147 <= 6)) != ((V179_zz147 >= 3) and (not (V179_zz147 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
99 
(not (V179_zz147 >= 3)) and (((V179_zz147 >= 3) and (V179_zz147 <= 6)) != ((not (V179_zz147 >= 3)) and (V179_zz147 <= 6))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
100 
(not (V179_zz147 <= 6)) and (((V179_zz147 >= 3) and (V179_zz147 <= 6)) != ((V179_zz147 >= 3) and (not (V179_zz147 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
101 
(not (V179_zz147 >= 3)) and (((V179_zz147 >= 3) and (V179_zz147 <= 6)) != ((not (V179_zz147 >= 3)) and (V179_zz147 <= 6))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
102 
(not (V179_zz147 <= 6)) and (((V179_zz147 >= 3) and (V179_zz147 <= 6)) != ((V179_zz147 >= 3) and (not (V179_zz147 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
103 
(not (V179_zz147 >= 3)) and (((V179_zz147 >= 3) and (V179_zz147 <= 6)) != ((not (V179_zz147 >= 3)) and (V179_zz147 <= 6))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
104 
(not (V179_zz147 <= 6)) and (((V179_zz147 >= 3) and (V179_zz147 <= 6)) != ((V179_zz147 >= 3) and (not (V179_zz147 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
105 
V114_zz82 and (V119_zz87 != (if ((V179_zz147 >= 3) and (V179_zz147 <= 6)) then (not V114_zz82) else V173_zz141)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
106 
V119_zz87 and (V122_zz90 != (if V120_zz88 then (not V119_zz87) else V173_zz141)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
107 
V125_zz93 and (V126_zz94 != ((not V125_zz93) or V120_zz88)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
108 
V120_zz88 and (V126_zz94 != (V125_zz93 or (not V120_zz88))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
109 
V125_zz93 and (V128_zz96 != (if (not V125_zz93) then true else V122_zz90)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
110 
V122_zz90 and (V128_zz96 != (if V125_zz93 then true else (not V122_zz90))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
111 
V131_zz99 and (V132_zz100 != ((not V131_zz99) or V126_zz94)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
112 
V126_zz94 and (V132_zz100 != (V131_zz99 or (not V126_zz94))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
113 
V136_zz104 and (V137_zz105 != ((not V136_zz104) or V132_zz100)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
114 
V132_zz100 and (V137_zz105 != (V136_zz104 or (not V132_zz100))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
115 
V136_zz104 and (V139_zz107 != (if (not V136_zz104) then true else V128_zz96)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
116 
V128_zz96 and (V139_zz107 != (if V136_zz104 then true else (not V128_zz96))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
117 
(not (V140_zz108 >= 3)) and (((not V137_zz105) and ((V140_zz108 >= 3) and (V140_zz108 <= 6))) != ((not V137_zz105) and ((not (V140_zz108 >= 3)) and (V140_zz108 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
118 
(not (V140_zz108 >= 3)) and (((not V137_zz105) and ((V140_zz108 >= 3) and (V140_zz108 <= 6))) != ((not V137_zz105) and ((not (V140_zz108 >= 3)) and (V140_zz108 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
119 
(V178_zz146 >= 2) and ((not ((V178_zz146 >= 2) and (V178_zz146 <= 8))) != (not ((not (V178_zz146 >= 2)) and (V178_zz146 <= 8)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
120 
(not (V178_zz146 >= 2)) and ((not ((V178_zz146 >= 2) and (V178_zz146 <= 8))) != (not ((not (V178_zz146 >= 2)) and (V178_zz146 <= 8)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
121 
(not (V178_zz146 <= 8)) and ((not ((V178_zz146 >= 2) and (V178_zz146 <= 8))) != (not ((V178_zz146 >= 2) and (not (V178_zz146 <= 8))))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
122 
(V178_zz146 >= 2) and (V148_zz116 != ((not ((not (V178_zz146 >= 2)) and (V178_zz146 <= 8))) and ((V147_zz115 >= 2) and (V147_zz115 <= 8)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
123 
(not (V178_zz146 >= 2)) and (V148_zz116 != ((not ((not (V178_zz146 >= 2)) and (V178_zz146 <= 8))) and ((V147_zz115 >= 2) and (V147_zz115 <= 8)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
124 
(not (V178_zz146 <= 8)) and (V148_zz116 != ((not ((V178_zz146 >= 2) and (not (V178_zz146 <= 8)))) and ((V147_zz115 >= 2) and (V147_zz115 <= 8)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
125 
(not (V147_zz115 >= 2)) and (V148_zz116 != ((not ((V178_zz146 >= 2) and (V178_zz146 <= 8))) and ((not (V147_zz115 >= 2)) and (V147_zz115 <= 8)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
126 
(not (V147_zz115 <= 8)) and (V148_zz116 != ((not ((V178_zz146 >= 2) and (V178_zz146 <= 8))) and ((V147_zz115 >= 2) and (not (V147_zz115 <= 8))))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
127 
(not (V150_zz118 >= 3)) and (V149_zz117 != (((not (V150_zz118 >= 3)) and (V150_zz118 <= 6)) or ((V150_zz118 = 7) or (V150_zz118 = 8)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
128 
(V150_zz118 <= 6) and (V149_zz117 != (((V150_zz118 >= 3) and (not (V150_zz118 <= 6))) or ((V150_zz118 = 7) or (V150_zz118 = 8)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
129 
(V150_zz118 = 7) and (V149_zz117 != (((V150_zz118 >= 3) and (V150_zz118 <= 6)) or ((not (V150_zz118 = 7)) or (V150_zz118 = 8)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
130 
(V150_zz118 = 8) and (V149_zz117 != (((V150_zz118 >= 3) and (V150_zz118 <= 6)) or ((V150_zz118 = 7) or (not (V150_zz118 = 8))))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
131 
(not (V188_zz156 >= 3)) and (((V188_zz156 >= 3) and (V188_zz156 <= 6)) != ((not (V188_zz156 >= 3)) and (V188_zz156 <= 6))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
132 
(not (V188_zz156 <= 6)) and (((V188_zz156 >= 3) and (V188_zz156 <= 6)) != ((V188_zz156 >= 3) and (not (V188_zz156 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
133 
(not (V188_zz156 >= 3)) and (((V188_zz156 >= 3) and (V188_zz156 <= 6)) != ((not (V188_zz156 >= 3)) and (V188_zz156 <= 6))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
134 
(not (V188_zz156 <= 6)) and (((V188_zz156 >= 3) and (V188_zz156 <= 6)) != ((V188_zz156 >= 3) and (not (V188_zz156 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
135 
(not (V188_zz156 >= 3)) and (((V188_zz156 >= 3) and (V188_zz156 <= 6)) != ((not (V188_zz156 >= 3)) and (V188_zz156 <= 6))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
136 
(not (V188_zz156 <= 6)) and (((V188_zz156 >= 3) and (V188_zz156 <= 6)) != ((V188_zz156 >= 3) and (not (V188_zz156 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
137 
(not (V188_zz156 >= 3)) and (((V188_zz156 >= 3) and (V188_zz156 <= 6)) != ((not (V188_zz156 >= 3)) and (V188_zz156 <= 6))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
138 
(not (V188_zz156 <= 6)) and (((V188_zz156 >= 3) and (V188_zz156 <= 6)) != ((V188_zz156 >= 3) and (not (V188_zz156 <= 6)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
139 
V160_zz128 and (V165_zz133 != (if ((V188_zz156 >= 3) and (V188_zz156 <= 6)) then (not V160_zz128) else V190_zz158)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
140 
(V188_zz156 >= 2) and (((V188_zz156 >= 2) and (V188_zz156 <= 8)) != ((not (V188_zz156 >= 2)) and (V188_zz156 <= 8))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
141 
(not (V188_zz156 >= 2)) and (((V188_zz156 >= 2) and (V188_zz156 <= 8)) != ((not (V188_zz156 >= 2)) and (V188_zz156 <= 8))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
142 
(not (V188_zz156 <= 8)) and (((V188_zz156 >= 2) and (V188_zz156 <= 8)) != ((V188_zz156 >= 2) and (not (V188_zz156 <= 8)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
143 
(V188_zz156 >= 2) and (((V188_zz156 >= 2) and (V188_zz156 <= 8)) != ((not (V188_zz156 >= 2)) and (V188_zz156 <= 8))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
144 
(not (V188_zz156 >= 2)) and (((V188_zz156 >= 2) and (V188_zz156 <= 8)) != ((not (V188_zz156 >= 2)) and (V188_zz156 <= 8))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
145 
(not (V188_zz156 <= 8)) and (((V188_zz156 >= 2) and (V188_zz156 <= 8)) != ((V188_zz156 >= 2) and (not (V188_zz156 <= 8)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
146 
(V188_zz156 >= 2) and (((V188_zz156 >= 2) and (V188_zz156 <= 8)) != ((not (V188_zz156 >= 2)) and (V188_zz156 <= 8))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
147 
(not (V188_zz156 >= 2)) and (((V188_zz156 >= 2) and (V188_zz156 <= 8)) != ((not (V188_zz156 >= 2)) and (V188_zz156 <= 8))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
148 
(not (V188_zz156 <= 8)) and (((V188_zz156 >= 2) and (V188_zz156 <= 8)) != ((V188_zz156 >= 2) and (not (V188_zz156 <= 8)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
149 
(V188_zz156 >= 2) and (((V188_zz156 >= 2) and (V188_zz156 <= 8)) != ((not (V188_zz156 >= 2)) and (V188_zz156 <= 8))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
150 
(not (V188_zz156 >= 2)) and (((V188_zz156 >= 2) and (V188_zz156 <= 8)) != ((not (V188_zz156 >= 2)) and (V188_zz156 <= 8))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
151 
(not (V188_zz156 <= 8)) and (((V188_zz156 >= 2) and (V188_zz156 <= 8)) != ((V188_zz156 >= 2) and (not (V188_zz156 <= 8)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
152 
(not (V188_zz156 <= 8)) and (V170_zz138 != (if ((V188_zz156 >= 2) and (not (V188_zz156 <= 8))) then V165_zz133 else V190_zz158)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
153 
V165_zz133 and (V170_zz138 != (if ((V188_zz156 >= 2) and (V188_zz156 <= 8)) then (not V165_zz133) else V190_zz158)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
154 
(not (V188_zz156 <= 8)) and (V171_zz139 != (((V188_zz156 >= 2) and (not (V188_zz156 <= 8))) and (not onOff))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
155 
V170_zz138 and (V173_zz141 != (if V171_zz139 then (not V170_zz138) else V190_zz158)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
156 
V176_zz144 and (V177_zz145 != ((not V176_zz144) or V171_zz139)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
157 
V171_zz139 and (V177_zz145 != (V176_zz144 or (not V171_zz139))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
158 
(not (V179_zz147 <= 8)) and (((not V177_zz145) and ((V179_zz147 >= 2) and (V179_zz147 <= 8))) != ((not V177_zz145) and ((V179_zz147 >= 2) and (not (V179_zz147 <= 8))))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
159 
(not (V179_zz147 <= 8)) and (((not V177_zz145) and ((V179_zz147 >= 2) and (V179_zz147 <= 8))) != ((not V177_zz145) and ((V179_zz147 >= 2) and (not (V179_zz147 <= 8))))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
160 
(not (V179_zz147 <= 8)) and (V183_zz151 != (if ((not V177_zz145) and ((V179_zz147 >= 2) and (not (V179_zz147 <= 8)))) then V144_zz112 else V173_zz141)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
161 
(V185_zz153 = 1) and (V184_zz152 != ((not (V185_zz153 = 1)) or ((V185_zz153 >= 2) and (V185_zz153 <= 8)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
162 
(not (V185_zz153 = 1)) and (V184_zz152 != ((not (V185_zz153 = 1)) or ((V185_zz153 >= 2) and (V185_zz153 <= 8)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
163 
(V185_zz153 >= 2) and (V184_zz152 != ((V185_zz153 = 1) or ((not (V185_zz153 >= 2)) and (V185_zz153 <= 8)))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
164 
(not (V185_zz153 <= 8)) and (V184_zz152 != ((V185_zz153 = 1) or ((V185_zz153 >= 2) and (not (V185_zz153 <= 8))))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
165 
V183_zz151 and (V194_zz162 != (if V187_zz155 then V190_zz158 else (not V183_zz151))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
166 
V221_zz189 and (V223_zz191 != ((not V221_zz189) and V220_zz188)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
167 
V229_zz197 and (V230_zz198 != ((not V229_zz197) or V228_zz196)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
168 
V228_zz196 and (V230_zz198 != (V229_zz197 or (not V228_zz196))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
169 
V241_zz209 and (V233_zz201 != (((not V241_zz209) or V248_zz216) or V249_zz217)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
170 
(not V241_zz209) and (V233_zz201 != (((not V241_zz209) or V248_zz216) or V249_zz217)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
171 
V248_zz216 and (V233_zz201 != ((V241_zz209 or (not V248_zz216)) or V249_zz217)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
172 
V249_zz217 and (V233_zz201 != ((V241_zz209 or V248_zz216) or (not V249_zz217))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
173 
V233_zz201 and (V235_zz203 != ((not V233_zz201) or V234_zz202)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
174 
V234_zz202 and (V235_zz203 != (V233_zz201 or (not V234_zz202))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
175 
V245_zz213 and (V246_zz214 != ((not V245_zz213) and V225_zz193)) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)
176 
V267_zz235 and (V269_zz237 != (V268_zz236 and (not V267_zz235))) and (onOff or not onOff) and (decelSet or not decelSet) and (accelResume or not accelResume) and (cancel or not cancel) and (brakePedal or not brakePedal) and (carGear > 0 or carGear <= 0) and (carSpeed > 0 or carSpeed <= 0) and (validInputs or not validInputs) and (OK or not OK)