{
  "9:14": true,
  "1:1": true,
  "11:5": true,
  "2:7": true,
  "8:8": true,
  "7:12": true,
  "6:10": true,
  "12:5": true,
  "10:14": true,
  "7:15": true,
  "10:12": true,
  "6:13": true,
  "2:9": true,
  "9:15": true,
  "9:12": true,
  "8:1": 147,
  "3:6": 145,
  "10:15": true,
  "7:14": true,
  "10:10": true,
  "8:7": true,
  "5:5": 147,
  "4:11": 147,
  "7:13": true,
  "2:8": true,
  "9:10": true,
  "5:11": true,
  "4:5": [
    145,
    146
  ],
  "6:14": true,
  "10:13": true,
  "3:4": 143,
  "8:9": true,
  "7:10": true,
  "6:12": true,
  "6:15": true,
  "9:13": true,
  "12:6": true,
  "4:3": [
    144,
    146
  ],
  "8:13": true,
  "5:4": 147,
  "2:12": true,
  "10:9": true,
  "7:7": true,
  "5:3": true,
  "2:15": true,
  "1:10": true,
  "9:9": true,
  "6:1": 147,
  "11:6": true,
  "4:4": [
    144,
    146
  ],
  "10:7": true,
  "8:10": true,
  "7:9": true,
  "6:8": 147,
  "3:5": 144,
  "4:2": [
    144,
    146
  ],
  "9:7": true,
  "5:2": 147,
  "2:14": 146,
  "0:5": true,
  "4:6": 146,
  "12:3": true,
  "11:4": true,
  "9:1": true,
  "8:12": true,
  "7:8": true,
  "6:9": true,
  "2:13": [
    145,
    147
  ],
  "5:0": 147,
  "10:1": true,
  "5:6": 147,
  "8:15": true,
  "13:7": true,
  "12:4": true,
  "11:3": true,
  "4:0": [
    143,
    146
  ],
  "2:10": true,
  "10:8": true,
  "6:7": 147,
  "11:2": true,
  "8:14": true,
  "9:8": true,
  "7:1": 147,
  "9:3": true,
  "6:0": 147,
  "10:4": true,
  "3:13": 147,
  "5:9": 147,
  "10:3": true,
  "1:5": true,
  "7:2": 147,
  "6:6": 147,
  "4:9": 147,
  "11:1": true,
  "9:4": true,
  "8:5": true,
  "5:7": 147,
  "3:10": true,
  "11:8": true,
  "7:4": 147,
  "13:6": true,
  "9:2": true,
  "8:11": true,
  "4:7": 146,
  "10:2": true,
  "12:8": true,
  "7:3": 147,
  "9:6": true,
  "4:1": [
    145,
    146
  ],
  "6:4": 147,
  "10:0": true,
  "10:6": true,
  "5:1": 147,
  "3:15": true,
  "9:0": true,
  "6:3": true,
  "7:0": 147,
  "11:7": true,
  "5:8": 147,
  "3:14": true,
  "6:2": 147,
  "7:6": true,
  "4:8": 147,
  "2:11": true,
  "4:14": true,
  "6:5": 147,
  "3:8": true,
  "5:14": true,
  "6:11": true,
  "5:12": true,
  "8:0": true,
  "4:15": true,
  "0:1": true,
  "8:6": true,
  "4:12": 147,
  "5:15": true,
  "13:5": true,
  "10:5": true,
  "9:11": true,
  "5:10": true,
  "3:7": true,
  "9:5": true,
  "4:10": 147,
  "11:14": true,
  "8:2": true,
  "11:12": true,
  "8:4": true,
  "5:13": true,
  "7:5": 147,
  "3:9": true,
  "11:15": true,
  "8:3": 147,
  "7:11": true,
  "4:13": true,
  "2:6": true
}