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