files / problems / hilbert16-degree-8 / compute / certs / mcert_collections.json
{
"<5v1<1>v1<14>>": {
"cert": "deg8/o22-p07-n15/(5v1(1)v1(14)).pcom",
"nsplits": 22,
"sign_equivalence": {
"eps": 1,
"i": 0,
"j": 0
},
"collection": [
[
[
0,
4
],
[
3,
0
]
],
[
[
0,
5
],
[
3,
0
]
],
[
[
3,
5
],
[
5,
0
]
],
[
[
4,
4
],
[
7,
0
]
],
[
[
5,
3
],
[
7,
0
]
],
[
[
0,
2
],
[
1,
1
],
[
2,
0
]
],
[
[
0,
1
],
[
1,
1
],
[
0,
3
]
],
[
[
0,
4
],
[
2,
1
],
[
2,
0
]
],
[
[
0,
5
],
[
2,
2
],
[
0,
7
]
],
[
[
3,
0
],
[
2,
5
],
[
5,
0
]
],
[
[
1,
7
],
[
4,
2
],
[
3,
5
]
],
[
[
4,
4
],
[
5,
1
],
[
6,
0
]
]
]
},
"<5v1<14v1<1>>>": {
"cert": "deg8/o22-p07-n15/(5v1(14v1(1))).pcom",
"nsplits": 17,
"sign_equivalence": {
"eps": 1,
"i": 1,
"j": 0
},
"collection": [
[
[
0,
7
],
[
5,
0
]
],
[
[
1,
7
],
[
5,
0
]
],
[
[
5,
3
],
[
7,
0
]
],
[
[
6,
2
],
[
7,
0
]
],
[
[
0,
4
],
[
1,
3
],
[
0,
6
]
],
[
[
0,
6
],
[
2,
3
],
[
4,
0
]
],
[
[
2,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
2,
6
],
[
6,
1
],
[
4,
4
]
]
]
},
"<5v1<2>v1<13>>": {
"cert": "deg8/o22-p07-n15/(5v1(2)v1(13)).pcom",
"nsplits": 21,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 1
},
"collection": [
[
[
1,
0
],
[
5,
3
]
],
[
[
0,
1
],
[
3,
2
],
[
0,
7
]
],
[
[
1,
7
],
[
3,
2
],
[
5,
3
]
]
]
},
"<5v1<3>v1<12>>": {
"cert": "deg8/o22-p07-n15/(5v1(3)v1(12)).pcom",
"nsplits": 18,
"sign_equivalence": {
"eps": 1,
"i": 0,
"j": 0
},
"collection": [
[
[
0,
3
],
[
3,
5
]
],
[
[
0,
3
],
[
5,
0
]
],
[
[
4,
4
],
[
2,
3
],
[
6,
0
]
],
[
[
3,
5
],
[
2,
3
],
[
7,
1
]
]
]
},
"<5v1<4>v1<11>>": {
"cert": "deg8/o22-p07-n15/(5v1(4)v1(11)).pcom",
"nsplits": 21,
"sign_equivalence": {
"eps": 0,
"i": 0,
"j": 1
},
"collection": [
[
[
0,
3
],
[
3,
5
]
],
[
[
0,
0
],
[
2,
3
],
[
4,
0
]
],
[
[
1,
0
],
[
2,
3
],
[
7,
0
]
],
[
[
3,
5
],
[
2,
3
],
[
7,
1
]
]
]
},
"<5v1<5>v1<10>>": {
"cert": "deg8/o22-p07-n15/(5v1(5)v1(10)).pcom",
"nsplits": 22,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 1
},
"collection": [
[
[
0,
3
],
[
3,
5
]
],
[
[
4,
0
],
[
2,
3
],
[
4,
4
]
],
[
[
1,
0
],
[
2,
3
],
[
7,
0
]
],
[
[
3,
5
],
[
2,
3
],
[
7,
1
]
]
]
},
"<5v1<7>v1<8>>": {
"cert": "deg8/o22-p07-n15/(5v1(7)v1(8)).pcom",
"nsplits": 21,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 0
},
"collection": [
[
[
0,
3
],
[
3,
5
]
],
[
[
1,
0
],
[
5,
3
]
],
[
[
0,
0
],
[
1,
2
],
[
4,
4
]
],
[
[
3,
5
],
[
1,
2
],
[
5,
3
]
]
]
},
"<6v1<15>>": {
"cert": "deg8/o22-p07-n15/(6v1(15)).pcom",
"nsplits": 20,
"sign_equivalence": {
"eps": 1,
"i": 1,
"j": 0
},
"collection": [
[
[
0,
5
],
[
7,
0
]
],
[
[
0,
5
],
[
7,
1
]
],
[
[
0,
0
],
[
1,
1
],
[
2,
0
]
],
[
[
1,
0
],
[
1,
1
],
[
3,
0
]
],
[
[
0,
3
],
[
1,
4
],
[
0,
5
]
],
[
[
0,
6
],
[
1,
5
],
[
0,
8
]
],
[
[
0,
5
],
[
1,
5
],
[
0,
7
]
],
[
[
1,
7
],
[
1,
6
],
[
3,
5
]
]
]
},
"<10v1<11>>": {
"cert": "deg8/o22-p11-n11/(10v1(11)).pcom",
"nsplits": 18,
"sign_equivalence": {
"eps": 1,
"i": 1,
"j": 0
},
"collection": [
[
[
0,
7
],
[
5,
0
]
],
[
[
6,
2
],
[
7,
0
]
],
[
[
0,
0
],
[
1,
1
],
[
2,
0
]
],
[
[
0,
2
],
[
1,
2
],
[
0,
4
]
],
[
[
0,
1
],
[
1,
2
],
[
0,
5
]
],
[
[
2,
6
],
[
3,
4
],
[
6,
0
]
]
]
},
"<5v1<10v1<5>>>": {
"cert": "deg8/o22-p11-n11/(5v1(10v1(5))).pcom",
"nsplits": 22,
"sign_equivalence": {
"eps": 0,
"i": 0,
"j": 0
},
"collection": [
[
[
0,
1
],
[
1,
0
]
],
[
[
0,
2
],
[
1,
0
]
],
[
[
0,
3
],
[
1,
0
]
],
[
[
0,
4
],
[
1,
0
]
],
[
[
0,
5
],
[
3,
0
]
],
[
[
0,
7
],
[
5,
0
]
],
[
[
1,
7
],
[
5,
0
]
],
[
[
6,
2
],
[
7,
0
]
],
[
[
0,
4
],
[
1,
1
],
[
2,
0
]
],
[
[
0,
4
],
[
1,
2
],
[
2,
0
]
],
[
[
0,
6
],
[
1,
4
],
[
4,
0
]
],
[
[
2,
6
],
[
3,
4
],
[
6,
0
]
],
[
[
4,
4
],
[
5,
2
],
[
6,
2
]
]
]
},
"<6v1<10v1<4>>>": {
"cert": "deg8/o22-p11-n11/(6v1(10v1(4))).pcom",
"nsplits": 19,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 1
},
"collection": [
[
[
0,
3
],
[
3,
5
]
],
[
[
1,
0
],
[
3,
5
]
],
[
[
2,
0
],
[
2,
1
],
[
4,
4
]
],
[
[
3,
5
],
[
2,
1
],
[
5,
3
]
]
]
},
"<7v1<10v1<3>>>": {
"cert": "deg8/o22-p11-n11/(7v1(10v1(3))).pcom",
"nsplits": 19,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 0
},
"collection": [
[
[
0,
0
],
[
3,
5
]
],
[
[
0,
1
],
[
3,
5
]
],
[
[
0,
5
],
[
1,
7
]
],
[
[
0,
6
],
[
1,
7
]
],
[
[
0,
7
],
[
1,
7
]
],
[
[
1,
0
],
[
3,
5
]
],
[
[
0,
2
],
[
1,
4
],
[
2,
6
]
],
[
[
0,
4
],
[
1,
6
],
[
2,
6
]
],
[
[
2,
0
],
[
3,
3
],
[
4,
4
]
],
[
[
1,
0
],
[
3,
3
],
[
5,
0
]
],
[
[
5,
0
],
[
4,
2
],
[
7,
0
]
]
]
},
"<8v1<1>v1<3>v1<7>>": {
"cert": "deg8/o22-p11-n11/(8v1(1)v1(3)v1(7)).pcom",
"nsplits": 23,
"sign_equivalence": {
"eps": 0,
"i": 0,
"j": 1
},
"collection": [
[
[
0,
3
],
[
3,
5
]
],
[
[
0,
0
],
[
1,
3
],
[
6,
0
]
],
[
[
4,
4
],
[
2,
3
],
[
6,
0
]
],
[
[
3,
5
],
[
2,
3
],
[
7,
1
]
]
]
},
"<8v1<1>v2<5>>": {
"cert": "deg8/o22-p11-n11/(8v1(1)v2(5)).pcom",
"nsplits": 21,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 1
},
"collection": [
[
[
0,
0
],
[
5,
3
]
],
[
[
0,
3
],
[
3,
5
]
],
[
[
0,
3
],
[
4,
4
]
],
[
[
1,
0
],
[
5,
3
]
],
[
[
2,
0
],
[
7,
1
]
],
[
[
0,
2
],
[
1,
3
],
[
4,
4
]
],
[
[
0,
1
],
[
1,
3
],
[
0,
3
]
],
[
[
0,
0
],
[
3,
2
],
[
4,
4
]
]
]
},
"<8v2<1>v1<9>>": {
"cert": "deg8/o22-p11-n11/(8v2(1)v1(9)).pcom",
"nsplits": 18,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 1
},
"collection": [
[
[
0,
7
],
[
1,
7
]
],
[
[
3,
5
],
[
5,
0
]
],
[
[
7,
0
],
[
7,
1
]
],
[
[
0,
0
],
[
1,
2
],
[
0,
2
]
],
[
[
0,
1
],
[
1,
2
],
[
0,
3
]
],
[
[
0,
4
],
[
1,
4
],
[
2,
6
]
],
[
[
0,
3
],
[
1,
4
],
[
0,
5
]
],
[
[
0,
6
],
[
1,
5
],
[
2,
6
]
],
[
[
0,
6
],
[
1,
6
],
[
2,
6
]
],
[
[
2,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
1,
0
],
[
3,
3
],
[
5,
0
]
],
[
[
0,
0
],
[
3,
4
],
[
2,
6
]
],
[
[
5,
3
],
[
5,
2
],
[
7,
1
]
]
]
},
"<8v2<3>v1<5>>": {
"cert": "deg8/o22-p11-n11/(8v2(3)v1(5)).pcom",
"nsplits": 19,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 1
},
"collection": [
[
[
0,
1
],
[
3,
5
]
],
[
[
0,
6
],
[
1,
7
]
],
[
[
7,
0
],
[
7,
1
]
],
[
[
0,
2
],
[
1,
5
],
[
2,
6
]
],
[
[
0,
6
],
[
1,
6
],
[
2,
6
]
],
[
[
0,
0
],
[
2,
3
],
[
4,
4
]
],
[
[
2,
0
],
[
3,
3
],
[
4,
4
]
],
[
[
1,
0
],
[
3,
3
],
[
5,
0
]
]
]
},
"<9v1<1>v1<10>>": {
"cert": "deg8/o22-p11-n11/(9v1(1)v1(10)).pcom",
"nsplits": 23,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 1
},
"collection": [
[
[
0,
1
],
[
5,
3
]
],
[
[
3,
5
],
[
2,
2
],
[
5,
3
]
],
[
[
2,
0
],
[
5,
1
],
[
6,
2
]
],
[
[
3,
0
],
[
6,
1
],
[
7,
0
]
]
]
},
"<9v1<10v1<1>>>": {
"cert": "deg8/o22-p11-n11/(9v1(10v1(1))).pcom",
"nsplits": 23,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 0
},
"collection": [
[
[
0,
1
],
[
1,
7
]
],
[
[
0,
2
],
[
1,
7
]
],
[
[
0,
3
],
[
1,
7
]
],
[
[
0,
5
],
[
1,
7
]
],
[
[
1,
0
],
[
3,
5
]
],
[
[
2,
0
],
[
3,
5
]
],
[
[
0,
0
],
[
1,
3
],
[
2,
6
]
],
[
[
2,
0
],
[
3,
3
],
[
4,
4
]
],
[
[
3,
0
],
[
5,
1
],
[
5,
0
]
],
[
[
6,
0
],
[
6,
1
],
[
6,
2
]
],
[
[
6,
0
],
[
6,
1
],
[
8,
0
]
]
]
},
"<9v1<2>v1<9>>": {
"cert": "deg8/o22-p11-n11/(9v1(2)v1(9)).pcom",
"nsplits": 22,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 1
},
"collection": [
[
[
7,
0
],
[
7,
1
]
],
[
[
0,
2
],
[
1,
5
],
[
0,
8
]
],
[
[
0,
3
],
[
1,
5
],
[
0,
7
]
],
[
[
1,
0
],
[
2,
2
],
[
3,
0
]
],
[
[
1,
0
],
[
2,
3
],
[
7,
0
]
],
[
[
3,
5
],
[
2,
3
],
[
7,
1
]
],
[
[
1,
7
],
[
2,
5
],
[
3,
5
]
],
[
[
4,
4
],
[
3,
3
],
[
6,
2
]
],
[
[
4,
0
],
[
5,
1
],
[
6,
0
]
]
]
},
"<9v1<3>v1<8>>": {
"cert": "deg8/o22-p11-n11/(9v1(3)v1(8)).pcom",
"nsplits": 20,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 0
},
"collection": [
[
[
0,
1
],
[
3,
5
]
],
[
[
0,
0
],
[
1,
2
],
[
2,
0
]
],
[
[
0,
0
],
[
1,
2
],
[
4,
4
]
],
[
[
3,
5
],
[
1,
2
],
[
5,
3
]
],
[
[
0,
1
],
[
1,
3
],
[
0,
3
]
],
[
[
0,
3
],
[
1,
4
],
[
0,
5
]
],
[
[
0,
6
],
[
1,
6
],
[
0,
8
]
],
[
[
0,
1
],
[
2,
4
],
[
0,
5
]
],
[
[
0,
6
],
[
2,
5
],
[
2,
6
]
],
[
[
2,
0
],
[
4,
1
],
[
6,
2
]
],
[
[
2,
0
],
[
5,
2
],
[
6,
2
]
],
[
[
3,
0
],
[
6,
1
],
[
5,
0
]
]
]
},
"<9v1<4>v1<7>>": {
"cert": "deg8/o22-p11-n11/(9v1(4)v1(7)).pcom",
"nsplits": 18,
"sign_equivalence": {
"eps": 1,
"i": 1,
"j": 0
},
"collection": [
[
[
0,
1
],
[
1,
0
]
],
[
[
0,
1
],
[
2,
0
]
],
[
[
0,
1
],
[
3,
0
]
],
[
[
0,
3
],
[
7,
0
]
],
[
[
0,
3
],
[
8,
0
]
],
[
[
0,
1
],
[
1,
1
],
[
0,
3
]
],
[
[
0,
4
],
[
1,
4
],
[
0,
6
]
],
[
[
0,
6
],
[
3,
2
],
[
8,
0
]
],
[
[
0,
3
],
[
3,
2
],
[
0,
7
]
],
[
[
5,
0
],
[
4,
1
],
[
7,
0
]
]
]
},
"<9v1<5>v1<6>>": {
"cert": "deg8/o22-p11-n11/(9v1(5)v1(6)).pcom",
"nsplits": 20,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 0
},
"collection": [
[
[
0,
0
],
[
5,
3
]
],
[
[
0,
3
],
[
3,
5
]
],
[
[
1,
0
],
[
5,
3
]
],
[
[
7,
0
],
[
7,
1
]
],
[
[
0,
1
],
[
1,
2
],
[
0,
3
]
],
[
[
1,
7
],
[
1,
6
],
[
3,
5
]
],
[
[
0,
0
],
[
4,
3
],
[
4,
4
]
],
[
[
3,
5
],
[
4,
3
],
[
5,
3
]
],
[
[
3,
0
],
[
6,
1
],
[
5,
0
]
]
]
},
"<10v1<6v1<4>>>": {
"cert": "deg8/o22-p15-n07/(10v1(6v1(4))).pcom",
"nsplits": 17,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 1
},
"collection": [
[
[
0,
6
],
[
1,
7
]
],
[
[
0,
7
],
[
1,
7
]
],
[
[
1,
0
],
[
3,
5
]
],
[
[
0,
2
],
[
1,
5
],
[
0,
6
]
],
[
[
0,
3
],
[
1,
5
],
[
0,
5
]
],
[
[
1,
7
],
[
1,
6
],
[
3,
5
]
],
[
[
2,
0
],
[
2,
1
],
[
4,
4
]
],
[
[
3,
5
],
[
2,
1
],
[
5,
3
]
],
[
[
6,
2
],
[
6,
1
],
[
8,
0
]
]
]
},
"<11v1<6v1<3>>>": {
"cert": "deg8/o22-p15-n07/(11v1(6v1(3))).pcom",
"nsplits": 28,
"sign_equivalence": {
"eps": 0,
"i": 0,
"j": 0
},
"collection": [
[
[
0,
1
],
[
5,
3
]
],
[
[
7,
0
],
[
7,
1
]
],
[
[
0,
5
],
[
1,
5
],
[
0,
7
]
],
[
[
0,
0
],
[
3,
1
],
[
6,
2
]
],
[
[
0,
1
],
[
3,
3
],
[
0,
7
]
],
[
[
0,
2
],
[
3,
3
],
[
2,
6
]
],
[
[
0,
0
],
[
6,
1
],
[
2,
0
]
],
[
[
1,
0
],
[
6,
1
],
[
5,
0
]
]
]
},
"<12v1<1>v2<3>>": {
"cert": "deg8/o22-p15-n07/(12v1(1)v2(3)).pcom",
"nsplits": 18,
"sign_equivalence": {
"eps": 0,
"i": 0,
"j": 0
},
"collection": [
[
[
0,
5
],
[
1,
7
]
],
[
[
0,
5
],
[
8,
0
]
],
[
[
0,
6
],
[
1,
7
]
],
[
[
0,
2
],
[
1,
2
],
[
2,
0
]
],
[
[
0,
4
],
[
1,
4
],
[
8,
0
]
],
[
[
1,
7
],
[
1,
6
],
[
3,
5
]
],
[
[
0,
4
],
[
2,
3
],
[
4,
0
]
],
[
[
3,
0
],
[
2,
3
],
[
7,
0
]
],
[
[
3,
5
],
[
2,
5
],
[
7,
1
]
]
]
},
"<12v2<1>v1<5>>": {
"cert": "deg8/o22-p15-n07/(12v2(1)v1(5)).pcom",
"nsplits": 27,
"sign_equivalence": {
"eps": 1,
"i": 1,
"j": 1
},
"collection": [
[
[
0,
1
],
[
1,
0
]
],
[
[
0,
1
],
[
2,
0
]
],
[
[
0,
1
],
[
3,
0
]
],
[
[
0,
3
],
[
5,
0
]
],
[
[
0,
4
],
[
7,
0
]
],
[
[
0,
6
],
[
1,
7
]
],
[
[
0,
6
],
[
3,
5
]
],
[
[
0,
1
],
[
1,
2
],
[
0,
3
]
],
[
[
0,
4
],
[
1,
4
],
[
8,
0
]
],
[
[
3,
0
],
[
2,
1
],
[
5,
0
]
],
[
[
0,
6
],
[
2,
5
],
[
8,
0
]
],
[
[
0,
4
],
[
3,
2
],
[
6,
0
]
],
[
[
0,
6
],
[
3,
4
],
[
8,
0
]
],
[
[
0,
4
],
[
4,
1
],
[
6,
0
]
],
[
[
0,
4
],
[
5,
1
],
[
6,
0
]
]
]
},
"<13v1<1>v1<6>>": {
"cert": "deg8/o22-p15-n07/(13v1(1)v1(6)).pcom",
"nsplits": 12,
"sign_equivalence": {
"eps": 1,
"i": 0,
"j": 1
},
"collection": [
[
[
0,
1
],
[
1,
0
]
],
[
[
0,
2
],
[
1,
0
]
],
[
[
1,
7
],
[
3,
2
],
[
5,
3
]
]
]
},
"<13v1<2>v1<5>>": {
"cert": "deg8/o22-p15-n07/(13v1(2)v1(5)).pcom",
"nsplits": 22,
"sign_equivalence": {
"eps": 0,
"i": 0,
"j": 0
},
"collection": [
[
[
0,
1
],
[
1,
0
]
],
[
[
0,
1
],
[
2,
0
]
],
[
[
0,
7
],
[
3,
0
]
],
[
[
0,
8
],
[
3,
0
]
],
[
[
6,
2
],
[
7,
0
]
],
[
[
0,
2
],
[
1,
1
],
[
2,
0
]
],
[
[
0,
1
],
[
1,
1
],
[
0,
3
]
],
[
[
0,
6
],
[
1,
3
],
[
2,
0
]
],
[
[
0,
6
],
[
1,
4
],
[
2,
0
]
],
[
[
0,
8
],
[
3,
1
],
[
4,
0
]
],
[
[
2,
6
],
[
6,
1
],
[
4,
4
]
],
[
[
2,
6
],
[
6,
1
],
[
6,
0
]
],
[
[
2,
6
],
[
6,
1
],
[
6,
2
]
],
[
[
3,
5
],
[
6,
1
],
[
5,
3
]
]
]
},
"<13v1<3>v1<4>>": {
"cert": "deg8/o22-p15-n07/(13v1(3)v1(4)).pcom",
"nsplits": 24,
"sign_equivalence": {
"eps": 0,
"i": 0,
"j": 0
},
"collection": [
[
[
0,
6
],
[
3,
5
]
],
[
[
0,
0
],
[
1,
1
],
[
0,
2
]
],
[
[
0,
6
],
[
1,
6
],
[
0,
8
]
],
[
[
0,
4
],
[
2,
3
],
[
4,
0
]
],
[
[
3,
0
],
[
2,
3
],
[
7,
0
]
],
[
[
0,
6
],
[
2,
5
],
[
4,
4
]
],
[
[
3,
5
],
[
2,
5
],
[
7,
1
]
],
[
[
0,
6
],
[
4,
3
],
[
8,
0
]
],
[
[
5,
0
],
[
5,
1
],
[
7,
0
]
]
]
},
"<13v1<6v1<1>>>": {
"cert": "deg8/o22-p15-n07/(13v1(6v1(1))).pcom",
"nsplits": 16,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 1
},
"collection": [
[
[
0,
5
],
[
1,
7
]
],
[
[
1,
0
],
[
3,
5
]
],
[
[
0,
2
],
[
1,
3
],
[
2,
6
]
],
[
[
2,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
1,
0
],
[
3,
3
],
[
7,
0
]
],
[
[
4,
0
],
[
5,
1
],
[
6,
0
]
],
[
[
5,
0
],
[
5,
1
],
[
7,
0
]
]
]
},
"<14v1<7>>": {
"cert": "deg8/o22-p15-n07/(14v1(7)).pcom",
"nsplits": 22,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 1
},
"collection": [
[
[
0,
5
],
[
5,
3
]
],
[
[
3,
0
],
[
7,
1
]
],
[
[
0,
2
],
[
1,
3
],
[
0,
4
]
],
[
[
0,
1
],
[
1,
3
],
[
0,
5
]
],
[
[
0,
6
],
[
2,
5
],
[
4,
4
]
],
[
[
2,
0
],
[
3,
1
],
[
6,
2
]
],
[
[
0,
6
],
[
3,
4
],
[
4,
4
]
]
]
},
"<6v1<6v1<8>>>": {
"cert": "deg8/o22-p15-n07/(6v1(6v1(8))).pcom",
"nsplits": 24,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 0
},
"collection": [
[
[
0,
1
],
[
1,
0
]
],
[
[
0,
7
],
[
3,
0
]
],
[
[
1,
7
],
[
3,
0
]
],
[
[
3,
5
],
[
5,
0
]
],
[
[
5,
0
],
[
7,
1
]
],
[
[
6,
0
],
[
7,
1
]
],
[
[
0,
2
],
[
1,
4
],
[
2,
0
]
],
[
[
2,
6
],
[
2,
5
],
[
4,
0
]
],
[
[
3,
0
],
[
2,
5
],
[
5,
0
]
],
[
[
5,
3
],
[
6,
1
],
[
7,
1
]
]
]
},
"<9v1<6v1<5>>>": {
"cert": "deg8/o22-p15-n07/(9v1(6v1(5))).pcom",
"nsplits": 18,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 0
},
"collection": [
[
[
0,
1
],
[
5,
3
]
],
[
[
0,
3
],
[
3,
5
]
],
[
[
0,
7
],
[
1,
7
]
],
[
[
1,
0
],
[
7,
1
]
],
[
[
4,
0
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
]
],
[
[
0,
2
],
[
1,
3
],
[
4,
4
]
],
[
[
0,
3
],
[
1,
4
],
[
0,
5
]
],
[
[
0,
6
],
[
1,
6
],
[
2,
6
]
],
[
[
0,
0
],
[
3,
1
],
[
6,
2
]
],
[
[
0,
2
],
[
3,
3
],
[
4,
4
]
],
[
[
0,
0
],
[
4,
1
],
[
6,
2
]
]
]
},
"<10v1<2v1<8>>>": {
"cert": "deg8/o22-p19-n03/(10v1(2v1(8))).pcom",
"nsplits": 21,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 1
},
"collection": [
[
[
0,
1
],
[
5,
3
]
],
[
[
0,
3
],
[
3,
5
]
],
[
[
0,
7
],
[
2,
6
]
],
[
[
0,
7
],
[
3,
5
]
],
[
[
7,
0
],
[
7,
1
]
],
[
[
0,
0
],
[
1,
1
],
[
2,
0
]
],
[
[
0,
0
],
[
1,
1
],
[
4,
0
]
],
[
[
1,
0
],
[
1,
1
],
[
5,
0
]
],
[
[
0,
2
],
[
1,
2
],
[
4,
4
]
],
[
[
3,
5
],
[
1,
2
],
[
5,
3
]
],
[
[
0,
5
],
[
1,
6
],
[
0,
7
]
],
[
[
6,
0
],
[
3,
1
],
[
6,
2
]
]
]
},
"<16v3<1>>": {
"cert": "deg8/o22-p19-n03/(16v3(1)).pcom",
"nsplits": 22,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 0
},
"collection": [
[
[
0,
0
],
[
3,
5
]
],
[
[
0,
3
],
[
1,
7
]
],
[
[
0,
0
],
[
1,
3
],
[
0,
2
]
],
[
[
2,
0
],
[
3,
3
],
[
4,
4
]
],
[
[
0,
0
],
[
3,
4
],
[
4,
4
]
],
[
[
2,
0
],
[
3,
4
],
[
4,
4
]
],
[
[
3,
0
],
[
5,
1
],
[
7,
0
]
]
]
},
"<17v1<1>v1<2>>": {
"cert": "deg8/o22-p19-n03/(17v1(1)v1(2)).pcom",
"nsplits": 25,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 0
},
"collection": [
[
[
0,
7
],
[
1,
7
]
],
[
[
7,
0
],
[
7,
1
]
],
[
[
0,
0
],
[
1,
2
],
[
2,
6
]
],
[
[
0,
0
],
[
1,
3
],
[
2,
6
]
],
[
[
0,
0
],
[
1,
5
],
[
0,
2
]
],
[
[
0,
1
],
[
1,
5
],
[
0,
5
]
],
[
[
2,
0
],
[
3,
4
],
[
4,
4
]
],
[
[
2,
0
],
[
4,
1
],
[
6,
0
]
],
[
[
3,
0
],
[
4,
1
],
[
5,
0
]
],
[
[
6,
0
],
[
5,
2
],
[
6,
2
]
],
[
[
6,
0
],
[
6,
1
],
[
6,
2
]
]
]
},
"<17v1<2v1<1>>>": {
"cert": "deg8/o22-p19-n03/(17v1(2v1(1))).pcom",
"nsplits": 21,
"sign_equivalence": {
"eps": 0,
"i": 1,
"j": 1
},
"collection": [
[
[
0,
1
],
[
3,
5
]
],
[
[
0,
1
],
[
5,
3
]
],
[
[
0,
7
],
[
1,
7
]
],
[
[
1,
0
],
[
6,
2
]
],
[
[
3,
0
],
[
7,
1
]
],
[
[
3,
5
],
[
1,
2
],
[
5,
3
]
],
[
[
0,
2
],
[
1,
4
],
[
0,
4
]
],
[
[
0,
4
],
[
1,
5
],
[
2,
6
]
],
[
[
0,
5
],
[
1,
6
],
[
0,
7
]
],
[
[
3,
5
],
[
3,
4
],
[
5,
3
]
],
[
[
2,
0
],
[
6,
1
],
[
6,
2
]
]
]
},
"<18v1<3>>": {
"cert": "deg8/o22-p19-n03/(18v1(3)).pcom",
"nsplits": 24,
"sign_equivalence": {
"eps": 0,
"i": 0,
"j": 0
},
"collection": [
[
[
1,
7
],
[
7,
0
]
],
[
[
0,
0
],
[
1,
1
],
[
2,
0
]
],
[
[
0,
0
],
[
1,
3
],
[
0,
2
]
],
[
[
0,
5
],
[
1,
5
],
[
0,
7
]
]
]
}
}