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