{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 42496814563784980451563042879529660750053921580003678289259806}, {"parameter": "", "name": "singleton", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "7", "name": "ilp_2", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "9", "name": "ilp_3", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "", "name": "anticode", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "", "name": "linear_programming_bound", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "", "name": "sphere_packing", "value": 42496814563784980451563042879529660750053921580003678289259806}, {"parameter": "1", "name": "ilp_1", "value": 696267755626705923020082163671648081808237520246695972}, {"parameter": "2", "name": "ilp_1", "value": 696267755626705923020082163671648081808237520250658533}, {"parameter": "3", "name": "ilp_1", "value": 696267755626705923020082163671648081810145020260733583}, {"parameter": "4", "name": "ilp_1", "value": 696267755626705923020082163671671485979290192831992049}, {"parameter": "5", "name": "ilp_1", "value": 696267755626705923020100389994560945741053174935552699}, {"parameter": "6", "name": "ilp_1", "value": 696267755626706820154346667958586359022209023310011933}, {"parameter": "10", "name": "ilp_4", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "11", "name": "ilp_4", "value": 87033520785604012780087758262976128575961125158659674025}, {"parameter": "12", "name": "ilp_4", "value": 87033520785604012780087758262976128575961125158659674025}, {"parameter": "13", "name": "ilp_4", "value": 87033520785604012780070698413923992482494343570229695744}, {"parameter": "14", "name": "ilp_4", "value": 87033520785604012780070698288394950947064583439007918421}, {"parameter": "15", "name": "ilp_4", "value": 87033520785604012780070698288394932294088696264197979814}, {"parameter": "16", "name": "ilp_4", "value": 87033520785604012780070698406631134673064480586572525246}, {"parameter": "17", "name": "ilp_4", "value": 17406661378855860669750726080842019452760470287010126244}, {"parameter": "18", "name": "ilp_4", "value": 3481339120363090783628143721395453222823299259255070155}, {"parameter": "", "name": "johnson_1", "value": 696267755626705923020082163671648081808237520246695972}, {"parameter": "", "name": "johnson_2", "value": 3481339120363090783628143721395453222823299259255070155}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 42496814563784980451563042879529660750053921580003678289259806}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 87033520785604012780087758262976128575961125158659674025}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 87033520785604012780087758262976128575961125158659674025}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 87033520785604012780070698413923992482494343570229695744}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 87033520785604012780070698288394950947064583439007918421}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 87033520785604012780070698288394932294088696264197979814}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 87033520785604012780070698406631134673064480586572525246}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 17406661378855860669750726080842019452760470287010126244}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 3481339120363090783628143721395453222823299259255070155}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 696267824072501342067407717610586552103398136937033423}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 696267881110183257408786320825766493036425584703917376}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 696268166298733008559119126791035718329430163033737684}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 696269592244986134296104620961718738569370482984097589}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 696276722063862125044124516048446298043243528599356224}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 696312373348640193004190585177321201508934047389468486}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 696490684549871773962198578689630860372209003211414900}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 697383612166586556471409007723005588136177779590989106}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 701882814833362068419374628190625384827512461540233462}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 725278659102275270993736753833435516580723842173732724}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 42496814563784980451563042879529660750053921580003678289259806}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 696267755626706820154346667958586359022209023310011933}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 696267755626705923020100389994560945741053174935552699}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 696267755626705923020082163671671485979290192831992049}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 696267755626705923020082163671298808126660056346984628}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 696267755626705923020082163671298808126182723544463447}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 696267755626705923020082163671298808126182723533525779}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 87033699032886562322422074409270049661150326277265217130}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 87034590269299475109063044209368527845626255460121850502}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 87039046725169366199890823814043837881396046225169831491}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 87061335851825615049489022840897639244038476240781006968}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 87172952939913223900024684600182330905919597414889690091}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 87735359041468824368517215898440015349454899251986072745}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 90659870759959554088695978480542094752560019075157438637}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 108791843055238262380012581148498138201467880091570509806}, {"parameter": "", "name": "improved_johnson", "value": 696267755626705923020082163671648081808237520246695959}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 17406704157558856663094833868010289464490292098199060905}], "known_codes": [], "upper_bound": 696267755626705923020082163671298808126182723533525779, "classified": false, "lower_bound": 662859346845121791249456607590251642324227507808667905, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 661744490042422139897126953655970282852649688720703125}, {"parameter": "", "name": "sphere_covering", "value": 7129800770792386971280901507440265340618068904492}, {"parameter": "", "name": "graham_sloane", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "", "name": "multicomponent", "value": 661744490150842357149230110735539346933365020751953126}, {"parameter": "", "name": "construction_ST_B", "value": 662806677502826591137363720918074250221252441406250000}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 661744578266835284083473725638538124432355163574218750}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 662805066335723316570298793828766318430691955566406250}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 662806677502826591160707861996769952490220784467015625}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 662859346845121791249456607590251642324227507808667905}, {"parameter": "", "name": "two_pivot_block_construction", "value": 662804978007233676933588487753634769150476120194285568}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 212199347671619289101425057622887708234526115233569}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 662806677611420558734067753903218545019626771492188306}, {"parameter": "(11,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 661744931153280184101461298102975175298738372802734375}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 661744931153280184101461299907412663616227996826171875}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 661744931153280184101461298161182836212205780029296875}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 661744931153280184101461298088427916683244598388671875}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 661744931153280184101461298088423260070848358154296875}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 8473998661364626894682208818877145588348388671875}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 8473998661364626894682281573796674549530029296875}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 8473998661364626894682572612101241886566162109375}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 8473998661364626894682209396297141849945068359375}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 8473998661364626894682208814222022831390380859375}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 44116323041722452797824001653313715821502685546875}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 44116323041722452797824002235388834840057373046875}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 44116323041722452797824365451192934876678466796875}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 44116323041722452797824074412888367539642333984375}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 44116323041722452797824001657968838578460693359375}, {"parameter": "(8,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 213890183440404144281801870744200816422698974609375}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 213890183440404144281801870748857428818939208984375}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 213890183440404144281801943503776957780120849609375}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 213890183440404144281803689733604361802337646484375}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 213890183440404144281801885296116044312713623046875}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 661744931153280184101461298088423260070371520996093750}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 8473998661364626894682208814220532715270996093750}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 44116323041722452797824001653312225705383300781250}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 213890183440404144281801870744200815945861816406250}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 661744931153280184101461298088423260070371520996093750}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 8473998661364626894682208814220532715270996093750}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 44116323041722452797824001653312225705383300781250}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 213890183440404144281801870744200815945861816406250}, {"parameter": "8", "name": "linkage_GLT", "value": 661744490042422139897126953655970282852649842781250806}, {"parameter": "9", "name": "linkage_GLT", "value": 8470329472543003390683225006796419620513916422526}, {"parameter": "10", "name": "linkage_GLT", "value": 44116294818652423970206655212678015232086181640626}, {"parameter": "11", "name": "linkage_GLT", "value": 213801959027259957935029888176359236240386962890626}, {"parameter": "8", "name": "improved_linkage", "value": 661744490151065994040297885636886417669920256760594164}, {"parameter": "9", "name": "improved_linkage", "value": 8470329473933645401958681224646456456420898437500}, {"parameter": "10", "name": "improved_linkage", "value": 44116294818652427530241090389691879772687257623746}, {"parameter": "11", "name": "improved_linkage", "value": 213801959027259957935039001747858379657510680447606}, {"parameter": "12", "name": "improved_linkage", "value": 212212649660621902825141660310374192253072795212576}, {"parameter": "13", "name": "improved_linkage", "value": 212178291568079589325870983884669900068396568195776}, {"parameter": "14", "name": "improved_linkage", "value": 212191871813112337228785198670811951160584968750806}, {"parameter": "15", "name": "improved_linkage", "value": 212194587896884314092433516739792883396148682047526}, {"parameter": "16", "name": "improved_linkage", "value": 212195131115029330116277593369595706462860107421876}, {"parameter": "17", "name": "improved_linkage", "value": 42439005524676145305045365162996315640582437109376}, {"parameter": "8,0", "name": "generalized_linkage", "value": 661744931153280184101461298088423260070371520996093750}, {"parameter": "8,1", "name": "generalized_linkage", "value": 661744507691248511959897710440701423431657248398437500}, {"parameter": "8,2", "name": "generalized_linkage", "value": 661744490749138320578202050835769762014997851081468750}, {"parameter": "8,3", "name": "generalized_linkage", "value": 661744490070657914170005069271852328191685884880858250}, {"parameter": "8,4", "name": "generalized_linkage", "value": 661744490043542991622999496297388076767482383306634470}, {"parameter": "8,5", "name": "generalized_linkage", "value": 661744490042465249799476492798723633994562805175781250}, {"parameter": "8,6", "name": "generalized_linkage", "value": 661744490151065994040297885636886417669920256760594164}, {"parameter": "9,0", "name": "generalized_linkage", "value": 8473998661364626894682208814220532715270996093750}, {"parameter": "9,1", "name": "generalized_linkage", "value": 8470472859935384832512626090283203003529941406250}, {"parameter": "9,2", "name": "generalized_linkage", "value": 8470330612566025225327339256905356276274482250000}, {"parameter": "9,3", "name": "generalized_linkage", "value": 8470329481650133164111365479706052968661661273250}, {"parameter": "9,4", "name": "generalized_linkage", "value": 8470329472615292339562470649546447701575869172670}, {"parameter": "9,5", "name": "generalized_linkage", "value": 8470329472543558756055112620959287954281769382501}, {"parameter": "9,6", "name": "generalized_linkage", "value": 8470329473933645401958681224646456456420898437500}, {"parameter": "10,0", "name": "generalized_linkage", "value": 44116323041722452797824001653312225705383300781250}, {"parameter": "10,1", "name": "generalized_linkage", "value": 44116295055723760324024376007868267398534042968750}, {"parameter": "10,2", "name": "generalized_linkage", "value": 44116294820493057980653043089794705818057563031250}, {"parameter": "10,3", "name": "generalized_linkage", "value": 44116294818655343356166615595258978415235885767000}, {"parameter": "10,4", "name": "generalized_linkage", "value": 44116294818652428603520513736938953613431048890570}, {"parameter": "10,5", "name": "generalized_linkage", "value": 44116294818652423977324354553509024005709593642786}, {"parameter": "10,6", "name": "generalized_linkage", "value": 44116294818652427530241090389691879772687257623746}, {"parameter": "11,0", "name": "generalized_linkage", "value": 213890183440404144281801870744200815945861816406250}, {"parameter": "11,1", "name": "generalized_linkage", "value": 213801959027624215323030455701100381925722519531250}, {"parameter": "11,2", "name": "generalized_linkage", "value": 213801959027260565808754828187815098458440712718750}, {"parameter": "11,3", "name": "generalized_linkage", "value": 213801959027259958876528654015126012913975372433250}, {"parameter": "11,4", "name": "generalized_linkage", "value": 213801959027259957935326559419402984665070833933320}, {"parameter": "11,5", "name": "generalized_linkage", "value": 213801959027259957935029979300409244377307582743731}, {"parameter": "11,6", "name": "generalized_linkage", "value": 213801959027259957935039001747858379657510680447606}, {"parameter": "12,1", "name": "generalized_linkage", "value": 212212649888297243508239290400430573607546250000000}, {"parameter": "12,2", "name": "generalized_linkage", "value": 212212649660621903011892405357072686506588910375000}, {"parameter": "12,3", "name": "generalized_linkage", "value": 212212649660621902825203830828556815612186624579500}, {"parameter": "12,4", "name": "generalized_linkage", "value": 212212649660621902825141679417377577112732762342920}, {"parameter": "12,5", "name": "generalized_linkage", "value": 212212649660621902825141660288211578825175189513556}, {"parameter": "12,6", "name": "generalized_linkage", "value": 212212649660621902825141660310374192253072795212576}, {"parameter": "13,2", "name": "generalized_linkage", "value": 212178291568079612670012062580372109304189008031250}, {"parameter": "13,3", "name": "generalized_linkage", "value": 212178291568079589325870987704476792057006420248250}, {"parameter": "13,4", "name": "generalized_linkage", "value": 212178291568079589325870983884922473717284613587070}, {"parameter": "13,5", "name": "generalized_linkage", "value": 212178291568079589325870983884669855380782791601361}, {"parameter": "13,6", "name": "generalized_linkage", "value": 212178291568079589325870983884669900068396568195776}, {"parameter": "14,3", "name": "generalized_linkage", "value": 212191871813112337228785294166228194746779662435750}, {"parameter": "14,4", "name": "generalized_linkage", "value": 212191871813112337228785198670811954264791488754070}, {"parameter": "14,5", "name": "generalized_linkage", "value": 212191871813112337228785198670811951160470644527181}, {"parameter": "14,6", "name": "generalized_linkage", "value": 212191871813112337228785198670811951160584968750806}, {"parameter": "15,4", "name": "generalized_linkage", "value": 212194587896884314092433516739792898917952855941570}, {"parameter": "15,5", "name": "generalized_linkage", "value": 212194587896884314092433516739792883396148681738281}, {"parameter": "15,6", "name": "generalized_linkage", "value": 212194587896884314092433516739792883396148682047526}, {"parameter": "16,5", "name": "generalized_linkage", "value": 212195131115029330116277593369595706462860107519531}, {"parameter": "16,6", "name": "generalized_linkage", "value": 212195131115029330116277593369595706462860107421876}, {"parameter": "17,6", "name": "generalized_linkage", "value": 42439005524676145305045365162996315640582437109376}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 661744931153280184101461298088423260070371520996093750}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 661744507691248511959897710440701423431657248398437500}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 661744490749138320578202050835769762014997851081468750}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 661744490070657914170005069271852328191685884880858250}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 661744490043542991622999496297388076767482383306634470}, {"parameter": "[8, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 661744490042465249799476492798723633994562805175781250}, {"parameter": "[8, 11],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 661744490151065994040297885636886417669920256760594164}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 8473998661364626894682208814220532715270996093750}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 8470472859935384832512626090283203003529941406250}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 8470330612566025225327339256905356276274482250000}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 8470329481650133164111365479706052968661661273250}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 8470329472615292339562470649546447701575869172670}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 8470329472543558756055112620959287954281769382501}, {"parameter": "[9, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 8470329473933645401958681224646456456420898437500}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 44116323041722452797824001653312225705383300781250}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 44116295055723760324024376007868267398534042968750}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 44116294820493057980653043089794705818057563031250}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 44116294818655343356166615595258978415235885767000}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 44116294818652428603520513736938953613431048890570}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 44116294818652423977324354553509024005709593642786}, {"parameter": "[10, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 44116294818652427530241090389691879772687257623746}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 213890183440404144281801870744200815945861816406250}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 213801959027624215323030455701100381925722519531250}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 213801959027260565808754828187815098458440712718750}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 213801959027259958876528654015126012913975372433250}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 213801959027259957935326559419402984665070833933320}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 213801959027259957935029979300409244377307582743731}, {"parameter": "[11, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 213801959027259957935039001747858379657510680447606}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 212212649888297243508239290400430573607546250000000}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 212212649660621903011892405357072686506588910375000}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 212212649660621902825203830828556815612186624579500}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 212212649660621902825141679417377577112732762342920}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 212212649660621902825141660288211578825175189513556}, {"parameter": "[12, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 212212649660621902825141660310374192253072795212576}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 212178291568079612670012062580372109304189008031250}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 212178291568079589325870987704476792057006420248250}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 212178291568079589325870983884922473717284613587070}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 212178291568079589325870983884669855380782791601361}, {"parameter": "[13, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 212178291568079589325870983884669900068396568195776}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 212191871813112337228785294166228194746779662435750}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 212191871813112337228785198670811954264791488754070}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 212191871813112337228785198670811951160470644527181}, {"parameter": "[14, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 212191871813112337228785198670811951160584968750806}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 212194587896884314092433516739792898917952855941570}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 212194587896884314092433516739792883396148681738281}, {"parameter": "[15, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 212194587896884314092433516739792883396148682047526}, {"parameter": "[16, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 212195131115029330116277593369595706462860107519531}, {"parameter": "[16, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 212195131115029330116277593369595706462860107421876}, {"parameter": "[17, 2],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 42439005524676145305045365162996315640582437109376}, {"parameter": "[8, 2, 9],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 42351756901381677226727605171585547924041748046875}, {"parameter": "[8, 2, 9],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 42351756947983616747243191373670552860687255859375}, {"parameter": "[8, 2, 9],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 42792866640976469838203958232239402818572998046875}, {"parameter": "[8, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 212195131158050472314818067424930632114410400390625}, {"parameter": "[8, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 211758237975045638694173520503649580478668212890625}, {"parameter": "[8, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 211758238021647578214689106705734585415313720703125}, {"parameter": "[8, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 212199347714640431305649873564303435373199462890625}, {"parameter": "[8, 3, 8],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 212195131116417108891374697159044444561004638671875}, {"parameter": "[8, 3, 8],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 211758237933412275270730150237763392925262451171875}, {"parameter": "[8, 3, 8],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 211758237980014214791245736439848397861907958984375}, {"parameter": "[8, 3, 8],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 212199347673007067882206503298417247819793701171875}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 212195132233576167485927031557075679302215576171875}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 211758239050571333865282484635794627666473388671875}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 211758239097173273385798070837879632603118896484375}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 212199348790166126476758837696448482561004638671875}, {"parameter": "[8, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 212195131115029440244717294299043715000152587890625}, {"parameter": "[8, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 211758237932024606624072747377762663364410400390625}, {"parameter": "[8, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 211758237978626546144588333579847668301055908203125}, {"parameter": "[8, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 212199347671619399235549100438416518258941650390625}, {"parameter": "[8, 4, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 212195131116474932859210854112170636653900146484375}, {"parameter": "[8, 4, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 211758237933470099238566307190889585018157958984375}, {"parameter": "[8, 4, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 211758237980072038759081893392974589954803466796875}, {"parameter": "[8, 4, 7],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 212199347673064891850042660251543439912689208984375}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 212195159293101015895564374695532023906707763671875}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 211758266110096182274919827774250972270965576171875}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 211758266156698121795435413976335977207611083984375}, {"parameter": "[8, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 212199375849690974886396180834904827165496826171875}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 212195131115032193590496932337991893291473388671875}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 211758237932027359969852385416710841655731201171875}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 211758237978629299490367971618795846592376708984375}, {"parameter": "[8, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 212199347671622152581328738477364696550262451171875}, {"parameter": "[8, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 212195131115029444833627381776459515094757080078125}, {"parameter": "[8, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 211758237932024611212982834855178463459014892578125}, {"parameter": "[8, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 211758237978626550733498421057263468395660400390625}, {"parameter": "[8, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 212199347671619403824459187915832318353546142578125}, {"parameter": "[8, 5, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 212195131116430502629274302343837916851043701171875}, {"parameter": "[8, 5, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 211758237933425669008629755422556865215301513671875}, {"parameter": "[8, 5, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 211758237980027608529145341624641870151947021484375}, {"parameter": "[8, 5, 6],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 212199347673020461620106108483210720109832763671875}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 212195836432106033175293156127445399761199951171875}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 211758943249101199554648609206164348125457763671875}, {"parameter": "[8, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758943295703139075164195408249353062103271484375}, {"parameter": "[8, 6, 5],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 212200052988695992166124962266818203019989013671875}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 212195131115101465974108861009590327739715576171875}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 211758237932096632353464314088309276103973388671875}, {"parameter": "[8, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758237978698571873979900290394281040618896484375}, {"parameter": "[8, 6, 5],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 212199347671691424964940667148963130998504638671875}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 212195131115032312901854147850535809993743896484375}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 211758237932027479281209600929254758358001708984375}, {"parameter": "[8, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758237978629418801725187131339763294647216796875}, {"parameter": "[8, 6, 5],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 212199347671622271892685953989908613252532958984375}, {"parameter": "[8, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 212195131115029441307644334011711180210113525390625}, {"parameter": "[8, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 211758237932024607686999787090430128574371337890625}, {"parameter": "[8, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758237978626547207515373292515133511016845703125}, {"parameter": "[8, 6, 5],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 212199347671619400298476140151083983468902587890625}, {"parameter": "[8, 6, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 212195131116420086931409103185869753360748291015625}, {"parameter": "[8, 6, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 211758237933415253310764556264588701725006103515625}, {"parameter": "[8, 6, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758237980017192831280142466673706661651611328125}, {"parameter": "[8, 6, 5],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 212199347673010045922240909325242556619537353515625}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 211775882520203061266875200577452665083465576171875}, {"parameter": "[8, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 211775847848374374155749118937625213958251953125000}, {"parameter": "[8, 7, 4],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 211775849013408546016168721278334115635345458984375}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 211758271487226562977530615695193296186981201171875}, {"parameter": "[8, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758236815397875866404534055365845061767578125000}, {"parameter": "[8, 7, 4],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 211758237980432047726824136396074746738861083984375}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 211758271485496092777971704544767623655853271484375}, {"parameter": "[8, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758236813667405666845622904940172530639648437500}, {"parameter": "[8, 7, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 211758237978701577527265225245649074207733154296875}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 211758271485423842377106822800705915205535888671875}, {"parameter": "[8, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758236813595155265980741160878464080322265625000}, {"parameter": "[8, 7, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 211758237978629327126400343501587365757415771484375}, {"parameter": "[8, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 211758271485421061631632070009428506605682373046875}, {"parameter": "[8, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758236813592374520505988369601055480468750000000}, {"parameter": "[8, 7, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 211758237978626546380925590710309957157562255859375}, {"parameter": "[8, 7, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 211758271486811482912791336460043435804901123046875}, {"parameter": "[8, 7, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758236814982795801665254820215984679687500000000}, {"parameter": "[8, 7, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 211758237980016967662084857160924886356781005859375}, {"parameter": "[8, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 212195131115118090255907578294295479757965087890625}, {"parameter": "[8, 8, 3],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 212195131115032193341087262025798149323699951171875}, {"parameter": "[8, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758236858748093954596566584033181173980712890625}, {"parameter": "[8, 8, 3],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 211758236858662197039776250315535850739715576171875}, {"parameter": "[8, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758236815544690257671208102053248388946533203125}, {"parameter": "[8, 8, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 211758236815458793342850891833555917954681396484375}, {"parameter": "[8, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758236813736676973937559531104081442535400390625}, {"parameter": "[8, 8, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 211758236813650780059117243262606751008270263671875}, {"parameter": "[8, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758236813666714537051607136236129793060302734375}, {"parameter": "[8, 8, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 211758236813580817622231290867738799358795166015625}, {"parameter": "[8, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758236813663955264986824588840299949310302734375}, {"parameter": "[8, 8, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 211758236813578058350166508320342969515045166015625}, {"parameter": "[8, 8, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758236815054465563509364993953631972930908203125}, {"parameter": "[8, 8, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 211758236814968568648689048725456301538665771484375}, {"parameter": "[8, 9, 2],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 42351648481167291906778214968588705277679443359375}, {"parameter": "[8, 9, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 42351647409680634793883586286574488801239013671875}, {"parameter": "[8, 9, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 42351647364540918229604518447317156114984130859375}, {"parameter": "[8, 9, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 42351647362790170844063682576125251079412158203125}, {"parameter": "[8, 9, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 42351647362720749343962867861336705595355740234375}, {"parameter": "[8, 9, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 42351647362717990543565008016082074967669984765625}, {"parameter": "[8, 9, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 42351647364108518635151156617101514745684324609375}, {"parameter": "[9, 2, 8],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 4064524103476071693618619442451000213623046875}, {"parameter": "[9, 2, 8],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 542111491420904402068461563171387908935546875}, {"parameter": "[9, 2, 8],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 4211291295645036997433209354087650726318359375}, {"parameter": "[9, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 4064522716251514246065822057890892028808593750}, {"parameter": "[9, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 542110104196346954515664178611279724121093750}, {"parameter": "[9, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 4211289908420479549880411969527542541503906250}, {"parameter": "[9, 3, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 4064522715700843625851744413840770721435546875}, {"parameter": "[9, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 542110103645676334301586534561158416748046875}, {"parameter": "[9, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 4211289907869808929666334325477421234130859375}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4064522787838510200996720791327953338623046875}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 542110175783342909446562912048341033935546875}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4211289980007475504811310702964603851318359375}, {"parameter": "[9, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 4064522715697292330984678678679466247558593750}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 542110103642125039434520799399853942871093750}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 4211289907866257634799268590316116760253906250}, {"parameter": "[9, 4, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 4064522715700991655209404975640773773193359375}, {"parameter": "[9, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 542110103645824363659247096361161468505859375}, {"parameter": "[9, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 4211289907869956959023994887277424285888671875}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4064531804797448148448789120185375213623046875}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 542119192742280856898631240905762908935546875}, {"parameter": "[9, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 4211298996966413452263379031822025726318359375}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4064522715697475593694323301780223846435546875}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 542110103642308302144165422500611541748046875}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 4211289907866440897508913213416874359130859375}, {"parameter": "[9, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 4064522715697292390101682954001426696777343750}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 542110103642125098551525074721814392089843750}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 4211289907866257693916272865638077209472656250}, {"parameter": "[9, 5, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 4064522715700877913820767403113842010498046875}, {"parameter": "[9, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 542110103645710622270609523834229705810546875}, {"parameter": "[9, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 4211289907869843217635357314750492523193359375}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4065660297577620187651449442374706268310546875}, {"parameter": "[9, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 543247685522452896101291563095093963623046875}, {"parameter": "[9, 6, 4],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 4212427489746585491466039354011356781005859375}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4064522715720559008575468779075145721435546875}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 542110103665391717025310899795533416748046875}, {"parameter": "[9, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 4211289907889524312390058690711796234130859375}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4064522715697483288738014747369289398193359375}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 542110103642315997187856868089677093505859375}, {"parameter": "[9, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 4211289907866448592552604659005939910888671875}, {"parameter": "[9, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 4064522715697292344677921987700462341308593750}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 542110103642125053127764108420850036621093750}, {"parameter": "[9, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 4211289907866257648492511899337112854003906250}, {"parameter": "[9, 6, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 4064522715700851249634232493269443511962890625}, {"parameter": "[9, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 542110103645683958084074613989831207275390625}, {"parameter": "[9, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 4211289907869816553448822404906094024658203125}, {"parameter": "[9, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 684171950121147029683170959242827880859375000}, {"parameter": "[9, 7, 3],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 684126863124290011587872793258668182373046875}, {"parameter": "[9, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 542155193551190252361029424590117919921875000}, {"parameter": "[9, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 542110106554333234265731258605958221435546875}, {"parameter": "[9, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 542155190663218236655450652267196166992187500}, {"parameter": "[9, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 542110103666361218560152486283036468505859375}, {"parameter": "[9, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 542155190639167102638738250270342529296875000}, {"parameter": "[9, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 542110103642310084543440084286182830810546875}, {"parameter": "[9, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 542155190638982060574452739823414276123046875}, {"parameter": "[9, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 542110103642125042479154573839254577636718750}, {"parameter": "[9, 7, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 542155190642540399746232849591273925781250000}, {"parameter": "[9, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 542110103645683381650934683607114227294921875}, {"parameter": "[9, 8, 2],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 4064531733096662315792003546108247039794921875}, {"parameter": "[9, 8, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 542110467205027894968746904253907440185546875}, {"parameter": "[9, 8, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 542110106675674990865161854399057366943359375}, {"parameter": "[9, 8, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 542110103665616282200217723830223905810546875}, {"parameter": "[9, 8, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 542110103642308698452980558828604554275390625}, {"parameter": "[9, 8, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 542110103642125042248950235076656935783593750}, {"parameter": "[9, 8, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 542110103645683609489638930945754966105859375}, {"parameter": "[10, 2, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 592911643711131357843886321862107513427734375}, {"parameter": "[10, 2, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 592911643711131357843886321862107513427734375}, {"parameter": "[10, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 592911643707585747318706667502290008544921875}, {"parameter": "[10, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 592911643707585747318706667502290008544921875}, {"parameter": "[10, 3, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578653260032838662034271240234375}, {"parameter": "[10, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578653260032838662034271240234375}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 592911643712202785334448522408372161865234375}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 592911643712202785334448522408372161865234375}, {"parameter": "[10, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578644183269894202119110107421875}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578644183269894202119110107421875}, {"parameter": "[10, 4, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578653638987994273072479248046875}, {"parameter": "[10, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578653638987994273072479248046875}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 592911646620713296826795762856370208740234375}, {"parameter": "[10, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 592911646620713296826795762856370208740234375}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578656002887214501267669677734375}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578656002887214501267669677734375}, {"parameter": "[10, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578644184027561982041595458984375}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578644184027561982041595458984375}, {"parameter": "[10, 5, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578653347810039360886810302734375}, {"parameter": "[10, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578653347810039360886810302734375}, {"parameter": "[10, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 592913466747060810606137496941453216552734375}, {"parameter": "[10, 6, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 592913466747060810606137496941453216552734375}, {"parameter": "[10, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 592911643707586101789796634910203216552734375}, {"parameter": "[10, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 592911643707586101789796634910203216552734375}, {"parameter": "[10, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578656496127676534473846435546875}, {"parameter": "[10, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578656496127676534473846435546875}, {"parameter": "[10, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578644183445392426108367919921875}, {"parameter": "[10, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578644183445392426108367919921875}, {"parameter": "[10, 6, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578653279549721831517608642578125}, {"parameter": "[10, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578653279549721831517608642578125}, {"parameter": "[10, 7, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 593139232213783372212413355621171234130859375}, {"parameter": "[10, 7, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 592911643712245625239431910025042474365234375}, {"parameter": "[10, 7, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 592911643707586412523364105523443530810546875}, {"parameter": "[10, 7, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578656117136265840529590740234375}, {"parameter": "[10, 7, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578644183308915477652848312890625}, {"parameter": "[10, 7, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 592911643707578653278074052993295828887109375}, {"parameter": "[11, 2, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 88771746159296132273391191373040467498779296875}, {"parameter": "[11, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 88771746159296132264387188004722386596679687500}, {"parameter": "[11, 3, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 88771746159296132264296267638375550506591796875}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 88771746159296132560332222609689027069091796875}, {"parameter": "[11, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 88771746159296132264296244588126927612304687500}, {"parameter": "[11, 4, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 88771746159296132264296268608500748870849609375}, {"parameter": "[11, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 88771746159297064763322554747383118865966796875}, {"parameter": "[11, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 88771746159296132264297002207415516326904296875}, {"parameter": "[11, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 88771746159296132264296244597827558715820312500}, {"parameter": "[11, 5, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 88771746159296132264296267863085184295654296875}, {"parameter": "[11, 6, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 88771746159879691099995080128499697625732421875}, {"parameter": "[11, 6, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 88771746159296132266683441862665788823779296875}, {"parameter": "[11, 6, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 88771746159296132264297033784505692569412109375}, {"parameter": "[11, 6, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 88771746159296132264296244590373880136029687500}, {"parameter": "[11, 6, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 88771746159296132264296267688338771420469140625}, {"parameter": "[8, 2, 6, 3],[0, 6, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 437437522377678599379155107857751846313476562500}, {"parameter": "[8, 2, 6, 3],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 437437522377678599379155107857751846313476562500}, {"parameter": "[8, 2, 7, 2],[0, 6, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 544339372844978734608186576700210571289062500}, {"parameter": "[8, 2, 7, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 544339372844978734608186576700210571289062500}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 874330703994843573366299169138073921203613281250}, {"parameter": "[8, 3, 5, 3],[0, 6, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 874330703994736991955935154110193252563476562500}, {"parameter": "[8, 3, 6, 2],[0, 5, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 437437520990009952721752247857022285461425781250}, {"parameter": "[8, 3, 6, 2],[0, 5, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 437437520990009952721752247857022285461425781250}, {"parameter": "[8, 3, 6, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 437437520989903371311388232829141616821289062500}, {"parameter": "[8, 3, 6, 2],[0, 6, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 437437520989903371311388232829141616821289062500}, {"parameter": "[9, 2, 6, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 7044844646691410885462911055421829223632812500}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 1060574958257214524008954814733844032330134965081535}], "request": [5, 19, 4, 8], "liftedmrdsizebound": 663192126356668159338558053929654347115549866317289284, "comments": "", "equal_bound_constraints": []}