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