files / problems / hilbert16-degree-8 / compute / certs / census_span_classification.json
{
"what": "Exhaustive classification of the maximal (22-oval) T-curves supported by every triangulation of the arXiv:2602.06888 v3 degree-8 census.",
"method": "For each triangulation T the entire affine F_2 subspace eta + span{delta_S : S a Harnack split with edges in T} was swept by Gray code (compute/zonec.c). Haas' criterion (paper Thm 13) puts every maximal sign distribution on T inside that subspace, so a finished triangulation is an exhaustive answer, not a sample.",
"triangulations": 184,
"sign_distributions_evaluated": 230501440,
"all_of_them_22_oval_M_curves": true,
"distinct_M_schemes": [
"<10 u 1<11>>",
"<10 u 1<2 u 1<8>>>",
"<10 u 1<6 u 1<4>>>",
"<11 u 1<6 u 1<3>>>",
"<12 u 1<1> u 2<3>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<13 u 1<3> u 1<4>>",
"<13 u 1<6 u 1<1>>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<17 u 1<2 u 1<1>>>",
"<18 u 1<3>>",
"<5 u 1<10 u 1<5>>>",
"<5 u 1<14 u 1<1>>>",
"<5 u 1<1> u 1<14>>",
"<5 u 1<2> u 1<13>>",
"<5 u 1<3> u 1<12>>",
"<5 u 1<4> u 1<11>>",
"<5 u 1<5> u 1<10>>",
"<5 u 1<7> u 1<8>>",
"<6 u 1<10 u 1<4>>>",
"<6 u 1<15>>",
"<6 u 1<6 u 1<8>>>",
"<7 u 1<10 u 1<3>>>",
"<8 u 1<1> u 1<3> u 1<7>>",
"<8 u 1<1> u 2<5>>",
"<8 u 2<1> u 1<9>>",
"<8 u 2<3> u 1<5>>",
"<9 u 1<10 u 1<1>>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<2> u 1<9>>",
"<9 u 1<3> u 1<8>>",
"<9 u 1<4> u 1<7>>",
"<9 u 1<5> u 1<6>>",
"<9 u 1<6 u 1<5>>>"
],
"schemes_outside_the_published_2367": [],
"per_triangulation": [
{
"cert": "deg8/o01-p01-n00/(1).pcom",
"rank": 6,
"nsplits": 6,
"evals": 64,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o10-p09-n01/(1v1(1(7))).pcom",
"rank": 10,
"nsplits": 12,
"evals": 1024,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o13-p02-n11/(1(3)v1(8)).pcom",
"rank": 10,
"nsplits": 10,
"evals": 1024,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o14-p13-n01/(1(1(12))).pcom",
"rank": 10,
"nsplits": 10,
"evals": 1024,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o15-p14-n01/(10v1(1(3))).pcom",
"rank": 10,
"nsplits": 10,
"evals": 1024,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o17-p13-n04/(10v1(3v1(2))).pcom",
"rank": 10,
"nsplits": 11,
"evals": 1024,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o09-p08-n01/(1v1(1(6))).pcom",
"rank": 11,
"nsplits": 11,
"evals": 2048,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o10-p09-n01/(2v1(1(6))).pcom",
"rank": 11,
"nsplits": 11,
"evals": 2048,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o13-p02-n11/(1(2)v1(9)).pcom",
"rank": 11,
"nsplits": 11,
"evals": 2048,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o13-p04-n09/(1v3(3)).pcom",
"rank": 11,
"nsplits": 12,
"evals": 2048,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o15-p14-n01/(6v1(1(7))).pcom",
"rank": 11,
"nsplits": 11,
"evals": 2048,
"distinct_schemes": 2,
"schemes": [
"<10 u 1<11>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o16-p14-n02/(11v1(1v1(2))).pcom",
"rank": 11,
"nsplits": 12,
"evals": 2048,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o17-p15-n02/(12v1(1v1(2))).pcom",
"rank": 11,
"nsplits": 13,
"evals": 2048,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o13-p03-n10/(1(1)v1(2)v1(7)).pcom",
"rank": 12,
"nsplits": 12,
"evals": 4096,
"distinct_schemes": 2,
"schemes": [
"<13 u 1<1> u 1<6>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o13-p03-n10/(2(3)v1(4)).pcom",
"rank": 12,
"nsplits": 12,
"evals": 4096,
"distinct_schemes": 2,
"schemes": [
"<13 u 1<1> u 1<6>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o14-p02-n12/(1(3)v1(9)).pcom",
"rank": 12,
"nsplits": 12,
"evals": 4096,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o14-p03-n11/(1(1)v2(5)).pcom",
"rank": 12,
"nsplits": 13,
"evals": 4096,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o14-p03-n11/(1(3)v2(4)).pcom",
"rank": 12,
"nsplits": 16,
"evals": 4096,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o14-p08-n06/(1(5v1(7))).pcom",
"rank": 12,
"nsplits": 14,
"evals": 4096,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o16-p02-n14/(1(4)v1(10)).pcom",
"rank": 12,
"nsplits": 14,
"evals": 4096,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o16-p13-n03/(9v1(2v1(3))).pcom",
"rank": 12,
"nsplits": 15,
"evals": 4096,
"distinct_schemes": 2,
"schemes": [
"<10 u 1<11>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o17-p04-n13/(2v1(1)v1(12)).pcom",
"rank": 12,
"nsplits": 12,
"evals": 4096,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o18-p01-n17/(1(17)).pcom",
"rank": 12,
"nsplits": 13,
"evals": 4096,
"distinct_schemes": 2,
"schemes": [
"<14 u 1<7>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o18-p12-n06/(9v1(5v1(2))).pcom",
"rank": 12,
"nsplits": 12,
"evals": 4096,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o18-p15-n03/(13v1(2v1(1))).pcom",
"rank": 12,
"nsplits": 12,
"evals": 4096,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o11-p10-n01/(2v1(1(7))).pcom",
"rank": 13,
"nsplits": 15,
"evals": 8192,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o12-p03-n09/(2(1)v1(7)).pcom",
"rank": 13,
"nsplits": 13,
"evals": 8192,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o12-p08-n04/(1(3v1(7))).pcom",
"rank": 13,
"nsplits": 19,
"evals": 8192,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o12-p09-n03/(1(2v1(8))).pcom",
"rank": 13,
"nsplits": 13,
"evals": 8192,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o12-p11-n01/(3v1(1(7))).pcom",
"rank": 13,
"nsplits": 13,
"evals": 8192,
"distinct_schemes": 2,
"schemes": [
"<14 u 1<7>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o13-p12-n01/(4v1(1(7))).pcom",
"rank": 13,
"nsplits": 13,
"evals": 8192,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o13-p12-n01/(7v1(1(4))).pcom",
"rank": 13,
"nsplits": 15,
"evals": 8192,
"distinct_schemes": 2,
"schemes": [
"<10 u 1<11>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o14-p10-n04/(1v1(3v1(8))).pcom",
"rank": 13,
"nsplits": 14,
"evals": 8192,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o14-p13-n01/(10v1(1(2))).pcom",
"rank": 13,
"nsplits": 13,
"evals": 8192,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o15-p11-n04/(9v1(3v1(1))).pcom",
"rank": 13,
"nsplits": 15,
"evals": 8192,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o15-p13-n02/(10v1(1v1(2))).pcom",
"rank": 13,
"nsplits": 15,
"evals": 8192,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o16-p03-n13/(1v1(1)v1(12)).pcom",
"rank": 13,
"nsplits": 13,
"evals": 8192,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o16-p04-n12/(1(11v1(3))).pcom",
"rank": 13,
"nsplits": 13,
"evals": 8192,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o16-p11-n05/(9v1(4v1(1))).pcom",
"rank": 13,
"nsplits": 15,
"evals": 8192,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o16-p13-n03/(10v1(2v1(2))).pcom",
"rank": 13,
"nsplits": 16,
"evals": 8192,
"distinct_schemes": 2,
"schemes": [
"<10 u 1<11>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o16-p14-n02/(3v1(1v1(10))).pcom",
"rank": 13,
"nsplits": 15,
"evals": 8192,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o17-p16-n01/(14v1(1(1))).pcom",
"rank": 13,
"nsplits": 13,
"evals": 8192,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o18-p11-n07/(9v1(6v1(1))).pcom",
"rank": 13,
"nsplits": 13,
"evals": 8192,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o18-p13-n05/(10v1(4v1(2))).pcom",
"rank": 13,
"nsplits": 15,
"evals": 8192,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o18-p16-n02/(14v1(1v1(1))).pcom",
"rank": 13,
"nsplits": 13,
"evals": 8192,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o19-p04-n15/(2v1(3)v1(12)).pcom",
"rank": 13,
"nsplits": 13,
"evals": 8192,
"distinct_schemes": 3,
"schemes": [
"<10 u 1<11>>",
"<14 u 1<7>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o19-p15-n04/(3v1(3v1(11))).pcom",
"rank": 13,
"nsplits": 15,
"evals": 8192,
"distinct_schemes": 10,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o20-p11-n09/(3v1(8v1(7))).pcom",
"rank": 13,
"nsplits": 13,
"evals": 8192,
"distinct_schemes": 3,
"schemes": [
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o12-p03-n09/(3(3)).pcom",
"rank": 14,
"nsplits": 14,
"evals": 16384,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o12-p11-n01/(7v1(1(3))).pcom",
"rank": 14,
"nsplits": 15,
"evals": 16384,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o13-p08-n05/(1(4v1(7))).pcom",
"rank": 14,
"nsplits": 15,
"evals": 16384,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o13-p11-n02/(3v1(1v1(7))).pcom",
"rank": 14,
"nsplits": 16,
"evals": 16384,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o14-p02-n12/(1(2)v1(10)).pcom",
"rank": 14,
"nsplits": 15,
"evals": 16384,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o14-p02-n12/(1(4)v1(8)).pcom",
"rank": 14,
"nsplits": 17,
"evals": 16384,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o14-p12-n02/(8v1(1v1(3))).pcom",
"rank": 14,
"nsplits": 18,
"evals": 16384,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o14-p12-n02/(9v1(1v1(2))).pcom",
"rank": 14,
"nsplits": 16,
"evals": 16384,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o15-p03-n12/(1v1(1)v1(11)).pcom",
"rank": 14,
"nsplits": 18,
"evals": 16384,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o15-p03-n12/(1v1(2)v1(10)).pcom",
"rank": 14,
"nsplits": 14,
"evals": 16384,
"distinct_schemes": 8,
"schemes": [
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<13 u 1<3> u 1<4>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<4> u 1<7>>"
]
},
{
"cert": "deg8/o15-p03-n12/(2(1)v1(10)).pcom",
"rank": 14,
"nsplits": 16,
"evals": 16384,
"distinct_schemes": 3,
"schemes": [
"<10 u 1<11>>",
"<14 u 1<7>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o15-p14-n01/(3v1(1(10))).pcom",
"rank": 14,
"nsplits": 16,
"evals": 16384,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o16-p08-n08/(5v2(1)v1(6)).pcom",
"rank": 14,
"nsplits": 14,
"evals": 16384,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o17-p01-n16/(1(16)).pcom",
"rank": 14,
"nsplits": 14,
"evals": 16384,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o17-p02-n15/(1(3)v1(12)).pcom",
"rank": 14,
"nsplits": 14,
"evals": 16384,
"distinct_schemes": 6,
"schemes": [
"<13 u 1<1> u 1<6>>",
"<13 u 1<3> u 1<4>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<9 u 1<2> u 1<9>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o17-p03-n14/(2(1)v1(12)).pcom",
"rank": 14,
"nsplits": 16,
"evals": 16384,
"distinct_schemes": 3,
"schemes": [
"<10 u 1<11>>",
"<14 u 1<7>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o17-p05-n12/(1(11v1(4))).pcom",
"rank": 14,
"nsplits": 15,
"evals": 16384,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o18-p03-n15/(1(1)v1(6)v1(8)).pcom",
"rank": 14,
"nsplits": 16,
"evals": 16384,
"distinct_schemes": 10,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o18-p04-n14/(1v1(1)v1(6)v1(7)).pcom",
"rank": 14,
"nsplits": 16,
"evals": 16384,
"distinct_schemes": 10,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o12-p10-n02/(2v1(1v1(7))).pcom",
"rank": 15,
"nsplits": 15,
"evals": 32768,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o13-p03-n10/(1(2)v2(4)).pcom",
"rank": 15,
"nsplits": 15,
"evals": 32768,
"distinct_schemes": 2,
"schemes": [
"<14 u 1<7>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o13-p11-n02/(8v1(1v1(2))).pcom",
"rank": 15,
"nsplits": 20,
"evals": 32768,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o14-p02-n12/(1(1)v1(11)).pcom",
"rank": 15,
"nsplits": 22,
"evals": 32768,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o15-p13-n02/(8v1(1v1(4))).pcom",
"rank": 15,
"nsplits": 16,
"evals": 32768,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o17-p13-n04/(9v1(3v1(3))).pcom",
"rank": 15,
"nsplits": 17,
"evals": 32768,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o17-p16-n01/(4v1(1(11))).pcom",
"rank": 15,
"nsplits": 17,
"evals": 32768,
"distinct_schemes": 11,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o18-p14-n04/(12v1(3v1(1))).pcom",
"rank": 15,
"nsplits": 17,
"evals": 32768,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o18-p18-n00/(18).pcom",
"rank": 15,
"nsplits": 15,
"evals": 32768,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o20-p02-n18/(1(1)v1(17)).pcom",
"rank": 15,
"nsplits": 15,
"evals": 32768,
"distinct_schemes": 3,
"schemes": [
"<10 u 1<11>>",
"<14 u 1<7>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o20-p15-n05/(3v1(4v1(11))).pcom",
"rank": 15,
"nsplits": 17,
"evals": 32768,
"distinct_schemes": 10,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o13-p03-n10/(2(1)v1(8)).pcom",
"rank": 16,
"nsplits": 16,
"evals": 65536,
"distinct_schemes": 4,
"schemes": [
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o13-p12-n01/(8v1(1(3))).pcom",
"rank": 16,
"nsplits": 21,
"evals": 65536,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o14-p03-n11/(1(2)v1(4)v1(5)).pcom",
"rank": 16,
"nsplits": 17,
"evals": 65536,
"distinct_schemes": 7,
"schemes": [
"<12 u 1<1> u 2<3>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<3> u 1<4>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o14-p03-n11/(2(3)v1(5)).pcom",
"rank": 16,
"nsplits": 16,
"evals": 65536,
"distinct_schemes": 6,
"schemes": [
"<10 u 1<11>>",
"<13 u 1<1> u 1<6>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<9 u 1<1> u 1<10>>"
]
},
{
"cert": "deg8/o15-p02-n13/(1(1)v1(12)).pcom",
"rank": 16,
"nsplits": 17,
"evals": 65536,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o15-p06-n09/(3v2(1)v1(7)).pcom",
"rank": 16,
"nsplits": 17,
"evals": 65536,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o15-p13-n02/(9v1(1v1(3))).pcom",
"rank": 16,
"nsplits": 20,
"evals": 65536,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o16-p03-n13/(1(1)v2(6)).pcom",
"rank": 16,
"nsplits": 16,
"evals": 65536,
"distinct_schemes": 3,
"schemes": [
"<10 u 1<11>>",
"<14 u 1<7>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o16-p04-n12/(2v1(2)v1(10)).pcom",
"rank": 16,
"nsplits": 16,
"evals": 65536,
"distinct_schemes": 2,
"schemes": [
"<14 u 1<7>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o16-p13-n03/(1v1(2v1(11))).pcom",
"rank": 16,
"nsplits": 16,
"evals": 65536,
"distinct_schemes": 3,
"schemes": [
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o16-p15-n01/(3v1(1(11))).pcom",
"rank": 16,
"nsplits": 20,
"evals": 65536,
"distinct_schemes": 6,
"schemes": [
"<10 u 1<11>>",
"<13 u 1<1> u 1<6>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<9 u 1<1> u 1<10>>"
]
},
{
"cert": "deg8/o17-p02-n15/(1(2)v1(13)).pcom",
"rank": 16,
"nsplits": 20,
"evals": 65536,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o17-p02-n15/(1(5)v1(10)).pcom",
"rank": 16,
"nsplits": 20,
"evals": 65536,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o17-p03-n14/(1(1)v1(6)v1(7)).pcom",
"rank": 16,
"nsplits": 16,
"evals": 65536,
"distinct_schemes": 3,
"schemes": [
"<10 u 1<11>>",
"<14 u 1<7>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o17-p03-n14/(1(13v1(2))).pcom",
"rank": 16,
"nsplits": 17,
"evals": 65536,
"distinct_schemes": 8,
"schemes": [
"<10 u 1<11>>",
"<10 u 1<6 u 1<4>>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<3> u 1<4>>",
"<13 u 1<6 u 1<1>>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<9 u 1<10 u 1<1>>>"
]
},
{
"cert": "deg8/o17-p09-n08/(6v2(1)v1(6)).pcom",
"rank": 16,
"nsplits": 17,
"evals": 65536,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o18-p12-n06/(5v1(5v1(6))).pcom",
"rank": 16,
"nsplits": 17,
"evals": 65536,
"distinct_schemes": 8,
"schemes": [
"<10 u 1<11>>",
"<10 u 1<6 u 1<4>>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<3> u 1<4>>",
"<13 u 1<6 u 1<1>>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<9 u 1<10 u 1<1>>>"
]
},
{
"cert": "deg8/o19-p04-n15/(1v1(1)v1(6)v1(8)).pcom",
"rank": 16,
"nsplits": 16,
"evals": 65536,
"distinct_schemes": 10,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o19-p07-n12/(4v1(2)v1(4)v1(6)).pcom",
"rank": 16,
"nsplits": 20,
"evals": 65536,
"distinct_schemes": 3,
"schemes": [
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o19-p15-n04/(5v1(3v1(9))).pcom",
"rank": 16,
"nsplits": 20,
"evals": 65536,
"distinct_schemes": 10,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o20-p08-n12/(5v1(11v1(2))).pcom",
"rank": 16,
"nsplits": 16,
"evals": 65536,
"distinct_schemes": 8,
"schemes": [
"<10 u 1<11>>",
"<13 u 1<1> u 1<6>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<5 u 1<14 u 1<1>>>",
"<6 u 1<15>>",
"<9 u 1<10 u 1<1>>>"
]
},
{
"cert": "deg8/o20-p16-n04/(14v1(3v1(1))).pcom",
"rank": 16,
"nsplits": 23,
"evals": 65536,
"distinct_schemes": 4,
"schemes": [
"<10 u 1<11>>",
"<17 u 1<2 u 1<1>>>",
"<18 u 1<3>>",
"<9 u 1<1> u 1<10>>"
]
},
{
"cert": "deg8/o22-p07-n15/(5v1(14v1(1))).pcom",
"rank": 16,
"nsplits": 17,
"evals": 65536,
"distinct_schemes": 8,
"schemes": [
"<10 u 1<11>>",
"<13 u 1<1> u 1<6>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<5 u 1<14 u 1<1>>>",
"<6 u 1<15>>",
"<9 u 1<10 u 1<1>>>"
]
},
{
"cert": "deg8/o22-p07-n15/(5v1(3)v1(12)).pcom",
"rank": 16,
"nsplits": 18,
"evals": 65536,
"distinct_schemes": 10,
"schemes": [
"<10 u 1<11>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<3> u 1<4>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<5 u 1<1> u 1<14>>",
"<5 u 1<3> u 1<12>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<3> u 1<8>>"
]
},
{
"cert": "deg8/o22-p07-n15/(6v1(15)).pcom",
"rank": 16,
"nsplits": 20,
"evals": 65536,
"distinct_schemes": 8,
"schemes": [
"<10 u 1<11>>",
"<13 u 1<1> u 1<6>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<5 u 1<14 u 1<1>>>",
"<6 u 1<15>>",
"<9 u 1<10 u 1<1>>>"
]
},
{
"cert": "deg8/o22-p11-n11/(10v1(11)).pcom",
"rank": 16,
"nsplits": 18,
"evals": 65536,
"distinct_schemes": 2,
"schemes": [
"<10 u 1<11>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o22-p11-n11/(9v1(1)v1(10)).pcom",
"rank": 16,
"nsplits": 23,
"evals": 65536,
"distinct_schemes": 4,
"schemes": [
"<10 u 1<11>>",
"<17 u 1<2 u 1<1>>>",
"<18 u 1<3>>",
"<9 u 1<1> u 1<10>>"
]
},
{
"cert": "deg8/o22-p15-n07/(12v1(1)v2(3)).pcom",
"rank": 16,
"nsplits": 18,
"evals": 65536,
"distinct_schemes": 7,
"schemes": [
"<12 u 1<1> u 2<3>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<3> u 1<4>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o22-p15-n07/(13v1(6v1(1))).pcom",
"rank": 16,
"nsplits": 16,
"evals": 65536,
"distinct_schemes": 4,
"schemes": [
"<10 u 1<11>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<6 u 1<1>>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o14-p04-n10/(1v2(1)v1(8)).pcom",
"rank": 17,
"nsplits": 18,
"evals": 131072,
"distinct_schemes": 7,
"schemes": [
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 2<1> u 1<9>>",
"<9 u 1<1> u 1<10>>"
]
},
{
"cert": "deg8/o15-p02-n13/(1(2)v1(11)).pcom",
"rank": 17,
"nsplits": 20,
"evals": 131072,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o15-p02-n13/(1(3)v1(10)).pcom",
"rank": 17,
"nsplits": 22,
"evals": 131072,
"distinct_schemes": 3,
"schemes": [
"<13 u 1<1> u 1<6>>",
"<18 u 1<3>>",
"<9 u 1<2> u 1<9>>"
]
},
{
"cert": "deg8/o15-p02-n13/(1(4)v1(9)).pcom",
"rank": 17,
"nsplits": 18,
"evals": 131072,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o15-p04-n11/(1v1(1)v1(2)v1(8)).pcom",
"rank": 17,
"nsplits": 18,
"evals": 131072,
"distinct_schemes": 7,
"schemes": [
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 2<1> u 1<9>>",
"<9 u 1<1> u 1<10>>"
]
},
{
"cert": "deg8/o15-p09-n06/(1v1(5v1(7))).pcom",
"rank": 17,
"nsplits": 21,
"evals": 131072,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o17-p03-n14/(1(2)v2(6)).pcom",
"rank": 17,
"nsplits": 21,
"evals": 131072,
"distinct_schemes": 10,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o18-p11-n07/(1v1(6v1(9))).pcom",
"rank": 17,
"nsplits": 23,
"evals": 131072,
"distinct_schemes": 3,
"schemes": [
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o20-p02-n18/(1(7)v1(11)).pcom",
"rank": 17,
"nsplits": 21,
"evals": 131072,
"distinct_schemes": 10,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o20-p09-n11/(1v1(10v1(7))).pcom",
"rank": 17,
"nsplits": 19,
"evals": 131072,
"distinct_schemes": 3,
"schemes": [
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o22-p07-n15/(5v1(2)v1(13)).pcom",
"rank": 17,
"nsplits": 21,
"evals": 131072,
"distinct_schemes": 6,
"schemes": [
"<13 u 1<1> u 1<6>>",
"<14 u 1<7>>",
"<18 u 1<3>>",
"<5 u 1<2> u 1<13>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<2> u 1<9>>"
]
},
{
"cert": "deg8/o22-p11-n11/(6v1(10v1(4))).pcom",
"rank": 17,
"nsplits": 19,
"evals": 131072,
"distinct_schemes": 14,
"schemes": [
"<10 u 1<11>>",
"<10 u 1<6 u 1<4>>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<3> u 1<4>>",
"<13 u 1<6 u 1<1>>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<5 u 1<14 u 1<1>>>",
"<6 u 1<10 u 1<4>>>",
"<6 u 1<15>>",
"<9 u 1<10 u 1<1>>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<4> u 1<7>>"
]
},
{
"cert": "deg8/o22-p11-n11/(9v1(4)v1(7)).pcom",
"rank": 17,
"nsplits": 18,
"evals": 131072,
"distinct_schemes": 8,
"schemes": [
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<13 u 1<3> u 1<4>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<4> u 1<7>>"
]
},
{
"cert": "deg8/o13-p10-n03/(1(2v1(9))).pcom",
"rank": 18,
"nsplits": 21,
"evals": 262144,
"distinct_schemes": 3,
"schemes": [
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o13-p12-n01/(1v1(1(10))).pcom",
"rank": 18,
"nsplits": 26,
"evals": 262144,
"distinct_schemes": 3,
"schemes": [
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o13-p12-n01/(2v1(1(9))).pcom",
"rank": 18,
"nsplits": 26,
"evals": 262144,
"distinct_schemes": 3,
"schemes": [
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o14-p03-n11/(2(2)v1(7)).pcom",
"rank": 18,
"nsplits": 22,
"evals": 262144,
"distinct_schemes": 11,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o17-p07-n10/(4v1(1)v1(2)v1(7)).pcom",
"rank": 18,
"nsplits": 19,
"evals": 262144,
"distinct_schemes": 13,
"schemes": [
"<12 u 1<1> u 2<3>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<13 u 1<3> u 1<4>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<8 u 2<3> u 1<5>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<3> u 1<8>>"
]
},
{
"cert": "deg8/o18-p07-n11/(1(10v1(6))).pcom",
"rank": 18,
"nsplits": 31,
"evals": 262144,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o18-p08-n10/(5v1(1)v1(3)v1(6)).pcom",
"rank": 18,
"nsplits": 20,
"evals": 262144,
"distinct_schemes": 13,
"schemes": [
"<12 u 1<1> u 2<3>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<13 u 1<3> u 1<4>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<8 u 2<3> u 1<5>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<3> u 1<8>>"
]
},
{
"cert": "deg8/o18-p14-n04/(1v1(3v1(12))).pcom",
"rank": 18,
"nsplits": 20,
"evals": 262144,
"distinct_schemes": 11,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o18-p17-n01/(13v1(1(3))).pcom",
"rank": 18,
"nsplits": 25,
"evals": 262144,
"distinct_schemes": 3,
"schemes": [
"<10 u 1<11>>",
"<14 u 1<7>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o19-p11-n08/(1v1(7v1(9))).pcom",
"rank": 18,
"nsplits": 22,
"evals": 262144,
"distinct_schemes": 11,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o19-p11-n08/(8v1(7v1(2))).pcom",
"rank": 18,
"nsplits": 18,
"evals": 262144,
"distinct_schemes": 7,
"schemes": [
"<10 u 1<11>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<9 u 1<10 u 1<1>>>",
"<9 u 1<6 u 1<5>>>"
]
},
{
"cert": "deg8/o20-p06-n14/(1v1(13v1(4))).pcom",
"rank": 18,
"nsplits": 22,
"evals": 262144,
"distinct_schemes": 3,
"schemes": [
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o20-p19-n01/(18v1(1)).pcom",
"rank": 18,
"nsplits": 20,
"evals": 262144,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o22-p07-n15/(5v1(4)v1(11)).pcom",
"rank": 18,
"nsplits": 21,
"evals": 262144,
"distinct_schemes": 12,
"schemes": [
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<13 u 1<3> u 1<4>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<5 u 1<2> u 1<13>>",
"<5 u 1<4> u 1<11>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<2> u 1<9>>",
"<9 u 1<3> u 1<8>>",
"<9 u 1<4> u 1<7>>"
]
},
{
"cert": "deg8/o22-p07-n15/(5v1(7)v1(8)).pcom",
"rank": 18,
"nsplits": 21,
"evals": 262144,
"distinct_schemes": 13,
"schemes": [
"<10 u 1<11>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<13 u 1<3> u 1<4>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<5 u 1<1> u 1<14>>",
"<5 u 1<7> u 1<8>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<3> u 1<8>>",
"<9 u 1<4> u 1<7>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o22-p11-n11/(8v1(1)v1(3)v1(7)).pcom",
"rank": 18,
"nsplits": 23,
"evals": 262144,
"distinct_schemes": 12,
"schemes": [
"<12 u 1<1> u 2<3>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<3> u 1<4>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 1<3> u 1<7>>",
"<8 u 2<1> u 1<9>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<3> u 1<8>>"
]
},
{
"cert": "deg8/o11-p10-n01/(1v1(1(8))).pcom",
"rank": 19,
"nsplits": 21,
"evals": 524288,
"distinct_schemes": 15,
"schemes": [
"<10 u 1<11>>",
"<10 u 1<2 u 1<8>>>",
"<10 u 1<6 u 1<4>>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<13 u 1<3> u 1<4>>",
"<13 u 1<6 u 1<1>>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<17 u 1<2 u 1<1>>>",
"<18 u 1<3>>",
"<9 u 1<10 u 1<1>>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<3> u 1<8>>",
"<9 u 1<6 u 1<5>>>"
]
},
{
"cert": "deg8/o13-p04-n09/(1v2(1)v1(7)).pcom",
"rank": 19,
"nsplits": 24,
"evals": 524288,
"distinct_schemes": 4,
"schemes": [
"<13 u 1<1> u 1<6>>",
"<13 u 1<3> u 1<4>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o15-p14-n01/(7v1(1(6))).pcom",
"rank": 19,
"nsplits": 26,
"evals": 524288,
"distinct_schemes": 1,
"schemes": [
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o17-p13-n04/(1(3v1(12))).pcom",
"rank": 19,
"nsplits": 25,
"evals": 524288,
"distinct_schemes": 3,
"schemes": [
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o18-p15-n03/(1v1(2v1(13))).pcom",
"rank": 19,
"nsplits": 23,
"evals": 524288,
"distinct_schemes": 10,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o19-p16-n03/(1v1(2v1(14))).pcom",
"rank": 19,
"nsplits": 23,
"evals": 524288,
"distinct_schemes": 10,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o20-p08-n12/(4v1(11v1(3))).pcom",
"rank": 19,
"nsplits": 19,
"evals": 524288,
"distinct_schemes": 8,
"schemes": [
"<10 u 1<11>>",
"<11 u 1<6 u 1<3>>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<3> u 1<4>>",
"<13 u 1<6 u 1<1>>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<9 u 1<10 u 1<1>>>"
]
},
{
"cert": "deg8/o20-p16-n04/(11v1(3v1(4))).pcom",
"rank": 19,
"nsplits": 19,
"evals": 524288,
"distinct_schemes": 14,
"schemes": [
"<10 u 1<11>>",
"<11 u 1<6 u 1<3>>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<3> u 1<4>>",
"<13 u 1<6 u 1<1>>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<5 u 1<14 u 1<1>>>",
"<6 u 1<15>>",
"<7 u 1<10 u 1<3>>>",
"<9 u 1<10 u 1<1>>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<3> u 1<8>>"
]
},
{
"cert": "deg8/o22-p07-n15/(5v1(5)v1(10)).pcom",
"rank": 19,
"nsplits": 22,
"evals": 524288,
"distinct_schemes": 11,
"schemes": [
"<13 u 1<1> u 1<6>>",
"<13 u 1<3> u 1<4>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<5 u 1<2> u 1<13>>",
"<5 u 1<5> u 1<10>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<2> u 1<9>>",
"<9 u 1<3> u 1<8>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o22-p11-n11/(7v1(10v1(3))).pcom",
"rank": 19,
"nsplits": 19,
"evals": 524288,
"distinct_schemes": 14,
"schemes": [
"<10 u 1<11>>",
"<11 u 1<6 u 1<3>>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<3> u 1<4>>",
"<13 u 1<6 u 1<1>>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<5 u 1<14 u 1<1>>>",
"<6 u 1<15>>",
"<7 u 1<10 u 1<3>>>",
"<9 u 1<10 u 1<1>>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<3> u 1<8>>"
]
},
{
"cert": "deg8/o22-p11-n11/(9v1(3)v1(8)).pcom",
"rank": 19,
"nsplits": 20,
"evals": 524288,
"distinct_schemes": 8,
"schemes": [
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<13 u 1<3> u 1<4>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<3> u 1<8>>"
]
},
{
"cert": "deg8/o22-p11-n11/(9v1(5)v1(6)).pcom",
"rank": 19,
"nsplits": 20,
"evals": 524288,
"distinct_schemes": 7,
"schemes": [
"<10 u 1<11>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o22-p15-n07/(13v1(2)v1(5)).pcom",
"rank": 19,
"nsplits": 22,
"evals": 524288,
"distinct_schemes": 4,
"schemes": [
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o15-p03-n12/(2(3)v1(6)).pcom",
"rank": 20,
"nsplits": 20,
"evals": 1048576,
"distinct_schemes": 11,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o16-p14-n02/(9v1(1v1(4))).pcom",
"rank": 20,
"nsplits": 20,
"evals": 1048576,
"distinct_schemes": 12,
"schemes": [
"<10 u 1<11>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<5 u 1<10 u 1<5>>>",
"<5 u 1<14 u 1<1>>>",
"<6 u 1<15>>",
"<9 u 1<10 u 1<1>>>",
"<9 u 1<5> u 1<6>>",
"<9 u 1<6 u 1<5>>>"
]
},
{
"cert": "deg8/o18-p03-n15/(1(2)v1(6)v1(7)).pcom",
"rank": 20,
"nsplits": 20,
"evals": 1048576,
"distinct_schemes": 3,
"schemes": [
"<10 u 1<11>>",
"<14 u 1<7>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o19-p04-n15/(1(14v1(3))).pcom",
"rank": 20,
"nsplits": 29,
"evals": 1048576,
"distinct_schemes": 3,
"schemes": [
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o19-p07-n12/(1(11v1(6))).pcom",
"rank": 20,
"nsplits": 33,
"evals": 1048576,
"distinct_schemes": 3,
"schemes": [
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o19-p09-n10/(6v1(2)v2(4)).pcom",
"rank": 20,
"nsplits": 26,
"evals": 1048576,
"distinct_schemes": 3,
"schemes": [
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o19-p09-n10/(6v1(9v1(2))).pcom",
"rank": 20,
"nsplits": 20,
"evals": 1048576,
"distinct_schemes": 14,
"schemes": [
"<10 u 1<11>>",
"<11 u 1<6 u 1<3>>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<3> u 1<4>>",
"<13 u 1<6 u 1<1>>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<5 u 1<14 u 1<1>>>",
"<6 u 1<15>>",
"<7 u 1<10 u 1<3>>>",
"<9 u 1<10 u 1<1>>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<3> u 1<8>>"
]
},
{
"cert": "deg8/o20-p04-n16/(1(15v1(3))).pcom",
"rank": 20,
"nsplits": 33,
"evals": 1048576,
"distinct_schemes": 3,
"schemes": [
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o20-p11-n09/(1(8v1(10))).pcom",
"rank": 20,
"nsplits": 20,
"evals": 1048576,
"distinct_schemes": 10,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o21-p07-n14/(5v1(3)v1(11)).pcom",
"rank": 20,
"nsplits": 28,
"evals": 1048576,
"distinct_schemes": 8,
"schemes": [
"<10 u 1<11>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o22-p15-n07/(14v1(7)).pcom",
"rank": 20,
"nsplits": 22,
"evals": 1048576,
"distinct_schemes": 3,
"schemes": [
"<10 u 1<11>>",
"<14 u 1<7>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o22-p15-n07/(6v1(6v1(8))).pcom",
"rank": 20,
"nsplits": 24,
"evals": 1048576,
"distinct_schemes": 24,
"schemes": [
"<10 u 1<11>>",
"<10 u 1<2 u 1<8>>>",
"<10 u 1<6 u 1<4>>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<13 u 1<3> u 1<4>>",
"<13 u 1<6 u 1<1>>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<17 u 1<2 u 1<1>>>",
"<18 u 1<3>>",
"<5 u 1<10 u 1<5>>>",
"<5 u 1<14 u 1<1>>>",
"<5 u 1<1> u 1<14>>",
"<5 u 1<7> u 1<8>>",
"<6 u 1<10 u 1<4>>>",
"<6 u 1<15>>",
"<6 u 1<6 u 1<8>>>",
"<9 u 1<10 u 1<1>>>",
"<9 u 1<1> u 1<10>>",
"<9 u 1<3> u 1<8>>",
"<9 u 1<4> u 1<7>>",
"<9 u 1<5> u 1<6>>",
"<9 u 1<6 u 1<5>>>"
]
},
{
"cert": "deg8/o22-p19-n03/(16v3(1)).pcom",
"rank": 20,
"nsplits": 22,
"evals": 1048576,
"distinct_schemes": 3,
"schemes": [
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o22-p19-n03/(17v1(1)v1(2)).pcom",
"rank": 20,
"nsplits": 25,
"evals": 1048576,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o22-p19-n03/(17v1(2v1(1))).pcom",
"rank": 20,
"nsplits": 21,
"evals": 1048576,
"distinct_schemes": 7,
"schemes": [
"<10 u 1<11>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<6 u 1<1>>>",
"<14 u 1<7>>",
"<17 u 1<2 u 1<1>>>",
"<18 u 1<3>>",
"<9 u 1<1> u 1<10>>"
]
},
{
"cert": "deg8/o14-p11-n03/(3v1(2v1(7))).pcom",
"rank": 21,
"nsplits": 27,
"evals": 2097152,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o18-p13-n05/(1(4v1(12))).pcom",
"rank": 21,
"nsplits": 29,
"evals": 2097152,
"distinct_schemes": 10,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o21-p03-n18/(2v1(18)).pcom",
"rank": 21,
"nsplits": 21,
"evals": 2097152,
"distinct_schemes": 2,
"schemes": [
"<10 u 1<11>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o22-p11-n11/(5v1(10v1(5))).pcom",
"rank": 21,
"nsplits": 22,
"evals": 2097152,
"distinct_schemes": 12,
"schemes": [
"<10 u 1<11>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<5 u 1<10 u 1<5>>>",
"<5 u 1<14 u 1<1>>>",
"<6 u 1<15>>",
"<9 u 1<10 u 1<1>>>",
"<9 u 1<5> u 1<6>>",
"<9 u 1<6 u 1<5>>>"
]
},
{
"cert": "deg8/o22-p11-n11/(8v1(1)v2(5)).pcom",
"rank": 21,
"nsplits": 21,
"evals": 2097152,
"distinct_schemes": 10,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o14-p03-n11/(1(1)v1(2)v1(8)).pcom",
"rank": 22,
"nsplits": 22,
"evals": 4194304,
"distinct_schemes": 10,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o21-p07-n14/(5v1(4)v1(10)).pcom",
"rank": 22,
"nsplits": 29,
"evals": 4194304,
"distinct_schemes": 8,
"schemes": [
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<13 u 1<3> u 1<4>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<9 u 1<2> u 1<9>>",
"<9 u 1<4> u 1<7>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o22-p07-n15/(5v1(1)v1(14)).pcom",
"rank": 22,
"nsplits": 22,
"evals": 4194304,
"distinct_schemes": 6,
"schemes": [
"<10 u 1<11>>",
"<13 u 1<1> u 1<6>>",
"<14 u 1<7>>",
"<18 u 1<3>>",
"<5 u 1<1> u 1<14>>",
"<9 u 1<1> u 1<10>>"
]
},
{
"cert": "deg8/o22-p11-n11/(9v1(10v1(1))).pcom",
"rank": 22,
"nsplits": 23,
"evals": 4194304,
"distinct_schemes": 4,
"schemes": [
"<10 u 1<11>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<9 u 1<10 u 1<1>>>"
]
},
{
"cert": "deg8/o22-p15-n07/(11v1(6v1(3))).pcom",
"rank": 22,
"nsplits": 28,
"evals": 4194304,
"distinct_schemes": 8,
"schemes": [
"<10 u 1<11>>",
"<11 u 1<6 u 1<3>>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<3> u 1<4>>",
"<13 u 1<6 u 1<1>>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<9 u 1<10 u 1<1>>>"
]
},
{
"cert": "deg8/o09-p06-n03/(1(2v1(5))).pcom",
"rank": 23,
"nsplits": 23,
"evals": 8388608,
"distinct_schemes": 10,
"schemes": [
"<10 u 1<11>>",
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o19-p15-n04/(8v1(3v1(6))).pcom",
"rank": 23,
"nsplits": 23,
"evals": 8388608,
"distinct_schemes": 4,
"schemes": [
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o20-p03-n17/(1(16v1(2))).pcom",
"rank": 23,
"nsplits": 39,
"evals": 8388608,
"distinct_schemes": 3,
"schemes": [
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o20-p06-n14/(4v1(6)v1(8)).pcom",
"rank": 23,
"nsplits": 23,
"evals": 8388608,
"distinct_schemes": 6,
"schemes": [
"<10 u 1<11>>",
"<13 u 1<1> u 1<6>>",
"<14 u 1<7>>",
"<18 u 1<3>>",
"<5 u 1<1> u 1<14>>",
"<9 u 1<1> u 1<10>>"
]
},
{
"cert": "deg8/o22-p15-n07/(12v2(1)v1(5)).pcom",
"rank": 23,
"nsplits": 27,
"evals": 8388608,
"distinct_schemes": 7,
"schemes": [
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o22-p19-n03/(18v1(3)).pcom",
"rank": 23,
"nsplits": 24,
"evals": 8388608,
"distinct_schemes": 2,
"schemes": [
"<10 u 1<11>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o10-p03-n07/(1(1)v1(2)v1(4)).pcom",
"rank": 24,
"nsplits": 26,
"evals": 16777216,
"distinct_schemes": 8,
"schemes": [
"<12 u 2<1> u 1<5>>",
"<13 u 1<1> u 1<6>>",
"<13 u 1<2> u 1<5>>",
"<14 u 1<7>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<8 u 1<1> u 2<5>>",
"<9 u 1<1> u 1<10>>"
]
},
{
"cert": "deg8/o18-p03-n15/(1(14v1(2))).pcom",
"rank": 24,
"nsplits": 40,
"evals": 16777216,
"distinct_schemes": 3,
"schemes": [
"<16 u 3<1>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>"
]
},
{
"cert": "deg8/o19-p18-n01/(15v1(1(2))).pcom",
"rank": 24,
"nsplits": 33,
"evals": 16777216,
"distinct_schemes": 6,
"schemes": [
"<13 u 1<1> u 1<6>>",
"<13 u 1<3> u 1<4>>",
"<17 u 1<1> u 1<2>>",
"<18 u 1<3>>",
"<9 u 1<2> u 1<9>>",
"<9 u 1<5> u 1<6>>"
]
},
{
"cert": "deg8/o20-p19-n01/(17v1(1(1))).pcom",
"rank": 26,
"nsplits": 39,
"evals": 67108864,
"distinct_schemes": 2,
"schemes": [
"<17 u 1<2 u 1<1>>>",
"<18 u 1<3>>"
]
}
]
}