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