{
 "id": "su4_ahmn",
 "group": "SU(4)",
 "orbifold": {
  "name": "T2/Z2",
  "note": "the 6D SU(4) gauge-Higgs unification of arXiv:2312.08608, whose weak mixing angle comes out sin^2(theta_W) = 1/4 at the compactification scale"
 },
 "source": {
  "papers": "Parts III-V of the series; the model is AHMN, arXiv:2312.08608",
  "extracted_from": [
   "ghu-explorer/tools/su4_data.json",
   "ghu-explorer/tools/calc_data.json"
  ],
  "chain": "both files are generated by ghu-explorer/tools/make_calc_data.py, which fails a row that disagrees with Part IV's Proposition 1 or whose character no (p,q,r) reproduces"
 },
 "reps_dynkin": {
  "(0,0,1)": [
   0,
   0,
   1
  ],
  "(0,0,2)": [
   0,
   0,
   2
  ],
  "(0,0,3)": [
   0,
   0,
   3
  ],
  "(0,0,4)": [
   0,
   0,
   4
  ],
  "(0,0,5)": [
   0,
   0,
   5
  ],
  "(0,0,6)": [
   0,
   0,
   6
  ],
  "(0,0,7)": [
   0,
   0,
   7
  ],
  "(0,1,0)": [
   0,
   1,
   0
  ],
  "(0,1,1)": [
   0,
   1,
   1
  ],
  "(0,1,2)": [
   0,
   1,
   2
  ],
  "(0,1,3)": [
   0,
   1,
   3
  ],
  "(0,1,4)": [
   0,
   1,
   4
  ],
  "(0,1,5)": [
   0,
   1,
   5
  ],
  "(0,1,6)": [
   0,
   1,
   6
  ],
  "(0,2,0)": [
   0,
   2,
   0
  ],
  "(0,2,1)": [
   0,
   2,
   1
  ],
  "(0,2,2)": [
   0,
   2,
   2
  ],
  "(0,2,3)": [
   0,
   2,
   3
  ],
  "(0,2,4)": [
   0,
   2,
   4
  ],
  "(0,2,5)": [
   0,
   2,
   5
  ],
  "(0,3,0)": [
   0,
   3,
   0
  ],
  "(0,3,1)": [
   0,
   3,
   1
  ],
  "(0,3,2)": [
   0,
   3,
   2
  ],
  "(0,3,3)": [
   0,
   3,
   3
  ],
  "(0,3,4)": [
   0,
   3,
   4
  ],
  "(0,4,0)": [
   0,
   4,
   0
  ],
  "(0,4,1)": [
   0,
   4,
   1
  ],
  "(0,4,2)": [
   0,
   4,
   2
  ],
  "(0,4,3)": [
   0,
   4,
   3
  ],
  "(0,5,0)": [
   0,
   5,
   0
  ],
  "(0,5,1)": [
   0,
   5,
   1
  ],
  "(0,5,2)": [
   0,
   5,
   2
  ],
  "(0,6,0)": [
   0,
   6,
   0
  ],
  "(0,6,1)": [
   0,
   6,
   1
  ],
  "(0,7,0)": [
   0,
   7,
   0
  ],
  "(1,0,0)": [
   1,
   0,
   0
  ],
  "(1,0,1)": [
   1,
   0,
   1
  ],
  "(1,0,2)": [
   1,
   0,
   2
  ],
  "(1,0,3)": [
   1,
   0,
   3
  ],
  "(1,0,4)": [
   1,
   0,
   4
  ],
  "(1,0,5)": [
   1,
   0,
   5
  ],
  "(1,0,6)": [
   1,
   0,
   6
  ],
  "(1,1,0)": [
   1,
   1,
   0
  ],
  "(1,1,1)": [
   1,
   1,
   1
  ],
  "(1,1,2)": [
   1,
   1,
   2
  ],
  "(1,1,3)": [
   1,
   1,
   3
  ],
  "(1,1,4)": [
   1,
   1,
   4
  ],
  "(1,1,5)": [
   1,
   1,
   5
  ],
  "(1,2,0)": [
   1,
   2,
   0
  ],
  "(1,2,1)": [
   1,
   2,
   1
  ],
  "(1,2,2)": [
   1,
   2,
   2
  ],
  "(1,2,3)": [
   1,
   2,
   3
  ],
  "(1,2,4)": [
   1,
   2,
   4
  ],
  "(1,3,0)": [
   1,
   3,
   0
  ],
  "(1,3,1)": [
   1,
   3,
   1
  ],
  "(1,3,2)": [
   1,
   3,
   2
  ],
  "(1,3,3)": [
   1,
   3,
   3
  ],
  "(1,4,0)": [
   1,
   4,
   0
  ],
  "(1,4,1)": [
   1,
   4,
   1
  ],
  "(1,4,2)": [
   1,
   4,
   2
  ],
  "(1,5,0)": [
   1,
   5,
   0
  ],
  "(1,5,1)": [
   1,
   5,
   1
  ],
  "(1,6,0)": [
   1,
   6,
   0
  ],
  "(2,0,0)": [
   2,
   0,
   0
  ],
  "(2,0,1)": [
   2,
   0,
   1
  ],
  "(2,0,2)": [
   2,
   0,
   2
  ],
  "(2,0,3)": [
   2,
   0,
   3
  ],
  "(2,0,4)": [
   2,
   0,
   4
  ],
  "(2,0,5)": [
   2,
   0,
   5
  ],
  "(2,1,0)": [
   2,
   1,
   0
  ],
  "(2,1,1)": [
   2,
   1,
   1
  ],
  "(2,1,2)": [
   2,
   1,
   2
  ],
  "(2,1,3)": [
   2,
   1,
   3
  ],
  "(2,1,4)": [
   2,
   1,
   4
  ],
  "(2,2,0)": [
   2,
   2,
   0
  ],
  "(2,2,1)": [
   2,
   2,
   1
  ],
  "(2,2,2)": [
   2,
   2,
   2
  ],
  "(2,2,3)": [
   2,
   2,
   3
  ],
  "(2,3,0)": [
   2,
   3,
   0
  ],
  "(2,3,1)": [
   2,
   3,
   1
  ],
  "(2,3,2)": [
   2,
   3,
   2
  ],
  "(2,4,0)": [
   2,
   4,
   0
  ],
  "(2,4,1)": [
   2,
   4,
   1
  ],
  "(2,5,0)": [
   2,
   5,
   0
  ],
  "(3,0,0)": [
   3,
   0,
   0
  ],
  "(3,0,1)": [
   3,
   0,
   1
  ],
  "(3,0,2)": [
   3,
   0,
   2
  ],
  "(3,0,3)": [
   3,
   0,
   3
  ],
  "(3,0,4)": [
   3,
   0,
   4
  ],
  "(3,1,0)": [
   3,
   1,
   0
  ],
  "(3,1,1)": [
   3,
   1,
   1
  ],
  "(3,1,2)": [
   3,
   1,
   2
  ],
  "(3,1,3)": [
   3,
   1,
   3
  ],
  "(3,2,0)": [
   3,
   2,
   0
  ],
  "(3,2,1)": [
   3,
   2,
   1
  ],
  "(3,2,2)": [
   3,
   2,
   2
  ],
  "(3,3,0)": [
   3,
   3,
   0
  ],
  "(3,3,1)": [
   3,
   3,
   1
  ],
  "(3,4,0)": [
   3,
   4,
   0
  ],
  "(4,0,0)": [
   4,
   0,
   0
  ],
  "(4,0,1)": [
   4,
   0,
   1
  ],
  "(4,0,2)": [
   4,
   0,
   2
  ],
  "(4,0,3)": [
   4,
   0,
   3
  ],
  "(4,1,0)": [
   4,
   1,
   0
  ],
  "(4,1,1)": [
   4,
   1,
   1
  ],
  "(4,1,2)": [
   4,
   1,
   2
  ],
  "(4,2,0)": [
   4,
   2,
   0
  ],
  "(4,2,1)": [
   4,
   2,
   1
  ],
  "(4,3,0)": [
   4,
   3,
   0
  ],
  "(5,0,0)": [
   5,
   0,
   0
  ],
  "(5,0,1)": [
   5,
   0,
   1
  ],
  "(5,0,2)": [
   5,
   0,
   2
  ],
  "(5,1,0)": [
   5,
   1,
   0
  ],
  "(5,1,1)": [
   5,
   1,
   1
  ],
  "(5,2,0)": [
   5,
   2,
   0
  ],
  "(6,0,0)": [
   6,
   0,
   0
  ],
  "(6,0,1)": [
   6,
   0,
   1
  ],
  "(6,1,0)": [
   6,
   1,
   0
  ],
  "(7,0,0)": [
   7,
   0,
   0
  ]
 },
 "reps_hist": {
  "(0,0,1)": {
   "1,1": 1,
   "0,0": 1,
   "-1,1": 1,
   "0,1": 1
  },
  "(0,0,2)": {
   "2,0": 1,
   "1,1": 1,
   "0,0": 3,
   "1,0": 1,
   "-1,1": 1,
   "0,1": 1,
   "-2,0": 1,
   "-1,0": 1
  },
  "(0,0,3)": {
   "3,1": 1,
   "2,0": 1,
   "1,1": 3,
   "2,1": 1,
   "0,0": 3,
   "1,0": 1,
   "-1,1": 3,
   "0,1": 3,
   "-2,0": 1,
   "-1,0": 1,
   "-3,1": 1,
   "-2,1": 1
  },
  "(0,0,4)": {
   "4,0": 1,
   "3,1": 1,
   "2,0": 3,
   "3,0": 1,
   "1,1": 3,
   "2,1": 1,
   "0,0": 6,
   "1,0": 3,
   "-1,1": 3,
   "0,1": 3,
   "-2,0": 3,
   "-1,0": 3,
   "-3,1": 1,
   "-2,1": 1,
   "-4,0": 1,
   "-3,0": 1
  },
  "(0,0,5)": {
   "5,1": 1,
   "4,0": 1,
   "3,1": 3,
   "4,1": 1,
   "2,0": 3,
   "3,0": 1,
   "1,1": 6,
   "2,1": 3,
   "0,0": 6,
   "1,0": 3,
   "-1,1": 6,
   "0,1": 6,
   "-2,0": 3,
   "-1,0": 3,
   "-3,1": 3,
   "-2,1": 3,
   "-4,0": 1,
   "-3,0": 1,
   "-5,1": 1,
   "-4,1": 1
  },
  "(0,0,6)": {
   "6,0": 1,
   "5,1": 1,
   "4,0": 3,
   "5,0": 1,
   "3,1": 3,
   "4,1": 1,
   "2,0": 6,
   "3,0": 3,
   "1,1": 6,
   "2,1": 3,
   "0,0": 10,
   "1,0": 6,
   "-1,1": 6,
   "0,1": 6,
   "-2,0": 6,
   "-1,0": 6,
   "-3,1": 3,
   "-2,1": 3,
   "-4,0": 3,
   "-3,0": 3,
   "-5,1": 1,
   "-4,1": 1,
   "-6,0": 1,
   "-5,0": 1
  },
  "(0,0,7)": {
   "7,1": 1,
   "6,0": 1,
   "5,1": 3,
   "6,1": 1,
   "4,0": 3,
   "5,0": 1,
   "3,1": 6,
   "4,1": 3,
   "2,0": 6,
   "3,0": 3,
   "1,1": 10,
   "2,1": 6,
   "0,0": 10,
   "1,0": 6,
   "-1,1": 10,
   "0,1": 10,
   "-2,0": 6,
   "-1,0": 6,
   "-3,1": 6,
   "-2,1": 6,
   "-4,0": 3,
   "-3,0": 3,
   "-5,1": 3,
   "-4,1": 3,
   "-6,0": 1,
   "-5,0": 1,
   "-7,1": 1,
   "-6,1": 1
  },
  "(0,1,0)": {
   "1,0": 1,
   "0,1": 1,
   "1,1": 1,
   "-1,0": 1,
   "0,0": 1,
   "-1,1": 1
  },
  "(0,1,1)": {
   "2,1": 1,
   "1,0": 3,
   "2,0": 1,
   "0,1": 3,
   "1,1": 2,
   "-1,0": 3,
   "0,0": 3,
   "-2,1": 1,
   "-1,1": 2,
   "-2,0": 1
  },
  "(0,1,2)": {
   "3,0": 1,
   "2,1": 3,
   "3,1": 1,
   "1,0": 5,
   "2,0": 2,
   "0,1": 6,
   "1,1": 5,
   "-1,0": 5,
   "0,0": 5,
   "-2,1": 3,
   "-1,1": 5,
   "-3,0": 1,
   "-2,0": 2,
   "-3,1": 1
  },
  "(0,1,3)": {
   "4,1": 1,
   "3,0": 3,
   "4,0": 1,
   "2,1": 5,
   "3,1": 2,
   "1,0": 9,
   "2,0": 5,
   "0,1": 9,
   "1,1": 7,
   "-1,0": 9,
   "0,0": 9,
   "-2,1": 5,
   "-1,1": 7,
   "-3,0": 3,
   "-2,0": 5,
   "-4,1": 1,
   "-3,1": 2,
   "-4,0": 1
  },
  "(0,1,4)": {
   "5,0": 1,
   "4,1": 3,
   "5,1": 1,
   "3,0": 5,
   "4,0": 2,
   "2,1": 9,
   "3,1": 5,
   "1,0": 12,
   "2,0": 7,
   "0,1": 14,
   "1,1": 12,
   "-1,0": 12,
   "0,0": 12,
   "-2,1": 9,
   "-1,1": 12,
   "-3,0": 5,
   "-2,0": 7,
   "-4,1": 3,
   "-3,1": 5,
   "-5,0": 1,
   "-4,0": 2,
   "-5,1": 1
  },
  "(0,1,5)": {
   "6,1": 1,
   "5,0": 3,
   "6,0": 1,
   "4,1": 5,
   "5,1": 2,
   "3,0": 9,
   "4,0": 5,
   "2,1": 12,
   "3,1": 7,
   "1,0": 18,
   "2,0": 12,
   "0,1": 18,
   "1,1": 15,
   "-1,0": 18,
   "0,0": 18,
   "-2,1": 12,
   "-1,1": 15,
   "-3,0": 9,
   "-2,0": 12,
   "-4,1": 5,
   "-3,1": 7,
   "-5,0": 3,
   "-4,0": 5,
   "-6,1": 1,
   "-5,1": 2,
   "-6,0": 1
  },
  "(0,1,6)": {
   "7,0": 1,
   "6,1": 3,
   "7,1": 1,
   "5,0": 5,
   "6,0": 2,
   "4,1": 9,
   "5,1": 5,
   "3,0": 12,
   "4,0": 7,
   "2,1": 18,
   "3,1": 12,
   "1,0": 22,
   "2,0": 15,
   "0,1": 25,
   "1,1": 22,
   "-1,0": 22,
   "0,0": 22,
   "-2,1": 18,
   "-1,1": 22,
   "-3,0": 12,
   "-2,0": 15,
   "-4,1": 9,
   "-3,1": 12,
   "-5,0": 5,
   "-4,0": 7,
   "-6,1": 3,
   "-5,1": 5,
   "-7,0": 1,
   "-6,0": 2,
   "-7,1": 1
  },
  "(0,2,0)": {
   "2,0": 2,
   "1,1": 2,
   "2,1": 1,
   "0,0": 4,
   "1,0": 2,
   "-1,1": 2,
   "0,1": 2,
   "-1,0": 2,
   "-2,0": 2,
   "-2,1": 1
  },
  "(0,2,1)": {
   "3,1": 2,
   "2,0": 4,
   "3,0": 1,
   "1,1": 7,
   "2,1": 4,
   "0,0": 7,
   "1,0": 5,
   "-1,1": 7,
   "0,1": 7,
   "-2,0": 4,
   "-1,0": 5,
   "-2,1": 4,
   "-3,1": 2,
   "-3,0": 1
  },
  "(0,2,2)": {
   "4,0": 2,
   "3,1": 4,
   "4,1": 1,
   "2,0": 10,
   "3,0": 4,
   "1,1": 11,
   "2,1": 7,
   "0,0": 15,
   "1,0": 11,
   "-1,1": 11,
   "0,1": 11,
   "-2,0": 10,
   "-1,0": 11,
   "-3,1": 4,
   "-2,1": 7,
   "-3,0": 4,
   "-4,0": 2,
   "-4,1": 1
  },
  "(0,2,3)": {
   "5,1": 2,
   "4,0": 4,
   "5,0": 1,
   "3,1": 10,
   "4,1": 4,
   "2,0": 14,
   "3,0": 7,
   "1,1": 20,
   "2,1": 14,
   "0,0": 20,
   "1,0": 16,
   "-1,1": 20,
   "0,1": 20,
   "-2,0": 14,
   "-1,0": 16,
   "-3,1": 10,
   "-2,1": 14,
   "-4,0": 4,
   "-3,0": 7,
   "-4,1": 4,
   "-5,1": 2,
   "-5,0": 1
  },
  "(0,2,4)": {
   "6,0": 2,
   "5,1": 4,
   "6,1": 1,
   "4,0": 10,
   "5,0": 4,
   "3,1": 14,
   "4,1": 7,
   "2,0": 24,
   "3,0": 14,
   "1,1": 26,
   "2,1": 19,
   "0,0": 32,
   "1,0": 26,
   "-1,1": 26,
   "0,1": 26,
   "-2,0": 24,
   "-1,0": 26,
   "-3,1": 14,
   "-2,1": 19,
   "-4,0": 10,
   "-3,0": 14,
   "-5,1": 4,
   "-4,1": 7,
   "-5,0": 4,
   "-6,0": 2,
   "-6,1": 1
  },
  "(0,2,5)": {
   "7,1": 2,
   "6,0": 4,
   "7,0": 1,
   "5,1": 10,
   "6,1": 4,
   "4,0": 14,
   "5,0": 7,
   "3,1": 24,
   "4,1": 14,
   "2,0": 30,
   "3,0": 19,
   "1,1": 39,
   "2,1": 30,
   "0,0": 39,
   "1,0": 33,
   "-1,1": 39,
   "0,1": 39,
   "-2,0": 30,
   "-1,0": 33,
   "-3,1": 24,
   "-2,1": 30,
   "-4,0": 14,
   "-3,0": 19,
   "-5,1": 10,
   "-4,1": 14,
   "-6,0": 4,
   "-5,0": 7,
   "-6,1": 4,
   "-7,1": 2,
   "-7,0": 1
  },
  "(0,3,0)": {
   "3,0": 2,
   "2,1": 3,
   "3,1": 2,
   "1,0": 5,
   "2,0": 3,
   "0,1": 5,
   "1,1": 5,
   "-1,0": 5,
   "0,0": 5,
   "-1,1": 5,
   "-2,1": 3,
   "-2,0": 3,
   "-3,0": 2,
   "-3,1": 2
  },
  "(0,3,1)": {
   "4,1": 2,
   "3,0": 6,
   "4,0": 2,
   "2,1": 9,
   "3,1": 5,
   "1,0": 13,
   "2,0": 9,
   "0,1": 13,
   "1,1": 11,
   "-1,0": 13,
   "0,0": 13,
   "-2,1": 9,
   "-1,1": 11,
   "-2,0": 9,
   "-3,0": 6,
   "-3,1": 5,
   "-4,1": 2,
   "-4,0": 2
  },
  "(0,3,2)": {
   "5,0": 2,
   "4,1": 6,
   "5,1": 2,
   "3,0": 12,
   "4,0": 5,
   "2,1": 18,
   "3,1": 12,
   "1,0": 22,
   "2,0": 16,
   "0,1": 24,
   "1,1": 22,
   "-1,0": 22,
   "0,0": 22,
   "-2,1": 18,
   "-1,1": 22,
   "-3,0": 12,
   "-2,0": 16,
   "-3,1": 12,
   "-4,1": 6,
   "-4,0": 5,
   "-5,0": 2,
   "-5,1": 2
  },
  "(0,3,3)": {
   "6,1": 2,
   "5,0": 6,
   "6,0": 2,
   "4,1": 12,
   "5,1": 5,
   "3,0": 22,
   "4,0": 12,
   "2,1": 28,
   "3,1": 19,
   "1,0": 36,
   "2,0": 28,
   "0,1": 36,
   "1,1": 32,
   "-1,0": 36,
   "0,0": 36,
   "-2,1": 28,
   "-1,1": 32,
   "-3,0": 22,
   "-2,0": 28,
   "-4,1": 12,
   "-3,1": 19,
   "-4,0": 12,
   "-5,0": 6,
   "-5,1": 5,
   "-6,1": 2,
   "-6,0": 2
  },
  "(0,3,4)": {
   "7,0": 2,
   "6,1": 6,
   "7,1": 2,
   "5,0": 12,
   "6,0": 5,
   "4,1": 22,
   "5,1": 12,
   "3,0": 32,
   "4,0": 19,
   "2,1": 43,
   "3,1": 32,
   "1,0": 49,
   "2,0": 39,
   "0,1": 53,
   "1,1": 49,
   "-1,0": 49,
   "0,0": 49,
   "-2,1": 43,
   "-1,1": 49,
   "-3,0": 32,
   "-2,0": 39,
   "-4,1": 22,
   "-3,1": 32,
   "-5,0": 12,
   "-4,0": 19,
   "-5,1": 12,
   "-6,1": 6,
   "-6,0": 5,
   "-7,0": 2,
   "-7,1": 2
  },
  "(0,4,0)": {
   "4,0": 3,
   "3,1": 4,
   "4,1": 2,
   "2,0": 8,
   "3,0": 4,
   "1,1": 8,
   "2,1": 6,
   "0,0": 11,
   "1,0": 8,
   "-1,1": 8,
   "0,1": 8,
   "-1,0": 8,
   "-2,0": 8,
   "-2,1": 6,
   "-3,1": 4,
   "-3,0": 4,
   "-4,0": 3,
   "-4,1": 2
  },
  "(0,4,1)": {
   "5,1": 3,
   "4,0": 7,
   "5,0": 2,
   "3,1": 13,
   "4,1": 7,
   "2,0": 17,
   "3,0": 11,
   "1,1": 22,
   "2,1": 17,
   "0,0": 22,
   "1,0": 19,
   "-1,1": 22,
   "0,1": 22,
   "-2,0": 17,
   "-1,0": 19,
   "-2,1": 17,
   "-3,1": 13,
   "-3,0": 11,
   "-4,0": 7,
   "-4,1": 7,
   "-5,1": 3,
   "-5,0": 2
  },
  "(0,4,2)": {
   "6,0": 3,
   "5,1": 7,
   "6,1": 2,
   "4,0": 17,
   "5,0": 7,
   "3,1": 23,
   "4,1": 14,
   "2,0": 34,
   "3,0": 23,
   "1,1": 36,
   "2,1": 29,
   "0,0": 42,
   "1,0": 36,
   "-1,1": 36,
   "0,1": 36,
   "-2,0": 34,
   "-1,0": 36,
   "-3,1": 23,
   "-2,1": 29,
   "-3,0": 23,
   "-4,0": 17,
   "-4,1": 14,
   "-5,1": 7,
   "-5,0": 7,
   "-6,0": 3,
   "-6,1": 2
  },
  "(0,4,3)": {
   "7,1": 3,
   "6,0": 7,
   "7,0": 2,
   "5,1": 17,
   "6,1": 7,
   "4,0": 27,
   "5,0": 14,
   "3,1": 41,
   "4,1": 27,
   "2,0": 49,
   "3,0": 36,
   "1,1": 59,
   "2,1": 49,
   "0,0": 59,
   "1,0": 53,
   "-1,1": 59,
   "0,1": 59,
   "-2,0": 49,
   "-1,0": 53,
   "-3,1": 41,
   "-2,1": 49,
   "-4,0": 27,
   "-3,0": 36,
   "-4,1": 27,
   "-5,1": 17,
   "-5,0": 14,
   "-6,0": 7,
   "-6,1": 7,
   "-7,1": 3,
   "-7,0": 2
  },
  "(0,5,0)": {
   "5,0": 3,
   "4,1": 5,
   "5,1": 3,
   "3,0": 9,
   "4,0": 5,
   "2,1": 11,
   "3,1": 9,
   "1,0": 14,
   "2,0": 11,
   "0,1": 14,
   "1,1": 14,
   "-1,0": 14,
   "0,0": 14,
   "-1,1": 14,
   "-2,1": 11,
   "-2,0": 11,
   "-3,0": 9,
   "-3,1": 9,
   "-4,1": 5,
   "-4,0": 5,
   "-5,0": 3,
   "-5,1": 3
  },
  "(0,5,1)": {
   "6,1": 3,
   "5,0": 9,
   "6,0": 3,
   "4,1": 15,
   "5,1": 8,
   "3,0": 23,
   "4,0": 15,
   "2,1": 28,
   "3,1": 21,
   "1,0": 34,
   "2,0": 28,
   "0,1": 34,
   "1,1": 31,
   "-1,0": 34,
   "0,0": 34,
   "-2,1": 28,
   "-1,1": 31,
   "-2,0": 28,
   "-3,0": 23,
   "-3,1": 21,
   "-4,1": 15,
   "-4,0": 15,
   "-5,0": 9,
   "-5,1": 8,
   "-6,1": 3,
   "-6,0": 3
  },
  "(0,5,2)": {
   "7,0": 3,
   "6,1": 9,
   "7,1": 3,
   "5,0": 19,
   "6,0": 8,
   "4,1": 30,
   "5,1": 19,
   "3,0": 41,
   "4,0": 28,
   "2,1": 51,
   "3,1": 41,
   "1,0": 57,
   "2,0": 48,
   "0,1": 60,
   "1,1": 57,
   "-1,0": 57,
   "0,0": 57,
   "-2,1": 51,
   "-1,1": 57,
   "-3,0": 41,
   "-2,0": 48,
   "-3,1": 41,
   "-4,1": 30,
   "-4,0": 28,
   "-5,0": 19,
   "-5,1": 19,
   "-6,1": 9,
   "-6,0": 8,
   "-7,0": 3,
   "-7,1": 3
  },
  "(0,6,0)": {
   "6,0": 4,
   "5,1": 6,
   "6,1": 3,
   "4,0": 12,
   "5,0": 6,
   "3,1": 14,
   "4,1": 10,
   "2,0": 20,
   "3,0": 14,
   "1,1": 20,
   "2,1": 17,
   "0,0": 24,
   "1,0": 20,
   "-1,1": 20,
   "0,1": 20,
   "-1,0": 20,
   "-2,0": 20,
   "-2,1": 17,
   "-3,1": 14,
   "-3,0": 14,
   "-4,0": 12,
   "-4,1": 10,
   "-5,1": 6,
   "-5,0": 6,
   "-6,0": 4,
   "-6,1": 3
  },
  "(0,6,1)": {
   "7,1": 4,
   "6,0": 10,
   "7,0": 3,
   "5,1": 19,
   "6,1": 10,
   "4,0": 27,
   "5,0": 17,
   "3,1": 37,
   "4,1": 27,
   "2,0": 43,
   "3,0": 34,
   "1,1": 50,
   "2,1": 43,
   "0,0": 50,
   "1,0": 46,
   "-1,1": 50,
   "0,1": 50,
   "-2,0": 43,
   "-1,0": 46,
   "-2,1": 43,
   "-3,1": 37,
   "-3,0": 34,
   "-4,0": 27,
   "-4,1": 27,
   "-5,1": 19,
   "-5,0": 17,
   "-6,0": 10,
   "-6,1": 10,
   "-7,1": 4,
   "-7,0": 3
  },
  "(0,7,0)": {
   "7,0": 4,
   "6,1": 7,
   "7,1": 4,
   "5,0": 13,
   "6,0": 7,
   "4,1": 17,
   "5,1": 13,
   "3,0": 23,
   "4,0": 17,
   "2,1": 26,
   "3,1": 23,
   "1,0": 30,
   "2,0": 26,
   "0,1": 30,
   "1,1": 30,
   "-1,0": 30,
   "0,0": 30,
   "-1,1": 30,
   "-2,1": 26,
   "-2,0": 26,
   "-3,0": 23,
   "-3,1": 23,
   "-4,1": 17,
   "-4,0": 17,
   "-5,0": 13,
   "-5,1": 13,
   "-6,1": 7,
   "-6,0": 7,
   "-7,0": 4,
   "-7,1": 4
  },
  "(1,0,0)": {
   "0,0": 1,
   "1,0": 1,
   "0,1": 1,
   "-1,0": 1
  },
  "(1,0,1)": {
   "1,1": 2,
   "2,1": 1,
   "0,0": 2,
   "1,0": 2,
   "-1,1": 2,
   "0,1": 3,
   "-1,0": 2,
   "-2,1": 1
  },
  "(1,0,2)": {
   "2,0": 2,
   "3,0": 1,
   "1,1": 3,
   "2,1": 2,
   "0,0": 5,
   "1,0": 5,
   "-1,1": 3,
   "0,1": 5,
   "-2,0": 2,
   "-1,0": 5,
   "-2,1": 2,
   "-3,0": 1
  },
  "(1,0,3)": {
   "3,1": 2,
   "4,1": 1,
   "2,0": 3,
   "3,0": 2,
   "1,1": 7,
   "2,1": 5,
   "0,0": 7,
   "1,0": 7,
   "-1,1": 7,
   "0,1": 9,
   "-2,0": 3,
   "-1,0": 7,
   "-3,1": 2,
   "-2,1": 5,
   "-3,0": 2,
   "-4,1": 1
  },
  "(1,0,4)": {
   "4,0": 2,
   "5,0": 1,
   "3,1": 3,
   "4,1": 2,
   "2,0": 7,
   "3,0": 5,
   "1,1": 9,
   "2,1": 7,
   "0,0": 12,
   "1,0": 12,
   "-1,1": 9,
   "0,1": 12,
   "-2,0": 7,
   "-1,0": 12,
   "-3,1": 3,
   "-2,1": 7,
   "-4,0": 2,
   "-3,0": 5,
   "-4,1": 2,
   "-5,0": 1
  },
  "(1,0,5)": {
   "5,1": 2,
   "6,1": 1,
   "4,0": 3,
   "5,0": 2,
   "3,1": 7,
   "4,1": 5,
   "2,0": 9,
   "3,0": 7,
   "1,1": 15,
   "2,1": 12,
   "0,0": 15,
   "1,0": 15,
   "-1,1": 15,
   "0,1": 18,
   "-2,0": 9,
   "-1,0": 15,
   "-3,1": 7,
   "-2,1": 12,
   "-4,0": 3,
   "-3,0": 7,
   "-5,1": 2,
   "-4,1": 5,
   "-5,0": 2,
   "-6,1": 1
  },
  "(1,0,6)": {
   "6,0": 2,
   "7,0": 1,
   "5,1": 3,
   "6,1": 2,
   "4,0": 7,
   "5,0": 5,
   "3,1": 9,
   "4,1": 7,
   "2,0": 15,
   "3,0": 12,
   "1,1": 18,
   "2,1": 15,
   "0,0": 22,
   "1,0": 22,
   "-1,1": 18,
   "0,1": 22,
   "-2,0": 15,
   "-1,0": 22,
   "-3,1": 9,
   "-2,1": 15,
   "-4,0": 7,
   "-3,0": 12,
   "-5,1": 3,
   "-4,1": 7,
   "-6,0": 2,
   "-5,0": 5,
   "-6,1": 2,
   "-7,0": 1
  },
  "(1,1,0)": {
   "1,0": 3,
   "2,0": 1,
   "0,1": 3,
   "1,1": 2,
   "2,1": 1,
   "0,0": 3,
   "-1,0": 3,
   "-1,1": 2,
   "-2,0": 1,
   "-2,1": 1
  },
  "(1,1,1)": {
   "2,1": 4,
   "3,1": 1,
   "1,0": 7,
   "2,0": 4,
   "3,0": 1,
   "0,1": 8,
   "1,1": 7,
   "-1,0": 7,
   "0,0": 8,
   "-1,1": 7,
   "-2,1": 4,
   "-2,0": 4,
   "-3,1": 1,
   "-3,0": 1
  },
  "(1,1,2)": {
   "3,0": 4,
   "4,0": 1,
   "2,1": 9,
   "3,1": 4,
   "4,1": 1,
   "1,0": 14,
   "2,0": 9,
   "0,1": 15,
   "1,1": 13,
   "-1,0": 14,
   "0,0": 15,
   "-2,1": 9,
   "-1,1": 13,
   "-2,0": 9,
   "-3,0": 4,
   "-3,1": 4,
   "-4,0": 1,
   "-4,1": 1
  },
  "(1,1,3)": {
   "4,1": 4,
   "5,1": 1,
   "3,0": 9,
   "4,0": 4,
   "5,0": 1,
   "2,1": 16,
   "3,1": 9,
   "1,0": 22,
   "2,0": 16,
   "0,1": 24,
   "1,1": 22,
   "-1,0": 22,
   "0,0": 24,
   "-2,1": 16,
   "-1,1": 22,
   "-3,0": 9,
   "-2,0": 16,
   "-3,1": 9,
   "-4,1": 4,
   "-4,0": 4,
   "-5,1": 1,
   "-5,0": 1
  },
  "(1,1,4)": {
   "5,0": 4,
   "6,0": 1,
   "4,1": 9,
   "5,1": 4,
   "6,1": 1,
   "3,0": 16,
   "4,0": 9,
   "2,1": 25,
   "3,1": 16,
   "1,0": 33,
   "2,0": 25,
   "0,1": 35,
   "1,1": 32,
   "-1,0": 33,
   "0,0": 35,
   "-2,1": 25,
   "-1,1": 32,
   "-3,0": 16,
   "-2,0": 25,
   "-4,1": 9,
   "-3,1": 16,
   "-4,0": 9,
   "-5,0": 4,
   "-5,1": 4,
   "-6,0": 1,
   "-6,1": 1
  },
  "(1,1,5)": {
   "6,1": 4,
   "7,1": 1,
   "5,0": 9,
   "6,0": 4,
   "7,0": 1,
   "4,1": 16,
   "5,1": 9,
   "3,0": 25,
   "4,0": 16,
   "2,1": 36,
   "3,1": 25,
   "1,0": 45,
   "2,0": 36,
   "0,1": 48,
   "1,1": 45,
   "-1,0": 45,
   "0,0": 48,
   "-2,1": 36,
   "-1,1": 45,
   "-3,0": 25,
   "-2,0": 36,
   "-4,1": 16,
   "-3,1": 25,
   "-5,0": 9,
   "-4,0": 16,
   "-5,1": 9,
   "-6,1": 4,
   "-6,0": 4,
   "-7,1": 1,
   "-7,0": 1
  },
  "(1,2,0)": {
   "2,0": 4,
   "3,0": 2,
   "1,1": 5,
   "2,1": 4,
   "3,1": 1,
   "0,0": 7,
   "1,0": 7,
   "0,1": 7,
   "-1,1": 5,
   "-1,0": 7,
   "-2,0": 4,
   "-2,1": 4,
   "-3,0": 2,
   "-3,1": 1
  },
  "(1,2,1)": {
   "3,1": 6,
   "4,1": 2,
   "2,0": 11,
   "3,0": 6,
   "4,0": 1,
   "1,1": 16,
   "2,1": 12,
   "0,0": 17,
   "1,0": 16,
   "-1,1": 16,
   "0,1": 18,
   "-1,0": 16,
   "-2,0": 11,
   "-2,1": 12,
   "-3,1": 6,
   "-3,0": 6,
   "-4,1": 2,
   "-4,0": 1
  },
  "(1,2,2)": {
   "4,0": 6,
   "5,0": 2,
   "3,1": 13,
   "4,1": 6,
   "5,1": 1,
   "2,0": 23,
   "3,0": 15,
   "1,1": 28,
   "2,1": 23,
   "0,0": 32,
   "1,0": 31,
   "-1,1": 28,
   "0,1": 32,
   "-2,0": 23,
   "-1,0": 31,
   "-2,1": 23,
   "-3,1": 13,
   "-3,0": 15,
   "-4,0": 6,
   "-4,1": 6,
   "-5,0": 2,
   "-5,1": 1
  },
  "(1,2,3)": {
   "5,1": 6,
   "6,1": 2,
   "4,0": 13,
   "5,0": 6,
   "6,0": 1,
   "3,1": 26,
   "4,1": 15,
   "2,0": 37,
   "3,0": 26,
   "1,1": 47,
   "2,1": 39,
   "0,0": 49,
   "1,0": 47,
   "-1,1": 47,
   "0,1": 51,
   "-2,0": 37,
   "-1,0": 47,
   "-3,1": 26,
   "-2,1": 39,
   "-3,0": 26,
   "-4,0": 13,
   "-4,1": 15,
   "-5,1": 6,
   "-5,0": 6,
   "-6,1": 2,
   "-6,0": 1
  },
  "(1,2,4)": {
   "6,0": 6,
   "7,0": 2,
   "5,1": 13,
   "6,1": 6,
   "7,1": 1,
   "4,0": 26,
   "5,0": 15,
   "3,1": 40,
   "4,1": 26,
   "2,0": 57,
   "3,0": 43,
   "1,1": 66,
   "2,1": 57,
   "0,0": 72,
   "1,0": 70,
   "-1,1": 66,
   "0,1": 72,
   "-2,0": 57,
   "-1,0": 70,
   "-3,1": 40,
   "-2,1": 57,
   "-4,0": 26,
   "-3,0": 43,
   "-4,1": 26,
   "-5,1": 13,
   "-5,0": 15,
   "-6,0": 6,
   "-6,1": 6,
   "-7,0": 2,
   "-7,1": 1
  },
  "(1,3,0)": {
   "3,0": 6,
   "4,0": 2,
   "2,1": 9,
   "3,1": 5,
   "4,1": 2,
   "1,0": 13,
   "2,0": 9,
   "0,1": 13,
   "1,1": 11,
   "0,0": 13,
   "-1,0": 13,
   "-1,1": 11,
   "-2,1": 9,
   "-2,0": 9,
   "-3,0": 6,
   "-3,1": 5,
   "-4,0": 2,
   "-4,1": 2
  },
  "(1,3,1)": {
   "4,1": 8,
   "5,1": 2,
   "3,0": 16,
   "4,0": 8,
   "5,0": 2,
   "2,1": 24,
   "3,1": 16,
   "1,0": 30,
   "2,0": 24,
   "0,1": 32,
   "1,1": 30,
   "-1,0": 30,
   "0,0": 32,
   "-1,1": 30,
   "-2,1": 24,
   "-2,0": 24,
   "-3,0": 16,
   "-3,1": 16,
   "-4,1": 8,
   "-4,0": 8,
   "-5,1": 2,
   "-5,0": 2
  },
  "(1,3,2)": {
   "5,0": 8,
   "6,0": 2,
   "4,1": 19,
   "5,1": 8,
   "6,1": 2,
   "3,0": 33,
   "4,0": 19,
   "2,1": 45,
   "3,1": 32,
   "1,0": 55,
   "2,0": 45,
   "0,1": 57,
   "1,1": 53,
   "-1,0": 55,
   "0,0": 57,
   "-2,1": 45,
   "-1,1": 53,
   "-2,0": 45,
   "-3,0": 33,
   "-3,1": 32,
   "-4,1": 19,
   "-4,0": 19,
   "-5,0": 8,
   "-5,1": 8,
   "-6,0": 2,
   "-6,1": 2
  },
  "(1,3,3)": {
   "6,1": 8,
   "7,1": 2,
   "5,0": 19,
   "6,0": 8,
   "7,0": 2,
   "4,1": 36,
   "5,1": 19,
   "3,0": 55,
   "4,0": 36,
   "2,1": 72,
   "3,1": 55,
   "1,0": 84,
   "2,0": 72,
   "0,1": 88,
   "1,1": 84,
   "-1,0": 84,
   "0,0": 88,
   "-2,1": 72,
   "-1,1": 84,
   "-3,0": 55,
   "-2,0": 72,
   "-3,1": 55,
   "-4,1": 36,
   "-4,0": 36,
   "-5,0": 19,
   "-5,1": 19,
   "-6,1": 8,
   "-6,0": 8,
   "-7,1": 2,
   "-7,0": 2
  },
  "(1,4,0)": {
   "4,0": 7,
   "5,0": 3,
   "3,1": 11,
   "4,1": 7,
   "5,1": 2,
   "2,0": 17,
   "3,0": 13,
   "1,1": 19,
   "2,1": 17,
   "0,0": 22,
   "1,0": 22,
   "0,1": 22,
   "-1,1": 19,
   "-1,0": 22,
   "-2,0": 17,
   "-2,1": 17,
   "-3,1": 11,
   "-3,0": 13,
   "-4,0": 7,
   "-4,1": 7,
   "-5,0": 3,
   "-5,1": 2
  },
  "(1,4,1)": {
   "5,1": 10,
   "6,1": 3,
   "4,0": 20,
   "5,0": 10,
   "6,0": 2,
   "3,1": 32,
   "4,1": 21,
   "2,0": 42,
   "3,0": 32,
   "1,1": 50,
   "2,1": 43,
   "0,0": 52,
   "1,0": 50,
   "-1,1": 50,
   "0,1": 53,
   "-1,0": 50,
   "-2,0": 42,
   "-2,1": 43,
   "-3,1": 32,
   "-3,0": 32,
   "-4,0": 20,
   "-4,1": 21,
   "-5,1": 10,
   "-5,0": 10,
   "-6,1": 3,
   "-6,0": 2
  },
  "(1,4,2)": {
   "6,0": 10,
   "7,0": 3,
   "5,1": 23,
   "6,1": 10,
   "7,1": 2,
   "4,0": 42,
   "5,0": 25,
   "3,1": 59,
   "4,1": 42,
   "2,0": 77,
   "3,0": 62,
   "1,1": 86,
   "2,1": 77,
   "0,0": 92,
   "1,0": 90,
   "-1,1": 86,
   "0,1": 92,
   "-2,0": 77,
   "-1,0": 90,
   "-2,1": 77,
   "-3,1": 59,
   "-3,0": 62,
   "-4,0": 42,
   "-4,1": 42,
   "-5,1": 23,
   "-5,0": 25,
   "-6,0": 10,
   "-6,1": 10,
   "-7,0": 3,
   "-7,1": 2
  },
  "(1,5,0)": {
   "5,0": 9,
   "6,0": 3,
   "4,1": 15,
   "5,1": 8,
   "6,1": 3,
   "3,0": 23,
   "4,0": 15,
   "2,1": 28,
   "3,1": 21,
   "1,0": 34,
   "2,0": 28,
   "0,1": 34,
   "1,1": 31,
   "0,0": 34,
   "-1,0": 34,
   "-1,1": 31,
   "-2,1": 28,
   "-2,0": 28,
   "-3,0": 23,
   "-3,1": 21,
   "-4,1": 15,
   "-4,0": 15,
   "-5,0": 9,
   "-5,1": 8,
   "-6,0": 3,
   "-6,1": 3
  },
  "(1,5,1)": {
   "6,1": 12,
   "7,1": 3,
   "5,0": 25,
   "6,0": 12,
   "7,0": 3,
   "4,1": 40,
   "5,1": 25,
   "3,0": 55,
   "4,0": 40,
   "2,1": 68,
   "3,1": 55,
   "1,0": 77,
   "2,0": 68,
   "0,1": 80,
   "1,1": 77,
   "-1,0": 77,
   "0,0": 80,
   "-1,1": 77,
   "-2,1": 68,
   "-2,0": 68,
   "-3,0": 55,
   "-3,1": 55,
   "-4,1": 40,
   "-4,0": 40,
   "-5,0": 25,
   "-5,1": 25,
   "-6,1": 12,
   "-6,0": 12,
   "-7,1": 3,
   "-7,0": 3
  },
  "(1,6,0)": {
   "6,0": 10,
   "7,0": 4,
   "5,1": 17,
   "6,1": 10,
   "7,1": 3,
   "4,0": 27,
   "5,0": 19,
   "3,1": 34,
   "4,1": 27,
   "2,0": 43,
   "3,0": 37,
   "1,1": 46,
   "2,1": 43,
   "0,0": 50,
   "1,0": 50,
   "0,1": 50,
   "-1,1": 46,
   "-1,0": 50,
   "-2,0": 43,
   "-2,1": 43,
   "-3,1": 34,
   "-3,0": 37,
   "-4,0": 27,
   "-4,1": 27,
   "-5,1": 17,
   "-5,0": 19,
   "-6,0": 10,
   "-6,1": 10,
   "-7,0": 4,
   "-7,1": 3
  },
  "(2,0,0)": {
   "0,0": 3,
   "1,0": 1,
   "2,0": 1,
   "0,1": 1,
   "1,1": 1,
   "-1,0": 1,
   "-1,1": 1,
   "-2,0": 1
  },
  "(2,0,1)": {
   "1,1": 5,
   "2,1": 2,
   "3,1": 1,
   "0,0": 5,
   "1,0": 3,
   "2,0": 2,
   "-1,1": 5,
   "0,1": 5,
   "-1,0": 3,
   "-2,1": 2,
   "-2,0": 2,
   "-3,1": 1
  },
  "(2,0,2)": {
   "2,0": 7,
   "3,0": 2,
   "4,0": 1,
   "1,1": 8,
   "2,1": 4,
   "3,1": 2,
   "0,0": 12,
   "1,0": 8,
   "-1,1": 8,
   "0,1": 8,
   "-2,0": 7,
   "-1,0": 8,
   "-2,1": 4,
   "-3,0": 2,
   "-3,1": 2,
   "-4,0": 1
  },
  "(2,0,3)": {
   "3,1": 7,
   "4,1": 2,
   "5,1": 1,
   "2,0": 10,
   "3,0": 4,
   "4,0": 2,
   "1,1": 16,
   "2,1": 10,
   "0,0": 16,
   "1,0": 12,
   "-1,1": 16,
   "0,1": 16,
   "-2,0": 10,
   "-1,0": 12,
   "-3,1": 7,
   "-2,1": 10,
   "-3,0": 4,
   "-4,1": 2,
   "-4,0": 2,
   "-5,1": 1
  },
  "(2,0,4)": {
   "4,0": 7,
   "5,0": 2,
   "6,0": 1,
   "3,1": 10,
   "4,1": 4,
   "5,1": 2,
   "2,0": 19,
   "3,0": 10,
   "1,1": 21,
   "2,1": 14,
   "0,0": 27,
   "1,0": 21,
   "-1,1": 21,
   "0,1": 21,
   "-2,0": 19,
   "-1,0": 21,
   "-3,1": 10,
   "-2,1": 14,
   "-4,0": 7,
   "-3,0": 10,
   "-4,1": 4,
   "-5,0": 2,
   "-5,1": 2,
   "-6,0": 1
  },
  "(2,0,5)": {
   "5,1": 7,
   "6,1": 2,
   "7,1": 1,
   "4,0": 10,
   "5,0": 4,
   "6,0": 2,
   "3,1": 19,
   "4,1": 10,
   "2,0": 24,
   "3,0": 14,
   "1,1": 33,
   "2,1": 24,
   "0,0": 33,
   "1,0": 27,
   "-1,1": 33,
   "0,1": 33,
   "-2,0": 24,
   "-1,0": 27,
   "-3,1": 19,
   "-2,1": 24,
   "-4,0": 10,
   "-3,0": 14,
   "-5,1": 7,
   "-4,1": 10,
   "-5,0": 4,
   "-6,1": 2,
   "-6,0": 2,
   "-7,1": 1
  },
  "(2,1,0)": {
   "1,0": 5,
   "2,0": 3,
   "3,0": 1,
   "0,1": 5,
   "1,1": 5,
   "2,1": 2,
   "3,1": 1,
   "0,0": 6,
   "-1,0": 5,
   "-1,1": 5,
   "-2,0": 3,
   "-2,1": 2,
   "-3,0": 1,
   "-3,1": 1
  },
  "(2,1,1)": {
   "2,1": 9,
   "3,1": 4,
   "4,1": 1,
   "1,0": 14,
   "2,0": 9,
   "3,0": 4,
   "4,0": 1,
   "0,1": 15,
   "1,1": 13,
   "-1,0": 14,
   "0,0": 15,
   "-1,1": 13,
   "-2,1": 9,
   "-2,0": 9,
   "-3,1": 4,
   "-3,0": 4,
   "-4,1": 1,
   "-4,0": 1
  },
  "(2,1,2)": {
   "3,0": 11,
   "4,0": 4,
   "5,0": 1,
   "2,1": 19,
   "3,1": 11,
   "4,1": 4,
   "5,1": 1,
   "1,0": 26,
   "2,0": 19,
   "0,1": 28,
   "1,1": 26,
   "-1,0": 26,
   "0,0": 28,
   "-2,1": 19,
   "-1,1": 26,
   "-2,0": 19,
   "-3,0": 11,
   "-3,1": 11,
   "-4,0": 4,
   "-4,1": 4,
   "-5,0": 1,
   "-5,1": 1
  },
  "(2,1,3)": {
   "4,1": 11,
   "5,1": 4,
   "6,1": 1,
   "3,0": 22,
   "4,0": 11,
   "5,0": 4,
   "6,0": 1,
   "2,1": 33,
   "3,1": 21,
   "1,0": 43,
   "2,0": 33,
   "0,1": 45,
   "1,1": 41,
   "-1,0": 43,
   "0,0": 45,
   "-2,1": 33,
   "-1,1": 41,
   "-3,0": 22,
   "-2,0": 33,
   "-3,1": 21,
   "-4,1": 11,
   "-4,0": 11,
   "-5,1": 4,
   "-5,0": 4,
   "-6,1": 1,
   "-6,0": 1
  },
  "(2,1,4)": {
   "5,0": 11,
   "6,0": 4,
   "7,0": 1,
   "4,1": 22,
   "5,1": 11,
   "6,1": 4,
   "7,1": 1,
   "3,0": 36,
   "4,0": 21,
   "2,1": 51,
   "3,1": 36,
   "1,0": 62,
   "2,0": 50,
   "0,1": 66,
   "1,1": 62,
   "-1,0": 62,
   "0,0": 65,
   "-2,1": 51,
   "-1,1": 62,
   "-3,0": 36,
   "-2,0": 50,
   "-4,1": 22,
   "-3,1": 36,
   "-4,0": 21,
   "-5,0": 11,
   "-5,1": 11,
   "-6,0": 4,
   "-6,1": 4,
   "-7,0": 1,
   "-7,1": 1
  },
  "(2,2,0)": {
   "2,0": 10,
   "3,0": 4,
   "4,0": 2,
   "1,1": 11,
   "2,1": 7,
   "3,1": 4,
   "4,1": 1,
   "0,0": 15,
   "1,0": 11,
   "0,1": 11,
   "-1,1": 11,
   "-1,0": 11,
   "-2,0": 10,
   "-2,1": 7,
   "-3,0": 4,
   "-3,1": 4,
   "-4,0": 2,
   "-4,1": 1
  },
  "(2,2,1)": {
   "3,1": 15,
   "4,1": 6,
   "5,1": 2,
   "2,0": 23,
   "3,0": 13,
   "4,0": 6,
   "5,0": 1,
   "1,1": 31,
   "2,1": 23,
   "0,0": 32,
   "1,0": 28,
   "-1,1": 31,
   "0,1": 32,
   "-1,0": 28,
   "-2,0": 23,
   "-2,1": 23,
   "-3,1": 15,
   "-3,0": 13,
   "-4,1": 6,
   "-4,0": 6,
   "-5,1": 2,
   "-5,0": 1
  },
  "(2,2,2)": {
   "4,0": 18,
   "5,0": 6,
   "6,0": 2,
   "3,1": 30,
   "4,1": 15,
   "5,1": 6,
   "6,1": 1,
   "2,0": 48,
   "3,0": 30,
   "1,1": 54,
   "2,1": 42,
   "0,0": 62,
   "1,0": 54,
   "-1,1": 54,
   "0,1": 55,
   "-2,0": 48,
   "-1,0": 54,
   "-2,1": 42,
   "-3,1": 30,
   "-3,0": 30,
   "-4,0": 18,
   "-4,1": 15,
   "-5,0": 6,
   "-5,1": 6,
   "-6,0": 2,
   "-6,1": 1
  },
  "(2,2,3)": {
   "5,1": 18,
   "6,1": 6,
   "7,1": 2,
   "4,0": 33,
   "5,0": 15,
   "6,0": 6,
   "7,0": 1,
   "3,1": 56,
   "4,1": 33,
   "2,0": 73,
   "3,0": 51,
   "1,1": 89,
   "2,1": 73,
   "0,0": 91,
   "1,0": 83,
   "-1,1": 89,
   "0,1": 91,
   "-2,0": 73,
   "-1,0": 83,
   "-3,1": 56,
   "-2,1": 73,
   "-3,0": 51,
   "-4,0": 33,
   "-4,1": 33,
   "-5,1": 18,
   "-5,0": 15,
   "-6,1": 6,
   "-6,0": 6,
   "-7,1": 2,
   "-7,0": 1
  },
  "(2,3,0)": {
   "3,0": 12,
   "4,0": 6,
   "5,0": 2,
   "2,1": 16,
   "3,1": 12,
   "4,1": 5,
   "5,1": 2,
   "1,0": 22,
   "2,0": 18,
   "0,1": 22,
   "1,1": 22,
   "0,0": 24,
   "-1,0": 22,
   "-1,1": 22,
   "-2,1": 16,
   "-2,0": 18,
   "-3,0": 12,
   "-3,1": 12,
   "-4,0": 6,
   "-4,1": 5,
   "-5,0": 2,
   "-5,1": 2
  },
  "(2,3,1)": {
   "4,1": 19,
   "5,1": 8,
   "6,1": 2,
   "3,0": 33,
   "4,0": 19,
   "5,0": 8,
   "6,0": 2,
   "2,1": 45,
   "3,1": 32,
   "1,0": 55,
   "2,0": 45,
   "0,1": 57,
   "1,1": 53,
   "-1,0": 55,
   "0,0": 57,
   "-1,1": 53,
   "-2,1": 45,
   "-2,0": 45,
   "-3,0": 33,
   "-3,1": 32,
   "-4,1": 19,
   "-4,0": 19,
   "-5,1": 8,
   "-5,0": 8,
   "-6,1": 2,
   "-6,0": 2
  },
  "(2,3,2)": {
   "5,0": 22,
   "6,0": 8,
   "7,0": 2,
   "4,1": 41,
   "5,1": 22,
   "6,1": 8,
   "7,1": 2,
   "3,0": 64,
   "4,0": 41,
   "2,1": 83,
   "3,1": 64,
   "1,0": 97,
   "2,0": 83,
   "0,1": 101,
   "1,1": 97,
   "-1,0": 97,
   "0,0": 101,
   "-2,1": 83,
   "-1,1": 97,
   "-2,0": 83,
   "-3,0": 64,
   "-3,1": 64,
   "-4,1": 41,
   "-4,0": 41,
   "-5,0": 22,
   "-5,1": 22,
   "-6,0": 8,
   "-6,1": 8,
   "-7,0": 2,
   "-7,1": 2
  },
  "(2,4,0)": {
   "4,0": 17,
   "5,0": 7,
   "6,0": 3,
   "3,1": 23,
   "4,1": 14,
   "5,1": 7,
   "6,1": 2,
   "2,0": 34,
   "3,0": 23,
   "1,1": 36,
   "2,1": 29,
   "0,0": 42,
   "1,0": 36,
   "0,1": 36,
   "-1,1": 36,
   "-1,0": 36,
   "-2,0": 34,
   "-2,1": 29,
   "-3,1": 23,
   "-3,0": 23,
   "-4,0": 17,
   "-4,1": 14,
   "-5,0": 7,
   "-5,1": 7,
   "-6,0": 3,
   "-6,1": 2
  },
  "(2,4,1)": {
   "5,1": 25,
   "6,1": 10,
   "7,1": 3,
   "4,0": 42,
   "5,0": 23,
   "6,0": 10,
   "7,0": 2,
   "3,1": 62,
   "4,1": 42,
   "2,0": 77,
   "3,0": 59,
   "1,1": 90,
   "2,1": 77,
   "0,0": 92,
   "1,0": 86,
   "-1,1": 90,
   "0,1": 92,
   "-1,0": 86,
   "-2,0": 77,
   "-2,1": 77,
   "-3,1": 62,
   "-3,0": 59,
   "-4,0": 42,
   "-4,1": 42,
   "-5,1": 25,
   "-5,0": 23,
   "-6,1": 10,
   "-6,0": 10,
   "-7,1": 3,
   "-7,0": 2
  },
  "(2,5,0)": {
   "5,0": 19,
   "6,0": 9,
   "7,0": 3,
   "4,1": 28,
   "5,1": 19,
   "6,1": 8,
   "7,1": 3,
   "3,0": 41,
   "4,0": 30,
   "2,1": 48,
   "3,1": 41,
   "1,0": 57,
   "2,0": 51,
   "0,1": 57,
   "1,1": 57,
   "0,0": 60,
   "-1,0": 57,
   "-1,1": 57,
   "-2,1": 48,
   "-2,0": 51,
   "-3,0": 41,
   "-3,1": 41,
   "-4,1": 28,
   "-4,0": 30,
   "-5,0": 19,
   "-5,1": 19,
   "-6,0": 9,
   "-6,1": 8,
   "-7,0": 3,
   "-7,1": 3
  },
  "(3,0,0)": {
   "0,0": 3,
   "1,0": 3,
   "2,0": 1,
   "3,0": 1,
   "0,1": 3,
   "1,1": 1,
   "2,1": 1,
   "-1,0": 3,
   "-1,1": 1,
   "-2,0": 1,
   "-2,1": 1,
   "-3,0": 1
  },
  "(3,0,1)": {
   "1,1": 7,
   "2,1": 5,
   "3,1": 2,
   "4,1": 1,
   "0,0": 7,
   "1,0": 7,
   "2,0": 3,
   "3,0": 2,
   "-1,1": 7,
   "0,1": 9,
   "-1,0": 7,
   "-2,1": 5,
   "-2,0": 3,
   "-3,1": 2,
   "-3,0": 2,
   "-4,1": 1
  },
  "(3,0,2)": {
   "2,0": 10,
   "3,0": 7,
   "4,0": 2,
   "5,0": 1,
   "1,1": 12,
   "2,1": 10,
   "3,1": 4,
   "4,1": 2,
   "0,0": 16,
   "1,0": 16,
   "-1,1": 12,
   "0,1": 16,
   "-2,0": 10,
   "-1,0": 16,
   "-2,1": 10,
   "-3,0": 7,
   "-3,1": 4,
   "-4,0": 2,
   "-4,1": 2,
   "-5,0": 1
  },
  "(3,0,3)": {
   "3,1": 12,
   "4,1": 7,
   "5,1": 2,
   "6,1": 1,
   "2,0": 16,
   "3,0": 12,
   "4,0": 4,
   "5,0": 2,
   "1,1": 24,
   "2,1": 20,
   "0,0": 24,
   "1,0": 24,
   "-1,1": 24,
   "0,1": 28,
   "-2,0": 16,
   "-1,0": 24,
   "-3,1": 12,
   "-2,1": 20,
   "-3,0": 12,
   "-4,1": 7,
   "-4,0": 4,
   "-5,1": 2,
   "-5,0": 2,
   "-6,1": 1
  },
  "(3,0,4)": {
   "4,0": 12,
   "5,0": 7,
   "6,0": 2,
   "7,0": 1,
   "3,1": 18,
   "4,1": 12,
   "5,1": 4,
   "6,1": 2,
   "2,0": 29,
   "3,0": 23,
   "1,1": 33,
   "2,1": 29,
   "0,0": 39,
   "1,0": 39,
   "-1,1": 33,
   "0,1": 39,
   "-2,0": 29,
   "-1,0": 39,
   "-3,1": 18,
   "-2,1": 29,
   "-4,0": 12,
   "-3,0": 23,
   "-4,1": 12,
   "-5,0": 7,
   "-5,1": 4,
   "-6,0": 2,
   "-6,1": 2,
   "-7,0": 1
  },
  "(3,1,0)": {
   "1,0": 9,
   "2,0": 5,
   "3,0": 3,
   "4,0": 1,
   "0,1": 9,
   "1,1": 7,
   "2,1": 5,
   "3,1": 2,
   "4,1": 1,
   "0,0": 9,
   "-1,0": 9,
   "-1,1": 7,
   "-2,0": 5,
   "-2,1": 5,
   "-3,0": 3,
   "-3,1": 2,
   "-4,0": 1,
   "-4,1": 1
  },
  "(3,1,1)": {
   "2,1": 16,
   "3,1": 9,
   "4,1": 4,
   "5,1": 1,
   "1,0": 22,
   "2,0": 16,
   "3,0": 9,
   "4,0": 4,
   "5,0": 1,
   "0,1": 24,
   "1,1": 22,
   "-1,0": 22,
   "0,0": 24,
   "-1,1": 22,
   "-2,1": 16,
   "-2,0": 16,
   "-3,1": 9,
   "-3,0": 9,
   "-4,1": 4,
   "-4,0": 4,
   "-5,1": 1,
   "-5,0": 1
  },
  "(3,1,2)": {
   "3,0": 22,
   "4,0": 11,
   "5,0": 4,
   "6,0": 1,
   "2,1": 33,
   "3,1": 21,
   "4,1": 11,
   "5,1": 4,
   "6,1": 1,
   "1,0": 43,
   "2,0": 33,
   "0,1": 45,
   "1,1": 41,
   "-1,0": 43,
   "0,0": 45,
   "-2,1": 33,
   "-1,1": 41,
   "-2,0": 33,
   "-3,0": 22,
   "-3,1": 21,
   "-4,0": 11,
   "-4,1": 11,
   "-5,0": 4,
   "-5,1": 4,
   "-6,0": 1,
   "-6,1": 1
  },
  "(3,1,3)": {
   "4,1": 24,
   "5,1": 11,
   "6,1": 4,
   "7,1": 1,
   "3,0": 40,
   "4,0": 24,
   "5,0": 11,
   "6,0": 4,
   "7,0": 1,
   "2,1": 56,
   "3,1": 40,
   "1,0": 68,
   "2,0": 56,
   "0,1": 72,
   "1,1": 68,
   "-1,0": 68,
   "0,0": 72,
   "-2,1": 56,
   "-1,1": 68,
   "-3,0": 40,
   "-2,0": 56,
   "-3,1": 40,
   "-4,1": 24,
   "-4,0": 24,
   "-5,1": 11,
   "-5,0": 11,
   "-6,1": 4,
   "-6,0": 4,
   "-7,1": 1,
   "-7,0": 1
  },
  "(3,2,0)": {
   "2,0": 14,
   "3,0": 10,
   "4,0": 4,
   "5,0": 2,
   "1,1": 16,
   "2,1": 14,
   "3,1": 7,
   "4,1": 4,
   "5,1": 1,
   "0,0": 20,
   "1,0": 20,
   "0,1": 20,
   "-1,1": 16,
   "-1,0": 20,
   "-2,0": 14,
   "-2,1": 14,
   "-3,0": 10,
   "-3,1": 7,
   "-4,0": 4,
   "-4,1": 4,
   "-5,0": 2,
   "-5,1": 1
  },
  "(3,2,1)": {
   "3,1": 26,
   "4,1": 15,
   "5,1": 6,
   "6,1": 2,
   "2,0": 37,
   "3,0": 26,
   "4,0": 13,
   "5,0": 6,
   "6,0": 1,
   "1,1": 47,
   "2,1": 39,
   "0,0": 49,
   "1,0": 47,
   "-1,1": 47,
   "0,1": 51,
   "-1,0": 47,
   "-2,0": 37,
   "-2,1": 39,
   "-3,1": 26,
   "-3,0": 26,
   "-4,1": 15,
   "-4,0": 13,
   "-5,1": 6,
   "-5,0": 6,
   "-6,1": 2,
   "-6,0": 1
  },
  "(3,2,2)": {
   "4,0": 33,
   "5,0": 18,
   "6,0": 6,
   "7,0": 2,
   "3,1": 51,
   "4,1": 33,
   "5,1": 15,
   "6,1": 6,
   "7,1": 1,
   "2,0": 73,
   "3,0": 56,
   "1,1": 83,
   "2,1": 73,
   "0,0": 91,
   "1,0": 89,
   "-1,1": 83,
   "0,1": 91,
   "-2,0": 73,
   "-1,0": 89,
   "-2,1": 73,
   "-3,1": 51,
   "-3,0": 56,
   "-4,0": 33,
   "-4,1": 33,
   "-5,0": 18,
   "-5,1": 15,
   "-6,0": 6,
   "-6,1": 6,
   "-7,0": 2,
   "-7,1": 1
  },
  "(3,3,0)": {
   "3,0": 22,
   "4,0": 12,
   "5,0": 6,
   "6,0": 2,
   "2,1": 28,
   "3,1": 19,
   "4,1": 12,
   "5,1": 5,
   "6,1": 2,
   "1,0": 36,
   "2,0": 28,
   "0,1": 36,
   "1,1": 32,
   "0,0": 36,
   "-1,0": 36,
   "-1,1": 32,
   "-2,1": 28,
   "-2,0": 28,
   "-3,0": 22,
   "-3,1": 19,
   "-4,0": 12,
   "-4,1": 12,
   "-5,0": 6,
   "-5,1": 5,
   "-6,0": 2,
   "-6,1": 2
  },
  "(3,3,1)": {
   "4,1": 36,
   "5,1": 19,
   "6,1": 8,
   "7,1": 2,
   "3,0": 55,
   "4,0": 36,
   "5,0": 19,
   "6,0": 8,
   "7,0": 2,
   "2,1": 72,
   "3,1": 55,
   "1,0": 84,
   "2,0": 72,
   "0,1": 88,
   "1,1": 84,
   "-1,0": 84,
   "0,0": 88,
   "-1,1": 84,
   "-2,1": 72,
   "-2,0": 72,
   "-3,0": 55,
   "-3,1": 55,
   "-4,1": 36,
   "-4,0": 36,
   "-5,1": 19,
   "-5,0": 19,
   "-6,1": 8,
   "-6,0": 8,
   "-7,1": 2,
   "-7,0": 2
  },
  "(3,4,0)": {
   "4,0": 27,
   "5,0": 17,
   "6,0": 7,
   "7,0": 3,
   "3,1": 36,
   "4,1": 27,
   "5,1": 14,
   "6,1": 7,
   "7,1": 2,
   "2,0": 49,
   "3,0": 41,
   "1,1": 53,
   "2,1": 49,
   "0,0": 59,
   "1,0": 59,
   "0,1": 59,
   "-1,1": 53,
   "-1,0": 59,
   "-2,0": 49,
   "-2,1": 49,
   "-3,1": 36,
   "-3,0": 41,
   "-4,0": 27,
   "-4,1": 27,
   "-5,0": 17,
   "-5,1": 14,
   "-6,0": 7,
   "-6,1": 7,
   "-7,0": 3,
   "-7,1": 2
  },
  "(4,0,0)": {
   "0,0": 6,
   "1,0": 3,
   "2,0": 3,
   "3,0": 1,
   "4,0": 1,
   "0,1": 3,
   "1,1": 3,
   "2,1": 1,
   "3,1": 1,
   "-1,0": 3,
   "-1,1": 3,
   "-2,0": 3,
   "-2,1": 1,
   "-3,0": 1,
   "-3,1": 1,
   "-4,0": 1
  },
  "(4,0,1)": {
   "1,1": 12,
   "2,1": 7,
   "3,1": 5,
   "4,1": 2,
   "5,1": 1,
   "0,0": 12,
   "1,0": 9,
   "2,0": 7,
   "3,0": 3,
   "4,0": 2,
   "-1,1": 12,
   "0,1": 12,
   "-1,0": 9,
   "-2,1": 7,
   "-2,0": 7,
   "-3,1": 5,
   "-3,0": 3,
   "-4,1": 2,
   "-4,0": 2,
   "-5,1": 1
  },
  "(4,0,2)": {
   "2,0": 19,
   "3,0": 10,
   "4,0": 7,
   "5,0": 2,
   "6,0": 1,
   "1,1": 21,
   "2,1": 14,
   "3,1": 10,
   "4,1": 4,
   "5,1": 2,
   "0,0": 27,
   "1,0": 21,
   "-1,1": 21,
   "0,1": 21,
   "-2,0": 19,
   "-1,0": 21,
   "-2,1": 14,
   "-3,0": 10,
   "-3,1": 10,
   "-4,0": 7,
   "-4,1": 4,
   "-5,0": 2,
   "-5,1": 2,
   "-6,0": 1
  },
  "(4,0,3)": {
   "3,1": 23,
   "4,1": 12,
   "5,1": 7,
   "6,1": 2,
   "7,1": 1,
   "2,0": 29,
   "3,0": 18,
   "4,0": 12,
   "5,0": 4,
   "6,0": 2,
   "1,1": 39,
   "2,1": 29,
   "0,0": 39,
   "1,0": 33,
   "-1,1": 39,
   "0,1": 39,
   "-2,0": 29,
   "-1,0": 33,
   "-3,1": 23,
   "-2,1": 29,
   "-3,0": 18,
   "-4,1": 12,
   "-4,0": 12,
   "-5,1": 7,
   "-5,0": 4,
   "-6,1": 2,
   "-6,0": 2,
   "-7,1": 1
  },
  "(4,1,0)": {
   "1,0": 12,
   "2,0": 9,
   "3,0": 5,
   "4,0": 3,
   "5,0": 1,
   "0,1": 12,
   "1,1": 12,
   "2,1": 7,
   "3,1": 5,
   "4,1": 2,
   "5,1": 1,
   "0,0": 14,
   "-1,0": 12,
   "-1,1": 12,
   "-2,0": 9,
   "-2,1": 7,
   "-3,0": 5,
   "-3,1": 5,
   "-4,0": 3,
   "-4,1": 2,
   "-5,0": 1,
   "-5,1": 1
  },
  "(4,1,1)": {
   "2,1": 25,
   "3,1": 16,
   "4,1": 9,
   "5,1": 4,
   "6,1": 1,
   "1,0": 33,
   "2,0": 25,
   "3,0": 16,
   "4,0": 9,
   "5,0": 4,
   "6,0": 1,
   "0,1": 35,
   "1,1": 32,
   "-1,0": 33,
   "0,0": 35,
   "-1,1": 32,
   "-2,1": 25,
   "-2,0": 25,
   "-3,1": 16,
   "-3,0": 16,
   "-4,1": 9,
   "-4,0": 9,
   "-5,1": 4,
   "-5,0": 4,
   "-6,1": 1,
   "-6,0": 1
  },
  "(4,1,2)": {
   "3,0": 36,
   "4,0": 22,
   "5,0": 11,
   "6,0": 4,
   "7,0": 1,
   "2,1": 50,
   "3,1": 36,
   "4,1": 21,
   "5,1": 11,
   "6,1": 4,
   "7,1": 1,
   "1,0": 62,
   "2,0": 51,
   "0,1": 65,
   "1,1": 62,
   "-1,0": 62,
   "0,0": 66,
   "-2,1": 50,
   "-1,1": 62,
   "-2,0": 51,
   "-3,0": 36,
   "-3,1": 36,
   "-4,0": 22,
   "-4,1": 21,
   "-5,0": 11,
   "-5,1": 11,
   "-6,0": 4,
   "-6,1": 4,
   "-7,0": 1,
   "-7,1": 1
  },
  "(4,2,0)": {
   "2,0": 24,
   "3,0": 14,
   "4,0": 10,
   "5,0": 4,
   "6,0": 2,
   "1,1": 26,
   "2,1": 19,
   "3,1": 14,
   "4,1": 7,
   "5,1": 4,
   "6,1": 1,
   "0,0": 32,
   "1,0": 26,
   "0,1": 26,
   "-1,1": 26,
   "-1,0": 26,
   "-2,0": 24,
   "-2,1": 19,
   "-3,0": 14,
   "-3,1": 14,
   "-4,0": 10,
   "-4,1": 7,
   "-5,0": 4,
   "-5,1": 4,
   "-6,0": 2,
   "-6,1": 1
  },
  "(4,2,1)": {
   "3,1": 43,
   "4,1": 26,
   "5,1": 15,
   "6,1": 6,
   "7,1": 2,
   "2,0": 57,
   "3,0": 40,
   "4,0": 26,
   "5,0": 13,
   "6,0": 6,
   "7,0": 1,
   "1,1": 70,
   "2,1": 57,
   "0,0": 72,
   "1,0": 66,
   "-1,1": 70,
   "0,1": 72,
   "-1,0": 66,
   "-2,0": 57,
   "-2,1": 57,
   "-3,1": 43,
   "-3,0": 40,
   "-4,1": 26,
   "-4,0": 26,
   "-5,1": 15,
   "-5,0": 13,
   "-6,1": 6,
   "-6,0": 6,
   "-7,1": 2,
   "-7,0": 1
  },
  "(4,3,0)": {
   "3,0": 32,
   "4,0": 22,
   "5,0": 12,
   "6,0": 6,
   "7,0": 2,
   "2,1": 39,
   "3,1": 32,
   "4,1": 19,
   "5,1": 12,
   "6,1": 5,
   "7,1": 2,
   "1,0": 49,
   "2,0": 43,
   "0,1": 49,
   "1,1": 49,
   "0,0": 53,
   "-1,0": 49,
   "-1,1": 49,
   "-2,1": 39,
   "-2,0": 43,
   "-3,0": 32,
   "-3,1": 32,
   "-4,0": 22,
   "-4,1": 19,
   "-5,0": 12,
   "-5,1": 12,
   "-6,0": 6,
   "-6,1": 5,
   "-7,0": 2,
   "-7,1": 2
  },
  "(5,0,0)": {
   "0,0": 6,
   "1,0": 6,
   "2,0": 3,
   "3,0": 3,
   "4,0": 1,
   "5,0": 1,
   "0,1": 6,
   "1,1": 3,
   "2,1": 3,
   "3,1": 1,
   "4,1": 1,
   "-1,0": 6,
   "-1,1": 3,
   "-2,0": 3,
   "-2,1": 3,
   "-3,0": 3,
   "-3,1": 1,
   "-4,0": 1,
   "-4,1": 1,
   "-5,0": 1
  },
  "(5,0,1)": {
   "1,1": 15,
   "2,1": 12,
   "3,1": 7,
   "4,1": 5,
   "5,1": 2,
   "6,1": 1,
   "0,0": 15,
   "1,0": 15,
   "2,0": 9,
   "3,0": 7,
   "4,0": 3,
   "5,0": 2,
   "-1,1": 15,
   "0,1": 18,
   "-1,0": 15,
   "-2,1": 12,
   "-2,0": 9,
   "-3,1": 7,
   "-3,0": 7,
   "-4,1": 5,
   "-4,0": 3,
   "-5,1": 2,
   "-5,0": 2,
   "-6,1": 1
  },
  "(5,0,2)": {
   "2,0": 24,
   "3,0": 19,
   "4,0": 10,
   "5,0": 7,
   "6,0": 2,
   "7,0": 1,
   "1,1": 27,
   "2,1": 24,
   "3,1": 14,
   "4,1": 10,
   "5,1": 4,
   "6,1": 2,
   "0,0": 33,
   "1,0": 33,
   "-1,1": 27,
   "0,1": 33,
   "-2,0": 24,
   "-1,0": 33,
   "-2,1": 24,
   "-3,0": 19,
   "-3,1": 14,
   "-4,0": 10,
   "-4,1": 10,
   "-5,0": 7,
   "-5,1": 4,
   "-6,0": 2,
   "-6,1": 2,
   "-7,0": 1
  },
  "(5,1,0)": {
   "1,0": 18,
   "2,0": 12,
   "3,0": 9,
   "4,0": 5,
   "5,0": 3,
   "6,0": 1,
   "0,1": 18,
   "1,1": 15,
   "2,1": 12,
   "3,1": 7,
   "4,1": 5,
   "5,1": 2,
   "6,1": 1,
   "0,0": 18,
   "-1,0": 18,
   "-1,1": 15,
   "-2,0": 12,
   "-2,1": 12,
   "-3,0": 9,
   "-3,1": 7,
   "-4,0": 5,
   "-4,1": 5,
   "-5,0": 3,
   "-5,1": 2,
   "-6,0": 1,
   "-6,1": 1
  },
  "(5,1,1)": {
   "2,1": 36,
   "3,1": 25,
   "4,1": 16,
   "5,1": 9,
   "6,1": 4,
   "7,1": 1,
   "1,0": 45,
   "2,0": 36,
   "3,0": 25,
   "4,0": 16,
   "5,0": 9,
   "6,0": 4,
   "7,0": 1,
   "0,1": 48,
   "1,1": 45,
   "-1,0": 45,
   "0,0": 48,
   "-1,1": 45,
   "-2,1": 36,
   "-2,0": 36,
   "-3,1": 25,
   "-3,0": 25,
   "-4,1": 16,
   "-4,0": 16,
   "-5,1": 9,
   "-5,0": 9,
   "-6,1": 4,
   "-6,0": 4,
   "-7,1": 1,
   "-7,0": 1
  },
  "(5,2,0)": {
   "2,0": 30,
   "3,0": 24,
   "4,0": 14,
   "5,0": 10,
   "6,0": 4,
   "7,0": 2,
   "1,1": 33,
   "2,1": 30,
   "3,1": 19,
   "4,1": 14,
   "5,1": 7,
   "6,1": 4,
   "7,1": 1,
   "0,0": 39,
   "1,0": 39,
   "0,1": 39,
   "-1,1": 33,
   "-1,0": 39,
   "-2,0": 30,
   "-2,1": 30,
   "-3,0": 24,
   "-3,1": 19,
   "-4,0": 14,
   "-4,1": 14,
   "-5,0": 10,
   "-5,1": 7,
   "-6,0": 4,
   "-6,1": 4,
   "-7,0": 2,
   "-7,1": 1
  },
  "(6,0,0)": {
   "0,0": 10,
   "1,0": 6,
   "2,0": 6,
   "3,0": 3,
   "4,0": 3,
   "5,0": 1,
   "6,0": 1,
   "0,1": 6,
   "1,1": 6,
   "2,1": 3,
   "3,1": 3,
   "4,1": 1,
   "5,1": 1,
   "-1,0": 6,
   "-1,1": 6,
   "-2,0": 6,
   "-2,1": 3,
   "-3,0": 3,
   "-3,1": 3,
   "-4,0": 3,
   "-4,1": 1,
   "-5,0": 1,
   "-5,1": 1,
   "-6,0": 1
  },
  "(6,0,1)": {
   "1,1": 22,
   "2,1": 15,
   "3,1": 12,
   "4,1": 7,
   "5,1": 5,
   "6,1": 2,
   "7,1": 1,
   "0,0": 22,
   "1,0": 18,
   "2,0": 15,
   "3,0": 9,
   "4,0": 7,
   "5,0": 3,
   "6,0": 2,
   "-1,1": 22,
   "0,1": 22,
   "-1,0": 18,
   "-2,1": 15,
   "-2,0": 15,
   "-3,1": 12,
   "-3,0": 9,
   "-4,1": 7,
   "-4,0": 7,
   "-5,1": 5,
   "-5,0": 3,
   "-6,1": 2,
   "-6,0": 2,
   "-7,1": 1
  },
  "(6,1,0)": {
   "1,0": 22,
   "2,0": 18,
   "3,0": 12,
   "4,0": 9,
   "5,0": 5,
   "6,0": 3,
   "7,0": 1,
   "0,1": 22,
   "1,1": 22,
   "2,1": 15,
   "3,1": 12,
   "4,1": 7,
   "5,1": 5,
   "6,1": 2,
   "7,1": 1,
   "0,0": 25,
   "-1,0": 22,
   "-1,1": 22,
   "-2,0": 18,
   "-2,1": 15,
   "-3,0": 12,
   "-3,1": 12,
   "-4,0": 9,
   "-4,1": 7,
   "-5,0": 5,
   "-5,1": 5,
   "-6,0": 3,
   "-6,1": 2,
   "-7,0": 1,
   "-7,1": 1
  },
  "(7,0,0)": {
   "0,0": 10,
   "1,0": 10,
   "2,0": 6,
   "3,0": 6,
   "4,0": 3,
   "5,0": 3,
   "6,0": 1,
   "7,0": 1,
   "0,1": 10,
   "1,1": 6,
   "2,1": 6,
   "3,1": 3,
   "4,1": 3,
   "5,1": 1,
   "6,1": 1,
   "-1,0": 10,
   "-1,1": 6,
   "-2,0": 6,
   "-2,1": 6,
   "-3,0": 6,
   "-3,1": 3,
   "-4,0": 3,
   "-4,1": 3,
   "-5,0": 3,
   "-5,1": 1,
   "-6,0": 1,
   "-6,1": 1,
   "-7,0": 1
  }
 },
 "reps_modes": {
  "(0,0,1)": [
   [
    0.5,
    0,
    1
   ]
  ],
  "(0,0,2)": [
   [
    0.5,
    1,
    1
   ],
   [
    1.0,
    1,
    0
   ]
  ],
  "(0,0,3)": [
   [
    0.5,
    1,
    3
   ],
   [
    1.0,
    1,
    1
   ],
   [
    1.5,
    0,
    1
   ]
  ],
  "(0,0,4)": [
   [
    0.5,
    3,
    3
   ],
   [
    1.0,
    3,
    1
   ],
   [
    1.5,
    1,
    1
   ],
   [
    2.0,
    1,
    0
   ]
  ],
  "(0,0,5)": [
   [
    0.5,
    3,
    6
   ],
   [
    1.0,
    3,
    3
   ],
   [
    1.5,
    1,
    3
   ],
   [
    2.0,
    1,
    1
   ],
   [
    2.5,
    0,
    1
   ]
  ],
  "(0,0,6)": [
   [
    0.5,
    6,
    6
   ],
   [
    1.0,
    6,
    3
   ],
   [
    1.5,
    3,
    3
   ],
   [
    2.0,
    3,
    1
   ],
   [
    2.5,
    1,
    1
   ],
   [
    3.0,
    1,
    0
   ]
  ],
  "(0,0,7)": [
   [
    0.5,
    6,
    10
   ],
   [
    1.0,
    6,
    6
   ],
   [
    1.5,
    3,
    6
   ],
   [
    2.0,
    3,
    3
   ],
   [
    2.5,
    1,
    3
   ],
   [
    3.0,
    1,
    1
   ],
   [
    3.5,
    0,
    1
   ]
  ],
  "(0,1,0)": [
   [
    0.5,
    1,
    1
   ]
  ],
  "(0,1,1)": [
   [
    0.5,
    3,
    2
   ],
   [
    1.0,
    1,
    1
   ]
  ],
  "(0,1,2)": [
   [
    0.5,
    5,
    5
   ],
   [
    1.0,
    2,
    3
   ],
   [
    1.5,
    1,
    1
   ]
  ],
  "(0,1,3)": [
   [
    0.5,
    9,
    7
   ],
   [
    1.0,
    5,
    5
   ],
   [
    1.5,
    3,
    2
   ],
   [
    2.0,
    1,
    1
   ]
  ],
  "(0,1,4)": [
   [
    0.5,
    12,
    12
   ],
   [
    1.0,
    7,
    9
   ],
   [
    1.5,
    5,
    5
   ],
   [
    2.0,
    2,
    3
   ],
   [
    2.5,
    1,
    1
   ]
  ],
  "(0,1,5)": [
   [
    0.5,
    18,
    15
   ],
   [
    1.0,
    12,
    12
   ],
   [
    1.5,
    9,
    7
   ],
   [
    2.0,
    5,
    5
   ],
   [
    2.5,
    3,
    2
   ],
   [
    3.0,
    1,
    1
   ]
  ],
  "(0,1,6)": [
   [
    0.5,
    22,
    22
   ],
   [
    1.0,
    15,
    18
   ],
   [
    1.5,
    12,
    12
   ],
   [
    2.0,
    7,
    9
   ],
   [
    2.5,
    5,
    5
   ],
   [
    3.0,
    2,
    3
   ],
   [
    3.5,
    1,
    1
   ]
  ],
  "(0,2,0)": [
   [
    0.5,
    2,
    2
   ],
   [
    1.0,
    2,
    1
   ]
  ],
  "(0,2,1)": [
   [
    0.5,
    5,
    7
   ],
   [
    1.0,
    4,
    4
   ],
   [
    1.5,
    1,
    2
   ]
  ],
  "(0,2,2)": [
   [
    0.5,
    11,
    11
   ],
   [
    1.0,
    10,
    7
   ],
   [
    1.5,
    4,
    4
   ],
   [
    2.0,
    2,
    1
   ]
  ],
  "(0,2,3)": [
   [
    0.5,
    16,
    20
   ],
   [
    1.0,
    14,
    14
   ],
   [
    1.5,
    7,
    10
   ],
   [
    2.0,
    4,
    4
   ],
   [
    2.5,
    1,
    2
   ]
  ],
  "(0,2,4)": [
   [
    0.5,
    26,
    26
   ],
   [
    1.0,
    24,
    19
   ],
   [
    1.5,
    14,
    14
   ],
   [
    2.0,
    10,
    7
   ],
   [
    2.5,
    4,
    4
   ],
   [
    3.0,
    2,
    1
   ]
  ],
  "(0,2,5)": [
   [
    0.5,
    33,
    39
   ],
   [
    1.0,
    30,
    30
   ],
   [
    1.5,
    19,
    24
   ],
   [
    2.0,
    14,
    14
   ],
   [
    2.5,
    7,
    10
   ],
   [
    3.0,
    4,
    4
   ],
   [
    3.5,
    1,
    2
   ]
  ],
  "(0,3,0)": [
   [
    0.5,
    5,
    5
   ],
   [
    1.0,
    3,
    3
   ],
   [
    1.5,
    2,
    2
   ]
  ],
  "(0,3,1)": [
   [
    0.5,
    13,
    11
   ],
   [
    1.0,
    9,
    9
   ],
   [
    1.5,
    6,
    5
   ],
   [
    2.0,
    2,
    2
   ]
  ],
  "(0,3,2)": [
   [
    0.5,
    22,
    22
   ],
   [
    1.0,
    16,
    18
   ],
   [
    1.5,
    12,
    12
   ],
   [
    2.0,
    5,
    6
   ],
   [
    2.5,
    2,
    2
   ]
  ],
  "(0,3,3)": [
   [
    0.5,
    36,
    32
   ],
   [
    1.0,
    28,
    28
   ],
   [
    1.5,
    22,
    19
   ],
   [
    2.0,
    12,
    12
   ],
   [
    2.5,
    6,
    5
   ],
   [
    3.0,
    2,
    2
   ]
  ],
  "(0,3,4)": [
   [
    0.5,
    49,
    49
   ],
   [
    1.0,
    39,
    43
   ],
   [
    1.5,
    32,
    32
   ],
   [
    2.0,
    19,
    22
   ],
   [
    2.5,
    12,
    12
   ],
   [
    3.0,
    5,
    6
   ],
   [
    3.5,
    2,
    2
   ]
  ],
  "(0,4,0)": [
   [
    0.5,
    8,
    8
   ],
   [
    1.0,
    8,
    6
   ],
   [
    1.5,
    4,
    4
   ],
   [
    2.0,
    3,
    2
   ]
  ],
  "(0,4,1)": [
   [
    0.5,
    19,
    22
   ],
   [
    1.0,
    17,
    17
   ],
   [
    1.5,
    11,
    13
   ],
   [
    2.0,
    7,
    7
   ],
   [
    2.5,
    2,
    3
   ]
  ],
  "(0,4,2)": [
   [
    0.5,
    36,
    36
   ],
   [
    1.0,
    34,
    29
   ],
   [
    1.5,
    23,
    23
   ],
   [
    2.0,
    17,
    14
   ],
   [
    2.5,
    7,
    7
   ],
   [
    3.0,
    3,
    2
   ]
  ],
  "(0,4,3)": [
   [
    0.5,
    53,
    59
   ],
   [
    1.0,
    49,
    49
   ],
   [
    1.5,
    36,
    41
   ],
   [
    2.0,
    27,
    27
   ],
   [
    2.5,
    14,
    17
   ],
   [
    3.0,
    7,
    7
   ],
   [
    3.5,
    2,
    3
   ]
  ],
  "(0,5,0)": [
   [
    0.5,
    14,
    14
   ],
   [
    1.0,
    11,
    11
   ],
   [
    1.5,
    9,
    9
   ],
   [
    2.0,
    5,
    5
   ],
   [
    2.5,
    3,
    3
   ]
  ],
  "(0,5,1)": [
   [
    0.5,
    34,
    31
   ],
   [
    1.0,
    28,
    28
   ],
   [
    1.5,
    23,
    21
   ],
   [
    2.0,
    15,
    15
   ],
   [
    2.5,
    9,
    8
   ],
   [
    3.0,
    3,
    3
   ]
  ],
  "(0,5,2)": [
   [
    0.5,
    57,
    57
   ],
   [
    1.0,
    48,
    51
   ],
   [
    1.5,
    41,
    41
   ],
   [
    2.0,
    28,
    30
   ],
   [
    2.5,
    19,
    19
   ],
   [
    3.0,
    8,
    9
   ],
   [
    3.5,
    3,
    3
   ]
  ],
  "(0,6,0)": [
   [
    0.5,
    20,
    20
   ],
   [
    1.0,
    20,
    17
   ],
   [
    1.5,
    14,
    14
   ],
   [
    2.0,
    12,
    10
   ],
   [
    2.5,
    6,
    6
   ],
   [
    3.0,
    4,
    3
   ]
  ],
  "(0,6,1)": [
   [
    0.5,
    46,
    50
   ],
   [
    1.0,
    43,
    43
   ],
   [
    1.5,
    34,
    37
   ],
   [
    2.0,
    27,
    27
   ],
   [
    2.5,
    17,
    19
   ],
   [
    3.0,
    10,
    10
   ],
   [
    3.5,
    3,
    4
   ]
  ],
  "(0,7,0)": [
   [
    0.5,
    30,
    30
   ],
   [
    1.0,
    26,
    26
   ],
   [
    1.5,
    23,
    23
   ],
   [
    2.0,
    17,
    17
   ],
   [
    2.5,
    13,
    13
   ],
   [
    3.0,
    7,
    7
   ],
   [
    3.5,
    4,
    4
   ]
  ],
  "(1,0,0)": [
   [
    0.5,
    1,
    0
   ]
  ],
  "(1,0,1)": [
   [
    0.5,
    2,
    2
   ],
   [
    1.0,
    0,
    1
   ]
  ],
  "(1,0,2)": [
   [
    0.5,
    5,
    3
   ],
   [
    1.0,
    2,
    2
   ],
   [
    1.5,
    1,
    0
   ]
  ],
  "(1,0,3)": [
   [
    0.5,
    7,
    7
   ],
   [
    1.0,
    3,
    5
   ],
   [
    1.5,
    2,
    2
   ],
   [
    2.0,
    0,
    1
   ]
  ],
  "(1,0,4)": [
   [
    0.5,
    12,
    9
   ],
   [
    1.0,
    7,
    7
   ],
   [
    1.5,
    5,
    3
   ],
   [
    2.0,
    2,
    2
   ],
   [
    2.5,
    1,
    0
   ]
  ],
  "(1,0,5)": [
   [
    0.5,
    15,
    15
   ],
   [
    1.0,
    9,
    12
   ],
   [
    1.5,
    7,
    7
   ],
   [
    2.0,
    3,
    5
   ],
   [
    2.5,
    2,
    2
   ],
   [
    3.0,
    0,
    1
   ]
  ],
  "(1,0,6)": [
   [
    0.5,
    22,
    18
   ],
   [
    1.0,
    15,
    15
   ],
   [
    1.5,
    12,
    9
   ],
   [
    2.0,
    7,
    7
   ],
   [
    2.5,
    5,
    3
   ],
   [
    3.0,
    2,
    2
   ],
   [
    3.5,
    1,
    0
   ]
  ],
  "(1,1,0)": [
   [
    0.5,
    3,
    2
   ],
   [
    1.0,
    1,
    1
   ]
  ],
  "(1,1,1)": [
   [
    0.5,
    7,
    7
   ],
   [
    1.0,
    4,
    4
   ],
   [
    1.5,
    1,
    1
   ]
  ],
  "(1,1,2)": [
   [
    0.5,
    14,
    13
   ],
   [
    1.0,
    9,
    9
   ],
   [
    1.5,
    4,
    4
   ],
   [
    2.0,
    1,
    1
   ]
  ],
  "(1,1,3)": [
   [
    0.5,
    22,
    22
   ],
   [
    1.0,
    16,
    16
   ],
   [
    1.5,
    9,
    9
   ],
   [
    2.0,
    4,
    4
   ],
   [
    2.5,
    1,
    1
   ]
  ],
  "(1,1,4)": [
   [
    0.5,
    33,
    32
   ],
   [
    1.0,
    25,
    25
   ],
   [
    1.5,
    16,
    16
   ],
   [
    2.0,
    9,
    9
   ],
   [
    2.5,
    4,
    4
   ],
   [
    3.0,
    1,
    1
   ]
  ],
  "(1,1,5)": [
   [
    0.5,
    45,
    45
   ],
   [
    1.0,
    36,
    36
   ],
   [
    1.5,
    25,
    25
   ],
   [
    2.0,
    16,
    16
   ],
   [
    2.5,
    9,
    9
   ],
   [
    3.0,
    4,
    4
   ],
   [
    3.5,
    1,
    1
   ]
  ],
  "(1,2,0)": [
   [
    0.5,
    7,
    5
   ],
   [
    1.0,
    4,
    4
   ],
   [
    1.5,
    2,
    1
   ]
  ],
  "(1,2,1)": [
   [
    0.5,
    16,
    16
   ],
   [
    1.0,
    11,
    12
   ],
   [
    1.5,
    6,
    6
   ],
   [
    2.0,
    1,
    2
   ]
  ],
  "(1,2,2)": [
   [
    0.5,
    31,
    28
   ],
   [
    1.0,
    23,
    23
   ],
   [
    1.5,
    15,
    13
   ],
   [
    2.0,
    6,
    6
   ],
   [
    2.5,
    2,
    1
   ]
  ],
  "(1,2,3)": [
   [
    0.5,
    47,
    47
   ],
   [
    1.0,
    37,
    39
   ],
   [
    1.5,
    26,
    26
   ],
   [
    2.0,
    13,
    15
   ],
   [
    2.5,
    6,
    6
   ],
   [
    3.0,
    1,
    2
   ]
  ],
  "(1,2,4)": [
   [
    0.5,
    70,
    66
   ],
   [
    1.0,
    57,
    57
   ],
   [
    1.5,
    43,
    40
   ],
   [
    2.0,
    26,
    26
   ],
   [
    2.5,
    15,
    13
   ],
   [
    3.0,
    6,
    6
   ],
   [
    3.5,
    2,
    1
   ]
  ],
  "(1,3,0)": [
   [
    0.5,
    13,
    11
   ],
   [
    1.0,
    9,
    9
   ],
   [
    1.5,
    6,
    5
   ],
   [
    2.0,
    2,
    2
   ]
  ],
  "(1,3,1)": [
   [
    0.5,
    30,
    30
   ],
   [
    1.0,
    24,
    24
   ],
   [
    1.5,
    16,
    16
   ],
   [
    2.0,
    8,
    8
   ],
   [
    2.5,
    2,
    2
   ]
  ],
  "(1,3,2)": [
   [
    0.5,
    55,
    53
   ],
   [
    1.0,
    45,
    45
   ],
   [
    1.5,
    33,
    32
   ],
   [
    2.0,
    19,
    19
   ],
   [
    2.5,
    8,
    8
   ],
   [
    3.0,
    2,
    2
   ]
  ],
  "(1,3,3)": [
   [
    0.5,
    84,
    84
   ],
   [
    1.0,
    72,
    72
   ],
   [
    1.5,
    55,
    55
   ],
   [
    2.0,
    36,
    36
   ],
   [
    2.5,
    19,
    19
   ],
   [
    3.0,
    8,
    8
   ],
   [
    3.5,
    2,
    2
   ]
  ],
  "(1,4,0)": [
   [
    0.5,
    22,
    19
   ],
   [
    1.0,
    17,
    17
   ],
   [
    1.5,
    13,
    11
   ],
   [
    2.0,
    7,
    7
   ],
   [
    2.5,
    3,
    2
   ]
  ],
  "(1,4,1)": [
   [
    0.5,
    50,
    50
   ],
   [
    1.0,
    42,
    43
   ],
   [
    1.5,
    32,
    32
   ],
   [
    2.0,
    20,
    21
   ],
   [
    2.5,
    10,
    10
   ],
   [
    3.0,
    2,
    3
   ]
  ],
  "(1,4,2)": [
   [
    0.5,
    90,
    86
   ],
   [
    1.0,
    77,
    77
   ],
   [
    1.5,
    62,
    59
   ],
   [
    2.0,
    42,
    42
   ],
   [
    2.5,
    25,
    23
   ],
   [
    3.0,
    10,
    10
   ],
   [
    3.5,
    3,
    2
   ]
  ],
  "(1,5,0)": [
   [
    0.5,
    34,
    31
   ],
   [
    1.0,
    28,
    28
   ],
   [
    1.5,
    23,
    21
   ],
   [
    2.0,
    15,
    15
   ],
   [
    2.5,
    9,
    8
   ],
   [
    3.0,
    3,
    3
   ]
  ],
  "(1,5,1)": [
   [
    0.5,
    77,
    77
   ],
   [
    1.0,
    68,
    68
   ],
   [
    1.5,
    55,
    55
   ],
   [
    2.0,
    40,
    40
   ],
   [
    2.5,
    25,
    25
   ],
   [
    3.0,
    12,
    12
   ],
   [
    3.5,
    3,
    3
   ]
  ],
  "(1,6,0)": [
   [
    0.5,
    50,
    46
   ],
   [
    1.0,
    43,
    43
   ],
   [
    1.5,
    37,
    34
   ],
   [
    2.0,
    27,
    27
   ],
   [
    2.5,
    19,
    17
   ],
   [
    3.0,
    10,
    10
   ],
   [
    3.5,
    4,
    3
   ]
  ],
  "(2,0,0)": [
   [
    0.5,
    1,
    1
   ],
   [
    1.0,
    1,
    0
   ]
  ],
  "(2,0,1)": [
   [
    0.5,
    3,
    5
   ],
   [
    1.0,
    2,
    2
   ],
   [
    1.5,
    0,
    1
   ]
  ],
  "(2,0,2)": [
   [
    0.5,
    8,
    8
   ],
   [
    1.0,
    7,
    4
   ],
   [
    1.5,
    2,
    2
   ],
   [
    2.0,
    1,
    0
   ]
  ],
  "(2,0,3)": [
   [
    0.5,
    12,
    16
   ],
   [
    1.0,
    10,
    10
   ],
   [
    1.5,
    4,
    7
   ],
   [
    2.0,
    2,
    2
   ],
   [
    2.5,
    0,
    1
   ]
  ],
  "(2,0,4)": [
   [
    0.5,
    21,
    21
   ],
   [
    1.0,
    19,
    14
   ],
   [
    1.5,
    10,
    10
   ],
   [
    2.0,
    7,
    4
   ],
   [
    2.5,
    2,
    2
   ],
   [
    3.0,
    1,
    0
   ]
  ],
  "(2,0,5)": [
   [
    0.5,
    27,
    33
   ],
   [
    1.0,
    24,
    24
   ],
   [
    1.5,
    14,
    19
   ],
   [
    2.0,
    10,
    10
   ],
   [
    2.5,
    4,
    7
   ],
   [
    3.0,
    2,
    2
   ],
   [
    3.5,
    0,
    1
   ]
  ],
  "(2,1,0)": [
   [
    0.5,
    5,
    5
   ],
   [
    1.0,
    3,
    2
   ],
   [
    1.5,
    1,
    1
   ]
  ],
  "(2,1,1)": [
   [
    0.5,
    14,
    13
   ],
   [
    1.0,
    9,
    9
   ],
   [
    1.5,
    4,
    4
   ],
   [
    2.0,
    1,
    1
   ]
  ],
  "(2,1,2)": [
   [
    0.5,
    26,
    26
   ],
   [
    1.0,
    19,
    19
   ],
   [
    1.5,
    11,
    11
   ],
   [
    2.0,
    4,
    4
   ],
   [
    2.5,
    1,
    1
   ]
  ],
  "(2,1,3)": [
   [
    0.5,
    43,
    41
   ],
   [
    1.0,
    33,
    33
   ],
   [
    1.5,
    22,
    21
   ],
   [
    2.0,
    11,
    11
   ],
   [
    2.5,
    4,
    4
   ],
   [
    3.0,
    1,
    1
   ]
  ],
  "(2,1,4)": [
   [
    0.5,
    62,
    62
   ],
   [
    1.0,
    50,
    51
   ],
   [
    1.5,
    36,
    36
   ],
   [
    2.0,
    21,
    22
   ],
   [
    2.5,
    11,
    11
   ],
   [
    3.0,
    4,
    4
   ],
   [
    3.5,
    1,
    1
   ]
  ],
  "(2,2,0)": [
   [
    0.5,
    11,
    11
   ],
   [
    1.0,
    10,
    7
   ],
   [
    1.5,
    4,
    4
   ],
   [
    2.0,
    2,
    1
   ]
  ],
  "(2,2,1)": [
   [
    0.5,
    28,
    31
   ],
   [
    1.0,
    23,
    23
   ],
   [
    1.5,
    13,
    15
   ],
   [
    2.0,
    6,
    6
   ],
   [
    2.5,
    1,
    2
   ]
  ],
  "(2,2,2)": [
   [
    0.5,
    54,
    54
   ],
   [
    1.0,
    48,
    42
   ],
   [
    1.5,
    30,
    30
   ],
   [
    2.0,
    18,
    15
   ],
   [
    2.5,
    6,
    6
   ],
   [
    3.0,
    2,
    1
   ]
  ],
  "(2,2,3)": [
   [
    0.5,
    83,
    89
   ],
   [
    1.0,
    73,
    73
   ],
   [
    1.5,
    51,
    56
   ],
   [
    2.0,
    33,
    33
   ],
   [
    2.5,
    15,
    18
   ],
   [
    3.0,
    6,
    6
   ],
   [
    3.5,
    1,
    2
   ]
  ],
  "(2,3,0)": [
   [
    0.5,
    22,
    22
   ],
   [
    1.0,
    18,
    16
   ],
   [
    1.5,
    12,
    12
   ],
   [
    2.0,
    6,
    5
   ],
   [
    2.5,
    2,
    2
   ]
  ],
  "(2,3,1)": [
   [
    0.5,
    55,
    53
   ],
   [
    1.0,
    45,
    45
   ],
   [
    1.5,
    33,
    32
   ],
   [
    2.0,
    19,
    19
   ],
   [
    2.5,
    8,
    8
   ],
   [
    3.0,
    2,
    2
   ]
  ],
  "(2,3,2)": [
   [
    0.5,
    97,
    97
   ],
   [
    1.0,
    83,
    83
   ],
   [
    1.5,
    64,
    64
   ],
   [
    2.0,
    41,
    41
   ],
   [
    2.5,
    22,
    22
   ],
   [
    3.0,
    8,
    8
   ],
   [
    3.5,
    2,
    2
   ]
  ],
  "(2,4,0)": [
   [
    0.5,
    36,
    36
   ],
   [
    1.0,
    34,
    29
   ],
   [
    1.5,
    23,
    23
   ],
   [
    2.0,
    17,
    14
   ],
   [
    2.5,
    7,
    7
   ],
   [
    3.0,
    3,
    2
   ]
  ],
  "(2,4,1)": [
   [
    0.5,
    86,
    90
   ],
   [
    1.0,
    77,
    77
   ],
   [
    1.5,
    59,
    62
   ],
   [
    2.0,
    42,
    42
   ],
   [
    2.5,
    23,
    25
   ],
   [
    3.0,
    10,
    10
   ],
   [
    3.5,
    2,
    3
   ]
  ],
  "(2,5,0)": [
   [
    0.5,
    57,
    57
   ],
   [
    1.0,
    51,
    48
   ],
   [
    1.5,
    41,
    41
   ],
   [
    2.0,
    30,
    28
   ],
   [
    2.5,
    19,
    19
   ],
   [
    3.0,
    9,
    8
   ],
   [
    3.5,
    3,
    3
   ]
  ],
  "(3,0,0)": [
   [
    0.5,
    3,
    1
   ],
   [
    1.0,
    1,
    1
   ],
   [
    1.5,
    1,
    0
   ]
  ],
  "(3,0,1)": [
   [
    0.5,
    7,
    7
   ],
   [
    1.0,
    3,
    5
   ],
   [
    1.5,
    2,
    2
   ],
   [
    2.0,
    0,
    1
   ]
  ],
  "(3,0,2)": [
   [
    0.5,
    16,
    12
   ],
   [
    1.0,
    10,
    10
   ],
   [
    1.5,
    7,
    4
   ],
   [
    2.0,
    2,
    2
   ],
   [
    2.5,
    1,
    0
   ]
  ],
  "(3,0,3)": [
   [
    0.5,
    24,
    24
   ],
   [
    1.0,
    16,
    20
   ],
   [
    1.5,
    12,
    12
   ],
   [
    2.0,
    4,
    7
   ],
   [
    2.5,
    2,
    2
   ],
   [
    3.0,
    0,
    1
   ]
  ],
  "(3,0,4)": [
   [
    0.5,
    39,
    33
   ],
   [
    1.0,
    29,
    29
   ],
   [
    1.5,
    23,
    18
   ],
   [
    2.0,
    12,
    12
   ],
   [
    2.5,
    7,
    4
   ],
   [
    3.0,
    2,
    2
   ],
   [
    3.5,
    1,
    0
   ]
  ],
  "(3,1,0)": [
   [
    0.5,
    9,
    7
   ],
   [
    1.0,
    5,
    5
   ],
   [
    1.5,
    3,
    2
   ],
   [
    2.0,
    1,
    1
   ]
  ],
  "(3,1,1)": [
   [
    0.5,
    22,
    22
   ],
   [
    1.0,
    16,
    16
   ],
   [
    1.5,
    9,
    9
   ],
   [
    2.0,
    4,
    4
   ],
   [
    2.5,
    1,
    1
   ]
  ],
  "(3,1,2)": [
   [
    0.5,
    43,
    41
   ],
   [
    1.0,
    33,
    33
   ],
   [
    1.5,
    22,
    21
   ],
   [
    2.0,
    11,
    11
   ],
   [
    2.5,
    4,
    4
   ],
   [
    3.0,
    1,
    1
   ]
  ],
  "(3,1,3)": [
   [
    0.5,
    68,
    68
   ],
   [
    1.0,
    56,
    56
   ],
   [
    1.5,
    40,
    40
   ],
   [
    2.0,
    24,
    24
   ],
   [
    2.5,
    11,
    11
   ],
   [
    3.0,
    4,
    4
   ],
   [
    3.5,
    1,
    1
   ]
  ],
  "(3,2,0)": [
   [
    0.5,
    20,
    16
   ],
   [
    1.0,
    14,
    14
   ],
   [
    1.5,
    10,
    7
   ],
   [
    2.0,
    4,
    4
   ],
   [
    2.5,
    2,
    1
   ]
  ],
  "(3,2,1)": [
   [
    0.5,
    47,
    47
   ],
   [
    1.0,
    37,
    39
   ],
   [
    1.5,
    26,
    26
   ],
   [
    2.0,
    13,
    15
   ],
   [
    2.5,
    6,
    6
   ],
   [
    3.0,
    1,
    2
   ]
  ],
  "(3,2,2)": [
   [
    0.5,
    89,
    83
   ],
   [
    1.0,
    73,
    73
   ],
   [
    1.5,
    56,
    51
   ],
   [
    2.0,
    33,
    33
   ],
   [
    2.5,
    18,
    15
   ],
   [
    3.0,
    6,
    6
   ],
   [
    3.5,
    2,
    1
   ]
  ],
  "(3,3,0)": [
   [
    0.5,
    36,
    32
   ],
   [
    1.0,
    28,
    28
   ],
   [
    1.5,
    22,
    19
   ],
   [
    2.0,
    12,
    12
   ],
   [
    2.5,
    6,
    5
   ],
   [
    3.0,
    2,
    2
   ]
  ],
  "(3,3,1)": [
   [
    0.5,
    84,
    84
   ],
   [
    1.0,
    72,
    72
   ],
   [
    1.5,
    55,
    55
   ],
   [
    2.0,
    36,
    36
   ],
   [
    2.5,
    19,
    19
   ],
   [
    3.0,
    8,
    8
   ],
   [
    3.5,
    2,
    2
   ]
  ],
  "(3,4,0)": [
   [
    0.5,
    59,
    53
   ],
   [
    1.0,
    49,
    49
   ],
   [
    1.5,
    41,
    36
   ],
   [
    2.0,
    27,
    27
   ],
   [
    2.5,
    17,
    14
   ],
   [
    3.0,
    7,
    7
   ],
   [
    3.5,
    3,
    2
   ]
  ],
  "(4,0,0)": [
   [
    0.5,
    3,
    3
   ],
   [
    1.0,
    3,
    1
   ],
   [
    1.5,
    1,
    1
   ],
   [
    2.0,
    1,
    0
   ]
  ],
  "(4,0,1)": [
   [
    0.5,
    9,
    12
   ],
   [
    1.0,
    7,
    7
   ],
   [
    1.5,
    3,
    5
   ],
   [
    2.0,
    2,
    2
   ],
   [
    2.5,
    0,
    1
   ]
  ],
  "(4,0,2)": [
   [
    0.5,
    21,
    21
   ],
   [
    1.0,
    19,
    14
   ],
   [
    1.5,
    10,
    10
   ],
   [
    2.0,
    7,
    4
   ],
   [
    2.5,
    2,
    2
   ],
   [
    3.0,
    1,
    0
   ]
  ],
  "(4,0,3)": [
   [
    0.5,
    33,
    39
   ],
   [
    1.0,
    29,
    29
   ],
   [
    1.5,
    18,
    23
   ],
   [
    2.0,
    12,
    12
   ],
   [
    2.5,
    4,
    7
   ],
   [
    3.0,
    2,
    2
   ],
   [
    3.5,
    0,
    1
   ]
  ],
  "(4,1,0)": [
   [
    0.5,
    12,
    12
   ],
   [
    1.0,
    9,
    7
   ],
   [
    1.5,
    5,
    5
   ],
   [
    2.0,
    3,
    2
   ],
   [
    2.5,
    1,
    1
   ]
  ],
  "(4,1,1)": [
   [
    0.5,
    33,
    32
   ],
   [
    1.0,
    25,
    25
   ],
   [
    1.5,
    16,
    16
   ],
   [
    2.0,
    9,
    9
   ],
   [
    2.5,
    4,
    4
   ],
   [
    3.0,
    1,
    1
   ]
  ],
  "(4,1,2)": [
   [
    0.5,
    62,
    62
   ],
   [
    1.0,
    51,
    50
   ],
   [
    1.5,
    36,
    36
   ],
   [
    2.0,
    22,
    21
   ],
   [
    2.5,
    11,
    11
   ],
   [
    3.0,
    4,
    4
   ],
   [
    3.5,
    1,
    1
   ]
  ],
  "(4,2,0)": [
   [
    0.5,
    26,
    26
   ],
   [
    1.0,
    24,
    19
   ],
   [
    1.5,
    14,
    14
   ],
   [
    2.0,
    10,
    7
   ],
   [
    2.5,
    4,
    4
   ],
   [
    3.0,
    2,
    1
   ]
  ],
  "(4,2,1)": [
   [
    0.5,
    66,
    70
   ],
   [
    1.0,
    57,
    57
   ],
   [
    1.5,
    40,
    43
   ],
   [
    2.0,
    26,
    26
   ],
   [
    2.5,
    13,
    15
   ],
   [
    3.0,
    6,
    6
   ],
   [
    3.5,
    1,
    2
   ]
  ],
  "(4,3,0)": [
   [
    0.5,
    49,
    49
   ],
   [
    1.0,
    43,
    39
   ],
   [
    1.5,
    32,
    32
   ],
   [
    2.0,
    22,
    19
   ],
   [
    2.5,
    12,
    12
   ],
   [
    3.0,
    6,
    5
   ],
   [
    3.5,
    2,
    2
   ]
  ],
  "(5,0,0)": [
   [
    0.5,
    6,
    3
   ],
   [
    1.0,
    3,
    3
   ],
   [
    1.5,
    3,
    1
   ],
   [
    2.0,
    1,
    1
   ],
   [
    2.5,
    1,
    0
   ]
  ],
  "(5,0,1)": [
   [
    0.5,
    15,
    15
   ],
   [
    1.0,
    9,
    12
   ],
   [
    1.5,
    7,
    7
   ],
   [
    2.0,
    3,
    5
   ],
   [
    2.5,
    2,
    2
   ],
   [
    3.0,
    0,
    1
   ]
  ],
  "(5,0,2)": [
   [
    0.5,
    33,
    27
   ],
   [
    1.0,
    24,
    24
   ],
   [
    1.5,
    19,
    14
   ],
   [
    2.0,
    10,
    10
   ],
   [
    2.5,
    7,
    4
   ],
   [
    3.0,
    2,
    2
   ],
   [
    3.5,
    1,
    0
   ]
  ],
  "(5,1,0)": [
   [
    0.5,
    18,
    15
   ],
   [
    1.0,
    12,
    12
   ],
   [
    1.5,
    9,
    7
   ],
   [
    2.0,
    5,
    5
   ],
   [
    2.5,
    3,
    2
   ],
   [
    3.0,
    1,
    1
   ]
  ],
  "(5,1,1)": [
   [
    0.5,
    45,
    45
   ],
   [
    1.0,
    36,
    36
   ],
   [
    1.5,
    25,
    25
   ],
   [
    2.0,
    16,
    16
   ],
   [
    2.5,
    9,
    9
   ],
   [
    3.0,
    4,
    4
   ],
   [
    3.5,
    1,
    1
   ]
  ],
  "(5,2,0)": [
   [
    0.5,
    39,
    33
   ],
   [
    1.0,
    30,
    30
   ],
   [
    1.5,
    24,
    19
   ],
   [
    2.0,
    14,
    14
   ],
   [
    2.5,
    10,
    7
   ],
   [
    3.0,
    4,
    4
   ],
   [
    3.5,
    2,
    1
   ]
  ],
  "(6,0,0)": [
   [
    0.5,
    6,
    6
   ],
   [
    1.0,
    6,
    3
   ],
   [
    1.5,
    3,
    3
   ],
   [
    2.0,
    3,
    1
   ],
   [
    2.5,
    1,
    1
   ],
   [
    3.0,
    1,
    0
   ]
  ],
  "(6,0,1)": [
   [
    0.5,
    18,
    22
   ],
   [
    1.0,
    15,
    15
   ],
   [
    1.5,
    9,
    12
   ],
   [
    2.0,
    7,
    7
   ],
   [
    2.5,
    3,
    5
   ],
   [
    3.0,
    2,
    2
   ],
   [
    3.5,
    0,
    1
   ]
  ],
  "(6,1,0)": [
   [
    0.5,
    22,
    22
   ],
   [
    1.0,
    18,
    15
   ],
   [
    1.5,
    12,
    12
   ],
   [
    2.0,
    9,
    7
   ],
   [
    2.5,
    5,
    5
   ],
   [
    3.0,
    3,
    2
   ],
   [
    3.5,
    1,
    1
   ]
  ],
  "(7,0,0)": [
   [
    0.5,
    10,
    6
   ],
   [
    1.0,
    6,
    6
   ],
   [
    1.5,
    6,
    3
   ],
   [
    2.0,
    3,
    3
   ],
   [
    2.5,
    3,
    1
   ],
   [
    3.0,
    1,
    1
   ],
   [
    3.5,
    1,
    0
   ]
  ]
 },
 "reps_box": {
  "(0,0,1)": {
   "sides": [
    1,
    0,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(0,0,2)": {
   "sides": [
    1,
    1,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(0,0,3)": {
   "sides": [
    2,
    1,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(0,0,4)": {
   "sides": [
    2,
    2,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(0,0,5)": {
   "sides": [
    3,
    2,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(0,0,6)": {
   "sides": [
    3,
    3,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(0,0,7)": {
   "sides": [
    4,
    3,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(0,1,1)": {
   "sides": [
    1,
    0,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(0,1,2)": {
   "sides": [
    2,
    0,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(0,1,3)": {
   "sides": [
    2,
    1,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(0,1,4)": {
   "sides": [
    3,
    1,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(0,1,5)": {
   "sides": [
    3,
    2,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(0,1,6)": {
   "sides": [
    4,
    2,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(0,2,0)": {
   "sides": [
    1,
    1,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(0,2,1)": {
   "sides": [
    2,
    1,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(0,2,2)": {
   "sides": [
    2,
    1,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(0,2,3)": {
   "sides": [
    3,
    1,
    1
   ],
   "zeta": -1,
   "blind": false
  },
  "(0,2,4)": {
   "sides": [
    3,
    2,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(0,2,5)": {
   "sides": [
    4,
    2,
    1
   ],
   "zeta": -1,
   "blind": false
  },
  "(0,3,1)": {
   "sides": [
    2,
    1,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(0,3,2)": {
   "sides": [
    3,
    1,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(0,3,3)": {
   "sides": [
    3,
    1,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(0,3,4)": {
   "sides": [
    4,
    1,
    1
   ],
   "zeta": -1,
   "blind": false
  },
  "(0,4,0)": {
   "sides": [
    2,
    2,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(0,4,1)": {
   "sides": [
    3,
    2,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(0,4,2)": {
   "sides": [
    3,
    2,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(0,4,3)": {
   "sides": [
    4,
    2,
    1
   ],
   "zeta": -1,
   "blind": false
  },
  "(0,5,1)": {
   "sides": [
    3,
    2,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(0,5,2)": {
   "sides": [
    4,
    2,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(0,6,0)": {
   "sides": [
    3,
    3,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(0,6,1)": {
   "sides": [
    4,
    3,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(1,0,0)": {
   "sides": [
    1,
    0,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(1,0,1)": {
   "sides": [
    2,
    0,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(1,0,2)": {
   "sides": [
    2,
    1,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(1,0,3)": {
   "sides": [
    3,
    1,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(1,0,4)": {
   "sides": [
    3,
    2,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(1,0,5)": {
   "sides": [
    4,
    2,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(1,0,6)": {
   "sides": [
    4,
    3,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(1,1,0)": {
   "sides": [
    1,
    0,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(1,1,2)": {
   "sides": [
    1,
    0,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(1,1,4)": {
   "sides": [
    1,
    0,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(1,2,0)": {
   "sides": [
    2,
    1,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(1,2,1)": {
   "sides": [
    4,
    0,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(1,2,2)": {
   "sides": [
    3,
    2,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(1,2,3)": {
   "sides": [
    5,
    1,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(1,2,4)": {
   "sides": [
    4,
    3,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(1,3,0)": {
   "sides": [
    2,
    1,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(1,3,2)": {
   "sides": [
    2,
    1,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(1,4,0)": {
   "sides": [
    3,
    2,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(1,4,1)": {
   "sides": [
    6,
    0,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(1,4,2)": {
   "sides": [
    4,
    3,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(1,5,0)": {
   "sides": [
    3,
    2,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(1,6,0)": {
   "sides": [
    4,
    3,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(2,0,0)": {
   "sides": [
    1,
    1,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(2,0,1)": {
   "sides": [
    2,
    1,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(2,0,2)": {
   "sides": [
    2,
    1,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(2,0,3)": {
   "sides": [
    3,
    1,
    1
   ],
   "zeta": -1,
   "blind": false
  },
  "(2,0,4)": {
   "sides": [
    3,
    2,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(2,0,5)": {
   "sides": [
    4,
    2,
    1
   ],
   "zeta": -1,
   "blind": false
  },
  "(2,1,0)": {
   "sides": [
    2,
    0,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(2,1,1)": {
   "sides": [
    1,
    0,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(2,1,3)": {
   "sides": [
    2,
    1,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(2,1,4)": {
   "sides": [
    4,
    0,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(2,2,0)": {
   "sides": [
    2,
    1,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(2,2,1)": {
   "sides": [
    3,
    2,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(2,2,2)": {
   "sides": [
    2,
    2,
    2
   ],
   "zeta": 1,
   "blind": false
  },
  "(2,2,3)": {
   "sides": [
    4,
    2,
    1
   ],
   "zeta": -1,
   "blind": false
  },
  "(2,3,0)": {
   "sides": [
    3,
    1,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(2,3,1)": {
   "sides": [
    2,
    1,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(2,4,0)": {
   "sides": [
    3,
    2,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(2,4,1)": {
   "sides": [
    4,
    3,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(2,5,0)": {
   "sides": [
    4,
    2,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(3,0,0)": {
   "sides": [
    2,
    1,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(3,0,1)": {
   "sides": [
    3,
    1,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(3,0,2)": {
   "sides": [
    3,
    1,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(3,0,3)": {
   "sides": [
    4,
    1,
    1
   ],
   "zeta": -1,
   "blind": false
  },
  "(3,0,4)": {
   "sides": [
    4,
    2,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(3,1,0)": {
   "sides": [
    2,
    1,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(3,1,2)": {
   "sides": [
    2,
    1,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(3,2,0)": {
   "sides": [
    3,
    1,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(3,2,1)": {
   "sides": [
    5,
    1,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(3,2,2)": {
   "sides": [
    4,
    2,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(3,3,0)": {
   "sides": [
    3,
    1,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(3,4,0)": {
   "sides": [
    4,
    2,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(4,0,0)": {
   "sides": [
    2,
    2,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(4,0,1)": {
   "sides": [
    3,
    2,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(4,0,2)": {
   "sides": [
    3,
    2,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(4,0,3)": {
   "sides": [
    4,
    2,
    1
   ],
   "zeta": -1,
   "blind": false
  },
  "(4,1,0)": {
   "sides": [
    3,
    1,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(4,1,1)": {
   "sides": [
    1,
    0,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(4,1,2)": {
   "sides": [
    4,
    0,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(4,2,0)": {
   "sides": [
    3,
    2,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(4,2,1)": {
   "sides": [
    4,
    3,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(4,3,0)": {
   "sides": [
    4,
    1,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(5,0,0)": {
   "sides": [
    3,
    2,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(5,0,1)": {
   "sides": [
    4,
    2,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(5,0,2)": {
   "sides": [
    4,
    2,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(5,1,0)": {
   "sides": [
    3,
    2,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(5,2,0)": {
   "sides": [
    4,
    2,
    1
   ],
   "zeta": 1,
   "blind": false
  },
  "(6,0,0)": {
   "sides": [
    3,
    3,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(6,0,1)": {
   "sides": [
    4,
    3,
    0
   ],
   "zeta": -1,
   "blind": false
  },
  "(6,1,0)": {
   "sides": [
    4,
    2,
    0
   ],
   "zeta": 1,
   "blind": false
  },
  "(7,0,0)": {
   "sides": [
    4,
    3,
    0
   ],
   "zeta": 1,
   "blind": false
  }
 },
 "adjoint": "1,1,0",
 "catalogue": [
  {
   "name": "(0,0,1)",
   "dynkin": [
    0,
    0,
    1
   ],
   "dim": 4,
   "blind": false
  },
  {
   "name": "(1,0,0)",
   "dynkin": [
    1,
    0,
    0
   ],
   "dim": 4,
   "blind": false
  },
  {
   "name": "(0,1,0)",
   "dynkin": [
    0,
    1,
    0
   ],
   "dim": 6,
   "blind": true
  },
  {
   "name": "(0,0,2)",
   "dynkin": [
    0,
    0,
    2
   ],
   "dim": 10,
   "blind": false
  },
  {
   "name": "(2,0,0)",
   "dynkin": [
    2,
    0,
    0
   ],
   "dim": 10,
   "blind": false
  },
  {
   "name": "(1,0,1)",
   "dynkin": [
    1,
    0,
    1
   ],
   "dim": 15,
   "blind": false
  },
  {
   "name": "(0,0,3)",
   "dynkin": [
    0,
    0,
    3
   ],
   "dim": 20,
   "blind": false
  },
  {
   "name": "(0,1,1)",
   "dynkin": [
    0,
    1,
    1
   ],
   "dim": 20,
   "blind": false
  },
  {
   "name": "(0,2,0)",
   "dynkin": [
    0,
    2,
    0
   ],
   "dim": 20,
   "blind": false
  },
  {
   "name": "(1,1,0)",
   "dynkin": [
    1,
    1,
    0
   ],
   "dim": 20,
   "blind": false
  },
  {
   "name": "(3,0,0)",
   "dynkin": [
    3,
    0,
    0
   ],
   "dim": 20,
   "blind": false
  },
  {
   "name": "(0,0,4)",
   "dynkin": [
    0,
    0,
    4
   ],
   "dim": 35,
   "blind": false
  },
  {
   "name": "(4,0,0)",
   "dynkin": [
    4,
    0,
    0
   ],
   "dim": 35,
   "blind": false
  },
  {
   "name": "(1,0,2)",
   "dynkin": [
    1,
    0,
    2
   ],
   "dim": 36,
   "blind": false
  },
  {
   "name": "(2,0,1)",
   "dynkin": [
    2,
    0,
    1
   ],
   "dim": 36,
   "blind": false
  },
  {
   "name": "(0,1,2)",
   "dynkin": [
    0,
    1,
    2
   ],
   "dim": 45,
   "blind": false
  },
  {
   "name": "(2,1,0)",
   "dynkin": [
    2,
    1,
    0
   ],
   "dim": 45,
   "blind": false
  },
  {
   "name": "(0,3,0)",
   "dynkin": [
    0,
    3,
    0
   ],
   "dim": 50,
   "blind": true
  },
  {
   "name": "(0,0,5)",
   "dynkin": [
    0,
    0,
    5
   ],
   "dim": 56,
   "blind": false
  },
  {
   "name": "(5,0,0)",
   "dynkin": [
    5,
    0,
    0
   ],
   "dim": 56,
   "blind": false
  },
  {
   "name": "(0,2,1)",
   "dynkin": [
    0,
    2,
    1
   ],
   "dim": 60,
   "blind": false
  },
  {
   "name": "(1,2,0)",
   "dynkin": [
    1,
    2,
    0
   ],
   "dim": 60,
   "blind": false
  },
  {
   "name": "(1,1,1)",
   "dynkin": [
    1,
    1,
    1
   ],
   "dim": 64,
   "blind": true
  },
  {
   "name": "(1,0,3)",
   "dynkin": [
    1,
    0,
    3
   ],
   "dim": 70,
   "blind": false
  },
  {
   "name": "(3,0,1)",
   "dynkin": [
    3,
    0,
    1
   ],
   "dim": 70,
   "blind": false
  },
  {
   "name": "(0,0,6)",
   "dynkin": [
    0,
    0,
    6
   ],
   "dim": 84,
   "blind": false
  },
  {
   "name": "(0,1,3)",
   "dynkin": [
    0,
    1,
    3
   ],
   "dim": 84,
   "blind": false
  },
  {
   "name": "(2,0,2)",
   "dynkin": [
    2,
    0,
    2
   ],
   "dim": 84,
   "blind": false
  },
  {
   "name": "(3,1,0)",
   "dynkin": [
    3,
    1,
    0
   ],
   "dim": 84,
   "blind": false
  },
  {
   "name": "(6,0,0)",
   "dynkin": [
    6,
    0,
    0
   ],
   "dim": 84,
   "blind": false
  },
  {
   "name": "(0,4,0)",
   "dynkin": [
    0,
    4,
    0
   ],
   "dim": 105,
   "blind": false
  },
  {
   "name": "(0,0,7)",
   "dynkin": [
    0,
    0,
    7
   ],
   "dim": 120,
   "blind": false
  },
  {
   "name": "(1,0,4)",
   "dynkin": [
    1,
    0,
    4
   ],
   "dim": 120,
   "blind": false
  },
  {
   "name": "(4,0,1)",
   "dynkin": [
    4,
    0,
    1
   ],
   "dim": 120,
   "blind": false
  },
  {
   "name": "(7,0,0)",
   "dynkin": [
    7,
    0,
    0
   ],
   "dim": 120,
   "blind": false
  },
  {
   "name": "(0,2,2)",
   "dynkin": [
    0,
    2,
    2
   ],
   "dim": 126,
   "blind": false
  },
  {
   "name": "(2,2,0)",
   "dynkin": [
    2,
    2,
    0
   ],
   "dim": 126,
   "blind": false
  },
  {
   "name": "(0,1,4)",
   "dynkin": [
    0,
    1,
    4
   ],
   "dim": 140,
   "blind": false
  },
  {
   "name": "(0,3,1)",
   "dynkin": [
    0,
    3,
    1
   ],
   "dim": 140,
   "blind": false
  },
  {
   "name": "(1,1,2)",
   "dynkin": [
    1,
    1,
    2
   ],
   "dim": 140,
   "blind": false
  },
  {
   "name": "(1,3,0)",
   "dynkin": [
    1,
    3,
    0
   ],
   "dim": 140,
   "blind": false
  },
  {
   "name": "(2,1,1)",
   "dynkin": [
    2,
    1,
    1
   ],
   "dim": 140,
   "blind": false
  },
  {
   "name": "(4,1,0)",
   "dynkin": [
    4,
    1,
    0
   ],
   "dim": 140,
   "blind": false
  },
  {
   "name": "(2,0,3)",
   "dynkin": [
    2,
    0,
    3
   ],
   "dim": 160,
   "blind": false
  },
  {
   "name": "(3,0,2)",
   "dynkin": [
    3,
    0,
    2
   ],
   "dim": 160,
   "blind": false
  },
  {
   "name": "(1,2,1)",
   "dynkin": [
    1,
    2,
    1
   ],
   "dim": 175,
   "blind": false
  },
  {
   "name": "(1,0,5)",
   "dynkin": [
    1,
    0,
    5
   ],
   "dim": 189,
   "blind": false
  },
  {
   "name": "(5,0,1)",
   "dynkin": [
    5,
    0,
    1
   ],
   "dim": 189,
   "blind": false
  },
  {
   "name": "(0,5,0)",
   "dynkin": [
    0,
    5,
    0
   ],
   "dim": 196,
   "blind": true
  },
  {
   "name": "(0,1,5)",
   "dynkin": [
    0,
    1,
    5
   ],
   "dim": 216,
   "blind": false
  },
  {
   "name": "(5,1,0)",
   "dynkin": [
    5,
    1,
    0
   ],
   "dim": 216,
   "blind": false
  },
  {
   "name": "(0,2,3)",
   "dynkin": [
    0,
    2,
    3
   ],
   "dim": 224,
   "blind": false
  },
  {
   "name": "(3,2,0)",
   "dynkin": [
    3,
    2,
    0
   ],
   "dim": 224,
   "blind": false
  },
  {
   "name": "(1,1,3)",
   "dynkin": [
    1,
    1,
    3
   ],
   "dim": 256,
   "blind": true
  },
  {
   "name": "(3,1,1)",
   "dynkin": [
    3,
    1,
    1
   ],
   "dim": 256,
   "blind": true
  },
  {
   "name": "(2,0,4)",
   "dynkin": [
    2,
    0,
    4
   ],
   "dim": 270,
   "blind": false
  },
  {
   "name": "(4,0,2)",
   "dynkin": [
    4,
    0,
    2
   ],
   "dim": 270,
   "blind": false
  },
  {
   "name": "(0,3,2)",
   "dynkin": [
    0,
    3,
    2
   ],
   "dim": 280,
   "blind": false
  },
  {
   "name": "(0,4,1)",
   "dynkin": [
    0,
    4,
    1
   ],
   "dim": 280,
   "blind": false
  },
  {
   "name": "(1,0,6)",
   "dynkin": [
    1,
    0,
    6
   ],
   "dim": 280,
   "blind": false
  },
  {
   "name": "(1,4,0)",
   "dynkin": [
    1,
    4,
    0
   ],
   "dim": 280,
   "blind": false
  },
  {
   "name": "(2,3,0)",
   "dynkin": [
    2,
    3,
    0
   ],
   "dim": 280,
   "blind": false
  },
  {
   "name": "(6,0,1)",
   "dynkin": [
    6,
    0,
    1
   ],
   "dim": 280,
   "blind": false
  },
  {
   "name": "(2,1,2)",
   "dynkin": [
    2,
    1,
    2
   ],
   "dim": 300,
   "blind": true
  },
  {
   "name": "(3,0,3)",
   "dynkin": [
    3,
    0,
    3
   ],
   "dim": 300,
   "blind": false
  },
  {
   "name": "(0,1,6)",
   "dynkin": [
    0,
    1,
    6
   ],
   "dim": 315,
   "blind": false
  },
  {
   "name": "(6,1,0)",
   "dynkin": [
    6,
    1,
    0
   ],
   "dim": 315,
   "blind": false
  },
  {
   "name": "(0,6,0)",
   "dynkin": [
    0,
    6,
    0
   ],
   "dim": 336,
   "blind": false
  },
  {
   "name": "(0,2,4)",
   "dynkin": [
    0,
    2,
    4
   ],
   "dim": 360,
   "blind": false
  },
  {
   "name": "(1,2,2)",
   "dynkin": [
    1,
    2,
    2
   ],
   "dim": 360,
   "blind": false
  },
  {
   "name": "(2,2,1)",
   "dynkin": [
    2,
    2,
    1
   ],
   "dim": 360,
   "blind": false
  },
  {
   "name": "(4,2,0)",
   "dynkin": [
    4,
    2,
    0
   ],
   "dim": 360,
   "blind": false
  },
  {
   "name": "(1,3,1)",
   "dynkin": [
    1,
    3,
    1
   ],
   "dim": 384,
   "blind": true
  },
  {
   "name": "(1,1,4)",
   "dynkin": [
    1,
    1,
    4
   ],
   "dim": 420,
   "blind": false
  },
  {
   "name": "(2,0,5)",
   "dynkin": [
    2,
    0,
    5
   ],
   "dim": 420,
   "blind": false
  },
  {
   "name": "(4,1,1)",
   "dynkin": [
    4,
    1,
    1
   ],
   "dim": 420,
   "blind": false
  },
  {
   "name": "(5,0,2)",
   "dynkin": [
    5,
    0,
    2
   ],
   "dim": 420,
   "blind": false
  },
  {
   "name": "(0,3,3)",
   "dynkin": [
    0,
    3,
    3
   ],
   "dim": 480,
   "blind": false
  },
  {
   "name": "(3,3,0)",
   "dynkin": [
    3,
    3,
    0
   ],
   "dim": 480,
   "blind": false
  },
  {
   "name": "(3,0,4)",
   "dynkin": [
    3,
    0,
    4
   ],
   "dim": 500,
   "blind": false
  },
  {
   "name": "(4,0,3)",
   "dynkin": [
    4,
    0,
    3
   ],
   "dim": 500,
   "blind": false
  },
  {
   "name": "(0,5,1)",
   "dynkin": [
    0,
    5,
    1
   ],
   "dim": 504,
   "blind": false
  },
  {
   "name": "(1,5,0)",
   "dynkin": [
    1,
    5,
    0
   ],
   "dim": 504,
   "blind": false
  },
  {
   "name": "(0,2,5)",
   "dynkin": [
    0,
    2,
    5
   ],
   "dim": 540,
   "blind": false
  },
  {
   "name": "(0,4,2)",
   "dynkin": [
    0,
    4,
    2
   ],
   "dim": 540,
   "blind": false
  },
  {
   "name": "(0,7,0)",
   "dynkin": [
    0,
    7,
    0
   ],
   "dim": 540,
   "blind": true
  },
  {
   "name": "(2,1,3)",
   "dynkin": [
    2,
    1,
    3
   ],
   "dim": 540,
   "blind": false
  },
  {
   "name": "(2,4,0)",
   "dynkin": [
    2,
    4,
    0
   ],
   "dim": 540,
   "blind": false
  },
  {
   "name": "(3,1,2)",
   "dynkin": [
    3,
    1,
    2
   ],
   "dim": 540,
   "blind": false
  },
  {
   "name": "(5,2,0)",
   "dynkin": [
    5,
    2,
    0
   ],
   "dim": 540,
   "blind": false
  },
  {
   "name": "(1,2,3)",
   "dynkin": [
    1,
    2,
    3
   ],
   "dim": 630,
   "blind": false
  },
  {
   "name": "(3,2,1)",
   "dynkin": [
    3,
    2,
    1
   ],
   "dim": 630,
   "blind": false
  },
  {
   "name": "(1,1,5)",
   "dynkin": [
    1,
    1,
    5
   ],
   "dim": 640,
   "blind": true
  },
  {
   "name": "(5,1,1)",
   "dynkin": [
    5,
    1,
    1
   ],
   "dim": 640,
   "blind": true
  },
  {
   "name": "(2,2,2)",
   "dynkin": [
    2,
    2,
    2
   ],
   "dim": 729,
   "blind": false
  },
  {
   "name": "(1,4,1)",
   "dynkin": [
    1,
    4,
    1
   ],
   "dim": 735,
   "blind": false
  },
  {
   "name": "(0,3,4)",
   "dynkin": [
    0,
    3,
    4
   ],
   "dim": 750,
   "blind": false
  },
  {
   "name": "(4,3,0)",
   "dynkin": [
    4,
    3,
    0
   ],
   "dim": 750,
   "blind": false
  },
  {
   "name": "(1,3,2)",
   "dynkin": [
    1,
    3,
    2
   ],
   "dim": 756,
   "blind": false
  },
  {
   "name": "(2,3,1)",
   "dynkin": [
    2,
    3,
    1
   ],
   "dim": 756,
   "blind": false
  },
  {
   "name": "(0,6,1)",
   "dynkin": [
    0,
    6,
    1
   ],
   "dim": 840,
   "blind": false
  },
  {
   "name": "(1,6,0)",
   "dynkin": [
    1,
    6,
    0
   ],
   "dim": 840,
   "blind": false
  },
  {
   "name": "(2,1,4)",
   "dynkin": [
    2,
    1,
    4
   ],
   "dim": 875,
   "blind": false
  },
  {
   "name": "(4,1,2)",
   "dynkin": [
    4,
    1,
    2
   ],
   "dim": 875,
   "blind": false
  },
  {
   "name": "(0,4,3)",
   "dynkin": [
    0,
    4,
    3
   ],
   "dim": 900,
   "blind": false
  },
  {
   "name": "(3,4,0)",
   "dynkin": [
    3,
    4,
    0
   ],
   "dim": 900,
   "blind": false
  },
  {
   "name": "(0,5,2)",
   "dynkin": [
    0,
    5,
    2
   ],
   "dim": 945,
   "blind": false
  },
  {
   "name": "(2,5,0)",
   "dynkin": [
    2,
    5,
    0
   ],
   "dim": 945,
   "blind": false
  },
  {
   "name": "(3,1,3)",
   "dynkin": [
    3,
    1,
    3
   ],
   "dim": 960,
   "blind": true
  },
  {
   "name": "(1,2,4)",
   "dynkin": [
    1,
    2,
    4
   ],
   "dim": 1000,
   "blind": false
  },
  {
   "name": "(4,2,1)",
   "dynkin": [
    4,
    2,
    1
   ],
   "dim": 1000,
   "blind": false
  },
  {
   "name": "(2,2,3)",
   "dynkin": [
    2,
    2,
    3
   ],
   "dim": 1260,
   "blind": false
  },
  {
   "name": "(3,2,2)",
   "dynkin": [
    3,
    2,
    2
   ],
   "dim": 1260,
   "blind": false
  },
  {
   "name": "(1,3,3)",
   "dynkin": [
    1,
    3,
    3
   ],
   "dim": 1280,
   "blind": true
  },
  {
   "name": "(1,5,1)",
   "dynkin": [
    1,
    5,
    1
   ],
   "dim": 1280,
   "blind": true
  },
  {
   "name": "(3,3,1)",
   "dynkin": [
    3,
    3,
    1
   ],
   "dim": 1280,
   "blind": true
  },
  {
   "name": "(1,4,2)",
   "dynkin": [
    1,
    4,
    2
   ],
   "dim": 1400,
   "blind": false
  },
  {
   "name": "(2,4,1)",
   "dynkin": [
    2,
    4,
    1
   ],
   "dim": 1400,
   "blind": false
  },
  {
   "name": "(2,3,2)",
   "dynkin": [
    2,
    3,
    2
   ],
   "dim": 1470,
   "blind": true
  }
 ],
 "calibration_note": "none: this model's potential is built from reps_modes and the role = -1 adjoint row. The July tool's fitted gauge weight (wg = 0.35, calibrated to AHMN's own minimum) is NOT used by this kernel and is not carried.",
 "kmax": 10,
 "grid": 72,
 "anchor": {
  "label": "AHMN 2312.08608",
  "bulk": [
   {
    "rep": "(4,0,0)",
    "parities": [
     1,
     1
    ],
    "multiplicity": 3,
    "eta": 1,
    "role": 1
   },
   {
    "rep": "(1,0,1)",
    "parities": [
     1,
     1
    ],
    "multiplicity": 1,
    "eta": 1,
    "role": -1
   }
  ]
 },
 "note": "(m,q) histograms for SU(4) irreps, m = n2-n4, q = n3 mod 2; gauge is the calibrated VEV-dependent adjoint list with weight wg."
}