back to table · edit · history · where entries came from · files · download
11555 bytes, as of the version from 2026-10-28 23:47 (current). Recorded here, not run.
{
"description": "Exact coefficient arrays for F_mn(b) and even-subgraph counts, independently computed. Coefficient index is the exponent.",
"rows": [
{
"m": 2,
"n": 2,
"cut_counts": [
2,
0,
12,
0,
2
],
"even_counts": [
1,
0,
0,
0,
1
]
},
{
"m": 2,
"n": 3,
"cut_counts": [
2,
0,
12,
18,
18,
12,
0,
2
],
"even_counts": [
1,
0,
0,
0,
2,
0,
1,
0
]
},
{
"m": 2,
"n": 4,
"cut_counts": [
2,
0,
14,
24,
48,
80,
48,
24,
14,
0,
2
],
"even_counts": [
1,
0,
0,
0,
3,
0,
2,
0,
2,
0,
0
]
},
{
"m": 2,
"n": 5,
"cut_counts": [
2,
0,
16,
32,
68,
170,
224,
224,
170,
68,
32,
16,
0,
2
],
"even_counts": [
1,
0,
0,
0,
4,
0,
3,
0,
5,
0,
3,
0,
0,
0
]
},
{
"m": 2,
"n": 6,
"cut_counts": [
2,
0,
18,
40,
92,
264,
462,
720,
900,
720,
462,
264,
92,
40,
18,
0,
2
],
"even_counts": [
1,
0,
0,
0,
5,
0,
4,
0,
9,
0,
8,
0,
5,
0,
0,
0,
0
]
},
{
"m": 3,
"n": 3,
"cut_counts": [
2,
0,
8,
32,
46,
96,
144,
96,
46,
32,
8,
0,
2
],
"even_counts": [
1,
0,
0,
0,
4,
0,
4,
0,
7,
0,
0,
0,
0
]
},
{
"m": 3,
"n": 4,
"cut_counts": [
2,
0,
8,
34,
64,
172,
362,
588,
818,
818,
588,
362,
172,
64,
34,
8,
0,
2
],
"even_counts": [
1,
0,
0,
0,
6,
0,
7,
0,
20,
0,
21,
0,
9,
0,
0,
0,
0,
0
]
},
{
"m": 3,
"n": 5,
"cut_counts": [
2,
0,
8,
40,
74,
220,
592,
1208,
2278,
3812,
5238,
5824,
5238,
3812,
2278,
1208,
592,
220,
74,
40,
8,
0,
2
],
"even_counts": [
1,
0,
0,
0,
8,
0,
10,
0,
37,
0,
56,
0,
82,
0,
54,
0,
8,
0,
0,
0,
0,
0,
0
]
},
{
"m": 3,
"n": 6,
"cut_counts": [
2,
0,
8,
46,
88,
264,
800,
1872,
4114,
8496,
15464,
24606,
34296,
41016,
41016,
34296,
24606,
15464,
8496,
4114,
1872,
800,
264,
88,
46,
8,
0,
2
],
"even_counts": [
1,
0,
0,
0,
10,
0,
13,
0,
58,
0,
103,
0,
210,
0,
283,
0,
257,
0,
81,
0,
8,
0,
0,
0,
0,
0,
0,
0
]
},
{
"m": 4,
"n": 4,
"cut_counts": [
2,
0,
8,
32,
72,
224,
584,
1216,
2638,
4928,
7344,
9984,
11472,
9984,
7344,
4928,
2638,
1216,
584,
224,
72,
32,
8,
0,
2
],
"even_counts": [
1,
0,
0,
0,
9,
0,
12,
0,
50,
0,
92,
0,
158,
0,
116,
0,
69,
0,
4,
0,
1,
0,
0,
0,
0
]
},
{
"m": 4,
"n": 5,
"cut_counts": [
2,
0,
8,
36,
76,
250,
752,
1820,
4344,
10104,
20602,
38156,
65364,
98836,
131080,
152858,
152858,
131080,
98836,
65364,
38156,
20602,
10104,
4344,
1820,
752,
250,
76,
36,
8,
0,
2
],
"even_counts": [
1,
0,
0,
0,
12,
0,
17,
0,
89,
0,
196,
0,
499,
0,
856,
0,
1060,
0,
880,
0,
409,
0,
67,
0,
10,
0,
0,
0,
0,
0,
0,
0
]
},
{
"m": 4,
"n": 6,
"cut_counts": [
2,
0,
8,
40,
86,
280,
902,
2328,
6132,
15520,
36266,
79712,
164222,
314896,
555804,
899880,
1327336,
1764408,
2103546,
2234480,
2103546,
1764408,
1327336,
899880,
555804,
314896,
164222,
79712,
36266,
15520,
6132,
2328,
902,
280,
86,
40,
8,
0,
2
],
"even_counts": [
1,
0,
0,
0,
15,
0,
22,
0,
137,
0,
330,
0,
1021,
0,
2302,
0,
4672,
0,
7016,
0,
7857,
0,
5926,
0,
2717,
0,
654,
0,
91,
0,
6,
0,
1,
0,
0,
0,
0,
0,
0
]
},
{
"m": 5,
"n": 5,
"cut_counts": [
2,
0,
8,
40,
78,
256,
884,
2312,
5962,
15544,
37412,
84424,
180616,
362136,
672908,
1157160,
1837876,
2658328,
3474900,
4108408,
4355924,
4108408,
3474900,
2658328,
1837876,
1157160,
672908,
362136,
180616,
84424,
37412,
15544,
5962,
2312,
884,
256,
78,
40,
8,
0,
2
],
"even_counts": [
1,
0,
0,
0,
16,
0,
24,
0,
157,
0,
396,
0,
1316,
0,
3232,
0,
7059,
0,
11496,
0,
15168,
0,
14056,
0,
8903,
0,
2988,
0,
652,
0,
64,
0,
8,
0,
0,
0,
0,
0,
0,
0,
0
]
},
{
"m": 5,
"n": 6,
"cut_counts": [
2,
0,
8,
44,
88,
274,
1012,
2748,
7458,
20848,
54020,
133984,
322128,
738314,
1607784,
3332792,
6542614,
12108512,
21069584,
34287436,
51960806,
73064022,
94821196,
113108464,
123686774,
123686774,
113108464,
94821196,
73064022,
51960806,
34287436,
21069584,
12108512,
6542614,
3332792,
1607784,
738314,
322128,
133984,
54020,
20848,
7458,
2748,
1012,
274,
88,
44,
8,
0,
2
],
"even_counts": [
1,
0,
0,
0,
20,
0,
31,
0,
241,
0,
652,
0,
2538,
0,
7323,
0,
20760,
0,
49052,
0,
98603,
0,
162975,
0,
215693,
0,
219076,
0,
160880,
0,
79437,
0,
25249,
0,
5156,
0,
807,
0,
74,
0,
8,
0,
0,
0,
0,
0,
0,
0,
0,
0
]
},
{
"m": 6,
"n": 6,
"cut_counts": [
2,
0,
8,
48,
100,
288,
1132,
3168,
8824,
25744,
71064,
186624,
484210,
1214336,
2931560,
6853760,
15444302,
33435520,
69487240,
138380976,
263185168,
476852512,
821190292,
1340056928,
2065952532,
3000507536,
4093604824,
5230849920,
6244335166,
6951501824,
7206345520,
6951501824,
6244335166,
5230849920,
4093604824,
3000507536,
2065952532,
1340056928,
821190292,
476852512,
263185168,
138380976,
69487240,
33435520,
15444302,
6853760,
2931560,
1214336,
484210,
186624,
71064,
25744,
8824,
3168,
1132,
288,
100,
48,
8,
0,
2
],
"even_counts": [
1,
0,
0,
0,
25,
0,
40,
0,
370,
0,
1064,
0,
4806,
0,
15680,
0,
53479,
0,
158664,
0,
431435,
0,
1019488,
0,
2106432,
0,
3698896,
0,
5455760,
0,
6541104,
0,
6183203,
0,
4417904,
0,
2317227,
0,
860600,
0,
233438,
0,
46536,
0,
7322,
0,
848,
0,
101,
0,
8,
0,
1,
0,
0,
0,
0,
0,
0,
0,
0
]
}
]
}