{
  "2:7": 232,
  "8:8": 232,
  "7:12": true,
  "6:10": true,
  "2:9": [
    231,
    232
  ],
  "0:6": true,
  "3:6": 231,
  "1:8": true,
  "8:7": 232,
  "2:8": [
    231,
    232
  ],
  "5:11": true,
  "13:12": true,
  "1:9": true,
  "15:8": true,
  "8:9": true,
  "6:12": true,
  "1:7": true,
  "2:12": true,
  "7:7": true,
  "1:10": true,
  "8:10": true,
  "6:8": true,
  "15:12": 153,
  "0:11": true,
  "14:12": true,
  "3:11": 232,
  "8:12": true,
  "4:6": 231,
  "15:10": 152,
  "5:6": true,
  "15:13": 154,
  "2:10": true,
  "6:7": true,
  "1:12": true,
  "14:13": 154,
  "1:11": true,
  "5:9": true,
  "6:6": true,
  "4:9": true,
  "5:7": true,
  "3:10": true,
  "8:11": true,
  "4:7": true,
  "10:2": true,
  "0:10": true,
  "3:12": 231,
  "15:11": 153,
  "5:8": true,
  "7:6": true,
  "4:8": true,
  "2:11": true,
  "1:6": true,
  "3:8": [
    231,
    232
  ],
  "0:8": true,
  "6:11": true,
  "5:12": true,
  "8:6": 231,
  "4:12": 231,
  "5:10": true,
  "3:7": 232,
  "4:10": [
    231,
    232
  ],
  "0:7": true,
  "3:9": [
    231,
    232
  ],
  "0:9": true,
  "7:11": true,
  "2:6": 231
}