| Variable | Enabling Range | State Transformation | Remarks |
|---|---|---|---|
| p10.schwarz(a68.schwarz) | in {0,1} | not modified | Action occurs at full range of values! |
| p11.schwarz(b145.schwarz) | in {0,1} | not modified | Action occurs at full range of values! |
| p12.schwarz(a127.schwarz) | in {0,1} | not modified | Action occurs at full range of values! |
| p13.schwarz(a169.schwarz) | in {0,1} | not modified | Action occurs at full range of values! |
| p14.schwarz(a95.schwarz) | = 0 | not modified | |
| p15.schwarz(a100.schwarz) | = 0 | not modified | |
| p16.schwarz(a132.schwarz) | = 0 | not modified | |
| p17.schwarz(a105.schwarz) | = 0 | not modified | |
| p18.schwarz(a137.schwarz) | = 0 | not modified | |
| p19.schwarz(a84.schwarz) | = 0 | not modified | |
| p20.schwarz(a110.schwarz) | = 0 | not modified | |
| p21.schwarz(a142.schwarz) | = 0 | not modified | |
| p22.schwarz(a89.schwarz) | = 0 | not modified | |
| p23.schwarz(a115.schwarz) | = 0 | not modified | |
| p24.schwarz(a147.schwarz) | = 1 | v'=v-1 | |
| p25.schwarz(b72.schwarz) | = 0 | not modified | |
| p26.schwarz(b74.schwarz) | = 0 | v'=v+1 | |
| p27.schwarz(b76.schwarz) | = 0 | not modified | |
| p28.schwarz(b78.schwarz) | = 0 | not modified | |
| p29.schwarz(b91.schwarz) | = 0 | not modified | |
| p30.schwarz(a108.schwarz) | = 0 | not modified | |
| p31.schwarz(a96.schwarz) | = 0 | not modified | |
| p32.schwarz(a113.schwarz) | = 0 | not modified | |
| p33.schwarz(a146.schwarz) | = 1 | not modified | |
| p34.schwarz(a101.schwarz) | = 0 | not modified |