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