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