{
  "P": [
    "s0:1",
    "s0:17",
    "s0:18",
    "s0:19",
    "s0:14",
    "s0:12",
    "s0:13",
    "s0:5",
    "s1:1",
    "s1:18",
    "s1:16",
    "s1:10",
    "s1:8",
    "s1:5",
    "s2:1",
    "s2:17",
    "s2:18",
    "s2:19",
    "s2:14",
    "s2:12",
    "s2:13",
    "s2:5",
    "s3:1",
    "s3:17",
    "s3:18",
    "s3:19",
    "s3:14",
    "s3:12",
    "s3:13",
    "s3:5",
    "u0",
    "h0:1:0",
    "h0:1:1",
    "s1:3",
    "s1:12",
    "s1:13",
    "s1:14",
    "s1:15",
    "s1:7",
    "h0:1:2",
    "h0:1:3",
    "h0:1:4",
    "u1",
    "h1:1:0",
    "h1:1:1",
    "h1:1:2",
    "h1:1:3",
    "h1:1:4",
    "u2",
    "d0",
    "s0:2",
    "s0:8",
    "s0:9",
    "s0:10",
    "s0:11",
    "s0:6",
    "d1",
    "s2:2",
    "s2:8",
    "s2:9",
    "s2:10",
    "s2:11",
    "s2:6",
    "d2"
  ],
  "Q": [
    "s3:0",
    "s3:15",
    "s3:16",
    "s3:4",
    "s2:0",
    "s2:15",
    "s2:16",
    "s2:4",
    "s1:0",
    "s1:9",
    "s1:11",
    "s1:19",
    "s1:17",
    "s1:4",
    "s0:0",
    "s0:15",
    "s0:16",
    "s0:4"
  ]
}