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