Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_logic_test / logic_test.smt2 @ 6c3ea955

History | View | Annotate | Download (29.8 KB)

1
; logic_test
2
(declare-var logic_test.In1_1_1 Bool)
3
(declare-var logic_test.In4_1_1 Real)
4
(declare-var logic_test.In5_1_1 Int)
5
(declare-var logic_test.In6_1_1 Real)
6
(declare-var logic_test.In6_1_2 Real)
7
(declare-var logic_test.In7_1_1 Int)
8
(declare-var logic_test.In7_1_2 Int)
9
(declare-var logic_test.In7_1_3 Int)
10
(declare-var logic_test.In7_1_4 Int)
11
(declare-var logic_test.In7_1_5 Int)
12
(declare-var logic_test.In7_1_6 Int)
13
(declare-var logic_test.In8_1_1 Real)
14
(declare-var logic_test.In8_1_2 Real)
15
(declare-var logic_test.In9_1_1 Real)
16
(declare-var logic_test.In9_1_2 Real)
17
(declare-var logic_test.In10_1_1 Int)
18
(declare-var logic_test.In10_1_2 Int)
19
(declare-var logic_test.In10_1_3 Int)
20
(declare-var logic_test.In10_1_4 Int)
21
(declare-var logic_test.In10_1_5 Int)
22
(declare-var logic_test.In10_1_6 Int)
23
(declare-var logic_test.In11_1_1 Int)
24
(declare-var logic_test.In11_1_2 Int)
25
(declare-var logic_test.In11_1_3 Int)
26
(declare-var logic_test.In11_1_4 Int)
27
(declare-var logic_test.In11_1_5 Int)
28
(declare-var logic_test.In11_1_6 Int)
29
(declare-var logic_test.In12_1_1 Real)
30
(declare-var logic_test.In12_1_2 Real)
31
(declare-var logic_test.In13_1_1 Real)
32
(declare-var logic_test.In13_1_2 Real)
33
(declare-var logic_test.In14_1_1 Int)
34
(declare-var logic_test.In14_1_2 Int)
35
(declare-var logic_test.In14_1_3 Int)
36
(declare-var logic_test.In14_1_4 Int)
37
(declare-var logic_test.In14_1_5 Int)
38
(declare-var logic_test.In14_1_6 Int)
39
(declare-var logic_test.In15_1_1 Int)
40
(declare-var logic_test.In15_1_2 Int)
41
(declare-var logic_test.In15_1_3 Int)
42
(declare-var logic_test.In15_1_4 Int)
43
(declare-var logic_test.In15_1_5 Int)
44
(declare-var logic_test.In15_1_6 Int)
45
(declare-var logic_test.In16_1_1 Real)
46
(declare-var logic_test.In16_1_2 Real)
47
(declare-var logic_test.In17_1_1 Real)
48
(declare-var logic_test.In17_1_2 Real)
49
(declare-var logic_test.In18_1_1 Int)
50
(declare-var logic_test.In18_1_2 Int)
51
(declare-var logic_test.In18_1_3 Int)
52
(declare-var logic_test.In18_1_4 Int)
53
(declare-var logic_test.In18_1_5 Int)
54
(declare-var logic_test.In18_1_6 Int)
55
(declare-var logic_test.In19_1_1 Int)
56
(declare-var logic_test.In19_1_2 Int)
57
(declare-var logic_test.In19_1_3 Int)
58
(declare-var logic_test.In19_1_4 Int)
59
(declare-var logic_test.In19_1_5 Int)
60
(declare-var logic_test.In19_1_6 Int)
61
(declare-var logic_test.In20_1_1 Real)
62
(declare-var logic_test.In20_1_2 Real)
63
(declare-var logic_test.In21_1_1 Real)
64
(declare-var logic_test.In21_1_2 Real)
65
(declare-var logic_test.In22_1_1 Int)
66
(declare-var logic_test.In22_1_2 Int)
67
(declare-var logic_test.In22_1_3 Int)
68
(declare-var logic_test.In22_1_4 Int)
69
(declare-var logic_test.In22_1_5 Int)
70
(declare-var logic_test.In22_1_6 Int)
71
(declare-var logic_test.In23_1_1 Int)
72
(declare-var logic_test.In23_1_2 Int)
73
(declare-var logic_test.In23_1_3 Int)
74
(declare-var logic_test.In23_1_4 Int)
75
(declare-var logic_test.In23_1_5 Int)
76
(declare-var logic_test.In23_1_6 Int)
77
(declare-var logic_test.In24_1_1 Real)
78
(declare-var logic_test.In24_1_2 Real)
79
(declare-var logic_test.In25_1_1 Real)
80
(declare-var logic_test.In25_1_2 Real)
81
(declare-var logic_test.In26_1_1 Int)
82
(declare-var logic_test.In26_1_2 Int)
83
(declare-var logic_test.In26_1_3 Int)
84
(declare-var logic_test.In26_1_4 Int)
85
(declare-var logic_test.In26_1_5 Int)
86
(declare-var logic_test.In26_1_6 Int)
87
(declare-var logic_test.In27_1_1 Int)
88
(declare-var logic_test.In27_1_2 Int)
89
(declare-var logic_test.In27_1_3 Int)
90
(declare-var logic_test.In27_1_4 Int)
91
(declare-var logic_test.In27_1_5 Int)
92
(declare-var logic_test.In27_1_6 Int)
93
(declare-var logic_test.In2_1_1 Bool)
94
(declare-var logic_test.In2_1_2 Bool)
95
(declare-var logic_test.In3_1_1 Bool)
96
(declare-var logic_test.In3_1_2 Bool)
97
(declare-var logic_test.In3_1_3 Bool)
98
(declare-var logic_test.In3_1_4 Bool)
99
(declare-var logic_test.Out1_1_1 Bool)
100
(declare-var logic_test.Out7_2_1 Bool)
101
(declare-var logic_test.Out8_3_1 Bool)
102
(declare-var logic_test.Out9_4_1 Bool)
103
(declare-var logic_test.Out9_4_2 Bool)
104
(declare-var logic_test.Out10_5_1 Bool)
105
(declare-var logic_test.Out10_5_2 Bool)
106
(declare-var logic_test.Out10_5_3 Bool)
107
(declare-var logic_test.Out10_5_4 Bool)
108
(declare-var logic_test.Out10_5_5 Bool)
109
(declare-var logic_test.Out10_5_6 Bool)
110
(declare-var logic_test.Out11_6_1 Bool)
111
(declare-var logic_test.Out11_6_2 Bool)
112
(declare-var logic_test.Out12_7_1 Bool)
113
(declare-var logic_test.Out12_7_2 Bool)
114
(declare-var logic_test.Out12_7_3 Bool)
115
(declare-var logic_test.Out12_7_4 Bool)
116
(declare-var logic_test.Out12_7_5 Bool)
117
(declare-var logic_test.Out12_7_6 Bool)
118
(declare-var logic_test.Out13_8_1 Bool)
119
(declare-var logic_test.Out13_8_2 Bool)
120
(declare-var logic_test.Out14_9_1 Bool)
121
(declare-var logic_test.Out14_9_2 Bool)
122
(declare-var logic_test.Out14_9_3 Bool)
123
(declare-var logic_test.Out14_9_4 Bool)
124
(declare-var logic_test.Out14_9_5 Bool)
125
(declare-var logic_test.Out14_9_6 Bool)
126
(declare-var logic_test.Out15_10_1 Bool)
127
(declare-var logic_test.Out15_10_2 Bool)
128
(declare-var logic_test.Out16_11_1 Bool)
129
(declare-var logic_test.Out16_11_2 Bool)
130
(declare-var logic_test.Out16_11_3 Bool)
131
(declare-var logic_test.Out16_11_4 Bool)
132
(declare-var logic_test.Out16_11_5 Bool)
133
(declare-var logic_test.Out16_11_6 Bool)
134
(declare-var logic_test.Out17_12_1 Bool)
135
(declare-var logic_test.Out17_12_2 Bool)
136
(declare-var logic_test.Out18_13_1 Bool)
137
(declare-var logic_test.Out18_13_2 Bool)
138
(declare-var logic_test.Out18_13_3 Bool)
139
(declare-var logic_test.Out18_13_4 Bool)
140
(declare-var logic_test.Out18_13_5 Bool)
141
(declare-var logic_test.Out18_13_6 Bool)
142
(declare-var logic_test.Out19_14_1 Bool)
143
(declare-var logic_test.Out19_14_2 Bool)
144
(declare-var logic_test.Out20_15_1 Bool)
145
(declare-var logic_test.Out20_15_2 Bool)
146
(declare-var logic_test.Out20_15_3 Bool)
147
(declare-var logic_test.Out20_15_4 Bool)
148
(declare-var logic_test.Out20_15_5 Bool)
149
(declare-var logic_test.Out20_15_6 Bool)
150
(declare-var logic_test.Out2_16_1 Bool)
151
(declare-var logic_test.Out2_16_2 Bool)
152
(declare-var logic_test.Out3_17_1 Bool)
153
(declare-var logic_test.Out3_17_2 Bool)
154
(declare-var logic_test.Out4_18_1 Bool)
155
(declare-var logic_test.Out4_18_2 Bool)
156
(declare-var logic_test.Out4_18_3 Bool)
157
(declare-var logic_test.Out4_18_4 Bool)
158
(declare-var logic_test.Out5_19_1 Bool)
159
(declare-var logic_test.Out5_19_2 Bool)
160
(declare-var logic_test.Out6_20_1 Bool)
161
(declare-var logic_test.Out6_20_2 Bool)
162
(declare-var logic_test.Out6_20_3 Bool)
163
(declare-var logic_test.Out6_20_4 Bool)
164
(declare-var logic_test.Out21_21_1 Bool)
165
(declare-var logic_test.Out21_21_2 Bool)
166
(declare-var logic_test.Out21_21_3 Bool)
167
(declare-var logic_test.Out21_21_4 Bool)
168
(declare-var logic_test.ni_0._arrow._first_c Bool)
169
(declare-var logic_test.ni_0._arrow._first_m Bool)
170
(declare-var logic_test.ni_0._arrow._first_x Bool)
171
(declare-var logic_test.LogicalOperator10_1_1 Bool)
172
(declare-var logic_test.LogicalOperator10_1_2 Bool)
173
(declare-var logic_test.LogicalOperator11_1_1 Bool)
174
(declare-var logic_test.LogicalOperator11_1_2 Bool)
175
(declare-var logic_test.LogicalOperator11_1_3 Bool)
176
(declare-var logic_test.LogicalOperator11_1_4 Bool)
177
(declare-var logic_test.LogicalOperator11_1_5 Bool)
178
(declare-var logic_test.LogicalOperator11_1_6 Bool)
179
(declare-var logic_test.LogicalOperator12_1_1 Bool)
180
(declare-var logic_test.LogicalOperator12_1_2 Bool)
181
(declare-var logic_test.LogicalOperator13_1_1 Bool)
182
(declare-var logic_test.LogicalOperator13_1_2 Bool)
183
(declare-var logic_test.LogicalOperator13_1_3 Bool)
184
(declare-var logic_test.LogicalOperator13_1_4 Bool)
185
(declare-var logic_test.LogicalOperator13_1_5 Bool)
186
(declare-var logic_test.LogicalOperator13_1_6 Bool)
187
(declare-var logic_test.LogicalOperator14_1_1 Bool)
188
(declare-var logic_test.LogicalOperator14_1_2 Bool)
189
(declare-var logic_test.LogicalOperator15_1_1 Bool)
190
(declare-var logic_test.LogicalOperator15_1_2 Bool)
191
(declare-var logic_test.LogicalOperator15_1_3 Bool)
192
(declare-var logic_test.LogicalOperator15_1_4 Bool)
193
(declare-var logic_test.LogicalOperator15_1_5 Bool)
194
(declare-var logic_test.LogicalOperator15_1_6 Bool)
195
(declare-var logic_test.LogicalOperator16_1_1 Bool)
196
(declare-var logic_test.LogicalOperator16_1_2 Bool)
197
(declare-var logic_test.LogicalOperator17_1_1 Bool)
198
(declare-var logic_test.LogicalOperator17_1_2 Bool)
199
(declare-var logic_test.LogicalOperator17_1_3 Bool)
200
(declare-var logic_test.LogicalOperator17_1_4 Bool)
201
(declare-var logic_test.LogicalOperator17_1_5 Bool)
202
(declare-var logic_test.LogicalOperator17_1_6 Bool)
203
(declare-var logic_test.LogicalOperator18_1_1 Bool)
204
(declare-var logic_test.LogicalOperator18_1_2 Bool)
205
(declare-var logic_test.LogicalOperator19_1_1 Bool)
206
(declare-var logic_test.LogicalOperator19_1_2 Bool)
207
(declare-var logic_test.LogicalOperator19_1_3 Bool)
208
(declare-var logic_test.LogicalOperator19_1_4 Bool)
209
(declare-var logic_test.LogicalOperator19_1_5 Bool)
210
(declare-var logic_test.LogicalOperator19_1_6 Bool)
211
(declare-var logic_test.LogicalOperator1_1_1 Bool)
212
(declare-var logic_test.LogicalOperator1_1_2 Bool)
213
(declare-var logic_test.LogicalOperator20_1_1 Bool)
214
(declare-var logic_test.LogicalOperator20_1_2 Bool)
215
(declare-var logic_test.LogicalOperator20_1_3 Bool)
216
(declare-var logic_test.LogicalOperator20_1_4 Bool)
217
(declare-var logic_test.LogicalOperator2_1_1 Bool)
218
(declare-var logic_test.LogicalOperator2_1_2 Bool)
219
(declare-var logic_test.LogicalOperator3_1_1 Bool)
220
(declare-var logic_test.LogicalOperator3_1_2 Bool)
221
(declare-var logic_test.LogicalOperator3_1_3 Bool)
222
(declare-var logic_test.LogicalOperator3_1_4 Bool)
223
(declare-var logic_test.LogicalOperator4_1_1 Bool)
224
(declare-var logic_test.LogicalOperator4_1_2 Bool)
225
(declare-var logic_test.LogicalOperator5_1_1 Bool)
226
(declare-var logic_test.LogicalOperator5_1_2 Bool)
227
(declare-var logic_test.LogicalOperator5_1_3 Bool)
228
(declare-var logic_test.LogicalOperator5_1_4 Bool)
229
(declare-var logic_test.LogicalOperator6_1_1 Bool)
230
(declare-var logic_test.LogicalOperator7_1_1 Bool)
231
(declare-var logic_test.LogicalOperator8_1_1 Bool)
232
(declare-var logic_test.LogicalOperator8_1_2 Bool)
233
(declare-var logic_test.LogicalOperator9_1_1 Bool)
234
(declare-var logic_test.LogicalOperator9_1_2 Bool)
235
(declare-var logic_test.LogicalOperator9_1_3 Bool)
236
(declare-var logic_test.LogicalOperator9_1_4 Bool)
237
(declare-var logic_test.LogicalOperator9_1_5 Bool)
238
(declare-var logic_test.LogicalOperator9_1_6 Bool)
239
(declare-var logic_test.LogicalOperator_1_1 Bool)
240
(declare-var logic_test.__logic_test_1 Bool)
241
(declare-var logic_test.i_virtual_local Real)
242
(declare-rel logic_test_reset (Bool Bool))
243
(declare-rel logic_test_step (Bool Real Int Real Real Int Int Int Int Int Int Real Real Real Real Int Int Int Int Int Int Int Int Int Int Int Int Real Real Real Real Int Int Int Int Int Int Int Int Int Int Int Int Real Real Real Real Int Int Int Int Int Int Int Int Int Int Int Int Real Real Real Real Int Int Int Int Int Int Int Int Int Int Int Int Real Real Real Real Int Int Int Int Int Int Int Int Int Int Int Int Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool))
244

    
245
(rule (=> 
246
  (and 
247
       
248
       (= logic_test.ni_0._arrow._first_m true)
249
  )
250
  (logic_test_reset logic_test.ni_0._arrow._first_c
251
                    logic_test.ni_0._arrow._first_m)
252
))
253

    
254
(rule (=> 
255
  (and (= logic_test.ni_0._arrow._first_m logic_test.ni_0._arrow._first_c)
256
       (and (= logic_test.__logic_test_1 (ite logic_test.ni_0._arrow._first_m true false))
257
            (= logic_test.ni_0._arrow._first_x false))
258
       (and (or (not (= logic_test.__logic_test_1 true))
259
               (= logic_test.i_virtual_local 0.0))
260
            (or (not (= logic_test.__logic_test_1 false))
261
               (= logic_test.i_virtual_local 1.0))
262
       )
263
       (= logic_test.LogicalOperator8_1_2 (not (not (= logic_test.In6_1_2 0.0))))
264
       (= logic_test.Out9_4_2 logic_test.LogicalOperator8_1_2)
265
       (= logic_test.LogicalOperator8_1_1 (not (not (= logic_test.In6_1_1 0.0))))
266
       (= logic_test.Out9_4_1 logic_test.LogicalOperator8_1_1)
267
       (= logic_test.LogicalOperator7_1_1 (not (not (= logic_test.In5_1_1 0))))
268
       (= logic_test.Out8_3_1 logic_test.LogicalOperator7_1_1)
269
       (= logic_test.LogicalOperator6_1_1 (not (not (= logic_test.In4_1_1 0.0))))
270
       (= logic_test.Out7_2_1 logic_test.LogicalOperator6_1_1)
271
       (= logic_test.LogicalOperator5_1_4 (not (or (or logic_test.In3_1_4 logic_test.In3_1_4) logic_test.In3_1_4)))
272
       (= logic_test.Out6_20_4 logic_test.LogicalOperator5_1_4)
273
       (= logic_test.LogicalOperator5_1_3 (not (or (or logic_test.In3_1_3 logic_test.In3_1_3) logic_test.In3_1_3)))
274
       (= logic_test.Out6_20_3 logic_test.LogicalOperator5_1_3)
275
       (= logic_test.LogicalOperator5_1_2 (not (or (or logic_test.In3_1_2 logic_test.In3_1_2) logic_test.In3_1_2)))
276
       (= logic_test.Out6_20_2 logic_test.LogicalOperator5_1_2)
277
       (= logic_test.LogicalOperator5_1_1 (not (or (or logic_test.In3_1_1 logic_test.In3_1_1) logic_test.In3_1_1)))
278
       (= logic_test.Out6_20_1 logic_test.LogicalOperator5_1_1)
279
       (= logic_test.LogicalOperator4_1_2 (not (and (and logic_test.In2_1_2 logic_test.In2_1_2) logic_test.In2_1_2)))
280
       (= logic_test.Out5_19_2 logic_test.LogicalOperator4_1_2)
281
       (= logic_test.LogicalOperator4_1_1 (not (and (and logic_test.In2_1_1 logic_test.In2_1_1) logic_test.In2_1_1)))
282
       (= logic_test.Out5_19_1 logic_test.LogicalOperator4_1_1)
283
       (= logic_test.LogicalOperator3_1_4 ((logic_test.In3_1_4 xor logic_test.In3_1_4) xor logic_test.In3_1_4))
284
       (= logic_test.Out4_18_4 logic_test.LogicalOperator3_1_4)
285
       (= logic_test.LogicalOperator3_1_3 ((logic_test.In3_1_3 xor logic_test.In3_1_3) xor logic_test.In3_1_3))
286
       (= logic_test.Out4_18_3 logic_test.LogicalOperator3_1_3)
287
       (= logic_test.LogicalOperator3_1_2 ((logic_test.In3_1_2 xor logic_test.In3_1_2) xor logic_test.In3_1_2))
288
       (= logic_test.Out4_18_2 logic_test.LogicalOperator3_1_2)
289
       (= logic_test.LogicalOperator3_1_1 ((logic_test.In3_1_1 xor logic_test.In3_1_1) xor logic_test.In3_1_1))
290
       (= logic_test.Out4_18_1 logic_test.LogicalOperator3_1_1)
291
       (= logic_test.LogicalOperator2_1_2 (or (or logic_test.In2_1_2 logic_test.In2_1_2) logic_test.In2_1_2))
292
       (= logic_test.Out3_17_2 logic_test.LogicalOperator2_1_2)
293
       (= logic_test.LogicalOperator2_1_1 (or (or logic_test.In2_1_1 logic_test.In2_1_1) logic_test.In2_1_1))
294
       (= logic_test.Out3_17_1 logic_test.LogicalOperator2_1_1)
295
       (= logic_test.LogicalOperator1_1_2 (and (and logic_test.In2_1_2 logic_test.In2_1_2) logic_test.In2_1_2))
296
       (= logic_test.Out2_16_2 logic_test.LogicalOperator1_1_2)
297
       (= logic_test.LogicalOperator1_1_1 (and (and logic_test.In2_1_1 logic_test.In2_1_1) logic_test.In2_1_1))
298
       (= logic_test.Out2_16_1 logic_test.LogicalOperator1_1_1)
299
       (= logic_test.LogicalOperator20_1_4 (not ((logic_test.In3_1_4 xor logic_test.In3_1_4) xor logic_test.In3_1_4)))
300
       (= logic_test.Out21_21_4 logic_test.LogicalOperator20_1_4)
301
       (= logic_test.LogicalOperator20_1_3 (not ((logic_test.In3_1_3 xor logic_test.In3_1_3) xor logic_test.In3_1_3)))
302
       (= logic_test.Out21_21_3 logic_test.LogicalOperator20_1_3)
303
       (= logic_test.LogicalOperator20_1_2 (not ((logic_test.In3_1_2 xor logic_test.In3_1_2) xor logic_test.In3_1_2)))
304
       (= logic_test.Out21_21_2 logic_test.LogicalOperator20_1_2)
305
       (= logic_test.LogicalOperator20_1_1 (not ((logic_test.In3_1_1 xor logic_test.In3_1_1) xor logic_test.In3_1_1)))
306
       (= logic_test.Out21_21_1 logic_test.LogicalOperator20_1_1)
307
       (= logic_test.LogicalOperator19_1_6 ((not (= logic_test.In26_1_6 0)) xor (not (= logic_test.In27_1_6 0))))
308
       (= logic_test.Out20_15_6 logic_test.LogicalOperator19_1_6)
309
       (= logic_test.LogicalOperator19_1_5 ((not (= logic_test.In26_1_5 0)) xor (not (= logic_test.In27_1_5 0))))
310
       (= logic_test.Out20_15_5 logic_test.LogicalOperator19_1_5)
311
       (= logic_test.LogicalOperator19_1_4 ((not (= logic_test.In26_1_4 0)) xor (not (= logic_test.In27_1_4 0))))
312
       (= logic_test.Out20_15_4 logic_test.LogicalOperator19_1_4)
313
       (= logic_test.LogicalOperator19_1_3 ((not (= logic_test.In26_1_3 0)) xor (not (= logic_test.In27_1_3 0))))
314
       (= logic_test.Out20_15_3 logic_test.LogicalOperator19_1_3)
315
       (= logic_test.LogicalOperator19_1_2 ((not (= logic_test.In26_1_2 0)) xor (not (= logic_test.In27_1_2 0))))
316
       (= logic_test.Out20_15_2 logic_test.LogicalOperator19_1_2)
317
       (= logic_test.LogicalOperator19_1_1 ((not (= logic_test.In26_1_1 0)) xor (not (= logic_test.In27_1_1 0))))
318
       (= logic_test.Out20_15_1 logic_test.LogicalOperator19_1_1)
319
       (= logic_test.LogicalOperator_1_1 (not logic_test.In1_1_1))
320
       (= logic_test.Out1_1_1 logic_test.LogicalOperator_1_1)
321
       (= logic_test.LogicalOperator18_1_2 ((not (= logic_test.In24_1_2 0.0)) xor (not (= logic_test.In25_1_2 0.0))))
322
       (= logic_test.Out19_14_2 logic_test.LogicalOperator18_1_2)
323
       (= logic_test.LogicalOperator18_1_1 ((not (= logic_test.In24_1_1 0.0)) xor (not (= logic_test.In25_1_1 0.0))))
324
       (= logic_test.Out19_14_1 logic_test.LogicalOperator18_1_1)
325
       (= logic_test.LogicalOperator17_1_6 (not (or (not (= logic_test.In22_1_6 0)) (not (= logic_test.In23_1_6 0)))))
326
       (= logic_test.Out18_13_6 logic_test.LogicalOperator17_1_6)
327
       (= logic_test.LogicalOperator17_1_5 (not (or (not (= logic_test.In22_1_5 0)) (not (= logic_test.In23_1_5 0)))))
328
       (= logic_test.Out18_13_5 logic_test.LogicalOperator17_1_5)
329
       (= logic_test.LogicalOperator17_1_4 (not (or (not (= logic_test.In22_1_4 0)) (not (= logic_test.In23_1_4 0)))))
330
       (= logic_test.Out18_13_4 logic_test.LogicalOperator17_1_4)
331
       (= logic_test.LogicalOperator17_1_3 (not (or (not (= logic_test.In22_1_3 0)) (not (= logic_test.In23_1_3 0)))))
332
       (= logic_test.Out18_13_3 logic_test.LogicalOperator17_1_3)
333
       (= logic_test.LogicalOperator17_1_2 (not (or (not (= logic_test.In22_1_2 0)) (not (= logic_test.In23_1_2 0)))))
334
       (= logic_test.Out18_13_2 logic_test.LogicalOperator17_1_2)
335
       (= logic_test.LogicalOperator17_1_1 (not (or (not (= logic_test.In22_1_1 0)) (not (= logic_test.In23_1_1 0)))))
336
       (= logic_test.Out18_13_1 logic_test.LogicalOperator17_1_1)
337
       (= logic_test.LogicalOperator16_1_2 (not (or (not (= logic_test.In20_1_2 0.0)) (not (= logic_test.In21_1_2 0.0)))))
338
       (= logic_test.Out17_12_2 logic_test.LogicalOperator16_1_2)
339
       (= logic_test.LogicalOperator16_1_1 (not (or (not (= logic_test.In20_1_1 0.0)) (not (= logic_test.In21_1_1 0.0)))))
340
       (= logic_test.Out17_12_1 logic_test.LogicalOperator16_1_1)
341
       (= logic_test.LogicalOperator15_1_6 (not (and (not (= logic_test.In18_1_6 0)) (not (= logic_test.In19_1_6 0)))))
342
       (= logic_test.Out16_11_6 logic_test.LogicalOperator15_1_6)
343
       (= logic_test.LogicalOperator15_1_5 (not (and (not (= logic_test.In18_1_5 0)) (not (= logic_test.In19_1_5 0)))))
344
       (= logic_test.Out16_11_5 logic_test.LogicalOperator15_1_5)
345
       (= logic_test.LogicalOperator15_1_4 (not (and (not (= logic_test.In18_1_4 0)) (not (= logic_test.In19_1_4 0)))))
346
       (= logic_test.Out16_11_4 logic_test.LogicalOperator15_1_4)
347
       (= logic_test.LogicalOperator15_1_3 (not (and (not (= logic_test.In18_1_3 0)) (not (= logic_test.In19_1_3 0)))))
348
       (= logic_test.Out16_11_3 logic_test.LogicalOperator15_1_3)
349
       (= logic_test.LogicalOperator15_1_2 (not (and (not (= logic_test.In18_1_2 0)) (not (= logic_test.In19_1_2 0)))))
350
       (= logic_test.Out16_11_2 logic_test.LogicalOperator15_1_2)
351
       (= logic_test.LogicalOperator15_1_1 (not (and (not (= logic_test.In18_1_1 0)) (not (= logic_test.In19_1_1 0)))))
352
       (= logic_test.Out16_11_1 logic_test.LogicalOperator15_1_1)
353
       (= logic_test.LogicalOperator14_1_2 (not (and (not (= logic_test.In16_1_2 0.0)) (not (= logic_test.In17_1_2 0.0)))))
354
       (= logic_test.Out15_10_2 logic_test.LogicalOperator14_1_2)
355
       (= logic_test.LogicalOperator14_1_1 (not (and (not (= logic_test.In16_1_1 0.0)) (not (= logic_test.In17_1_1 0.0)))))
356
       (= logic_test.Out15_10_1 logic_test.LogicalOperator14_1_1)
357
       (= logic_test.LogicalOperator13_1_6 (or (not (= logic_test.In14_1_6 0)) (not (= logic_test.In15_1_6 0))))
358
       (= logic_test.Out14_9_6 logic_test.LogicalOperator13_1_6)
359
       (= logic_test.LogicalOperator13_1_5 (or (not (= logic_test.In14_1_5 0)) (not (= logic_test.In15_1_5 0))))
360
       (= logic_test.Out14_9_5 logic_test.LogicalOperator13_1_5)
361
       (= logic_test.LogicalOperator13_1_4 (or (not (= logic_test.In14_1_4 0)) (not (= logic_test.In15_1_4 0))))
362
       (= logic_test.Out14_9_4 logic_test.LogicalOperator13_1_4)
363
       (= logic_test.LogicalOperator13_1_3 (or (not (= logic_test.In14_1_3 0)) (not (= logic_test.In15_1_3 0))))
364
       (= logic_test.Out14_9_3 logic_test.LogicalOperator13_1_3)
365
       (= logic_test.LogicalOperator13_1_2 (or (not (= logic_test.In14_1_2 0)) (not (= logic_test.In15_1_2 0))))
366
       (= logic_test.Out14_9_2 logic_test.LogicalOperator13_1_2)
367
       (= logic_test.LogicalOperator13_1_1 (or (not (= logic_test.In14_1_1 0)) (not (= logic_test.In15_1_1 0))))
368
       (= logic_test.Out14_9_1 logic_test.LogicalOperator13_1_1)
369
       (= logic_test.LogicalOperator12_1_2 (or (not (= logic_test.In12_1_2 0.0)) (not (= logic_test.In13_1_2 0.0))))
370
       (= logic_test.Out13_8_2 logic_test.LogicalOperator12_1_2)
371
       (= logic_test.LogicalOperator12_1_1 (or (not (= logic_test.In12_1_1 0.0)) (not (= logic_test.In13_1_1 0.0))))
372
       (= logic_test.Out13_8_1 logic_test.LogicalOperator12_1_1)
373
       (= logic_test.LogicalOperator11_1_6 (and (not (= logic_test.In10_1_6 0)) (not (= logic_test.In11_1_6 0))))
374
       (= logic_test.Out12_7_6 logic_test.LogicalOperator11_1_6)
375
       (= logic_test.LogicalOperator11_1_5 (and (not (= logic_test.In10_1_5 0)) (not (= logic_test.In11_1_5 0))))
376
       (= logic_test.Out12_7_5 logic_test.LogicalOperator11_1_5)
377
       (= logic_test.LogicalOperator11_1_4 (and (not (= logic_test.In10_1_4 0)) (not (= logic_test.In11_1_4 0))))
378
       (= logic_test.Out12_7_4 logic_test.LogicalOperator11_1_4)
379
       (= logic_test.LogicalOperator11_1_3 (and (not (= logic_test.In10_1_3 0)) (not (= logic_test.In11_1_3 0))))
380
       (= logic_test.Out12_7_3 logic_test.LogicalOperator11_1_3)
381
       (= logic_test.LogicalOperator11_1_2 (and (not (= logic_test.In10_1_2 0)) (not (= logic_test.In11_1_2 0))))
382
       (= logic_test.Out12_7_2 logic_test.LogicalOperator11_1_2)
383
       (= logic_test.LogicalOperator11_1_1 (and (not (= logic_test.In10_1_1 0)) (not (= logic_test.In11_1_1 0))))
384
       (= logic_test.Out12_7_1 logic_test.LogicalOperator11_1_1)
385
       (= logic_test.LogicalOperator10_1_2 (and (not (= logic_test.In8_1_2 0.0)) (not (= logic_test.In9_1_2 0.0))))
386
       (= logic_test.Out11_6_2 logic_test.LogicalOperator10_1_2)
387
       (= logic_test.LogicalOperator10_1_1 (and (not (= logic_test.In8_1_1 0.0)) (not (= logic_test.In9_1_1 0.0))))
388
       (= logic_test.Out11_6_1 logic_test.LogicalOperator10_1_1)
389
       (= logic_test.LogicalOperator9_1_6 (not (not (= logic_test.In7_1_6 0))))
390
       (= logic_test.Out10_5_6 logic_test.LogicalOperator9_1_6)
391
       (= logic_test.LogicalOperator9_1_5 (not (not (= logic_test.In7_1_5 0))))
392
       (= logic_test.Out10_5_5 logic_test.LogicalOperator9_1_5)
393
       (= logic_test.LogicalOperator9_1_4 (not (not (= logic_test.In7_1_4 0))))
394
       (= logic_test.Out10_5_4 logic_test.LogicalOperator9_1_4)
395
       (= logic_test.LogicalOperator9_1_3 (not (not (= logic_test.In7_1_3 0))))
396
       (= logic_test.Out10_5_3 logic_test.LogicalOperator9_1_3)
397
       (= logic_test.LogicalOperator9_1_2 (not (not (= logic_test.In7_1_2 0))))
398
       (= logic_test.Out10_5_2 logic_test.LogicalOperator9_1_2)
399
       (= logic_test.LogicalOperator9_1_1 (not (not (= logic_test.In7_1_1 0))))
400
       (= logic_test.Out10_5_1 logic_test.LogicalOperator9_1_1)
401
       )
402
  (logic_test_step logic_test.In1_1_1
403
                   logic_test.In4_1_1
404
                   logic_test.In5_1_1
405
                   logic_test.In6_1_1
406
                   logic_test.In6_1_2
407
                   logic_test.In7_1_1
408
                   logic_test.In7_1_2
409
                   logic_test.In7_1_3
410
                   logic_test.In7_1_4
411
                   logic_test.In7_1_5
412
                   logic_test.In7_1_6
413
                   logic_test.In8_1_1
414
                   logic_test.In8_1_2
415
                   logic_test.In9_1_1
416
                   logic_test.In9_1_2
417
                   logic_test.In10_1_1
418
                   logic_test.In10_1_2
419
                   logic_test.In10_1_3
420
                   logic_test.In10_1_4
421
                   logic_test.In10_1_5
422
                   logic_test.In10_1_6
423
                   logic_test.In11_1_1
424
                   logic_test.In11_1_2
425
                   logic_test.In11_1_3
426
                   logic_test.In11_1_4
427
                   logic_test.In11_1_5
428
                   logic_test.In11_1_6
429
                   logic_test.In12_1_1
430
                   logic_test.In12_1_2
431
                   logic_test.In13_1_1
432
                   logic_test.In13_1_2
433
                   logic_test.In14_1_1
434
                   logic_test.In14_1_2
435
                   logic_test.In14_1_3
436
                   logic_test.In14_1_4
437
                   logic_test.In14_1_5
438
                   logic_test.In14_1_6
439
                   logic_test.In15_1_1
440
                   logic_test.In15_1_2
441
                   logic_test.In15_1_3
442
                   logic_test.In15_1_4
443
                   logic_test.In15_1_5
444
                   logic_test.In15_1_6
445
                   logic_test.In16_1_1
446
                   logic_test.In16_1_2
447
                   logic_test.In17_1_1
448
                   logic_test.In17_1_2
449
                   logic_test.In18_1_1
450
                   logic_test.In18_1_2
451
                   logic_test.In18_1_3
452
                   logic_test.In18_1_4
453
                   logic_test.In18_1_5
454
                   logic_test.In18_1_6
455
                   logic_test.In19_1_1
456
                   logic_test.In19_1_2
457
                   logic_test.In19_1_3
458
                   logic_test.In19_1_4
459
                   logic_test.In19_1_5
460
                   logic_test.In19_1_6
461
                   logic_test.In20_1_1
462
                   logic_test.In20_1_2
463
                   logic_test.In21_1_1
464
                   logic_test.In21_1_2
465
                   logic_test.In22_1_1
466
                   logic_test.In22_1_2
467
                   logic_test.In22_1_3
468
                   logic_test.In22_1_4
469
                   logic_test.In22_1_5
470
                   logic_test.In22_1_6
471
                   logic_test.In23_1_1
472
                   logic_test.In23_1_2
473
                   logic_test.In23_1_3
474
                   logic_test.In23_1_4
475
                   logic_test.In23_1_5
476
                   logic_test.In23_1_6
477
                   logic_test.In24_1_1
478
                   logic_test.In24_1_2
479
                   logic_test.In25_1_1
480
                   logic_test.In25_1_2
481
                   logic_test.In26_1_1
482
                   logic_test.In26_1_2
483
                   logic_test.In26_1_3
484
                   logic_test.In26_1_4
485
                   logic_test.In26_1_5
486
                   logic_test.In26_1_6
487
                   logic_test.In27_1_1
488
                   logic_test.In27_1_2
489
                   logic_test.In27_1_3
490
                   logic_test.In27_1_4
491
                   logic_test.In27_1_5
492
                   logic_test.In27_1_6
493
                   logic_test.In2_1_1
494
                   logic_test.In2_1_2
495
                   logic_test.In3_1_1
496
                   logic_test.In3_1_2
497
                   logic_test.In3_1_3
498
                   logic_test.In3_1_4
499
                   logic_test.Out1_1_1
500
                   logic_test.Out7_2_1
501
                   logic_test.Out8_3_1
502
                   logic_test.Out9_4_1
503
                   logic_test.Out9_4_2
504
                   logic_test.Out10_5_1
505
                   logic_test.Out10_5_2
506
                   logic_test.Out10_5_3
507
                   logic_test.Out10_5_4
508
                   logic_test.Out10_5_5
509
                   logic_test.Out10_5_6
510
                   logic_test.Out11_6_1
511
                   logic_test.Out11_6_2
512
                   logic_test.Out12_7_1
513
                   logic_test.Out12_7_2
514
                   logic_test.Out12_7_3
515
                   logic_test.Out12_7_4
516
                   logic_test.Out12_7_5
517
                   logic_test.Out12_7_6
518
                   logic_test.Out13_8_1
519
                   logic_test.Out13_8_2
520
                   logic_test.Out14_9_1
521
                   logic_test.Out14_9_2
522
                   logic_test.Out14_9_3
523
                   logic_test.Out14_9_4
524
                   logic_test.Out14_9_5
525
                   logic_test.Out14_9_6
526
                   logic_test.Out15_10_1
527
                   logic_test.Out15_10_2
528
                   logic_test.Out16_11_1
529
                   logic_test.Out16_11_2
530
                   logic_test.Out16_11_3
531
                   logic_test.Out16_11_4
532
                   logic_test.Out16_11_5
533
                   logic_test.Out16_11_6
534
                   logic_test.Out17_12_1
535
                   logic_test.Out17_12_2
536
                   logic_test.Out18_13_1
537
                   logic_test.Out18_13_2
538
                   logic_test.Out18_13_3
539
                   logic_test.Out18_13_4
540
                   logic_test.Out18_13_5
541
                   logic_test.Out18_13_6
542
                   logic_test.Out19_14_1
543
                   logic_test.Out19_14_2
544
                   logic_test.Out20_15_1
545
                   logic_test.Out20_15_2
546
                   logic_test.Out20_15_3
547
                   logic_test.Out20_15_4
548
                   logic_test.Out20_15_5
549
                   logic_test.Out20_15_6
550
                   logic_test.Out2_16_1
551
                   logic_test.Out2_16_2
552
                   logic_test.Out3_17_1
553
                   logic_test.Out3_17_2
554
                   logic_test.Out4_18_1
555
                   logic_test.Out4_18_2
556
                   logic_test.Out4_18_3
557
                   logic_test.Out4_18_4
558
                   logic_test.Out5_19_1
559
                   logic_test.Out5_19_2
560
                   logic_test.Out6_20_1
561
                   logic_test.Out6_20_2
562
                   logic_test.Out6_20_3
563
                   logic_test.Out6_20_4
564
                   logic_test.Out21_21_1
565
                   logic_test.Out21_21_2
566
                   logic_test.Out21_21_3
567
                   logic_test.Out21_21_4
568
                   logic_test.ni_0._arrow._first_c
569
                   logic_test.ni_0._arrow._first_x)
570
))
571