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