{
  "1:1": true,
  "2:7": 173,
  "6:10": true,
  "7:15": true,
  "6:13": 129,
  "2:9": 167,
  "15:7": true,
  "3:0": true,
  "9:15": true,
  "0:0": true,
  "14:7": true,
  "8:1": true,
  "3:6": true,
  "10:15": true,
  "7:14": true,
  "1:8": [
    169,
    173
  ],
  "14:1": true,
  "10:10": true,
  "4:11": 130,
  "0:2": true,
  "7:13": true,
  "2:8": [
    129,
    174
  ],
  "5:11": 129,
  "4:5": true,
  "3:2": true,
  "6:14": true,
  "1:9": [
    168,
    175
  ],
  "3:4": true,
  "0:3": true,
  "7:10": true,
  "6:12": true,
  "3:3": true,
  "1:7": 172,
  "0:4": true,
  "6:15": true,
  "2:1": true,
  "11:0": true,
  "12:6": true,
  "4:3": true,
  "5:4": true,
  "2:12": 131,
  "5:3": true,
  "2:15": [
    131,
    151
  ],
  "1:10": 132,
  "12:0": true,
  "6:1": true,
  "4:4": true,
  "7:9": true,
  "13:1": true,
  "4:2": true,
  "0:11": true,
  "3:11": 131,
  "5:2": true,
  "2:14": true,
  "1:13": true,
  "0:5": 170,
  "12:3": true,
  "9:1": true,
  "6:9": true,
  "4:6": true,
  "2:13": true,
  "1:14": true,
  "5:0": true,
  "10:1": true,
  "5:6": true,
  "8:15": true,
  "4:0": true,
  "12:2": true,
  "1:15": [
    131,
    150
  ],
  "10:8": true,
  "11:2": true,
  "12:1": true,
  "6:0": true,
  "10:4": true,
  "3:13": [
    131,
    149
  ],
  "1:5": true,
  "0:13": true,
  "7:2": true,
  "6:6": true,
  "11:1": true,
  "9:4": true,
  "3:10": 130,
  "7:4": true,
  "13:6": true,
  "9:2": true,
  "13:0": true,
  "10:2": true,
  "0:10": 133,
  "13:2": true,
  "4:1": true,
  "3:12": 131,
  "0:15": [
    130,
    150
  ],
  "6:4": true,
  "10:0": true,
  "14:5": 182,
  "5:1": true,
  "0:12": true,
  "9:0": true,
  "6:3": true,
  "7:0": true,
  "13:3": true,
  "11:7": true,
  "0:14": true,
  "3:14": [
    131,
    150
  ],
  "6:2": true,
  "7:6": true,
  "2:11": 132,
  "14:3": 174,
  "4:14": 131,
  "11:10": 150,
  "3:8": true,
  "5:14": true,
  "2:2": true,
  "0:8": true,
  "15:3": [
    172,
    173
  ],
  "1:0": true,
  "5:12": [
    130,
    144
  ],
  "2:4": true,
  "8:0": true,
  "14:2": true,
  "4:15": true,
  "0:1": true,
  "15:2": true,
  "4:12": 130,
  "3:1": true,
  "13:5": 181,
  "5:15": 131,
  "2:3": true,
  "10:5": true,
  "5:10": true,
  "3:7": true,
  "1:3": true,
  "4:10": 128,
  "8:2": true,
  "1:4": true,
  "0:7": 130,
  "15:6": true,
  "2:0": true,
  "5:13": 130,
  "1:2": true,
  "7:5": true,
  "3:9": true,
  "11:15": 125,
  "8:3": true,
  "0:9": 132,
  "7:11": true,
  "4:13": [
    131,
    143
  ],
  "2:6": true
}