{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 67994729513609927546967202237401483010992316720167622853556}, {"parameter": "", "name": "singleton", "value": 278502847205686141650283863407927164540769884103556}, {"parameter": "6", "name": "ilp_2", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "8", "name": "ilp_3", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "", "name": "anticode", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "", "name": "linear_programming_bound", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "", "name": "sphere_packing", "value": 67994729513609927546967202237401483010992316720167622853556}, {"parameter": "1", "name": "ilp_1", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "2", "name": "ilp_1", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "3", "name": "ilp_1", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "4", "name": "ilp_1", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "5", "name": "ilp_1", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "9", "name": "ilp_4", "value": 696232163734705381837316120324099105503570111191186328}, {"parameter": "10", "name": "ilp_4", "value": 696232163296651281937112424660540790468073771963080744}, {"parameter": "11", "name": "ilp_4", "value": 696232163296640112967519987367783991055508042599354105}, {"parameter": "12", "name": "ilp_4", "value": 696232163296640112910653823674324634156192847866456391}, {"parameter": "13", "name": "ilp_4", "value": 696232163296640112910653778152292141714396424445083170}, {"parameter": "14", "name": "ilp_4", "value": 696232163296640112963948746591165297704622106700335318}, {"parameter": "15", "name": "ilp_4", "value": 139253277338046706590716080476602207547938190182758384}, {"parameter": "16", "name": "ilp_4", "value": 27850587022560373722403149197336503107795390744109834}, {"parameter": "17", "name": "ilp_4", "value": 5570128355831153992069586964873070528860975016788900}, {"parameter": "18", "name": "ilp_4", "value": 1114025561653051130375568201636421885725420989785154}, {"parameter": "", "name": "johnson_1", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "", "name": "johnson_2", "value": 1114025561653051130375568201636421885725420989785154}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 67994729513609927546967202237401483010992316720167622853556}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 696232163734705381837316120324099105503570111191186328}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 696232163296651281937112424660540790468073771963080744}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 696232163296640112967519987367783991055508042599354105}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 696232163296640112910653823674324634156192847866456391}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 696232163296640112910653778152292141714396424445083170}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 696232163296640112963948746591165297704622106700335318}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 139253277338046706590716080476602207547938190182758384}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 27850587022560373722403149197336503107795390744109834}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 5570128355831153992069586964873070528860975016788900}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 1114025561653051130375568201636421885725420989785154}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 222805130582769444476432320462311373215385347071925}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 222805134233021873815554878164606256562710911655655}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 222805152484285814591562653907046399873401470749823}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 222805243740650370504255573901907458468697456419509}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 222805700023594453731498546885703128981641160335103}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 222807981466347817395138774571965323294871412846909}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 222819389380982818362672840142479935667424085375094}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 222876446481425974804687493050880795556952827767395}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 223162170861906378512076694173695087334264187370199}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 224601852492046446386474771925458784188386694907233}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 232088181612006951561703646105896669886372954150809}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 278502847205686141650283863407927164540769884103556}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 67994729513609927546967202237401483010992316720167622853556}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 696274942538513335500096513381760625916505363711489739}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 696310594096686916846336403971463960771978969230304044}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 696488906665876343599150002707131880626142059576770613}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 697381841146948579511297161605007329688581382949688110}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 701881078757457802394666587579193815033279913886853747}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 725277114316748402940167139704914669618909524433929604}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "", "name": "improved_johnson", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 139253551125341184604016432734329616361647504049339194}], "known_codes": [], "upper_bound": 222805129852718972961249510941372778893592203898276, "classified": false, "lower_bound": 212114991651442904801790962946768806466026993016307, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 211758236813575084767080625169910490512847900390625}, {"parameter": "", "name": "sphere_covering", "value": 11407768705277223105649087115985426922092332552}, {"parameter": "", "name": "graham_sloane", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "", "name": "multicomponent", "value": 211758237680936826308197854086756706714630127031251}, {"parameter": "", "name": "construction_ST_B", "value": 212098136767490984094207809225224873282500272671852}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 211758236858746566035892526916008092486577988281250}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 212097593006096266912140406848642624938207626953125}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 212098136767490984090045477380962096340663893998250}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 212114991651442904801790962946768806466026993016307}, {"parameter": "", "name": "two_pivot_block_construction", "value": 212097592962314795214647977112136188052413131784192}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 8487838920694947327051445334520813715512619180297}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 212098136800904512722363506327420547086623201132203}, {"parameter": "(12,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 211775746261727028703449209295552920669994707031250}, {"parameter": "(12,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 211775746261727028703448860049587439865551347656250}, {"parameter": "(12,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 211775746261727028703448845498603534073315019531250}, {"parameter": "(12,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 211775746261727028703448845497672211594066972656250}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 13693665829387175085875927321854069341757812500}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 13693665829387175085875927321854069341757812500}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 13693665829387175085861398689690067876914062500}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 13693665829387175085861375406685307134726562500}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 70583568538893283132227936968593719934482421875}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 70583568538893283132242465600757721399326171875}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 70583568538893283132228495762138489221591796875}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 70583568538893283132227913722782257532138671875}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 342083143784321560120676636522956620929794921875}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 342083143784321560120677218562312852619248046875}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 342083143784321560120691188400932084796982421875}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 342083143784321560120676659768768083332138671875}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1697076689652480662238302898081679670721054687500}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1697076689652480662238302921364684431463242187500}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1697076689652480662238317449996848432928085937500}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1697076689652480662238317449996848432928085937500}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 8487152411272230875442317401770152270513535156250}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 8487152411272230875442317402701474749761582031250}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 8487152411272230875442331953685380541997910156250}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 8487152411272230875442681199650861346441269531250}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 211775746261727028703448845497672211498699541015625}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 13693665829387175085861375406625702489951171875}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 70583568538893283132227913685529354547519531250}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 342083143784321560120676636485703717945175781250}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 1697076689652480662238302898081620066076279296875}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 8487152411272230875442317401770152175146103515625}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 211775746261727028703448845497672211498699541015625}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 13693665829387175085861375406625702489951171875}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 70583568538893283132227913685529354547519531250}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 342083143784321560120676636485703717945175781250}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 1697076689652480662238302898081620066076279296875}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 8487152411272230875442317401770152175146103515625}, {"parameter": "7", "name": "linkage_GLT", "value": 211758236813575084767080625169947817403700837850953}, {"parameter": "8", "name": "linkage_GLT", "value": 13552527156068805425093160010874749077443941411}, {"parameter": "9", "name": "linkage_GLT", "value": 70582428790544327057432383298873901373349921906}, {"parameter": "10", "name": "linkage_GLT", "value": 342083134374782105169288115575909614562988362626}, {"parameter": "11", "name": "linkage_GLT", "value": 1697076689580207187191263074055314064025878906251}, {"parameter": "12", "name": "linkage_GLT", "value": 8487152366100749606630415655672550201416015625001}, {"parameter": "7", "name": "improved_linkage", "value": 211758237682398090571388761866416659590455576867000}, {"parameter": "8", "name": "improved_linkage", "value": 13552527211694316344797084117772039965614715183}, {"parameter": "9", "name": "improved_linkage", "value": 70582428790547887091867560312738441968263483121}, {"parameter": "10", "name": "improved_linkage", "value": 342083134374782105397130875042799904350205078125}, {"parameter": "11", "name": "improved_linkage", "value": 1697076689580207187191265990405305960325315549836}, {"parameter": "12", "name": "improved_linkage", "value": 8487152366100749606630415655709877092268953085328}, {"parameter": "13", "name": "improved_linkage", "value": 8487695571664660926453029969707131863487844332036}, {"parameter": "14", "name": "improved_linkage", "value": 8487804214167978234112888458184897899633847968781}, {"parameter": "15", "name": "improved_linkage", "value": 1697556703175074512739468133918343067169189534501}, {"parameter": "16", "name": "improved_linkage", "value": 339511175047021021160264700761672665759277343751}, {"parameter": "17", "name": "improved_linkage", "value": 67876797328461573179414544459188099724716796876}, {"parameter": "7,0", "name": "generalized_linkage", "value": 211775746261727028703448845497672211498699541015625}, {"parameter": "7,1", "name": "generalized_linkage", "value": 211758942484128532025843934993373973120906218421875}, {"parameter": "7,2", "name": "generalized_linkage", "value": 211758265041104936384031196548939259207026367187500}, {"parameter": "7,3", "name": "generalized_linkage", "value": 211758237037743137279412899456540509332293884446970}, {"parameter": "7,4", "name": "generalized_linkage", "value": 211758236815299475605591446817224321338604466326923}, {"parameter": "7,5", "name": "generalized_linkage", "value": 211758237682398090571388761866416659590455576867000}, {"parameter": "8,0", "name": "generalized_linkage", "value": 13693665829387175085861375406625702489951171875}, {"parameter": "8,1", "name": "generalized_linkage", "value": 13558217316424250017268342681666024940128390625}, {"parameter": "8,2", "name": "generalized_linkage", "value": 13552572680379138781986023258174081918712083875}, {"parameter": "8,3", "name": "generalized_linkage", "value": 13552527517515356713383608586292038623242187500}, {"parameter": "8,4", "name": "generalized_linkage", "value": 13552527156624170796980774173742605160675632501}, {"parameter": "8,5", "name": "generalized_linkage", "value": 13552527211694316344797084117772039965614715183}, {"parameter": "9,0", "name": "generalized_linkage", "value": 70583568538893283132227913685529354547519531250}, {"parameter": "9,1", "name": "generalized_linkage", "value": 70582437907373597293746098516736074238527406250}, {"parameter": "9,2", "name": "generalized_linkage", "value": 70582428863494201171017595250883566472923301000}, {"parameter": "9,3", "name": "generalized_linkage", "value": 70582428790660166413948324686137764347111413770}, {"parameter": "9,4", "name": "generalized_linkage", "value": 70582428790544505002627526940190225183505859375}, {"parameter": "9,5", "name": "generalized_linkage", "value": 70582428790547887091867560312738441968263483121}, {"parameter": "10,0", "name": "generalized_linkage", "value": 342083143784321560120676636485703717945175781250}, {"parameter": "10,1", "name": "generalized_linkage", "value": 342083134389488353250436272070707500055666937500}, {"parameter": "10,2", "name": "generalized_linkage", "value": 342083134374805451665684347331558871914204499500}, {"parameter": "10,3", "name": "generalized_linkage", "value": 342083134374782142246900228362516542435168191210}, {"parameter": "10,4", "name": "generalized_linkage", "value": 342083134374782105180679378644256560162518128166}, {"parameter": "10,5", "name": "generalized_linkage", "value": 342083134374782105397130875042799904350205078125}, {"parameter": "11,0", "name": "generalized_linkage", "value": 1697076689652480662238302898081620066076279296875}, {"parameter": "11,1", "name": "generalized_linkage", "value": 1697076689580231463596816067015051641916742406250}, {"parameter": "11,2", "name": "generalized_linkage", "value": 1697076689580207194721340313924002962884210039500}, {"parameter": "11,3", "name": "generalized_linkage", "value": 1697076689580207187193635570943899655534018824020}, {"parameter": "11,4", "name": "generalized_linkage", "value": 1697076689580207187191263803086819312747416572418}, {"parameter": "11,5", "name": "generalized_linkage", "value": 1697076689580207187191265990405305960325315549836}, {"parameter": "12,0", "name": "generalized_linkage", "value": 8487152411272230875442317401770152175146103515625}, {"parameter": "12,1", "name": "generalized_linkage", "value": 8487152366100749643921376456454527291468521703125}, {"parameter": "12,2", "name": "generalized_linkage", "value": 8487152366100749606632901591176692147199329717000}, {"parameter": "12,3", "name": "generalized_linkage", "value": 8487152366100749606630415808706121696244209751170}, {"parameter": "12,4", "name": "generalized_linkage", "value": 8487152366100749606630415655681879859761965401366}, {"parameter": "12,5", "name": "generalized_linkage", "value": 8487152366100749606630415655709877092268953085328}, {"parameter": "13,1", "name": "generalized_linkage", "value": 8487695571664665587834967740122496653614517796875}, {"parameter": "13,2", "name": "generalized_linkage", "value": 8487695571664660926453030733427948690900466263875}, {"parameter": "13,3", "name": "generalized_linkage", "value": 8487695571664660926453029969717235582825740356570}, {"parameter": "13,4", "name": "generalized_linkage", "value": 8487695571664660926453029969707131506161484902336}, {"parameter": "13,5", "name": "generalized_linkage", "value": 8487695571664660926453029969707131863487844332036}, {"parameter": "14,2", "name": "generalized_linkage", "value": 8487804214167978234112907551215015537746413529500}, {"parameter": "14,3", "name": "generalized_linkage", "value": 8487804214167978234112888458184898520461706035320}, {"parameter": "14,4", "name": "generalized_linkage", "value": 8487804214167978234112888458184897899629274901531}, {"parameter": "14,5", "name": "generalized_linkage", "value": 8487804214167978234112888458184897899633847968781}, {"parameter": "15,3", "name": "generalized_linkage", "value": 1697556703175074512739468133918346171339342754070}, {"parameter": "15,4", "name": "generalized_linkage", "value": 1697556703175074512739468133918343067169189472656}, {"parameter": "15,5", "name": "generalized_linkage", "value": 1697556703175074512739468133918343067169189534501}, {"parameter": "16,4", "name": "generalized_linkage", "value": 339511175047021021160264700761672665759277363281}, {"parameter": "16,5", "name": "generalized_linkage", "value": 339511175047021021160264700761672665759277343751}, {"parameter": "17,5", "name": "generalized_linkage", "value": 67876797328461573179414544459188099724716796876}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 211775746261727028703448845497672211498699541015625}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 211758942484128532025843934993373973120906218421875}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 211758265041104936384031196548939259207026367187500}, {"parameter": "[7, 12],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 211758237037743137279412899456540509332293884446970}, {"parameter": "[7, 12],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 211758236815299475605591446817224321338604466326923}, {"parameter": "[7, 12],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 211758237682398090571388761866416659590455576867000}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13693665829387175085861375406625702489951171875}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 13558217316424250017268342681666024940128390625}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 13552572680379138781986023258174081918712083875}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 13552527517515356713383608586292038623242187500}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 13552527156624170796980774173742605160675632501}, {"parameter": "[8, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 13552527211694316344797084117772039965614715183}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 70583568538893283132227913685529354547519531250}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 70582437907373597293746098516736074238527406250}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 70582428863494201171017595250883566472923301000}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 70582428790660166413948324686137764347111413770}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 70582428790544505002627526940190225183505859375}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 70582428790547887091867560312738441968263483121}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 342083143784321560120676636485703717945175781250}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 342083134389488353250436272070707500055666937500}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 342083134374805451665684347331558871914204499500}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 342083134374782142246900228362516542435168191210}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 342083134374782105180679378644256560162518128166}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 342083134374782105397130875042799904350205078125}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1697076689652480662238302898081620066076279296875}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1697076689580231463596816067015051641916742406250}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1697076689580207194721340313924002962884210039500}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1697076689580207187193635570943899655534018824020}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1697076689580207187191263803086819312747416572418}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1697076689580207187191265990405305960325315549836}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 8487152411272230875442317401770152175146103515625}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 8487152366100749643921376456454527291468521703125}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 8487152366100749606632901591176692147199329717000}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 8487152366100749606630415808706121696244209751170}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 8487152366100749606630415655681879859761965401366}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 8487152366100749606630415655709877092268953085328}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 8487695571664665587834967740122496653614517796875}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 8487695571664660926453030733427948690900466263875}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 8487695571664660926453029969717235582825740356570}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 8487695571664660926453029969707131506161484902336}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 8487695571664660926453029969707131863487844332036}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 8487804214167978234112907551215015537746413529500}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 8487804214167978234112888458184898520461706035320}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 8487804214167978234112888458184897899629274901531}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 8487804214167978234112888458184897899633847968781}, {"parameter": "[15, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1697556703175074512739468133918346171339342754070}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1697556703175074512739468133918343067169189472656}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1697556703175074512739468133918343067169189534501}, {"parameter": "[16, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 339511175047021021160264700761672665759277363281}, {"parameter": "[16, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 339511175047021021160264700761672665759277343751}, {"parameter": "[17, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 67876797328461573179414544459188099724716796876}, {"parameter": "[7, 2, 10],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 67763728977524448772217355929525311279296875000}, {"parameter": "[7, 2, 10],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 67763727216306390820651888424063388780234375000}, {"parameter": "[7, 2, 10],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 85272951294025951897233333778333038769121093750}, {"parameter": "[7, 3, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 338813413607072105561390979250431060791015625000}, {"parameter": "[7, 3, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 338813406458008257039525987841399128723144531250}, {"parameter": "[7, 3, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 338813404696790199087960520335937206224082031250}, {"parameter": "[7, 3, 9],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 356322628774509760164541965690206856212968750000}, {"parameter": "[7, 3, 9],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 338813411941737568623656168614983558654785156250}, {"parameter": "[7, 3, 9],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 338813404792673720101791177205951626586914062500}, {"parameter": "[7, 3, 9],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 338813403031455662150225709700489704087851562500}, {"parameter": "[7, 3, 9],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 356322627109175223226807155054759354076738281250}, {"parameter": "[7, 4, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1694066341892373005226774658076465129852294921875}, {"parameter": "[7, 4, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1694066351200186487359322834794878959655761718750}, {"parameter": "[7, 4, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1694066344051122638837457843385847027587890625000}, {"parameter": "[7, 4, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1694066342289904580885892375880385105088828125000}, {"parameter": "[7, 4, 8],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1711575566367624141962473821234654755077714843750}, {"parameter": "[7, 4, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 1694066118185403611893208981491625308990478515625}, {"parameter": "[7, 4, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1694066127493217094025757158210039138793945312500}, {"parameter": "[7, 4, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1694066120344153245503892166801007206726074218750}, {"parameter": "[7, 4, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1694066118582935187552326699295545284227011718750}, {"parameter": "[7, 4, 8],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1711575342660654748628908144649814934215898437500}, {"parameter": "[7, 4, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 1694066118474399106095235729590058326721191406250}, {"parameter": "[7, 4, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1694066127782212588227783906308472156524658203125}, {"parameter": "[7, 4, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1694066120633148739705918914899440224456787109375}, {"parameter": "[7, 4, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1694066118871930681754353447393978301957724609375}, {"parameter": "[7, 4, 8],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1711575342949650242830934892748247951946611328125}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 8487832383582820529849777813069522380828857421875}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 8470357865634542038766314326785504817962646484375}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8470357874942355520898862503503918647766113281250}, {"parameter": "[7, 5, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 8470357867793291672376997512094886715698242187500}, {"parameter": "[7, 5, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 8470357866032073614425432044589424793199179687500}, {"parameter": "[7, 5, 7],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 8487867090109793175502013489943694443188066406250}, {"parameter": "[7, 5, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 8487804214182291934488966944627463817596435546875}, {"parameter": "[7, 5, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 8470329696234013443405503458343446254730224609375}, {"parameter": "[7, 5, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 8470329705541826925538051635061860084533691406250}, {"parameter": "[7, 5, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 8470329698392763077016186643652828152465820312500}, {"parameter": "[7, 5, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 8470329696631545019064621176147366229966757812500}, {"parameter": "[7, 5, 7],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 8487838920709264580141202621501635879955644531250}, {"parameter": "[7, 5, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 8487804214168548266965808579698204994201660156250}, {"parameter": "[7, 5, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 8470329696220269775882345093414187431335449218750}, {"parameter": "[7, 5, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 8470329705528083258014893270132601261138916015625}, {"parameter": "[7, 5, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 8470329698379019409493028278723569329071044921875}, {"parameter": "[7, 5, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 8470329696617801351541462811218107406571982421875}, {"parameter": "[7, 5, 7],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 8487838920695520912618044256572377056560869140625}, {"parameter": "[7, 5, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 8487804215569147199798317160457372665405273437500}, {"parameter": "[7, 5, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 8470329697620868708714853674173355102539062500000}, {"parameter": "[7, 5, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 8470329706928682190847401850891768932342529296875}, {"parameter": "[7, 5, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 8470329699779618342325536859482737000274658203125}, {"parameter": "[7, 5, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 8470329698018400284373971391977275077775595703125}, {"parameter": "[7, 5, 7],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 8487838922096119845450552837331544727764482421875}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 8471208100175163278509292047181311410369873046875}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 8471033699718209249683832095998010338489990234375}, {"parameter": "[7, 6, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 8471033699364166422784058005367063294811230468750}, {"parameter": "[7, 6, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 8471033699289063477835771980078168885163535156250}, {"parameter": "[7, 6, 6],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 8471033923345943691148537784391546909288046875000}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 8470503873807015863362478319266024392547607421875}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8470329473350061834537018368082723320667724609375}, {"parameter": "[7, 6, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 8470329472996019007637244277451776276988964843750}, {"parameter": "[7, 6, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 8470329472920916062688958252162881867341269531250}, {"parameter": "[7, 6, 6],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 8470329696977796276001724056476259891465781250000}, {"parameter": "[7, 6, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 8470503873461360387414748890967253011169433593750}, {"parameter": "[7, 6, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 8470329473004406358589288939783951939289550781250}, {"parameter": "[7, 6, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 8470329472650363531689514849153004895610791015625}, {"parameter": "[7, 6, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 8470329472575260586741228823864110485963095703125}, {"parameter": "[7, 6, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 8470329696632140800053994628177488510087607421875}, {"parameter": "[7, 6, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 8470503873447003338590918917850735944213867187500}, {"parameter": "[7, 6, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 8470329472990049309765458966667434872333984375000}, {"parameter": "[7, 6, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 8470329472636006482865684876036487828655224609375}, {"parameter": "[7, 6, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 8470329472560903537917398850747593419007529296875}, {"parameter": "[7, 6, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 8470329696617783751230164655060971443132041015625}, {"parameter": "[7, 6, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 8470503874836692577439723879740718167724609375000}, {"parameter": "[7, 6, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 8470329474379738548614263928557417095844726562500}, {"parameter": "[7, 6, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 8470329474025695721714489837926470052165966796875}, {"parameter": "[7, 6, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 8470329473950592776766203812637575642518271484375}, {"parameter": "[7, 6, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 8470329698007472990078969616950953666642783203125}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 8487804272282980449887397772390623247401123046875}, {"parameter": "[7, 7, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 8487804214168004218656211741823737609046826171875}, {"parameter": "[7, 7, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 8487804214167975864736836443020026331354160156250}, {"parameter": "[7, 7, 5],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 8487804214170865375062355170699647429296054687500}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 8470329539672111286735255344528932726160888671875}, {"parameter": "[7, 7, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 8470329481557135055504069313962047087806591796875}, {"parameter": "[7, 7, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 8470329481557106701584694015158335810113925781250}, {"parameter": "[7, 7, 5],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 8470329481559996211910212742837956908055820312500}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8470329531033581934492319015544135725275878906250}, {"parameter": "[7, 7, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 8470329472918605703261132984977250086921582031250}, {"parameter": "[7, 7, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 8470329472918577349341757686173538809228916015625}, {"parameter": "[7, 7, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 8470329472921466859667276413853159907170810546875}, {"parameter": "[7, 7, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 8470329530672464591006908175107319509760742187500}, {"parameter": "[7, 7, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 8470329472557488359775722144540433871406445312500}, {"parameter": "[7, 7, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 8470329472557460005856346845736722593713779296875}, {"parameter": "[7, 7, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 8470329472560349516181865573416343691655673828125}, {"parameter": "[7, 7, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 8470329530658560808476337630655844366328125000000}, {"parameter": "[7, 7, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 8470329472543584577245151600088958727973828125000}, {"parameter": "[7, 7, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 8470329472543556223325776301285247450281162109375}, {"parameter": "[7, 7, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 8470329472546445733651295028964868548223056640625}, {"parameter": "[7, 7, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 8470329532048544202833359937053401624934082031250}, {"parameter": "[7, 7, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 8470329473933567971602173906486515986579785156250}, {"parameter": "[7, 7, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 8470329473933539617682798607682804708887119140625}, {"parameter": "[7, 7, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 8470329473936429128008317335362425806829013671875}, {"parameter": "[7, 8, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1694066118186037626071321478718171368304638671875}, {"parameter": "[7, 8, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1694066118185293477842343273653484335528964843750}, {"parameter": "[7, 8, 4],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1694066118185293515941347675167204245611191406250}, {"parameter": "[7, 8, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1694065903898548983016531190798828850451855468750}, {"parameter": "[7, 8, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1694065903897804834787552985734141817676181640625}, {"parameter": "[7, 8, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1694065903897804872886557387247861727758408203125}, {"parameter": "[7, 8, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1694065894873393257100973599400232086841015625000}, {"parameter": "[7, 8, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1694065894872649108871995394335545054065341796875}, {"parameter": "[7, 8, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1694065894872649146970999795849264964147568359375}, {"parameter": "[7, 8, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1694065894523687525005726650727231751147656250000}, {"parameter": "[7, 8, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1694065894522943376776748445662544718371982421875}, {"parameter": "[7, 8, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1694065894522943414875752847176264628454208984375}, {"parameter": "[7, 8, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1694065894509896590744125374611050377551464843750}, {"parameter": "[7, 8, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1694065894509152442515147169546363344775791015625}, {"parameter": "[7, 8, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1694065894509152480614151571060083254858017578125}, {"parameter": "[7, 8, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1694065895899968868900338360304704437915234375000}, {"parameter": "[7, 8, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1694065895899224720671360155240017405139560546875}, {"parameter": "[7, 8, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1694065895899224758770364556753737315221787109375}, {"parameter": "[7, 9, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 338813411886226417758752964070805364191074218750}, {"parameter": "[7, 9, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 338813411886226417392867425617460110191269531250}, {"parameter": "[7, 9, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 338813188002819211794055269819442945062656250000}, {"parameter": "[7, 9, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 338813188002819211428169731366097691062851562500}, {"parameter": "[7, 9, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 338813179262929469908495488121720392572421875000}, {"parameter": "[7, 9, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 338813179262929469542609949668375138572617187500}, {"parameter": "[7, 9, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 338813178916065824532799645028969951349277343750}, {"parameter": "[7, 9, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 338813178916065824166914106575624697349472656250}, {"parameter": "[7, 9, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 338813178902271935613732361045588391327304687500}, {"parameter": "[7, 9, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 338813178902271935247846822592243137327500000000}, {"parameter": "[7, 9, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 338813180292361978442965176625915818750400390625}, {"parameter": "[7, 9, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 338813180292361978077079638172570564750595703125}, {"parameter": "[7, 10, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 67762861615786460369139233990942750266953125000}, {"parameter": "[7, 10, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 67762644810466555282576584924559323636093750000}, {"parameter": "[7, 10, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 67762636141628661086830867809017284436464843750}, {"parameter": "[7, 10, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 67762635794690633836128370689756390955978125000}, {"parameter": "[7, 10, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 67762635780895833809018758998607907585068359375}, {"parameter": "[7, 10, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 67762636058471717374139092245263950966318046875}, {"parameter": "[8, 2, 9],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 4338742614328478791534892707890319824218750}, {"parameter": "[8, 2, 9],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 4338684975748270690460092608260882968750000}, {"parameter": "[8, 2, 9],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 145475537519462909762072228136494268515625000}, {"parameter": "[8, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 21685847373895110637611334681510925292968750}, {"parameter": "[8, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 21685922417168652370705261319702911376953125}, {"parameter": "[8, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 21685864778588444269630461220073474521484375}, {"parameter": "[8, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 162822717322303083341242596748306860068359375}, {"parameter": "[8, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 21685846823224490423533690631389617919921875}, {"parameter": "[8, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 21685921866498032156627617269581604003906250}, {"parameter": "[8, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 21685864227917824055552817169952167148437500}, {"parameter": "[8, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 162822716771632463127164952698185552695312500}, {"parameter": "[8, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 249308856207833475171173922717571258544921875}, {"parameter": "[8, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 108422381320915117600313944280147552490234375}, {"parameter": "[8, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 108422456364188659333407870918339538574218750}, {"parameter": "[8, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 108422398725608451232333070818710101718750000}, {"parameter": "[8, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 249559251269323090303945206346943487265625000}, {"parameter": "[8, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 249308495505465959329558536410331726074218750}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 108422020618547601758698557972908020019531250}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 108422095661821143491792484611100006103515625}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 108422038023240935390717684511470569248046875}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 249558890566955574462329820039703954794921875}, {"parameter": "[8, 4, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 249308495523933249249057844281196594238281250}, {"parameter": "[8, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 108422020637014891678197865843772888183593750}, {"parameter": "[8, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 108422095680288433411291792481964874267578125}, {"parameter": "[8, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 108422038041708225310216992382335437412109375}, {"parameter": "[8, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 249558890585422864381829127910568822958984375}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 249353926671555383334453217685222625732421875}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 108467451784637025763593239247798919677734375}, {"parameter": "[8, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 108467526827910567496687165885990905761718750}, {"parameter": "[8, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 108467469189330359395612365786361468906250000}, {"parameter": "[8, 5, 6],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 249604321733044998467224501314594854453125000}, {"parameter": "[8, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 249308495510047479794411920011043548583984375}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 108422020623129122223551941573619842529296875}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 108422095666402663956645868211811828613281250}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108422038027822455855571068112182391757812500}, {"parameter": "[8, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 249558890571537094927183203640415777304687500}, {"parameter": "[8, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 249308495505467435347782447934150695800781250}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 108422020618549077776922469496726989746093750}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 108422095661822619510016396134918975830078125}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 108422038023242411408941596035289538974609375}, {"parameter": "[8, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 249558890566957050480553731563522924521484375}, {"parameter": "[8, 5, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 249308495523365497271697968244552612304687500}, {"parameter": "[8, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 108422020636447139700837989807128906250000000}, {"parameter": "[8, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 108422095679720681433931916445320892333984375}, {"parameter": "[8, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 108422038041140473332857116345691455478515625}, {"parameter": "[8, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 249558890584855112404469251873924841025390625}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 114380331486129295964354450706297352294921875}, {"parameter": "[8, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 114099099511565474958864923221227581005859375}, {"parameter": "[8, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 114099098940259274550725047087058244785156250}, {"parameter": "[8, 6, 5],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 114100919570652159781679845635223163242187500}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 108701450520201527678670163158232166748046875}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420218545637706673180635673162395458984375}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217974331506265040759538993059238281250}, {"parameter": "[8, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108422038604724391495995558087157977695312500}, {"parameter": "[8, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 108701449943491717951269435588175251464843750}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420217968927896945779908103105480175781250}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217397621696537640031968936143955078125}, {"parameter": "[8, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108422038028014581768594830517101062412109375}, {"parameter": "[8, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 108701449938718413904467808905893757324218750}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420217964154592898978281420823986035156250}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217392848392490838405286654649814453125}, {"parameter": "[8, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 108422038023241277721793203834819568271484375}, {"parameter": "[8, 6, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 108701449956477740148555698696428730468750000}, {"parameter": "[8, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420217981913919143066171211358959179687500}, {"parameter": "[8, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217410607718734926295077189622958984375}, {"parameter": "[8, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 108422038041000603965881093625354541416015625}, {"parameter": "[8, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 249308514110199861151323100935771790966796875}, {"parameter": "[8, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 249308495505439648424359604356598437900390625}, {"parameter": "[8, 7, 4],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 249308495529474178447130802488225171738281250}, {"parameter": "[8, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420308543003622833570948254421082958984375}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420289938243410106607451675247729892578125}, {"parameter": "[8, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420289962277940129378649806874463730468750}, {"parameter": "[8, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420236459037372694967625212028352246093750}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217854277159968004128632854999179687500}, {"parameter": "[8, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420217878311689990775326764481733017578125}, {"parameter": "[8, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420235857981365798757154616668550000000000}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217253221153071793658037495196933593750}, {"parameter": "[8, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420217277255683094564856169121930771484375}, {"parameter": "[8, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420235853355348849171674616172639355468750}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217248595136122208178036999286289062500}, {"parameter": "[8, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420217272629666144979376168626020126953125}, {"parameter": "[8, 7, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420235871118664074751908052757112011718750}, {"parameter": "[8, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217266358451347788411473583758945312500}, {"parameter": "[8, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420217290392981370559609605210492783203125}, {"parameter": "[8, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 21685846819717869149718773412262452792968750}, {"parameter": "[8, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 21685846819672072208867712674535461044921875}, {"parameter": "[8, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 21684119164261262739976251138149751376953125}, {"parameter": "[8, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 21684119164215465799125190400422759628906250}, {"parameter": "[8, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 21684044036887465899798167538346589755859375}, {"parameter": "[8, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 21684044036841668958947106800619598007812500}, {"parameter": "[8, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 21684043454381377435043753846449128818359375}, {"parameter": "[8, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 21684043454335580494192693108722137070312500}, {"parameter": "[8, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 21684043449791721825936997172763813876953125}, {"parameter": "[8, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 21684043449745924885085936435036822128906250}, {"parameter": "[8, 8, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 21684043467556168828642326718860115146484375}, {"parameter": "[8, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 21684043467510371887791265981133123398437500}, {"parameter": "[8, 9, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4338687103177542997842394498808379746093750}, {"parameter": "[8, 9, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 4336882081169166072852446974493723984375000}, {"parameter": "[8, 9, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 4336809272494749761150592546299031562500000}, {"parameter": "[8, 9, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 4336808694568473748574416131319847711718750}, {"parameter": "[8, 9, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 4336808689977856215690570325365325012968750}, {"parameter": "[8, 9, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 4336808707742528783515138065607543564453125}, {"parameter": "[9, 2, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 22586391665852361674473348532170104980468750}, {"parameter": "[9, 2, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 22586392267129252315235516475379901962890625}, {"parameter": "[9, 2, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 23726125565482973132709250240448450107421875}, {"parameter": "[9, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 114060739616871728264049475550651550292968750}, {"parameter": "[9, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 112931900514373965469707462463825988769531250}, {"parameter": "[9, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 112931901115650856110469630407035785751953125}, {"parameter": "[9, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 114071634414004576927943364172104333896484375}, {"parameter": "[9, 3, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 114060739616694376797203754544258117675781250}, {"parameter": "[9, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 112931900514196614002861741457432556152343750}, {"parameter": "[9, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 112931901115473504643623909400642353134765625}, {"parameter": "[9, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 114071634413827225461097643165710901279296875}, {"parameter": "[9, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 114060739732296494876754318833351135253906250}, {"parameter": "[9, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 112931900629798732082412305746525573730468750}, {"parameter": "[9, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 112931901231075622723174473689735370712890625}, {"parameter": "[9, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 114071634529429343540648207454803918857421875}, {"parameter": "[9, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 114060739616694151696537469983100891113281250}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 112931900514196388902195456896275329589843750}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 112931901115473279542957624839485126572265625}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 114071634413827000360431358604553674716796875}, {"parameter": "[9, 4, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 114060739616694386258859036028385162353515625}, {"parameter": "[9, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 112931900514196623464517022941559600830078125}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 112931901115473514105279190884769397812500000}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 114071634413827234922752924649837945957031250}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 114060812421969943769697879910469055175781250}, {"parameter": "[9, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 112931973319472180975355866823643493652343750}, {"parameter": "[9, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 112931973920749071616118034766853290634765625}, {"parameter": "[9, 5, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 114071707219102792433591768531921838779296875}, {"parameter": "[9, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 114060739616695629133550112605094909667968750}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 112931900514197866339208099518269348144531250}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 112931901115474756979970267461479145126953125}, {"parameter": "[9, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 114071634413828477797444001226547693271484375}, {"parameter": "[9, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 114060739616694151791123745501041412353515625}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 112931900514196388996781732414215850830078125}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 112931901115473279637543900357425647812500000}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 114071634413827000455017634122494195957031250}, {"parameter": "[9, 5, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 114060739616694378991633725821971893310546875}, {"parameter": "[9, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 112931900514196616197291712735146331787109375}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 112931901115473506838053880678356128769531250}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 114071634413827227655527614443424676914062500}, {"parameter": "[9, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 112941434643454379973927369794104747753906250}, {"parameter": "[9, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 112940986721023265691304161730348514560546875}, {"parameter": "[9, 6, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 112941001770515911473776510404289203720703125}, {"parameter": "[9, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 112932333989343653300266956528876476269531250}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 112931886066912539017643748465120243076171875}, {"parameter": "[9, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 112931901116405184800116097139060932236328125}, {"parameter": "[9, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 112932333988413287054998322064135723095703125}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 112931886065982172772375114000379489902343750}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 112931901115474818554847462674320179062500000}, {"parameter": "[9, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 112932333988411748065045761766169719677734375}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 112931886065980633782422553702413486484375000}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 112931901115473279564894902376354175644531250}, {"parameter": "[9, 6, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 112932333988411973547876842775080852490234375}, {"parameter": "[9, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 112931886065980859265253634711324619296875000}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 112931901115473505047725983385265308457031250}, {"parameter": "[9, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 114060739622427641767380549763825677890625000}, {"parameter": "[9, 7, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 114060739616879100789459028681605962753906250}, {"parameter": "[9, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 112931886187092800181461860728791498203125000}, {"parameter": "[9, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 112931886181544259203540339646571783066406250}, {"parameter": "[9, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 112931886071575102447583042294351648349609375}, {"parameter": "[9, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 112931886066026561469661521212131933212890625}, {"parameter": "[9, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 112931886070605909626750730937748682041015625}, {"parameter": "[9, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 112931886065057368648829209855528966904296875}, {"parameter": "[9, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 112931886070604417912792938013937012119140625}, {"parameter": "[9, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 112931886065055876934871416931717296982421875}, {"parameter": "[9, 7, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 112931886070604643461005605303191540927734375}, {"parameter": "[9, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 112931886065056102483084084220971825791015625}, {"parameter": "[9, 8, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 22586391662484599361603564972221807480468750}, {"parameter": "[9, 8, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 22586377334494928418450935066325370712890625}, {"parameter": "[9, 8, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 22586377214100037585165060457569912373046875}, {"parameter": "[9, 8, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 22586377213160618364159895341266647491796875}, {"parameter": "[9, 8, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 22586377213159138301832654723809200101015625}, {"parameter": "[9, 8, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 22586377213159363864152196923440460055546875}, {"parameter": "[10, 2, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 109475636624954071579708091426342773437500000}, {"parameter": "[10, 2, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 109466603115560901329550704030126043320312500}, {"parameter": "[10, 2, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 109476012539385452416368550010453937607421875}, {"parameter": "[10, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 109475636624953855573988824594467926025390625}, {"parameter": "[10, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 109466603115560685323831437198251195908203125}, {"parameter": "[10, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109476012539385236410649283178579090195312500}, {"parameter": "[10, 3, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 109475636624953844208943031239956665039062500}, {"parameter": "[10, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 109466603115560673958785643843739934921875000}, {"parameter": "[10, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 109476012539385225045603489824067829208984375}, {"parameter": "[10, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109475636624990848324387453008145141601562500}, {"parameter": "[10, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109466603115597678074230065611928411484375000}, {"parameter": "[10, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109476012539422229161047911592256305771484375}, {"parameter": "[10, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 109475636624953844206178158033341217041015625}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109466603115560673956020770637124486923828125}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109476012539385225042838616617452381210937500}, {"parameter": "[10, 4, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 109475636624953844209064140427559661865234375}, {"parameter": "[10, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 109466603115560673958906753031342931748046875}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 109476012539385225045724599011670826035156250}, {"parameter": "[10, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109475636648258921427326327729672241210937500}, {"parameter": "[10, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109466603138865751177168940333455511093750000}, {"parameter": "[10, 5, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 109476012562690302263986786313783405380859375}, {"parameter": "[10, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109475636624953844679685363135784912109375000}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109466603115560674429527975739568181992187500}, {"parameter": "[10, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 109476012539385225516345821719896076279296875}, {"parameter": "[10, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 109475636624953844206184213105171966552734375}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109466603115560673956026825708955236435546875}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 109476012539385225042844671689283130722656250}, {"parameter": "[10, 5, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 109475636624953844208971119943589019775390625}, {"parameter": "[10, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 109466603115560673958813732547372289658203125}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 109476012539385225045631578527700183945312500}, {"parameter": "[10, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 109466618259384470999845614636860538486328125}, {"parameter": "[10, 6, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 109466617681232469491330295567983098984375000}, {"parameter": "[10, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 109466603693712973769379012426042057041015625}, {"parameter": "[10, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 109466603115560972260863693357164617539062500}, {"parameter": "[10, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 109466603693712675957753310504763340000000000}, {"parameter": "[10, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 109466603115560674449237991435885900498046875}, {"parameter": "[10, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 109466603693712675464537494051299692539062500}, {"parameter": "[10, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 109466603115560673956022174982422253037109375}, {"parameter": "[10, 6, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 109466603693712675467306135419164377597656250}, {"parameter": "[10, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 109466603115560673958790816350286938095703125}, {"parameter": "[10, 7, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 109475636740584244507735712008058782578125000}, {"parameter": "[10, 7, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 109466603115747114554858114622511619492187500}, {"parameter": "[10, 7, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 109466603115560984674169516003559852998046875}, {"parameter": "[10, 7, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 109466603115560674434099295227712687698828125}, {"parameter": "[10, 7, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 109466603115560673956021029245899816132109375}, {"parameter": "[10, 7, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 109466603115560673958791424145952303648671875}, {"parameter": "[11, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307022975246091215520859375000}, {"parameter": "[11, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307022975246091215520859375000}, {"parameter": "[11, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020792449493734746933593750}, {"parameter": "[11, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020792449493734746933593750}, {"parameter": "[11, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020064900298445135117187500}, {"parameter": "[11, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020064900298445135117187500}, {"parameter": "[11, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608309388352689080564886093750000}, {"parameter": "[11, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608309388352689080564886093750000}, {"parameter": "[11, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020064872358648687363281250}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020064872358648687363281250}, {"parameter": "[11, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020064901848642736435546875}, {"parameter": "[11, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020064901848642736435546875}, {"parameter": "[11, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 108612980406615765117675194923335271835937500}, {"parameter": "[11, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108612980406615765117675194923335271835937500}, {"parameter": "[11, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020095177129715398789062500}, {"parameter": "[11, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020095177129715398789062500}, {"parameter": "[11, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020064872746193127060546875}, {"parameter": "[11, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020064872746193127060546875}, {"parameter": "[11, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020064900657980541611328125}, {"parameter": "[11, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020064900657980541611328125}, {"parameter": "[11, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 108612980429914861579487481256049827500000000}, {"parameter": "[11, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307115528512457790186250000000}, {"parameter": "[11, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020096438583637283335546875}, {"parameter": "[11, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020064872448531388473515625}, {"parameter": "[11, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020064900364653218918828125}, {"parameter": "[12, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 108680721767358406866615455247485357285156250}, {"parameter": "[12, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 108680721767358406866615427307688909531250000}, {"parameter": "[12, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 108680721767358406866615417995059209824218750}, {"parameter": "[12, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108680721767358406866766988725865606308593750}, {"parameter": "[12, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 108680721767358406866615417994701580429687500}, {"parameter": "[12, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 108680721767358406866615417995079052353515625}, {"parameter": "[12, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108680721767358409253236918941907312714843750}, {"parameter": "[12, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108680721767358406866615419934687733091406250}, {"parameter": "[12, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 108680721767358406866615417994706540998515625}, {"parameter": "[12, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 108680721767358406866615417995063811877421875}, {"parameter": "[7, 2, 5, 5],[0, 5, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17583386906691421573352236300706863403320312500}, {"parameter": "[7, 2, 5, 5],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 17583163232861683608666367968082427978515625000}, {"parameter": "[7, 2, 5, 5],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 17583163232980823621237664584744423675537109375}, {"parameter": "[7, 2, 5, 5],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 17583389065441055184035421610088761138916015625}, {"parameter": "[7, 2, 6, 4],[0, 5, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 108645370473943144581321057504592895507812500}, {"parameter": "[7, 2, 6, 4],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 108645281720350740503675163911545562744140625}, {"parameter": "[7, 2, 6, 4],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 108645284702332537774178300726860809326171875}, {"parameter": "[7, 2, 6, 4],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 108645370473943144581321057504592895507812500}, {"parameter": "[7, 2, 6, 4],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 108645281720350740503675163911545562744140625}, {"parameter": "[7, 2, 6, 4],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108645284702332537774178300726860809326171875}, {"parameter": "[7, 2, 7, 3],[0, 5, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 108645281721266920237382458718235778808593750}, {"parameter": "[7, 2, 7, 3],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 108645281720167504556933704950207519531250000}, {"parameter": "[7, 2, 7, 3],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 108421607891528955551514126093800354003906250}, {"parameter": "[7, 2, 7, 3],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 108421607890429539871065372325772094726562500}, {"parameter": "[7, 2, 7, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 108654589534749052785559177132065582275390625}, {"parameter": "[7, 2, 7, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108654589533649637105110423364037322998046875}, {"parameter": "[7, 2, 8, 2],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 21684323868564559993928724624508666992187500}, {"parameter": "[7, 2, 8, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 21684323987704572565225341286504364013671875}, {"parameter": "[7, 2, 8, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 21910156447936135362982366630841827392578125}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 17583385519463311412120638415217399597167968750}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 17583161845633573447434770082592964172363281250}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 17583394827276793544668815133631229400634765625}, {"parameter": "[7, 3, 4, 5],[0, 5, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 17583385518930404360300563275814056396484375000}, {"parameter": "[7, 3, 4, 5],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 17583161845100666395614694943189620971679687500}, {"parameter": "[7, 3, 4, 5],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 17583394826743886492848739994227886199951171875}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 108867571184820328657152131199836730957031250}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 108643897355082363971283798575401306152343750}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108876878998302461205328849613666534423828125}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 108867571184820328657152131199836730957031250}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108643897355082363971283798575401306152343750}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108876878998302461205328849613666534423828125}, {"parameter": "[7, 3, 5, 4],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 108867570651913276837076991796493530273437500}, {"parameter": "[7, 3, 5, 4],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 108643896822175312151208659172058105468750000}, {"parameter": "[7, 3, 5, 4],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108876878465395409385253710210323333740234375}, {"parameter": "[7, 3, 5, 4],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 108867570651913276837076991796493530273437500}, {"parameter": "[7, 3, 5, 4],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108643896822175312151208659172058105468750000}, {"parameter": "[7, 3, 5, 4],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108876878465395409385253710210323333740234375}, {"parameter": "[7, 3, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 108643911670390703147765153110027313232421875}, {"parameter": "[7, 3, 6, 3],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 108643897355082363971283798575401306152343750}, {"parameter": "[7, 3, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420237840652738461896820485591888427734375}, {"parameter": "[7, 3, 6, 3],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420223525344399285415465950965881347656250}, {"parameter": "[7, 3, 6, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108653219483872835695941871523857116699218750}, {"parameter": "[7, 3, 6, 3],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108653205168564496519460516989231109619140625}, {"parameter": "[7, 3, 6, 3],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 108643911137483651327690013706684112548828125}, {"parameter": "[7, 3, 6, 3],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 108643896822175312151208659172058105468750000}, {"parameter": "[7, 3, 6, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420237307745686641821681082248687744140625}, {"parameter": "[7, 3, 6, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420222992437347465340326547622680664062500}, {"parameter": "[7, 3, 6, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108653218950965783875866732120513916015625000}, {"parameter": "[7, 3, 6, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108653204635657444699385377585887908935546875}, {"parameter": "[7, 3, 7, 2],[0, 4, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 108643897355082363971283798575401306152343750}, {"parameter": "[7, 3, 7, 2],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420223525344399285415465950965881347656250}, {"parameter": "[7, 3, 7, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420223644484411856712082612961578369140625}, {"parameter": "[7, 3, 7, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108646056104715974654469107957299041748046875}, {"parameter": "[7, 3, 7, 2],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 108643896822175312151208659172058105468750000}, {"parameter": "[7, 3, 7, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420222992437347465340326547622680664062500}, {"parameter": "[7, 3, 7, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420223111577360036636943209618377685546875}, {"parameter": "[7, 3, 7, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108646055571808922834393968553955841064453125}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 17583385533229893881663847714662551879882812500}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 17583385533229893881663847714662551879882812500}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 17583385518912647840490499511361122131347656250}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 17583385518912647840490499511361122131347656250}, {"parameter": "[7, 4, 3, 5],[0, 5, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 17583385518931143552119429223239421844482421875}, {"parameter": "[7, 4, 3, 5],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 17583385518931143552119429223239421844482421875}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 108867584951402798200361430644989013671875000}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108867584951402798200361430644989013671875000}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 108867584951402798200361430644989013671875000}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 108867584951402798200361430644989013671875000}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 108867570634156757027013227343559265136718750}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108867570634156757027013227343559265136718750}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 108867570634156757027013227343559265136718750}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 108867570634156757027013227343559265136718750}, {"parameter": "[7, 4, 4, 4],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 108867570652652468655942939221858978271484375}, {"parameter": "[7, 4, 4, 4],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108867570652652468655942939221858978271484375}, {"parameter": "[7, 4, 4, 4],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 108867570652652468655942939221858978271484375}, {"parameter": "[7, 4, 4, 4],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 108867570652652468655942939221858978271484375}, {"parameter": "[7, 4, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 108867584951402798200361430644989013671875000}, {"parameter": "[7, 4, 5, 3],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108867584951402798200361430644989013671875000}, {"parameter": "[7, 4, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108643911121664833514493098020553588867187500}, {"parameter": "[7, 4, 5, 3],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108643911121664833514493098020553588867187500}, {"parameter": "[7, 4, 5, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 108876892764884930748538149058818817138671875}, {"parameter": "[7, 4, 5, 3],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 108876892764884930748538149058818817138671875}, {"parameter": "[7, 4, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 108867570634156757027013227343559265136718750}, {"parameter": "[7, 4, 5, 3],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108867570634156757027013227343559265136718750}, {"parameter": "[7, 4, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108643896804418792341144894719123840332031250}, {"parameter": "[7, 4, 5, 3],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108643896804418792341144894719123840332031250}, {"parameter": "[7, 4, 5, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 108876878447638889575189945757389068603515625}, {"parameter": "[7, 4, 5, 3],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 108876878447638889575189945757389068603515625}, {"parameter": "[7, 4, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 108867570652652468655942939221858978271484375}, {"parameter": "[7, 4, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108867570652652468655942939221858978271484375}, {"parameter": "[7, 4, 5, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108643896822914503970074606597423553466796875}, {"parameter": "[7, 4, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108643896822914503970074606597423553466796875}, {"parameter": "[7, 4, 5, 3],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 108876878466134601204119657635688781738281250}, {"parameter": "[7, 4, 5, 3],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 108876878466134601204119657635688781738281250}, {"parameter": "[7, 4, 6, 2],[0, 3, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 108867584951402798200361430644989013671875000}, {"parameter": "[7, 4, 6, 2],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108643911121664833514493098020553588867187500}, {"parameter": "[7, 4, 6, 2],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108643911240804846085789714682549285888671875}, {"parameter": "[7, 4, 6, 2],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 108869743701036408883546740026886749267578125}, {"parameter": "[7, 4, 6, 2],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 108867570634156757027013227343559265136718750}, {"parameter": "[7, 4, 6, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108643896804418792341144894719123840332031250}, {"parameter": "[7, 4, 6, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108643896923558804912441511381119537353515625}, {"parameter": "[7, 4, 6, 2],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 108869729383790367710198536725457000732421875}, {"parameter": "[7, 4, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 108867570652652468655942939221858978271484375}, {"parameter": "[7, 4, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108643896822914503970074606597423553466796875}, {"parameter": "[7, 4, 6, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108643896942054516541371223259419250488281250}, {"parameter": "[7, 4, 6, 2],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 108869729402286079339128248603756713867187500}, {"parameter": "[7, 5, 2, 5],[0, 2, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 35057903827759641902230214327573776245117187500}, {"parameter": "[7, 5, 2, 5],[0, 3, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 35057903467191315136209595948457717895507812500}, {"parameter": "[7, 5, 2, 5],[0, 4, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 35057903467191139217265299521386623382568359375}, {"parameter": "[7, 5, 2, 5],[0, 5, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 35057903467209066883605555631220340728759765625}, {"parameter": "[7, 5, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 17583385879481150818766728043556213378906250000}, {"parameter": "[7, 5, 3, 4],[0, 2, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 17583385879481150818766728043556213378906250000}, {"parameter": "[7, 5, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 17583385518912824052746109664440155029296875000}, {"parameter": "[7, 5, 3, 4],[0, 3, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 17583385518912824052746109664440155029296875000}, {"parameter": "[7, 5, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 17583385518912648133801813237369060516357421875}, {"parameter": "[7, 5, 3, 4],[0, 4, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 17583385518912648133801813237369060516357421875}, {"parameter": "[7, 5, 3, 4],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 17583385518930575800142069347202777862548828125}, {"parameter": "[7, 5, 3, 4],[0, 5, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 17583385518930575800142069347202777862548828125}, {"parameter": "[7, 5, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 17583385879481150818766728043556213378906250000}, {"parameter": "[7, 5, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 17583162205651412854080859710931777954101562500}, {"parameter": "[7, 5, 4, 3],[0, 2, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 17583395187294632951314904761970043182373046875}, {"parameter": "[7, 5, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 17583385518912824052746109664440155029296875000}, {"parameter": "[7, 5, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 17583161845083086088060241331815719604492187500}, {"parameter": "[7, 5, 4, 3],[0, 3, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 17583394826726306185294286382853984832763671875}, {"parameter": "[7, 5, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 17583385518912648133801813237369060516357421875}, {"parameter": "[7, 5, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 17583161845082910169115944904744625091552734375}, {"parameter": "[7, 5, 4, 3],[0, 4, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 17583394826726130266349989955782890319824218750}, {"parameter": "[7, 5, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 17583385518930575800142069347202777862548828125}, {"parameter": "[7, 5, 4, 3],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 17583161845100837835456201014578342437744140625}, {"parameter": "[7, 5, 4, 3],[0, 5, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 17583394826744057932690246065616607666015625000}, {"parameter": "[7, 5, 5, 2],[0, 2, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 17583385879481150818766728043556213378906250000}, {"parameter": "[7, 5, 5, 2],[0, 2, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 17583162205651412854080859710931777954101562500}, {"parameter": "[7, 5, 5, 2],[0, 2, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 17583162205770552866652156327593773651123046875}, {"parameter": "[7, 5, 5, 2],[0, 2, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 17583388038230784429449913352938111114501953125}, {"parameter": "[7, 5, 5, 2],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 17583385518912824052746109664440155029296875000}, {"parameter": "[7, 5, 5, 2],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 17583161845083086088060241331815719604492187500}, {"parameter": "[7, 5, 5, 2],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 17583161845202226100631537948477715301513671875}, {"parameter": "[7, 5, 5, 2],[0, 3, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 17583387677662457663429294973822052764892578125}, {"parameter": "[7, 5, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 17583385518912648133801813237369060516357421875}, {"parameter": "[7, 5, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 17583161845082910169115944904744625091552734375}, {"parameter": "[7, 5, 5, 2],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 17583161845202050181687241521406620788574218750}, {"parameter": "[7, 5, 5, 2],[0, 4, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 17583387677662281744484998546750958251953125000}, {"parameter": "[7, 5, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 17583385518930575800142069347202777862548828125}, {"parameter": "[7, 5, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 17583161845100837835456201014578342437744140625}, {"parameter": "[7, 5, 5, 2],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 17583161845219977848027497631240338134765625000}, {"parameter": "[7, 5, 5, 2],[0, 5, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 17583387677680209410825254656584675598144531250}, {"parameter": "[8, 2, 5, 4],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 140891469423386083539706279993057250976562500}, {"parameter": "[8, 2, 5, 4],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 140889666076507530984729372985333251953125000}, {"parameter": "[8, 2, 5, 4],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 140891544466659625272800206631249237060546875}, {"parameter": "[8, 2, 6, 3],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 3191305004850961905527932465362548828125}, {"parameter": "[8, 2, 6, 3],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 3191189589173413869394547909545898437500}, {"parameter": "[8, 2, 6, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3191305004850961905527932465362548828125}, {"parameter": "[8, 2, 6, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3191189589173413869394547909545898437500}, {"parameter": "[8, 2, 7, 2],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3191189589173413869394547909545898437500}, {"parameter": "[8, 2, 7, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387842710620858892487540185546875000000}, {"parameter": "[8, 2, 7, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3266232862715146963321186101531982421875}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 140891469405657985439072919547557830810546875}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 140891469405657985439072919547557830810546875}, {"parameter": "[8, 3, 4, 4],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 140891469405622742519379218578338623046875000}, {"parameter": "[8, 3, 4, 4],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 140891469405622742519379218578338623046875000}, {"parameter": "[8, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4994518739627868212941110134124755859375}, {"parameter": "[8, 3, 5, 3],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 4994518739627868212941110134124755859375}, {"parameter": "[8, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4994518739627868212941110134124755859375}, {"parameter": "[8, 3, 5, 3],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 4994518739627868212941110134124755859375}, {"parameter": "[8, 3, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4994518704384948519240140914916992187500}, {"parameter": "[8, 3, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 4994518704384948519240140914916992187500}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4994518704384948519240140914916992187500}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 4994518704384948519240140914916992187500}, {"parameter": "[8, 3, 6, 2],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 4994518739627868212941110134124755859375}, {"parameter": "[8, 3, 6, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3191171861075313236034102410125732421875}, {"parameter": "[8, 3, 6, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 5069562013169601306867748326110839843750}, {"parameter": "[8, 3, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 4994518704384948519240140914916992187500}, {"parameter": "[8, 3, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3191171825832393542333133190917968750000}, {"parameter": "[8, 3, 6, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 5069561977926681613166779106903076171875}, {"parameter": "[8, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 281777944297157863474786281585693359375000000}, {"parameter": "[8, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 281777944292540873170583508908748626708984375}, {"parameter": "[8, 4, 3, 4],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 281777944292541109551894478499889373779296875}, {"parameter": "[8, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 140891469410239505903926303148269653320312500}, {"parameter": "[8, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 140891469410239505903926303148269653320312500}, {"parameter": "[8, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 140891469405622515599723530471324920654296875}, {"parameter": "[8, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 140891469405622515599723530471324920654296875}, {"parameter": "[8, 4, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 140891469405622751981034500062465667724609375}, {"parameter": "[8, 4, 4, 3],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 140891469405622751981034500062465667724609375}, {"parameter": "[8, 4, 5, 2],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 140891469410239505903926303148269653320312500}, {"parameter": "[8, 4, 5, 2],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 140889666063360953348949396140545654296875000}, {"parameter": "[8, 4, 5, 2],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 140891544453513047637020229786461639404296875}, {"parameter": "[8, 4, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 140891469405622515599723530471324920654296875}, {"parameter": "[8, 4, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 140889666058743963044746623463600921630859375}, {"parameter": "[8, 4, 5, 2],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 140891544448896057332817457109516906738281250}, {"parameter": "[8, 4, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 140891469405622751981034500062465667724609375}, {"parameter": "[8, 4, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 140889666058744199426057593054741668701171875}, {"parameter": "[8, 4, 5, 2],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 140891544448896293714128426700657653808593750}, {"parameter": "[9, 2, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1130313529290547190424562428444671630859375}, {"parameter": "[9, 2, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1130313529290547190424562428444671630859375}, {"parameter": "[9, 2, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1474426792784396082549341619110107421875}, {"parameter": "[9, 2, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1474426792784396082549341619110107421875}, {"parameter": "[9, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2259152631788084884100290954113006591796875}, {"parameter": "[9, 3, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2259152631788082614001515328884124755859375}, {"parameter": "[9, 3, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1130313529290322089758277867287445068359375}, {"parameter": "[9, 3, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1130313529290322089758277867287445068359375}, {"parameter": "[9, 3, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1130313529290319819659502242058563232421875}, {"parameter": "[9, 3, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1130313529290319819659502242058563232421875}, {"parameter": "[10, 2, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 19468422565540214134058869779205322265625}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 13580535806233104933580183458046616326560781250}], "request": [5, 19, 4, 7], "liftedmrdsizebound": 212221452017905866878634162211563730144276545353556, "comments": "", "equal_bound_constraints": []}