files / problems / hilbert16-degree-8 / compute / certs / harnack_d8.json

3.4 KB · on GitHub

{
"d": 8,
"claimed_scheme": "<18 u 1<3>>",
"triangles": [
[
[
0,
0
],
[
1,
0
],
[
0,
1
]
],
[
[
1,
0
],
[
0,
1
],
[
1,
1
]
],
[
[
0,
1
],
[
1,
1
],
[
0,
2
]
],
[
[
1,
1
],
[
0,
2
],
[
1,
2
]
],
[
[
0,
2
],
[
1,
2
],
[
0,
3
]
],
[
[
1,
2
],
[
0,
3
],
[
1,
3
]
],
[
[
0,
3
],
[
1,
3
],
[
0,
4
]
],
[
[
1,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
4
],
[
1,
4
],
[
0,
5
]
],
[
[
1,
4
],
[
0,
5
],
[
1,
5
]
],
[
[
0,
5
],
[
1,
5
],
[
0,
6
]
],
[
[
1,
5
],
[
0,
6
],
[
1,
6
]
],
[
[
0,
6
],
[
1,
6
],
[
0,
7
]
],
[
[
1,
6
],
[
0,
7
],
[
1,
7
]
],
[
[
0,
7
],
[
1,
7
],
[
0,
8
]
],
[
[
1,
0
],
[
2,
0
],
[
1,
1
]
],
[
[
2,
0
],
[
1,
1
],
[
2,
1
]
],
[
[
1,
1
],
[
2,
1
],
[
1,
2
]
],
[
[
2,
1
],
[
1,
2
],
[
2,
2
]
],
[
[
1,
2
],
[
2,
2
],
[
1,
3
]
],
[
[
2,
2
],
[
1,
3
],
[
2,
3
]
],
[
[
1,
3
],
[
2,
3
],
[
1,
4
]
],
[
[
2,
3
],
[
1,
4
],
[
2,
4
]
],
[
[
1,
4
],
[
2,
4
],
[
1,
5
]
],
[
[
2,
4
],
[
1,
5
],
[
2,
5
]
],
[
[
1,
5
],
[
2,
5
],
[
1,
6
]
],
[
[
2,
5
],
[
1,
6
],
[
2,
6
]
],
[
[
1,
6
],
[
2,
6
],
[
1,
7
]
],
[
[
2,
0
],
[
3,
0
],
[
2,
1
]
],
[
[
3,
0
],
[
2,
1
],
[
3,
1
]
],
[
[
2,
1
],
[
3,
1
],
[
2,
2
]
],
[
[
3,
1
],
[
2,
2
],
[
3,
2
]
],
[
[
2,
2
],
[
3,
2
],
[
2,
3
]
],
[
[
3,
2
],
[
2,
3
],
[
3,
3
]
],
[
[
2,
3
],
[
3,
3
],
[
2,
4
]
],
[
[
3,
3
],
[
2,
4
],
[
3,
4
]
],
[
[
2,
4
],
[
3,
4
],
[
2,
5
]
],
[
[
3,
4
],
[
2,
5
],
[
3,
5
]
],
[
[
2,
5
],
[
3,
5
],
[
2,
6
]
],
[
[
3,
0
],
[
4,
0
],
[
3,
1
]
],
[
[
4,
0
],
[
3,
1
],
[
4,
1
]
],
[
[
3,
1
],
[
4,
1
],
[
3,
2
]
],
[
[
4,
1
],
[
3,
2
],
[
4,
2
]
],
[
[
3,
2
],
[
4,
2
],
[
3,
3
]
],
[
[
4,
2
],
[
3,
3
],
[
4,
3
]
],
[
[
3,
3
],
[
4,
3
],
[
3,
4
]
],
[
[
4,
3
],
[
3,
4
],
[
4,
4
]
],
[
[
3,
4
],
[
4,
4
],
[
3,
5
]
],
[
[
4,
0
],
[
5,
0
],
[
4,
1
]
],
[
[
5,
0
],
[
4,
1
],
[
5,
1
]
],
[
[
4,
1
],
[
5,
1
],
[
4,
2
]
],
[
[
5,
1
],
[
4,
2
],
[
5,
2
]
],
[
[
4,
2
],
[
5,
2
],
[
4,
3
]
],
[
[
5,
2
],
[
4,
3
],
[
5,
3
]
],
[
[
4,
3
],
[
5,
3
],
[
4,
4
]
],
[
[
5,
0
],
[
6,
0
],
[
5,
1
]
],
[
[
6,
0
],
[
5,
1
],
[
6,
1
]
],
[
[
5,
1
],
[
6,
1
],
[
5,
2
]
],
[
[
6,
1
],
[
5,
2
],
[
6,
2
]
],
[
[
5,
2
],
[
6,
2
],
[
5,
3
]
],
[
[
6,
0
],
[
7,
0
],
[
6,
1
]
],
[
[
7,
0
],
[
6,
1
],
[
7,
1
]
],
[
[
6,
1
],
[
7,
1
],
[
6,
2
]
],
[
[
7,
0
],
[
8,
0
],
[
7,
1
]
]
],
"heights": {
"0,0": "0",
"0,1": "1",
"0,2": "4",
"0,3": "9",
"0,4": "16",
"0,5": "25",
"0,6": "36",
"0,7": "49",
"0,8": "64",
"1,0": "1",
"1,1": "3",
"1,2": "7",
"1,3": "13",
"1,4": "21",
"1,5": "31",
"1,6": "43",
"1,7": "57",
"2,0": "4",
"2,1": "7",
"2,2": "12",
"2,3": "19",
"2,4": "28",
"2,5": "39",
"2,6": "52",
"3,0": "9",
"3,1": "13",
"3,2": "19",
"3,3": "27",
"3,4": "37",
"3,5": "49",
"4,0": "16",
"4,1": "21",
"4,2": "28",
"4,3": "37",
"4,4": "48",
"5,0": "25",
"5,1": "31",
"5,2": "39",
"5,3": "49",
"6,0": "36",
"6,1": "43",
"6,2": "52",
"7,0": "49",
"7,1": "57",
"8,0": "64"
},
"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
},
"note": "Harnack signs (-1 iff i,j both odd) on the standard triangulation; classical scheme <18 u 1<3>> (arXiv:2602.06888 v3 Prop 10)."
}