{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "", "name": "singleton", "value": 17824182148160735190135826789101008407579416056}, {"parameter": "6", "name": "ilp_2", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "8", "name": "ilp_3", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "", "name": "anticode", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "", "name": "linear_programming_bound", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "", "name": "sphere_packing", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "1", "name": "ilp_1", "value": 14259527130752778711907818687996140879974182119}, {"parameter": "2", "name": "ilp_1", "value": 14259527130752778711907818687996140880013247619}, {"parameter": "3", "name": "ilp_1", "value": 14259527130752778711907818687996620196170288275}, {"parameter": "4", "name": "ilp_1", "value": 14259527130752778711908191962133812114154601275}, {"parameter": "5", "name": "ilp_1", "value": 14259527130752797085170520063829082553804663376}, {"parameter": "9", "name": "ilp_4", "value": 8911771659302079254997496033729033553917623413376}, {"parameter": "10", "name": "ilp_4", "value": 8911771653694986799241245548954342287363420303255}, {"parameter": "11", "name": "ilp_4", "value": 8911771653694843836431047919784654647927606440722}, {"parameter": "12", "name": "ilp_4", "value": 8911771653694843835703161027489761440431715128647}, {"parameter": "13", "name": "ilp_4", "value": 8911771653694843835703160444807747923811708729835}, {"parameter": "14", "name": "ilp_4", "value": 8911771653694843836385336038031168844846346534013}, {"parameter": "15", "name": "ilp_4", "value": 1782441942626209068752304220587196817329447337274}, {"parameter": "16", "name": "ilp_4", "value": 356487512428618616970838605468522451845543335456}, {"parameter": "17", "name": "ilp_4", "value": 71297642662607363606137936039902375190104288905}, {"parameter": "", "name": "johnson_1", "value": 14259527130752778711907818687996140879974182119}, {"parameter": "", "name": "johnson_2", "value": 71297642662607363606137936039902375190104288905}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 8911771659302079254997496033729033553917623413376}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 8911771653694986799241245548954342287363420303255}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 8911771653694843836431047919784654647927606440722}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 8911771653694843835703161027489761440431715128647}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 8911771653694843835703160444807747923811708729835}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 8911771653694843836385336038031168844846346534013}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1782441942626209068752304220587196817329447337274}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 356487512428618616970838605468522451845543335456}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 71297642662607363606137936039902375190104288905}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 14259528532509510808357721879628809964780332093}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 14259529700590398234016074063679538156786154432}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 14259535540997705892385937530077721242127187351}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 14259564743106007618423167589728885949184003472}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 14259710755441624883016869192202828362600833410}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 14260440861975274711839224822972448067639333216}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 14264092516388680964584343943551534338420685020}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 14282378876664532970453790650025263846863422756}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 14374518500616129310689368584386131424369739998}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 14853643562331295268206846803367664469296035802}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 17824182148160735190135826789101008407579416056}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 14259527130752797085170520063829082553804663376}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 14259527130752778711908191962133812114154601275}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 14259527130752778711907818687996620196170288275}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 14259527130752778711907818687988987773287475279}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 14259527130752778711907818687988987773277699529}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 8912319227982597216346207059239524434651703551344}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 8912775567895441073543744700091456874922537277545}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 8915057968622081023224131871176699973943445648718}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 8926487529182506667930030701949367221191724764671}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 8984077766550437506580501389677632219038834922661}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 9283546999880806982531582266750475285071532592199}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 11140256209730412546658078532854767895273286916056}, {"parameter": "", "name": "improved_johnson", "value": 14259527130752778711907818687996140879974182104}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1782445593121509437962639419011848797655513123405}], "known_codes": [], "upper_bound": 14259527130752778711907818687988987773277699529, "classified": false, "lower_bound": 13575359465692365684898552467453540627598430631, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 13552527156068805425093160010874271392822265625}, {"parameter": "", "name": "sphere_covering", "value": 730097206108725145069772253321837589717902}, {"parameter": "", "name": "graham_sloane", "value": 912609807391364251197369657933593180460776}, {"parameter": "", "name": "multicomponent", "value": 13552527211579956883724662512540817266845703126}, {"parameter": "", "name": "construction_ST_B", "value": 13574280753119422763050421893310088377732496996}, {"parameter": "", "name": "EF_special", "value": 13575359458996180137997725978493690490722656250}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 13552527228342280472132984037180273443222656250}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 13574246021772661328212848352868883520126953125}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 13574280753119422761302157341487146863601029500}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 13575359465692365684898552467453540627598430631}, {"parameter": "", "name": "two_pivot_block_construction", "value": 13574245949588146208841063039067109159503659008}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 108644291472925735039627687537852349274808589}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 13574280755257888586493209004402638329152925786}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 13552751230293180716732624494934741929648437500}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 13552751230293180716732158833647434190390625000}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 13552751230293180716732042455578510240195312500}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 13552751230293180716732042418325626329062500000}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 869182512643425243813879076766742343750000}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 869182512643425243925637785720599765625000}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 869182512643425243810153786468280429687500}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 869182512643425243809222475814593906250000}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 4517290493197190909732332872093158798828125}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 4517290493197190909755608485877948837890625}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 4517290493197190909755608485877948837890625}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 4517290493197190909732332872093158798828125}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 21893320715616455032537503222554632187500000}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 21893320715616455032538434533208318710937500}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 21893320715616455032653918532460638046875000}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 21893320715616455032542159823506780625000000}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 108612980406608307020064863045561223984375000}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 108612980406608307020064900298445135117187500}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 108612980406608307020181278367369085312500000}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 108612980406608307020646939654676824570312500}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 13552751230293180716732042418325607255576171875}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 869182512643425243809222463893664951171875}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 4517290493197190909732325421512561875000000}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 21893320715616455032537503210633703232421875}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 108612980406608307020064863045542150498046875}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 13552751230293180716732042418325607255576171875}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 869182512643425243809222463893664951171875}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 4517290493197190909732325421512561875000000}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 21893320715616455032537503210633703232421875}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 108612980406608307020064863045542150498046875}, {"parameter": "7", "name": "linkage_GLT", "value": 13552527156068805425093160010874749077443941411}, {"parameter": "8", "name": "linkage_GLT", "value": 867361737988403547205962240695959531562531}, {"parameter": "9", "name": "linkage_GLT", "value": 4517275442594836931675672531127929687581376}, {"parameter": "10", "name": "linkage_GLT", "value": 21893320599986054730834439396858215332031251}, {"parameter": "11", "name": "linkage_GLT", "value": 108612908133133259980240836739540100097656251}, {"parameter": "7", "name": "improved_linkage", "value": 13552527211694316344797084117772039965614715183}, {"parameter": "8", "name": "improved_linkage", "value": 867361741548437982382976105236554445123746}, {"parameter": "9", "name": "improved_linkage", "value": 4517275442595064774435139421417716904296875}, {"parameter": "10", "name": "improved_linkage", "value": 21893320599986054733750789388754514768674836}, {"parameter": "11", "name": "improved_linkage", "value": 108612908133133259980240874066430953035116578}, {"parameter": "12", "name": "improved_linkage", "value": 108635550286089594964869320393086327199800786}, {"parameter": "13", "name": "improved_linkage", "value": 108642503317307659858598783612251287900703156}, {"parameter": "14", "name": "improved_linkage", "value": 108643893941350121396644972264766693115315751}, {"parameter": "15", "name": "improved_linkage", "value": 21728725800640953763065192114154791259765626}, {"parameter": "16", "name": "improved_linkage", "value": 4345743040601869070851388169749410121718751}, {"parameter": "7,0", "name": "generalized_linkage", "value": 13552751230293180716732042418325607255576171875}, {"parameter": "7,1", "name": "generalized_linkage", "value": 13552536188073811631639837259776236776615890625}, {"parameter": "7,2", "name": "generalized_linkage", "value": 13552527517376562786495901369436454731706158875}, {"parameter": "7,3", "name": "generalized_linkage", "value": 13552527170415595771852537099229800361523437500}, {"parameter": "7,4", "name": "generalized_linkage", "value": 13552527156179166492583647440675030026177742376}, {"parameter": "7,5", "name": "generalized_linkage", "value": 13552527211694316344797084117772039965614715183}, {"parameter": "8,0", "name": "generalized_linkage", "value": 869182512643425243809222463893664951171875}, {"parameter": "8,1", "name": "generalized_linkage", "value": 867434556860657709340585619799795568421875}, {"parameter": "8,2", "name": "generalized_linkage", "value": 867362320662282776475546799706816570441625}, {"parameter": "8,3", "name": "generalized_linkage", "value": 867361742614860185051115564498756173939395}, {"parameter": "8,4", "name": "generalized_linkage", "value": 867361738023947017682797125902759189453125}, {"parameter": "8,5", "name": "generalized_linkage", "value": 867361741548437982382976105236554445123746}, {"parameter": "9,0", "name": "generalized_linkage", "value": 4517290493197190909732325421512561875000000}, {"parameter": "9,1", "name": "generalized_linkage", "value": 4517275560207474765970277891387550100531250}, {"parameter": "9,2", "name": "generalized_linkage", "value": 4517275443528400703556283369806082459968250}, {"parameter": "9,3", "name": "generalized_linkage", "value": 4517275442596319580544690308979251214809960}, {"parameter": "9,4", "name": "generalized_linkage", "value": 4517275442594839209345016202137789706140666}, {"parameter": "9,5", "name": "generalized_linkage", "value": 4517275442595064774435139421417716904296875}, {"parameter": "10,0", "name": "generalized_linkage", "value": 21893320715616455032537503210633703232421875}, {"parameter": "10,1", "name": "generalized_linkage", "value": 21893320600180253645174646920929137445531250}, {"parameter": "10,2", "name": "generalized_linkage", "value": 21893320599986355914825491419239083944414500}, {"parameter": "10,3", "name": "generalized_linkage", "value": 21893320599986055205328958228292094013824020}, {"parameter": "10,4", "name": "generalized_linkage", "value": 21893320599986054730980238232529789052072418}, {"parameter": "10,5", "name": "generalized_linkage", "value": 21893320599986054733750789388754514768674836}, {"parameter": "11,0", "name": "generalized_linkage", "value": 108612980406608307020064863045542150498046875}, {"parameter": "11,1", "name": "generalized_linkage", "value": 108612908133133558304139197349053194595921875}, {"parameter": "11,2", "name": "generalized_linkage", "value": 108612908133133260079676995902050130911748250}, {"parameter": "11,3", "name": "generalized_linkage", "value": 108612908133133259980271443391156487688657420}, {"parameter": "11,4", "name": "generalized_linkage", "value": 108612908133133259980240846069198446047432616}, {"parameter": "11,5", "name": "generalized_linkage", "value": 108612908133133259980240874066430953035116578}, {"parameter": "12,1", "name": "generalized_linkage", "value": 108635550286126885925670102369698695084203125}, {"parameter": "12,2", "name": "generalized_linkage", "value": 108635550286089594964899869147820768337357625}, {"parameter": "12,3", "name": "generalized_linkage", "value": 108635550286089594964869322413447219345825320}, {"parameter": "12,4", "name": "generalized_linkage", "value": 108635550286089594964869320392729000840371086}, {"parameter": "12,5", "name": "generalized_linkage", "value": 108635550286089594964869320393086327199800786}, {"parameter": "13,2", "name": "generalized_linkage", "value": 108642503317307659859362504429556378981888875}, {"parameter": "13,3", "name": "generalized_linkage", "value": 108642503317307659858598783612375448532207195}, {"parameter": "13,4", "name": "generalized_linkage", "value": 108642503317307659858598783612251283327635906}, {"parameter": "13,5", "name": "generalized_linkage", "value": 108642503317307659858598783612251287900703156}, {"parameter": "14,3", "name": "generalized_linkage", "value": 108643893941350121396644972265387527135722820}, {"parameter": "14,4", "name": "generalized_linkage", "value": 108643893941350121396644972264766693115253906}, {"parameter": "14,5", "name": "generalized_linkage", "value": 108643893941350121396644972264766693115315751}, {"parameter": "15,4", "name": "generalized_linkage", "value": 21728725800640953763065192114154791259785156}, {"parameter": "15,5", "name": "generalized_linkage", "value": 21728725800640953763065192114154791259765626}, {"parameter": "16,5", "name": "generalized_linkage", "value": 4345743040601869070851388169749410121718751}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13552751230293180716732042418325607255576171875}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 13552536188073811631639837259776236776615890625}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 13552527517376562786495901369436454731706158875}, {"parameter": "[7, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 13552527170415595771852537099229800361523437500}, {"parameter": "[7, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 13552527156179166492583647440675030026177742376}, {"parameter": "[7, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 13552527211694316344797084117772039965614715183}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 869182512643425243809222463893664951171875}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 867434556860657709340585619799795568421875}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 867362320662282776475546799706816570441625}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 867361742614860185051115564498756173939395}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 867361738023947017682797125902759189453125}, {"parameter": "[8, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 867361741548437982382976105236554445123746}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4517290493197190909732325421512561875000000}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4517275560207474765970277891387550100531250}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4517275443528400703556283369806082459968250}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4517275442596319580544690308979251214809960}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4517275442594839209345016202137789706140666}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4517275442595064774435139421417716904296875}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 21893320715616455032537503210633703232421875}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 21893320600180253645174646920929137445531250}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 21893320599986355914825491419239083944414500}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 21893320599986055205328958228292094013824020}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 21893320599986054730980238232529789052072418}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 21893320599986054733750789388754514768674836}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 108612980406608307020064863045542150498046875}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 108612908133133558304139197349053194595921875}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 108612908133133260079676995902050130911748250}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 108612908133133259980271443391156487688657420}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 108612908133133259980240846069198446047432616}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 108612908133133259980240874066430953035116578}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 108635550286126885925670102369698695084203125}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 108635550286089594964899869147820768337357625}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 108635550286089594964869322413447219345825320}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 108635550286089594964869320392729000840371086}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 108635550286089594964869320393086327199800786}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 108642503317307659859362504429556378981888875}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 108642503317307659858598783612375448532207195}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 108642503317307659858598783612251283327635906}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 108642503317307659858598783612251287900703156}, {"parameter": "[14, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 108643893941350121396644972265387527135722820}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 108643893941350121396644972264766693115253906}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 108643893941350121396644972264766693115315751}, {"parameter": "[15, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 21728725800640953763065192114154791259785156}, {"parameter": "[15, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 21728725800640953763065192114154791259765626}, {"parameter": "[16, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4345743040601869070851388169749410121718751}, {"parameter": "[7, 2, 9],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 4336867183294929400449719953984069824218750}, {"parameter": "[7, 2, 9],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 4336867091786912139369848063948461093750000}, {"parameter": "[7, 2, 9],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 4560938425468540632739239836399034140625000}, {"parameter": "[7, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 21684046422905880558260855734348297119140625}, {"parameter": "[7, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 21684046542045893129557472396343994140625000}, {"parameter": "[7, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 21684046450537875868477600506308385410156250}, {"parameter": "[7, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 21908117784219504361846992278758958457031250}, {"parameter": "[7, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 21684046316324470194245827853679656982421875}, {"parameter": "[7, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 21684046435464482765542444515675354003906250}, {"parameter": "[7, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 21684046343956465504462572625639745273437500}, {"parameter": "[7, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 21908117677638093997831964398090318320312500}, {"parameter": "[7, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 108643908258603165679196827113628387451171875}, {"parameter": "[7, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 108420234428865200993328494489192962646484375}, {"parameter": "[7, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 108420234548005213564625111151188659667968750}, {"parameter": "[7, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420234456497196303545239261153050937500000}, {"parameter": "[7, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108644305790178824796914631033603623984375000}, {"parameter": "[7, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 108643893941357124505848623812198638916015625}, {"parameter": "[7, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 108420220111619159819980291187763214111328125}, {"parameter": "[7, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 108420220230759172391276907849758911132812500}, {"parameter": "[7, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420220139251155130197035959723302402343750}, {"parameter": "[7, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 108644291472932783623566427732173875449218750}, {"parameter": "[7, 4, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 108643893959852836134778335690498352050781250}, {"parameter": "[7, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 108420220130114871448910003066062927246093750}, {"parameter": "[7, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 108420220249254884020206619728058624267578125}, {"parameter": "[7, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420220157746866759126747838023015537109375}, {"parameter": "[7, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 108644291491428495252496139610473588583984375}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 108644254509860102782077156007289886474609375}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 108420580680122138096208823382854461669921875}, {"parameter": "[7, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420580799262150667505440044850158691406250}, {"parameter": "[7, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420580707754133406425568154814549960937500}, {"parameter": "[7, 5, 6],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108644652041435761899794959927265123007812500}, {"parameter": "[7, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 108643893941533336761458776891231536865234375}, {"parameter": "[7, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 108420220111795372075590444266796112060546875}, {"parameter": "[7, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420220230935384646887060928791809082031250}, {"parameter": "[7, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420220139427367385807189038756200351562500}, {"parameter": "[7, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108644291473108995879176580811206773398437500}, {"parameter": "[7, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 108643893941357417817162349820137023925781250}, {"parameter": "[7, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 108420220111619453131294017195701599121093750}, {"parameter": "[7, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420220230759465702590633857697296142578125}, {"parameter": "[7, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420220139251448441510761967661687412109375}, {"parameter": "[7, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 108644291472933076934880153740112260458984375}, {"parameter": "[7, 5, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 108643893959285084157418459653854370117187500}, {"parameter": "[7, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 108420220129547119471550127029418945312500000}, {"parameter": "[7, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420220248687132042846743691414642333984375}, {"parameter": "[7, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420220157179114781766871801379033603515625}, {"parameter": "[7, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 108644291490860743275136263573829606650390625}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 108429677840611834176162319860161488037109375}, {"parameter": "[7, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 108429231351814056040244641761644060498046875}, {"parameter": "[7, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 108429231350907040332023532279161716464843750}, {"parameter": "[7, 6, 5],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 108429234241371670388481321624281713046875000}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 108420663743099547262283104142845814208984375}, {"parameter": "[7, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420217254301769126365426044328386669921875}, {"parameter": "[7, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217253394753418144316561846042636718750}, {"parameter": "[7, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420220143859383474602105906966039218750000}, {"parameter": "[7, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 108420663738675157170152167460621540527343750}, {"parameter": "[7, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420217249877379034234489362104112988281250}, {"parameter": "[7, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217248970363326013379879621768955078125}, {"parameter": "[7, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420220139434993382471169224741765537109375}, {"parameter": "[7, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 108420663738491386945207143804730122070312500}, {"parameter": "[7, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420217249693608809289465706212694531250000}, {"parameter": "[7, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217248786593101068356223730350498046875}, {"parameter": "[7, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420220139251223157526145568850347080078125}, {"parameter": "[7, 6, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 108420663756279409202471847316921894531250000}, {"parameter": "[7, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420217267481631066554169218404466992187500}, {"parameter": "[7, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217266574615358333059735922122958984375}, {"parameter": "[7, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420220157039245414790849081042119541015625}, {"parameter": "[7, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 108643893970887332923994023387419837841796875}, {"parameter": "[7, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 108643893941350090463514617020537969150390625}, {"parameter": "[7, 7, 4],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 108643893941388248103419088007315679550781250}, {"parameter": "[7, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420217393468207635646600310790199169921875}, {"parameter": "[7, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217363930965175167193943908330478515625}, {"parameter": "[7, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420217363969122815071664930686040878906250}, {"parameter": "[7, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420217282895031926937015299784797558593750}, {"parameter": "[7, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217253357789466457608932902928867187500}, {"parameter": "[7, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420217253395947106362079919680639267578125}, {"parameter": "[7, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420217278272729930323756542193550000000000}, {"parameter": "[7, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217248735487469844350175311681308593750}, {"parameter": "[7, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420217248773645109748821162089391708984375}, {"parameter": "[7, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420217278094761513932453573214668164062500}, {"parameter": "[7, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217248557519053453047206332799472656250}, {"parameter": "[7, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420217248595676693357518193110509873046875}, {"parameter": "[7, 7, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 108420217295886548961702339095103401074218750}, {"parameter": "[7, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 108420217266349306501222932728221532382812500}, {"parameter": "[7, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 108420217266387464141127403714999242783203125}, {"parameter": "[7, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 21684046312771829692553017593374835605468750}, {"parameter": "[7, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 21684046312771756984529350582458976669921875}, {"parameter": "[7, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 21684043569891975061451701908007251376953125}, {"parameter": "[7, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 21684043569891902353428034897091392441406250}, {"parameter": "[7, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 21684043454369981769732564738105212802734375}, {"parameter": "[7, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 21684043454369909061708897727189353867187500}, {"parameter": "[7, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 21684043449893748398913403795090808505859375}, {"parameter": "[7, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 21684043449893675690889736784174949570312500}, {"parameter": "[7, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 21684043449717224440364907460803686923828125}, {"parameter": "[7, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 21684043449717151732341240449887827988281250}, {"parameter": "[7, 8, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 21684043467510149600764433677682458896484375}, {"parameter": "[7, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 21684043467510076892740766666766599960937500}, {"parameter": "[7, 9, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4336811672143698611706722430535606308593750}, {"parameter": "[7, 9, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 4336808806436086375358591944118167343750000}, {"parameter": "[7, 9, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 4336808694565497679223426738387318671875000}, {"parameter": "[7, 9, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 4336808690125643018414519946800113024218750}, {"parameter": "[7, 9, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 4336808689949081240250458711812829055937500}, {"parameter": "[7, 9, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 4336808707742233788464638751241020126953125}, {"parameter": "[8, 2, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 277582392005477542833514183807373046875}, {"parameter": "[8, 2, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 277583352559378877017116444776230468750}, {"parameter": "[8, 2, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 2098333963891664538867060470355625000000}, {"parameter": "[8, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 3191148777939803628807425498962402343750}, {"parameter": "[8, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1387801899387248651900417774963378906250}, {"parameter": "[8, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387802859941149986084020035932236328125}, {"parameter": "[8, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3208553471273435647933964061511630859375}, {"parameter": "[8, 3, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 3191148742696883935106456279754638671875}, {"parameter": "[8, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1387801864144328958199448555755615234375}, {"parameter": "[8, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387802824698230292383050816724472656250}, {"parameter": "[8, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 3208553436030515954232994842303867187500}, {"parameter": "[8, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3191153359460268482191026210784912109375}, {"parameter": "[8, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387806480907713505284018486785888671875}, {"parameter": "[8, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387807441461614839467620747754746093750}, {"parameter": "[8, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3208558052793900501317564773334140625000}, {"parameter": "[8, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 3191148742469964279418349266052246093750}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387801863917409302511341542053222656250}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387802824471310636694943803022080078125}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3208553435803596298544887828601474609375}, {"parameter": "[8, 4, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 3191148742706345590387940406799316406250}, {"parameter": "[8, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387801864153790613480932682800292968750}, {"parameter": "[8, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387802824707691947664534943769150390625}, {"parameter": "[8, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3208553436039977609514478969348544921875}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3191730261395908906681001186370849609375}, {"parameter": "[8, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1388383382843353929773993462371826171875}, {"parameter": "[8, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1388384343397255263957595723340683593750}, {"parameter": "[8, 5, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3209134954729540925807539748920078125000}, {"parameter": "[8, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3191148742528607741368472576141357421875}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387801863976052764461464852142333984375}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387802824529954098645067113111191406250}, {"parameter": "[8, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3208553435862239760495011138690585937500}, {"parameter": "[8, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3191148742469983172451615333557128906250}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387801863917428195544607609558105468750}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387802824471329529728209870526962890625}, {"parameter": "[8, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3208553435803615191578153896106357421875}, {"parameter": "[8, 5, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 3191148742699078365077733993530273437500}, {"parameter": "[8, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387801864146523388170726269531250000000}, {"parameter": "[8, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387802824700424722354328530500107421875}, {"parameter": "[8, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3208553436032710384204272556079501953125}, {"parameter": "[8, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1461184032925637155826789495403271484375}, {"parameter": "[8, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1460468466361548174626815302060703125000}, {"parameter": "[8, 6, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1460492508278174308899259465406113281250}, {"parameter": "[8, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1388494356561761721770030614788037109375}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778789997672740570056421445468750000}, {"parameter": "[8, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387802831914298874842500584790878906250}, {"parameter": "[8, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1388494349179876157259301301891308593750}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778782615787176059327108548740234375}, {"parameter": "[8, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387802824532413310331771271894150390625}, {"parameter": "[8, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1388494349118777865460240480358105468750}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778782554688884260266287015537109375}, {"parameter": "[8, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387802824471315018532710450360947265625}, {"parameter": "[8, 6, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1388494349346097241384565469676953125000}, {"parameter": "[8, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778782782008260184591276334384765625}, {"parameter": "[8, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387802824698634394457035439679794921875}, {"parameter": "[8, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3191148751628898429875371765674228515625}, {"parameter": "[8, 7, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3191148742764974394186196721740341796875}, {"parameter": "[8, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387779720368786579408144211352939453125}, {"parameter": "[8, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387779711504862543718969167419052734375}, {"parameter": "[8, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778797694018577634021676410312500000}, {"parameter": "[8, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778788830094541944846632476425781250}, {"parameter": "[8, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778790000501689362527652789707031250}, {"parameter": "[8, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778781136577653673352608855820312500}, {"parameter": "[8, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778789941288672407833508783359375000}, {"parameter": "[8, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778781077364636718658464849472656250}, {"parameter": "[8, 7, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778790168659107295260496771640625000}, {"parameter": "[8, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778781304735071606085452837753906250}, {"parameter": "[8, 8, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 277578839587262876855557329650498046875}, {"parameter": "[8, 8, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 277556725597418314810853044541855468750}, {"parameter": "[8, 8, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 277555763967033715256573574464375000000}, {"parameter": "[8, 8, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 277555756510955782907717079208087500000}, {"parameter": "[8, 8, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 277555756452208191111150593784915468750}, {"parameter": "[8, 8, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 277555756679593112745778811974948125000}, {"parameter": "[9, 2, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 1459977467321058788064394444274902343750}, {"parameter": "[9, 2, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1445528326809087424296816676763535156250}, {"parameter": "[9, 2, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1460578744211699550232337654071884765625}, {"parameter": "[9, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1459977467095958121779833287048339843750}, {"parameter": "[9, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1445528326583986758012255519536972656250}, {"parameter": "[9, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1460578743986598883947776496845322265625}, {"parameter": "[9, 3, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1459977467093688023004208058166503906250}, {"parameter": "[9, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1445528326581716659236630290655136718750}, {"parameter": "[9, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1460578743984328785172151267963486328125}, {"parameter": "[9, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1459977468573395134422455281066894531250}, {"parameter": "[9, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1445528328061423770654877513555527343750}, {"parameter": "[9, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1460578745464035896590398490863876953125}, {"parameter": "[9, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1459977467093685141715679615783691406250}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1445528326581713777948101848272324218750}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1460578743984325903883622825580673828125}, {"parameter": "[9, 4, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1459977467093688144113395661163330078125}, {"parameter": "[9, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1445528326581716780345817893651962890625}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1460578743984328906281338870960312500000}, {"parameter": "[9, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1459978399001215280252132862854003906250}, {"parameter": "[9, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1445529258489243916484555095342636718750}, {"parameter": "[9, 5, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1460579675891856042420076072650986328125}, {"parameter": "[9, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1459977467093704052909441441345214843750}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1445528326581732689141863673833847656250}, {"parameter": "[9, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1460578743984344815077384651142197265625}, {"parameter": "[9, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1459977467093685142926383942413330078125}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1445528326581713779158806174901962890625}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1460578743984325905094327152210312500000}, {"parameter": "[9, 5, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1459977467093688051092911690521240234375}, {"parameter": "[9, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1445528326581716687325333923009873046875}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1460578743984328813260854900318222656250}, {"parameter": "[9, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1445645739723089120249430620121005859375}, {"parameter": "[9, 6, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1445644814966259466662583583501816406250}, {"parameter": "[9, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1445529251350471818826577330326083984375}, {"parameter": "[9, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1445528326593642165239730293706894531250}, {"parameter": "[9, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1445529251338563130887138809177402343750}, {"parameter": "[9, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1445528326581733477300291772558212890625}, {"parameter": "[9, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1445529251338543431815746037363437500000}, {"parameter": "[9, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1445528326581713778228899000744248046875}, {"parameter": "[9, 6, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1445529251338546317995983874277500000000}, {"parameter": "[9, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1445528326581716664409136837658310546875}, {"parameter": "[9, 7, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1459977652045051043338531792119980468750}, {"parameter": "[9, 7, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1445528328072765071038772572471542968750}, {"parameter": "[9, 7, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1445528326594138540045123696510712890625}, {"parameter": "[9, 7, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1445528326581732871938470111146194921875}, {"parameter": "[9, 7, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1445528326581713777999810361721405546875}, {"parameter": "[9, 7, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1445528326581716665016932503023863515625}, {"parameter": "[10, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799412116220263570257187500000}, {"parameter": "[10, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799412116220263570257187500000}, {"parameter": "[10, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799409351347056954809189453125}, {"parameter": "[10, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799409351347056954809189453125}, {"parameter": "[10, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799409205874470799871445312500}, {"parameter": "[10, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799409205874470799871445312500}, {"parameter": "[10, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799882858552159398504257812500}, {"parameter": "[10, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799882858552159398504257812500}, {"parameter": "[10, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799409205839080422826767578125}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799409205839080422826767578125}, {"parameter": "[10, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799409205876020997472763671875}, {"parameter": "[10, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799409205876020997472763671875}, {"parameter": "[10, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1401288149097714194269776994939804687500}, {"parameter": "[10, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1401288149097714194269776994939804687500}, {"parameter": "[10, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799409211899972648138046875000}, {"parameter": "[10, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799409211899972648138046875000}, {"parameter": "[10, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799409205839157927746201171875}, {"parameter": "[10, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799409205839157927746201171875}, {"parameter": "[10, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799409205874830335277939453125}, {"parameter": "[10, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799409205874830335277939453125}, {"parameter": "[10, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1401288335240008188691042341941757812500}, {"parameter": "[10, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799413024141069833643281250000}, {"parameter": "[10, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799409212152260849050913671875}, {"parameter": "[10, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799409205839098398446578984375}, {"parameter": "[10, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1401288148799409205874537007955246953125}, {"parameter": "[11, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1462518699151145551810641615301132812500}, {"parameter": "[11, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1462518699151145551782701818853378906250}, {"parameter": "[11, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1462518699151145551773389189153671875000}, {"parameter": "[11, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1462518699151145582087472885564804687500}, {"parameter": "[11, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1462518699151145551773388831524277343750}, {"parameter": "[11, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1462518699151145551773389208996201171875}, {"parameter": "[11, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1462518699151241015422800960352265625000}, {"parameter": "[11, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1462518699151145551773776732593931250000}, {"parameter": "[11, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1462518699151145551773388836484846171875}, {"parameter": "[11, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1462518699151145551773389193755725078125}, {"parameter": "[7, 2, 5, 4],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 225067352405650196138908624649047851562500}, {"parameter": "[7, 2, 5, 4],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 225064489380629550190929509991455078125000}, {"parameter": "[7, 2, 5, 4],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 225067471545662767435525286644744873046875}, {"parameter": "[7, 2, 6, 3],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1390659825900811064055846894073486328125}, {"parameter": "[7, 2, 6, 3],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390659642664864322596885556030273437500}, {"parameter": "[7, 2, 6, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1390659825900811064055846894073486328125}, {"parameter": "[7, 2, 6, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390659642664864322596885556030273437500}, {"parameter": "[7, 2, 7, 2],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390659642664864322596885556030273437500}, {"parameter": "[7, 2, 7, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387796617644218374617770898437500000000}, {"parameter": "[7, 2, 7, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390778782677435619213547551727294921875}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 225067334649130386075144171714782714843750}, {"parameter": "[7, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 225067334649130386075144171714782714843750}, {"parameter": "[7, 3, 4, 4],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 225067334642309175811847209930419921875000}, {"parameter": "[7, 3, 4, 4],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 225067334642309175811847209930419921875000}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1393504911165700206811547279357910156250}, {"parameter": "[7, 3, 5, 3],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1393504911165700206811547279357910156250}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1393504911165700206811547279357910156250}, {"parameter": "[7, 3, 5, 3],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1393504911165700206811547279357910156250}, {"parameter": "[7, 3, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1393504904344489943514585494995117187500}, {"parameter": "[7, 3, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1393504904344489943514585494995117187500}, {"parameter": "[7, 3, 5, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1393504904344489943514585494995117187500}, {"parameter": "[7, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1393504904344489943514585494995117187500}, {"parameter": "[7, 3, 6, 2],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1393504911165700206811547279357910156250}, {"parameter": "[7, 3, 6, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390641886145054258832432621765136718750}, {"parameter": "[7, 3, 6, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1393624051178271503428209275054931640625}, {"parameter": "[7, 3, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1393504904344489943514585494995117187500}, {"parameter": "[7, 3, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1390641879323843995535470837402343750000}, {"parameter": "[7, 3, 6, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1393624044357061240131247490692138671875}, {"parameter": "[7, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 448741164563307327553629875183105468750000}, {"parameter": "[7, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 448741164380046578226611018180847167968750}, {"parameter": "[7, 4, 3, 4],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 448741164380283323335461318492889404296875}, {"parameter": "[7, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 225067334825342641685297250747680664062500}, {"parameter": "[7, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 225067334825342641685297250747680664062500}, {"parameter": "[7, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 225067334642081892358278393745422363281250}, {"parameter": "[7, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 225067334642081892358278393745422363281250}, {"parameter": "[7, 4, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 225067334642318637467128694057464599609375}, {"parameter": "[7, 4, 4, 3],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 225067334642318637467128694057464599609375}, {"parameter": "[7, 4, 5, 2],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 225067334825342641685297250747680664062500}, {"parameter": "[7, 4, 5, 2],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 225064471800321995737318136090087890625000}, {"parameter": "[7, 4, 5, 2],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 225067453965355212981913912743377685546875}, {"parameter": "[7, 4, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 225067334642081892358278393745422363281250}, {"parameter": "[7, 4, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 225064471617061246410299279087829589843750}, {"parameter": "[7, 4, 5, 2],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 225067453782094463654895055741119384765625}, {"parameter": "[7, 4, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 225067334642318637467128694057464599609375}, {"parameter": "[7, 4, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 225064471617297991519149579399871826171875}, {"parameter": "[7, 4, 5, 2],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 225067453782331208763745356053161621093750}, {"parameter": "[8, 2, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1803410808619341869308240383911132812500}, {"parameter": "[8, 2, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1803410808619341869308240383911132812500}, {"parameter": "[8, 2, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 63930066786892401232659912109375000}, {"parameter": "[8, 2, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 63930066786892401232659912109375000}, {"parameter": "[8, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3606757686944977190527141094207763671875}, {"parameter": "[8, 3, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3606757686944526081155061721801757812500}, {"parameter": "[8, 3, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1803410808392422213620133370208740234375}, {"parameter": "[8, 3, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1803410808392422213620133370208740234375}, {"parameter": "[8, 3, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1803410808391971104248053997802734375000}, {"parameter": "[8, 3, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1803410808391971104248053997802734375000}, {"parameter": "[9, 2, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 28917153686890367805012166595458984375}, {"parameter": "", "name": "JohnsonLB", "value": 13575324670468682149249585332380432183674348579}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 4345771567278057406253835724832178955078125}], "request": [5, 18, 4, 7], "liftedmrdsizebound": 13582172926231677090404811662215086855493697306, "comments": "", "equal_bound_constraints": []}