files / problems / hilbert16-degree-8 / compute / q9 / certs / new_schemes.json
[
{
"degree": 8,
"heights": {
"0,0": 0,
"0,1": -1403,
"0,2": -2790,
"0,3": -4145,
"0,4": -3348,
"0,5": -2535,
"0,6": -1706,
"0,7": -861,
"0,8": 0,
"1,0": -448,
"1,1": -1819,
"1,2": -3158,
"1,3": -4481,
"1,4": -4356,
"1,5": -3479,
"1,6": -2586,
"1,7": -1677,
"2,0": -592,
"2,1": -2011,
"2,2": -3414,
"2,3": -4801,
"2,4": -4724,
"2,5": -4247,
"2,6": -3322,
"3,0": -720,
"3,1": -2091,
"3,2": -3430,
"3,3": -4289,
"3,4": -4636,
"3,5": -4951,
"4,0": -736,
"4,1": -2043,
"4,2": -3222,
"4,3": -3761,
"4,4": -4140,
"5,0": -640,
"5,1": -1931,
"5,2": -2838,
"5,3": -3201,
"6,0": -512,
"6,1": -1627,
"6,2": -2246,
"7,0": -368,
"7,1": -1275,
"8,0": 0
},
"scheme": "<3 u 1<5> u 1<10>>",
"signs": {
"0,0": 1,
"0,1": -1,
"0,2": 1,
"0,3": -1,
"0,4": 1,
"0,5": -1,
"0,6": 1,
"0,7": -1,
"0,8": 1,
"1,0": -1,
"1,1": 1,
"1,2": -1,
"1,3": 1,
"1,4": 1,
"1,5": 1,
"1,6": 1,
"1,7": 1,
"2,0": 1,
"2,1": -1,
"2,2": 1,
"2,3": -1,
"2,4": -1,
"2,5": -1,
"2,6": 1,
"3,0": -1,
"3,1": -1,
"3,2": 1,
"3,3": -1,
"3,4": 1,
"3,5": 1,
"4,0": 1,
"4,1": -1,
"4,2": -1,
"4,3": -1,
"4,4": 1,
"5,0": 1,
"5,1": 1,
"5,2": -1,
"5,3": -1,
"6,0": 1,
"6,1": 1,
"6,2": 1,
"7,0": 1,
"7,1": -1,
"8,0": -1
},
"source": {
"added": [
[
0,
2
],
[
1,
1
]
],
"extra": false,
"lifting": "scipy-highs",
"removed": [
[
0,
3
],
[
1,
0
]
],
"seed": "deg8/o22-p07-n15/(5v1(5)v1(10)).pcom",
"task": 107
},
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
0
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
0
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
1
]
],
[
[
0,
2
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
3
],
[
1,
1
],
[
1,
2
]
],
[
[
0,
3
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
3
],
[
1,
3
],
[
2,
4
]
],
[
[
0,
3
],
[
1,
4
],
[
3,
5
]
],
[
[
0,
3
],
[
2,
4
],
[
3,
5
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
4
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
4
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
4
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
4
]
],
[
[
0,
8
],
[
1,
4
],
[
1,
5
]
],
[
[
0,
8
],
[
1,
5
],
[
1,
6
]
],
[
[
0,
8
],
[
1,
6
],
[
1,
7
]
],
[
[
1,
0
],
[
1,
1
],
[
2,
3
]
],
[
[
1,
0
],
[
2,
0
],
[
2,
1
]
],
[
[
1,
0
],
[
2,
1
],
[
2,
2
]
],
[
[
1,
0
],
[
2,
2
],
[
2,
3
]
],
[
[
1,
1
],
[
1,
2
],
[
2,
3
]
],
[
[
1,
2
],
[
1,
3
],
[
2,
3
]
],
[
[
1,
3
],
[
2,
3
],
[
2,
4
]
],
[
[
1,
4
],
[
1,
5
],
[
2,
5
]
],
[
[
1,
4
],
[
2,
5
],
[
3,
5
]
],
[
[
1,
5
],
[
1,
6
],
[
2,
5
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
5
]
],
[
[
1,
7
],
[
2,
5
],
[
2,
6
]
],
[
[
2,
0
],
[
2,
1
],
[
3,
0
]
],
[
[
2,
1
],
[
2,
2
],
[
3,
0
]
],
[
[
2,
2
],
[
2,
3
],
[
3,
0
]
],
[
[
2,
3
],
[
2,
4
],
[
3,
5
]
],
[
[
2,
3
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
3
],
[
3,
1
],
[
4,
0
]
],
[
[
2,
3
],
[
3,
2
],
[
4,
0
]
],
[
[
2,
3
],
[
3,
2
],
[
5,
1
]
],
[
[
2,
3
],
[
3,
3
],
[
4,
4
]
],
[
[
2,
3
],
[
3,
3
],
[
5,
2
]
],
[
[
2,
3
],
[
3,
4
],
[
3,
5
]
],
[
[
2,
3
],
[
3,
4
],
[
4,
4
]
],
[
[
2,
3
],
[
4,
2
],
[
7,
0
]
],
[
[
2,
3
],
[
4,
2
],
[
7,
1
]
],
[
[
2,
3
],
[
5,
1
],
[
7,
0
]
],
[
[
2,
3
],
[
5,
2
],
[
7,
1
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
2
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
2
],
[
4,
1
],
[
5,
1
]
],
[
[
3,
3
],
[
4,
3
],
[
4,
4
]
],
[
[
3,
3
],
[
4,
3
],
[
5,
2
]
],
[
[
3,
4
],
[
3,
5
],
[
4,
4
]
],
[
[
4,
0
],
[
4,
1
],
[
5,
0
]
],
[
[
4,
1
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
2
],
[
6,
1
],
[
7,
0
]
],
[
[
4,
2
],
[
6,
1
],
[
7,
1
]
],
[
[
4,
3
],
[
4,
4
],
[
5,
2
]
],
[
[
4,
4
],
[
5,
2
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
0
]
],
[
[
5,
1
],
[
6,
0
],
[
7,
0
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
2
]
],
[
[
5,
2
],
[
6,
2
],
[
7,
1
]
],
[
[
6,
1
],
[
7,
0
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
]
},
{
"degree": 8,
"heights": {
"0,0": 0,
"0,1": -948,
"0,2": -1888,
"0,3": -2820,
"0,4": -2272,
"0,5": -1716,
"0,6": -1152,
"0,7": -580,
"0,8": 0,
"1,0": -135,
"1,1": -1107,
"1,2": -2071,
"1,3": -3027,
"1,4": -2927,
"1,5": -2339,
"1,6": -1743,
"1,7": -1139,
"2,0": -262,
"2,1": -1210,
"2,2": -2142,
"2,3": -2930,
"2,4": -3262,
"2,5": -2874,
"2,6": -2262,
"3,0": -333,
"3,1": -1249,
"3,2": -2101,
"3,3": -2681,
"3,4": -3037,
"3,5": -3377,
"4,0": -348,
"4,1": -1256,
"4,2": -1972,
"4,3": -2424,
"4,4": -2796,
"5,0": -347,
"5,1": -1159,
"5,2": -1787,
"5,3": -2151,
"6,0": -338,
"6,1": -1006,
"6,2": -1498,
"7,0": -177,
"7,1": -837,
"8,0": 0
},
"scheme": "<5 u 1<2> u 1<3> u 1<7>>",
"signs": {
"0,0": -1,
"0,1": 1,
"0,2": -1,
"0,3": -1,
"0,4": 1,
"0,5": -1,
"0,6": 1,
"0,7": -1,
"0,8": 1,
"1,0": -1,
"1,1": -1,
"1,2": -1,
"1,3": -1,
"1,4": -1,
"1,5": -1,
"1,6": -1,
"1,7": -1,
"2,0": 1,
"2,1": -1,
"2,2": -1,
"2,3": -1,
"2,4": -1,
"2,5": -1,
"2,6": 1,
"3,0": -1,
"3,1": -1,
"3,2": 1,
"3,3": 1,
"3,4": -1,
"3,5": -1,
"4,0": -1,
"4,1": 1,
"4,2": -1,
"4,3": -1,
"4,4": 1,
"5,0": -1,
"5,1": 1,
"5,2": 1,
"5,3": 1,
"6,0": -1,
"6,1": -1,
"6,2": 1,
"7,0": -1,
"7,1": 1,
"8,0": -1
},
"source": {
"added": [
[
1,
3
],
[
3,
0
]
],
"extra": false,
"lifting": "scipy-highs",
"removed": [
[
2,
1
],
[
2,
2
]
],
"seed": "deg8/o22-p11-n11/(8v1(1)v1(3)v1(7)).pcom",
"task": 267
},
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
3
]
],
[
[
0,
0
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
0
],
[
1,
1
],
[
1,
2
]
],
[
[
0,
0
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
3
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
3
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
3
],
[
1,
3
],
[
2,
4
]
],
[
[
0,
3
],
[
1,
4
],
[
3,
5
]
],
[
[
0,
3
],
[
2,
4
],
[
3,
5
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
4
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
4
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
4
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
4
]
],
[
[
0,
8
],
[
1,
4
],
[
1,
5
]
],
[
[
0,
8
],
[
1,
5
],
[
1,
6
]
],
[
[
0,
8
],
[
1,
6
],
[
1,
7
]
],
[
[
1,
0
],
[
1,
1
],
[
2,
0
]
],
[
[
1,
1
],
[
1,
2
],
[
2,
0
]
],
[
[
1,
2
],
[
1,
3
],
[
2,
0
]
],
[
[
1,
3
],
[
2,
0
],
[
2,
1
]
],
[
[
1,
3
],
[
2,
1
],
[
3,
0
]
],
[
[
1,
3
],
[
2,
2
],
[
3,
0
]
],
[
[
1,
3
],
[
2,
2
],
[
4,
1
]
],
[
[
1,
3
],
[
2,
3
],
[
2,
4
]
],
[
[
1,
3
],
[
2,
3
],
[
3,
2
]
],
[
[
1,
3
],
[
3,
2
],
[
6,
0
]
],
[
[
1,
3
],
[
4,
1
],
[
6,
0
]
],
[
[
1,
4
],
[
1,
5
],
[
2,
5
]
],
[
[
1,
4
],
[
2,
5
],
[
3,
5
]
],
[
[
1,
5
],
[
1,
6
],
[
2,
5
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
5
]
],
[
[
1,
7
],
[
2,
5
],
[
2,
6
]
],
[
[
2,
0
],
[
2,
1
],
[
3,
0
]
],
[
[
2,
2
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
2
],
[
3,
1
],
[
4,
1
]
],
[
[
2,
3
],
[
2,
4
],
[
3,
5
]
],
[
[
2,
3
],
[
3,
2
],
[
6,
0
]
],
[
[
2,
3
],
[
3,
3
],
[
4,
4
]
],
[
[
2,
3
],
[
3,
3
],
[
5,
2
]
],
[
[
2,
3
],
[
3,
4
],
[
3,
5
]
],
[
[
2,
3
],
[
3,
4
],
[
4,
4
]
],
[
[
2,
3
],
[
4,
2
],
[
5,
1
]
],
[
[
2,
3
],
[
4,
2
],
[
7,
1
]
],
[
[
2,
3
],
[
5,
1
],
[
6,
0
]
],
[
[
2,
3
],
[
5,
2
],
[
7,
1
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
3
],
[
4,
3
],
[
4,
4
]
],
[
[
3,
3
],
[
4,
3
],
[
5,
2
]
],
[
[
3,
4
],
[
3,
5
],
[
4,
4
]
],
[
[
4,
0
],
[
4,
1
],
[
5,
0
]
],
[
[
4,
1
],
[
5,
0
],
[
6,
0
]
],
[
[
4,
2
],
[
5,
1
],
[
6,
1
]
],
[
[
4,
2
],
[
6,
1
],
[
7,
1
]
],
[
[
4,
3
],
[
4,
4
],
[
5,
2
]
],
[
[
4,
4
],
[
5,
2
],
[
5,
3
]
],
[
[
5,
1
],
[
6,
0
],
[
6,
1
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
2
]
],
[
[
5,
2
],
[
6,
2
],
[
7,
1
]
],
[
[
6,
0
],
[
6,
1
],
[
7,
0
]
],
[
[
6,
1
],
[
7,
0
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
]
},
{
"degree": 8,
"heights": {
"0,0": 0,
"0,1": -11,
"0,2": -20,
"0,3": -27,
"0,4": -28,
"0,5": -27,
"0,6": -22,
"0,7": -13,
"0,8": 0,
"1,0": -101,
"1,1": -164,
"1,2": -215,
"1,3": -220,
"1,4": -223,
"1,5": -220,
"1,6": -213,
"1,7": -202,
"2,0": -180,
"2,1": -259,
"2,2": -326,
"2,3": -383,
"2,4": -392,
"2,5": -399,
"2,6": -400,
"3,0": -257,
"3,1": -340,
"3,2": -415,
"3,3": -486,
"3,4": -549,
"3,5": -548,
"4,0": -332,
"4,1": -405,
"4,2": -472,
"4,3": -467,
"4,4": -456,
"5,0": -393,
"5,1": -384,
"5,2": -371,
"5,3": -346,
"6,0": -270,
"6,1": -255,
"6,2": -234,
"7,0": -137,
"7,1": -120,
"8,0": 0
},
"scheme": "<5 u 1<1> u 1<2> u 1<9>>",
"signs": {
"0,0": -1,
"0,1": 1,
"0,2": -1,
"0,3": 1,
"0,4": 1,
"0,5": -1,
"0,6": -1,
"0,7": -1,
"0,8": 1,
"1,0": -1,
"1,1": 1,
"1,2": -1,
"1,3": 1,
"1,4": -1,
"1,5": 1,
"1,6": 1,
"1,7": -1,
"2,0": 1,
"2,1": 1,
"2,2": -1,
"2,3": 1,
"2,4": -1,
"2,5": 1,
"2,6": -1,
"3,0": 1,
"3,1": 1,
"3,2": -1,
"3,3": 1,
"3,4": -1,
"3,5": 1,
"4,0": 1,
"4,1": 1,
"4,2": -1,
"4,3": 1,
"4,4": 1,
"5,0": -1,
"5,1": 1,
"5,2": -1,
"5,3": 1,
"6,0": 1,
"6,1": 1,
"6,2": -1,
"7,0": -1,
"7,1": 1,
"8,0": -1
},
"source": {
"added": [
[
1,
2
],
[
2,
5
]
],
"extra": false,
"lifting": "scipy-highs",
"removed": [
[
1,
3
],
[
2,
4
]
],
"seed": "deg8/o22-p11-n11/(8v2(1)v1(9)).pcom",
"task": 313
},
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
2
]
],
[
[
0,
0
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
0
],
[
1,
1
],
[
3,
4
]
],
[
[
0,
0
],
[
1,
2
],
[
2,
3
]
],
[
[
0,
0
],
[
2,
3
],
[
3,
4
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
2
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
2
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
3
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
3
],
[
1,
3
],
[
1,
4
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
4
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
5
]
],
[
[
0,
5
],
[
1,
4
],
[
1,
5
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
6
]
],
[
[
0,
6
],
[
1,
5
],
[
1,
6
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
7
]
],
[
[
0,
7
],
[
1,
6
],
[
1,
7
]
],
[
[
1,
0
],
[
1,
1
],
[
2,
2
]
],
[
[
1,
0
],
[
2,
0
],
[
3,
1
]
],
[
[
1,
0
],
[
2,
1
],
[
3,
1
]
],
[
[
1,
0
],
[
2,
1
],
[
3,
3
]
],
[
[
1,
0
],
[
2,
2
],
[
3,
3
]
],
[
[
1,
1
],
[
2,
2
],
[
3,
4
]
],
[
[
1,
2
],
[
1,
3
],
[
2,
5
]
],
[
[
1,
2
],
[
2,
3
],
[
2,
4
]
],
[
[
1,
2
],
[
2,
4
],
[
2,
5
]
],
[
[
1,
3
],
[
1,
4
],
[
2,
5
]
],
[
[
1,
4
],
[
1,
5
],
[
2,
6
]
],
[
[
1,
4
],
[
2,
5
],
[
2,
6
]
],
[
[
1,
5
],
[
1,
6
],
[
2,
6
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
6
]
],
[
[
2,
0
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
1
],
[
3,
1
],
[
3,
2
]
],
[
[
2,
1
],
[
3,
2
],
[
3,
3
]
],
[
[
2,
2
],
[
3,
3
],
[
3,
4
]
],
[
[
2,
3
],
[
2,
4
],
[
3,
4
]
],
[
[
2,
4
],
[
2,
5
],
[
3,
4
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
4
]
],
[
[
2,
6
],
[
3,
4
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
3,
2
],
[
4,
0
]
],
[
[
3,
2
],
[
3,
3
],
[
4,
1
]
],
[
[
3,
2
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
3
],
[
3,
4
],
[
4,
2
]
],
[
[
3,
3
],
[
4,
1
],
[
5,
0
]
],
[
[
3,
3
],
[
4,
2
],
[
5,
0
]
],
[
[
3,
4
],
[
3,
5
],
[
4,
2
]
],
[
[
3,
5
],
[
4,
2
],
[
5,
0
]
],
[
[
3,
5
],
[
4,
3
],
[
4,
4
]
],
[
[
3,
5
],
[
4,
3
],
[
5,
0
]
],
[
[
4,
0
],
[
4,
1
],
[
5,
0
]
],
[
[
4,
3
],
[
4,
4
],
[
5,
1
]
],
[
[
4,
3
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
4
],
[
5,
1
],
[
5,
2
]
],
[
[
4,
4
],
[
5,
2
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
0
]
],
[
[
5,
1
],
[
5,
2
],
[
6,
0
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
2
]
],
[
[
5,
2
],
[
6,
0
],
[
6,
1
]
],
[
[
5,
2
],
[
6,
1
],
[
7,
1
]
],
[
[
5,
2
],
[
6,
2
],
[
7,
1
]
],
[
[
6,
0
],
[
6,
1
],
[
7,
0
]
],
[
[
6,
1
],
[
7,
0
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
]
},
{
"degree": 8,
"heights": {
"0,0": 0,
"0,1": -11,
"0,2": -20,
"0,3": -27,
"0,4": -28,
"0,5": -27,
"0,6": -22,
"0,7": -13,
"0,8": 0,
"1,0": -101,
"1,1": -164,
"1,2": -215,
"1,3": -220,
"1,4": -223,
"1,5": -220,
"1,6": -213,
"1,7": -202,
"2,0": -180,
"2,1": -259,
"2,2": -326,
"2,3": -383,
"2,4": -392,
"2,5": -399,
"2,6": -400,
"3,0": -257,
"3,1": -340,
"3,2": -415,
"3,3": -486,
"3,4": -549,
"3,5": -548,
"4,0": -332,
"4,1": -405,
"4,2": -472,
"4,3": -467,
"4,4": -456,
"5,0": -393,
"5,1": -384,
"5,2": -371,
"5,3": -346,
"6,0": -270,
"6,1": -255,
"6,2": -234,
"7,0": -137,
"7,1": -120,
"8,0": 0
},
"scheme": "<4 u 1<1> u 1<2> u 1<9>>",
"signs": {
"0,0": -1,
"0,1": 1,
"0,2": 1,
"0,3": 1,
"0,4": 1,
"0,5": 1,
"0,6": -1,
"0,7": -1,
"0,8": 1,
"1,0": -1,
"1,1": 1,
"1,2": -1,
"1,3": 1,
"1,4": -1,
"1,5": 1,
"1,6": 1,
"1,7": -1,
"2,0": 1,
"2,1": 1,
"2,2": -1,
"2,3": 1,
"2,4": -1,
"2,5": 1,
"2,6": -1,
"3,0": 1,
"3,1": 1,
"3,2": -1,
"3,3": 1,
"3,4": -1,
"3,5": 1,
"4,0": 1,
"4,1": 1,
"4,2": -1,
"4,3": 1,
"4,4": 1,
"5,0": -1,
"5,1": 1,
"5,2": -1,
"5,3": 1,
"6,0": 1,
"6,1": 1,
"6,2": -1,
"7,0": -1,
"7,1": 1,
"8,0": -1
},
"source": {
"added": [
[
1,
2
],
[
2,
5
]
],
"extra": false,
"lifting": "scipy-highs",
"removed": [
[
1,
3
],
[
2,
4
]
],
"seed": "deg8/o22-p11-n11/(8v2(1)v1(9)).pcom",
"task": 313
},
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
2
]
],
[
[
0,
0
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
0
],
[
1,
1
],
[
3,
4
]
],
[
[
0,
0
],
[
1,
2
],
[
2,
3
]
],
[
[
0,
0
],
[
2,
3
],
[
3,
4
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
2
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
2
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
3
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
3
],
[
1,
3
],
[
1,
4
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
4
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
5
]
],
[
[
0,
5
],
[
1,
4
],
[
1,
5
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
6
]
],
[
[
0,
6
],
[
1,
5
],
[
1,
6
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
7
]
],
[
[
0,
7
],
[
1,
6
],
[
1,
7
]
],
[
[
1,
0
],
[
1,
1
],
[
2,
2
]
],
[
[
1,
0
],
[
2,
0
],
[
3,
1
]
],
[
[
1,
0
],
[
2,
1
],
[
3,
1
]
],
[
[
1,
0
],
[
2,
1
],
[
3,
3
]
],
[
[
1,
0
],
[
2,
2
],
[
3,
3
]
],
[
[
1,
1
],
[
2,
2
],
[
3,
4
]
],
[
[
1,
2
],
[
1,
3
],
[
2,
5
]
],
[
[
1,
2
],
[
2,
3
],
[
2,
4
]
],
[
[
1,
2
],
[
2,
4
],
[
2,
5
]
],
[
[
1,
3
],
[
1,
4
],
[
2,
5
]
],
[
[
1,
4
],
[
1,
5
],
[
2,
6
]
],
[
[
1,
4
],
[
2,
5
],
[
2,
6
]
],
[
[
1,
5
],
[
1,
6
],
[
2,
6
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
6
]
],
[
[
2,
0
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
1
],
[
3,
1
],
[
3,
2
]
],
[
[
2,
1
],
[
3,
2
],
[
3,
3
]
],
[
[
2,
2
],
[
3,
3
],
[
3,
4
]
],
[
[
2,
3
],
[
2,
4
],
[
3,
4
]
],
[
[
2,
4
],
[
2,
5
],
[
3,
4
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
4
]
],
[
[
2,
6
],
[
3,
4
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
3,
2
],
[
4,
0
]
],
[
[
3,
2
],
[
3,
3
],
[
4,
1
]
],
[
[
3,
2
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
3
],
[
3,
4
],
[
4,
2
]
],
[
[
3,
3
],
[
4,
1
],
[
5,
0
]
],
[
[
3,
3
],
[
4,
2
],
[
5,
0
]
],
[
[
3,
4
],
[
3,
5
],
[
4,
2
]
],
[
[
3,
5
],
[
4,
2
],
[
5,
0
]
],
[
[
3,
5
],
[
4,
3
],
[
4,
4
]
],
[
[
3,
5
],
[
4,
3
],
[
5,
0
]
],
[
[
4,
0
],
[
4,
1
],
[
5,
0
]
],
[
[
4,
3
],
[
4,
4
],
[
5,
1
]
],
[
[
4,
3
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
4
],
[
5,
1
],
[
5,
2
]
],
[
[
4,
4
],
[
5,
2
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
0
]
],
[
[
5,
1
],
[
5,
2
],
[
6,
0
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
2
]
],
[
[
5,
2
],
[
6,
0
],
[
6,
1
]
],
[
[
5,
2
],
[
6,
1
],
[
7,
1
]
],
[
[
5,
2
],
[
6,
2
],
[
7,
1
]
],
[
[
6,
0
],
[
6,
1
],
[
7,
0
]
],
[
[
6,
1
],
[
7,
0
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
]
},
{
"degree": 8,
"heights": {
"0,0": 0,
"0,1": -11,
"0,2": -20,
"0,3": -27,
"0,4": -28,
"0,5": -27,
"0,6": -22,
"0,7": -13,
"0,8": 0,
"1,0": -101,
"1,1": -164,
"1,2": -215,
"1,3": -220,
"1,4": -223,
"1,5": -220,
"1,6": -213,
"1,7": -202,
"2,0": -180,
"2,1": -259,
"2,2": -326,
"2,3": -383,
"2,4": -392,
"2,5": -399,
"2,6": -400,
"3,0": -257,
"3,1": -340,
"3,2": -415,
"3,3": -486,
"3,4": -549,
"3,5": -548,
"4,0": -332,
"4,1": -405,
"4,2": -472,
"4,3": -467,
"4,4": -456,
"5,0": -393,
"5,1": -384,
"5,2": -371,
"5,3": -346,
"6,0": -270,
"6,1": -255,
"6,2": -234,
"7,0": -137,
"7,1": -120,
"8,0": 0
},
"scheme": "<3 u 1<1> u 1<2> u 1<9>>",
"signs": {
"0,0": -1,
"0,1": -1,
"0,2": 1,
"0,3": 1,
"0,4": 1,
"0,5": 1,
"0,6": 1,
"0,7": -1,
"0,8": 1,
"1,0": -1,
"1,1": 1,
"1,2": -1,
"1,3": 1,
"1,4": -1,
"1,5": 1,
"1,6": 1,
"1,7": -1,
"2,0": 1,
"2,1": 1,
"2,2": -1,
"2,3": 1,
"2,4": -1,
"2,5": 1,
"2,6": -1,
"3,0": 1,
"3,1": 1,
"3,2": -1,
"3,3": 1,
"3,4": -1,
"3,5": 1,
"4,0": 1,
"4,1": 1,
"4,2": -1,
"4,3": 1,
"4,4": 1,
"5,0": -1,
"5,1": 1,
"5,2": -1,
"5,3": 1,
"6,0": 1,
"6,1": 1,
"6,2": -1,
"7,0": -1,
"7,1": 1,
"8,0": -1
},
"source": {
"added": [
[
1,
2
],
[
2,
5
]
],
"extra": false,
"lifting": "scipy-highs",
"removed": [
[
1,
3
],
[
2,
4
]
],
"seed": "deg8/o22-p11-n11/(8v2(1)v1(9)).pcom",
"task": 313
},
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
2
]
],
[
[
0,
0
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
0
],
[
1,
1
],
[
3,
4
]
],
[
[
0,
0
],
[
1,
2
],
[
2,
3
]
],
[
[
0,
0
],
[
2,
3
],
[
3,
4
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
2
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
2
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
3
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
3
],
[
1,
3
],
[
1,
4
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
4
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
5
]
],
[
[
0,
5
],
[
1,
4
],
[
1,
5
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
6
]
],
[
[
0,
6
],
[
1,
5
],
[
1,
6
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
7
]
],
[
[
0,
7
],
[
1,
6
],
[
1,
7
]
],
[
[
1,
0
],
[
1,
1
],
[
2,
2
]
],
[
[
1,
0
],
[
2,
0
],
[
3,
1
]
],
[
[
1,
0
],
[
2,
1
],
[
3,
1
]
],
[
[
1,
0
],
[
2,
1
],
[
3,
3
]
],
[
[
1,
0
],
[
2,
2
],
[
3,
3
]
],
[
[
1,
1
],
[
2,
2
],
[
3,
4
]
],
[
[
1,
2
],
[
1,
3
],
[
2,
5
]
],
[
[
1,
2
],
[
2,
3
],
[
2,
4
]
],
[
[
1,
2
],
[
2,
4
],
[
2,
5
]
],
[
[
1,
3
],
[
1,
4
],
[
2,
5
]
],
[
[
1,
4
],
[
1,
5
],
[
2,
6
]
],
[
[
1,
4
],
[
2,
5
],
[
2,
6
]
],
[
[
1,
5
],
[
1,
6
],
[
2,
6
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
6
]
],
[
[
2,
0
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
1
],
[
3,
1
],
[
3,
2
]
],
[
[
2,
1
],
[
3,
2
],
[
3,
3
]
],
[
[
2,
2
],
[
3,
3
],
[
3,
4
]
],
[
[
2,
3
],
[
2,
4
],
[
3,
4
]
],
[
[
2,
4
],
[
2,
5
],
[
3,
4
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
4
]
],
[
[
2,
6
],
[
3,
4
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
3,
2
],
[
4,
0
]
],
[
[
3,
2
],
[
3,
3
],
[
4,
1
]
],
[
[
3,
2
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
3
],
[
3,
4
],
[
4,
2
]
],
[
[
3,
3
],
[
4,
1
],
[
5,
0
]
],
[
[
3,
3
],
[
4,
2
],
[
5,
0
]
],
[
[
3,
4
],
[
3,
5
],
[
4,
2
]
],
[
[
3,
5
],
[
4,
2
],
[
5,
0
]
],
[
[
3,
5
],
[
4,
3
],
[
4,
4
]
],
[
[
3,
5
],
[
4,
3
],
[
5,
0
]
],
[
[
4,
0
],
[
4,
1
],
[
5,
0
]
],
[
[
4,
3
],
[
4,
4
],
[
5,
1
]
],
[
[
4,
3
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
4
],
[
5,
1
],
[
5,
2
]
],
[
[
4,
4
],
[
5,
2
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
0
]
],
[
[
5,
1
],
[
5,
2
],
[
6,
0
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
2
]
],
[
[
5,
2
],
[
6,
0
],
[
6,
1
]
],
[
[
5,
2
],
[
6,
1
],
[
7,
1
]
],
[
[
5,
2
],
[
6,
2
],
[
7,
1
]
],
[
[
6,
0
],
[
6,
1
],
[
7,
0
]
],
[
[
6,
1
],
[
7,
0
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
]
},
{
"degree": 8,
"heights": {
"0,0": 0,
"0,1": -44,
"0,2": -80,
"0,3": -108,
"0,4": -112,
"0,5": -108,
"0,6": -88,
"0,7": -52,
"0,8": 0,
"1,0": -399,
"1,1": -627,
"1,2": -815,
"1,3": -835,
"1,4": -847,
"1,5": -835,
"1,6": -807,
"1,7": -763,
"2,0": -702,
"2,1": -994,
"2,2": -1238,
"2,3": -1450,
"2,4": -1486,
"2,5": -1514,
"2,6": -1510,
"3,0": -997,
"3,1": -1305,
"3,2": -1581,
"3,3": -1841,
"3,4": -2069,
"3,5": -2057,
"4,0": -1284,
"4,1": -1552,
"4,2": -1796,
"4,3": -1768,
"4,4": -1716,
"5,0": -1515,
"5,1": -1471,
"5,2": -1411,
"5,3": -1303,
"6,0": -1042,
"6,1": -974,
"6,2": -882,
"7,0": -529,
"7,1": -453,
"8,0": 0
},
"scheme": "<2 u 1<1> u 1<2> u 1<9>>",
"signs": {
"0,0": -1,
"0,1": -1,
"0,2": -1,
"0,3": 1,
"0,4": 1,
"0,5": 1,
"0,6": 1,
"0,7": -1,
"0,8": 1,
"1,0": -1,
"1,1": 1,
"1,2": -1,
"1,3": 1,
"1,4": -1,
"1,5": 1,
"1,6": 1,
"1,7": -1,
"2,0": 1,
"2,1": 1,
"2,2": -1,
"2,3": 1,
"2,4": -1,
"2,5": 1,
"2,6": -1,
"3,0": 1,
"3,1": 1,
"3,2": -1,
"3,3": 1,
"3,4": -1,
"3,5": 1,
"4,0": 1,
"4,1": 1,
"4,2": -1,
"4,3": 1,
"4,4": 1,
"5,0": -1,
"5,1": 1,
"5,2": -1,
"5,3": 1,
"6,0": 1,
"6,1": 1,
"6,2": -1,
"7,0": -1,
"7,1": 1,
"8,0": -1
},
"source": {
"added": [
[
1,
1
],
[
2,
3
]
],
"extra": false,
"lifting": "scipy-highs",
"removed": [
[
0,
0
],
[
3,
4
]
],
"seed": "q9 addition: <5 u 1<1> u 1<2> u 1<9>>",
"task": 37
},
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
2
]
],
[
[
0,
0
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
0
],
[
1,
1
],
[
2,
3
]
],
[
[
0,
0
],
[
1,
2
],
[
2,
3
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
2
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
2
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
3
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
3
],
[
1,
3
],
[
1,
4
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
4
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
5
]
],
[
[
0,
5
],
[
1,
4
],
[
1,
5
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
6
]
],
[
[
0,
6
],
[
1,
5
],
[
1,
6
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
7
]
],
[
[
0,
7
],
[
1,
6
],
[
1,
7
]
],
[
[
1,
0
],
[
1,
1
],
[
2,
2
]
],
[
[
1,
0
],
[
2,
0
],
[
3,
1
]
],
[
[
1,
0
],
[
2,
1
],
[
3,
1
]
],
[
[
1,
0
],
[
2,
1
],
[
3,
3
]
],
[
[
1,
0
],
[
2,
2
],
[
3,
3
]
],
[
[
1,
1
],
[
2,
2
],
[
3,
4
]
],
[
[
1,
1
],
[
2,
3
],
[
3,
4
]
],
[
[
1,
2
],
[
1,
3
],
[
2,
5
]
],
[
[
1,
2
],
[
2,
3
],
[
2,
4
]
],
[
[
1,
2
],
[
2,
4
],
[
2,
5
]
],
[
[
1,
3
],
[
1,
4
],
[
2,
5
]
],
[
[
1,
4
],
[
1,
5
],
[
2,
6
]
],
[
[
1,
4
],
[
2,
5
],
[
2,
6
]
],
[
[
1,
5
],
[
1,
6
],
[
2,
6
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
6
]
],
[
[
2,
0
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
1
],
[
3,
1
],
[
3,
2
]
],
[
[
2,
1
],
[
3,
2
],
[
3,
3
]
],
[
[
2,
2
],
[
3,
3
],
[
3,
4
]
],
[
[
2,
3
],
[
2,
4
],
[
3,
4
]
],
[
[
2,
4
],
[
2,
5
],
[
3,
4
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
4
]
],
[
[
2,
6
],
[
3,
4
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
3,
2
],
[
4,
0
]
],
[
[
3,
2
],
[
3,
3
],
[
4,
1
]
],
[
[
3,
2
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
3
],
[
3,
4
],
[
4,
2
]
],
[
[
3,
3
],
[
4,
1
],
[
5,
0
]
],
[
[
3,
3
],
[
4,
2
],
[
5,
0
]
],
[
[
3,
4
],
[
3,
5
],
[
4,
2
]
],
[
[
3,
5
],
[
4,
2
],
[
5,
0
]
],
[
[
3,
5
],
[
4,
3
],
[
4,
4
]
],
[
[
3,
5
],
[
4,
3
],
[
5,
0
]
],
[
[
4,
0
],
[
4,
1
],
[
5,
0
]
],
[
[
4,
3
],
[
4,
4
],
[
5,
1
]
],
[
[
4,
3
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
4
],
[
5,
1
],
[
5,
2
]
],
[
[
4,
4
],
[
5,
2
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
0
]
],
[
[
5,
1
],
[
5,
2
],
[
6,
0
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
2
]
],
[
[
5,
2
],
[
6,
0
],
[
6,
1
]
],
[
[
5,
2
],
[
6,
1
],
[
7,
1
]
],
[
[
5,
2
],
[
6,
2
],
[
7,
1
]
],
[
[
6,
0
],
[
6,
1
],
[
7,
0
]
],
[
[
6,
1
],
[
7,
0
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
]
},
{
"degree": 8,
"heights": {
"0,0": 0,
"0,1": -11,
"0,2": -20,
"0,3": -27,
"0,4": -28,
"0,5": -27,
"0,6": -22,
"0,7": -13,
"0,8": 0,
"1,0": -101,
"1,1": -158,
"1,2": -203,
"1,3": -208,
"1,4": -211,
"1,5": -208,
"1,6": -201,
"1,7": -190,
"2,0": -180,
"2,1": -253,
"2,2": -314,
"2,3": -365,
"2,4": -374,
"2,5": -381,
"2,6": -376,
"3,0": -257,
"3,1": -334,
"3,2": -403,
"3,3": -468,
"3,4": -525,
"3,5": -518,
"4,0": -332,
"4,1": -399,
"4,2": -460,
"4,3": -449,
"4,4": -432,
"5,0": -393,
"5,1": -378,
"5,2": -359,
"5,3": -328,
"6,0": -270,
"6,1": -249,
"6,2": -222,
"7,0": -137,
"7,1": -114,
"8,0": 0
},
"scheme": "<4 u 1<1> u 1<3> u 1<9>>",
"signs": {
"0,0": -1,
"0,1": -1,
"0,2": 1,
"0,3": 1,
"0,4": 1,
"0,5": 1,
"0,6": -1,
"0,7": -1,
"0,8": 1,
"1,0": -1,
"1,1": 1,
"1,2": -1,
"1,3": 1,
"1,4": -1,
"1,5": 1,
"1,6": 1,
"1,7": -1,
"2,0": 1,
"2,1": 1,
"2,2": -1,
"2,3": 1,
"2,4": -1,
"2,5": 1,
"2,6": -1,
"3,0": 1,
"3,1": 1,
"3,2": -1,
"3,3": 1,
"3,4": -1,
"3,5": 1,
"4,0": 1,
"4,1": 1,
"4,2": -1,
"4,3": 1,
"4,4": 1,
"5,0": -1,
"5,1": 1,
"5,2": -1,
"5,3": 1,
"6,0": 1,
"6,1": 1,
"6,2": -1,
"7,0": -1,
"7,1": 1,
"8,0": -1
},
"source": {
"added": [
[
1,
5
],
[
2,
5
]
],
"extra": false,
"lifting": "scipy-highs",
"removed": [
[
1,
4
],
[
2,
6
]
],
"seed": "q9 addition: <5 u 1<1> u 1<2> u 1<9>>",
"task": 50
},
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
2
]
],
[
[
0,
0
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
0
],
[
1,
1
],
[
3,
4
]
],
[
[
0,
0
],
[
1,
2
],
[
2,
3
]
],
[
[
0,
0
],
[
2,
3
],
[
3,
4
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
2
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
2
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
3
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
3
],
[
1,
3
],
[
1,
4
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
4
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
5
]
],
[
[
0,
5
],
[
1,
4
],
[
1,
5
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
6
]
],
[
[
0,
6
],
[
1,
5
],
[
1,
6
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
7
]
],
[
[
0,
7
],
[
1,
6
],
[
1,
7
]
],
[
[
1,
0
],
[
1,
1
],
[
2,
2
]
],
[
[
1,
0
],
[
2,
0
],
[
3,
1
]
],
[
[
1,
0
],
[
2,
1
],
[
3,
1
]
],
[
[
1,
0
],
[
2,
1
],
[
3,
3
]
],
[
[
1,
0
],
[
2,
2
],
[
3,
3
]
],
[
[
1,
1
],
[
2,
2
],
[
3,
4
]
],
[
[
1,
2
],
[
1,
3
],
[
2,
5
]
],
[
[
1,
2
],
[
2,
3
],
[
2,
4
]
],
[
[
1,
2
],
[
2,
4
],
[
2,
5
]
],
[
[
1,
3
],
[
1,
4
],
[
2,
5
]
],
[
[
1,
4
],
[
1,
5
],
[
2,
5
]
],
[
[
1,
5
],
[
1,
6
],
[
2,
6
]
],
[
[
1,
5
],
[
2,
5
],
[
2,
6
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
6
]
],
[
[
2,
0
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
1
],
[
3,
1
],
[
3,
2
]
],
[
[
2,
1
],
[
3,
2
],
[
3,
3
]
],
[
[
2,
2
],
[
3,
3
],
[
3,
4
]
],
[
[
2,
3
],
[
2,
4
],
[
3,
4
]
],
[
[
2,
4
],
[
2,
5
],
[
3,
4
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
4
]
],
[
[
2,
6
],
[
3,
4
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
3,
2
],
[
4,
0
]
],
[
[
3,
2
],
[
3,
3
],
[
4,
1
]
],
[
[
3,
2
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
3
],
[
3,
4
],
[
4,
2
]
],
[
[
3,
3
],
[
4,
1
],
[
5,
0
]
],
[
[
3,
3
],
[
4,
2
],
[
5,
0
]
],
[
[
3,
4
],
[
3,
5
],
[
4,
2
]
],
[
[
3,
5
],
[
4,
2
],
[
5,
0
]
],
[
[
3,
5
],
[
4,
3
],
[
4,
4
]
],
[
[
3,
5
],
[
4,
3
],
[
5,
0
]
],
[
[
4,
0
],
[
4,
1
],
[
5,
0
]
],
[
[
4,
3
],
[
4,
4
],
[
5,
1
]
],
[
[
4,
3
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
4
],
[
5,
1
],
[
5,
2
]
],
[
[
4,
4
],
[
5,
2
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
0
]
],
[
[
5,
1
],
[
5,
2
],
[
6,
0
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
2
]
],
[
[
5,
2
],
[
6,
0
],
[
6,
1
]
],
[
[
5,
2
],
[
6,
1
],
[
7,
1
]
],
[
[
5,
2
],
[
6,
2
],
[
7,
1
]
],
[
[
6,
0
],
[
6,
1
],
[
7,
0
]
],
[
[
6,
1
],
[
7,
0
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
]
},
{
"degree": 8,
"heights": {
"0,0": 0,
"0,1": -11,
"0,2": -20,
"0,3": -27,
"0,4": -28,
"0,5": -27,
"0,6": -22,
"0,7": -13,
"0,8": 0,
"1,0": -101,
"1,1": -158,
"1,2": -203,
"1,3": -208,
"1,4": -211,
"1,5": -208,
"1,6": -201,
"1,7": -190,
"2,0": -180,
"2,1": -253,
"2,2": -314,
"2,3": -365,
"2,4": -374,
"2,5": -381,
"2,6": -376,
"3,0": -257,
"3,1": -334,
"3,2": -403,
"3,3": -468,
"3,4": -525,
"3,5": -518,
"4,0": -332,
"4,1": -399,
"4,2": -460,
"4,3": -449,
"4,4": -432,
"5,0": -393,
"5,1": -378,
"5,2": -359,
"5,3": -328,
"6,0": -270,
"6,1": -249,
"6,2": -222,
"7,0": -137,
"7,1": -114,
"8,0": 0
},
"scheme": "<3 u 1<1> u 1<3> u 1<9>>",
"signs": {
"0,0": -1,
"0,1": -1,
"0,2": -1,
"0,3": 1,
"0,4": 1,
"0,5": 1,
"0,6": 1,
"0,7": -1,
"0,8": 1,
"1,0": -1,
"1,1": 1,
"1,2": -1,
"1,3": 1,
"1,4": -1,
"1,5": 1,
"1,6": 1,
"1,7": -1,
"2,0": 1,
"2,1": 1,
"2,2": -1,
"2,3": 1,
"2,4": -1,
"2,5": 1,
"2,6": -1,
"3,0": 1,
"3,1": 1,
"3,2": -1,
"3,3": 1,
"3,4": -1,
"3,5": 1,
"4,0": 1,
"4,1": 1,
"4,2": -1,
"4,3": 1,
"4,4": 1,
"5,0": -1,
"5,1": 1,
"5,2": -1,
"5,3": 1,
"6,0": 1,
"6,1": 1,
"6,2": -1,
"7,0": -1,
"7,1": 1,
"8,0": -1
},
"source": {
"added": [
[
1,
5
],
[
2,
5
]
],
"extra": false,
"lifting": "scipy-highs",
"removed": [
[
1,
4
],
[
2,
6
]
],
"seed": "q9 addition: <5 u 1<1> u 1<2> u 1<9>>",
"task": 50
},
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
2
]
],
[
[
0,
0
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
0
],
[
1,
1
],
[
3,
4
]
],
[
[
0,
0
],
[
1,
2
],
[
2,
3
]
],
[
[
0,
0
],
[
2,
3
],
[
3,
4
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
2
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
2
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
3
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
3
],
[
1,
3
],
[
1,
4
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
4
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
5
]
],
[
[
0,
5
],
[
1,
4
],
[
1,
5
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
6
]
],
[
[
0,
6
],
[
1,
5
],
[
1,
6
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
7
]
],
[
[
0,
7
],
[
1,
6
],
[
1,
7
]
],
[
[
1,
0
],
[
1,
1
],
[
2,
2
]
],
[
[
1,
0
],
[
2,
0
],
[
3,
1
]
],
[
[
1,
0
],
[
2,
1
],
[
3,
1
]
],
[
[
1,
0
],
[
2,
1
],
[
3,
3
]
],
[
[
1,
0
],
[
2,
2
],
[
3,
3
]
],
[
[
1,
1
],
[
2,
2
],
[
3,
4
]
],
[
[
1,
2
],
[
1,
3
],
[
2,
5
]
],
[
[
1,
2
],
[
2,
3
],
[
2,
4
]
],
[
[
1,
2
],
[
2,
4
],
[
2,
5
]
],
[
[
1,
3
],
[
1,
4
],
[
2,
5
]
],
[
[
1,
4
],
[
1,
5
],
[
2,
5
]
],
[
[
1,
5
],
[
1,
6
],
[
2,
6
]
],
[
[
1,
5
],
[
2,
5
],
[
2,
6
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
6
]
],
[
[
2,
0
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
1
],
[
3,
1
],
[
3,
2
]
],
[
[
2,
1
],
[
3,
2
],
[
3,
3
]
],
[
[
2,
2
],
[
3,
3
],
[
3,
4
]
],
[
[
2,
3
],
[
2,
4
],
[
3,
4
]
],
[
[
2,
4
],
[
2,
5
],
[
3,
4
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
4
]
],
[
[
2,
6
],
[
3,
4
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
3,
2
],
[
4,
0
]
],
[
[
3,
2
],
[
3,
3
],
[
4,
1
]
],
[
[
3,
2
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
3
],
[
3,
4
],
[
4,
2
]
],
[
[
3,
3
],
[
4,
1
],
[
5,
0
]
],
[
[
3,
3
],
[
4,
2
],
[
5,
0
]
],
[
[
3,
4
],
[
3,
5
],
[
4,
2
]
],
[
[
3,
5
],
[
4,
2
],
[
5,
0
]
],
[
[
3,
5
],
[
4,
3
],
[
4,
4
]
],
[
[
3,
5
],
[
4,
3
],
[
5,
0
]
],
[
[
4,
0
],
[
4,
1
],
[
5,
0
]
],
[
[
4,
3
],
[
4,
4
],
[
5,
1
]
],
[
[
4,
3
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
4
],
[
5,
1
],
[
5,
2
]
],
[
[
4,
4
],
[
5,
2
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
0
]
],
[
[
5,
1
],
[
5,
2
],
[
6,
0
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
2
]
],
[
[
5,
2
],
[
6,
0
],
[
6,
1
]
],
[
[
5,
2
],
[
6,
1
],
[
7,
1
]
],
[
[
5,
2
],
[
6,
2
],
[
7,
1
]
],
[
[
6,
0
],
[
6,
1
],
[
7,
0
]
],
[
[
6,
1
],
[
7,
0
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
]
},
{
"degree": 8,
"heights": {
"0,0": 0,
"0,1": -11,
"0,2": -20,
"0,3": -27,
"0,4": -28,
"0,5": -27,
"0,6": -22,
"0,7": -13,
"0,8": 0,
"1,0": -101,
"1,1": -158,
"1,2": -203,
"1,3": -208,
"1,4": -211,
"1,5": -208,
"1,6": -201,
"1,7": -190,
"2,0": -180,
"2,1": -253,
"2,2": -314,
"2,3": -365,
"2,4": -374,
"2,5": -381,
"2,6": -376,
"3,0": -257,
"3,1": -334,
"3,2": -403,
"3,3": -468,
"3,4": -525,
"3,5": -518,
"4,0": -332,
"4,1": -399,
"4,2": -460,
"4,3": -449,
"4,4": -432,
"5,0": -393,
"5,1": -378,
"5,2": -359,
"5,3": -328,
"6,0": -270,
"6,1": -249,
"6,2": -222,
"7,0": -137,
"7,1": -114,
"8,0": 0
},
"scheme": "<2 u 1<1> u 1<3> u 1<9>>",
"signs": {
"0,0": -1,
"0,1": 1,
"0,2": -1,
"0,3": 1,
"0,4": 1,
"0,5": 1,
"0,6": 1,
"0,7": 1,
"0,8": 1,
"1,0": -1,
"1,1": 1,
"1,2": -1,
"1,3": 1,
"1,4": -1,
"1,5": 1,
"1,6": 1,
"1,7": -1,
"2,0": 1,
"2,1": 1,
"2,2": -1,
"2,3": 1,
"2,4": -1,
"2,5": 1,
"2,6": -1,
"3,0": 1,
"3,1": 1,
"3,2": -1,
"3,3": 1,
"3,4": -1,
"3,5": 1,
"4,0": 1,
"4,1": 1,
"4,2": -1,
"4,3": 1,
"4,4": 1,
"5,0": -1,
"5,1": 1,
"5,2": -1,
"5,3": 1,
"6,0": 1,
"6,1": 1,
"6,2": -1,
"7,0": -1,
"7,1": 1,
"8,0": -1
},
"source": {
"added": [
[
1,
5
],
[
2,
5
]
],
"extra": false,
"lifting": "scipy-highs",
"removed": [
[
1,
4
],
[
2,
6
]
],
"seed": "q9 addition: <5 u 1<1> u 1<2> u 1<9>>",
"task": 50
},
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
2
]
],
[
[
0,
0
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
0
],
[
1,
1
],
[
3,
4
]
],
[
[
0,
0
],
[
1,
2
],
[
2,
3
]
],
[
[
0,
0
],
[
2,
3
],
[
3,
4
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
2
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
2
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
3
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
3
],
[
1,
3
],
[
1,
4
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
4
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
5
]
],
[
[
0,
5
],
[
1,
4
],
[
1,
5
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
6
]
],
[
[
0,
6
],
[
1,
5
],
[
1,
6
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
7
]
],
[
[
0,
7
],
[
1,
6
],
[
1,
7
]
],
[
[
1,
0
],
[
1,
1
],
[
2,
2
]
],
[
[
1,
0
],
[
2,
0
],
[
3,
1
]
],
[
[
1,
0
],
[
2,
1
],
[
3,
1
]
],
[
[
1,
0
],
[
2,
1
],
[
3,
3
]
],
[
[
1,
0
],
[
2,
2
],
[
3,
3
]
],
[
[
1,
1
],
[
2,
2
],
[
3,
4
]
],
[
[
1,
2
],
[
1,
3
],
[
2,
5
]
],
[
[
1,
2
],
[
2,
3
],
[
2,
4
]
],
[
[
1,
2
],
[
2,
4
],
[
2,
5
]
],
[
[
1,
3
],
[
1,
4
],
[
2,
5
]
],
[
[
1,
4
],
[
1,
5
],
[
2,
5
]
],
[
[
1,
5
],
[
1,
6
],
[
2,
6
]
],
[
[
1,
5
],
[
2,
5
],
[
2,
6
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
6
]
],
[
[
2,
0
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
1
],
[
3,
1
],
[
3,
2
]
],
[
[
2,
1
],
[
3,
2
],
[
3,
3
]
],
[
[
2,
2
],
[
3,
3
],
[
3,
4
]
],
[
[
2,
3
],
[
2,
4
],
[
3,
4
]
],
[
[
2,
4
],
[
2,
5
],
[
3,
4
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
4
]
],
[
[
2,
6
],
[
3,
4
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
3,
2
],
[
4,
0
]
],
[
[
3,
2
],
[
3,
3
],
[
4,
1
]
],
[
[
3,
2
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
3
],
[
3,
4
],
[
4,
2
]
],
[
[
3,
3
],
[
4,
1
],
[
5,
0
]
],
[
[
3,
3
],
[
4,
2
],
[
5,
0
]
],
[
[
3,
4
],
[
3,
5
],
[
4,
2
]
],
[
[
3,
5
],
[
4,
2
],
[
5,
0
]
],
[
[
3,
5
],
[
4,
3
],
[
4,
4
]
],
[
[
3,
5
],
[
4,
3
],
[
5,
0
]
],
[
[
4,
0
],
[
4,
1
],
[
5,
0
]
],
[
[
4,
3
],
[
4,
4
],
[
5,
1
]
],
[
[
4,
3
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
4
],
[
5,
1
],
[
5,
2
]
],
[
[
4,
4
],
[
5,
2
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
0
]
],
[
[
5,
1
],
[
5,
2
],
[
6,
0
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
2
]
],
[
[
5,
2
],
[
6,
0
],
[
6,
1
]
],
[
[
5,
2
],
[
6,
1
],
[
7,
1
]
],
[
[
5,
2
],
[
6,
2
],
[
7,
1
]
],
[
[
6,
0
],
[
6,
1
],
[
7,
0
]
],
[
[
6,
1
],
[
7,
0
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
]
}
]