files / problems / thin-cyclic-bases / compute / bel_eval.json

3.1 KB · on GitHub

[
  {
    "r1": 19,
    "r2": 17,
    "n": 1938,
    "m": 76,
    "co": 21,
    "cu": 19,
    "degree": 75,
    "covered": 1938,
    "ok": true,
    "ratio": 1.7263812316121676,
    "bel": 1.632993161855452,
    "A": [
      0,
      2,
      8,
      14,
      19,
      20,
      102,
      133,
      172,
      204,
      214,
      247,
      256,
      298,
      306,
      326,
      332,
      338,
      340,
      361,
      408,
      475,
      510,
      589,
      612,
      646,
      650,
      656,
      662,
      688,
      703,
      714,
      730,
      772,
      814,
      816,
      817,
      918,
      931,
      974,
      980,
      986,
      1020,
      1045,
      1122,
      1159,
      1162,
      1204,
      1224,
      1246,
      1273,
      1288,
      1292,
      1298,
      1304,
      1310,
      1326,
      1387,
      1428,
      1501,
      1530,
      1615,
      1616,
      1622,
      1628,
      1632,
      1634,
      1636,
      1678,
      1720,
      1729,
      1734,
      1762,
      1804,
      1836,
      1843
    ],
    "q": 13,
    "A_preview": [
      0,
      2,
      8,
      14,
      19,
      20,
      102,
      133,
      172,
      204,
      214,
      247
    ]
  },
  {
    "r1": 25,
    "r2": 23,
    "n": 3450,
    "m": 100,
    "co": 27,
    "cu": 25,
    "degree": 99,
    "covered": 3450,
    "ok": true,
    "ratio": 1.7025130615174973,
    "bel": 1.632993161855452,
    "A": [
      0,
      2,
      8,
      14,
      20,
      25,
      26,
      138,
      175,
      276,
      325,
      328,
      382,
      414,
      436,
      475,
      490,
      544,
      552,
      578,
      584,
      590,
      596,
      598,
      625,
      690,
      775,
      828,
      925,
      966,
      1075,
      1104,
      1150,
      1154,
      1160,
      1166,
      1172,
      1204,
      1225,
      1242,
      1258,
      1312,
      1366,
      1375,
      1380,
      1420,
      1474,
      1518,
      1525,
      1656,
      1675,
      1730,
      1736,
      1742,
      1748,
      1794,
      1825,
      1932,
      1975,
      2026,
      2070,
      2080,
      2125,
      2134,
      2188,
      2208,
      2242,
      2275,
      2296,
      2300,
      2306,
      2312,
      2318,
      2324,
      2346,
      2425,
      2484,
      2575,
      2622,
      2725,
      2760,
      2875,
      2876,
      2882,
      2888,
      2894,
      2898,
      2900,
      2902,
      2956,
      3010,
      3025,
      3036,
      3064,
      3118,
      3172,
      3174,
      3175,
      3312,
      3325
    ],
    "q": 19,
    "A_preview": [
      0,
      2,
      8,
      14,
      20,
      25,
      26,
      138,
      175,
      276,
      325,
      328
    ]
  },
  {
    "r1": 37,
    "r2": 35,
    "n": 7770,
    "m": 148,
    "co": 39,
    "cu": 37,
    "degree": 147,
    "covered": 7770,
    "ok": true,
    "ratio": 1.6790019711267818,
    "bel": 1.632993161855452,
    "A": null,
    "q": 31,
    "A_preview": [
      0,
      2,
      8,
      14,
      20,
      26,
      32,
      37,
      38,
      210,
      259,
      420
    ]
  }
]