files / problems / hilbert16-degree-8 / compute / q1 / certs / hole_neighbour_seeds.json

12 KB · on GitHub

[
 {
  "hole": "<4 u 1<1> u 1<15>>",
  "pcoms": [
   "deg8/o22-p07-n15/(5v1(1)v1(14)).pcom"
  ]
 },
 {
  "hole": "<4 u 1<2> u 1<14>>",
  "pcoms": [
   "deg8/o22-p07-n15/(5v1(1)v1(14)).pcom",
   "deg8/o22-p07-n15/(5v1(2)v1(13)).pcom"
  ]
 },
 {
  "hole": "<4 u 1<3> u 1<13>>",
  "pcoms": [
   "deg8/o22-p07-n15/(5v1(2)v1(13)).pcom",
   "deg8/o22-p07-n15/(5v1(3)v1(12)).pcom"
  ]
 },
 {
  "hole": "<4 u 1<4> u 1<12>>",
  "pcoms": [
   "deg8/o22-p07-n15/(5v1(3)v1(12)).pcom",
   "deg8/o22-p07-n15/(5v1(4)v1(11)).pcom"
  ]
 },
 {
  "hole": "<4 u 1<5> u 1<11>>",
  "pcoms": [
   "deg8/o22-p07-n15/(5v1(4)v1(11)).pcom",
   "deg8/o22-p07-n15/(5v1(5)v1(10)).pcom"
  ]
 },
 {
  "hole": "<4 u 1<6> u 1<10>>",
  "pcoms": [
   "deg8/o22-p07-n15/(5v1(5)v1(10)).pcom"
  ]
 },
 {
  "hole": "<4 u 1<7> u 1<9>>",
  "pcoms": [
   "deg8/o22-p07-n15/(5v1(7)v1(8)).pcom"
  ]
 },
 {
  "hole": "<4 u 1<8> u 1<8>>",
  "pcoms": [
   "deg8/o22-p07-n15/(5v1(7)v1(8)).pcom"
  ]
 },
 {
  "hole": "<5 u 1<6> u 1<9>>",
  "pcoms": [
   "deg8/o22-p07-n15/(5v1(5)v1(10)).pcom",
   "deg8/o22-p07-n15/(5v1(7)v1(8)).pcom"
  ]
 },
 {
  "hole": "<6 u 1<1> u 1<13>>",
  "pcoms": [
   "deg8/o22-p07-n15/(5v1(1)v1(14)).pcom",
   "deg8/o22-p07-n15/(5v1(2)v1(13)).pcom"
  ]
 },
 {
  "hole": "<6 u 1<2> u 1<12>>",
  "pcoms": [
   "deg8/o22-p07-n15/(5v1(2)v1(13)).pcom",
   "deg8/o22-p07-n15/(5v1(3)v1(12)).pcom"
  ]
 },
 {
  "hole": "<6 u 1<3> u 1<11>>",
  "pcoms": [
   "deg8/o22-p07-n15/(5v1(3)v1(12)).pcom",
   "deg8/o22-p07-n15/(5v1(4)v1(11)).pcom"
  ]
 },
 {
  "hole": "<6 u 1<4> u 1<10>>",
  "pcoms": [
   "deg8/o22-p07-n15/(5v1(4)v1(11)).pcom",
   "deg8/o22-p07-n15/(5v1(5)v1(10)).pcom"
  ]
 },
 {
  "hole": "<6 u 1<5> u 1<9>>",
  "pcoms": [
   "deg8/o22-p07-n15/(5v1(5)v1(10)).pcom"
  ]
 },
 {
  "hole": "<6 u 1<6> u 1<8>>",
  "pcoms": [
   "deg8/o22-p07-n15/(5v1(7)v1(8)).pcom"
  ]
 },
 {
  "hole": "<6 u 1<7> u 1<7>>",
  "pcoms": [
   "deg8/o22-p07-n15/(5v1(7)v1(8)).pcom"
  ]
 },
 {
  "hole": "<8 u 1<1> u 1<11>>",
  "pcoms": [
   "deg8/o22-p11-n11/(9v1(1)v1(10)).pcom"
  ]
 },
 {
  "hole": "<8 u 1<2> u 1<10>>",
  "pcoms": [
   "deg8/o22-p11-n11/(9v1(1)v1(10)).pcom",
   "deg8/o22-p11-n11/(9v1(2)v1(9)).pcom"
  ]
 },
 {
  "hole": "<8 u 1<3> u 1<9>>",
  "pcoms": [
   "deg8/o22-p11-n11/(9v1(2)v1(9)).pcom",
   "deg8/o22-p11-n11/(9v1(3)v1(8)).pcom"
  ]
 },
 {
  "hole": "<8 u 1<4> u 1<8>>",
  "pcoms": [
   "deg8/o22-p11-n11/(9v1(3)v1(8)).pcom",
   "deg8/o22-p11-n11/(9v1(4)v1(7)).pcom"
  ]
 },
 {
  "hole": "<8 u 1<5> u 1<7>>",
  "pcoms": [
   "deg8/o22-p11-n11/(9v1(4)v1(7)).pcom",
   "deg8/o22-p11-n11/(9v1(5)v1(6)).pcom"
  ]
 },
 {
  "hole": "<8 u 1<6> u 1<6>>",
  "pcoms": [
   "deg8/o22-p11-n11/(9v1(5)v1(6)).pcom"
  ]
 },
 {
  "hole": "<10 u 1<1> u 1<9>>",
  "pcoms": [
   "deg8/o22-p11-n11/(9v1(1)v1(10)).pcom",
   "deg8/o22-p11-n11/(9v1(2)v1(9)).pcom"
  ]
 },
 {
  "hole": "<10 u 1<2> u 1<8>>",
  "pcoms": [
   "deg8/o22-p11-n11/(9v1(2)v1(9)).pcom",
   "deg8/o22-p11-n11/(9v1(3)v1(8)).pcom"
  ]
 },
 {
  "hole": "<10 u 1<3> u 1<7>>",
  "pcoms": [
   "deg8/o22-p11-n11/(9v1(3)v1(8)).pcom",
   "deg8/o22-p11-n11/(9v1(4)v1(7)).pcom"
  ]
 },
 {
  "hole": "<10 u 1<4> u 1<6>>",
  "pcoms": [
   "deg8/o22-p11-n11/(9v1(4)v1(7)).pcom",
   "deg8/o22-p11-n11/(9v1(5)v1(6)).pcom"
  ]
 },
 {
  "hole": "<10 u 1<5> u 1<5>>",
  "pcoms": [
   "deg8/o22-p11-n11/(9v1(5)v1(6)).pcom"
  ]
 },
 {
  "hole": "<3 u 1<1> u 1<15>>",
  "pcoms": [
   "deg8/o21-p06-n15/(4v1(1)v1(14)).pcom"
  ]
 },
 {
  "hole": "<3 u 1<2> u 1<14>>",
  "pcoms": [
   "deg8/o21-p06-n15/(4v1(1)v1(14)).pcom"
  ]
 },
 {
  "hole": "<3 u 1<7> u 1<9>>",
  "pcoms": [
   "deg8/o21-p06-n15/(4v1(7)v1(8)).pcom"
  ]
 },
 {
  "hole": "<3 u 1<8> u 1<8>>",
  "pcoms": [
   "deg8/o21-p06-n15/(4v1(7)v1(8)).pcom"
  ]
 },
 {
  "hole": "<4 u 1<6> u 1<9>>",
  "pcoms": [
   "deg8/o21-p06-n15/(4v1(7)v1(8)).pcom",
   "deg8/o21-p07-n14/(5v1(5)v1(9)).pcom",
   "deg8/o21-p07-n14/(5v1(6)v1(8)).pcom"
  ]
 },
 {
  "hole": "<5 u 1<7> u 1<7>>",
  "pcoms": [
   "deg8/o21-p06-n15/(4v1(7)v1(8)).pcom",
   "deg8/o21-p07-n14/(5v1(6)v1(8)).pcom"
  ]
 },
 {
  "hole": "<6 u 1<1> u 1<12>>",
  "pcoms": [
   "deg8/o21-p07-n14/(5v1(1)v1(13)).pcom",
   "deg8/o21-p07-n14/(5v1(2)v1(12)).pcom"
  ]
 },
 {
  "hole": "<6 u 1<2> u 1<11>>",
  "pcoms": [
   "deg8/o21-p07-n14/(5v1(2)v1(12)).pcom",
   "deg8/o21-p07-n14/(5v1(3)v1(11)).pcom"
  ]
 },
 {
  "hole": "<6 u 1<3> u 1<10>>",
  "pcoms": [
   "deg8/o21-p07-n14/(5v1(3)v1(11)).pcom",
   "deg8/o21-p07-n14/(5v1(4)v1(10)).pcom"
  ]
 },
 {
  "hole": "<6 u 1<4> u 1<9>>",
  "pcoms": [
   "deg8/o21-p07-n14/(5v1(4)v1(10)).pcom",
   "deg8/o21-p07-n14/(5v1(5)v1(9)).pcom"
  ]
 },
 {
  "hole": "<6 u 1<5> u 1<8>>",
  "pcoms": [
   "deg8/o21-p07-n14/(5v1(5)v1(9)).pcom",
   "deg8/o21-p07-n14/(5v1(6)v1(8)).pcom"
  ]
 },
 {
  "hole": "<6 u 1<6> u 1<7>>",
  "pcoms": [
   "deg8/o21-p07-n14/(5v1(6)v1(8)).pcom"
  ]
 },
 {
  "hole": "<7 u 1<1> u 1<11>>",
  "pcoms": [
   "deg8/o21-p10-n11/(8v1(1)v1(10)).pcom"
  ]
 },
 {
  "hole": "<7 u 1<2> u 1<10>>",
  "pcoms": [
   "deg8/o21-p10-n11/(8v1(1)v1(10)).pcom",
   "deg8/o21-p10-n11/(8v1(2)v1(9)).pcom"
  ]
 },
 {
  "hole": "<7 u 1<3> u 1<9>>",
  "pcoms": [
   "deg8/o21-p10-n11/(8v1(2)v1(9)).pcom",
   "deg8/o21-p10-n11/(8v1(3)v1(8)).pcom"
  ]
 },
 {
  "hole": "<7 u 1<4> u 1<8>>",
  "pcoms": [
   "deg8/o21-p10-n11/(8v1(3)v1(8)).pcom",
   "deg8/o21-p10-n11/(8v1(4)v1(7)).pcom"
  ]
 },
 {
  "hole": "<7 u 1<5> u 1<7>>",
  "pcoms": [
   "deg8/o21-p10-n11/(8v1(4)v1(7)).pcom",
   "deg8/o21-p10-n11/(8v1(5)v1(6)).pcom"
  ]
 },
 {
  "hole": "<7 u 1<6> u 1<6>>",
  "pcoms": [
   "deg8/o21-p10-n11/(8v1(5)v1(6)).pcom"
  ]
 },
 {
  "hole": "<9 u 1<5> u 1<5>>",
  "pcoms": [
   "deg8/o21-p10-n11/(8v1(5)v1(6)).pcom",
   "deg8/o21-p11-n10/(9v1(4)v1(6)).pcom"
  ]
 },
 {
  "hole": "<10 u 1<1> u 1<8>>",
  "pcoms": [
   "deg8/o21-p11-n10/(9v1(1)v1(9)).pcom",
   "deg8/o21-p11-n10/(9v1(2)v1(8)).pcom"
  ]
 },
 {
  "hole": "<10 u 1<2> u 1<7>>",
  "pcoms": [
   "deg8/o21-p11-n10/(9v1(2)v1(8)).pcom",
   "deg8/o21-p11-n10/(9v1(3)v1(7)).pcom"
  ]
 },
 {
  "hole": "<10 u 1<3> u 1<6>>",
  "pcoms": [
   "deg8/o21-p11-n10/(9v1(3)v1(7)).pcom",
   "deg8/o21-p11-n10/(9v1(4)v1(6)).pcom"
  ]
 },
 {
  "hole": "<10 u 1<4> u 1<5>>",
  "pcoms": [
   "deg8/o21-p11-n10/(9v1(4)v1(6)).pcom"
  ]
 },
 {
  "hole": "<11 u 1<1> u 1<7>>",
  "pcoms": [
   "deg8/o21-p14-n07/(12v1(1)v1(6)).pcom"
  ]
 },
 {
  "hole": "<11 u 1<2> u 1<6>>",
  "pcoms": [
   "deg8/o21-p14-n07/(12v1(1)v1(6)).pcom",
   "deg8/o21-p14-n07/(12v1(2)v1(5)).pcom"
  ]
 },
 {
  "hole": "<11 u 1<3> u 1<5>>",
  "pcoms": [
   "deg8/o21-p14-n07/(12v1(2)v1(5)).pcom",
   "deg8/o21-p14-n07/(12v1(3)v1(4)).pcom"
  ]
 },
 {
  "hole": "<11 u 1<4> u 1<4>>",
  "pcoms": [
   "deg8/o21-p14-n07/(12v1(3)v1(4)).pcom"
  ]
 },
 {
  "hole": "<1<2> u 1<16>>",
  "pcoms": [
   "deg8/o20-p02-n18/(1(1)v1(17)).pcom",
   "deg8/o20-p02-n18/(1(3)v1(15)).pcom",
   "deg8/o20-p03-n17/(1v1(1)v1(16)).pcom",
   "deg8/o20-p03-n17/(1v1(2)v1(15)).pcom"
  ]
 },
 {
  "hole": "<1<4> u 1<14>>",
  "pcoms": [
   "deg8/o20-p02-n18/(1(3)v1(15)).pcom",
   "deg8/o20-p03-n17/(1v1(3)v1(14)).pcom",
   "deg8/o20-p03-n17/(1v1(4)v1(13)).pcom"
  ]
 },
 {
  "hole": "<1<5> u 1<13>>",
  "pcoms": [
   "deg8/o20-p03-n17/(1v1(4)v1(13)).pcom",
   "deg8/o20-p03-n17/(1v1(5)v1(12)).pcom"
  ]
 },
 {
  "hole": "<1<6> u 1<12>>",
  "pcoms": [
   "deg8/o20-p02-n18/(1(7)v1(11)).pcom",
   "deg8/o20-p03-n17/(1v1(5)v1(12)).pcom",
   "deg8/o20-p03-n17/(1v1(6)v1(11)).pcom"
  ]
 },
 {
  "hole": "<1<8> u 1<10>>",
  "pcoms": [
   "deg8/o20-p02-n18/(1(7)v1(11)).pcom",
   "deg8/o20-p03-n17/(1v1(7)v1(10)).pcom",
   "deg8/o20-p03-n17/(1v1(8)v1(9)).pcom"
  ]
 },
 {
  "hole": "<1<9> u 1<9>>",
  "pcoms": [
   "deg8/o20-p03-n17/(1v1(8)v1(9)).pcom"
  ]
 },
 {
  "hole": "<2 u 1<3> u 1<13>>",
  "pcoms": [
   "deg8/o20-p03-n17/(1v1(3)v1(14)).pcom",
   "deg8/o20-p03-n17/(1v1(4)v1(13)).pcom",
   "deg8/o20-p04-n16/(2v1(2)v1(14)).pcom",
   "deg8/o20-p05-n15/(3v1(2)v1(13)).pcom"
  ]
 },
 {
  "hole": "<2 u 1<4> u 1<12>>",
  "pcoms": [
   "deg8/o20-p03-n17/(1v1(4)v1(13)).pcom",
   "deg8/o20-p03-n17/(1v1(5)v1(12)).pcom"
  ]
 },
 {
  "hole": "<2 u 1<5> u 1<11>>",
  "pcoms": [
   "deg8/o20-p03-n17/(1v1(5)v1(12)).pcom",
   "deg8/o20-p03-n17/(1v1(6)v1(11)).pcom"
  ]
 },
 {
  "hole": "<2 u 1<6> u 1<10>>",
  "pcoms": [
   "deg8/o20-p03-n17/(1v1(6)v1(11)).pcom",
   "deg8/o20-p03-n17/(1v1(7)v1(10)).pcom"
  ]
 },
 {
  "hole": "<2 u 1<7> u 1<9>>",
  "pcoms": [
   "deg8/o20-p03-n17/(1v1(7)v1(10)).pcom",
   "deg8/o20-p03-n17/(1v1(8)v1(9)).pcom",
   "deg8/o20-p05-n15/(3v1(7)v1(8)).pcom"
  ]
 },
 {
  "hole": "<2 u 1<8> u 1<8>>",
  "pcoms": [
   "deg8/o20-p03-n17/(1v1(8)v1(9)).pcom",
   "deg8/o20-p05-n15/(3v1(7)v1(8)).pcom"
  ]
 },
 {
  "hole": "<3 u 1<3> u 1<12>>",
  "pcoms": [
   "deg8/o20-p05-n15/(3v1(2)v1(13)).pcom",
   "deg8/o20-p06-n14/(4v1(2)v1(12)).pcom",
   "deg8/o20-p06-n14/(4v1(3)v1(11)).pcom"
  ]
 },
 {
  "hole": "<3 u 1<5> u 1<10>>",
  "pcoms": [
   "deg8/o20-p06-n14/(4v1(4)v1(10)).pcom",
   "deg8/o20-p06-n14/(4v1(5)v1(9)).pcom"
  ]
 },
 {
  "hole": "<3 u 1<6> u 1<9>>",
  "pcoms": [
   "deg8/o20-p05-n15/(3v1(7)v1(8)).pcom",
   "deg8/o20-p06-n14/(4v1(5)v1(9)).pcom",
   "deg8/o20-p06-n14/(4v1(6)v1(8)).pcom"
  ]
 },
 {
  "hole": "<4 u 1<7> u 1<7>>",
  "pcoms": [
   "deg8/o20-p05-n15/(3v1(7)v1(8)).pcom",
   "deg8/o20-p06-n14/(4v1(6)v1(8)).pcom",
   "deg8/o20-p07-n13/(5v1(6)v1(7)).pcom"
  ]
 },
 {
  "hole": "<6 u 1<6> u 1<6>>",
  "pcoms": [
   "deg8/o20-p07-n13/(5v1(6)v1(7)).pcom",
   "deg8/o20-p08-n12/(6v1(5)v1(7)).pcom",
   "deg8/o20-p09-n11/(7v1(5)v1(6)).pcom"
  ]
 },
 {
  "hole": "<8 u 1<5> u 1<5>>",
  "pcoms": [
   "deg8/o20-p09-n11/(7v1(5)v1(6)).pcom",
   "deg8/o20-p10-n10/(8v1(4)v1(6)).pcom",
   "deg8/o20-p11-n09/(9v1(4)v1(5)).pcom"
  ]
 },
 {
  "hole": "<10 u 1<4> u 1<4>>",
  "pcoms": [
   "deg8/o20-p11-n09/(9v1(4)v1(5)).pcom",
   "deg8/o20-p12-n08/(10v1(3)v1(5)).pcom",
   "deg8/o20-p13-n07/(11v1(3)v1(4)).pcom"
  ]
 },
 {
  "hole": "<1 u 1<8> u 1<8>>",
  "pcoms": [
   "deg8/o19-p02-n17/(1(8)v1(9)).pcom",
   "deg8/o19-p03-n16/(1v1(7)v1(9)).pcom",
   "deg8/o19-p04-n15/(2v1(7)v1(8)).pcom"
  ]
 },
 {
  "hole": "<3 u 1<7> u 1<7>>",
  "pcoms": [
   "deg8/o19-p04-n15/(2v1(7)v1(8)).pcom",
   "deg8/o19-p05-n14/(3v1(6)v1(8)).pcom",
   "deg8/o19-p06-n13/(4v1(6)v1(7)).pcom"
  ]
 },
 {
  "hole": "<5 u 1<6> u 1<6>>",
  "pcoms": [
   "deg8/o19-p06-n13/(4v1(6)v1(7)).pcom",
   "deg8/o19-p07-n12/(5v1(5)v1(7)).pcom",
   "deg8/o19-p08-n11/(6v1(5)v1(6)).pcom"
  ]
 },
 {
  "hole": "<7 u 1<5> u 1<5>>",
  "pcoms": [
   "deg8/o19-p08-n11/(6v1(5)v1(6)).pcom",
   "deg8/o19-p09-n10/(7v1(4)v1(6)).pcom",
   "deg8/o19-p10-n09/(8v1(4)v1(5)).pcom"
  ]
 },
 {
  "hole": "<9 u 1<4> u 1<4>>",
  "pcoms": [
   "deg8/o19-p10-n09/(8v1(4)v1(5)).pcom",
   "deg8/o19-p11-n08/(9v1(3)v1(5)).pcom",
   "deg8/o19-p12-n07/(10v1(3)v1(4)).pcom"
  ]
 },
 {
  "hole": "<11 u 1<3> u 1<3>>",
  "pcoms": [
   "deg8/o19-p12-n07/(10v1(3)v1(4)).pcom",
   "deg8/o19-p13-n06/(11v1(2)v1(4)).pcom",
   "deg8/o19-p14-n05/(12v1(2)v1(3)).pcom"
  ]
 },
 {
  "hole": "<1<8> u 1<8>>",
  "pcoms": [
   "deg8/o18-p02-n16/(1(7)v1(9)).pcom",
   "deg8/o18-p03-n15/(1v1(7)v1(8)).pcom"
  ]
 },
 {
  "hole": "<2 u 1<7> u 1<7>>",
  "pcoms": [
   "deg8/o18-p03-n15/(1v1(7)v1(8)).pcom",
   "deg8/o18-p04-n14/(2v1(6)v1(8)).pcom",
   "deg8/o18-p05-n13/(3v1(6)v1(7)).pcom"
  ]
 },
 {
  "hole": "<4 u 1<6> u 1<6>>",
  "pcoms": [
   "deg8/o18-p05-n13/(3v1(6)v1(7)).pcom",
   "deg8/o18-p06-n12/(4v1(5)v1(7)).pcom",
   "deg8/o18-p07-n11/(5v1(5)v1(6)).pcom"
  ]
 },
 {
  "hole": "<6 u 1<5> u 1<5>>",
  "pcoms": [
   "deg8/o18-p07-n11/(5v1(5)v1(6)).pcom",
   "deg8/o18-p08-n10/(6v1(4)v1(6)).pcom",
   "deg8/o18-p09-n09/(7v1(4)v1(5)).pcom"
  ]
 },
 {
  "hole": "<8 u 1<4> u 1<4>>",
  "pcoms": [
   "deg8/o18-p09-n09/(7v1(4)v1(5)).pcom",
   "deg8/o18-p10-n08/(8v1(3)v1(5)).pcom",
   "deg8/o18-p11-n07/(9v1(3)v1(4)).pcom"
  ]
 },
 {
  "hole": "<10 u 1<3> u 1<3>>",
  "pcoms": [
   "deg8/o18-p11-n07/(9v1(3)v1(4)).pcom",
   "deg8/o18-p12-n06/(10v1(2)v1(4)).pcom",
   "deg8/o18-p13-n05/(11v1(2)v1(3)).pcom"
  ]
 }
]