1 var 3
2 slice 2 1 1 0
3 neg 2 2
4 redor 1 -3
5 sext 2 4 1
6 var 4
7 sext 4 1 1
8 smulo 1 -6 7
9 srl 2 5 8
10 redxor 1 9
11 array 4 3
12 eq 1 11 11
13 sext 3 12 2
14 var 4
15 redxor 1 14
16 sext 3 15 2
17 slt 1 -13 -16
18 sext 4 17 3
19 slice 1 1 0 0
20 var 1
21 ugte 1 19 -20
22 sext 4 21 3
23 var 4
24 slice 2 23 1 0
25 sext 2 20 1
26 smod 2 -24 -25
27 sext 4 26 2
28 srem 4 22 -27
29 slte 1 18 -28
30 or 1 10 -29
31 or 1 30 10
32 not 1 21
33 sext 2 32 1
34 redand 1 -33
35 var 1
36 sext 2 35 1
37 sgte 1 -36 -24
38 xor 1 37 -35
39 var 4
40 slice 2 39 1 0
41 saddo 1 -2 -25
42 sext 2 41 1
43 smod 2 40 -42
44 slice 1 43 0 0
45 xnor 1 38 44
46 or 1 34 -45
47 or 1 46 29
48 and 1 31 47
49 slice 2 39 1 0
50 redxor 1 -49
51 var 1
52 xor 1 51 -35
53 sext 2 52 1
54 mul 2 -2 53
55 sext 3 54 1
56 sext 3 12 2
57 smulo 1 -55 56
58 or 1 50 57
59 sext 4 17 3
60 uext 8 -59 4
61 redor 1 60
62 or 1 -58 -61
63 var 1
64 sext 3 63 2
65 sext 3 43 1
66 sgt 1 64 65
67 slice 3 6 2 0
68 sext 3 35 2
69 ugte 1 67 68
70 umulo 1 -69 41
71 iff 1 -66 -70
72 or 1 -71 -61
73 or 1 -19 -52
74 or 1 -72 -73
75 and 1 62 74
76 and 1 48 75
77 var 1
78 saddo 1 -63 -77
79 sext 8 78 7
80 sext 3 78 2
81 sra 8 -79 -80
82 zero 3
83 sext 3 35 2
84 sdiv 3 82 -83
85 ror 8 81 84
86 redxor 1 85
87 or 1 50 86
88 const 1 0
89 or 1 -87 88
90 slice 1 1 0 0
91 and 1 41 -90
92 sgte 1 78 -91
93 umulo 1 -2 54
94 slice 1 23 1 1
95 udiv 1 -93 94
96 or 1 92 -95
97 or 1 96 71
98 and 1 89 97
99 array 4 3
100 nor 1 -51 21
101 sext 3 100 2
102 zero 3
103 sext 4 102 1
104 write 4 3 99 -101 103
105 read 4 104 68
106 redand 1 105
107 sext 3 21 2
108 ssubo 1 82 -107
109 or 1 106 108
110 or 1 -109 86
111 concat 7 -67 6
112 redor 1 111
113 or 1 112 -86
114 slice 1 82 1 1
115 implies 1 -114 77
116 or 1 113 -115
117 and 1 110 116
118 and 1 98 117
119 and 1 76 118
120 redxor 1 23
121 or 1 -92 -120
122 or 1 -121 -115
123 or 1 -120 115
124 or 1 123 50
125 and 1 122 124
126 or 1 115 50
127 or 1 126 95
128 or 1 50 -95
129 or 1 -128 57
130 and 1 127 129
131 and 1 125 130
132 or 1 95 -57
133 or 1 -132 -34
134 or 1 -57 34
135 write 4 3 11 83 -39
136 eq 1 11 135
137 or 1 134 136
138 and 1 133 137
139 or 1 34 136
140 sub 2 -49 -25
141 sext 4 140 2
142 usubo 1 -141 28
143 or 1 139 -142
144 or 1 -136 -142
145 or 1 144 29
146 and 1 143 145
147 and 1 138 146
148 and 1 131 147
149 or 1 142 29
150 sll 8 79 -56
151 slice 4 150 6 3
152 uaddo 1 6 -151
153 slice 2 81 1 0
154 ne 1 -153 -24
155 urem 1 -152 154
156 or 1 -149 -155
157 or 1 -29 -155
158 or 1 -157 -88
159 and 1 156 158
160 or 1 106 -10
161 sext 3 54 1
162 ugt 1 -161 55
163 or 1 160 -162
164 or 1 45 115
165 or 1 164 -61
166 and 1 163 165
167 and 1 159 166
168 mul 2 3 3
169 slice 1 168 0 0
170 ult 1 169 -15
171 add 4 6 -6
172 sdivo 1 171 -28
173 nand 1 170 -172
174 or 1 -173 -34
175 or 1 -174 136
176 or 1 -45 173
177 sext 8 151 4
178 redor 1 177
179 or 1 -176 -178
180 and 1 175 179
181 ulte 1 83 67
182 or 1 181 181
183 or 1 -182 -73
184 or 1 -50 45
185 or 1 -184 106
186 and 1 183 185
187 and 1 180 186
188 and 1 167 187
189 and 1 148 188
190 and 1 119 189
191 or 1 -112 -95
192 or 1 -191 34
193 or 1 -108 181
194 or 1 193 -142
195 and 1 192 194
196 or 1 -29 -92
197 or 1 196 -136
198 not 3 13
199 redxor 1 198
200 or 1 199 112
201 or 1 200 -181
202 and 1 197 201
203 and 1 195 202
204 or 1 29 -71
205 or 1 204 -45
206 or 1 -10 -136
207 or 1 206 -10
208 and 1 205 207
209 or 1 115 142
210 array 3 3
211 read 3 210 67
212 redxor 1 211
213 or 1 -209 212
214 or 1 -45 -212
215 or 1 214 112
216 and 1 213 215
217 and 1 208 216
218 and 1 203 217
219 or 1 -92 142
220 or 1 219 -92
221 or 1 61 -86
222 or 1 221 173
223 and 1 220 222
224 or 1 88 73
225 or 1 224 212
226 or 1 -120 88
227 or 1 226 10
228 and 1 225 227
229 and 1 223 228
230 or 1 71 115
231 or 1 -230 -50
232 or 1 73 181
233 sext 8 91 7
234 rol 8 233 55
235 redand 1 234
236 or 1 232 -235
237 and 1 231 236
238 or 1 112 120
239 or 1 -238 50
240 or 1 57 112
241 or 1 240 -112
242 and 1 239 241
243 and 1 237 242
244 and 1 229 243
245 and 1 218 244
246 or 1 -120 173
247 or 1 -246 29
248 or 1 -181 -88
249 or 1 248 181
250 and 1 247 249
251 or 1 71 -106
252 or 1 -251 181
253 or 1 88 -73
254 or 1 253 -71
255 and 1 252 254
256 and 1 250 255
257 or 1 -45 -61
258 or 1 257 -155
259 or 1 -57 95
260 or 1 -259 -57
261 and 1 258 260
262 acond 4 3 -20 99 11
263 read 4 262 -67
264 redxor 1 263
265 or 1 -264 -142
266 or 1 265 -155
267 or 1 155 264
268 or 1 267 173
269 and 1 266 268
270 and 1 261 269
271 and 1 256 270
272 or 1 57 86
273 or 1 -272 -108
274 or 1 106 -235
275 or 1 274 -86
276 and 1 273 275
277 or 1 162 88
278 or 1 -277 142
279 or 1 136 10
280 or 1 279 34
281 and 1 278 280
282 and 1 276 281
283 or 1 199 -57
284 or 1 283 -95
285 or 1 -136 -86
286 or 1 -285 -73
287 and 1 284 286
288 or 1 -120 -34
289 or 1 -288 -162
290 or 1 142 -162
291 or 1 290 34
292 and 1 289 291
293 and 1 287 292
294 and 1 282 293
295 and 1 271 294
296 and 1 245 295
297 and 1 190 296
298 or 1 -34 -181
299 or 1 298 88
300 or 1 57 -142
301 or 1 -300 106
302 and 1 299 301
303 or 1 92 -173
304 or 1 -303 45
305 or 1 86 29
306 or 1 -305 10
307 and 1 304 306
308 and 1 302 307
309 or 1 -10 -29
310 or 1 -309 -181
311 or 1 115 112
312 or 1 -311 45
313 and 1 310 312
314 or 1 -34 73
315 or 1 314 -106
316 or 1 -212 162
317 or 1 316 -108
318 and 1 315 317
319 and 1 313 318
320 and 1 308 319
321 or 1 -106 -112
322 or 1 321 -120
323 or 1 106 -95
324 or 1 -323 10
325 and 1 322 324
326 or 1 -106 -155
327 or 1 326 34
328 or 1 173 73
329 or 1 -328 29
330 and 1 327 329
331 and 1 325 330
332 or 1 -95 -235
333 or 1 332 -73
334 or 1 34 120
335 or 1 334 73
336 and 1 333 335
337 or 1 45 -29
338 or 1 -337 -162
339 or 1 45 -50
340 or 1 339 -45
341 and 1 338 340
342 and 1 336 341
343 and 1 331 342
344 and 1 320 343
345 or 1 -142 212
346 or 1 -345 -88
347 or 1 -212 50
348 or 1 -347 71
349 and 1 346 348
350 or 1 -86 178
351 or 1 -350 136
352 or 1 108 235
353 or 1 -352 -29
354 and 1 351 353
355 and 1 349 354
356 or 1 86 -34
357 or 1 356 50
358 or 1 -73 -120
359 or 1 358 -155
360 and 1 357 359
361 or 1 -73 -34
362 or 1 -361 92
363 or 1 -136 -173
364 or 1 363 -264
365 and 1 362 364
366 and 1 360 365
367 and 1 355 366
368 or 1 29 -142
369 or 1 368 -155
370 or 1 199 -106
371 or 1 370 -264
372 and 1 369 371
373 or 1 155 212
374 or 1 373 -173
375 or 1 -106 136
376 or 1 375 34
377 and 1 374 376
378 and 1 372 377
379 or 1 -162 -212
380 or 1 379 71
381 or 1 -162 199
382 or 1 -381 -235
383 and 1 380 382
384 or 1 86 -199
385 or 1 -384 212
386 or 1 106 106
387 or 1 386 -264
388 and 1 385 387
389 and 1 383 388
390 and 1 378 389
391 and 1 367 390
392 and 1 344 391
393 or 1 57 -212
394 or 1 393 61
395 or 1 -112 -57
396 or 1 -395 -10
397 and 1 394 396
398 or 1 -173 108
399 or 1 -398 -142
400 or 1 120 45
401 or 1 400 -108
402 and 1 399 401
403 and 1 397 402
404 or 1 45 -34
405 or 1 -404 -61
406 or 1 71 -162
407 or 1 -406 -45
408 and 1 405 407
409 or 1 -88 108
410 or 1 -409 -57
411 or 1 -181 34
412 or 1 411 -71
413 and 1 410 412
414 and 1 408 413
415 and 1 403 414
416 or 1 -235 -88
417 or 1 416 106
418 or 1 120 115
419 or 1 -418 34
420 and 1 417 419
421 or 1 -108 -162
422 or 1 421 -115
423 or 1 -73 -212
424 or 1 -423 212
425 and 1 422 424
426 and 1 420 425
427 or 1 73 142
428 or 1 427 -10
429 or 1 178 71
430 or 1 429 -115
431 and 1 428 430
432 or 1 10 50
433 or 1 432 92
434 or 1 86 -61
435 or 1 434 112
436 and 1 433 435
437 and 1 431 436
438 and 1 426 437
439 and 1 415 438
440 or 1 115 -45
441 or 1 -440 50
442 or 1 -71 136
443 or 1 -442 115
444 and 1 441 443
445 or 1 -108 -142
446 or 1 -445 -112
447 or 1 112 -29
448 or 1 447 -106
449 and 1 446 448
450 and 1 444 449
451 or 1 -264 -142
452 or 1 451 -136
453 or 1 -10 95
454 or 1 -453 -50
455 and 1 452 454
456 or 1 -95 -162
457 or 1 456 -95
458 or 1 -212 34
459 or 1 458 -112
460 and 1 457 459
461 and 1 455 460
462 and 1 450 461
463 or 1 112 173
464 or 1 -463 -10
465 or 1 173 -45
466 or 1 -465 61
467 and 1 464 466
468 or 1 -34 155
469 or 1 -468 155
470 or 1 235 -92
471 or 1 -470 -115
472 and 1 469 471
473 and 1 467 472
474 or 1 45 -57
475 or 1 -474 173
476 or 1 115 -142
477 or 1 -476 199
478 and 1 475 477
479 or 1 106 -178
480 or 1 479 178
481 or 1 -199 -71
482 or 1 -481 50
483 and 1 480 482
484 and 1 478 483
485 and 1 473 484
486 and 1 462 485
487 and 1 439 486
488 and 1 392 487
489 and 1 297 488
490 root 1 489
; default error