files / problems / hilbert16-degree-8 / compute / q10 / certs / new_schemes.json
[
{
"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": -122,
"1,2": -135,
"1,3": -140,
"1,4": -143,
"1,5": -140,
"1,6": -133,
"1,7": -122,
"2,0": -144,
"2,1": -181,
"2,2": -206,
"2,3": -223,
"2,4": -232,
"2,5": -239,
"2,6": -240,
"3,0": -185,
"3,1": -226,
"3,2": -259,
"3,3": -288,
"3,4": -309,
"3,5": -308,
"4,0": -224,
"4,1": -255,
"4,2": -280,
"4,3": -275,
"4,4": -264,
"5,0": -249,
"5,1": -240,
"5,2": -227,
"5,3": -202,
"6,0": -174,
"6,1": -159,
"6,2": -138,
"7,0": -89,
"7,1": -72,
"8,0": 0
},
"scheme": "<1 u 2<1> 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": [
[
1,
1
],
[
1,
2
]
],
"extra": false,
"lifting": "scipy-highs",
"removed": [
[
0,
0
],
[
2,
3
]
],
"seed": "q9 followup: <2 u 1<1> u 1<2> u 1<9>>",
"task": 0
},
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
2
]
],
[
[
0,
0
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
0
],
[
1,
1
],
[
1,
2
]
],
[
[
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
],
[
1,
2
],
[
2,
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": -122,
"1,2": -135,
"1,3": -140,
"1,4": -143,
"1,5": -140,
"1,6": -133,
"1,7": -122,
"2,0": -144,
"2,1": -181,
"2,2": -206,
"2,3": -223,
"2,4": -232,
"2,5": -239,
"2,6": -240,
"3,0": -185,
"3,1": -226,
"3,2": -259,
"3,3": -288,
"3,4": -309,
"3,5": -308,
"4,0": -224,
"4,1": -255,
"4,2": -280,
"4,3": -275,
"4,4": -264,
"5,0": -249,
"5,1": -240,
"5,2": -227,
"5,3": -202,
"6,0": -174,
"6,1": -159,
"6,2": -138,
"7,0": -89,
"7,1": -72,
"8,0": 0
},
"scheme": "<2 u 2<1> 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": [
[
1,
1
],
[
1,
2
]
],
"extra": false,
"lifting": "scipy-highs",
"removed": [
[
0,
0
],
[
2,
3
]
],
"seed": "q9 followup: <2 u 1<1> u 1<2> u 1<9>>",
"task": 0
},
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
2
]
],
[
[
0,
0
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
0
],
[
1,
1
],
[
1,
2
]
],
[
[
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
],
[
1,
2
],
[
2,
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": -122,
"1,2": -135,
"1,3": -140,
"1,4": -143,
"1,5": -140,
"1,6": -133,
"1,7": -122,
"2,0": -144,
"2,1": -181,
"2,2": -206,
"2,3": -223,
"2,4": -232,
"2,5": -239,
"2,6": -240,
"3,0": -185,
"3,1": -226,
"3,2": -259,
"3,3": -288,
"3,4": -309,
"3,5": -308,
"4,0": -224,
"4,1": -255,
"4,2": -280,
"4,3": -275,
"4,4": -264,
"5,0": -249,
"5,1": -240,
"5,2": -227,
"5,3": -202,
"6,0": -174,
"6,1": -159,
"6,2": -138,
"7,0": -89,
"7,1": -72,
"8,0": 0
},
"scheme": "<3 u 2<1> 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": [
[
1,
1
],
[
1,
2
]
],
"extra": false,
"lifting": "scipy-highs",
"removed": [
[
0,
0
],
[
2,
3
]
],
"seed": "q9 followup: <2 u 1<1> u 1<2> u 1<9>>",
"task": 0
},
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
2
]
],
[
[
0,
0
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
0
],
[
1,
1
],
[
1,
2
]
],
[
[
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
],
[
1,
2
],
[
2,
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": -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": -611,
"1,2": -783,
"1,3": -803,
"1,4": -815,
"1,5": -803,
"1,6": -775,
"1,7": -731,
"2,0": -702,
"2,1": -978,
"2,2": -1206,
"2,3": -1402,
"2,4": -1438,
"2,5": -1466,
"2,6": -1446,
"3,0": -997,
"3,1": -1289,
"3,2": -1549,
"3,3": -1793,
"3,4": -2005,
"3,5": -1977,
"4,0": -1284,
"4,1": -1536,
"4,2": -1764,
"4,3": -1720,
"4,4": -1652,
"5,0": -1515,
"5,1": -1455,
"5,2": -1379,
"5,3": -1255,
"6,0": -1042,
"6,1": -958,
"6,2": -850,
"7,0": -529,
"7,1": -437,
"8,0": 0
},
"scheme": "<1 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 followup: <2 u 1<1> u 1<2> u 1<9>>",
"task": 15
},
"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,
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": -154,
"1,2": -195,
"1,3": -200,
"1,4": -203,
"1,5": -200,
"1,6": -193,
"1,7": -182,
"2,0": -180,
"2,1": -249,
"2,2": -306,
"2,3": -353,
"2,4": -362,
"2,5": -369,
"2,6": -360,
"3,0": -257,
"3,1": -330,
"3,2": -395,
"3,3": -456,
"3,4": -509,
"3,5": -498,
"4,0": -332,
"4,1": -395,
"4,2": -452,
"4,3": -437,
"4,4": -416,
"5,0": -393,
"5,1": -374,
"5,2": -351,
"5,3": -316,
"6,0": -270,
"6,1": -245,
"6,2": -214,
"7,0": -137,
"7,1": -110,
"8,0": 0
},
"scheme": "<2 u 1<1> u 1<4> 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,
6
],
[
2,
5
]
],
"extra": false,
"lifting": "scipy-highs",
"removed": [
[
1,
5
],
[
2,
6
]
],
"seed": "q9 followup: <4 u 1<1> u 1<3> u 1<9>>",
"task": 41
},
"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,
5
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
6
]
],
[
[
1,
6
],
[
2,
5
],
[
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": -154,
"1,2": -195,
"1,3": -200,
"1,4": -203,
"1,5": -200,
"1,6": -193,
"1,7": -182,
"2,0": -180,
"2,1": -249,
"2,2": -306,
"2,3": -353,
"2,4": -362,
"2,5": -369,
"2,6": -360,
"3,0": -257,
"3,1": -330,
"3,2": -395,
"3,3": -456,
"3,4": -509,
"3,5": -498,
"4,0": -332,
"4,1": -395,
"4,2": -452,
"4,3": -437,
"4,4": -416,
"5,0": -393,
"5,1": -374,
"5,2": -351,
"5,3": -316,
"6,0": -270,
"6,1": -245,
"6,2": -214,
"7,0": -137,
"7,1": -110,
"8,0": 0
},
"scheme": "<3 u 1<1> u 1<4> 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,
6
],
[
2,
5
]
],
"extra": false,
"lifting": "scipy-highs",
"removed": [
[
1,
5
],
[
2,
6
]
],
"seed": "q9 followup: <4 u 1<1> u 1<3> u 1<9>>",
"task": 41
},
"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,
5
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
6
]
],
[
[
1,
6
],
[
2,
5
],
[
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": -65,
"0,2": -98,
"0,3": -123,
"0,4": -124,
"0,5": -117,
"0,6": -94,
"0,7": -55,
"0,8": 0,
"1,0": -426,
"1,1": -499,
"1,2": -540,
"1,3": -557,
"1,4": -566,
"1,5": -551,
"1,6": -520,
"1,7": -473,
"2,0": -588,
"2,1": -725,
"2,2": -814,
"2,3": -871,
"2,4": -904,
"2,5": -929,
"2,6": -930,
"3,0": -742,
"3,1": -895,
"3,2": -1016,
"3,3": -1121,
"3,4": -1194,
"3,5": -1187,
"4,0": -888,
"4,1": -1001,
"4,2": -1090,
"4,3": -1067,
"4,4": -1020,
"5,0": -978,
"5,1": -939,
"5,2": -884,
"5,3": -781,
"6,0": -684,
"6,1": -621,
"6,2": -534,
"7,0": -350,
"7,1": -279,
"8,0": 0
},
"scheme": "<1 u 1<1> u 1<2> 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,
1
],
[
1,
1
]
],
"extra": true,
"lifting": "scipy-highs",
"removed": [
[
0,
0
],
[
1,
2
]
],
"seed": "q10 addition: <1 u 2<1> u 1<10>>",
"task": 0
},
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
1
]
],
[
[
0,
0
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
2
]
],
[
[
0,
1
],
[
1,
1
],
[
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
],
[
1,
2
],
[
2,
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": -65,
"0,2": -98,
"0,3": -123,
"0,4": -124,
"0,5": -117,
"0,6": -94,
"0,7": -55,
"0,8": 0,
"1,0": -426,
"1,1": -499,
"1,2": -540,
"1,3": -557,
"1,4": -566,
"1,5": -551,
"1,6": -520,
"1,7": -473,
"2,0": -588,
"2,1": -725,
"2,2": -814,
"2,3": -871,
"2,4": -904,
"2,5": -929,
"2,6": -930,
"3,0": -742,
"3,1": -895,
"3,2": -1016,
"3,3": -1121,
"3,4": -1194,
"3,5": -1187,
"4,0": -888,
"4,1": -1001,
"4,2": -1090,
"4,3": -1067,
"4,4": -1020,
"5,0": -978,
"5,1": -939,
"5,2": -884,
"5,3": -781,
"6,0": -684,
"6,1": -621,
"6,2": -534,
"7,0": -350,
"7,1": -279,
"8,0": 0
},
"scheme": "<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": [
[
0,
1
],
[
1,
1
]
],
"extra": true,
"lifting": "scipy-highs",
"removed": [
[
0,
0
],
[
1,
2
]
],
"seed": "q10 addition: <1 u 2<1> u 1<10>>",
"task": 0
},
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
1
]
],
[
[
0,
0
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
2
]
],
[
[
0,
1
],
[
1,
1
],
[
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
],
[
1,
2
],
[
2,
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": -65,
"0,2": -98,
"0,3": -123,
"0,4": -124,
"0,5": -117,
"0,6": -94,
"0,7": -55,
"0,8": 0,
"1,0": -426,
"1,1": -499,
"1,2": -540,
"1,3": -557,
"1,4": -566,
"1,5": -551,
"1,6": -520,
"1,7": -473,
"2,0": -588,
"2,1": -725,
"2,2": -814,
"2,3": -871,
"2,4": -904,
"2,5": -929,
"2,6": -930,
"3,0": -742,
"3,1": -895,
"3,2": -1016,
"3,3": -1121,
"3,4": -1194,
"3,5": -1187,
"4,0": -888,
"4,1": -1001,
"4,2": -1090,
"4,3": -1067,
"4,4": -1020,
"5,0": -978,
"5,1": -939,
"5,2": -884,
"5,3": -781,
"6,0": -684,
"6,1": -621,
"6,2": -534,
"7,0": -350,
"7,1": -279,
"8,0": 0
},
"scheme": "<2 u 1<1> u 1<2> 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,
1
],
[
1,
1
]
],
"extra": true,
"lifting": "scipy-highs",
"removed": [
[
0,
0
],
[
1,
2
]
],
"seed": "q10 addition: <1 u 2<1> u 1<10>>",
"task": 0
},
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
1
]
],
[
[
0,
0
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
2
]
],
[
[
0,
1
],
[
1,
1
],
[
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
],
[
1,
2
],
[
2,
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": -65,
"0,2": -98,
"0,3": -123,
"0,4": -124,
"0,5": -117,
"0,6": -94,
"0,7": -55,
"0,8": 0,
"1,0": -426,
"1,1": -499,
"1,2": -540,
"1,3": -557,
"1,4": -566,
"1,5": -551,
"1,6": -520,
"1,7": -473,
"2,0": -588,
"2,1": -725,
"2,2": -814,
"2,3": -871,
"2,4": -904,
"2,5": -929,
"2,6": -930,
"3,0": -742,
"3,1": -895,
"3,2": -1016,
"3,3": -1121,
"3,4": -1194,
"3,5": -1187,
"4,0": -888,
"4,1": -1001,
"4,2": -1090,
"4,3": -1067,
"4,4": -1020,
"5,0": -978,
"5,1": -939,
"5,2": -884,
"5,3": -781,
"6,0": -684,
"6,1": -621,
"6,2": -534,
"7,0": -350,
"7,1": -279,
"8,0": 0
},
"scheme": "<3 u 1<1> u 1<2> 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,
1
],
[
1,
1
]
],
"extra": true,
"lifting": "scipy-highs",
"removed": [
[
0,
0
],
[
1,
2
]
],
"seed": "q10 addition: <1 u 2<1> u 1<10>>",
"task": 0
},
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
1
]
],
[
[
0,
0
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
2
]
],
[
[
0,
1
],
[
1,
1
],
[
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
],
[
1,
2
],
[
2,
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": -65,
"0,2": -98,
"0,3": -123,
"0,4": -124,
"0,5": -117,
"0,6": -94,
"0,7": -55,
"0,8": 0,
"1,0": -426,
"1,1": -499,
"1,2": -540,
"1,3": -557,
"1,4": -566,
"1,5": -551,
"1,6": -520,
"1,7": -473,
"2,0": -588,
"2,1": -725,
"2,2": -814,
"2,3": -871,
"2,4": -904,
"2,5": -929,
"2,6": -930,
"3,0": -742,
"3,1": -895,
"3,2": -1016,
"3,3": -1121,
"3,4": -1194,
"3,5": -1187,
"4,0": -888,
"4,1": -1001,
"4,2": -1090,
"4,3": -1067,
"4,4": -1020,
"5,0": -978,
"5,1": -939,
"5,2": -884,
"5,3": -781,
"6,0": -684,
"6,1": -621,
"6,2": -534,
"7,0": -350,
"7,1": -279,
"8,0": 0
},
"scheme": "<4 u 2<1> 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,
1
],
[
1,
1
]
],
"extra": true,
"lifting": "scipy-highs",
"removed": [
[
0,
0
],
[
1,
2
]
],
"seed": "q10 addition: <1 u 2<1> u 1<10>>",
"task": 0
},
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
1
]
],
[
[
0,
0
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
2
]
],
[
[
0,
1
],
[
1,
1
],
[
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
],
[
1,
2
],
[
2,
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": -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": -595,
"1,2": -751,
"1,3": -771,
"1,4": -783,
"1,5": -771,
"1,6": -743,
"1,7": -699,
"2,0": -702,
"2,1": -962,
"2,2": -1174,
"2,3": -1354,
"2,4": -1390,
"2,5": -1418,
"2,6": -1382,
"3,0": -997,
"3,1": -1273,
"3,2": -1517,
"3,3": -1745,
"3,4": -1941,
"3,5": -1897,
"4,0": -1284,
"4,1": -1520,
"4,2": -1732,
"4,3": -1672,
"4,4": -1588,
"5,0": -1515,
"5,1": -1439,
"5,2": -1347,
"5,3": -1207,
"6,0": -1042,
"6,1": -942,
"6,2": -818,
"7,0": -529,
"7,1": -421,
"8,0": 0
},
"scheme": "<1 u 1<1> u 1<4> 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,
6
],
[
2,
5
]
],
"extra": true,
"lifting": "scipy-highs",
"removed": [
[
1,
5
],
[
2,
6
]
],
"seed": "q10 addition: <1 u 1<1> u 1<3> u 1<9>>",
"task": 102
},
"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,
5
]
],
[
[
1,
5
],
[
1,
6
],
[
2,
5
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
6
]
],
[
[
1,
6
],
[
2,
5
],
[
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": -128,
"1,1": -181,
"1,2": -222,
"1,3": -227,
"1,4": -230,
"1,5": -227,
"1,6": -220,
"1,7": -209,
"2,0": -234,
"2,1": -303,
"2,2": -360,
"2,3": -407,
"2,4": -416,
"2,5": -423,
"2,6": -378,
"3,0": -338,
"3,1": -411,
"3,2": -476,
"3,3": -537,
"3,4": -590,
"3,5": -543,
"4,0": -440,
"4,1": -503,
"4,2": -560,
"4,3": -509,
"4,4": -452,
"5,0": -528,
"5,1": -473,
"5,2": -414,
"5,3": -343,
"6,0": -360,
"6,1": -299,
"6,2": -232,
"7,0": -182,
"7,1": -119,
"8,0": 0
},
"scheme": "<2 u 1<1> u 1<5> 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,
7
],
[
2,
5
]
],
"extra": true,
"lifting": "scipy-highs",
"removed": [
[
1,
6
],
[
2,
6
]
],
"seed": "q10 addition: <2 u 1<1> u 1<4> u 1<9>>",
"task": 130
},
"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,
5
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
5
]
],
[
[
1,
7
],
[
2,
5
],
[
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
]
]
]
}
]