# potential certificate for  Psi0 + (4/7)*nA/16 + D_g(X) + D_g(X^T) <= 12/7  (ABBB, 4x4 window); g = G/q ; index y = sum of 2^(4*i+j) over the cells (row i, column j) of the 3x4 pattern equal to A
q 280
1 -18
2 -82
3 -115
4 -82
5 -84
6 -196
7 -186
8 -18
9 -207
10 -84
11 -321
12 -115
13 -321
14 -186
15 -431
17 -2
18 -55
19 -129
20 -102
21 -80
22 -222
23 -197
24 -34
25 -173
26 -127
27 -222
28 -170
29 -231
30 -273
31 -289
33 24
34 -76
35 -16
36 -15
38 -156
39 -70
40 -35
41 -119
42 -235
43 -270
44 -2
45 -105
46 -212
47 -292
49 19
50 -108
51 -109
54 -137
55 -140
56 -51
57 -22
58 -203
59 -217
60 -68
61 -4
62 -262
63 -266
65 -35
66 -15
67 -2
68 -76
69 -235
70 -156
71 -212
72 24
73 -119
75 -105
76 -16
77 -270
78 -70
79 -292
81 5
82 -45
84 -84
85 -49
86 -178
88 21
89 -69
91 -46
92 -24
93 -93
94 -92
95 -99
97 -77
101 -12
104 -77
105 -30
106 -12
107 -61
109 -61
111 -4
120 -86
122 -36
123 -44
129 -34
130 -102
131 -170
132 -55
133 -127
134 -222
135 -273
136 -2
137 -173
138 -80
139 -231
140 -129
141 -222
142 -197
143 -289
145 -11
146 -51
147 -213
148 -51
149 -116
150 -204
151 -315
152 -11
153 -101
154 -116
155 -95
156 -213
157 -95
158 -315
159 -199
161 21
162 -84
163 -24
164 -45
166 -178
167 -92
168 5
169 -69
170 -49
171 -93
173 -46
175 -99
178 -32
179 -28
180 -22
181 -22
182 -153
183 -157
184 -100
185 -100
186 -66
187 -76
188 -175
189 -111
190 -218
191 -222
193 -51
195 -68
196 -108
197 -203
198 -137
199 -262
200 19
201 -22
203 -4
204 -109
205 -217
206 -140
207 -266
209 -100
210 -22
211 -175
212 -32
213 -66
214 -153
215 -218
217 -100
218 -22
219 -111
220 -28
221 -76
222 -157
223 -222
225 -86
229 -36
237 -44
241 -61
242 -16
243 -26
244 -16
245 -14
246 -14
247 -24
248 -61
250 -14
251 -24
252 -26
253 -24
254 -24
255 -34
256 18
258 10
259 -187
260 -60
261 -79
262 -141
263 -136
265 -151
266 -61
267 -253
268 -66
269 -253
270 -146
271 -295
272 2
274 29
275 -146
276 -64
277 -141
278 -135
279 -208
281 -169
282 -39
283 -219
284 -99
285 -277
286 -189
287 -286
288 -24
291 -75
292 -39
293 -8
294 -99
295 -121
296 -70
297 -109
298 -225
299 -235
300 -39
301 -81
302 -243
303 -267
304 -19
306 -36
307 -43
308 -20
309 -7
310 -108
311 -101
312 -16
313 -41
314 -172
315 -178
316 -64
317 -52
318 -259
319 -257
320 35
323 -13
324 7
325 -41
326 -77
327 -53
328 70
329 -56
330 97
331 -83
333 -123
335 -152
336 -5
338 -69
339 -19
340 -60
341 -76
342 -186
343 -23
344 66
345 -79
347 -90
348 -29
349 -121
350 -100
351 -122
352 77
354 40
356 36
362 -4
363 -20
371 -10
373 -10
374 -10
375 -10
378 -44
379 -54
380 -8
381 -18
382 -24
383 -34
384 34
386 40
387 -192
388 -17
389 -105
390 -133
391 -246
393 -151
394 -58
395 -210
396 -131
397 -169
398 -207
399 -170
400 11
402 30
403 -243
404 -31
405 -172
406 -153
407 -345
409 -75
410 -29
411 -73
412 -142
413 -191
414 -230
415 -182
416 -21
418 -24
419 -97
420 -63
421 -32
422 -118
423 -140
424 -66
425 -103
426 -84
427 -91
428 -14
429 -55
430 -109
431 -133
434 -18
435 -24
436 -46
437 -35
438 -112
439 -124
441 -26
442 -18
443 -24
444 -57
445 -45
446 -127
447 -144
448 51
450 -17
451 -63
454 -93
455 -89
456 16
457 -3
458 -20
461 -10
462 -97
463 -93
464 100
466 -3
467 -131
469 -56
470 -121
471 -162
474 -6
475 -67
477 -66
478 -125
479 -166
480 86
484 23
496 61
512 82
513 -10
515 -59
517 -74
518 -68
519 -149
520 60
521 -23
523 -87
525 -117
526 -85
527 -274
528 55
529 -29
531 -69
532 -10
533 -100
534 -52
535 -103
536 17
537 -42
539 -126
540 -13
541 -121
542 -67
543 -229
544 76
547 -12
548 2
549 -1
551 -60
552 -7
554 -47
555 -41
556 12
558 -77
559 -89
560 108
561 36
564 -6
574 -42
575 -42
576 15
579 -30
580 -2
581 -53
582 -55
583 -66
584 39
585 -48
586 14
587 -85
589 -129
591 -194
592 45
593 69
595 2
596 57
597 -46
600 63
603 -25
605 -8
607 -6
609 -40
616 -36
622 -3
632 -23
640 102
641 -40
643 -94
644 10
645 -98
646 -93
647 -198
648 64
651 -23
653 -97
654 -93
655 -155
656 51
657 -30
659 -71
661 -40
663 -133
664 31
669 -39
671 -91
672 84
673 24
675 -26
676 -57
678 -120
679 -61
680 60
684 -18
686 -73
687 -14
688 32
689 18
691 -2
692 -6
694 -27
695 -27
705 17
708 6
709 -52
711 -62
712 20
717 -54
718 -10
719 -72
720 22
721 3
724 6
727 -1
728 46
732 -2
735 -10
752 16
768 115
769 187
770 59
773 9
774 -10
776 66
779 -28
781 -33
783 -125
784 129
785 146
786 69
789 -48
791 -46
792 131
793 4
795 -62
797 -65
799 -182
800 16
801 75
802 12
805 9
814 -39
815 -39
816 109
817 43
821 1
823 -10
830 -39
831 -49
832 2
833 13
834 30
836 -12
837 -48
838 -58
840 39
842 78
843 -34
845 -27
847 -15
849 19
850 -2
852 18
853 -55
854 -26
856 14
859 -32
861 -36
863 -23
881 10
896 170
897 192
898 94
900 13
901 -17
902 -23
903 -78
904 99
909 -13
910 -23
911 -36
912 213
913 243
914 71
919 -42
920 142
928 24
929 97
930 26
936 29
944 28
945 24
946 2
948 2
960 68
961 63
968 64
976 175
977 131
984 57
1000 8
1008 26
1024 82
1025 60
1030 -68
1031 -85
1032 -10
1033 -23
1034 -74
1035 -117
1036 -59
1037 -87
1038 -149
1039 -274
1040 102
1041 64
1042 10
1046 -93
1047 -93
1048 -40
1050 -98
1051 -97
1052 -94
1053 -23
1054 -198
1055 -155
1056 15
1057 39
1058 -2
1061 14
1062 -55
1065 -48
1066 -53
1067 -129
1068 -30
1069 -85
1070 -66
1071 -194
1073 20
1074 6
1079 -10
1080 17
1082 -52
1083 -54
1086 -62
1087 -72
1088 76
1089 -7
1090 2
1091 12
1093 -47
1095 -77
1098 -1
1100 -12
1101 -41
1102 -60
1103 -89
1104 84
1105 60
1106 -57
1107 -18
1110 -120
1111 -73
1112 24
1116 -26
1118 -61
1119 -14
1121 -36
1127 -3
1128 -40
1152 55
1153 17
1154 -10
1155 -13
1158 -52
1159 -67
1160 -29
1161 -42
1162 -100
1163 -121
1164 -69
1165 -126
1166 -103
1167 -229
1168 51
1169 31
1176 -30
1178 -40
1179 -39
1180 -71
1182 -133
1183 -91
1184 45
1185 63
1186 57
1192 69
1194 -46
1195 -8
1196 2
1197 -25
1199 -6
1200 22
1201 46
1202 6
1203 -2
1208 3
1214 -1
1215 -10
1216 108
1218 -6
1223 -42
1224 36
1231 -42
1232 32
1234 -6
1238 -27
1240 18
1244 -2
1246 -27
1249 -23
1264 16
1280 84
1281 79
1282 74
1283 -9
1287 -10
1288 61
1295 -3
1296 80
1297 141
1298 100
1299 48
1302 -37
1303 -47
1304 58
1306 10
1310 -33
1311 -33
1313 8
1314 1
1315 -9
1316 -14
1318 -2
1319 -12
1320 -97
1321 -85
1322 -53
1323 -63
1324 -78
1325 -47
1326 -131
1327 -141
1329 7
1331 -1
1334 -4
1335 -14
1336 20
1338 -24
1339 -34
1342 -102
1343 -112
1344 235
1345 41
1346 53
1347 48
1348 47
1352 225
1354 53
1360 49
1361 76
1362 46
1363 55
1368 84
1376 12
1384 4
1393 10
1408 127
1409 105
1410 98
1411 17
1416 39
1418 -10
1423 -3
1424 116
1425 172
1426 40
1432 29
1441 32
1456 22
1457 35
1464 6
1472 203
1474 52
1480 172
1482 24
1488 66
1489 56
1496 18
1504 36
1512 44
1520 14
1536 196
1537 141
1538 68
1539 10
1540 68
1544 141
1548 10
1552 222
1553 135
1554 52
1556 93
1557 37
1560 133
1564 23
1568 156
1569 99
1572 55
1573 2
1576 77
1580 58
1584 137
1585 108
1589 4
1592 93
1600 156
1601 77
1602 55
1603 58
1608 99
1610 2
1616 178
1617 186
1619 26
1620 120
1624 118
1649 10
1664 222
1665 133
1666 93
1667 23
1668 52
1672 135
1674 37
1680 204
1681 153
1688 153
1696 178
1697 118
1698 120
1704 186
1708 26
1712 153
1713 112
1714 27
1720 121
1728 137
1729 93
1736 108
1738 4
1744 153
1745 121
1748 27
1752 112
1768 10
1776 14
1792 186
1793 136
1794 149
1796 85
1797 10
1800 146
1801 1
1808 197
1809 208
1810 103
1811 46
1812 93
1813 47
1816 207
1817 83
1820 23
1824 70
1825 121
1826 60
1829 12
1840 140
1841 101
1843 10
1844 10
1845 14
1848 97
1849 9
1856 212
1857 53
1858 66
1860 77
1864 243
1866 131
1868 39
1873 23
1876 73
1880 109
1892 3
1905 10
1920 273
1921 246
1922 198
1923 78
1924 67
1928 189
1929 32
1930 33
1936 315
1937 345
1938 133
1939 42
1944 230
1945 91
1952 92
1953 140
1954 61
1960 100
1968 157
1969 124
1970 27
1976 125
1984 262
1985 89
1986 62
1988 42
1992 259
1994 102
1996 39
2000 218
2001 162
2002 1
2008 127
2024 24
2032 24
2048 18
2050 -60
2051 -66
2052 10
2053 -61
2054 -141
2055 -146
2057 -151
2058 -79
2059 -253
2060 -187
2061 -253
2062 -136
2063 -295
2064 34
2066 -17
2067 -131
2068 40
2069 -58
2070 -133
2071 -207
2073 -151
2074 -105
2075 -169
2076 -192
2077 -210
2078 -246
2079 -170
2080 35
2081 70
2082 7
2085 97
2086 -77
2089 -56
2090 -41
2091 -123
2092 -13
2093 -83
2094 -53
2095 -152
2096 51
2097 16
2100 -17
2101 -20
2102 -93
2103 -97
2105 -3
2107 -10
2108 -63
2110 -89
2111 -93
2112 -24
2113 -70
2114 -39
2115 -39
2117 -225
2118 -99
2119 -243
2121 -109
2122 -8
2123 -81
2124 -75
2125 -235
2126 -121
2127 -267
2128 -21
2129 -66
2130 -63
2131 -14
2132 -24
2133 -84
2134 -118
2135 -109
2137 -103
2138 -32
2139 -55
2140 -97
2141 -91
2142 -140
2143 -133
2144 77
2146 36
2148 40
2149 -4
2157 -20
2160 86
2162 23
2176 2
2178 -64
2179 -99
2180 29
2181 -39
2182 -135
2183 -189
2185 -169
2186 -141
2187 -277
2188 -146
2189 -219
2190 -208
2191 -286
2192 11
2194 -31
2195 -142
2196 30
2197 -29
2198 -153
2199 -230
2201 -75
2202 -172
2203 -191
2204 -243
2205 -73
2206 -345
2207 -182
2208 -5
2209 66
2210 -60
2211 -29
2212 -69
2214 -186
2215 -100
2217 -79
2218 -76
2219 -121
2220 -19
2221 -90
2222 -23
2223 -122
2224 100
2228 -3
2229 -6
2230 -121
2231 -125
2234 -56
2235 -66
2236 -131
2237 -67
2238 -162
2239 -166
2240 -19
2241 -16
2242 -20
2243 -64
2244 -36
2245 -172
2246 -108
2247 -259
2249 -41
2250 -7
2251 -52
2252 -43
2253 -178
2254 -101
2255 -257
2258 -46
2259 -57
2260 -18
2261 -18
2262 -112
2263 -127
2265 -26
2266 -35
2267 -45
2268 -24
2269 -24
2270 -124
2271 -144
2275 -8
2277 -44
2278 -10
2279 -24
2282 -10
2283 -18
2284 -10
2285 -54
2286 -10
2287 -34
2288 61
2304 207
2305 151
2306 23
2308 23
2311 -1
2312 151
2315 -69
2317 -69
2318 -1
2320 173
2321 169
2322 42
2323 -4
2327 -83
2328 151
2331 -19
2333 -90
2334 -32
2335 -25
2336 119
2337 109
2340 48
2341 85
2344 56
2352 22
2353 41
2359 -9
2360 3
2367 -17
2368 119
2369 56
2370 48
2376 109
2378 85
2384 69
2385 79
2392 103
2399 -16
2400 30
2432 173
2433 151
2436 42
2439 -32
2440 169
2443 -90
2444 -4
2445 -19
2446 -83
2447 -25
2448 101
2449 75
2455 -91
2456 75
2462 -91
2464 69
2465 103
2472 79
2479 -16
2480 100
2481 26
2496 22
2497 3
2504 41
2510 -9
2511 -17
2512 100
2520 26
2560 84
2561 61
2564 74
2568 79
2572 -9
2574 -10
2575 -3
2576 127
2577 39
2580 98
2581 -10
2584 105
2588 17
2591 -3
2592 235
2593 225
2594 47
2596 53
2597 53
2600 41
2604 48
2608 203
2609 172
2612 52
2613 24
2625 -97
2626 -14
2627 -78
2628 1
2629 -53
2630 -2
2631 -131
2632 8
2633 -85
2635 -47
2636 -9
2637 -63
2638 -12
2639 -141
2648 32
2656 12
2657 4
2672 36
2673 44
2688 80
2689 58
2692 100
2693 10
2694 -37
2695 -33
2696 141
2700 48
2702 -47
2703 -33
2704 116
2705 29
2708 40
2712 172
2720 49
2721 84
2724 46
2728 76
2732 55
2736 66
2737 18
2744 56
2753 20
2757 -24
2758 -4
2759 -102
2760 7
2764 -1
2765 -34
2766 -14
2767 -112
2768 22
2769 6
2776 35
2792 10
2800 14
2816 321
2817 253
2818 87
2819 28
2820 117
2824 253
2825 69
2828 33
2832 222
2833 219
2834 126
2835 62
2836 97
2840 169
2841 19
2844 13
2848 270
2849 235
2850 41
2852 129
2853 63
2856 123
2860 27
2864 217
2865 178
2868 54
2869 34
2872 10
2880 105
2881 83
2882 85
2883 34
2888 81
2890 47
2896 46
2897 90
2898 25
2899 32
2904 55
2912 61
2913 20
2928 44
2929 54
2944 231
2945 210
2946 23
2948 121
2952 277
2953 90
2956 65
2960 95
2961 73
2964 39
2968 191
2976 93
2977 91
2980 8
2984 121
2988 36
2992 76
2993 24
3000 66
3008 4
3016 52
3024 111
3025 67
3032 45
3048 18
3056 24
3072 115
3073 66
3076 59
3078 -10
3080 187
3082 9
3083 -33
3085 -28
3087 -125
3088 170
3089 99
3090 13
3092 94
3094 -23
3095 -23
3096 192
3098 -17
3099 -13
3102 -78
3103 -36
3104 2
3105 39
3106 -12
3108 30
3109 78
3110 -58
3112 13
3114 -48
3115 -27
3117 -34
3119 -15
3120 68
3121 64
3128 63
3136 16
3140 12
3143 -39
3144 75
3146 9
3151 -39
3152 24
3153 29
3156 26
3160 97
3185 8
3200 129
3201 131
3204 69
3208 146
3209 4
3210 -48
3211 -65
3213 -62
3214 -46
3215 -182
3216 213
3217 142
3220 71
3224 243
3230 -42
3233 14
3234 18
3236 -2
3238 -26
3240 19
3242 -55
3243 -36
3245 -32
3247 -23
3248 175
3249 57
3256 131
3264 109
3271 -39
3272 43
3274 1
3278 -10
3279 -49
3280 28
3282 2
3284 2
3288 24
3304 10
3312 26
3328 321
3329 253
3330 117
3331 33
3332 87
3336 253
3337 69
3340 28
3344 231
3345 277
3346 121
3347 65
3348 23
3352 210
3353 90
3360 105
3361 81
3364 85
3365 47
3368 83
3372 34
3376 4
3377 52
3392 270
3393 123
3394 129
3395 27
3396 41
3400 235
3402 63
3408 93
3409 121
3410 8
3411 36
3416 91
3424 61
3432 20
3441 18
3456 222
3457 169
3458 97
3459 13
3460 126
3464 219
3465 19
3468 62
3472 95
3473 191
3474 39
3480 73
3488 46
3489 55
3492 25
3496 90
3500 32
3504 111
3505 45
3512 67
3520 217
3521 10
3522 54
3528 178
3530 34
3536 76
3537 66
3544 24
3552 44
3560 54
3568 24
3584 186
3585 146
3586 85
3588 149
3592 136
3593 1
3594 10
3600 273
3601 189
3602 67
3604 198
3605 33
3608 246
3609 32
3612 78
3616 212
3617 243
3618 77
3619 39
3620 66
3621 131
3624 53
3632 262
3633 259
3634 42
3635 39
3636 62
3637 102
3640 89
3648 70
3652 60
3656 121
3658 12
3664 92
3665 100
3668 61
3672 140
3682 3
3697 24
3712 197
3713 207
3714 93
3715 23
3716 103
3720 208
3721 83
3722 47
3724 46
3728 315
3729 230
3732 133
3736 345
3737 91
3740 42
3745 109
3746 73
3752 23
3760 218
3761 127
3764 1
3768 162
3776 140
3777 97
3778 10
3784 101
3785 9
3786 14
3788 10
3792 157
3793 125
3796 27
3800 124
3816 10
3824 24
3840 431
3841 295
3842 274
3843 125
3844 274
3845 3
3848 295
3850 3
3852 125
3856 289
3857 286
3858 229
3859 182
3860 155
3861 33
3864 170
3865 25
3866 3
3868 36
3872 292
3873 267
3874 89
3875 39
3876 194
3877 141
3880 152
3884 15
3888 266
3889 257
3890 42
3891 49
3892 72
3893 112
3896 93
3897 17
3904 292
3905 152
3906 194
3907 15
3908 89
3912 267
3914 141
3916 39
3920 99
3921 122
3922 6
3923 23
3924 14
3928 133
3929 16
3936 4
3953 34
3968 289
3969 170
3970 155
3971 36
3972 229
3973 3
3976 286
3977 25
3978 33
3980 182
3984 199
3985 182
3986 91
3988 91
3992 182
4000 99
4001 133
4002 14
4004 6
4008 122
4009 16
4012 23
4016 222
4017 144
4020 10
4024 166
4032 266
4033 93
4034 72
4036 42
4040 257
4041 17
4042 112
4044 49
4048 222
4049 166
4050 10
4056 144
4072 34
4080 34
