files / problems / hilbert16-degree-8 / compute / q8 / certs / new_schemes.json

7.5 KB · on GitHub

[
 {
  "degree": 8,
  "heights": {
   "0,0": 0,
   "0,1": -434,
   "0,2": -864,
   "0,3": -1290,
   "0,4": -1040,
   "0,5": -786,
   "0,6": -528,
   "0,7": -266,
   "0,8": 0,
   "1,0": -89,
   "1,1": -511,
   "1,2": -929,
   "1,3": -1239,
   "1,4": -1217,
   "1,5": -947,
   "1,6": -673,
   "1,7": -395,
   "2,0": -146,
   "2,1": -560,
   "2,2": -938,
   "2,3": -1184,
   "2,4": -1234,
   "2,5": -1064,
   "2,6": -782,
   "3,0": -187,
   "3,1": -597,
   "3,2": -879,
   "3,3": -1049,
   "3,4": -1111,
   "3,5": -1165,
   "4,0": -220,
   "4,1": -566,
   "4,2": -800,
   "4,3": -910,
   "4,4": -980,
   "5,0": -249,
   "5,1": -499,
   "5,2": -697,
   "5,3": -763,
   "6,0": -190,
   "6,1": -412,
   "6,2": -542,
   "7,0": -99,
   "7,1": -317,
   "8,0": 0
  },
  "scheme": "<3 u 1<3> u 1<12>>",
  "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": [
    [
     3,
     2
    ],
    [
     5,
     1
    ]
   ],
   "removed": [
    [
     2,
     3
    ],
    [
     6,
     0
    ]
   ],
   "seed": "deg8/o22-p07-n15/(5v1(3)v1(12)).pcom",
   "task": 81
  },
  "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
    ],
    [
     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
    ],
    [
     5,
     1
    ]
   ],
   [
    [
     2,
     3
    ],
    [
     4,
     2
    ],
    [
     7,
     1
    ]
   ],
   [
    [
     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,
     2
    ],
    [
     5,
     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
    ]
   ]
  ]
 }
]