files / problems / hilbert16-degree-8 / compute / certs / new_schemes.json
[
{
"scheme": "<13 u 1<3 u 1<2>>>",
"source": "radius-6 ball around deg8/o22-p07-n15/(5v1(2)v1(13)).pcom",
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
0
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
2
]
],
[
[
0,
1
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
1
],
[
1,
1
],
[
3,
2
]
],
[
[
0,
1
],
[
1,
2
],
[
2,
2
]
],
[
[
0,
1
],
[
2,
2
],
[
3,
2
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
2
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
2
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
2
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
2
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
2
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
6
]
],
[
[
0,
7
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
7
],
[
1,
3
],
[
1,
4
]
],
[
[
0,
7
],
[
1,
4
],
[
1,
5
]
],
[
[
0,
7
],
[
1,
5
],
[
3,
2
]
],
[
[
0,
7
],
[
1,
6
],
[
2,
4
]
],
[
[
0,
7
],
[
2,
4
],
[
3,
2
]
],
[
[
0,
8
],
[
1,
6
],
[
1,
7
]
],
[
[
1,
0
],
[
1,
1
],
[
2,
1
]
],
[
[
1,
0
],
[
2,
0
],
[
3,
1
]
],
[
[
1,
0
],
[
2,
1
],
[
5,
3
]
],
[
[
1,
0
],
[
3,
1
],
[
4,
2
]
],
[
[
1,
0
],
[
4,
2
],
[
5,
3
]
],
[
[
1,
1
],
[
2,
1
],
[
3,
2
]
],
[
[
1,
2
],
[
1,
3
],
[
2,
2
]
],
[
[
1,
3
],
[
1,
4
],
[
2,
2
]
],
[
[
1,
4
],
[
1,
5
],
[
2,
2
]
],
[
[
1,
5
],
[
2,
2
],
[
2,
3
]
],
[
[
1,
5
],
[
2,
3
],
[
3,
2
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
4
]
],
[
[
1,
7
],
[
2,
4
],
[
3,
2
]
],
[
[
1,
7
],
[
2,
5
],
[
2,
6
]
],
[
[
1,
7
],
[
2,
5
],
[
3,
2
]
],
[
[
2,
0
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
1
],
[
3,
2
],
[
5,
3
]
],
[
[
2,
2
],
[
2,
3
],
[
3,
2
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
2
]
],
[
[
2,
6
],
[
3,
2
],
[
3,
3
]
],
[
[
2,
6
],
[
3,
3
],
[
3,
4
]
],
[
[
2,
6
],
[
3,
4
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
1
],
[
4,
1
],
[
4,
2
]
],
[
[
3,
2
],
[
3,
3
],
[
4,
3
]
],
[
[
3,
2
],
[
4,
3
],
[
5,
3
]
],
[
[
3,
3
],
[
3,
4
],
[
4,
3
]
],
[
[
3,
4
],
[
3,
5
],
[
4,
3
]
],
[
[
3,
5
],
[
4,
3
],
[
4,
4
]
],
[
[
4,
0
],
[
4,
1
],
[
5,
0
]
],
[
[
4,
1
],
[
4,
2
],
[
5,
0
]
],
[
[
4,
2
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
2
],
[
5,
1
],
[
5,
2
]
],
[
[
4,
2
],
[
5,
2
],
[
5,
3
]
],
[
[
4,
3
],
[
4,
4
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
0
]
],
[
[
5,
1
],
[
5,
2
],
[
6,
0
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
0
]
],
[
[
5,
3
],
[
6,
0
],
[
6,
1
]
],
[
[
5,
3
],
[
6,
1
],
[
6,
2
]
],
[
[
6,
0
],
[
6,
1
],
[
7,
0
]
],
[
[
6,
1
],
[
6,
2
],
[
7,
0
]
],
[
[
6,
2
],
[
7,
0
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
],
"heights": {
"0,0": 145,
"0,1": 87,
"0,2": 70,
"0,3": 54,
"0,4": 39,
"0,5": 25,
"0,6": 12,
"0,7": 0,
"0,8": 3,
"1,0": 133,
"1,1": 76,
"1,2": 31,
"1,3": 20,
"1,4": 10,
"1,5": 1,
"1,6": 1,
"1,7": 5,
"2,0": 291,
"2,1": 66,
"2,2": 12,
"2,3": 4,
"2,4": 0,
"2,5": 6,
"2,6": 14,
"3,0": 450,
"3,1": 211,
"3,2": 0,
"3,3": 9,
"3,4": 19,
"3,5": 30,
"4,0": 610,
"4,1": 372,
"4,2": 135,
"4,3": 36,
"4,4": 48,
"5,0": 772,
"5,1": 536,
"5,2": 301,
"5,3": 67,
"6,0": 938,
"6,1": 705,
"6,2": 473,
"7,0": 1112,
"7,1": 881,
"8,0": 1290
},
"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
}
},
{
"scheme": "<3 u 1<4> u 1<11>>",
"source": "radius-6 ball around deg8/o22-p07-n15/(5v1(4)v1(11)).pcom",
"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
],
[
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,
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
],
[
3,
4
]
],
[
[
2,
3
],
[
3,
3
],
[
5,
2
]
],
[
[
2,
3
],
[
3,
4
],
[
3,
5
]
],
[
[
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
],
[
3,
4
],
[
4,
3
]
],
[
[
3,
3
],
[
4,
3
],
[
5,
2
]
],
[
[
3,
4
],
[
3,
5
],
[
4,
3
]
],
[
[
3,
5
],
[
4,
3
],
[
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
]
]
],
"heights": {
"0,0": 144,
"0,1": 126,
"0,2": 109,
"0,3": 93,
"0,4": 216,
"0,5": 340,
"0,6": 465,
"0,7": 591,
"0,8": 718,
"1,0": 109,
"1,1": 84,
"1,2": 61,
"1,3": 46,
"1,4": 127,
"1,5": 255,
"1,6": 384,
"1,7": 514,
"2,0": 81,
"2,1": 53,
"2,2": 26,
"2,3": 0,
"2,4": 78,
"2,5": 181,
"2,6": 312,
"3,0": 54,
"3,1": 29,
"3,2": 6,
"3,3": 16,
"3,4": 63,
"3,5": 111,
"4,0": 34,
"4,1": 13,
"4,2": 0,
"4,3": 33,
"4,4": 82,
"5,0": 21,
"5,1": 1,
"5,2": 5,
"5,3": 55,
"6,0": 10,
"6,1": 1,
"6,2": 29,
"7,0": 0,
"7,1": 4,
"8,0": 4
},
"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
}
},
{
"scheme": "<4 u 1<2> u 1<13>>",
"source": "radius-6 ball around deg8/o22-p07-n15/(5v1(2)v1(13)).pcom",
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
0
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
2
]
],
[
[
0,
1
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
1
],
[
1,
1
],
[
3,
2
]
],
[
[
0,
1
],
[
1,
2
],
[
2,
2
]
],
[
[
0,
1
],
[
2,
2
],
[
3,
2
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
2
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
2
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
2
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
2
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
2
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
6
]
],
[
[
0,
7
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
7
],
[
1,
3
],
[
1,
4
]
],
[
[
0,
7
],
[
1,
4
],
[
1,
5
]
],
[
[
0,
7
],
[
1,
5
],
[
3,
2
]
],
[
[
0,
7
],
[
1,
6
],
[
2,
4
]
],
[
[
0,
7
],
[
2,
4
],
[
3,
2
]
],
[
[
0,
8
],
[
1,
6
],
[
1,
7
]
],
[
[
1,
0
],
[
1,
1
],
[
2,
1
]
],
[
[
1,
0
],
[
2,
0
],
[
3,
1
]
],
[
[
1,
0
],
[
2,
1
],
[
5,
3
]
],
[
[
1,
0
],
[
3,
1
],
[
4,
2
]
],
[
[
1,
0
],
[
4,
2
],
[
5,
3
]
],
[
[
1,
1
],
[
2,
1
],
[
3,
2
]
],
[
[
1,
2
],
[
1,
3
],
[
2,
2
]
],
[
[
1,
3
],
[
1,
4
],
[
2,
2
]
],
[
[
1,
4
],
[
1,
5
],
[
2,
2
]
],
[
[
1,
5
],
[
2,
2
],
[
2,
3
]
],
[
[
1,
5
],
[
2,
3
],
[
3,
2
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
4
]
],
[
[
1,
7
],
[
2,
4
],
[
3,
2
]
],
[
[
1,
7
],
[
2,
5
],
[
2,
6
]
],
[
[
1,
7
],
[
2,
5
],
[
3,
2
]
],
[
[
2,
0
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
1
],
[
3,
2
],
[
5,
3
]
],
[
[
2,
2
],
[
2,
3
],
[
3,
2
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
2
]
],
[
[
2,
6
],
[
3,
2
],
[
3,
3
]
],
[
[
2,
6
],
[
3,
3
],
[
3,
4
]
],
[
[
2,
6
],
[
3,
4
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
1
],
[
4,
1
],
[
4,
2
]
],
[
[
3,
2
],
[
3,
3
],
[
4,
3
]
],
[
[
3,
2
],
[
4,
3
],
[
5,
3
]
],
[
[
3,
3
],
[
3,
4
],
[
4,
3
]
],
[
[
3,
4
],
[
3,
5
],
[
4,
3
]
],
[
[
3,
5
],
[
4,
3
],
[
4,
4
]
],
[
[
4,
0
],
[
4,
1
],
[
5,
0
]
],
[
[
4,
1
],
[
4,
2
],
[
5,
0
]
],
[
[
4,
2
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
2
],
[
5,
1
],
[
5,
2
]
],
[
[
4,
2
],
[
5,
2
],
[
5,
3
]
],
[
[
4,
3
],
[
4,
4
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
0
]
],
[
[
5,
1
],
[
5,
2
],
[
6,
0
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
0
]
],
[
[
5,
3
],
[
6,
0
],
[
6,
1
]
],
[
[
5,
3
],
[
6,
1
],
[
6,
2
]
],
[
[
6,
0
],
[
6,
1
],
[
7,
0
]
],
[
[
6,
1
],
[
6,
2
],
[
7,
0
]
],
[
[
6,
2
],
[
7,
0
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
],
"heights": {
"0,0": 145,
"0,1": 87,
"0,2": 70,
"0,3": 54,
"0,4": 39,
"0,5": 25,
"0,6": 12,
"0,7": 0,
"0,8": 3,
"1,0": 133,
"1,1": 76,
"1,2": 31,
"1,3": 20,
"1,4": 10,
"1,5": 1,
"1,6": 1,
"1,7": 5,
"2,0": 291,
"2,1": 66,
"2,2": 12,
"2,3": 4,
"2,4": 0,
"2,5": 6,
"2,6": 14,
"3,0": 450,
"3,1": 211,
"3,2": 0,
"3,3": 9,
"3,4": 19,
"3,5": 30,
"4,0": 610,
"4,1": 372,
"4,2": 135,
"4,3": 36,
"4,4": 48,
"5,0": 772,
"5,1": 536,
"5,2": 301,
"5,3": 67,
"6,0": 938,
"6,1": 705,
"6,2": 473,
"7,0": 1112,
"7,1": 881,
"8,0": 1290
},
"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
}
},
{
"scheme": "<4 u 1<3> u 1<12>>",
"source": "radius-6 ball around deg8/o22-p07-n15/(5v1(3)v1(12)).pcom",
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
0
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
0
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
0
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
3
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
3
],
[
1,
1
],
[
1,
2
]
],
[
[
0,
3
],
[
1,
2
],
[
3,
1
]
],
[
[
0,
3
],
[
1,
3
],
[
2,
2
]
],
[
[
0,
3
],
[
1,
3
],
[
2,
4
]
],
[
[
0,
3
],
[
1,
4
],
[
3,
5
]
],
[
[
0,
3
],
[
2,
2
],
[
5,
0
]
],
[
[
0,
3
],
[
2,
4
],
[
3,
5
]
],
[
[
0,
3
],
[
3,
1
],
[
5,
0
]
],
[
[
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
],
[
2,
0
],
[
2,
1
]
],
[
[
1,
2
],
[
2,
1
],
[
3,
1
]
],
[
[
1,
3
],
[
2,
2
],
[
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
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
2
],
[
2,
3
],
[
3,
2
]
],
[
[
2,
2
],
[
3,
2
],
[
4,
1
]
],
[
[
2,
2
],
[
4,
1
],
[
5,
0
]
],
[
[
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
],
[
5,
0
]
],
[
[
3,
2
],
[
4,
1
],
[
6,
0
]
],
[
[
3,
3
],
[
4,
3
],
[
4,
4
]
],
[
[
3,
3
],
[
4,
3
],
[
5,
2
]
],
[
[
3,
4
],
[
3,
5
],
[
4,
4
]
],
[
[
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
]
]
],
"heights": {
"0,0": 207,
"0,1": 146,
"0,2": 86,
"0,3": 27,
"0,4": 115,
"0,5": 204,
"0,6": 294,
"0,7": 385,
"0,8": 477,
"1,0": 160,
"1,1": 102,
"1,2": 45,
"1,3": 13,
"1,4": 59,
"1,5": 152,
"1,6": 246,
"1,7": 341,
"2,0": 121,
"2,1": 65,
"2,2": 18,
"2,3": 0,
"2,4": 43,
"2,5": 111,
"2,6": 207,
"3,0": 86,
"3,1": 31,
"3,2": 6,
"3,3": 9,
"3,4": 40,
"3,5": 74,
"4,0": 53,
"4,1": 13,
"4,2": 0,
"4,3": 19,
"4,4": 48,
"5,0": 21,
"5,1": 4,
"5,2": 1,
"5,3": 31,
"6,0": 9,
"6,1": 1,
"6,2": 15,
"7,0": 7,
"7,1": 0,
"8,0": 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
}
},
{
"scheme": "<4 u 1<4> u 1<11>>",
"source": "radius-6 ball around deg8/o22-p07-n15/(5v1(4)v1(11)).pcom",
"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
],
[
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,
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
],
[
3,
4
]
],
[
[
2,
3
],
[
3,
3
],
[
5,
2
]
],
[
[
2,
3
],
[
3,
4
],
[
3,
5
]
],
[
[
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
],
[
3,
4
],
[
4,
3
]
],
[
[
3,
3
],
[
4,
3
],
[
5,
2
]
],
[
[
3,
4
],
[
3,
5
],
[
4,
3
]
],
[
[
3,
5
],
[
4,
3
],
[
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
]
]
],
"heights": {
"0,0": 144,
"0,1": 126,
"0,2": 109,
"0,3": 93,
"0,4": 216,
"0,5": 340,
"0,6": 465,
"0,7": 591,
"0,8": 718,
"1,0": 109,
"1,1": 84,
"1,2": 61,
"1,3": 46,
"1,4": 127,
"1,5": 255,
"1,6": 384,
"1,7": 514,
"2,0": 81,
"2,1": 53,
"2,2": 26,
"2,3": 0,
"2,4": 78,
"2,5": 181,
"2,6": 312,
"3,0": 54,
"3,1": 29,
"3,2": 6,
"3,3": 16,
"3,4": 63,
"3,5": 111,
"4,0": 34,
"4,1": 13,
"4,2": 0,
"4,3": 33,
"4,4": 82,
"5,0": 21,
"5,1": 1,
"5,2": 5,
"5,3": 55,
"6,0": 10,
"6,1": 1,
"6,2": 29,
"7,0": 0,
"7,1": 4,
"8,0": 4
},
"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
}
},
{
"scheme": "<4 u 1<5> u 1<10>>",
"source": "runs2/balls_0.jsonl: Hamming distance 1 from deg8/o22-p07-n15/(5v1(5)v1(10)).pcom",
"seed_cert": "deg8/o22-p07-n15/(5v1(5)v1(10)).pcom",
"seed_scheme": "<5v1<5>v1<10>>",
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
0
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
0
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
0
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
3
],
[
1,
0
],
[
1,
1
]
],
[
[
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
]
]
],
"heights": {
"0,0": 156,
"0,1": 128,
"0,2": 101,
"0,3": 75,
"0,4": 185,
"0,5": 296,
"0,6": 408,
"0,7": 521,
"0,8": 635,
"1,0": 109,
"1,1": 84,
"1,2": 60,
"1,3": 37,
"1,4": 105,
"1,5": 220,
"1,6": 336,
"1,7": 453,
"2,0": 81,
"2,1": 53,
"2,2": 26,
"2,3": 0,
"2,4": 65,
"2,5": 155,
"2,6": 273,
"3,0": 54,
"3,1": 29,
"3,2": 6,
"3,3": 13,
"3,4": 52,
"3,5": 94,
"4,0": 34,
"4,1": 13,
"4,2": 0,
"4,3": 27,
"4,4": 64,
"5,0": 21,
"5,1": 1,
"5,2": 5,
"5,3": 43,
"6,0": 10,
"6,1": 1,
"6,2": 23,
"7,0": 0,
"7,1": 4,
"8,0": 4
},
"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
}
},
{
"scheme": "<5 u 1<1> u 1<3> u 1<7>>",
"source": "radius-6 ball around deg8/o22-p11-n11/(8v1(1)v1(3)v1(7)).pcom",
"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
],
[
2,
2
]
],
[
[
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,
1
],
[
2,
2
],
[
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
]
]
],
"heights": {
"0,0": 183,
"0,1": 140,
"0,2": 98,
"0,3": 57,
"0,4": 179,
"0,5": 302,
"0,6": 426,
"0,7": 551,
"0,8": 677,
"1,0": 145,
"1,1": 99,
"1,2": 54,
"1,3": 10,
"1,4": 90,
"1,5": 217,
"1,6": 345,
"1,7": 474,
"2,0": 108,
"2,1": 65,
"2,2": 23,
"2,3": 0,
"2,4": 41,
"2,5": 143,
"2,6": 273,
"3,0": 79,
"3,1": 38,
"3,2": 6,
"3,3": 9,
"3,4": 40,
"3,5": 73,
"4,0": 54,
"4,1": 14,
"4,2": 0,
"4,3": 19,
"4,4": 48,
"5,0": 31,
"5,1": 4,
"5,2": 1,
"5,3": 31,
"6,0": 9,
"6,1": 1,
"6,2": 15,
"7,0": 7,
"7,1": 0,
"8,0": 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
}
},
{
"scheme": "<5 u 1<6 u 1<7>>>",
"source": "runs2/balls_2.jsonl: Hamming distance 1 from deg8/o22-p15-n07/(6v1(6v1(8))).pcom",
"seed_cert": "deg8/o22-p15-n07/(6v1(6v1(8))).pcom",
"seed_scheme": "<6v1<6v1<8>>>",
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
0
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
0
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
4
]
],
[
[
0,
2
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
2
],
[
1,
1
],
[
1,
2
]
],
[
[
0,
2
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
2
],
[
1,
3
],
[
1,
4
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
4
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
4
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
4
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
5
]
],
[
[
0,
7
],
[
1,
4
],
[
2,
2
]
],
[
[
0,
7
],
[
1,
5
],
[
3,
0
]
],
[
[
0,
7
],
[
2,
2
],
[
3,
0
]
],
[
[
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
],
[
1,
4
],
[
2,
0
]
],
[
[
1,
4
],
[
2,
0
],
[
2,
1
]
],
[
[
1,
4
],
[
2,
1
],
[
2,
2
]
],
[
[
1,
5
],
[
1,
6
],
[
2,
3
]
],
[
[
1,
5
],
[
2,
3
],
[
3,
0
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
3
]
],
[
[
1,
7
],
[
2,
3
],
[
3,
0
]
],
[
[
1,
7
],
[
2,
4
],
[
2,
5
]
],
[
[
1,
7
],
[
2,
4
],
[
3,
0
]
],
[
[
1,
7
],
[
2,
5
],
[
2,
6
]
],
[
[
2,
0
],
[
2,
1
],
[
3,
0
]
],
[
[
2,
1
],
[
2,
2
],
[
3,
0
]
],
[
[
2,
4
],
[
2,
5
],
[
3,
0
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
4
]
],
[
[
2,
5
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
5
],
[
3,
1
],
[
3,
2
]
],
[
[
2,
5
],
[
3,
2
],
[
4,
0
]
],
[
[
2,
5
],
[
3,
3
],
[
4,
0
]
],
[
[
2,
5
],
[
3,
3
],
[
5,
0
]
],
[
[
2,
5
],
[
3,
4
],
[
4,
2
]
],
[
[
2,
5
],
[
4,
2
],
[
5,
0
]
],
[
[
2,
6
],
[
3,
4
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
3,
2
],
[
4,
0
]
],
[
[
3,
3
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
3
],
[
4,
1
],
[
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,
0
]
],
[
[
4,
4
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
4
],
[
5,
1
],
[
5,
2
]
],
[
[
4,
4
],
[
5,
2
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
1
]
],
[
[
5,
0
],
[
6,
0
],
[
7,
1
]
],
[
[
5,
0
],
[
6,
1
],
[
7,
1
]
],
[
[
5,
1
],
[
5,
2
],
[
6,
1
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
1
]
],
[
[
5,
3
],
[
6,
1
],
[
6,
2
]
],
[
[
6,
0
],
[
7,
0
],
[
7,
1
]
],
[
[
6,
1
],
[
6,
2
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
],
"heights": {
"0,0": 322,
"0,1": 275,
"0,2": 229,
"0,3": 188,
"0,4": 148,
"0,5": 109,
"0,6": 71,
"0,7": 34,
"0,8": 26,
"1,0": 208,
"1,1": 163,
"1,2": 119,
"1,3": 76,
"1,4": 34,
"1,5": 19,
"1,6": 12,
"1,7": 6,
"2,0": 98,
"2,1": 57,
"2,2": 17,
"2,3": 6,
"2,4": 2,
"2,5": 0,
"2,6": 13,
"3,0": 1,
"3,1": 0,
"3,2": 0,
"3,3": 2,
"3,4": 12,
"3,5": 26,
"4,0": 1,
"4,1": 5,
"4,2": 12,
"4,3": 28,
"4,4": 46,
"5,0": 13,
"5,1": 32,
"5,2": 52,
"5,3": 73,
"6,0": 66,
"6,1": 80,
"6,2": 102,
"7,0": 120,
"7,1": 132,
"8,0": 175
},
"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
}
},
{
"scheme": "<5 u 1<6 u 1<8>>>",
"source": "runs2/balls_2.jsonl: Hamming distance 1 from deg8/o22-p15-n07/(6v1(6v1(8))).pcom",
"seed_cert": "deg8/o22-p15-n07/(6v1(6v1(8))).pcom",
"seed_scheme": "<6v1<6v1<8>>>",
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
0
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
0
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
4
]
],
[
[
0,
2
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
2
],
[
1,
1
],
[
1,
2
]
],
[
[
0,
2
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
2
],
[
1,
3
],
[
1,
4
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
4
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
4
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
4
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
5
]
],
[
[
0,
7
],
[
1,
4
],
[
2,
2
]
],
[
[
0,
7
],
[
1,
5
],
[
3,
0
]
],
[
[
0,
7
],
[
2,
2
],
[
3,
0
]
],
[
[
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
],
[
1,
4
],
[
2,
0
]
],
[
[
1,
4
],
[
2,
0
],
[
2,
1
]
],
[
[
1,
4
],
[
2,
1
],
[
2,
2
]
],
[
[
1,
5
],
[
1,
6
],
[
2,
3
]
],
[
[
1,
5
],
[
2,
3
],
[
3,
0
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
3
]
],
[
[
1,
7
],
[
2,
3
],
[
3,
0
]
],
[
[
1,
7
],
[
2,
4
],
[
2,
5
]
],
[
[
1,
7
],
[
2,
4
],
[
3,
0
]
],
[
[
1,
7
],
[
2,
5
],
[
2,
6
]
],
[
[
2,
0
],
[
2,
1
],
[
3,
0
]
],
[
[
2,
1
],
[
2,
2
],
[
3,
0
]
],
[
[
2,
4
],
[
2,
5
],
[
3,
0
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
4
]
],
[
[
2,
5
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
5
],
[
3,
1
],
[
3,
2
]
],
[
[
2,
5
],
[
3,
2
],
[
4,
0
]
],
[
[
2,
5
],
[
3,
3
],
[
4,
0
]
],
[
[
2,
5
],
[
3,
3
],
[
5,
0
]
],
[
[
2,
5
],
[
3,
4
],
[
4,
2
]
],
[
[
2,
5
],
[
4,
2
],
[
5,
0
]
],
[
[
2,
6
],
[
3,
4
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
3,
2
],
[
4,
0
]
],
[
[
3,
3
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
3
],
[
4,
1
],
[
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,
0
]
],
[
[
4,
4
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
4
],
[
5,
1
],
[
5,
2
]
],
[
[
4,
4
],
[
5,
2
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
1
]
],
[
[
5,
0
],
[
6,
0
],
[
7,
1
]
],
[
[
5,
0
],
[
6,
1
],
[
7,
1
]
],
[
[
5,
1
],
[
5,
2
],
[
6,
1
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
1
]
],
[
[
5,
3
],
[
6,
1
],
[
6,
2
]
],
[
[
6,
0
],
[
7,
0
],
[
7,
1
]
],
[
[
6,
1
],
[
6,
2
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
],
"heights": {
"0,0": 322,
"0,1": 275,
"0,2": 229,
"0,3": 188,
"0,4": 148,
"0,5": 109,
"0,6": 71,
"0,7": 34,
"0,8": 26,
"1,0": 208,
"1,1": 163,
"1,2": 119,
"1,3": 76,
"1,4": 34,
"1,5": 19,
"1,6": 12,
"1,7": 6,
"2,0": 98,
"2,1": 57,
"2,2": 17,
"2,3": 6,
"2,4": 2,
"2,5": 0,
"2,6": 13,
"3,0": 1,
"3,1": 0,
"3,2": 0,
"3,3": 2,
"3,4": 12,
"3,5": 26,
"4,0": 1,
"4,1": 5,
"4,2": 12,
"4,3": 28,
"4,4": 46,
"5,0": 13,
"5,1": 32,
"5,2": 52,
"5,3": 73,
"6,0": 66,
"6,1": 80,
"6,2": 102,
"7,0": 120,
"7,1": 132,
"8,0": 175
},
"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
}
},
{
"scheme": "<6 u 1<1> u 1<3> u 1<7>>",
"source": "radius-6 ball around deg8/o22-p11-n11/(8v1(1)v1(3)v1(7)).pcom",
"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
],
[
2,
2
]
],
[
[
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,
1
],
[
2,
2
],
[
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
]
]
],
"heights": {
"0,0": 183,
"0,1": 140,
"0,2": 98,
"0,3": 57,
"0,4": 179,
"0,5": 302,
"0,6": 426,
"0,7": 551,
"0,8": 677,
"1,0": 145,
"1,1": 99,
"1,2": 54,
"1,3": 10,
"1,4": 90,
"1,5": 217,
"1,6": 345,
"1,7": 474,
"2,0": 108,
"2,1": 65,
"2,2": 23,
"2,3": 0,
"2,4": 41,
"2,5": 143,
"2,6": 273,
"3,0": 79,
"3,1": 38,
"3,2": 6,
"3,3": 9,
"3,4": 40,
"3,5": 73,
"4,0": 54,
"4,1": 14,
"4,2": 0,
"4,3": 19,
"4,4": 48,
"5,0": 31,
"5,1": 4,
"5,2": 1,
"5,3": 31,
"6,0": 9,
"6,1": 1,
"6,2": 15,
"7,0": 7,
"7,1": 0,
"8,0": 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
}
},
{
"scheme": "<6 u 1<4 u 1<8>>>",
"source": "radius-6 ball around deg8/o22-p11-n11/(6v1(10v1(4))).pcom",
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
0
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
0
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
0
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
3
],
[
1,
0
],
[
1,
1
]
],
[
[
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
],
[
3,
5
]
],
[
[
1,
0
],
[
2,
3
],
[
3,
5
]
],
[
[
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,
5
]
],
[
[
2,
1
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
1
],
[
3,
1
],
[
4,
2
]
],
[
[
2,
1
],
[
3,
2
],
[
4,
4
]
],
[
[
2,
1
],
[
3,
2
],
[
5,
3
]
],
[
[
2,
1
],
[
3,
3
],
[
3,
4
]
],
[
[
2,
1
],
[
3,
3
],
[
4,
4
]
],
[
[
2,
1
],
[
3,
4
],
[
3,
5
]
],
[
[
2,
1
],
[
4,
2
],
[
5,
3
]
],
[
[
2,
3
],
[
2,
4
],
[
3,
5
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
1
],
[
4,
1
],
[
4,
2
]
],
[
[
3,
2
],
[
4,
3
],
[
4,
4
]
],
[
[
3,
2
],
[
4,
3
],
[
5,
3
]
],
[
[
3,
3
],
[
3,
4
],
[
4,
4
]
],
[
[
3,
4
],
[
3,
5
],
[
4,
4
]
],
[
[
4,
0
],
[
4,
1
],
[
5,
0
]
],
[
[
4,
1
],
[
4,
2
],
[
5,
0
]
],
[
[
4,
2
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
2
],
[
5,
1
],
[
5,
2
]
],
[
[
4,
2
],
[
5,
2
],
[
5,
3
]
],
[
[
4,
3
],
[
4,
4
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
0
]
],
[
[
5,
1
],
[
5,
2
],
[
6,
0
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
0
]
],
[
[
5,
3
],
[
6,
0
],
[
6,
1
]
],
[
[
5,
3
],
[
6,
1
],
[
6,
2
]
],
[
[
6,
0
],
[
6,
1
],
[
7,
0
]
],
[
[
6,
1
],
[
6,
2
],
[
7,
0
]
],
[
[
6,
2
],
[
7,
0
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
],
"heights": {
"0,0": 65,
"0,1": 74,
"0,2": 84,
"0,3": 95,
"0,4": 155,
"0,5": 216,
"0,6": 278,
"0,7": 341,
"0,8": 405,
"1,0": 14,
"1,1": 26,
"1,2": 39,
"1,3": 53,
"1,4": 71,
"1,5": 136,
"1,6": 202,
"1,7": 269,
"2,0": 31,
"2,1": 0,
"2,2": 5,
"2,3": 12,
"2,4": 27,
"2,5": 67,
"2,6": 135,
"3,0": 49,
"3,1": 19,
"3,2": 2,
"3,3": 0,
"3,4": 0,
"3,5": 2,
"4,0": 69,
"4,1": 40,
"4,2": 12,
"4,3": 5,
"4,4": 1,
"5,0": 91,
"5,1": 64,
"5,2": 38,
"5,3": 13,
"6,0": 117,
"6,1": 93,
"6,2": 70,
"7,0": 151,
"7,1": 129,
"8,0": 189
},
"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
}
},
{
"scheme": "<6 u 1<5 u 1<8>>>",
"source": "runs2/balls_2.jsonl: Hamming distance 1 from deg8/o22-p15-n07/(6v1(6v1(8))).pcom",
"seed_cert": "deg8/o22-p15-n07/(6v1(6v1(8))).pcom",
"seed_scheme": "<6v1<6v1<8>>>",
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
0
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
0
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
4
]
],
[
[
0,
2
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
2
],
[
1,
1
],
[
1,
2
]
],
[
[
0,
2
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
2
],
[
1,
3
],
[
1,
4
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
4
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
4
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
4
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
5
]
],
[
[
0,
7
],
[
1,
4
],
[
2,
2
]
],
[
[
0,
7
],
[
1,
5
],
[
3,
0
]
],
[
[
0,
7
],
[
2,
2
],
[
3,
0
]
],
[
[
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
],
[
1,
4
],
[
2,
0
]
],
[
[
1,
4
],
[
2,
0
],
[
2,
1
]
],
[
[
1,
4
],
[
2,
1
],
[
2,
2
]
],
[
[
1,
5
],
[
1,
6
],
[
2,
3
]
],
[
[
1,
5
],
[
2,
3
],
[
3,
0
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
3
]
],
[
[
1,
7
],
[
2,
3
],
[
3,
0
]
],
[
[
1,
7
],
[
2,
4
],
[
2,
5
]
],
[
[
1,
7
],
[
2,
4
],
[
3,
0
]
],
[
[
1,
7
],
[
2,
5
],
[
2,
6
]
],
[
[
2,
0
],
[
2,
1
],
[
3,
0
]
],
[
[
2,
1
],
[
2,
2
],
[
3,
0
]
],
[
[
2,
4
],
[
2,
5
],
[
3,
0
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
4
]
],
[
[
2,
5
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
5
],
[
3,
1
],
[
3,
2
]
],
[
[
2,
5
],
[
3,
2
],
[
4,
0
]
],
[
[
2,
5
],
[
3,
3
],
[
4,
0
]
],
[
[
2,
5
],
[
3,
3
],
[
5,
0
]
],
[
[
2,
5
],
[
3,
4
],
[
4,
2
]
],
[
[
2,
5
],
[
4,
2
],
[
5,
0
]
],
[
[
2,
6
],
[
3,
4
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
3,
2
],
[
4,
0
]
],
[
[
3,
3
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
3
],
[
4,
1
],
[
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,
0
]
],
[
[
4,
4
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
4
],
[
5,
1
],
[
5,
2
]
],
[
[
4,
4
],
[
5,
2
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
1
]
],
[
[
5,
0
],
[
6,
0
],
[
7,
1
]
],
[
[
5,
0
],
[
6,
1
],
[
7,
1
]
],
[
[
5,
1
],
[
5,
2
],
[
6,
1
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
1
]
],
[
[
5,
3
],
[
6,
1
],
[
6,
2
]
],
[
[
6,
0
],
[
7,
0
],
[
7,
1
]
],
[
[
6,
1
],
[
6,
2
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
],
"heights": {
"0,0": 322,
"0,1": 275,
"0,2": 229,
"0,3": 188,
"0,4": 148,
"0,5": 109,
"0,6": 71,
"0,7": 34,
"0,8": 26,
"1,0": 208,
"1,1": 163,
"1,2": 119,
"1,3": 76,
"1,4": 34,
"1,5": 19,
"1,6": 12,
"1,7": 6,
"2,0": 98,
"2,1": 57,
"2,2": 17,
"2,3": 6,
"2,4": 2,
"2,5": 0,
"2,6": 13,
"3,0": 1,
"3,1": 0,
"3,2": 0,
"3,3": 2,
"3,4": 12,
"3,5": 26,
"4,0": 1,
"4,1": 5,
"4,2": 12,
"4,3": 28,
"4,4": 46,
"5,0": 13,
"5,1": 32,
"5,2": 52,
"5,3": 73,
"6,0": 66,
"6,1": 80,
"6,2": 102,
"7,0": 120,
"7,1": 132,
"8,0": 175
},
"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
}
},
{
"scheme": "<6 u 1<6 u 1<6>>>",
"source": "runs2/balls_2.jsonl: Hamming distance 1 from deg8/o22-p15-n07/(6v1(6v1(8))).pcom",
"seed_cert": "deg8/o22-p15-n07/(6v1(6v1(8))).pcom",
"seed_scheme": "<6v1<6v1<8>>>",
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
0
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
0
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
4
]
],
[
[
0,
2
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
2
],
[
1,
1
],
[
1,
2
]
],
[
[
0,
2
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
2
],
[
1,
3
],
[
1,
4
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
4
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
4
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
4
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
5
]
],
[
[
0,
7
],
[
1,
4
],
[
2,
2
]
],
[
[
0,
7
],
[
1,
5
],
[
3,
0
]
],
[
[
0,
7
],
[
2,
2
],
[
3,
0
]
],
[
[
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
],
[
1,
4
],
[
2,
0
]
],
[
[
1,
4
],
[
2,
0
],
[
2,
1
]
],
[
[
1,
4
],
[
2,
1
],
[
2,
2
]
],
[
[
1,
5
],
[
1,
6
],
[
2,
3
]
],
[
[
1,
5
],
[
2,
3
],
[
3,
0
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
3
]
],
[
[
1,
7
],
[
2,
3
],
[
3,
0
]
],
[
[
1,
7
],
[
2,
4
],
[
2,
5
]
],
[
[
1,
7
],
[
2,
4
],
[
3,
0
]
],
[
[
1,
7
],
[
2,
5
],
[
2,
6
]
],
[
[
2,
0
],
[
2,
1
],
[
3,
0
]
],
[
[
2,
1
],
[
2,
2
],
[
3,
0
]
],
[
[
2,
4
],
[
2,
5
],
[
3,
0
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
4
]
],
[
[
2,
5
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
5
],
[
3,
1
],
[
3,
2
]
],
[
[
2,
5
],
[
3,
2
],
[
4,
0
]
],
[
[
2,
5
],
[
3,
3
],
[
4,
0
]
],
[
[
2,
5
],
[
3,
3
],
[
5,
0
]
],
[
[
2,
5
],
[
3,
4
],
[
4,
2
]
],
[
[
2,
5
],
[
4,
2
],
[
5,
0
]
],
[
[
2,
6
],
[
3,
4
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
3,
2
],
[
4,
0
]
],
[
[
3,
3
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
3
],
[
4,
1
],
[
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,
0
]
],
[
[
4,
4
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
4
],
[
5,
1
],
[
5,
2
]
],
[
[
4,
4
],
[
5,
2
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
1
]
],
[
[
5,
0
],
[
6,
0
],
[
7,
1
]
],
[
[
5,
0
],
[
6,
1
],
[
7,
1
]
],
[
[
5,
1
],
[
5,
2
],
[
6,
1
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
1
]
],
[
[
5,
3
],
[
6,
1
],
[
6,
2
]
],
[
[
6,
0
],
[
7,
0
],
[
7,
1
]
],
[
[
6,
1
],
[
6,
2
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
],
"heights": {
"0,0": 322,
"0,1": 275,
"0,2": 229,
"0,3": 188,
"0,4": 148,
"0,5": 109,
"0,6": 71,
"0,7": 34,
"0,8": 26,
"1,0": 208,
"1,1": 163,
"1,2": 119,
"1,3": 76,
"1,4": 34,
"1,5": 19,
"1,6": 12,
"1,7": 6,
"2,0": 98,
"2,1": 57,
"2,2": 17,
"2,3": 6,
"2,4": 2,
"2,5": 0,
"2,6": 13,
"3,0": 1,
"3,1": 0,
"3,2": 0,
"3,3": 2,
"3,4": 12,
"3,5": 26,
"4,0": 1,
"4,1": 5,
"4,2": 12,
"4,3": 28,
"4,4": 46,
"5,0": 13,
"5,1": 32,
"5,2": 52,
"5,3": 73,
"6,0": 66,
"6,1": 80,
"6,2": 102,
"7,0": 120,
"7,1": 132,
"8,0": 175
},
"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
}
},
{
"scheme": "<6 u 1<6 u 1<7>>>",
"source": "runs2/balls_2.jsonl: Hamming distance 1 from deg8/o22-p15-n07/(6v1(6v1(8))).pcom",
"seed_cert": "deg8/o22-p15-n07/(6v1(6v1(8))).pcom",
"seed_scheme": "<6v1<6v1<8>>>",
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
0
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
0
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
4
]
],
[
[
0,
2
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
2
],
[
1,
1
],
[
1,
2
]
],
[
[
0,
2
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
2
],
[
1,
3
],
[
1,
4
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
4
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
4
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
4
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
5
]
],
[
[
0,
7
],
[
1,
4
],
[
2,
2
]
],
[
[
0,
7
],
[
1,
5
],
[
3,
0
]
],
[
[
0,
7
],
[
2,
2
],
[
3,
0
]
],
[
[
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
],
[
1,
4
],
[
2,
0
]
],
[
[
1,
4
],
[
2,
0
],
[
2,
1
]
],
[
[
1,
4
],
[
2,
1
],
[
2,
2
]
],
[
[
1,
5
],
[
1,
6
],
[
2,
3
]
],
[
[
1,
5
],
[
2,
3
],
[
3,
0
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
3
]
],
[
[
1,
7
],
[
2,
3
],
[
3,
0
]
],
[
[
1,
7
],
[
2,
4
],
[
2,
5
]
],
[
[
1,
7
],
[
2,
4
],
[
3,
0
]
],
[
[
1,
7
],
[
2,
5
],
[
2,
6
]
],
[
[
2,
0
],
[
2,
1
],
[
3,
0
]
],
[
[
2,
1
],
[
2,
2
],
[
3,
0
]
],
[
[
2,
4
],
[
2,
5
],
[
3,
0
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
4
]
],
[
[
2,
5
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
5
],
[
3,
1
],
[
3,
2
]
],
[
[
2,
5
],
[
3,
2
],
[
4,
0
]
],
[
[
2,
5
],
[
3,
3
],
[
4,
0
]
],
[
[
2,
5
],
[
3,
3
],
[
5,
0
]
],
[
[
2,
5
],
[
3,
4
],
[
4,
2
]
],
[
[
2,
5
],
[
4,
2
],
[
5,
0
]
],
[
[
2,
6
],
[
3,
4
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
3,
2
],
[
4,
0
]
],
[
[
3,
3
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
3
],
[
4,
1
],
[
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,
0
]
],
[
[
4,
4
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
4
],
[
5,
1
],
[
5,
2
]
],
[
[
4,
4
],
[
5,
2
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
1
]
],
[
[
5,
0
],
[
6,
0
],
[
7,
1
]
],
[
[
5,
0
],
[
6,
1
],
[
7,
1
]
],
[
[
5,
1
],
[
5,
2
],
[
6,
1
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
1
]
],
[
[
5,
3
],
[
6,
1
],
[
6,
2
]
],
[
[
6,
0
],
[
7,
0
],
[
7,
1
]
],
[
[
6,
1
],
[
6,
2
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
],
"heights": {
"0,0": 322,
"0,1": 275,
"0,2": 229,
"0,3": 188,
"0,4": 148,
"0,5": 109,
"0,6": 71,
"0,7": 34,
"0,8": 26,
"1,0": 208,
"1,1": 163,
"1,2": 119,
"1,3": 76,
"1,4": 34,
"1,5": 19,
"1,6": 12,
"1,7": 6,
"2,0": 98,
"2,1": 57,
"2,2": 17,
"2,3": 6,
"2,4": 2,
"2,5": 0,
"2,6": 13,
"3,0": 1,
"3,1": 0,
"3,2": 0,
"3,3": 2,
"3,4": 12,
"3,5": 26,
"4,0": 1,
"4,1": 5,
"4,2": 12,
"4,3": 28,
"4,4": 46,
"5,0": 13,
"5,1": 32,
"5,2": 52,
"5,3": 73,
"6,0": 66,
"6,1": 80,
"6,2": 102,
"7,0": 120,
"7,1": 132,
"8,0": 175
},
"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
}
},
{
"scheme": "<6 u 1<8 u 1<4>>>",
"source": "runs2/balls_2.jsonl: Hamming distance 3 from deg8/o22-p15-n07/(6v1(6v1(8))).pcom",
"seed_cert": "deg8/o22-p15-n07/(6v1(6v1(8))).pcom",
"seed_scheme": "<6v1<6v1<8>>>",
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
0
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
0
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
4
]
],
[
[
0,
2
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
2
],
[
1,
1
],
[
1,
2
]
],
[
[
0,
2
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
2
],
[
1,
3
],
[
1,
4
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
4
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
4
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
4
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
5
]
],
[
[
0,
7
],
[
1,
4
],
[
2,
2
]
],
[
[
0,
7
],
[
1,
5
],
[
3,
0
]
],
[
[
0,
7
],
[
2,
2
],
[
3,
0
]
],
[
[
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
],
[
1,
4
],
[
2,
0
]
],
[
[
1,
4
],
[
2,
0
],
[
2,
1
]
],
[
[
1,
4
],
[
2,
1
],
[
2,
2
]
],
[
[
1,
5
],
[
1,
6
],
[
2,
3
]
],
[
[
1,
5
],
[
2,
3
],
[
3,
0
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
3
]
],
[
[
1,
7
],
[
2,
3
],
[
3,
0
]
],
[
[
1,
7
],
[
2,
4
],
[
2,
5
]
],
[
[
1,
7
],
[
2,
4
],
[
3,
0
]
],
[
[
1,
7
],
[
2,
5
],
[
2,
6
]
],
[
[
2,
0
],
[
2,
1
],
[
3,
0
]
],
[
[
2,
1
],
[
2,
2
],
[
3,
0
]
],
[
[
2,
4
],
[
2,
5
],
[
3,
0
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
4
]
],
[
[
2,
5
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
5
],
[
3,
1
],
[
3,
2
]
],
[
[
2,
5
],
[
3,
2
],
[
4,
0
]
],
[
[
2,
5
],
[
3,
3
],
[
4,
0
]
],
[
[
2,
5
],
[
3,
3
],
[
5,
0
]
],
[
[
2,
5
],
[
3,
4
],
[
4,
2
]
],
[
[
2,
5
],
[
4,
2
],
[
5,
0
]
],
[
[
2,
6
],
[
3,
4
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
3,
2
],
[
4,
0
]
],
[
[
3,
3
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
3
],
[
4,
1
],
[
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,
0
]
],
[
[
4,
4
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
4
],
[
5,
1
],
[
5,
2
]
],
[
[
4,
4
],
[
5,
2
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
1
]
],
[
[
5,
0
],
[
6,
0
],
[
7,
1
]
],
[
[
5,
0
],
[
6,
1
],
[
7,
1
]
],
[
[
5,
1
],
[
5,
2
],
[
6,
1
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
1
]
],
[
[
5,
3
],
[
6,
1
],
[
6,
2
]
],
[
[
6,
0
],
[
7,
0
],
[
7,
1
]
],
[
[
6,
1
],
[
6,
2
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
],
"heights": {
"0,0": 322,
"0,1": 275,
"0,2": 229,
"0,3": 188,
"0,4": 148,
"0,5": 109,
"0,6": 71,
"0,7": 34,
"0,8": 26,
"1,0": 208,
"1,1": 163,
"1,2": 119,
"1,3": 76,
"1,4": 34,
"1,5": 19,
"1,6": 12,
"1,7": 6,
"2,0": 98,
"2,1": 57,
"2,2": 17,
"2,3": 6,
"2,4": 2,
"2,5": 0,
"2,6": 13,
"3,0": 1,
"3,1": 0,
"3,2": 0,
"3,3": 2,
"3,4": 12,
"3,5": 26,
"4,0": 1,
"4,1": 5,
"4,2": 12,
"4,3": 28,
"4,4": 46,
"5,0": 13,
"5,1": 32,
"5,2": 52,
"5,3": 73,
"6,0": 66,
"6,1": 80,
"6,2": 102,
"7,0": 120,
"7,1": 132,
"8,0": 175
},
"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
}
},
{
"scheme": "<6 u 1<9 u 1<4>>>",
"source": "runs2/balls_2.jsonl: Hamming distance 2 from deg8/o22-p15-n07/(6v1(6v1(8))).pcom",
"seed_cert": "deg8/o22-p15-n07/(6v1(6v1(8))).pcom",
"seed_scheme": "<6v1<6v1<8>>>",
"triangles": [
[
[
0,
0
],
[
0,
1
],
[
1,
0
]
],
[
[
0,
1
],
[
0,
2
],
[
1,
0
]
],
[
[
0,
2
],
[
0,
3
],
[
1,
4
]
],
[
[
0,
2
],
[
1,
0
],
[
1,
1
]
],
[
[
0,
2
],
[
1,
1
],
[
1,
2
]
],
[
[
0,
2
],
[
1,
2
],
[
1,
3
]
],
[
[
0,
2
],
[
1,
3
],
[
1,
4
]
],
[
[
0,
3
],
[
0,
4
],
[
1,
4
]
],
[
[
0,
4
],
[
0,
5
],
[
1,
4
]
],
[
[
0,
5
],
[
0,
6
],
[
1,
4
]
],
[
[
0,
6
],
[
0,
7
],
[
1,
4
]
],
[
[
0,
7
],
[
0,
8
],
[
1,
5
]
],
[
[
0,
7
],
[
1,
4
],
[
2,
2
]
],
[
[
0,
7
],
[
1,
5
],
[
3,
0
]
],
[
[
0,
7
],
[
2,
2
],
[
3,
0
]
],
[
[
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
],
[
1,
4
],
[
2,
0
]
],
[
[
1,
4
],
[
2,
0
],
[
2,
1
]
],
[
[
1,
4
],
[
2,
1
],
[
2,
2
]
],
[
[
1,
5
],
[
1,
6
],
[
2,
3
]
],
[
[
1,
5
],
[
2,
3
],
[
3,
0
]
],
[
[
1,
6
],
[
1,
7
],
[
2,
3
]
],
[
[
1,
7
],
[
2,
3
],
[
3,
0
]
],
[
[
1,
7
],
[
2,
4
],
[
2,
5
]
],
[
[
1,
7
],
[
2,
4
],
[
3,
0
]
],
[
[
1,
7
],
[
2,
5
],
[
2,
6
]
],
[
[
2,
0
],
[
2,
1
],
[
3,
0
]
],
[
[
2,
1
],
[
2,
2
],
[
3,
0
]
],
[
[
2,
4
],
[
2,
5
],
[
3,
0
]
],
[
[
2,
5
],
[
2,
6
],
[
3,
4
]
],
[
[
2,
5
],
[
3,
0
],
[
3,
1
]
],
[
[
2,
5
],
[
3,
1
],
[
3,
2
]
],
[
[
2,
5
],
[
3,
2
],
[
4,
0
]
],
[
[
2,
5
],
[
3,
3
],
[
4,
0
]
],
[
[
2,
5
],
[
3,
3
],
[
5,
0
]
],
[
[
2,
5
],
[
3,
4
],
[
4,
2
]
],
[
[
2,
5
],
[
4,
2
],
[
5,
0
]
],
[
[
2,
6
],
[
3,
4
],
[
3,
5
]
],
[
[
3,
0
],
[
3,
1
],
[
4,
0
]
],
[
[
3,
1
],
[
3,
2
],
[
4,
0
]
],
[
[
3,
3
],
[
4,
0
],
[
4,
1
]
],
[
[
3,
3
],
[
4,
1
],
[
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,
0
]
],
[
[
4,
4
],
[
5,
0
],
[
5,
1
]
],
[
[
4,
4
],
[
5,
1
],
[
5,
2
]
],
[
[
4,
4
],
[
5,
2
],
[
5,
3
]
],
[
[
5,
0
],
[
5,
1
],
[
6,
1
]
],
[
[
5,
0
],
[
6,
0
],
[
7,
1
]
],
[
[
5,
0
],
[
6,
1
],
[
7,
1
]
],
[
[
5,
1
],
[
5,
2
],
[
6,
1
]
],
[
[
5,
2
],
[
5,
3
],
[
6,
1
]
],
[
[
5,
3
],
[
6,
1
],
[
6,
2
]
],
[
[
6,
0
],
[
7,
0
],
[
7,
1
]
],
[
[
6,
1
],
[
6,
2
],
[
7,
1
]
],
[
[
7,
0
],
[
7,
1
],
[
8,
0
]
]
],
"heights": {
"0,0": 322,
"0,1": 275,
"0,2": 229,
"0,3": 188,
"0,4": 148,
"0,5": 109,
"0,6": 71,
"0,7": 34,
"0,8": 26,
"1,0": 208,
"1,1": 163,
"1,2": 119,
"1,3": 76,
"1,4": 34,
"1,5": 19,
"1,6": 12,
"1,7": 6,
"2,0": 98,
"2,1": 57,
"2,2": 17,
"2,3": 6,
"2,4": 2,
"2,5": 0,
"2,6": 13,
"3,0": 1,
"3,1": 0,
"3,2": 0,
"3,3": 2,
"3,4": 12,
"3,5": 26,
"4,0": 1,
"4,1": 5,
"4,2": 12,
"4,3": 28,
"4,4": 46,
"5,0": 13,
"5,1": 32,
"5,2": 52,
"5,3": 73,
"6,0": 66,
"6,1": 80,
"6,2": 102,
"7,0": 120,
"7,1": 132,
"8,0": 175
},
"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
}
},
{
"scheme": "<7 u 1<1> u 1<3> u 1<7>>",
"source": "radius-6 ball around deg8/o22-p11-n11/(8v1(1)v1(3)v1(7)).pcom",
"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
],
[
2,
2
]
],
[
[
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,
1
],
[
2,
2
],
[
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
]
]
],
"heights": {
"0,0": 183,
"0,1": 140,
"0,2": 98,
"0,3": 57,
"0,4": 179,
"0,5": 302,
"0,6": 426,
"0,7": 551,
"0,8": 677,
"1,0": 145,
"1,1": 99,
"1,2": 54,
"1,3": 10,
"1,4": 90,
"1,5": 217,
"1,6": 345,
"1,7": 474,
"2,0": 108,
"2,1": 65,
"2,2": 23,
"2,3": 0,
"2,4": 41,
"2,5": 143,
"2,6": 273,
"3,0": 79,
"3,1": 38,
"3,2": 6,
"3,3": 9,
"3,4": 40,
"3,5": 73,
"4,0": 54,
"4,1": 14,
"4,2": 0,
"4,3": 19,
"4,4": 48,
"5,0": 31,
"5,1": 4,
"5,2": 1,
"5,3": 31,
"6,0": 9,
"6,1": 1,
"6,2": 15,
"7,0": 7,
"7,1": 0,
"8,0": 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
}
}
]