# potential certificate for C_2(ABBB) <= 8/5 ; g = G/q ; index y = sum of 2^(4*i+j) over cells (row i, column j) of the 3x4 pattern equal to A
q 280
1 -19
2 -58
3 -112
4 -58
5 -68
6 -200
7 -262
8 -19
9 -228
10 -68
11 -334
12 -112
13 -334
14 -262
15 -404
18 -62
19 -141
20 -110
21 -68
22 -214
23 -209
24 -48
25 -180
26 -95
27 -223
28 -188
29 -246
30 -284
31 -303
33 30
34 -78
35 -88
36 -4
38 -145
39 -47
40 -40
41 -90
42 -260
43 -250
44 -4
45 -104
46 -179
47 -249
50 -100
51 -100
54 -94
55 -94
56 -28
57 -12
58 -222
59 -222
60 -76
61 -6
62 -195
63 -180
65 -40
66 -4
67 -4
68 -78
69 -260
70 -145
71 -179
72 30
73 -90
75 -104
76 -88
77 -250
78 -47
79 -249
82 -32
84 -102
85 -36
86 -114
88 5
89 -38
91 -63
92 -48
93 -94
94 -16
95 -70
97 -74
101 -16
104 -74
105 -4
106 -16
107 -51
109 -51
111 -34
113 -11
120 -82
122 -12
124 -20
129 -48
130 -110
131 -188
132 -62
133 -95
134 -214
135 -284
137 -180
138 -68
139 -246
140 -141
141 -223
142 -209
143 -303
145 -49
146 -114
147 -252
148 -114
149 -113
150 -214
151 -324
152 -49
153 -128
154 -113
155 -113
156 -252
157 -113
158 -324
159 -218
161 5
162 -102
163 -48
164 -32
166 -114
167 -16
169 -38
170 -36
171 -94
173 -63
175 -70
178 -48
179 -48
180 -24
181 -24
182 -71
183 -71
184 -80
186 -78
187 -78
188 -216
189 -146
190 -183
191 -183
193 -28
195 -76
196 -100
197 -222
198 -94
199 -195
201 -12
203 -6
204 -100
205 -222
206 -94
207 -180
209 -80
210 -24
211 -216
212 -48
213 -78
214 -71
215 -183
218 -24
219 -146
220 -48
221 -78
222 -71
223 -183
225 -82
227 -20
229 -12
232 -11
241 -14
248 -14
256 19
258 34
259 -168
260 -48
261 -82
262 -116
263 -172
265 -177
266 -56
267 -266
268 -58
269 -252
270 -175
271 -272
274 8
275 -137
276 -53
277 -132
278 -144
279 -196
280 12
281 -128
282 -25
283 -195
284 -120
285 -232
286 -214
287 -278
288 -30
290 -12
291 -82
292 -39
293 -35
294 -101
295 -148
296 -78
297 -88
298 -226
299 -226
300 -69
301 -74
302 -249
303 -249
306 -65
307 -65
308 -4
309 -4
310 -125
311 -125
312 -16
313 -44
314 -199
315 -199
316 -86
317 -39
318 -228
319 -228
320 40
322 -4
323 -4
324 11
325 -22
326 -66
327 -53
328 78
329 -38
330 76
331 -74
333 -92
335 -123
338 -22
340 -54
341 -12
342 -136
343 -16
344 32
345 -38
347 -68
349 -70
350 -38
351 -118
352 74
356 23
368 11
376 -24
378 -46
379 -46
380 -35
381 -35
382 -35
383 -35
384 48
386 42
387 -180
388 -49
389 -78
390 -127
391 -238
392 -12
393 -132
394 -28
395 -238
396 -133
397 -159
398 -226
399 -183
400 49
403 -193
404 -8
405 -128
406 -95
407 -262
411 -67
412 -127
413 -131
414 -197
415 -181
416 -5
418 -32
419 -102
420 -10
421 -5
422 -13
423 -60
424 -32
425 -36
426 -70
427 -70
428 -36
429 -25
430 -75
431 -75
434 -74
435 -89
438 -41
439 -41
442 -43
443 -43
444 -86
445 -39
446 -82
447 -82
448 28
450 -8
451 -70
454 -35
455 -66
456 16
458 -8
462 -35
463 -66
464 80
467 -86
470 -93
471 -129
475 -16
478 -93
479 -129
480 82
484 23
488 24
496 14
512 58
513 -34
515 -90
517 -94
518 -42
519 -152
520 48
521 -26
523 -96
524 -5
525 -107
526 -38
527 -208
528 62
529 -8
531 -20
533 -90
534 -66
535 -132
536 49
539 -73
541 -103
543 -188
544 78
545 12
547 -24
551 -59
552 -11
554 -24
555 -36
558 -28
559 -52
560 100
561 65
574 -6
575 -6
576 4
577 4
579 -18
581 -60
582 -70
583 -6
584 39
585 -61
587 -58
589 -140
591 -109
592 32
593 22
596 66
597 -60
600 10
603 -27
607 -23
616 -23
632 -23
640 110
641 -42
643 -118
645 -94
646 -54
647 -184
648 53
651 -26
653 -94
654 -42
655 -135
656 114
659 -33
663 -94
664 8
671 -45
672 102
673 32
675 -35
676 -66
677 -30
678 -108
679 -96
680 54
686 -12
688 48
689 74
691 -12
692 4
694 -16
695 -16
705 8
709 -2
712 4
715 17
717 -6
720 24
724 -4
768 112
769 168
770 90
772 5
773 -2
775 -60
776 58
779 -6
781 -15
783 -116
784 141
785 137
786 20
789 -41
791 -36
792 133
795 -66
797 -54
799 -170
800 88
801 82
802 24
816 100
817 65
832 4
833 4
834 18
837 -60
840 69
842 38
843 -23
853 -60
856 36
896 188
897 180
898 118
903 -90
904 120
911 -41
912 252
913 193
914 33
920 127
928 48
929 102
930 35
944 48
945 89
946 12
960 76
961 70
968 86
970 -50
976 216
977 86
984 86
992 20
1000 35
1024 58
1025 48
1027 -5
1030 -42
1031 -38
1032 -34
1033 -26
1034 -94
1035 -107
1036 -90
1037 -96
1038 -152
1039 -208
1040 110
1041 53
1046 -54
1047 -42
1048 -42
1050 -94
1051 -94
1052 -118
1053 -26
1054 -184
1055 -135
1056 4
1057 39
1062 -70
1064 4
1065 -61
1066 -60
1067 -140
1068 -18
1069 -58
1070 -6
1071 -109
1073 4
1080 8
1082 -2
1083 -6
1085 17
1088 78
1089 -11
1093 -24
1095 -28
1096 12
1100 -24
1101 -36
1102 -59
1103 -52
1104 102
1105 54
1106 -66
1110 -108
1111 -12
1112 32
1114 -30
1116 -35
1118 -96
1121 -23
1152 62
1153 49
1158 -66
1160 -8
1162 -90
1163 -103
1164 -20
1165 -73
1166 -132
1167 -188
1168 114
1169 8
1180 -33
1182 -94
1183 -45
1184 32
1185 10
1186 66
1192 22
1194 -60
1197 -27
1199 -23
1200 24
1202 -4
1216 100
1223 -6
1224 65
1231 -6
1232 48
1234 4
1238 -16
1240 74
1244 -12
1246 -16
1249 -23
1280 68
1281 82
1282 94
1283 2
1288 56
1296 68
1297 132
1298 90
1299 41
1302 -52
1303 -54
1304 28
1307 -12
1310 -2
1313 35
1320 -76
1321 -26
1322 -50
1324 -38
1326 -49
1327 -66
1329 4
1336 8
1340 50
1344 260
1345 22
1346 60
1347 60
1348 24
1352 226
1354 50
1360 36
1361 12
1362 60
1363 60
1368 70
1376 16
1408 95
1409 78
1410 94
1416 25
1424 113
1425 128
1441 5
1442 30
1456 24
1472 222
1474 2
1480 199
1488 78
1496 43
1504 12
1512 46
1536 200
1537 116
1538 42
1540 42
1544 116
1552 214
1553 144
1554 66
1556 54
1557 52
1560 127
1568 145
1569 101
1572 70
1576 66
1584 94
1585 125
1592 35
1600 145
1601 66
1602 70
1608 101
1616 114
1617 136
1620 108
1624 13
1664 214
1665 127
1666 54
1668 66
1672 144
1674 52
1680 214
1681 95
1688 95
1696 114
1697 13
1698 108
1704 136
1712 71
1713 41
1714 16
1720 93
1728 94
1729 35
1736 125
1744 71
1745 93
1748 16
1752 41
1792 262
1793 172
1794 152
1795 60
1796 38
1800 175
1808 209
1809 196
1810 132
1811 36
1812 42
1813 54
1816 226
1817 73
1824 47
1825 148
1826 59
1840 94
1841 125
1848 35
1856 179
1857 53
1858 6
1860 28
1864 249
1866 49
1873 16
1876 12
1880 75
1920 284
1921 238
1922 184
1923 90
1928 214
1929 96
1930 2
1936 324
1937 262
1938 94
1944 197
1945 62
1952 16
1953 60
1954 96
1960 38
1968 71
1969 41
1970 16
1976 93
1984 195
1985 66
1988 6
1992 228
2000 183
2001 129
2008 82
2024 35
2048 19
2050 -48
2051 -58
2052 34
2053 -56
2054 -116
2055 -175
2057 -177
2058 -82
2059 -252
2060 -168
2061 -266
2062 -172
2063 -272
2064 48
2065 -12
2066 -49
2067 -133
2068 42
2069 -28
2070 -127
2071 -226
2073 -132
2074 -78
2075 -159
2076 -180
2077 -238
2078 -238
2079 -183
2080 40
2081 78
2082 11
2084 -4
2085 76
2086 -66
2089 -38
2090 -22
2091 -92
2092 -4
2093 -74
2094 -53
2095 -123
2096 28
2097 16
2100 -8
2101 -8
2102 -35
2103 -35
2108 -70
2110 -66
2111 -66
2112 -30
2113 -78
2114 -39
2115 -69
2116 -12
2117 -226
2118 -101
2119 -249
2121 -88
2122 -35
2123 -74
2124 -82
2125 -226
2126 -148
2127 -249
2128 -5
2129 -32
2130 -10
2131 -36
2132 -32
2133 -70
2134 -13
2135 -75
2137 -36
2138 -5
2139 -25
2140 -102
2141 -70
2142 -60
2143 -75
2144 74
2146 23
2160 82
2161 24
2162 23
2177 12
2178 -53
2179 -120
2180 8
2181 -25
2182 -144
2183 -214
2185 -128
2186 -132
2187 -232
2188 -137
2189 -195
2190 -196
2191 -278
2192 49
2194 -8
2195 -127
2198 -95
2199 -197
2202 -128
2203 -131
2204 -193
2205 -67
2206 -262
2207 -181
2209 32
2210 -54
2212 -22
2214 -136
2215 -38
2217 -38
2218 -12
2219 -70
2221 -68
2222 -16
2223 -118
2224 80
2230 -93
2231 -93
2236 -86
2237 -16
2238 -129
2239 -129
2241 -16
2242 -4
2243 -86
2244 -65
2245 -199
2246 -125
2247 -228
2249 -44
2250 -4
2251 -39
2252 -65
2253 -199
2254 -125
2255 -228
2259 -86
2260 -74
2261 -43
2262 -41
2263 -82
2267 -39
2268 -89
2269 -43
2270 -41
2271 -82
2272 11
2273 -24
2275 -35
2277 -46
2279 -35
2283 -35
2285 -46
2287 -35
2288 14
2304 228
2305 177
2306 26
2308 26
2312 177
2315 -44
2317 -44
2320 180
2321 128
2327 -73
2328 132
2331 -22
2333 -73
2334 -96
2335 -55
2336 90
2337 88
2340 61
2341 26
2344 38
2352 12
2353 44
2368 90
2369 38
2370 61
2376 88
2378 26
2384 38
2385 38
2392 36
2400 4
2432 180
2433 132
2439 -96
2440 128
2443 -73
2445 -22
2446 -73
2447 -55
2448 128
2455 -62
2462 -62
2464 38
2465 36
2472 38
2496 12
2504 44
2560 68
2561 56
2564 94
2568 82
2572 2
2576 95
2577 25
2580 94
2584 78
2592 260
2593 226
2594 24
2596 60
2597 50
2600 22
2604 60
2608 222
2609 199
2612 2
2625 -76
2627 -38
2629 -50
2631 -49
2632 35
2633 -26
2639 -66
2644 30
2648 5
2656 16
2672 12
2673 46
2688 68
2689 28
2692 90
2694 -52
2695 -2
2696 132
2700 41
2701 -12
2702 -54
2704 113
2712 128
2720 36
2721 70
2724 60
2728 12
2732 60
2736 78
2737 43
2753 8
2755 50
2760 4
2768 24
2816 334
2817 266
2818 96
2819 6
2820 107
2824 252
2825 44
2828 15
2832 223
2833 195
2834 73
2835 66
2836 94
2837 12
2840 159
2841 22
2848 250
2849 226
2850 36
2852 140
2856 92
2864 222
2865 199
2868 6
2880 104
2881 74
2882 58
2883 23
2888 74
2896 63
2897 68
2898 27
2904 25
2912 51
2929 46
2944 246
2945 238
2946 26
2948 103
2952 232
2953 73
2956 54
2960 113
2961 67
2968 131
2976 94
2977 70
2984 70
2992 78
2993 43
3008 6
3010 -17
3016 39
3024 146
3025 16
3032 39
3048 35
3072 112
3073 58
3074 5
3076 90
3080 168
3082 -2
3083 -15
3085 -6
3086 -60
3087 -116
3088 188
3089 120
3092 118
3096 180
3102 -90
3103 -41
3104 4
3105 69
3108 18
3109 38
3112 4
3114 -60
3117 -23
3120 76
3121 86
3125 -50
3128 70
3136 88
3140 24
3144 82
3152 48
3156 35
3160 102
3184 20
3185 35
3200 141
3201 133
3204 20
3208 137
3210 -41
3211 -54
3213 -66
3214 -36
3215 -170
3216 252
3217 127
3220 33
3224 193
3233 36
3242 -60
3248 216
3249 86
3256 86
3264 100
3272 65
3280 48
3284 12
3288 89
3328 334
3329 252
3330 107
3331 15
3332 96
3336 266
3337 44
3340 6
3344 246
3345 232
3346 103
3347 54
3348 26
3352 238
3353 73
3360 104
3361 74
3364 58
3368 74
3372 23
3376 6
3377 39
3380 -17
3392 250
3393 92
3394 140
3396 36
3400 226
3408 94
3409 70
3416 70
3424 51
3441 35
3456 223
3457 159
3458 94
3460 73
3464 195
3465 22
3466 12
3468 66
3472 113
3473 131
3480 67
3488 63
3489 25
3492 27
3496 68
3504 146
3505 39
3512 16
3520 222
3522 6
3528 199
3536 78
3544 43
3560 46
3584 262
3585 175
3586 38
3588 152
3592 172
3596 60
3600 284
3601 214
3604 184
3605 2
3608 238
3609 96
3612 90
3616 179
3617 249
3618 28
3620 6
3621 49
3624 53
3632 195
3633 228
3634 6
3640 66
3648 47
3652 59
3656 148
3664 16
3665 38
3668 96
3672 60
3697 35
3712 209
3713 226
3714 42
3716 132
3720 196
3721 73
3722 54
3724 36
3728 324
3729 197
3732 94
3736 262
3737 62
3745 75
3746 12
3752 16
3760 183
3761 82
3768 129
3776 94
3777 35
3784 125
3792 71
3793 93
3796 16
3800 41
3840 404
3841 272
3842 208
3843 116
3844 208
3848 272
3852 116
3856 303
3857 278
3858 188
3859 170
3860 135
3864 183
3865 55
3868 41
3872 249
3873 249
3874 52
3876 109
3877 66
3880 123
3888 180
3889 228
3890 6
3896 66
3904 249
3905 123
3906 109
3908 52
3912 249
3914 66
3920 70
3921 118
3922 23
3928 75
3936 34
3953 35
3968 303
3969 183
3970 135
3971 41
3972 188
3976 278
3977 55
3980 170
3984 218
3985 181
3986 45
3988 45
3992 181
4000 70
4001 75
4004 23
4008 118
4016 183
4017 82
4024 129
4032 180
4033 66
4036 6
4040 228
4048 183
4049 129
4056 82
4072 35
