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