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