{
  "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
    }
  ]
}