files / problems / hilbert16-degree-8 / compute / q11 / certs / new_schemes.json
[
{
"degree": 8,
"heights": {
"0,0": 0,
"0,1": -51,
"0,2": -86,
"0,3": -113,
"0,4": -116,
"0,5": -111,
"0,6": -90,
"0,7": -53,
"0,8": 0,
"1,0": -409,
"1,1": -484,
"1,2": -527,
"1,3": -546,
"1,4": -557,
"1,5": -544,
"1,6": -515,
"1,7": -470,
"2,0": -594,
"2,1": -733,
"2,2": -824,
"2,3": -883,
"2,4": -918,
"2,5": -945,
"2,6": -924,
"3,0": -771,
"3,1": -926,
"3,2": -1049,
"3,3": -1156,
"3,4": -1231,
"3,5": -1202,
"4,0": -940,
"4,1": -1055,
"4,2": -1146,
"4,3": -1101,
"4,4": -1032,
"5,0": -1053,
"5,1": -992,
"5,2": -915,
"5,3": -790,
"6,0": -734,
"6,1": -649,
"6,2": -540,
"7,0": -375,
"7,1": -282,
"8,0": 0
},
"scheme": "<1 u 1<1> u 1<3> 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,
5
],
[
2,
5
]
],
"extra": false,
"lifting": "scipy-highs",
"removed": [
[
1,
4
],
[
2,
6
]
],
"seed": "q10 followup: <1 u 1<1> u 1<2> u 1<10>>",
"task": 17
},
"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,
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": -51,
"0,2": -86,
"0,3": -113,
"0,4": -116,
"0,5": -111,
"0,6": -90,
"0,7": -53,
"0,8": 0,
"1,0": -409,
"1,1": -484,
"1,2": -527,
"1,3": -546,
"1,4": -557,
"1,5": -544,
"1,6": -515,
"1,7": -470,
"2,0": -594,
"2,1": -733,
"2,2": -824,
"2,3": -883,
"2,4": -918,
"2,5": -945,
"2,6": -924,
"3,0": -771,
"3,1": -926,
"3,2": -1049,
"3,3": -1156,
"3,4": -1231,
"3,5": -1202,
"4,0": -940,
"4,1": -1055,
"4,2": -1146,
"4,3": -1101,
"4,4": -1032,
"5,0": -1053,
"5,1": -992,
"5,2": -915,
"5,3": -790,
"6,0": -734,
"6,1": -649,
"6,2": -540,
"7,0": -375,
"7,1": -282,
"8,0": 0
},
"scheme": "<2 u 1<1> u 1<3> 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,
5
],
[
2,
5
]
],
"extra": false,
"lifting": "scipy-highs",
"removed": [
[
1,
4
],
[
2,
6
]
],
"seed": "q10 followup: <1 u 1<1> u 1<2> u 1<10>>",
"task": 17
},
"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,
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": -51,
"0,2": -86,
"0,3": -113,
"0,4": -116,
"0,5": -111,
"0,6": -90,
"0,7": -53,
"0,8": 0,
"1,0": -409,
"1,1": -484,
"1,2": -527,
"1,3": -546,
"1,4": -557,
"1,5": -544,
"1,6": -515,
"1,7": -470,
"2,0": -594,
"2,1": -733,
"2,2": -824,
"2,3": -883,
"2,4": -918,
"2,5": -945,
"2,6": -924,
"3,0": -771,
"3,1": -926,
"3,2": -1049,
"3,3": -1156,
"3,4": -1231,
"3,5": -1202,
"4,0": -940,
"4,1": -1055,
"4,2": -1146,
"4,3": -1101,
"4,4": -1032,
"5,0": -1053,
"5,1": -992,
"5,2": -915,
"5,3": -790,
"6,0": -734,
"6,1": -649,
"6,2": -540,
"7,0": -375,
"7,1": -282,
"8,0": 0
},
"scheme": "<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": "q10 followup: <1 u 1<1> u 1<2> u 1<10>>",
"task": 17
},
"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,
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": -35,
"0,2": -54,
"0,3": -69,
"0,4": -68,
"0,5": -63,
"0,6": -50,
"0,7": -29,
"0,8": 0,
"1,0": -212,
"1,1": -251,
"1,2": -274,
"1,3": -285,
"1,4": -288,
"1,5": -279,
"1,6": -262,
"1,7": -237,
"2,0": -300,
"2,1": -371,
"2,2": -418,
"2,3": -449,
"2,4": -464,
"2,5": -471,
"2,6": -466,
"3,0": -384,
"3,1": -463,
"3,2": -526,
"3,3": -581,
"3,4": -620,
"3,5": -611,
"4,0": -464,
"4,1": -523,
"4,2": -570,
"4,3": -553,
"4,4": -524,
"5,0": -516,
"5,1": -491,
"5,2": -458,
"5,3": -401,
"6,0": -360,
"6,1": -323,
"6,2": -274,
"7,0": -184,
"7,1": -143,
"8,0": 0
},
"scheme": "<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": [
[
1,
3
],
[
2,
4
]
],
"extra": false,
"lifting": "scipy-highs",
"removed": [
[
1,
2
],
[
2,
5
]
],
"seed": "q10 followup: <2 u 1<1> u 1<2> u 1<10>>",
"task": 75
},
"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,
4
]
],
[
[
1,
2
],
[
2,
3
],
[
2,
4
]
],
[
[
1,
3
],
[
1,
4
],
[
2,
5
]
],
[
[
1,
3
],
[
2,
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": -513,
"1,1": -709,
"1,2": -865,
"1,3": -885,
"1,4": -897,
"1,5": -885,
"1,6": -857,
"1,7": -813,
"2,0": -930,
"2,1": -1190,
"2,2": -1402,
"2,3": -1582,
"2,4": -1618,
"2,5": -1646,
"2,6": -1458,
"3,0": -1339,
"3,1": -1615,
"3,2": -1859,
"3,3": -2087,
"3,4": -2283,
"3,5": -2087,
"4,0": -1740,
"4,1": -1976,
"4,2": -2188,
"4,3": -1976,
"4,4": -1740,
"5,0": -2085,
"5,1": -1857,
"5,2": -1613,
"5,3": -1321,
"6,0": -1422,
"6,1": -1170,
"6,2": -894,
"7,0": -719,
"7,1": -459,
"8,0": 0
},
"scheme": "<1 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": false,
"lifting": "scipy-highs",
"removed": [
[
1,
6
],
[
2,
6
]
],
"seed": "q10 followup: <1 u 1<1> u 1<4> u 1<9>>",
"task": 167
},
"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,
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
]
]
]
},
{
"degree": 8,
"heights": {
"0,0": 0,
"0,1": -51,
"0,2": -86,
"0,3": -113,
"0,4": -116,
"0,5": -111,
"0,6": -90,
"0,7": -53,
"0,8": 0,
"1,0": -407,
"1,1": -482,
"1,2": -525,
"1,3": -544,
"1,4": -555,
"1,5": -542,
"1,6": -513,
"1,7": -468,
"2,0": -606,
"2,1": -745,
"2,2": -836,
"2,3": -895,
"2,4": -930,
"2,5": -957,
"2,6": -920,
"3,0": -797,
"3,1": -952,
"3,2": -1075,
"3,3": -1182,
"3,4": -1257,
"3,5": -1212,
"4,0": -980,
"4,1": -1095,
"4,2": -1186,
"4,3": -1125,
"4,4": -1040,
"5,0": -1107,
"5,1": -1030,
"5,2": -937,
"5,3": -796,
"6,0": -770,
"6,1": -669,
"6,2": -544,
"7,0": -393,
"7,1": -284,
"8,0": 0
},
"scheme": "<1 u 1<1> u 1<4> 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,
6
],
[
2,
5
]
],
"extra": true,
"lifting": "scipy-highs",
"removed": [
[
1,
5
],
[
2,
6
]
],
"seed": "q11 addition: <1 u 1<1> u 1<3> u 1<10>>",
"task": 17
},
"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,
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": -51,
"0,2": -86,
"0,3": -113,
"0,4": -116,
"0,5": -111,
"0,6": -90,
"0,7": -53,
"0,8": 0,
"1,0": -407,
"1,1": -482,
"1,2": -525,
"1,3": -544,
"1,4": -555,
"1,5": -542,
"1,6": -513,
"1,7": -468,
"2,0": -606,
"2,1": -745,
"2,2": -836,
"2,3": -895,
"2,4": -930,
"2,5": -957,
"2,6": -920,
"3,0": -797,
"3,1": -952,
"3,2": -1075,
"3,3": -1182,
"3,4": -1257,
"3,5": -1212,
"4,0": -980,
"4,1": -1095,
"4,2": -1186,
"4,3": -1125,
"4,4": -1040,
"5,0": -1107,
"5,1": -1030,
"5,2": -937,
"5,3": -796,
"6,0": -770,
"6,1": -669,
"6,2": -544,
"7,0": -393,
"7,1": -284,
"8,0": 0
},
"scheme": "<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": "q11 addition: <1 u 1<1> u 1<3> u 1<10>>",
"task": 17
},
"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,
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": -51,
"0,2": -86,
"0,3": -113,
"0,4": -116,
"0,5": -111,
"0,6": -90,
"0,7": -53,
"0,8": 0,
"1,0": -383,
"1,1": -458,
"1,2": -501,
"1,3": -520,
"1,4": -531,
"1,5": -518,
"1,6": -489,
"1,7": -444,
"2,0": -558,
"2,1": -697,
"2,2": -788,
"2,3": -847,
"2,4": -874,
"2,5": -877,
"2,6": -872,
"3,0": -725,
"3,1": -880,
"3,2": -1003,
"3,3": -1110,
"3,4": -1185,
"3,5": -1172,
"4,0": -884,
"4,1": -999,
"4,2": -1090,
"4,3": -1061,
"4,4": -1008,
"5,0": -987,
"5,1": -942,
"5,2": -881,
"5,3": -772,
"6,0": -690,
"6,1": -621,
"6,2": -528,
"7,0": -353,
"7,1": -276,
"8,0": 0
},
"scheme": "<1<1> u 1<3> 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,
4
],
[
2,
4
]
],
"extra": true,
"lifting": "scipy-highs",
"removed": [
[
1,
3
],
[
2,
5
]
],
"seed": "q11 addition: <1<1> u 1<2> u 1<10>>",
"task": 107
},
"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,
4
]
],
[
[
1,
2
],
[
2,
3
],
[
2,
4
]
],
[
[
1,
3
],
[
1,
4
],
[
2,
4
]
],
[
[
1,
4
],
[
1,
5
],
[
2,
6
]
],
[
[
1,
4
],
[
2,
4
],
[
2,
5
]
],
[
[
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
]
]
]
}
]