back to table · edit · history · where entries came from · files · download
17245 bytes, as of the version from 2026-10-28 23:47 (current). Recorded here, not run.
{
"table": "T593",
"all_passed": true,
"entries": 15,
"stored_readback": false,
"minimum_accuracy_bits": 416,
"seconds": 12.889060656074435,
"rows": [
{
"m": 2,
"n": 2,
"number": "0.2157831666376933281946040861359496957241827261972096970025065696551868527854881909168439145184254566",
"accuracy_bits": 421,
"variance_B_exact_coefficients": [
"40/9",
"0"
],
"cut_counts": [
2,
0,
12,
0,
2
],
"even_counts": [
1,
0,
0,
0,
1
],
"direct_spin_enumeration": true,
"independent_enclosure_contained_in_written_interval": true
},
{
"m": 2,
"n": 3,
"number": "0.2706320002842541103290293605386992043533140975648563556073647856419379890812416752725781447093476186",
"accuracy_bits": 420,
"variance_B_exact_coefficients": [
"22630/5041",
"13802/5041"
],
"cut_counts": [
2,
0,
12,
18,
18,
12,
0,
2
],
"even_counts": [
1,
0,
0,
0,
2,
0,
1,
0
],
"direct_spin_enumeration": true,
"independent_enclosure_contained_in_written_interval": true
},
{
"m": 2,
"n": 4,
"number": "0.2996405544033801196400168343775828711101600333927821035729279051992834092240493280316426518645456477",
"accuracy_bits": 419,
"variance_B_exact_coefficients": [
"201364/37249",
"182724/37249"
],
"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
],
"direct_spin_enumeration": true,
"independent_enclosure_contained_in_written_interval": true
},
{
"m": 2,
"n": 5,
"number": "0.3172966356426459624784187396056319930965843667682032172762931499738005950299653384060338132460553482",
"accuracy_bits": 419,
"variance_B_exact_coefficients": [
"20555454/3598609",
"27039410/3598609"
],
"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
],
"direct_spin_enumeration": true,
"independent_enclosure_contained_in_written_interval": true
},
{
"m": 2,
"n": 6,
"number": "0.3291063115016030434116774629152506552717333136072156202506333055289148410968041093150733213700920900",
"accuracy_bits": 418,
"variance_B_exact_coefficients": [
"145587368/23049601",
"228494856/23049601"
],
"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
],
"direct_spin_enumeration": true,
"independent_enclosure_contained_in_written_interval": true
},
{
"m": 3,
"n": 3,
"number": "0.3453754935525310123463312017846044906140822980656708469001842798588506262614465488827569841452065270",
"accuracy_bits": 419,
"variance_B_exact_coefficients": [
"53840/25921",
"255296/25921"
],
"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
],
"direct_spin_enumeration": true,
"independent_enclosure_contained_in_written_interval": true
},
{
"m": 3,
"n": 4,
"number": "0.3877742202543160040374944383032611368287290868266506668572262258849196363137128570553045567302239630",
"accuracy_bits": 418,
"variance_B_exact_coefficients": [
"551686618/99820081",
"1301130030/99820081"
],
"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
],
"direct_spin_enumeration": true,
"independent_enclosure_contained_in_written_interval": true
},
{
"m": 3,
"n": 5,
"number": "0.4144530076583395505853848241643533073520299487301042681047508116375682851397935715136713764746035557",
"accuracy_bits": 417,
"variance_B_exact_coefficients": [
"155574855012/19101727681",
"322370508956/19101727681"
],
"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
],
"direct_spin_enumeration": true,
"independent_enclosure_contained_in_written_interval": true
},
{
"m": 3,
"n": 6,
"number": "0.4325402225624607997782860977984645594745613091430397087093598186719173770181898102517678051211012971",
"accuracy_bits": 417,
"variance_B_exact_coefficients": [
"2689039561506/241939048129",
"4957073889606/241939048129"
],
"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
],
"direct_spin_enumeration": false,
"independent_enclosure_contained_in_written_interval": true
},
{
"m": 4,
"n": 4,
"number": "0.4408498357294446919755792360738487955505412562934869095192835726127152481319122813842473587416267999",
"accuracy_bits": 417,
"variance_B_exact_coefficients": [
"1632340384/95082001",
"1287694976/95082001"
],
"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
],
"direct_spin_enumeration": true,
"independent_enclosure_contained_in_written_interval": true
},
{
"m": 4,
"n": 5,
"number": "0.4756114002141278499885212008038966733116039530098632359608006064373566080612767806427808655505302799",
"accuracy_bits": 416,
"variance_B_exact_coefficients": [
"9999164096596970/523966429237969",
"11076765842117486/523966429237969"
],
"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
],
"direct_spin_enumeration": false,
"independent_enclosure_contained_in_written_interval": true
},
{
"m": 4,
"n": 6,
"number": "0.4997263102351443117554132830410410410497289548400672232736360269539892605806045836204975133812120871",
"accuracy_bits": 416,
"variance_B_exact_coefficients": [
"9092043774320245044/299441254211034049",
"6647108015306728916/299441254211034049"
],
"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
],
"direct_spin_enumeration": false,
"independent_enclosure_contained_in_written_interval": true
},
{
"m": 5,
"n": 5,
"number": "0.5171605116052377268356063032917556027632247382178696247438293262532427363651783352698847843307510992",
"accuracy_bits": 417,
"variance_B_exact_coefficients": [
"1141069688726820080/39152353672594369",
"1036238794403903936/39152353672594369"
],
"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
],
"direct_spin_enumeration": false,
"independent_enclosure_contained_in_written_interval": true
},
{
"m": 5,
"n": 6,
"number": "0.5467488780900944149632054135055402387419304923472886518246336801760892825535527387072844332283900600",
"accuracy_bits": 416,
"variance_B_exact_coefficients": [
"8725995427904253183583062/215357958517457891027281",
"6691389839468157706370098/215357958517457891027281"
],
"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
],
"direct_spin_enumeration": false,
"independent_enclosure_contained_in_written_interval": true
},
{
"m": 6,
"n": 6,
"number": "0.5810716307097933472443896471972355015231029732870898531628350345241978991505752874309836907572130906",
"accuracy_bits": 416,
"variance_B_exact_coefficients": [
"3091063910590530293822822568/49514749648154588768361169",
"1585593049105837190802909440/49514749648154588768361169"
],
"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
],
"direct_spin_enumeration": false,
"independent_enclosure_contained_in_written_interval": true
}
]
}