Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (65.7 KB)

1
(V90_zz58 = 4) and (OK != ((not (V90_zz58 = 4)) or ((V90_zz58 = 5) or (V90_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)
2
(not (V90_zz58 = 4)) and (OK != ((not (V90_zz58 = 4)) or ((V90_zz58 = 5) or (V90_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)
3
(V90_zz58 = 5) and (OK != ((V90_zz58 = 4) or ((not (V90_zz58 = 5)) or (V90_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)
4
(V90_zz58 = 6) and (OK != ((V90_zz58 = 4) or ((V90_zz58 = 5) or (not (V90_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)
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
(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)
78
(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)
79
(not (V133_zz101 >= 3)) and (V96_zz64 != ((not ((not (V133_zz101 >= 3)) and (V133_zz101 <= 6))) and ((V95_zz63 >= 3) and (V95_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)
80
(not (V133_zz101 <= 6)) and (V96_zz64 != ((not ((V133_zz101 >= 3) and (not (V133_zz101 <= 6)))) and ((V95_zz63 >= 3) and (V95_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)
81
(not (V95_zz63 >= 3)) and (V96_zz64 != ((not ((V133_zz101 >= 3) and (V133_zz101 <= 6))) and ((not (V95_zz63 >= 3)) and (V95_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)
82
(not (V95_zz63 <= 6)) and (V96_zz64 != ((not ((V133_zz101 >= 3) and (V133_zz101 <= 6))) and ((V95_zz63 >= 3) and (not (V95_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)
83
(V98_zz66 = 4) and (V97_zz65 != ((not (V98_zz66 = 4)) or ((V98_zz66 = 5) or (V98_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)
84
(not (V98_zz66 = 4)) and (V97_zz65 != ((not (V98_zz66 = 4)) or ((V98_zz66 = 5) or (V98_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)
85
(V98_zz66 = 5) and (V97_zz65 != ((V98_zz66 = 4) or ((not (V98_zz66 = 5)) or (V98_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)
86
(V98_zz66 = 6) and (V97_zz65 != ((V98_zz66 = 4) or ((V98_zz66 = 5) or (not (V98_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)
87
(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)
88
(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)
89
(not (V127_zz95 >= 3)) and (V104_zz72 != ((not ((not (V127_zz95 >= 3)) and (V127_zz95 <= 6))) and ((V103_zz71 >= 3) and (V103_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)
90
(not (V127_zz95 <= 6)) and (V104_zz72 != ((not ((V127_zz95 >= 3) and (not (V127_zz95 <= 6)))) and ((V103_zz71 >= 3) and (V103_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)
91
(not (V103_zz71 >= 3)) and (V104_zz72 != ((not ((V127_zz95 >= 3) and (V127_zz95 <= 6))) and ((not (V103_zz71 >= 3)) and (V103_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)
92
(not (V103_zz71 <= 6)) and (V104_zz72 != ((not ((V127_zz95 >= 3) and (V127_zz95 <= 6))) and ((V103_zz71 >= 3) and (not (V103_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)
93
(V106_zz74 = 4) and (V105_zz73 != ((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)
94
(not (V106_zz74 = 4)) and (V105_zz73 != ((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)
95
(V106_zz74 = 5) and (V105_zz73 != ((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)
96
(V106_zz74 = 6) and (V105_zz73 != ((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)
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)