-
Notifications
You must be signed in to change notification settings - Fork 0
/
c7552_patterns.txt
1762 lines (1587 loc) · 85.6 KB
/
c7552_patterns.txt
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
//
// Tessent FastScan 2017.3
//
// Design = c7552.v
// Created = Mon Feb 18 03:40:53 EST 2019
//
// Statistics:
// Test Coverage = 100.00%
// Total Faults = 19946
// DS (det_simulation) = 19643
// TI (tied) = 20
// RE (redundant) = 283
// Total Patterns = 167
//
// Settings:
// Simulation Mode = combinational, seq_depth = 0
// Fault Type = stuck
// Fault Mode = uncollapsed
// Pos_Det Credit = 50%
// Z external = X
// Z internal = X
// wired_net = WIRE
//
// Warnings:
//
ASCII_PATTERN_FILE_VERSION = 3;
SETUP =
declare input bus "PI" = "/N1", "/N5", "/N9", "/N12", "/N15",
"/N18", "/N23", "/N26", "/N29", "/N32", "/N35",
"/N38", "/N41", "/N44", "/N47", "/N50", "/N53",
"/N54", "/N55", "/N56", "/N57", "/N58", "/N59",
"/N60", "/N61", "/N62", "/N63", "/N64", "/N65",
"/N66", "/N69", "/N70", "/N73", "/N74", "/N75",
"/N76", "/N77", "/N78", "/N79", "/N80", "/N81",
"/N82", "/N83", "/N84", "/N85", "/N86", "/N87",
"/N88", "/N89", "/N94", "/N97", "/N100", "/N103",
"/N106", "/N109", "/N110", "/N111", "/N112", "/N113",
"/N114", "/N115", "/N118", "/N121", "/N124", "/N127",
"/N130", "/N133", "/N134", "/N135", "/N138", "/N141",
"/N144", "/N147", "/N150", "/N151", "/N152", "/N153",
"/N154", "/N155", "/N156", "/N157", "/N158", "/N159",
"/N160", "/N161", "/N162", "/N163", "/N164", "/N165",
"/N166", "/N167", "/N168", "/N169", "/N170", "/N171",
"/N172", "/N173", "/N174", "/N175", "/N176", "/N177",
"/N178", "/N179", "/N180", "/N181", "/N182", "/N183",
"/N184", "/N185", "/N186", "/N187", "/N188", "/N189",
"/N190", "/N191", "/N192", "/N193", "/N194", "/N195",
"/N196", "/N197", "/N198", "/N199", "/N200", "/N201",
"/N202", "/N203", "/N204", "/N205", "/N206", "/N207",
"/N208", "/N209", "/N210", "/N211", "/N212", "/N213",
"/N214", "/N215", "/N216", "/N217", "/N218", "/N219",
"/N220", "/N221", "/N222", "/N223", "/N224", "/N225",
"/N226", "/N227", "/N228", "/N229", "/N230", "/N231",
"/N232", "/N233", "/N234", "/N235", "/N236", "/N237",
"/N238", "/N239", "/N240", "/N242", "/N245", "/N248",
"/N251", "/N254", "/N257", "/N260", "/N263", "/N267",
"/N271", "/N274", "/N277", "/N280", "/N283", "/N286",
"/N289", "/N293", "/N296", "/N299", "/N303", "/N307",
"/N310", "/N313", "/N316", "/N319", "/N322", "/N325",
"/N328", "/N331", "/N334", "/N337", "/N340", "/N343",
"/N346", "/N349", "/N352", "/N355", "/N358", "/N361",
"/N364", "/N367", "/N382", "/N241_I";
declare output bus "PO" = "/N387", "/N388", "/N478", "/N482", "/N484",
"/N486", "/N489", "/N492", "/N501", "/N505", "/N507",
"/N509", "/N511", "/N513", "/N515", "/N517", "/N519",
"/N535", "/N537", "/N539", "/N541", "/N543", "/N545",
"/N547", "/N549", "/N551", "/N553", "/N556", "/N559",
"/N561", "/N563", "/N565", "/N567", "/N569", "/N571",
"/N573", "/N582", "/N643", "/N707", "/N813", "/N881",
"/N882", "/N883", "/N884", "/N885", "/N889", "/N945",
"/N1110", "/N1111", "/N1112", "/N1113", "/N1114", "/N1489",
"/N1490", "/N1781", "/N10025", "/N10101", "/N10102", "/N10103",
"/N10104", "/N10109", "/N10110", "/N10111", "/N10112", "/N10350",
"/N10351", "/N10352", "/N10353", "/N10574", "/N10575", "/N10576",
"/N10628", "/N10632", "/N10641", "/N10704", "/N10706", "/N10711",
"/N10712", "/N10713", "/N10714", "/N10715", "/N10716", "/N10717",
"/N10718", "/N10729", "/N10759", "/N10760", "/N10761", "/N10762",
"/N10763", "/N10827", "/N10837", "/N10838", "/N10839", "/N10840",
"/N10868", "/N10869", "/N10870", "/N10871", "/N10905", "/N10906",
"/N10907", "/N10908", "/N11333", "/N11334", "/N11340", "/N11342",
"/N241_O";
end;
SCAN_TEST =
pattern = 0;
force "PI" "11110000010011011011001011011100111111000001011000\
10101011000101100010000110111110111110111011111011\
01001111111101011001101010110111011000111011011100\
11100001011001111000100001111110111100010010101001\
1010100" 0;
measure "PO" "11100100011111011110001001011001101010101010010111\
11111000000000001001001110010001111000101111110001\
00001000" 1;
pattern = 1;
force "PI" "11011101011111111111111111111111111100110010011100\
10010011100111011111010101001110000011011011011010\
00001111111100000011001001011010110110000001010011\
01011010011100001011001011101000100001011000000011\
1110011" 0;
measure "PO" "11111001110100010000101100000011111000101110111101\
10111111111100100010110001001000011111110001101111\
10101111" 1;
pattern = 2;
force "PI" "01110100101110101010001010101010101001000101010010\
11011010011100101110111101001110010111011111011110\
00010111111111111010011001001000100010100101001010\
01011001000011100010010101110111100010110001100101\
1111000" 0;
measure "PO" "00010010011011110001011000110101111110101010001111\
11100111110010000001010111010111001110000110000000\
10101110" 1;
pattern = 3;
force "PI" "11011001010011111100000100011100000000000100010001\
00011000101010111101111100100111000011000100010001\
10011110110110111110001110010010100001011000100001\
11001100111111000101111001010010110010100010111011\
0100011" 0;
measure "PO" "11001111001001011001010001011011010001111110111101\
10111000001101111001000010100100011000100001100001\
10001111" 1;
pattern = 4;
force "PI" "11110000000110111001011100000010100111000010111000\
00100011001110101100100101101101011101011001110101\
01001111110110010110001110000111011000010111001001\
01111010011011101011100000000000000100010100111011\
0010100" 0;
measure "PO" "11111100000000000010001010011011001010011000010111\
11110011110000000000011101111100100111110110011111\
11100110" 1;
pattern = 5;
force "PI" "11111000100000010111110101110001100101111010111111\
00001111100101011100111110010110101010101100111010\
10110111111100101010011101010111100100001111100100\
11101011101010110100011100010000010100111100010111\
1010100" 0;
measure "PO" "11000011001000001010011110000111101001011110110101\
10111101100100000101010010000011111010000111101001\
11001100" 1;
pattern = 6;
force "PI" "01010011110010100010001100101100010101000101001110\
00000010010001110111101111110101101001101101100110\
00010111111101011010100011010110001010111100101011\
11111000111111111000001001101111000111100110110101\
1110100" 0;
measure "PO" "00100001010111100011110011010101111010111010100111\
11100011110000000101010101000011111111001000011010\
01010000" 1;
pattern = 7;
force "PI" "11101010010010101011001011010111011011000111110000\
11111010111111111111011111111010110110110110111011\
10001111110110100111001011001111010101011101010101\
11111100011111101011101001111111110100111111111011\
0101100" 0;
measure "PO" "11111101011111111010011111111011010100111000011101\
10111011110000000000010111000000000100000000000000\
00010110" 1;
pattern = 8;
force "PI" "11000101111110111010001010101110101010000011110001\
00001110010100101001011111110001101110011100010101\
00001111110101010001010110000011001101001110111100\
11010011110011100101110010000010100100000011001000\
1010110" 0;
measure "PO" "11001110100001010010000001101000101011001010110111\
11111011111100011111011111011001111101110001110110\
11010000" 1;
pattern = 9;
force "PI" "11011111101100000000000100000000000010011101100001\
10001101101101101111011101010001101111000000110110\
01001111111101110011001001101101001111100011100101\
01100100001110100100101010000010100011000010011000\
1110111" 0;
measure "PO" "11000101100001010001100001001000111001011110010101\
10111010010000000010100011011001011111111001100110\
11110111" 1;
pattern = 10;
force "PI" "01000101110000010000000111000100000001101110110001\
11011110101101010011101111100110001100000100111011\
00100111010100101100010101000101111111000100011111\
01001010001001111100101111011000010010001001000111\
1000010" 0;
measure "PO" "00100101101100001001000100100111100011101011101111\
11100100000000000101000010001000101000010110000010\
00011010" 1;
pattern = 11;
force "PI" "11001111011000010101010101011101010111111111110000\
11110100011101101110001101000000111110100110010010\
00110100111111001100011000000110000111111101010100\
01010101110101111101111111001001111001101001010101\
0011110" 0;
measure "PO" "11101111100100111100110100100101001101111111011101\
10111000000111110011000010111000001000011001110011\
00010100" 1;
pattern = 12;
force "PI" "01010001100100000000010100011010011001010000010000\
10010001110111000111101111110101111101000010011111\
01010111010111111011010111001110010001110111100110\
01001011110101101000100011010111110010111010111001\
0010100" 0;
measure "PO" "00100100101011111001011101011001001010111011101111\
11100011110110111001011101001001011100001111110111\
01110000" 1;
pattern = 13;
force "PI" "11001110011111110101010100010101010101001111010010\
01100000101101011110100001111111001110011001111010\
11101001010100101001001010110101000110010101110010\
00110101000110100101111011011101010101011010101001\
1111011" 0;
measure "PO" "11001111101110101010101101011001111101101111010101\
10111100000110111110000100110111001001001111110000\
11110001" 1;
pattern = 14;
force "PI" "01110101001000101111011110111110011101100011000010\
11000000011100011011100101011011110101111011111000\
11011111011101010100010000010000111001101101010100\
11101111111111110010011111001010100000010000110010\
1010010" 0;
measure "PO" "00010011100101010000001000010010101010111011100111\
11100100000110111110101110001011101010110000000000\
00001100" 1;
pattern = 15;
force "PI" "11111000100000110100101101101000101000101011001100\
01110111001001101100101101101001100110110101110100\
01011000000111110101101111100010001100011101010000\
00011001101110111111010001101110010111001010100101\
0101111" 0;
measure "PO" "11111010010111001011100101010101010101101111011101\
10111100000101100110101000001010001001100110011101\
00111001" 1;
pattern = 16;
force "PI" "00000111111011011101111111001100101111011111010000\
01000111010100001110101111111110100111011101011100\
11111111011110011101100111011000110101001100000011\
01000010011111110100000001100101100001101101000100\
0110110" 0;
measure "PO" "00000000010010110000110110100100011011101011100010\
01000010010001011100001011000001001110010000000011\
01000010" 1;
pattern = 17;
force "PI" "11001011111001001000101100110001001001000111100001\
10111000101001011100001111100100100111100110111110\
11011101000100110111011001001111101111111111001101\
11111101010110111111111111000111110011011010001100\
1100101" 0;
measure "PO" "11111111100011111001101101001100110001101111011101\
10111011110100000010110001000000001100000000000000\
00011101" 1;
pattern = 18;
force "PI" "01110101001110001001001110010111111001100000000011\
01011110101000111010110100100010010111111011110111\
01010111011111101001100110000001111111110101111000\
11110000001101110101000100011011101111010011011001\
0111000" 0;
measure "PO" "00001000001101110111101001101001011111011011101111\
11100111110111001101011001101010011110000110011101\
00010110" 1;
pattern = 19;
force "PI" "11110100010011010100001100101010101010001100110000\
00101111001100101101001001111001000111101101011000\
11110100000110100011011011101000011110000110100011\
11010111001101111110011100001011111100001110101100\
0101111" 0;
measure "PO" "11110011000101111110000111011100010111001101010111\
11111000000011000000100010000011101000010000000000\
00000111" 1;
pattern = 20;
force "PI" "01110011111110000011011000101001111111101110111001\
00101001101101110111001110000010111110000101011111\
00001111010101001101110100111110110111001110001001\
01010100110011111111001110110011000101110111010111\
0111100" 0;
measure "PO" "00111001111001100010111011100111011111011011100111\
11100011110001100111110001001010101111011110000110\
10010100" 1;
pattern = 21;
force "PI" "11110010100010000000110110010110010110111001001001\
11001000000001111101000111100001001101000010110111\
10001111001110100010011100111111010011100100000010\
01011010110011100001011011011010111110000011111000\
0101110" 0;
measure "PO" "11001011101101011111000001111000010110111001010111\
11110000000100001100000100101010111000101000000011\
11001000" 1;
pattern = 22;
force "PI" "00110101010011111000100000010101010111001010110111\
11101101011101011000111100001011011100111010111011\
00011111011111110101010110011110110001001100010100\
01110001001001110000011101100010001011110101110000\
1011010" 0;
measure "PO" "00000011010001000101111010110000101110111011100010\
11100100000010011001000110001111111011111000000110\
10010110" 1;
pattern = 23;
force "PI" "00101001000001000101010110001101011000110001100111\
10110001000111010001100111100111001100001101010100\
01000000111110101100101111010110011000100110100001\
11110010000010010011101101011111011001010111111010\
1010110" 0;
measure "PO" "00011101001111101100101011111010101000110101001101\
10100001100000011101011110101000001000111110000010\
01101100" 1;
pattern = 24;
force "PI" "00110000001010101001000110110100111100001011011111\
10001111101101101010101111010010100110000110111010\
00100111110101000010001001001010011100010101110110\
11111001100001111000011111001000000100000110111101\
1001100" 0;
measure "PO" "00100011100100000010000011011101100110110000000010\
11100011110000000001010011000000001100000000000000\
00011110" 1;
pattern = 25;
force "PI" "10000011010111110000010110000101110000101110000011\
00000000010110101010111111010111001101101000111110\
01010111011111111001001001110010011110101111110000\
11010101101101100011111010010100110101101111101011\
0010110" 0;
measure "PO" "11011111101010011010110111111011001010000001010010\
11110011110000001101011111010000101100110000000011\
01011010" 1;
pattern = 26;
force "PI" "00000111101101100001011101101011111110010011100111\
10001101010011111001110110000010000111110100110111\
11111111100100000010000010011110111110010100000110\
10011100100111101010111110100010000000100011100110\
0000010" 0;
measure "PO" "00110111110001000000010001110110000010000111100010\
11100111110100000010111001011100001111110000000000\
00011110" 1;
pattern = 27;
force "PI" "00000010110011001000110001011000000011111001100110\
01110000001101001011110111110101110110111110011011\
10010111110111111011101000110100110110101111111100\
11110101011011111001010100011101001010110011111110\
0011010" 0;
measure "PO" "00101010001110100101011001111110001110011000001010\
11100001100000000001011100000010011011010111110010\
10110110" 1;
pattern = 28;
force "PI" "00000100101011011101000111011000101100110000000001\
00010101010010001001110100011001000110001000010010\
00000111101110110010000101100000011111100110110111\
10010001001011101000001111001110110101001000010100\
1101111" 0;
measure "PO" "00100001100111011010100100000100110110110111101010\
11100000000000000000001110011110111010001110001000\
00000111" 1;
pattern = 29;
force "PI" "10010110110001110001110111110110000011110110011000\
01010001000111000001101101110110100101001010010110\
11110111011101111111111111100110110010011100011010\
11111000011001111100110001100000100010010111100101\
1111000" 0;
measure "PO" "11100110010000010001001011110101111111101001011010\
11110100001100100110100000100011111010010111100000\
01001000" 1;
pattern = 30;
force "PI" "00000101001000111000110010011101010000100010001100\
11000000100011011011110010100010110110101001111111\
11000111101101111111110000000110111001111100110110\
01110110111011111101011100110111110111100110110011\
0010011" 0;
measure "PO" "00101011011011111011110011010011001011011111100010\
11100101100110000001010110000000101010010001110101\
11010001" 1;
pattern = 31;
force "PI" "00000100100000011100011111101110100000110001000111\
01001000010001100001011101010011110111110010110101\
01100111011101100001111100111011110111011100100000\
10010011001011110000110010011110111111100011101111\
1001000" 0;
measure "PO" "00000110101111011111110001111111100110000101000010\
11100111111010011011111001000001011101110000000011\
00011100" 1;
pattern = 32;
force "PI" "00110011100100100011011110110100110101101100010010\
00011101000100111000001000110101111101010001110111\
11000111100111001001000101101010010111011101101000\
11111110101111101011011001000000001010011011000001\
0001010" 0;
measure "PO" "00111011000000000101001101100001000110100111101010\
11100100001101010101000010000010011000000111100000\
00011110" 1;
pattern = 33;
force "PI" "10010110110010111000111000100100010100011110001101\
00000100010001000010110101100111010011101000000000\
11110111011000010110110000110110010010110100000000\
10011000110111111100110110011000111110110000010110\
0000110" 0;
measure "PO" "11100110101100011111011000000110000011011101110010\
11111000000000100001101010011000101011011111110011\
11110000" 1;
pattern = 34;
force "PI" "00000000110101000010101111001011100011010100110010\
00100100101101011001000010001100110111110010111011\
00010111100100011100111011000110010001011111111111\
01111010000011101110110011010111111010010111001001\
0111010" 0;
measure "PO" "00110110101011111101001011101001011111101111000010\
11100111111111011011110111111001011111110110001110\
01101000" 1;
pattern = 35;
force "PI" "00010111110110010001110011110110111001001111110100\
00000100111010111011100111100110111101001111010001\
00110111010111101010010010001011111010110111101010\
00010110111011100101010001111011011000100010000101\
0111110" 0;
measure "PO" "00001010011101101100010001000101011111101101100010\
11100011111010001010010111010001101111100110000000\
00011100" 1;
pattern = 36;
force "PI" "10010001101010110110111101001011101110000101000011\
00110001011001111100011010000100111100011010100000\
00100111101000101001100100111101010000111100001111\
01110011001101111011110001010111111101011111010001\
0010000" 0;
measure "PO" "11111110001011111110101111100001001010111111111010\
01010111110000100000010101000000001100000000000010\
00110110" 1;
pattern = 37;
force "PI" "00000101101111011011100011100010010010101101000000\
11110111010101011000111101101010110101001111011000\
11101111011110100111101001000000010101011111101111\
10110011001101101111000010011100010011001011101110\
0001110" 0;
measure "PO" "00111000101110001001100101111110000111001101001010\
11100011110000011000010111110111011100010110010000\
11010010" 1;
pattern = 38;
force "PI" "10110111111100111000100000100101011100001101011110\
10000000101001011101010000010000001000110000101110\
10101101110001010101011011110101111001100100000100\
01111000000011100000010001010000011101011110101010\
1010011" 0;
measure "PO" "11000010001000001110101111011010101010101111110010\
01010110010101000000100111110111111101110001111111\
01011101" 1;
pattern = 39;
force "PI" "00000001100110110011001100000010111101011100010010\
11010100101101001000111101010110111111100011111100\
00110111100100111001011110111010111000000110010010\
10011101100111100111111010101011110110000011100101\
1110010" 0;
measure "PO" "00011111110101111011000001110101111011000101001010\
11100111110001000010110001010100001100001000011111\
10011010" 1;
pattern = 40;
force "PI" "10011100001011110001110110110110111011011011011011\
10010110101111001111101010110001001000001110001001\
11011101110010001101100010101101010001111100001000\
11110111111111010111001100101110010010110011101011\
0001010" 0;
measure "PO" "11011001010111001001011001111011000101001111111101\
00010100000001101100100100011111111000100001110110\
11111100" 1;
pattern = 41;
force "PI" "10101111100111000011100010010010010010000110011010\
01110111001110101100111000111111000000001011001011\
00000101110101101011011100111011010010111101011011\
11111111101111000010111010001111110010100110000110\
0111111" 0;
measure "PO" "11010111100111111001010011000110011100001111111101\
00010000000110100111001100111111111011111111101010\
11100111" 1;
pattern = 42;
force "PI" "10110111001010110001111111011100000011110111010101\
11001000101111011000100101001011000100010001011001\
11000111101110111100111010100001010001011111000111\
10010110100011011111100100111011110100010100110100\
0001100" 0;
measure "PO" "11111100011101111010001010010100000111011101010111\
11110000000000010011100010110100101000000111101010\
10000000" 1;
pattern = 43;
force "PI" "00111000101111011101111101110011001101011110011110\
00111111110101001110011001100010001111110011011111\
10001101111000110000100101100000010001010101101101\
10100001001000001111110010010000000100100000010111\
0110011" 0;
measure "PO" "00111110101000000010010000000111011001011111101101\
00000111110100010001010111010000001100000001100101\
11001101" 1;
pattern = 44;
force "PI" "10010011100101000110111111000011100010111101000010\
10000000000000011011101010000111101101001000010100\
10000111101111011001001000110111110110011110000101\
01110101101101010100011010101101110001000001011110\
1101110" 0;
measure "PO" "11000011110110111000100000101110110111011111010111\
11110011110101100101010001000011111100010000010010\
10001010" 1;
pattern = 45;
force "PI" "00111001101110011111100100001101101000011101000101\
10000011111100001101101010111001101110011010110001\
01000110111111100010111110110001100000111001001111\
00111001111110011000000110001110001111000011001001\
0111001" 0;
measure "PO" "00100000100111000111100001101001011100001110000101\
00000111111111001100010111010111111111100110010101\
11001001" 1;
pattern = 46;
force "PI" "10110001111101010001001000000100101000011101101101\
10010011111100001000100010000010111101110110110011\
11000111101100111010111001101101011000101111101110\
01111101110111010001011010110100110111111111110011\
1001100" 0;
measure "PO" "11001011111010011011111111110011100110010111011111\
11110111110011000010110111010110011100111110001100\
10111000" 1;
pattern = 47;
force "PI" "01011101000000010000000101011101101111011111111110\
11000110110001011111100101000001000110101100111011\
10111111111100110011011011111001011100011101111111\
11110001000011000000100110111001001011000101011011\
0101001" 0;
measure "PO" "00000100111100100101100010101011010100011000000101\
10100100001100011001101100110010001011011111100011\
10111001" 1;
pattern = 48;
force "PI" "10100101110111011010010000100001010110100011011110\
00111011011111101100001011011010001101010010010010\
01010111101110011000101000111000000110111011111101\
11111000011011011101010100000101100000010110100001\
0011110" 0;
measure "PO" "11101010000010110000001011010001001111000111011111\
01010011111110000111011101000001001100001110001010\
01100010" 1;
pattern = 49;
force "PI" "01111111100111101111110000100001100111011100111011\
00101011001001001111111101010100100101010110111100\
00110111110100100100001000010110011011100101111111\
01111011010111101000011000101111110111010111110110\
0100011" 0;
measure "PO" "00100011010111111011101011110110010000011000000101\
10100100001001110000100100010111111000000111110000\
10110001" 1;
pattern = 50;
force "PI" "11110001100000001011100100100000010100000100010100\
10000101001010100110110001110001110100010000111101\
01100111100111001000001111010001001101000111010110\
11001110100001001000011111110000000011001010100010\
1000101" 0;
measure "PO" "11100011111000000001100101010010100010101111010111\
11110010010000110101000001001000001100001000000001\
11101001" 1;
pattern = 51;
force "PI" "11110101111001011101010100101101011001111111111111\
10001100111111000111001101111100100101100010011001\
00010111110110011001001010101011110111111111001010\
01110101011001001000000001000000000110101010101001\
1001000" 0;
measure "PO" "11100000000000000011010101011001100110101000010111\
11110111110000000000111011000100001100001000000010\
01111100" 1;
pattern = 52;
force "PI" "01011111111111111111111111000011100001100011100111\
01010101010000101110011011000110110101000011001110\
10001100111110011101101101111000000100111011001111\
01000111110000100110101011101001110000110101111100\
0111011" 0;
measure "PO" "00010101110100111000011010111100011101111111101101\
10100110011111110001001001010101111100111000010111\
11000001" 1;
pattern = 53;
force "PI" "01111010001101010011010101111011010001010011111111\
00101111100110111100100101111001110001100100101001\
01000101111001111111110110010101010110011110101111\
01110001101111100000001011110100010011110000011010\
1111011" 0;
measure "PO" "00000001111010001001111000001010111100111001100101\
10100110011100001000000101010011111101110000000010\
11010011" 1;
pattern = 54;
force "PI" "11000011010001110110001000010101010110101011110011\
01010000000001111000101101000111011100000100111111\
11000111110101110100111111001011011011111100011111\
01110001111111111111101011101101011000011011000101\
0111001" 0;
measure "PO" "11111101110110101100001101100101011111101000011111\
11110111111101000101010011101100001101000000000000\
00011101" 1;
pattern = 55;
force "PI" "01111001001101010111000100111100110001001100101111\
11101111001101111101110111111110111001111111101100\
11011101010011110101000001001110110101001101100011\
11110001110111110001110011000000111000100110001100\
1111011" 0;
measure "PO" "00001110100000011100010011001100111100101001100101\
10100111110101100100010101001000111101001001100001\
11011101" 1;
pattern = 56;
force "PI" "11100110011011101010101000100011010001100011101111\
00000010001010110100111011100010101001010010010110\
01101101110011011000001111100001100101001001010111\
11011010100101100101010111010100010110010101111110\
1010101" 0;
measure "PO" "11001010101010001011001010111110101011111111110111\
11110011110000000010110011000000001100000000000000\
00011111" 1;
pattern = 57;
force "PI" "01001100010100000000000001000100111111101100011010\
01100011001100111111110100011110001111100010111010\
11101100010000100000010000101111111001111101111111\
11111111001100100001111111011110010011100000010010\
0001001" 0;
measure "PO" "00001111101111001001110000000010000100111111100101\
10100111111011111001110001100110111111010110010111\
11101001" 1;
pattern = 58;
force "PI" "11010100011101010010011111011111111101111010110101\
11010011100111110111001001000000000001010111100101\
10101101111000001101101010000110110111011001101100\
01000100011111100110110001010110101110100011001111\
1011011" 0;
measure "PO" "11010110001011010111010001101111101111101111111111\
11110110010001100011100101010100011110100110011011\
00010101" 1;
pattern = 59;
force "PI" "01110001010101001000100010010110000110111000011101\
11100011101001111101000110000110000010011000011011\
11111100100110111110011110111001010010111010010101\
11100110110100100001111010100010110110011111001100\
0101111" 0;
measure "PO" "00001111110001011011001111101100010110001111100111\
11100100000000000001000110000000111000110111100000\
00010101" 1;
pattern = 60;
force "PI" "11001111110010111100101110101010101100000101010001\
11010110001100100110011001100111010001011101010010\
01100101111010011101100110011111100001011110111010\
11101100100101110101110110101110011010010110110101\
1101110" 0;
measure "PO" "11001110110111001101001011010101110101011111111101\
10110000000000011001000000000001111000000110000000\
00011110" 1;
pattern = 61;
force "PI" "00000111000100111111101101011100101000100010001111\
00100101110010000111101001011100110011000100100111\
11111010111111110110010010000111111000001101111011\
10011000001101101001010000110001101000011111001110\
1111010" 0;
measure "PO" "00101010011000110100001111101110111110001101100010\
11100110011010100011101101111111001100000001101001\
00001110" 1;
pattern = 62;
force "PI" "10100100100110100000011011110010111100110011001000\
10100111001011000100011110011010111011101101111101\
11001010110110000000010000000010100110100001000011\
11011101100101001001111001110101101110011011111100\
0010110" 0;
measure "PO" "11101111011010110111001101111100001010110111110111\
11111000000000000011101010111111101011111111111111\
11100010" 1;
pattern = 63;
force "PI" "10111101010111101111100000100101110110111011101011\
01111110010111100101100110001001100110100000100010\
10110011111110000001000001011101011010000010010011\
11111000011111000110011100111011101100111111001100\
0001000" 0;
measure "PO" "11010011011101110110011111101100000101001011111101\
10111111111010100011011001111111001110001110011110\
00010010" 1;
pattern = 64;
force "PI" "10101110101011110111110000010010111011011101110101\
10101111001011110110110000011100011011101000000101\
00010010110101011101001100111011001010010101011101\
01010101001001100101001110100010100111101011101011\
1010100" 0;
measure "PO" "11001001110001010011110101111011101001001111110000\
10111010011011011101101101111101001100011000011111\
11111010" 1;
pattern = 65;
force "PI" "10111000100111000101010111111000001111110101011111\
00101110110001010111101010010101101110000101101110\
11001011111011100011101011111011001110101101110100\
10100100000100001000011011101000001110010110100100\
0000110" 0;
measure "PO" "11100011110100000111001011010100000000100111110101\
10111000000000111111101100111111111011111111111111\
11100010" 1;
pattern = 66;
force "PI" "10111011010010110110000000101110010000100111111101\
11111111101110010100001001001010110111000010110111\
01100011111101110001110101111101100111010110111010\
01010010000010011100111111000101001001111101100100\
0101100" 0;
measure "PO" "11100111100010100100111110110100010101100111111101\
10111100000000111011100000100001011011010111111010\
10011110" 1;
pattern = 67;
force "PI" "00010101000100101110101000001001110101110001000010\
01011011010111110100000111101100010001001101111010\
01010010110011111000011011100111101101100111111000\
00110001111000101101000001100101011111001000100001\
1111110" 0;
measure "PO" "00101000010010101111100100010001111111101111101010\
11100010011011000001100011100000001100000111100000\
00001100" 1;
pattern = 68;
force "PI" "00111011101100000100011110111111110001110001010101\
00011111111100110111100111111001010100000110011010\
11100111111101010110111110000011100101110010001110\
11011000110101000111000010101100010101010010110000\
1001010" 0;
measure "PO" "00011000110110001010101001010000100101010010001101\
10100010011100111000000011100010001101111110000010\
00011100" 1;
pattern = 69;
force "PI" "00010100010100001011101010000010011101011100010000\
10000110110101110110000011010101001011000001001100\
00111011110100100100101110100011111111011001100000\
01101000011100001100000011011001011000101011000010\
0100011" 0;
measure "PO" "00100000101100101100010101100010010011101111100111\
11100111110010101111110101111011001110100111111000\
01100101" 1;
pattern = 70;
force "PI" "10111010101100110110010100111111010011001101111110\
01001111101000110100001111101001100110101100011000\
11000111110111000000101001011001000001010011100011\
01101110100101101010011001000000001100101101000001\
1011111" 0;
measure "PO" "11110011000000000110010110100001101100100010010000\
10111100000000000000000000000011111000000111100000\
00011101" 1;
pattern = 71;
force "PI" "10110011101010010101000100111110000011011101111111\
00101111110001010100000101110100110011010110000100\
01100010111011100000010100101100100000101001110001\
10010111010010010000010000010100000011011000100100\
1011100" 0;
measure "PO" "11000010001010000001101100010100101110000111110111\
11111100000100010010100110011011111011110111100000\
00010100" 1;
pattern = 72;
force "PI" "00001100010111110001001011011011110001000001001110\
11111110011000000101100001100011001010001110101101\
00111011110000101011101001111011101011001010110110\
01011100110000100101110000001100011010001001001101\
0100110" 0;
measure "PO" "00001110000110001101000100101101010001000111101000\
10100010011011001111100001000011101100001001110111\
00011000" 1;
pattern = 73;
force "PI" "10110011010011101001010110110010000011011000011110\
10011111101101110111111100011011011110100001111011\
00010111111100011001011011001011111010000010111110\
01010100110001011000110110001100010001100001001011\
1101100" 0;
measure "PO" "11100110100110001000110000101011110110000010011111\
11111100000000111100000100101101011001110111111000\
11010100" 1;
pattern = 74;
force "PI" "10111000100011110101101100110111110111100010111110\
00101111101011000100011111011010011110111101011011\
11110011111010011001101111011100000101001100011111\
10010010110001101000000101010000001011110011100011\
0011000" 0;
measure "PO" "11100000001000000101111001110011001100101111110000\
10111000001010011111101100111111111011111111111111\
11100000" 1;
pattern = 75;
force "PI" "00110111010011000000110010000011111011010101000011\
01101101000000100111010011101100111111011110111101\
11111010111001100101001110000011000010100101101011\
11000101111000110000000100111000001111001100001011\
0110100" 0;
measure "PO" "00000000011100000111100110001011011010001111100010\
11100001101011001011110100110011111011110111111101\
11110010" 1;
pattern = 76;
force "PI" "10011000010011000101011010001101101101111010100000\
00010000000101100100101001110110100111101111010110\
11111011110010100110011011110111000001010011000111\
11100100101100011010000010001100001011110100010001\
1011000" 0;
measure "PO" "11110000100110000101111010000001101100010111111101\
10111010010001001111100111110011001111100000010001\
10000000" 1;
pattern = 77;
force "PI" "00101110110000001111100001111100010110010111011111\
11101010100010000111011101100100000100010011010101\
10110111110101111100001100010100011011100100101011\
01111011100011100000001001010001000110101111101100\
0110111" 0;
measure "PO" "00000001001000100011010111111100011000101000000000\
10100000000011110010000010110111101001101110001111\
10001111" 1;
pattern = 78;
force "PI" "10111010100110111001110101110010001010000010011111\
10001111110011110110111111110110010000001101000010\
10000011110110100011000101100001001100010011010001\
10110101011111100000011001011000100011000111101111\
0000111" 0;
measure "PO" "11000011001100010001100011111111000000101111110000\
10110100000010100111100100000011111011001111111110\
01110011" 1;
pattern = 79;
force "PI" "00001110101100000011111000011111000101100101110111\
11111110101000100111110111010101100001011101100111\
10011010111000011001100010111011100100101000100011\
11010001100011101011110000101101111010101011110101\
1000111" 0;
measure "PO" "00111110010110111101010101110101100000011111101000\
10100010010011010001101001100100111101101001110000\
00000101" 1;
pattern = 80;
force "PI" "10001000111001011110010000001111001010001000000000\
11010000000111110110111000101010010111101110111110\
11011010110101111101110111100001101011001011110100\
11110101111110010100111111111101101110000001001101\
1100101" 0;
measure "PO" "11000111111110110111000000101101110001100111111101\
10111110011111011011100001111101011110001000010101\
01101101" 1;
pattern = 81;
force "PI" "10110010010110100001000011111011010111100011001111\
00101111101011010110101100000001001111110111011010\
01101111111110111110111011110000110101100001111010\
01111010111111001000011010011000000011000011110110\
1110011" 0;
measure "PO" "11100011101100000001100001110110111010010010010111\
11111000001001100100000100111011111011110111101111\
01100111" 1;
pattern = 82;
force "PI" "00000011010000101000000010001101100001101101100011\
01000000011101100101000111011101010110010110000001\
11001011111001001010011011000001100010111101111101\
10100101110110001010011110100111110001100111110101\
0101001" 0;
measure "PO" "00110011110011111000110011110101010110010111100111\
11100110011111111111101001111111101111111000011111\
11100001" 1;
pattern = 83;
force "PI" "00100110100100001000000100100100001101000011000001\
00001001101101110101000111001110010010100011100011\
10001011111111000110001000100011010010010111000010\
01010111111101000110001011100111001000101100100110\
0011010" 0;
measure "PO" "00010001110011100100010110010110001111100001100111\
11100110011010010011001011111101111111110001111001\
11101110" 1;
pattern = 84;
force "PI" "00000101010100000100000010010010000110100001100010\
10010100110110110100100001111111111101010101000101\
00100010110001010101110110100010010001010100111110\
01000010110001100010111010010010100110011011101010\
1010110" 0;
measure "PO" "00010111101001010011001101111010101010000111101010\
11100000000011010111101000110010101010101111110001\
11001010" 1;
pattern = 85;
force "PI" "00111001011010010011111001111001011000011001011110\
00001111101101000111100110101100011101011111011110\
01000111111101011100011101100001110100011000101111\
01101100000111011001111111000010000011000000110010\
1110010" 0;
measure "PO" "00101111100001000001100000010010111000111010000101\
10100000001111001100000100010000111011110000011001\
11100110" 1;
pattern = 86;
force "PI" "00110001000011100010111110111110011010101010111110\
11101101110000110100110101010110001100101111101111\
00100010111100101110001010110000111010001100010111\
10010110000011111000000100110100111001011101001001\
0001111" 0;
measure "PO" "00100000011010011100101110101001000110001101100010\
11100100000000000011100110011111111000110111100000\
00000101" 1;
pattern = 87;
force "PI" "00001001010010100000010010001101101000101110100011\
11010000011101110100110110101011000110010111110111\
10010011111110010111000101011000011101000110001011\
11001011000001110111111110011111111110011011011001\
1001101" 0;
measure "PO" "00011111101111111111001101101001100101010011101000\
10100000001001000111100100110011111011110111100100\
00110101" 1;
pattern = 88;
force "PI" "10110110111101011000000000111110000101111100011000\
11001001001111000100110110000010010000100110110101\
00000010111010101010010100011100110110100100011010\
01011010011101000000011011000100000101100001110101\
0101110" 0;
measure "PO" "11000011100010000010110000110101010110110111110111\
11110000000001001011001110100011111011111111111110\
11010010" 1;
pattern = 89;
force "PI" "00111111001100001001110110100001110101001110000001\
10100000101010110100111010101010001101111111110010\
00100011110001010001001101001001100001101101010001\
00011011101010100000011011010000000011010101001000\
1010111" 0;
measure "PO" "00000011101000000001101010101000101000101111100000\
10100000001111000011100100111011111011111111100000\
00000011" 1;
pattern = 90;
force "PI" "10111000110110001101111010110100110110110001111110\
10000111111100000110011101011101000100110010011010\
11101010110000011010010100011111100000010100001000\
11011100011000000000011010111001000010101000011000\
0101011" 0;
measure "PO" "11000011111100100001010100001000010100011111110101\
10110000001100111011100100111111111011011111111111\
11100001" 1;