{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "", "name": "singleton", "value": 1089491124906108051165135239699867397777196296355089299912829976}, {"parameter": "6", "name": "ilp_2", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "8", "name": "ilp_3", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "", "name": "anticode", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "", "name": "linear_programming_bound", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "", "name": "sphere_packing", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "1", "name": "ilp_1", "value": 968436757704708895038617281273826579399334236485289514875132039}, {"parameter": "2", "name": "ilp_1", "value": 968436757704708895038617281273826579399334236485289542769465567}, {"parameter": "3", "name": "ilp_1", "value": 968436757704708895038617281273826579399334346023102991103747511}, {"parameter": "4", "name": "ilp_1", "value": 968436757704708895038617281274046372844934337196268004009025575}, {"parameter": "5", "name": "ilp_1", "value": 968436757704708895045524106875628425938966769189557306658397840}, {"parameter": "9", "name": "ilp_4", "value": 6353903088938815942855833221044191293165941938593818615804505933680}, {"parameter": "10", "name": "ilp_4", "value": 6353903088936621414801206797569611454794279033217713555526150332343}, {"parameter": "11", "name": "ilp_4", "value": 6353903088936621413884194445314901540572655362445608742175923417430}, {"parameter": "12", "name": "ilp_4", "value": 6353903088936621413884194360175393725705674703577829367362041403999}, {"parameter": "13", "name": "ilp_4", "value": 6353903088936621413884194360175393447543725523120629964878530806295}, {"parameter": "14", "name": "ilp_4", "value": 6353903088936621413884194443983177136327593211560553158356154399936}, {"parameter": "15", "name": "ilp_4", "value": 705990398366493416453447329829395276766518122294063076214055318710}, {"parameter": "16", "name": "ilp_4", "value": 78443375796490105892312246331882714029504022704888551143532753412}, {"parameter": "17", "name": "ilp_4", "value": 8715930821811224052448688316634358904958108280236000985210118789}, {"parameter": "", "name": "johnson_1", "value": 968436757704708895038617281273826579399334236485289514875132039}, {"parameter": "", "name": "johnson_2", "value": 8715930821811224052448688316634358904958108280236000985210118789}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 6353903088938815942855833221044191293165941938593818615804505933680}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 6353903088936621414801206797569611454794279033217713555526150332343}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 6353903088936621413884194445314901540572655362445608742175923417430}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 6353903088936621413884194360175393725705674703577829367362041403999}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 6353903088936621413884194360175393447543725523120629964878530806295}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 6353903088936621413884194443983177136327593211560553158356154399936}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 705990398366493416453447329829395276766518122294063076214055318710}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 78443375796490105892312246331882714029504022704888551143532753412}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 8715930821811224052448688316634358904958108280236000985210118789}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 968436757979024848834382521883865168684533770520810631218958209}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 968436758225908835675958573904510371419121245766697888332402764}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 968436760447864722914584456236005972918470509815613314168376165}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 968436780445468166881982587027647342601685920209877433275533388}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 968436960423936326997305621624472877448263908137630109945568905}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 968438580233160090799815144471243889574005163388589982941689322}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 968453158760014232740174178007780437620884367462452712648561840}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 968584385255769892801381872663013868781687901707087986614125318}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 969767025992002634513430020775914361139234573331830260245594416}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 980542196921810631417613974930034270663476433093790348279188401}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 1089491124906108051165135239699867397777196296355089299912829976}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 968436757704708895045524106875628425938966769189557306658397840}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 968436757704708895038617281274046372844934337196268004009025575}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 968436757704708895038617281273826579399334346023102991103747511}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 968436757704708895038617281273826579399327343074561850823856303}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 968436757704708895038617281273826579399327343074561847336651269}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 6353914897343667863758433516408835959580814506892488434537348622796}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 6353925524929758023585767663388355328494196208752675207994505243886}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 6354021174804410809553261389179569251281840327392411229833061792730}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 6354882153283162073502097512938739665396232648687584187435024901510}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 6362641472149658876056113368508535654137059338210669746139868872656}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 6433337488488629430906098108448282565154536591589205235789569272807}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 7148152764782359019943646457263127589258812452651970587034558182456}, {"parameter": "", "name": "improved_johnson", "value": 968436757704708895038617281273826579399334236485289514875132003}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 705990412944773721082931925606297309675926277013038431072165994225}], "known_codes": [], "upper_bound": 968436757704708895038617281273826579399327343074561847336651269, "classified": false, "lower_bound": 955152483704134026531065483605449770742908421375268890568749019, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 955004950796825236893190701774414011919935138974343129836853841}, {"parameter": "", "name": "sphere_covering", "value": 1619808885159214694866254629985172668827445670589158248551}, {"parameter": "", "name": "graham_sloane", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "", "name": "multicomponent", "value": 955004950800206628806725400632526795935463615911951788341774566}, {"parameter": "", "name": "construction_ST_B", "value": 955150553011847474402458492883299732566152861270424091029615452}, {"parameter": "", "name": "EF_special", "value": 955152483703990438603592115845721099567855543645243756034671222}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 955004950800676844670950807915850310946964648833359863117061842}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 955150530823663650135124537790153890793069457201927568086937605}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 955150553011847474402458483870883466445874381784416742078982572}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 955152483704134026531065483605449770742908421375268890568749019}, {"parameter": "", "name": "two_pivot_block_construction", "value": 955150530819812503760699906658684438725843584600433065658941440}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 1310247630847000762679935057484379711104568199491856838028089}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 955150553011888717175258579527287947138426218440798865311967690}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 955005177919034617303479428736464017946519264388774386563199196}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 955005177919034617303479428736216792711458203489879021428770964}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 955005177919034617303479428736185890080423203904877638000478956}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 955005177919034617303479428736185889557075572228368818459959524}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1797322703260431893431660073691493200572780036085194762904}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1797322703260431893431660104213127158728446566377186667624}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1797322703260431893431660073352363934371050407970839297296}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1797322703260431893431660073309972784958772324109045960024}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 16375229359725441430588151290718486564436628976373418564305}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 16375229359725441430588151294152112234992138420971577263417}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 16375229359725441430588151294152112234992138420971577263417}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 16375229359725441430588151290718486564436628976373418564305}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 145779930877898976881074259792092950335423029529135246421624}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 145779930877898976881074259792135341484835307612997039758896}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 145779930877898976881074259822996104709192703771403387129224}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 145779930877898976881074259792474470751037037241111395224504}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1310226057540467473089237243242590414607259326497127845669044}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1310226057540467473089237243242590937954891003005947386188476}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1310226057540467473089237243273493568989890588007330814480484}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1310226057540467473089237243520718804050951486902695948908716}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 955005177919034617303479428736185889557075570877517100786967435}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 1797322703260431893431660073309972776095834204456544864095}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 16375229359725441430588151290718428414699625936313728174136}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 145779930877898976881074259792092950326560091409482745325695}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 1310226057540467473089237243242590414607257975645410172676955}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 955005177919034617303479428736185889557075570877517100786967435}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 1797322703260431893431660073309972776095834204456544864095}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 16375229359725441430588151290718428414699625936313728174136}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 145779930877898976881074259792092950326560091409482745325695}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 1310226057540467473089237243242590414607257975645410172676955}, {"parameter": "7", "name": "linkage_GLT", "value": 955004950796825236893190701774414011919935248410500337405505675}, {"parameter": "8", "name": "linkage_GLT", "value": 1797010299914431210413179829509605039731475650449549669215}, {"parameter": "9", "name": "linkage_GLT", "value": 16375228926428355951772644174984581142496578420384719928376}, {"parameter": "10", "name": "linkage_GLT", "value": 145779930877311932130267279751648884820181512125669266487295}, {"parameter": "11", "name": "linkage_GLT", "value": 1310226053688859695329131101806291387577748116628676892468955}, {"parameter": "7", "name": "improved_linkage", "value": 955004950800207214870767331362016734101078998805683608667284835}, {"parameter": "8", "name": "improved_linkage", "value": 1797010299920794998653429578960032443777378688677285955856}, {"parameter": "9", "name": "improved_linkage", "value": 16375228926428355963747234743005810955517969571639097552751}, {"parameter": "10", "name": "improved_linkage", "value": 145779930877311932130267282255237777918241883196654690032578}, {"parameter": "11", "name": "improved_linkage", "value": 1310226053688859695329131101806291911015006889339076115206954}, {"parameter": "12", "name": "improved_linkage", "value": 1310244855815481981904074254025530155237598138237748403213834}, {"parameter": "13", "name": "improved_linkage", "value": 1310247321276459469168045494324921547997333910830402497779778}, {"parameter": "14", "name": "improved_linkage", "value": 1310247595216625352839770978651809710056584796598751613628455}, {"parameter": "15", "name": "improved_linkage", "value": 145583062799515007801808293173984953978236647591766902896256}, {"parameter": "16", "name": "improved_linkage", "value": 16175895825431714441986604508023466113646738691107700941187}, {"parameter": "7,0", "name": "generalized_linkage", "value": 955005177919034617303479428736185889557075570877517100786967435}, {"parameter": "7,1", "name": "generalized_linkage", "value": 955004953604605687901259456382140248533079298759943872493031841}, {"parameter": "7,2", "name": "generalized_linkage", "value": 955004950831489265461875583736075424603638356426342222287066645}, {"parameter": "7,3", "name": "generalized_linkage", "value": 955004950797252616104279283606464867441394363450388861533580532}, {"parameter": "7,4", "name": "generalized_linkage", "value": 955004950796825815997920564501614000813703316152906818408154246}, {"parameter": "7,5", "name": "generalized_linkage", "value": 955004950800207214870767331362016734101078998805683608667284835}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1797322703260431893431660073309972776095834204456544864095}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1797014156693097007250755724589918854802457125125313651339}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1797010305205012967533295120925673767590659584072243076401}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1797010299921678732527198340600078320399523486793297756389}, {"parameter": "8,4", "name": "generalized_linkage", "value": 1797010299914441029577445606918051717272219656131474147261}, {"parameter": "8,5", "name": "generalized_linkage", "value": 1797010299920794998653429578960032443777378688677285955856}, {"parameter": "9,0", "name": "generalized_linkage", "value": 16375229359725441430588151290718428414699625936313728174136}, {"parameter": "9,1", "name": "generalized_linkage", "value": 16375228927017084104759295740044936194276688125704767032762}, {"parameter": "9,2", "name": "generalized_linkage", "value": 16375228926429162431135690837119687765530864383221009628502}, {"parameter": "9,3", "name": "generalized_linkage", "value": 16375228926428356074528315568303931885009876563971877295628}, {"parameter": "9,4", "name": "generalized_linkage", "value": 16375228926428355951791123164604537926095453363795902826832}, {"parameter": "9,5", "name": "generalized_linkage", "value": 16375228926428355963747234743005810955517969571639097552751}, {"parameter": "10,0", "name": "generalized_linkage", "value": 145779930877898976881074259792092950326560091409482745325695}, {"parameter": "10,1", "name": "generalized_linkage", "value": 145779930877312022846344273416322881869011348038786784546650}, {"parameter": "10,2", "name": "generalized_linkage", "value": 145779930877311932143944003463308576929391627652324478843388}, {"parameter": "10,3", "name": "generalized_linkage", "value": 145779930877311932130269358634662264779812955756055916778664}, {"parameter": "10,4", "name": "generalized_linkage", "value": 145779930877311932130267279786420821920452663946035751827294}, {"parameter": "10,5", "name": "generalized_linkage", "value": 145779930877311932130267282255237777918241883196654690032578}, {"parameter": "11,0", "name": "generalized_linkage", "value": 1310226057540467473089237243242590414607257975645410172676955}, {"parameter": "11,1", "name": "generalized_linkage", "value": 1310226053688859695342787014605590432664700714676488885840555}, {"parameter": "11,2", "name": "generalized_linkage", "value": 1310226053688859695329131335960782532780608024446734493020822}, {"parameter": "11,3", "name": "generalized_linkage", "value": 1310226053688859695329131101810208527572013661456474917106008}, {"parameter": "11,4", "name": "generalized_linkage", "value": 1310226053688859695329131101806291453006452862474954333114368}, {"parameter": "11,5", "name": "generalized_linkage", "value": 1310226053688859695329131101806291911015006889339076115206954}, {"parameter": "12,1", "name": "generalized_linkage", "value": 1310244855815481991859236763236597117851158417188844068984137}, {"parameter": "12,2", "name": "generalized_linkage", "value": 1310244855815481981904074254029446633596927013680026592188401}, {"parameter": "12,3", "name": "generalized_linkage", "value": 1310244855815481981904074254025530162689031411317233807487020}, {"parameter": "12,4", "name": "generalized_linkage", "value": 1310244855815481981904074254025530155237502400320672282730994}, {"parameter": "12,5", "name": "generalized_linkage", "value": 1310244855815481981904074254025530155237598138237748403213834}, {"parameter": "13,2", "name": "generalized_linkage", "value": 1310247321276459469168045494642156302470276137191008091468085}, {"parameter": "13,3", "name": "generalized_linkage", "value": 1310247321276459469168045494324921547997347759119345349590165}, {"parameter": "13,4", "name": "generalized_linkage", "value": 1310247321276459469168045494324921547997333910810386137806472}, {"parameter": "13,5", "name": "generalized_linkage", "value": 1310247321276459469168045494324921547997333910830402497779778}, {"parameter": "14,3", "name": "generalized_linkage", "value": 1310247595216625352839770978651809710056709431405474335400932}, {"parameter": "14,4", "name": "generalized_linkage", "value": 1310247595216625352839770978651809710056584796598751609383578}, {"parameter": "14,5", "name": "generalized_linkage", "value": 1310247595216625352839770978651809710056584796598751613628455}, {"parameter": "15,4", "name": "generalized_linkage", "value": 145583062799515007801808293173984953978236647591766903494126}, {"parameter": "15,5", "name": "generalized_linkage", "value": 145583062799515007801808293173984953978236647591766902896256}, {"parameter": "16,5", "name": "generalized_linkage", "value": 16175895825431714441986604508023466113646738691107700941187}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 955005177919034617303479428736185889557075570877517100786967435}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 955004953604605687901259456382140248533079298759943872493031841}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 955004950831489265461875583736075424603638356426342222287066645}, {"parameter": "[7, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 955004950797252616104279283606464867441394363450388861533580532}, {"parameter": "[7, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 955004950796825815997920564501614000813703316152906818408154246}, {"parameter": "[7, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 955004950800207214870767331362016734101078998805683608667284835}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1797322703260431893431660073309972776095834204456544864095}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1797014156693097007250755724589918854802457125125313651339}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1797010305205012967533295120925673767590659584072243076401}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1797010299921678732527198340600078320399523486793297756389}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1797010299914441029577445606918051717272219656131474147261}, {"parameter": "[8, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1797010299920794998653429578960032443777378688677285955856}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16375229359725441430588151290718428414699625936313728174136}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16375228927017084104759295740044936194276688125704767032762}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16375228926429162431135690837119687765530864383221009628502}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 16375228926428356074528315568303931885009876563971877295628}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 16375228926428355951791123164604537926095453363795902826832}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 16375228926428355963747234743005810955517969571639097552751}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 145779930877898976881074259792092950326560091409482745325695}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 145779930877312022846344273416322881869011348038786784546650}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 145779930877311932143944003463308576929391627652324478843388}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 145779930877311932130269358634662264779812955756055916778664}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 145779930877311932130267279786420821920452663946035751827294}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 145779930877311932130267282255237777918241883196654690032578}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1310226057540467473089237243242590414607257975645410172676955}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1310226053688859695342787014605590432664700714676488885840555}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310226053688859695329131335960782532780608024446734493020822}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310226053688859695329131101810208527572013661456474917106008}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310226053688859695329131101806291453006452862474954333114368}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310226053688859695329131101806291911015006889339076115206954}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1310244855815481991859236763236597117851158417188844068984137}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310244855815481981904074254029446633596927013680026592188401}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310244855815481981904074254025530162689031411317233807487020}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310244855815481981904074254025530155237502400320672282730994}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310244855815481981904074254025530155237598138237748403213834}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310247321276459469168045494642156302470276137191008091468085}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310247321276459469168045494324921547997347759119345349590165}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247321276459469168045494324921547997333910810386137806472}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247321276459469168045494324921547997333910830402497779778}, {"parameter": "[14, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310247595216625352839770978651809710056709431405474335400932}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247595216625352839770978651809710056584796598751609383578}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247595216625352839770978651809710056584796598751613628455}, {"parameter": "[15, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 145583062799515007801808293173984953978236647591766903494126}, {"parameter": "[15, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 145583062799515007801808293173984953978236647591766902896256}, {"parameter": "[16, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 16175895825431714441986604508023466113646738691107700941187}, {"parameter": "[7, 2, 9],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 16173096128693353332250262678483405398655174650610645788662}, {"parameter": "[7, 2, 9],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 16173096128172400459512351009845967442907937112500318217944}, {"parameter": "[7, 2, 9],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 16400218290002204705171923167685554890256354020339061919764}, {"parameter": "[7, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 145557834341126094833002593514825444332598589772378614085693}, {"parameter": "[7, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 145557834341719491334416238227574705284471256249819483286184}, {"parameter": "[7, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 145557834341198538461678326558937267328724018711709155715466}, {"parameter": "[7, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 145784956503028342707337898716776854776072435619547899417286}, {"parameter": "[7, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 145557834340553453143300358702562709743970121691598494616803}, {"parameter": "[7, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 145557834341146849644714003415311970695842788169039363817294}, {"parameter": "[7, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 145557834340625896771976091746674532740095550630929036246576}, {"parameter": "[7, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 145784956502455701017635663904514120187443967538767779948396}, {"parameter": "[7, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1310247595643930492367312539002303504016259590249130851307075}, {"parameter": "[7, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1310020509112403654334471592097651207930723332344131813548107}, {"parameter": "[7, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020509112997050835885236810400468882595998821572682748598}, {"parameter": "[7, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020509112476097963147325141763030926848761283462355177880}, {"parameter": "[7, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247631274305902208806897299602618374197178191301098879700}, {"parameter": "[7, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 1310247595216625353927939580800224397509589390138145445724269}, {"parameter": "[7, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685098515895098633895572101424053132233146407965301}, {"parameter": "[7, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685691912396512278608321362375925798710587277165792}, {"parameter": "[7, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685170959523774366939683924420178561172476949595074}, {"parameter": "[7, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247630847000763769433939097523511867526978080315693296894}, {"parameter": "[7, 4, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 1310247595216683332712396021043287813088798951633331101558686}, {"parameter": "[7, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685156494679555074138635517003262693728332063799718}, {"parameter": "[7, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685749891180968718851384777955135360205772933000209}, {"parameter": "[7, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685228938308230807182747339999388122667662605429491}, {"parameter": "[7, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247630847058742553890379340586927446736539575501349131311}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1310247629874653344636206068993784114305423047042611468423867}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020543343126506603365122089131818219886789137612430664899}, {"parameter": "[7, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020543343719903104778766801881079171759455615053299865390}, {"parameter": "[7, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020543343198950232040855133243641216012218076942972294672}, {"parameter": "[7, 5, 6],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247665505028754477700427291083228663360634984781715996492}, {"parameter": "[7, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1310247595216625442177330315421649504724798711586911475179531}, {"parameter": "[7, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685098604144489368516997208639262453681912437420563}, {"parameter": "[7, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685692000645903013229746469591135120159353306621054}, {"parameter": "[7, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685171047773165101561109031635387882621242979050336}, {"parameter": "[7, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247630847000852018824673718948619082736299529081722752156}, {"parameter": "[7, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1310247595216625353941556468897126577570928355713962008755030}, {"parameter": "[7, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685098515908715521992474281485392097808962970996062}, {"parameter": "[7, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685691912410129166705223542437264764286403840196553}, {"parameter": "[7, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685170959537391255036586104481517526748293512625835}, {"parameter": "[7, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247630847000763783050827194425691928865943656132256327655}, {"parameter": "[7, 5, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1310247595216682704382826952793078241813385329213032682126384}, {"parameter": "[7, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685155866349986005888425945727849071308033644367416}, {"parameter": "[7, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685749262851399650601175206679721737785474513567907}, {"parameter": "[7, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685228309978661738932537768723974500247364185997189}, {"parameter": "[7, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247630847058114224321311090377356171322917155202929699009}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310023354868734611830706515889661417507833383022141086195067}, {"parameter": "[7, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310023315937308979380324951357896572707797130556936800979379}, {"parameter": "[7, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310023315937308176574306939073176699231415036158394178599010}, {"parameter": "[7, 6, 5],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310023315984858682111686510502942003950638878277295231636104}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020547569054134285978307132385357746397870837434099171467}, {"parameter": "[7, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637628501835596742600620512946361618372229813955779}, {"parameter": "[7, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637627699029578730315900639469979523973687191575410}, {"parameter": "[7, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685178204566958301745665944189203366092588244612504}, {"parameter": "[7, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020547569046978608769697474943777687946745543631601529702}, {"parameter": "[7, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637621346158388132943178932887910493078427316314014}, {"parameter": "[7, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637620543352370120658459059411528398679884693933645}, {"parameter": "[7, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685171048889749692088224364130752240798785746970739}, {"parameter": "[7, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020547569046889244456762958402281352255133562243254925620}, {"parameter": "[7, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637621256794075198426637436552218881097038969709932}, {"parameter": "[7, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637620453988057186141917563075836786698496347329563}, {"parameter": "[7, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685170959525436757571682867795060628817397400366657}, {"parameter": "[7, 6, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1310020547569104161307137681888933643602602050856494514316580}, {"parameter": "[7, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637678528856756117357168798802565798391290229100892}, {"parameter": "[7, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637677726050738105072448925326183703992747606720523}, {"parameter": "[7, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508685228231588117676502214230045407546111648659757617}, {"parameter": "[7, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310247595216699424398150691422279297689636638275003217977395}, {"parameter": "[7, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310247595216625352838629559263868708967730952483017496477629}, {"parameter": "[7, 7, 4],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310247595216625362889009481005507871244126012121617274444766}, {"parameter": "[7, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508638281360577043759556909443498111717431846793931555}, {"parameter": "[7, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508638207289017522627398498854776206031639861072431789}, {"parameter": "[7, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508638207299067902549140138017052601091278460850398926}, {"parameter": "[7, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637701760647969112917356386124587483849705011999718}, {"parameter": "[7, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637627689088447980758945797402681798057719290499952}, {"parameter": "[7, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637627699138827902500584959679076857696319068467089}, {"parameter": "[7, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637694513426123707509706521590332850418479971663768}, {"parameter": "[7, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637620441866602575351295932868427164626494250164002}, {"parameter": "[7, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637620451916982497092935095144822224265094028131139}, {"parameter": "[7, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637694425040587914291839109557373448339601197613272}, {"parameter": "[7, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637620353481066782133428520835467762547615476113506}, {"parameter": "[7, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637620363531446703875067683111862822186215254080643}, {"parameter": "[7, 7, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637751697926646767769172604261423315557459009678426}, {"parameter": "[7, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637677626367125635610762015539517629765473288178660}, {"parameter": "[7, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1310020508637677636417505557352401177815912689404073066145797}, {"parameter": "[7, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 145557834340547090459561038836756454928532219601555919166102}, {"parameter": "[7, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 145557834340547090457861298145663444939614076616445882833123}, {"parameter": "[7, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 145557834293663200383605371279962460826345287225975619689569}, {"parameter": "[7, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 145557834293663200381905630588869450837427144240865583356590}, {"parameter": "[7, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 145557834293076185234222511154630506007403798605709597753475}, {"parameter": "[7, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 145557834293076185232522770463537496018485655620599561420496}, {"parameter": "[7, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 145557834293069017398076463512639339042841969034572796220959}, {"parameter": "[7, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 145557834293069017396376722821546329053923826049462759887980}, {"parameter": "[7, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 145557834293068929134854845691298117096517932466515647222101}, {"parameter": "[7, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 145557834293068929133155105000205107107599789481405610889122}, {"parameter": "[7, 8, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 145557834293126202128669332135935448626826466238684768338025}, {"parameter": "[7, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 145557834293126202126969591444842438637908323253574732005046}, {"parameter": "[7, 9, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 16173092747301439809525995133721143030820497911161472372742}, {"parameter": "[7, 9, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 16173092699817713085656771530915583713385252644877528067096}, {"parameter": "[7, 9, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 16173092699237128163337400813239363371526751519910416968276}, {"parameter": "[7, 9, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 16173092699229970247910015415829484957461512920952751864250}, {"parameter": "[7, 9, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 16173092699229881983408207714388296443442601411394613996086}, {"parameter": "[7, 9, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 16173092699287154989195231784583212492203098129373331218437}, {"parameter": "[8, 2, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 30432598800659968901795099209672137835772795317368819}, {"parameter": "[8, 2, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 30432599615752729020631052276439867266524686912316278}, {"parameter": "[8, 2, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 342835879585072996702558152094095297428897896650611064}, {"parameter": "[8, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 585820142666208541578358310566109589921417709442979942}, {"parameter": "[8, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 273892810221428286906529542973738986373440519586907310}, {"parameter": "[8, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892811036521047025365496040506715804192411181854769}, {"parameter": "[8, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 586296091005841314707292595858162145966565620920149555}, {"parameter": "[8, 3, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 585820142656403051643840016359243945839536447863427203}, {"parameter": "[8, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 273892810211622796972011248766873342291559258007354571}, {"parameter": "[8, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892811026715557090847201833641071722311149602302030}, {"parameter": "[8, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 586296090996035824772774301651296501884684359340596816}, {"parameter": "[8, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 585820149902658598240518437618414900511684324567566715}, {"parameter": "[8, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892817457878343568689670026044296963707134711494083}, {"parameter": "[8, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892818272971103687525623092812026394459026306441542}, {"parameter": "[8, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 586296098242291371369452722910467456556832236044736328}, {"parameter": "[8, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 585820142656391081181244968433913456178278759406717702}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892810211610826509416200841542852630301569550645070}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892811026703586628252153908310582061053461145592529}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 586296090996023854310179253725966012223426670883887315}, {"parameter": "[8, 4, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 585820142656403201279972949350233630883114204089394574}, {"parameter": "[8, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 273892810211622946608144181757863027335137014233321942}, {"parameter": "[8, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892811026715706726980134824630756765888905828269401}, {"parameter": "[8, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 586296090996035974408907234642286186928262115566564187}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 585825432332266309162122494059023895224155685134283387}, {"parameter": "[8, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 273898099887486054490293726466653291676178495278210755}, {"parameter": "[8, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 273898100702578814609129679533421021106930386873158214}, {"parameter": "[8, 5, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 586301380671899082291056779351076451269303596611453000}, {"parameter": "[8, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 585820142656392594143184856014227493820026090461260419}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892810211612339471356088421856890272048900605187787}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892811026705099590192041488624619702800792200135246}, {"parameter": "[8, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 586296090996025367272119141306280049865174001938430032}, {"parameter": "[8, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 585820142656391081206898830920802376332629693682082082}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892810211610826535070063328431772784652503826009450}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892811026703586653906016395199502215404395420956909}, {"parameter": "[8, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 586296090996023854335833116212854932377777605159251695}, {"parameter": "[8, 5, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 585820142656403069911868939424555757730389688747501616}, {"parameter": "[8, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 273892810211622815240040171832185154182412498891428984}, {"parameter": "[8, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892811026715575358876124898952883613164390486376443}, {"parameter": "[8, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 586296090996035843040803224716608313775537600224671229}, {"parameter": "[8, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 277754853298497596792416642051415397722835740061111723}, {"parameter": "[8, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 277748918619291955155755601369127146240110266227197964}, {"parameter": "[8, 6, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 277748984650518354934463603889286742218974984585361662}, {"parameter": "[8, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 273898679675788766253681331632327155490852123126271995}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744996583124617020290950038904008126649292358236}, {"parameter": "[8, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892811027809524395728293470198499986991367650521934}, {"parameter": "[8, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 273898679674684360383257022367654891001771603263369734}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995478718746595981685366639519046129429455975}, {"parameter": "[8, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892811026705118525303984205526235497910847787619673}, {"parameter": "[8, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 273898679674682828489337092719787697838386718671329730}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995477186852676052037499446355661244837415971}, {"parameter": "[8, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892811026703586631384054557659042334525963195579669}, {"parameter": "[8, 6, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 273898679674694800827313767408230028124884708895585716}, {"parameter": "[8, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744995489159190652726725941776642159235061671957}, {"parameter": "[8, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892811026715558969360729246101372621023953419835655}, {"parameter": "[8, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 585820142657631873407096606411739520877294545251744333}, {"parameter": "[8, 7, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 585820142656404714230618324142447476921243629876051443}, {"parameter": "[8, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892745802811738226848279229802060372992721734350629}, {"parameter": "[8, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892745801584579050369996960510016416941806358657739}, {"parameter": "[8, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744997701390247792437516840582579954394249574072}, {"parameter": "[8, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744996474231071314155247548538623903478873881182}, {"parameter": "[8, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744996583145381969878985908521049403321063133530}, {"parameter": "[8, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995355986205491596716616477093352405687440640}, {"parameter": "[8, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744996581630108696660851002274856237444774904932}, {"parameter": "[8, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995354470932218378581710230900186529399212042}, {"parameter": "[8, 7, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 273892744996593602621319228345823459198702810138374252}, {"parameter": "[8, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892744995366443444840946076531415242651894762681362}, {"parameter": "[8, 8, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 30432592437988162867813610537835509118972463486882419}, {"parameter": "[8, 8, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 30432528038024791271727763910050395453411749456726454}, {"parameter": "[8, 8, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 30432527222825799485113983618509852166556592282024760}, {"parameter": "[8, 8, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 30432527221719687440569320892832037154323322962087492}, {"parameter": "[8, 8, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 30432527221718174241271892421500850430704204406406970}, {"parameter": "[8, 8, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 30432527221730146776397295391237265373600915089835166}, {"parameter": "[9, 2, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 277743888207860042950313938934497557860178695752828902}, {"parameter": "[9, 2, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 277315939841697186809866753310133078340333523557233774}, {"parameter": "[9, 2, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 277749236837702611283871636228194459913718845833005161}, {"parameter": "[9, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 277743888207848088910922159269825214430388808005374690}, {"parameter": "[9, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 277315939841685232770474973645460734910543635809779562}, {"parameter": "[9, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 277749236837690657244479856563522116483928958085550949}, {"parameter": "[9, 3, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 277743888207848070437634532419702196721467550691809070}, {"parameter": "[9, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 277315939841685214297187346795337717201622378496213942}, {"parameter": "[9, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 277749236837690638771192229713399098775007700771985329}, {"parameter": "[9, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 277743888207970805087637790229679405655245789235967166}, {"parameter": "[9, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 277315939841807948947190604605314926135400617040372038}, {"parameter": "[9, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 277749236837813373421195487523376307708785939316143425}, {"parameter": "[9, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 277743888207848070435135239743588330068277151634259722}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 277315939841685214294688054119223850548431979438664594}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 277749236837690638768692937037285232121817301714435981}, {"parameter": "[9, 4, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 277743888207848070437665817617856939307021637197022929}, {"parameter": "[9, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 277315939841685214297218631993492459787176465001427801}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 277749236837690638771223514911553841360561787277199188}, {"parameter": "[9, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 277743889014200914976430113233071140693181530178103470}, {"parameter": "[9, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 277315940648038058835982927608706661173336357982508342}, {"parameter": "[9, 5, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 277749237644043483309987810526768042746721680258279729}, {"parameter": "[9, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 277743888207848070460792143795366829961166113460477126}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 277315939841685214320344958171002350441320941264881998}, {"parameter": "[9, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 277749236837690638794349841089063732014706263540653385}, {"parameter": "[9, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 277743888207848070435135288022397492359528459077919713}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 277315939841685214294688102398033012839683286882324585}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 277749236837690638768692985316094394413068609158095972}, {"parameter": "[9, 5, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 277743888207848070437638351810737987526679102523577347}, {"parameter": "[9, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 277315939841685214297191166186373508006833930327982219}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 277749236837690638771196049104434889580219252603753606}, {"parameter": "[9, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 277316528478167907894838089339139232930832773104244823}, {"parameter": "[9, 6, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 277316527672907388596840430976241839663657312468390734}, {"parameter": "[9, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 277315940646945902181030329707939341998122581358671303}, {"parameter": "[9, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 277315939841685382883032671345041948730947120722817214}, {"parameter": "[9, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 277315940646945733618663332596111070417935870139293442}, {"parameter": "[9, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 277315939841685214320665674233213677150760409503439353}, {"parameter": "[9, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 277315940646945733592685718376143395155482999891876956}, {"parameter": "[9, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 277315939841685214294688060013246001888307539256022867}, {"parameter": "[9, 6, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 277315940646945733595185397908747901260521745081030656}, {"parameter": "[9, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 277315939841685214297187739545850507993346284445176567}, {"parameter": "[9, 7, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 277743888297321461468242227843919776594282585443040342}, {"parameter": "[9, 7, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 277315939841808115200413311039236782010271843571941782}, {"parameter": "[9, 7, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 277315939841685384990101080901781655855596380908973625}, {"parameter": "[9, 7, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 277315939841685214320384112151967574928428867793065563}, {"parameter": "[9, 7, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 277315939841685214294688054725310056607646185959720719}, {"parameter": "[9, 7, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 277315939841685214297187775472499327485766786459250093}, {"parameter": "[10, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830607494026337815060314464691539670584}, {"parameter": "[10, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830607494026337815060314464691539670584}, {"parameter": "[10, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830605025636816083826273636213123924765}, {"parameter": "[10, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830605025636816083826273636213123924765}, {"parameter": "[10, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830604990871356169451740509656767096256}, {"parameter": "[10, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830604990871356169451740509656767096256}, {"parameter": "[10, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325832683547754142094231428644241248000480}, {"parameter": "[10, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325832683547754142094231428644241248000480}, {"parameter": "[10, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830604990870840090522161155485575838605}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830604990870840090522161155485575838605}, {"parameter": "[10, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830604990871362710409491802334088251067}, {"parameter": "[10, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830604990871362710409491802334088251067}, {"parameter": "[10, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 274311245946339486492133314757386441174521654192614416}, {"parameter": "[10, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 274311245946339486492133314757386441174521654192614416}, {"parameter": "[10, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830604991305407430876240474242399900840}, {"parameter": "[10, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830604991305407430876240474242399900840}, {"parameter": "[10, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830604990870840181368625646134073548775}, {"parameter": "[10, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830604990870840181368625646134073548775}, {"parameter": "[10, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830604990871356967991525273222078004989}, {"parameter": "[10, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830604990871356967991525273222078004989}, {"parameter": "[10, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 274311246035922106120939941922829113040966203527856128}, {"parameter": "[10, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830607845977596516905293183918309866584}, {"parameter": "[10, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830604991310838876397808756614399098395}, {"parameter": "[10, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830604990870840101612970630070011490115}, {"parameter": "[10, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 274311245946325830604990871356251566116076546647399881}, {"parameter": "[11, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 277787327137191391464241256430986527471087754009016588}, {"parameter": "[11, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 277787327137191391464241255973057334894773642508149106}, {"parameter": "[11, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 277787327137191391464241255907639003862716348307864276}, {"parameter": "[11, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 277787327137191391464245167079847282382300412396629788}, {"parameter": "[11, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 277787327137191391464241255907638908121097998635493098}, {"parameter": "[11, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 277787327137191391464241255907639005230268124472977895}, {"parameter": "[11, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 277787327137191391695505338275393685246477355176369396}, {"parameter": "[11, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 277787327137191391464241255908456623391664771601567076}, {"parameter": "[11, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 277787327137191391464241255907638908292041934915994319}, {"parameter": "[11, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 277787327137191391464241255907639004029671180079419833}, {"parameter": "[7, 2, 5, 4],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 227360519285422371428260873670286709850005447403979003300}, {"parameter": "[7, 2, 5, 4],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 227360471807269883540918756055285514505422294919004712428}, {"parameter": "[7, 2, 5, 4],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 227360519878818872841905586419547661722671924844848203791}, {"parameter": "[7, 2, 6, 3],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 273940280521189238801922204018943490431958770181373621}, {"parameter": "[7, 2, 6, 3],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940280431850699971851402989428969164389919966953460}, {"parameter": "[7, 2, 6, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 273940280521189238801922204018943490431958770181373621}, {"parameter": "[7, 2, 6, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940280431850699971851402989428969164389919966953460}, {"parameter": "[7, 2, 7, 2],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940280431850699971851402989428969164389919966953460}, {"parameter": "[7, 2, 7, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 273892802279362812629733787988233624581237434992662588}, {"parameter": "[7, 2, 7, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940873828352113616564152250380841830867360836153951}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227360519228159291956919005587814013836501070577253673382}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227360519228159291956919005587814013836501070577253673382}, {"parameter": "[7, 3, 4, 4],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 227360519228158214430552575006033039589898666043014162092}, {"parameter": "[7, 3, 4, 4],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227360519228158214430552575006033039589898666043014162092}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 273987701321259115972100935517928300243165578215914414}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 273987701321259115972100935517928300243165578215914414}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 273987701321259115972100935517928300243165578215914414}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 273987701321259115972100935517928300243165578215914414}, {"parameter": "[7, 3, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 273987701320181589605670353736954053640761043976403124}, {"parameter": "[7, 3, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 273987701320181589605670353736954053640761043976403124}, {"parameter": "[7, 3, 5, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 273987701320181589605670353736954053640761043976403124}, {"parameter": "[7, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 273987701320181589605670353736954053640761043976403124}, {"parameter": "[7, 3, 6, 2],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 273987701321259115972100935517928300243165578215914414}, {"parameter": "[7, 3, 6, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940223168771228629983320516732955660013093241623542}, {"parameter": "[7, 3, 6, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 273988294717760529616813684778880172909643019085114905}, {"parameter": "[7, 3, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 273987701320181589605670353736954053640761043976403124}, {"parameter": "[7, 3, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 273940223167693702263552738735758709057608559002112252}, {"parameter": "[7, 3, 6, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 273988294716683003250383102997905926307238484845603615}, {"parameter": "[7, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 454447050755085574188600531665217314582080424342320887612}, {"parameter": "[7, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 454447050754996235299212084247263721509136261375738627638}, {"parameter": "[7, 4, 3, 4],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 454447050754996247421135612591320114811200148798277888431}, {"parameter": "[7, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227360519228247541347653627012921229045822519343283128644}, {"parameter": "[7, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227360519228247541347653627012921229045822519343283128644}, {"parameter": "[7, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227360519228158202458265179594967635972878356376700868670}, {"parameter": "[7, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227360519228158202458265179594967635972878356376700868670}, {"parameter": "[7, 4, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 227360519228158214580188707939024029274942243799240129463}, {"parameter": "[7, 4, 4, 3],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 227360519228158214580188707939024029274942243799240129463}, {"parameter": "[7, 4, 5, 2],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 227360519228247541347653627012921229045822519343283128644}, {"parameter": "[7, 4, 5, 2],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 227360471750095053460311509397920033701239366858308837772}, {"parameter": "[7, 4, 5, 2],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 227360519821644042761298339762182180918488996784152329135}, {"parameter": "[7, 4, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 227360519228158202458265179594967635972878356376700868670}, {"parameter": "[7, 4, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 227360471750005714570923061979966440628295203891726577798}, {"parameter": "[7, 4, 5, 2],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 227360519821554703871909892344228587845544833817570069161}, {"parameter": "[7, 4, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 227360519228158214580188707939024029274942243799240129463}, {"parameter": "[7, 4, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 227360471750005726692846590324022833930359091314265838591}, {"parameter": "[7, 4, 5, 2],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 227360519821554715993833420688284981147608721240109329954}, {"parameter": "[8, 2, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 311927520141501178769454050852244478665715619636156100}, {"parameter": "[8, 2, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 311927520141501178769454050852244478665715619636156100}, {"parameter": "[8, 2, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 187696720924097625283259873875117738429780083468}, {"parameter": "[8, 2, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 187696720924097625283259873875117738429780083468}, {"parameter": "[8, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 623854852586269462978687770519284592552435121035519231}, {"parameter": "[8, 3, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 623854852586269460928603411929819721074981664431208900}, {"parameter": "[8, 3, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 311927520141489208306859002926913989004457931179446599}, {"parameter": "[8, 3, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 311927520141489208306859002926913989004457931179446599}, {"parameter": "[8, 3, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 311927520141489206256774644337449117527004474575136268}, {"parameter": "[8, 3, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 311927520141489206256774644337449117527004474575136268}, {"parameter": "[9, 2, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 855954891146449671475435828485902493193566794361735}, {"parameter": "", "name": "JohnsonLB", "value": 955152461513889434229509504394839080466665686428652524737582919}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 16175896676895505787287245093478126700452215734377069262517}], "request": [9, 18, 4, 7], "liftedmrdsizebound": 955173053002676050719264605971313705794413842686801407377072446, "comments": "", "equal_bound_constraints": []}