-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathc7552.isc
11082 lines (11082 loc) · 305 KB
/
c7552.isc
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
* combinational logic example "c7552"
*-------------------------------------------------------------
*
*
* total number of lines in the netlist .............. 7552
* simplistically reduced equivalent fault set size = 7550
* lines from primary input gates ....... 207
* lines from primary output gates ....... 108
* lines from interior gate outputs ...... 3405
* lines from ** 1300 ** fanout stems ... 3833
*
* avg_fanin = 1.75, max_fanin = 5
* avg_fanout = 2.95, max_fanout = 15
*
*
*
*
*
1 1 inpt 3 0 >sa0 >sa1
2 f012 from 1
3 f023 from 1
389 4 from 1
5 5 inpt 3 0 >sa0 >sa1
390 6 from 5
391 7 from 5
392 8 from 5
9 9 inpt 2 0 >sa0 >sa1
393 10 from 9 >sa1
394 11 from 9 >sa1
12 12 inpt 2 0 >sa0 >sa1
395 13 from 12 >sa1
396 14 from 12 >sa1
15 15 inpt 2 0 >sa0 >sa1
397 16 from 15
398 17 from 15
18 18 inpt 4 0 >sa0 >sa1
399 19 from 18
400 20 from 18
401 21 from 18
402 22 from 18
23 23 inpt 2 0 >sa0 >sa1
403 24 from 23 >sa1
404 25 from 23 >sa1
26 26 inpt 2 0 >sa0 >sa1
405 27 from 26 >sa1
406 28 from 26 >sa1
29 29 inpt 2 0 >sa0 >sa1
407 30 from 29 >sa1
408 31 from 29 >sa1
32 32 inpt 2 0 >sa0 >sa1
409 33 from 32 >sa1
410 34 from 32 >sa1
35 35 inpt 2 0 >sa0 >sa1
411 36 from 35 >sa1
412 37 from 35 >sa1
38 38 inpt 2 0 >sa0 >sa1
413 39 from 38
414 40 from 38
41 41 inpt 2 0 >sa0 >sa1
415 42 from 41 >sa1
416 43 from 41 >sa1
44 44 inpt 2 0 >sa0 >sa1
417 45 from 44 >sa1
418 46 from 44 >sa1
47 47 inpt 2 0 >sa0 >sa1
419 48 from 47 >sa1
420 49 from 47 >sa1
50 50 inpt 2 0 >sa0 >sa1
421 51 from 50 >sa1
422 52 from 50 >sa1
53 53 inpt 1 0 >sa1
54 54 inpt 1 0 >sa1
55 55 inpt 1 0 >sa1
56 56 inpt 1 0 >sa1
57 57 inpt 1 0
58 58 inpt 1 0 >sa1
59 59 inpt 1 0 >sa1
60 60 inpt 1 0 >sa1
61 61 inpt 1 0 >sa1
62 62 inpt 1 0 >sa1
63 63 inpt 1 0 >sa1
64 64 inpt 1 0 >sa1
65 65 inpt 1 0 >sa1
66 66 inpt 2 0 >sa0 >sa1
423 67 from 66 >sa1
424 68 from 66 >sa1
69 69 inpt 1 0 >sa1
70 70 inpt 2 0 >sa0 >sa1
425 71 from 70 >sa1
426 72 from 70 >sa1
73 73 inpt 1 0 >sa1
74 74 inpt 1 0 >sa1
75 75 inpt 1 0 >sa1
76 76 inpt 1 0 >sa1
77 77 inpt 1 0 >sa1
78 78 inpt 1 0 >sa1
79 79 inpt 1 0 >sa1
80 80 inpt 1 0 >sa1
81 81 inpt 1 0 >sa1
82 82 inpt 1 0 >sa1
83 83 inpt 1 0 >sa1
84 84 inpt 1 0 >sa1
85 85 inpt 1 0 >sa1
86 86 inpt 1 0 >sa1
87 87 inpt 1 0 >sa1
88 88 inpt 1 0 >sa1
89 89 inpt 4 0 >sa0 >sa1
427 90 from 89 >sa1
428 91 from 89 >sa1
429 92 from 89 >sa1
430 93 from 89 >sa1
94 94 inpt 2 0 >sa0 >sa1
431 95 from 94 >sa1
432 96 from 94 >sa1
97 97 inpt 2 0 >sa0 >sa1
433 98 from 97 >sa1
434 99 from 97 >sa1
100 100 inpt 2 0 >sa0 >sa1
435 101 from 100 >sa1
436 102 from 100 >sa1
103 103 inpt 2 0 >sa0 >sa1
437 104 from 103 >sa1
438 105 from 103 >sa1
106 106 inpt 2 0 >sa0 >sa1
439 107 from 106
440 108 from 106
109 109 inpt 1 0 >sa1
110 110 inpt 1 0 >sa1
111 111 inpt 1 0 >sa1
112 112 inpt 1 0 >sa1
113 113 inpt 1 0 >sa1
114 114 inpt 1 0 >sa1
115 115 inpt 2 0 >sa0 >sa1
441 116 from 115 >sa1
442 117 from 115 >sa1
118 118 inpt 2 0 >sa0 >sa1
443 119 from 118 >sa1
444 120 from 118 >sa1
121 121 inpt 2 0 >sa0 >sa1
445 122 from 121 >sa1
446 123 from 121 >sa1
124 124 inpt 2 0 >sa0 >sa1
447 125 from 124 >sa1
448 126 from 124 >sa1
127 127 inpt 2 0 >sa0 >sa1
449 128 from 127 >sa1
450 129 from 127 >sa1
130 130 inpt 2 0 >sa0 >sa1
451 131 from 130 >sa1
452 132 from 130 >sa1
133 133 inpt 1 0 >sa1
134 134 inpt 1 0 >sa1
135 135 inpt 2 0 >sa0 >sa1
453 136 from 135 >sa1
454 137 from 135 >sa1
138 138 inpt 2 0 >sa0 >sa1
455 139 from 138 >sa1
456 140 from 138 >sa1
141 141 inpt 2 0 >sa0 >sa1
457 142 from 141 >sa1
458 143 from 141 >sa1
144 144 inpt 2 0 >sa0 >sa1
459 145 from 144 >sa1
460 146 from 144 >sa1
147 147 inpt 2 0 >sa0 >sa1
461 148 from 147 >sa1
462 149 from 147 >sa1
150 150 inpt 1 0 >sa1
151 151 inpt 1 0 >sa1
152 152 inpt 1 0 >sa1
153 153 inpt 1 0 >sa1
154 154 inpt 1 0 >sa1
155 155 inpt 1 0 >sa1
156 156 inpt 1 0 >sa1
157 157 inpt 1 0 >sa1
158 158 inpt 1 0 >sa1
159 159 inpt 1 0 >sa1
160 160 inpt 1 0 >sa1
161 161 inpt 1 0 >sa1
162 162 inpt 1 0 >sa1
163 163 inpt 1 0 >sa1
164 164 inpt 1 0 >sa1
165 165 inpt 1 0 >sa1
166 166 inpt 1 0 >sa1
167 167 inpt 1 0 >sa1
168 168 inpt 1 0 >sa1
169 169 inpt 1 0 >sa1
170 170 inpt 1 0 >sa1
171 171 inpt 1 0 >sa1
172 172 inpt 1 0 >sa1
173 173 inpt 1 0 >sa1
174 174 inpt 1 0 >sa1
175 175 inpt 1 0 >sa1
176 176 inpt 1 0 >sa1
177 177 inpt 1 0 >sa1
178 178 inpt 1 0 >sa1
179 179 inpt 1 0 >sa1
180 180 inpt 1 0 >sa1
181 181 inpt 1 0 >sa1
182 182 inpt 1 0 >sa1
183 183 inpt 1 0 >sa1
184 184 inpt 1 0 >sa1
185 185 inpt 1 0 >sa1
186 186 inpt 1 0 >sa1
187 187 inpt 1 0 >sa1
188 188 inpt 1 0 >sa1
189 189 inpt 1 0 >sa1
190 190 inpt 1 0 >sa1
191 191 inpt 1 0 >sa1
192 192 inpt 1 0 >sa1
193 193 inpt 1 0 >sa1
194 194 inpt 1 0 >sa1
195 195 inpt 1 0 >sa1
196 196 inpt 1 0 >sa1
197 197 inpt 1 0 >sa1
198 198 inpt 1 0 >sa1
199 199 inpt 1 0 >sa1
200 200 inpt 1 0 >sa1
201 201 inpt 1 0 >sa1
202 202 inpt 1 0 >sa1
203 203 inpt 1 0 >sa1
204 204 inpt 1 0 >sa1
205 205 inpt 1 0 >sa1
206 206 inpt 1 0 >sa1
207 207 inpt 1 0 >sa1
208 208 inpt 1 0 >sa1
209 209 inpt 1 0 >sa1
210 210 inpt 1 0 >sa1
211 211 inpt 1 0 >sa1
212 212 inpt 1 0 >sa1
213 213 inpt 1 0 >sa1
214 214 inpt 1 0 >sa1
215 215 inpt 1 0 >sa1
216 216 inpt 1 0 >sa1
217 217 inpt 1 0 >sa1
218 218 inpt 1 0 >sa1
219 219 inpt 1 0 >sa1
220 220 inpt 1 0 >sa1
221 221 inpt 1 0 >sa1
222 222 inpt 1 0 >sa1
223 223 inpt 1 0 >sa1
224 224 inpt 1 0 >sa1
225 225 inpt 1 0 >sa1
226 226 inpt 1 0 >sa1
227 227 inpt 1 0 >sa1
228 228 inpt 1 0 >sa1
229 229 inpt 1 0 >sa1
230 230 inpt 1 0 >sa1
231 231 inpt 1 0 >sa1
232 232 inpt 1 0 >sa1
233 233 inpt 1 0 >sa1
234 234 inpt 1 0 >sa1
235 235 inpt 1 0 >sa1
236 236 inpt 1 0 >sa1
237 237 inpt 1 0 >sa1
238 238 inpt 1 0 >sa1
239 239 inpt 1 0 >sa1
240 240 inpt 1 0 >sa1
241 339 inpt 0 0 >sa0 >sa1
242 1197 inpt 2 0 >sa0 >sa1
465 282 from 1197 >sa1
466 287 from 1197 >sa1
245 1455 inpt 2 0 >sa0 >sa1
476 1456 from 1455 >sa1
477 1457 from 1455
248 1459 inpt 2 0 >sa0 >sa1
249 f01450 from 1459
479 1460 from 1459
251 1462 inpt 2 0 >sa0 >sa1
480 a436 from 1462
481 1463 from 1462
254 1469 inpt 2 0 >sa0 >sa1
255 f01448 from 1469
483 1470 from 1469
257 1480 inpt 2 0 >sa0 >sa1
258 f01444 from 1480
485 1481 from 1480
260 1486 inpt 2 0 >sa0 >sa1
261 f01442 from 1486
487 1487 from 1486
263 1492 inpt 3 0 >sa0 >sa1
488 1493 from 1492 >sa1
265 f02440 from 1492
490 1494 from 1492
267 1496 inpt 3 0 >sa0 >sa1
491 1497 from 1496 >sa1
269 f02438 from 1496
493 1498 from 1496
271 2204 inpt 2 0 >sa0 >sa1
499 2205 from 2204 >sa1
500 2206 from 2204
274 2208 inpt 2 0 >sa0 >sa1
275 f01496 from 2208
502 2209 from 2208
277 2211 inpt 2 0 >sa0 >sa1
503 a478 from 2211
504 2212 from 2211
280 2218 inpt 2 0 >sa0 >sa1
281 f01494 from 2218
506 2219 from 2218
283 2224 inpt 2 0 >sa0 >sa1
284 f01492 from 2224
508 2225 from 2224
286 2230 inpt 2 0 >sa0 >sa1
287 f01490 from 2230
510 2231 from 2230
289 2236 inpt 3 0 >sa0 >sa1
468 1177 from 2236
291 f02488 from 2236
512 2237 from 2236
293 2239 inpt 2 0 >sa0 >sa1
294 f01486 from 2239
514 2240 from 2239
296 2247 inpt 2 0 >sa0 >sa1
297 f01484 from 2247
516 2248 from 2247
299 2253 inpt 3 0 >sa0 >sa1
472 1185 from 2253
301 f02482 from 2253
518 2254 from 2253
303 2256 inpt 3 0 >sa0 >sa1
473 1191 from 2256
305 f02480 from 2256
520 2257 from 2256
307 3698 inpt 2 0 >sa0 >sa1
308 f01560 from 3698
536 3699 from 3698
310 3701 inpt 2 0 >sa0 >sa1
311 f01542 from 3701
538 3702 from 3701
313 3705 inpt 2 0 >sa0 >sa1
314 f01558 from 3705
540 3706 from 3705
316 3711 inpt 2 0 >sa0 >sa1
317 f01556 from 3711
542 3712 from 3711
319 3717 inpt 2 0 >sa0 >sa1
320 f01554 from 3717
544 3718 from 3717
322 3723 inpt 2 0 >sa0 >sa1
323 f01552 from 3723
546 3724 from 3723
325 3729 inpt 2 0 >sa0 >sa1
326 f01550 from 3729
548 3730 from 3729
328 3737 inpt 2 0 >sa0 >sa1
329 f01548 from 3737
550 3738 from 3737
331 3743 inpt 2 0 >sa0 >sa1
332 f01546 from 3743
552 3744 from 3743
334 3749 inpt 2 0 >sa0 >sa1
335 f01544 from 3749
554 3750 from 3749
337 4393 inpt 2 0 >sa0 >sa1
555 4120 from 4393
339 f02540 from 4393
340 4394 inpt 2 0 >sa0 >sa1
557 a522 from 4394
558 4395 from 4394
343 4400 inpt 2 0 >sa0 >sa1
344 f01538 from 4400
560 4401 from 4400
346 4405 inpt 2 0 >sa0 >sa1
347 f01536 from 4405
562 4406 from 4405
349 4410 inpt 2 0 >sa0 >sa1
350 f01534 from 4410
564 4411 from 4410
352 4415 inpt 2 0 >sa0 >sa1
353 f01532 from 4415
566 4416 from 4415
355 4420 inpt 2 0 >sa0 >sa1
356 f01530 from 4420
568 4421 from 4420
358 4427 inpt 2 0 >sa0 >sa1
359 f01528 from 4427
570 4428 from 4427
361 4432 inpt 2 0 >sa0 >sa1
362 f01526 from 4432
572 4433 from 4432
364 4437 inpt 2 0 >sa0 >sa1
365 f01524 from 4437
574 4438 from 4437
367 4526 inpt 14 0 >sa0 >sa1
463 3262 from 4526 >sa1
464 1430 from 4526 >sa1
474 1441 from 4526 >sa1
475 1451 from 4526 >sa1
521 2521 from 4526 >sa1
522 2525 from 4526 >sa1
523 2528 from 4526 >sa1
524 2530 from 4526 >sa1
525 2562 from 4526 >sa1
526 2805 from 4526 >sa1
527 2827 from 4526
533 3268 from 4526 >sa1
534 3275 from 4526 >sa1
581 4527 from 4526
382 4528 inpt 4 0 >sa0 >sa1
497 1517 from 4528 >sa1
498 1540 from 4528 >sa1
531 2870 from 4528 >sa1
532 2882 from 4528 >sa1
387 2 buff 0 1 >sa0 >sa1
2
388 3 buff 0 1 >sa0 >sa1
3
467 400 not 1 1 >sa1
57
469 1184 and 2 2 >sa0 >sa1
134 133
583 1183 from 1184 >sa1
584 290 from 1184 >sa1
478 450 buff 0 1 >sa0 >sa1
249
482 448 buff 0 1 >sa0 >sa1
255
484 444 buff 0 1 >sa0 >sa1
258
486 442 buff 0 1 >sa0 >sa1
261
489 440 buff 0 1 >sa0 >sa1
265
492 438 buff 0 1 >sa0 >sa1
269
494 1501 and 2 4 >sa0 >sa1
162 172 188 199
589 409 from 1501
675 1502 from 1501 >sa1
501 496 buff 0 1 >sa0 >sa1
275
505 494 buff 0 1 >sa0 >sa1
281
507 492 buff 0 1 >sa0 >sa1
284
509 490 buff 0 1 >sa0 >sa1
287
511 488 buff 0 1 >sa0 >sa1
291
513 486 buff 0 1 >sa0 >sa1
294
515 484 buff 0 1 >sa0 >sa1
297
517 482 buff 0 1 >sa0 >sa1
301
519 480 buff 0 1 >sa0 >sa1
305
528 2857 and 2 4 >sa0 >sa1
150 184 228 240
586 403 from 2857
755 2858 from 2857 >sa1
535 560 buff 0 1 >sa0 >sa1
308
537 542 buff 0 1 >sa0 >sa1
311
539 558 buff 0 1 >sa0 >sa1
314
541 556 buff 0 1 >sa0 >sa1
317
543 554 buff 0 1 >sa0 >sa1
320
545 552 buff 0 1 >sa0 >sa1
323
547 550 buff 0 1 >sa0 >sa1
326
549 548 buff 0 1 >sa0 >sa1
329
551 546 buff 0 1 >sa0 >sa1
332
553 544 buff 0 1 >sa0 >sa1
335
556 540 buff 0 1 >sa0 >sa1
339
559 538 buff 0 1 >sa0 >sa1
344
561 536 buff 0 1 >sa0 >sa1
347
563 534 buff 0 1 >sa0 >sa1
350
565 532 buff 0 1 >sa0 >sa1
353
567 530 buff 0 1 >sa0 >sa1
356
569 528 buff 0 1 >sa0 >sa1
359
571 526 buff 0 1 >sa0 >sa1
362
573 524 buff 0 1 >sa0 >sa1
365
575 4442 and 2 4 >sa0 >sa1
183 182 185 186
588 407 from 4442
757 2877 from 4442 >sa1
578 4514 and 2 4 >sa0 >sa1
210 152 218 230
587 405 from 4514
756 2875 from 4514 >sa1
582 279 not 0 1 >sa0 >sa1
398
585 401 not 1 1 >sa1
390
590 573 buff 2 1 >sa0 >sa1
389
888 571 from 573
592 f02432 from 573
593 574 not 2 1 >sa0 >sa1
392
875 283 from 574 >sa1
877 288 from 574 >sa1
596 575 not 2 1 >sa0 >sa1
391
874 576 from 575 >sa1
878 291 from 575 >sa1
599 1178 not 4 1 >sa0 >sa1
468
912 1179 from 1178 >sa1
913 1180 from 1178
914 1181 from 1178 >sa1
915 1182 from 1178
604 1186 not 4 1 >sa0 >sa1
472
916 1187 from 1186 >sa1
917 1188 from 1186
918 1189 from 1186 >sa1
919 1190 from 1186
609 1192 not 4 1 >sa0 >sa1
473
920 1193 from 1192
921 1194 from 1192 >sa1
922 1195 from 1192 >sa1
923 1196 from 1192
614 1198 buff 10 1 >sa0 >sa1
413
899 776 from 1198 >sa1
900 783 from 1198 >sa1
905 1012 from 1198 >sa1
911 1114 from 1198 >sa1
924 1199 from 1198 >sa0
925 1200 from 1198
926 1201 from 1198
927 1202 from 1198 >sa0
928 1203 from 1198
929 1204 from 1198
625 1205 buff 2 1 >sa0 >sa1
397
876 285 from 1205
879 340 from 1205
628 1206 nand 3 2 >sa0 >sa1
396 394
890 580 from 1206
892 600 from 1206
894 649 from 1206
632 1207 nand 3 2 >sa0 >sa1
395 393
896 670 from 1207
930 1208 from 1207
931 1209 from 1207
636 1210 buff 4 1 >sa0 >sa1
414
932 1211 from 1210 >sa1
933 1212 from 1210
934 1213 from 1210 >sa1
935 1214 from 1210
641 1458 not 1 1 >sa1
477
642 1461 not 1 1 >sa1
479
643 436 buff 0 1 >sa0 >sa1
480
644 1464 not 6 1 >sa0 >sa1
481
904 875 from 1464 >sa1
909 1100 from 1464 >sa1
938 1465 from 1464 >sa0
939 1466 from 1464
940 1467 from 1464 >sa1
941 1468 from 1464
651 1471 not 5 1 >sa0 >sa1
483
903 866 from 1471 >sa1
908 1084 from 1471 >sa1
942 1472 from 1471
943 1473 from 1471 >sa1
944 1474 from 1471
657 1475 buff 2 1 >sa0 >sa1
440
658 f01446 from 1475
946 1476 from 1475
660 1482 not 5 1 >sa0 >sa1
485
902 819 from 1482 >sa1
907 1048 from 1482 >sa1
947 1483 from 1482
948 1484 from 1482
949 1485 from 1482 >sa1
666 1488 not 5 1 >sa0 >sa1
487
901 800 from 1488 >sa1
906 1033 from 1488 >sa1
950 1489 from 1488 >sa1
951 1490 from 1488
952 1491 from 1488
672 1495 not 1 1 >sa1
490
673 1499 not 1 1 >sa1
493
674 1500 not 1 1 >sa1
439
676 1503 buff 5 1 >sa0 >sa1
399
897 677 from 1503
937 1349 from 1503
953 1504 from 1503
954 1505 from 1503
955 1506 from 1503
682 1512 buff 5 1 >sa0 >sa1
402
891 586 from 1512
893 605 from 1512
895 656 from 1512
936 1335 from 1512
956 1513 from 1512
688 1518 and 1 2
497 488
689 1524 buff 5 1 >sa0 >sa1
401
964 1525 from 1524
965 1526 from 1524
966 1527 from 1524
967 1528 from 1524
968 1529 from 1524
695 1535 not 4 1 >sa0 >sa1
400
969 1536 from 1535 >sa1
970 1537 from 1535
971 1538 from 1535
972 1539 from 1535 >sa1
700 1541 nand 4 2 >sa0 >sa1
498 491
898 775 from 1541 >sa1
910 1113 from 1541 >sa1
973 1542 from 1541
974 1543 from 1541
705 2207 not 1 1 >sa1
500
706 2210 not 1 1 >sa1
502
707 478 buff 0 1 >sa0 >sa1
503
708 2213 not 6 1 >sa0 >sa1
504
980 1676 from 2213 >sa1
986 1928 from 2213 >sa1
987 2214 from 2213 >sa0
988 2215 from 2213
989 2216 from 2213 >sa1
990 2217 from 2213
715 2220 not 5 1 >sa0 >sa1
506
979 1668 from 2220 >sa1
985 1913 from 2220 >sa1
991 2221 from 2220
992 2222 from 2220
993 2223 from 2220 >sa1
721 2226 not 5 1 >sa0 >sa1
508
978 1646 from 2226 >sa1
984 1896 from 2226 >sa1
994 2227 from 2226 >sa1
995 2228 from 2226
996 2229 from 2226
727 2232 not 5 1 >sa0 >sa1
510
977 1623 from 2232 >sa1
983 1879 from 2232 >sa1
997 2233 from 2232
998 2234 from 2232
999 2235 from 2232 >sa1
733 2238 not 1 1 >sa1
512
734 2241 not 7 1 >sa0 >sa1
514
976 1589 from 2241 >sa1
982 1840 from 2241 >sa1
1000 2242 from 2241
1001 2243 from 2241 >sa0
1002 2244 from 2241 >sa0
1003 2245 from 2241
1004 2246 from 2241 >sa1
742 2249 not 5 1 >sa0 >sa1
516
975 1583 from 2249 >sa1
981 1833 from 2249 >sa1
1005 2250 from 2249 >sa1
1006 2251 from 2249
1007 2252 from 2249
748 2255 not 1 1 >sa1
518
749 2258 not 1 1 >sa1
520
750 2828 buff 4 1 >sa0 >sa1
527
1024 2829 from 2828 >sa1
1025 2830 from 2828 >sa1
1026 2831 from 2828 >sa1
1027 2832 from 2828
758 3700 not 1 1 >sa1
536
759 3703 not 2 1 >sa0 >sa1
538
1041 3664 from 3703 >sa1
1042 3704 from 3703 >sa1
762 3707 not 5 1 >sa0 >sa1
540
1015 2464 from 3707 >sa1
1023 2714 from 3707 >sa1
1043 3708 from 3707 >sa1
1044 3709 from 3707
1045 3710 from 3707
768 3713 not 5 1 >sa0 >sa1
542
1014 2447 from 3713 >sa1
1022 2692 from 3713 >sa1
1046 3714 from 3713 >sa1
1047 3715 from 3713
1048 3716 from 3713
774 3719 not 5 1 >sa0 >sa1
544
1013 2430 from 3719 >sa1
1021 2669 from 3719 >sa1
1049 3720 from 3719
1050 3721 from 3719
1051 3722 from 3719 >sa1
780 3725 not 5 1 >sa0 >sa1
546
1012 2416 from 3725 >sa1
1020 2651 from 3725 >sa1
1052 3726 from 3725 >sa1
1053 3727 from 3725
1054 3728 from 3725
786 3731 not 7 1 >sa0 >sa1
548
1011 2390 from 3731 >sa1
1019 2634 from 3731 >sa1
1055 3732 from 3731 >sa0
1056 3733 from 3731
1057 3734 from 3731
1058 3735 from 3731 >sa0
1059 3736 from 3731 >sa1
794 3739 not 5 1 >sa0 >sa1
550
1010 2383 from 3739 >sa1
1018 2628 from 3739 >sa1
1060 3740 from 3739 >sa1
1061 3741 from 3739
1062 3742 from 3739
800 3745 not 5 1 >sa0 >sa1
552
1009 2365 from 3745 >sa1
1017 2611 from 3745 >sa1
1063 3746 from 3745
1064 3747 from 3745
1065 3748 from 3745 >sa1
806 3751 not 5 1 >sa0 >sa1
554
1008 2350 from 3751 >sa1
1016 2596 from 3751 >sa1
1066 3752 from 3751 >sa1
1067 3753 from 3751
1068 3754 from 3751
812 4121 not 1 1 >sa1
555
813 522 buff 0 1 >sa0 >sa1
557
814 4396 not 6 1 >sa0 >sa1
558
1040 3424 from 4396 >sa1
1077 3978 from 4396 >sa1
1078 4124 from 4396 >sa1
1087 4397 from 4396
1088 4398 from 4396 >sa0
1089 4399 from 4396
821 4402 not 5 1 >sa0 >sa1
560
1039 3409 from 4402 >sa1
1076 3970 from 4402 >sa1
1079 4127 from 4402 >sa1
1090 4403 from 4402
1091 4404 from 4402
827 4407 not 5 1 >sa0 >sa1
562
1038 3392 from 4407 >sa1
1075 3948 from 4407 >sa1
1080 4130 from 4407 >sa1
1092 4408 from 4407
1093 4409 from 4407
833 4412 not 5 1 >sa0 >sa1
564
1037 3375 from 4412 >sa1
1074 3925 from 4412 >sa1
1081 4133 from 4412 >sa1
1094 4413 from 4412
1095 4414 from 4412
839 4417 not 5 1 >sa0 >sa1
566
1036 3360 from 4417 >sa1
1073 3907 from 4417 >sa1
1082 4136 from 4417 >sa1
1096 4418 from 4417
1097 4419 from 4417
845 4422 not 7 1 >sa0 >sa1
568
1035 3334 from 4422 >sa1
1072 3890 from 4422 >sa1
1083 4139 from 4422 >sa1
1098 4423 from 4422 >sa0
1099 4424 from 4422
1100 4425 from 4422
1101 4426 from 4422 >sa0
853 4429 not 5 1 >sa0 >sa1
570
1034 3325 from 4429 >sa1
1071 3884 from 4429 >sa1
1084 4142 from 4429 >sa1
1102 4430 from 4429
1103 4431 from 4429
859 4434 not 5 1 >sa0 >sa1
572
1033 3306 from 4434 >sa1
1070 3867 from 4434 >sa1
1085 4145 from 4434 >sa1
1104 4435 from 4434
1105 4436 from 4434
865 4439 not 5 1 >sa0 >sa1
574
1032 3290 from 4439 >sa1
1069 3852 from 4439 >sa1
1086 4148 from 4439 >sa1
1106 4440 from 4439
1107 4441 from 4439
871 4833 buff 2 1 >sa0 >sa1
581
880 4835 from 4833 >sa1
1108 4834 from 4833
881 402 nand 0 2 >sa0 >sa1
467 585
882 404 not 0 1 >sa0 >sa1
586
883 406 not 0 1 >sa0 >sa1
587
884 408 not 0 1 >sa0 >sa1
588
885 410 not 0 1 >sa0 >sa1
589
886 2876 and 1 2 >sa1
755 756
887 2878 and 1 2 >sa1
757 675
889 432 buff 0 1 >sa0 >sa1
592
945 446 buff 0 1 >sa0 >sa1
658
957 1519 not 6 1 >sa0 >sa1
688
1172 782 from 1519 >sa1
1173 1013 from 1519 >sa1
1202 1520 from 1519 >sa0
1203 1521 from 1519
1204 1522 from 1519
1205 1523 from 1519 >sa0
1028 2871 and 1 2
531 641
1029 2883 nand 2 2 >sa0 >sa1
532 705
1225 2884 from 2883 >sa1
1226 2885 from 2883
1109 280 and 1 2
583 874
1110 284 nand 0 2 >sa0 >sa1
465 875
1111 286 not 0 1 >sa0 >sa1
876
1112 289 nand 0 2 >sa0 >sa1
466 877
1113 292 nand 0 2 >sa0 >sa1
584 878
1114 341 not 0 1 >sa0 >sa1
879
1115 4839 not 1 1 >sa1
1108
1116 572 buff 2 1 >sa0 >sa1
888
1488 277 from 572 >sa1
1118 f02453 from 572
1119 581 buff 5 1 >sa0 >sa1
890
1491 578 from 581 >sa1
1492 582 from 581 >sa1
1493 583 from 581 >sa1
1494 584 from 581 >sa1
1495 585 from 581 >sa1
1125 587 buff 6 1 >sa0 >sa1
891
1496 588 from 587 >sa0
1497 589 from 587 >sa1
1498 590 from 587 >sa1
1499 591 from 587 >sa1
1500 592 from 587 >sa1
1501 593 from 587
1132 601 buff 3 1 >sa0 >sa1
892
1502 602 from 601 >sa1
1503 603 from 601 >sa1
1504 604 from 601 >sa1
1136 606 buff 4 1 >sa0 >sa1
893
1505 607 from 606 >sa1
1506 608 from 606 >sa1
1507 609 from 606 >sa1
1508 610 from 606
1141 650 buff 5 1 >sa0 >sa1
894
1509 651 from 650 >sa1
1510 652 from 650 >sa1
1511 653 from 650 >sa1
1512 654 from 650 >sa1
1513 655 from 650 >sa1
1147 657 buff 6 1 >sa0 >sa1
895
1514 658 from 657 >sa1
1515 659 from 657 >sa1
1516 660 from 657 >sa1
1517 661 from 657 >sa1
1518 662 from 657 >sa1
1519 663 from 657
1154 671 buff 5 1 >sa0 >sa1
896
1520 672 from 671 >sa1
1521 673 from 671 >sa1
1522 674 from 671 >sa1
1523 675 from 671 >sa1
1524 676 from 671 >sa1
1160 678 buff 6 1 >sa0 >sa1
897
1525 679 from 678 >sa1
1526 680 from 678 >sa1
1527 681 from 678 >sa1
1528 682 from 678 >sa1
1529 683 from 678 >sa1
1530 684 from 678
1167 777 and 4 2 >sa0 >sa1
898 899
1533 778 from 777 >sa0
1534 779 from 777 >sa0
1535 780 from 777 >sa0
1536 781 from 777 >sa0
1174 1115 and 1 2 >sa0
910 911
1175 1336 buff 6 1 >sa0 >sa1
936
1560 1337 from 1336 >sa1
1561 1338 from 1336 >sa1
1562 1339 from 1336 >sa1
1563 1340 from 1336 >sa1
1564 1341 from 1336 >sa1
1565 1342 from 1336
1182 1350 buff 6 1 >sa0 >sa1
937
1566 1351 from 1350 >sa1
1567 1352 from 1350 >sa1
1568 1353 from 1350 >sa1
1569 1354 from 1350 >sa1
1570 1355 from 1350 >sa1
1571 1356 from 1350
1189 1477 not 4 1 >sa0 >sa1
946
1545 843 from 1477 >sa1
1557 1066 from 1477 >sa1
1572 1478 from 1477
1573 1479 from 1477
1194 1507 not 4 1 >sa0 >sa1
955
1574 1508 from 1507
1575 1509 from 1507
1576 1510 from 1507
1577 1511 from 1507
1199 1514 not 2 1 >sa0 >sa1
956
1578 1515 from 1514
1579 1516 from 1514
1206 1530 not 4 1 >sa0 >sa1
968
1580 1531 from 1530
1581 1532 from 1530
1582 1533 from 1530
1583 1534 from 1530
1211 2259 buff 6 1 >sa0 >sa1
971
1602 2260 from 2259 >sa1