{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1929880702992615813429218299211809253}, {"parameter": "", "name": "singleton", "value": 114917519925881846404167134693}, {"parameter": "4", "name": "ilp_2", "value": 86272391606125817394457344593}, {"parameter": "6", "name": "ilp_3", "value": 1413832016844407189325434651437222}, {"parameter": "", "name": "anticode", "value": 86272391606125817394457344593}, {"parameter": "", "name": "linear_programming_bound", "value": 86272391606125817394457344593}, {"parameter": "", "name": "sphere_packing", "value": 1929880702992615813429218299211809253}, {"parameter": "1", "name": "ilp_1", "value": 86272391606125817394457344593}, {"parameter": "2", "name": "ilp_1", "value": 86272391606125817394457344593}, {"parameter": "3", "name": "ilp_1", "value": 86272391606125817394457344593}, {"parameter": "7", "name": "ilp_4", "value": 1409689678029261517281998109700728}, {"parameter": "8", "name": "ilp_4", "value": 1409686833667520744332551941326910}, {"parameter": "9", "name": "ilp_4", "value": 1409686830933214817129524355488531}, {"parameter": "10", "name": "ilp_4", "value": 1409686830933214817129524355488531}, {"parameter": "11", "name": "ilp_4", "value": 353393280167115146205679966894673}, {"parameter": "12", "name": "ilp_4", "value": 88328098407471500326219267577779}, {"parameter": "13", "name": "ilp_4", "value": 22085816158305107391382861523531}, {"parameter": "14", "name": "ilp_4", "value": 5521375058308928111570013989247}, {"parameter": "15", "name": "ilp_4", "value": 1380358574232201974985511275088}, {"parameter": "16", "name": "ilp_4", "value": 345089335023861597072184059219}, {"parameter": "", "name": "johnson_1", "value": 86272391606125817394457344593}, {"parameter": "", "name": "johnson_2", "value": 345089335023861597072184059219}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 1929880702992615813429218299211809253}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1413832016844407189325434651437222}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1409689678029261517281998109700728}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1409686833667520744332551941326910}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1409686830933214817129524355488531}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1409686830933214817129524355488531}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 353393280167115146205679966894673}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 88328098407471500326219267577779}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 22085816158305107391382861523531}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 5521375058308928111570013989247}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1380358574232201974985511275088}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 345089335023861597072184059219}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 86272391606125817394457344593}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 86272395451492586208381792216}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 86272410832963089408511805735}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 86272472358899949371285478243}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 86272718463524947104085715583}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 86273702896066074427211956397}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 86277640850902225023125656138}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 86293396265854675260446805317}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 86356475510585143478564296128}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 86609717394482347267941432640}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 87637713947106317313692536325}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 92005895545533519535144100514}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 114917519925881846404167134693}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1929880702992615813429218299211809253}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 86272391606125817394457344593}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 86272391606125817394457344593}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 86272391606125817394457344593}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 86272391606125817394457344593}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1413832016844407189325434651437222}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1414868550395614066201423392090808}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1419029927738164791383003798387986}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1435923138095677910765778733629086}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1507719281309774250575364079678386}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1884649011792085827682980366254565}, {"parameter": "", "name": "improved_johnson", "value": 86272391606125817394457344593}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 353457751398190240801184522656084}], "known_codes": [], "upper_bound": 86272391606125817394457344593, "classified": false, "lower_bound": 79659830851584726337239558720, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 79228162514264337593543950336}, {"parameter": "", "name": "sphere_covering", "value": 252998227130476792399946605}, {"parameter": "", "name": "graham_sloane", "value": 337001524709330927871457873}, {"parameter": "", "name": "multicomponent", "value": 79229371458530977772478661633}, {"parameter": "", "name": "construction_ST_B", "value": 79540003465409241300649050339}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 79228162515896046088385310272}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 79538856451537005786284797504}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 79540003465409058195772538880}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_16", "value": 79561888065004466752492405077}, {"parameter": "", "name": "two_pivot_block_construction", "value": 79538861190790863303812841472}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 79659830851512017078117278351}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 79540074857568472829014149041}, {"parameter": "(12,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 79659830851584726337239558720}, {"parameter": "(12,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 79659830851584444866557815360}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 336868428145401126681125376}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 336868428145119720423891456}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1318238365035642238600155136}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1318238365035361863135072256}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 4979162561294778002367450944}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 4979162561294514119576784704}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 19895876528183294648238657344}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 19895876528183558531029323584}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 79657643421370420523564416576}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 79657643421370700899029499456}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 79639685246077595382125276736}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 79639685246077876788382510656}, {"parameter": "(5,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 79635190843735828978651475520}, {"parameter": "(5,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 79635190843736110449333218880}, {"parameter": "(5, 12)", "name": "CKMP2019_Lem_41", "value": 79659830851584444862262848064}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 336868428145119651704414720}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 1318238365035360763623444480}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 4979162561294496527390740288}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 19895876528183277056052612928}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 79657643421370419424052788800}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 79639685246077595313405800000}, {"parameter": "(12, 5)", "name": "CKMP2019_Lem_41", "value": 79635190843735828974356508224}, {"parameter": "(5, 5, 7)", "name": "CKMP2019_Lem_41", "value": 79657663207760737043148640256}, {"parameter": "(5, 6, 6)", "name": "CKMP2019_Lem_41", "value": 79229840677067089201133457408}, {"parameter": "(5, 7, 5)", "name": "CKMP2019_Lem_41", "value": 79235308070876100426301116416}, {"parameter": "(6, 5, 6)", "name": "CKMP2019_Lem_41", "value": 336727506429534212907798528}, {"parameter": "(6, 6, 5)", "name": "CKMP2019_Lem_41", "value": 309600790469470487137947648}, {"parameter": "(7, 5, 5)", "name": "CKMP2019_Lem_41", "value": 1318238364627931083260235776}, {"parameter": "(5, 12)", "name": "CKMP2019_Cor_42", "value": 79659830851584444862262848064}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 336868428145119651704414720}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 1318238365035360763623444480}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 4979162561294496527390740288}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 19895876528183277056052612928}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 79657643421370419424052788800}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 79639685246077595313405800000}, {"parameter": "(12, 5)", "name": "CKMP2019_Cor_42", "value": 79635190843735828974356508224}, {"parameter": "(5, 5, 7)", "name": "CKMP2019_Cor_42", "value": 79657663207760737043148640256}, {"parameter": "(5, 6, 6)", "name": "CKMP2019_Cor_42", "value": 79229840677067089201133457408}, {"parameter": "(5, 7, 5)", "name": "CKMP2019_Cor_42", "value": 79235308070876100426301116416}, {"parameter": "(6, 5, 6)", "name": "CKMP2019_Cor_42", "value": 336727506429534212907798528}, {"parameter": "(6, 6, 5)", "name": "CKMP2019_Cor_42", "value": 309600790469470487137947648}, {"parameter": "(7, 5, 5)", "name": "CKMP2019_Cor_42", "value": 1318238364627931083260235776}, {"parameter": "5", "name": "linkage_ST", "value": 79635190842104120479515148289}, {"parameter": "6", "name": "linkage_ST", "value": 79639685245975613897193816065}, {"parameter": "7", "name": "linkage_ST", "value": 79657643414429408576862684225}, {"parameter": "8", "name": "linkage_ST", "value": 19895876108188117456577894053}, {"parameter": "9", "name": "linkage_ST", "value": 4979135715642716433978850213}, {"parameter": "10", "name": "linkage_ST", "value": 1316520217560332276726898240}, {"parameter": "11", "name": "linkage_ST", "value": 309485009821628005723929800}, {"parameter": "12", "name": "linkage_ST", "value": 79228162514336765377689520049}, {"parameter": "13", "name": "linkage_ST", "value": 18525690519076963184}, {"parameter": "14", "name": "linkage_ST", "value": 4742576773448941977744}, {"parameter": "15", "name": "linkage_ST", "value": 1215514412802977488375808}, {"parameter": "16", "name": "linkage_ST", "value": 311171309428194522665909888}, {"parameter": "5", "name": "construction_D", "value": 79635190842104120479515148288}, {"parameter": "6", "name": "construction_D", "value": 79639685245975613897193816064}, {"parameter": "7", "name": "construction_D", "value": 79657643414429408576862683136}, {"parameter": "8", "name": "construction_D", "value": 19895876108188117456576839680}, {"parameter": "9", "name": "construction_D", "value": 4979135715642716432900292608}, {"parameter": "10", "name": "construction_D", "value": 1316520217560331171255025664}, {"parameter": "11", "name": "construction_D", "value": 309485009821345068724781056}, {"parameter": "12", "name": "construction_D", "value": 79228162514264337593543950336}, {"parameter": "13", "name": "construction_D", "value": 0}, {"parameter": "14", "name": "construction_D", "value": 0}, {"parameter": "15", "name": "construction_D", "value": 0}, {"parameter": "16", "name": "construction_D", "value": 0}, {"parameter": "17", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 79228162514336765377689520049}, {"parameter": "6", "name": "linkage_GLT", "value": 309485009821628005723929800}, {"parameter": "7", "name": "linkage_GLT", "value": 1316520217560332276726898240}, {"parameter": "8", "name": "linkage_GLT", "value": 4979135715642716433978850213}, {"parameter": "9", "name": "linkage_GLT", "value": 19895876108188117456577894053}, {"parameter": "10", "name": "linkage_GLT", "value": 79657643414429408576862684225}, {"parameter": "11", "name": "linkage_GLT", "value": 79639685245975613897193816065}, {"parameter": "12", "name": "linkage_GLT", "value": 79635190842104120479515148289}, {"parameter": "5", "name": "improved_linkage", "value": 79229378028677140571032326144}, {"parameter": "6", "name": "improved_linkage", "value": 309489752398118517666758800}, {"parameter": "7", "name": "improved_linkage", "value": 1316520236086021690331988848}, {"parameter": "8", "name": "improved_linkage", "value": 4979135715715144217045862321}, {"parameter": "9", "name": "improved_linkage", "value": 19895876108188400393575988424}, {"parameter": "10", "name": "improved_linkage", "value": 79657643414429409682334555712}, {"parameter": "11", "name": "improved_linkage", "value": 79639685245975613898272373669}, {"parameter": "12", "name": "improved_linkage", "value": 79635190842104120479516202661}, {"parameter": "13", "name": "improved_linkage", "value": 19891808728813205245569008705}, {"parameter": "14", "name": "improved_linkage", "value": 4972952182795997783254892545}, {"parameter": "15", "name": "improved_linkage", "value": 1244686758710248948096827393}, {"parameter": "5,0", "name": "generalized_linkage", "value": 79659830851584444862262848064}, {"parameter": "5,1", "name": "generalized_linkage", "value": 79234928318750190729422305344}, {"parameter": "5,2", "name": "generalized_linkage", "value": 79228262108376580021325482960}, {"parameter": "5,3", "name": "generalized_linkage", "value": 79229378028677140571032326144}, {"parameter": "6,0", "name": "generalized_linkage", "value": 336868428145119651704414720}, {"parameter": "6,1", "name": "generalized_linkage", "value": 309914530627352633452015772}, {"parameter": "6,2", "name": "generalized_linkage", "value": 309486584505039190266651696}, {"parameter": "6,3", "name": "generalized_linkage", "value": 309489752398118517666758800}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1318238365035360763623444480}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1316526934121399855530598368}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1316520242258205564894297797}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1316520236086021690331988848}, {"parameter": "8,0", "name": "generalized_linkage", "value": 4979162561294496527390740288}, {"parameter": "8,1", "name": "generalized_linkage", "value": 4979135820631869694100053760}, {"parameter": "8,2", "name": "generalized_linkage", "value": 4979135715739197949610014312}, {"parameter": "8,3", "name": "generalized_linkage", "value": 4979135715715144217045862321}, {"parameter": "9,0", "name": "generalized_linkage", "value": 19895876528183277056052612928}, {"parameter": "9,1", "name": "generalized_linkage", "value": 19895876108597868389170781260}, {"parameter": "9,2", "name": "generalized_linkage", "value": 19895876108188494422485388096}, {"parameter": "9,3", "name": "generalized_linkage", "value": 19895876108188400393575988424}, {"parameter": "10,0", "name": "generalized_linkage", "value": 79657643421370419424052788800}, {"parameter": "10,1", "name": "generalized_linkage", "value": 79657643414431010847381999692}, {"parameter": "10,2", "name": "generalized_linkage", "value": 79657643414429408944650826441}, {"parameter": "10,3", "name": "generalized_linkage", "value": 79657643414429409682334555712}, {"parameter": "11,0", "name": "generalized_linkage", "value": 79639685246077595313405800000}, {"parameter": "11,1", "name": "generalized_linkage", "value": 79639685245975620516777537628}, {"parameter": "11,2", "name": "generalized_linkage", "value": 79639685245975613897553357257}, {"parameter": "11,3", "name": "generalized_linkage", "value": 79639685245975613898272373669}, {"parameter": "12,0", "name": "generalized_linkage", "value": 79635190843735828974356508224}, {"parameter": "12,1", "name": "generalized_linkage", "value": 79635190842104120503829522780}, {"parameter": "12,2", "name": "generalized_linkage", "value": 79635190842104120479515519637}, {"parameter": "12,3", "name": "generalized_linkage", "value": 79635190842104120479516202661}, {"parameter": "13,1", "name": "generalized_linkage", "value": 19891808728813205342826522972}, {"parameter": "13,2", "name": "generalized_linkage", "value": 19891808728813205245569007957}, {"parameter": "13,3", "name": "generalized_linkage", "value": 19891808728813205245569008705}, {"parameter": "14,2", "name": "generalized_linkage", "value": 4972952182795997783254892885}, {"parameter": "14,3", "name": "generalized_linkage", "value": 4972952182795997783254892545}, {"parameter": "15,3", "name": "generalized_linkage", "value": 1244686758710248948096827393}, {"parameter": "[5, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79659830851584444862262848064}, {"parameter": "[5, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79234928318750190729422305344}, {"parameter": "[5, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228262108376580021325482960}, {"parameter": "[5, 12],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79229378028677140571032326144}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 336868428145119651704414720}, {"parameter": "[6, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 309914530627352633452015772}, {"parameter": "[6, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 309486584505039190266651696}, {"parameter": "[6, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 309489752398118517666758800}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1318238365035360763623444480}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1316526934121399855530598368}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1316520242258205564894297797}, {"parameter": "[7, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1316520236086021690331988848}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4979162561294496527390740288}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4979135820631869694100053760}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4979135715739197949610014312}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4979135715715144217045862321}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19895876528183277056052612928}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19895876108597868389170781260}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19895876108188494422485388096}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 19895876108188400393575988424}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79657643421370419424052788800}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79657643414431010847381999692}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79657643414429408944650826441}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79657643414429409682334555712}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79639685246077595313405800000}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79639685245975620516777537628}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79639685245975613897553357257}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79639685245975613898272373669}, {"parameter": "[12, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79635190843735828974356508224}, {"parameter": "[12, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79635190842104120503829522780}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79635190842104120479515519637}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79635190842104120479516202661}, {"parameter": "[13, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19891808728813205342826522972}, {"parameter": "[13, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19891808728813205245569007957}, {"parameter": "[13, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 19891808728813205245569008705}, {"parameter": "[14, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4972952182795997783254892885}, {"parameter": "[14, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4972952182795997783254892545}, {"parameter": "[15, 2],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244686758710248948096827393}, {"parameter": "[5, 2, 10],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1245895684528737677364690944}, {"parameter": "[5, 2, 10],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1240835264712662105078014464}, {"parameter": "[5, 2, 10],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1670817302425102172792728128}, {"parameter": "[5, 3, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4958599766953025227185979392}, {"parameter": "[5, 3, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4958606046261404135436845056}, {"parameter": "[5, 3, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4953545626445328563150168576}, {"parameter": "[5, 3, 9],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5383527664157768630864882240}, {"parameter": "[5, 3, 9],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 4958505319623367834281705472}, {"parameter": "[5, 3, 9],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 4958511598931746742532571136}, {"parameter": "[5, 3, 9],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4953451179115671170245894656}, {"parameter": "[5, 3, 9],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5383433216828111237960608320}, {"parameter": "[5, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19814328510702730196112904192}, {"parameter": "[5, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19813915703981092985726308096}, {"parameter": "[5, 4, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 19813810543828668255160979456}, {"parameter": "[5, 4, 8],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 19815463900470399212154954240}, {"parameter": "[5, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 19807591925787708131248705536}, {"parameter": "[5, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 19807179119066070920862109440}, {"parameter": "[5, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19807073958913646190296780800}, {"parameter": "[5, 4, 8],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 19808727315555377147290755584}, {"parameter": "[5, 4, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 19807611626910378853049831424}, {"parameter": "[5, 4, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 19807198820188741642663235328}, {"parameter": "[5, 4, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 19807093660036316912097906688}, {"parameter": "[5, 4, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 19808747016678047869091881472}, {"parameter": "[5, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79657663207760737043148640256}, {"parameter": "[5, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79657626819972044022849342208}, {"parameter": "[5, 5, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79657624659955354103516704832}, {"parameter": "[5, 5, 7],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79657631113556664347083870208}, {"parameter": "[5, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79228227513359631318148124672}, {"parameter": "[5, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79228191125570938297848826624}, {"parameter": "[5, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228188965554248378516189248}, {"parameter": "[5, 5, 7],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228195419155558622083354624}, {"parameter": "[5, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 79228202844946715591784730624}, {"parameter": "[5, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 79228166457158022571485432576}, {"parameter": "[5, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228164297141332652152795200}, {"parameter": "[5, 5, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228170750742642895719960576}, {"parameter": "[5, 5, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 79228277172643196090602426368}, {"parameter": "[5, 5, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 79228240784854503070303128320}, {"parameter": "[5, 5, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228238624837813150970490944}, {"parameter": "[5, 5, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228245078439123394537656320}, {"parameter": "[5, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79229840677067089201133457408}, {"parameter": "[5, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79229840138733983123480764160}, {"parameter": "[5, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79229840100777774914635481152}, {"parameter": "[5, 6, 6],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79229840106671815726531231552}, {"parameter": "[5, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79228275038152478445778964480}, {"parameter": "[5, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79228274499819372368126271232}, {"parameter": "[5, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228274461863164159280988224}, {"parameter": "[5, 6, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228274467757204971176738624}, {"parameter": "[5, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 79228169323459723693677547520}, {"parameter": "[5, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 79228168785126617616024854272}, {"parameter": "[5, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228168747170409407179571264}, {"parameter": "[5, 6, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228168753064450219075321664}, {"parameter": "[5, 6, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 79228466678064544163356413952}, {"parameter": "[5, 6, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 79228466139731438085703720704}, {"parameter": "[5, 6, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228466101775229876858437696}, {"parameter": "[5, 6, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228466107669270688754188096}, {"parameter": "[5, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79235308070876100426301116416}, {"parameter": "[5, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79235298807888048977651638016}, {"parameter": "[5, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79235298807748779875615251264}, {"parameter": "[5, 7, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79235298807752850686808883008}, {"parameter": "[5, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79228595165975822831122321408}, {"parameter": "[5, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79228585902987771382472843008}, {"parameter": "[5, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228585902848502280436456256}, {"parameter": "[5, 7, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228585902852573091630088000}, {"parameter": "[5, 7, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 79228196681013057776243904512}, {"parameter": "[5, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 79228187418025006327594426112}, {"parameter": "[5, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228187417885737225558039360}, {"parameter": "[5, 7, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 79228187417889808036751671104}, {"parameter": "[5, 7, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 79229387256571947998443409408}, {"parameter": "[5, 7, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 79229377993583896549793931008}, {"parameter": "[5, 7, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 79229377993444627447757544256}, {"parameter": "[5, 7, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79229377993448698258951176000}, {"parameter": "[5, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19813788070850202242149719808}, {"parameter": "[5, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19813788070284171299782544192}, {"parameter": "[5, 8, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 19813788070284175757849570880}, {"parameter": "[5, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19807463578377388157047611136}, {"parameter": "[5, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 19807463577811357214680435520}, {"parameter": "[5, 8, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 19807463577811361672747462208}, {"parameter": "[5, 8, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 19807065555951199022553440000}, {"parameter": "[5, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19807065555385168080186264384}, {"parameter": "[5, 8, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 19807065555385172538253291072}, {"parameter": "[5, 8, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 19807344430421660431937117952}, {"parameter": "[5, 8, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 19807344429855629489569942336}, {"parameter": "[5, 8, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 19807344429855633947636969024}, {"parameter": "[5, 9, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4958500597256886996990577472}, {"parameter": "[5, 9, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4958500597256884970596474432}, {"parameter": "[5, 9, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4952183500400937536598199104}, {"parameter": "[5, 9, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 4952183500400935510204096064}, {"parameter": "[5, 9, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4951766387441406339211742016}, {"parameter": "[5, 9, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4951766387441404312817638976}, {"parameter": "[5, 9, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4951836103177711356857961280}, {"parameter": "[5, 9, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4951836103177709330463858240}, {"parameter": "[5, 10, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244686758709123054149967424}, {"parameter": "[5, 10, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238045851240409386619084352}, {"parameter": "[5, 10, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237941596772450547190215232}, {"parameter": "[5, 10, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237959009592471815669407296}, {"parameter": "[6, 2, 9],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 4947316664613649543659520}, {"parameter": "[6, 2, 9],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 4947416242929600779718656}, {"parameter": "[6, 2, 9],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 32223843968715969323672064}, {"parameter": "[6, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 19451383139332275426033664}, {"parameter": "[6, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 19451272106752595306807296}, {"parameter": "[6, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19451371685068546542866432}, {"parameter": "[6, 3, 8],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 46727799410854915086819840}, {"parameter": "[6, 3, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 19449833612830083823697920}, {"parameter": "[6, 3, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 19449722580250403704471552}, {"parameter": "[6, 3, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 19449822158566354940530688}, {"parameter": "[6, 3, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 46726249884352723484484096}, {"parameter": "[6, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 77807817806509500671381504}, {"parameter": "[6, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 77800770248224917781335808}, {"parameter": "[6, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 77799099839909393906404416}, {"parameter": "[6, 4, 7],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 77905568509090614869430272}, {"parameter": "[6, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 77380498475638860642701312}, {"parameter": "[6, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 77373450917354277752655616}, {"parameter": "[6, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 77371780509038753877724224}, {"parameter": "[6, 4, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 77478249178219974840750080}, {"parameter": "[6, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 77380570821463274722349056}, {"parameter": "[6, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 77373523263178691832303360}, {"parameter": "[6, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 77371852854863167957371968}, {"parameter": "[6, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 77478321524044388920397824}, {"parameter": "[6, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 336727506429534212907798528}, {"parameter": "[6, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 336726968098107985514950400}, {"parameter": "[6, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 336726931749023408752869440}, {"parameter": "[6, 5, 6],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 336727033991837517703204672}, {"parameter": "[6, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 309487255884864749081923584}, {"parameter": "[6, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 309486717553438521689075456}, {"parameter": "[6, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 309486681204353944926994496}, {"parameter": "[6, 5, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 309486783447168053877329728}, {"parameter": "[6, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 309485612699534381845778432}, {"parameter": "[6, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 309485074368108154452930304}, {"parameter": "[6, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 309485038019023577690849344}, {"parameter": "[6, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 309485140261837686641184576}, {"parameter": "[6, 5, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 309485883424418781968404480}, {"parameter": "[6, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 309485345092992554575556352}, {"parameter": "[6, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 309485308743907977813475392}, {"parameter": "[6, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 309485410986722086763810624}, {"parameter": "[6, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 309600790469470487137947648}, {"parameter": "[6, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 309591424144457960722063104}, {"parameter": "[6, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 309591423579462868815801152}, {"parameter": "[6, 6, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 309591423672549283425390400}, {"parameter": "[6, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 309501477511042114491453440}, {"parameter": "[6, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 309492111186029588075568896}, {"parameter": "[6, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 309492110621034496169306944}, {"parameter": "[6, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 309492110714120910778896192}, {"parameter": "[6, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 309494475260418130083254272}, {"parameter": "[6, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 309485108935405603667369728}, {"parameter": "[6, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 309485108370410511761107776}, {"parameter": "[6, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 309485108463496926370697024}, {"parameter": "[6, 6, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 309495562606939305206812672}, {"parameter": "[6, 6, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 309486196281926778790928128}, {"parameter": "[6, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 309486195716931686884666176}, {"parameter": "[6, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 309486195810018101494255424}, {"parameter": "[6, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 77484423280992733769490176}, {"parameter": "[6, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 77484420983527733054266176}, {"parameter": "[6, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 77484420983600126544576064}, {"parameter": "[6, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 77377968626321572059668224}, {"parameter": "[6, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 77377966328856571344444224}, {"parameter": "[6, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 77377966328928964834754112}, {"parameter": "[6, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 77371353190689127761698560}, {"parameter": "[6, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 77371350893224127046474560}, {"parameter": "[6, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 77371350893296520536784448}, {"parameter": "[6, 7, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 77372441744219111260937984}, {"parameter": "[6, 7, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 77372439446754110545713984}, {"parameter": "[6, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 77372439446826504036023872}, {"parameter": "[6, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19449815166119013028846400}, {"parameter": "[6, 8, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 19449815166086106896887360}, {"parameter": "[6, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 19349520020584320737598272}, {"parameter": "[6, 8, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 19349520020551414605639232}, {"parameter": "[6, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342911643425381661399872}, {"parameter": "[6, 8, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342911643392475529440832}, {"parameter": "[6, 8, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 19343109794813889103387456}, {"parameter": "[6, 8, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 19343109794780982971428416}, {"parameter": "[6, 9, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4942594298130876681186880}, {"parameter": "[6, 9, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 4842416433244955753803328}, {"parameter": "[6, 9, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4835727905295019388243520}, {"parameter": "[6, 9, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4835777444509578544951872}, {"parameter": "[7, 2, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 20572324904149145125453824}, {"parameter": "[7, 2, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 20572323162882436347531072}, {"parameter": "[7, 2, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22288794321153840628830208}, {"parameter": "[7, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 82284312932847927273979904}, {"parameter": "[7, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 82284216227185162001907712}, {"parameter": "[7, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 82284214485918453223984960}, {"parameter": "[7, 3, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 84000685644189857505284096}, {"parameter": "[7, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 82284288433265954378481664}, {"parameter": "[7, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 82284191727603189106409472}, {"parameter": "[7, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 82284189986336480328486720}, {"parameter": "[7, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 84000661144607884609785856}, {"parameter": "[7, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 329136872500102544278605824}, {"parameter": "[7, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 329136772607286041142108928}, {"parameter": "[7, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 329136744438258733382437952}, {"parameter": "[7, 4, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 329138412561374221777833792}, {"parameter": "[7, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 329130190741552270459981824}, {"parameter": "[7, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 329130090848735767323484928}, {"parameter": "[7, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 329130062679708459563813952}, {"parameter": "[7, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 329131730802823947959209792}, {"parameter": "[7, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 329130190952095553039552512}, {"parameter": "[7, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 329130091059279049903055616}, {"parameter": "[7, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 329130062890251742143384640}, {"parameter": "[7, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 329131731013367230538780480}, {"parameter": "[7, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1318238364627931083260235776}, {"parameter": "[7, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1318229102066017417783062272}, {"parameter": "[7, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1318229101533940776453937984}, {"parameter": "[7, 5, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1318229103137125838913392448}, {"parameter": "[7, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1316529506790859226012389376}, {"parameter": "[7, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1316520244228945560535215872}, {"parameter": "[7, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1316520243696868919206091584}, {"parameter": "[7, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1316520245300053981665546048}, {"parameter": "[7, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1316529481098167499003203584}, {"parameter": "[7, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1316520218536253833526030080}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1316520218004177192196905792}, {"parameter": "[7, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1316520219607362254656360256}, {"parameter": "[7, 5, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1316529481849160329053278208}, {"parameter": "[7, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1316520219287246663576104704}, {"parameter": "[7, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1316520218755170022246980416}, {"parameter": "[7, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1316520220358355084706434880}, {"parameter": "[7, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 329131732439099425414176512}, {"parameter": "[7, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 329131723222185669292055360}, {"parameter": "[7, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 329131723223746107063221824}, {"parameter": "[7, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 329130091364924322305269504}, {"parameter": "[7, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 329130082148010566183148352}, {"parameter": "[7, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 329130082149571003954314816}, {"parameter": "[7, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 329130063993183074086280960}, {"parameter": "[7, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 329130054776269317964159808}, {"parameter": "[7, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 329130054777829755735326272}, {"parameter": "[7, 6, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 329130064765221067793096448}, {"parameter": "[7, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 329130055548307311670975296}, {"parameter": "[7, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 329130055549867749442141760}, {"parameter": "[7, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 82284288361738349663230784}, {"parameter": "[7, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 82284288361209914561441344}, {"parameter": "[7, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 82282539843343000091499328}, {"parameter": "[7, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 82282539842814564989709888}, {"parameter": "[7, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 82282513983704507680299840}, {"parameter": "[7, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 82282513983176072578510400}, {"parameter": "[7, 7, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 82282514757221961784367936}, {"parameter": "[7, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 82282514756693526682578496}, {"parameter": "[7, 8, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 20572306457406625636789824}, {"parameter": "[7, 8, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 20570654617440147700571712}, {"parameter": "[7, 8, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 20570628785394819125325376}, {"parameter": "[7, 8, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 20570628689109215900061248}, {"parameter": "[8, 2, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 77799023385075041368080384}, {"parameter": "[8, 2, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 77799021872664084779552576}, {"parameter": "[8, 2, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 77825841280755132792442688}, {"parameter": "[8, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 311196008423052563342950400}, {"parameter": "[8, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 311196010079752747180687360}, {"parameter": "[8, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311196008567341790592159552}, {"parameter": "[8, 3, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311222827975432838605049664}, {"parameter": "[8, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 311196008327351071261327360}, {"parameter": "[8, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 311196009984051255099064320}, {"parameter": "[8, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311196008471640298510536512}, {"parameter": "[8, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311222827879731346523426624}, {"parameter": "[8, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1244786215419783078414831616}, {"parameter": "[8, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244784033868518289607189248}, {"parameter": "[8, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244784033469302330343765824}, {"parameter": "[8, 4, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244784059577463544775102272}, {"parameter": "[8, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1244786110997062621807431680}, {"parameter": "[8, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244783929445797832999789312}, {"parameter": "[8, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244783929046581873736365888}, {"parameter": "[8, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244783955154743088167702336}, {"parameter": "[8, 4, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1244786110997885056505008128}, {"parameter": "[8, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244783929446620267697365760}, {"parameter": "[8, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244783929047404308433942336}, {"parameter": "[8, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244783955155565522865278784}, {"parameter": "[8, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244810663786340205081308928}, {"parameter": "[8, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244810654696616694926756672}, {"parameter": "[8, 5, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244810654723199564463095360}, {"parameter": "[8, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244783938102900994344398592}, {"parameter": "[8, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244783929013177484189846336}, {"parameter": "[8, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244783929039760353726185024}, {"parameter": "[8, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244783938001324048205131520}, {"parameter": "[8, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244783928911600538050579264}, {"parameter": "[8, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244783928938183407586917952}, {"parameter": "[8, 5, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244783938002057439640727296}, {"parameter": "[8, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244783928912333929486175040}, {"parameter": "[8, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244783928938916799022513728}, {"parameter": "[8, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 311196008329185274103520064}, {"parameter": "[8, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 311196008327094486611897920}, {"parameter": "[8, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 311195982338234199534394176}, {"parameter": "[8, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 311195982336143412042772032}, {"parameter": "[8, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311195982230162461141162816}, {"parameter": "[8, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311195982228071673649540672}, {"parameter": "[8, 6, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311195982230916404494392128}, {"parameter": "[8, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311195982228825617002769984}, {"parameter": "[8, 7, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 77799023313042337657433664}, {"parameter": "[8, 7, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 77798995659481781127536192}, {"parameter": "[8, 7, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 77798995557318949650092608}, {"parameter": "[8, 7, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 77798995558074337788866112}, {"parameter": "[9, 2, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 310873064598617297939660800}, {"parameter": "[9, 2, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 310873064624509164834930240}, {"parameter": "[9, 2, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 310873484185880409711497024}, {"parameter": "[9, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1243492674448135683332636672}, {"parameter": "[9, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1243492257170028762205061120}, {"parameter": "[9, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1243492257195920629100330560}, {"parameter": "[9, 3, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1243492676757291873976897344}, {"parameter": "[9, 3, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1243492674447761849379192832}, {"parameter": "[9, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1243492257169654928251617280}, {"parameter": "[9, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1243492257195546795146886720}, {"parameter": "[9, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1243492676756918040023453504}, {"parameter": "[9, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1243492265727538241133568768}, {"parameter": "[9, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1243492257171670409695225664}, {"parameter": "[9, 4, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1243492257603467082225565248}, {"parameter": "[9, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1243492265319617220689224448}, {"parameter": "[9, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1243492256763749389250881344}, {"parameter": "[9, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1243492257195546061781220928}, {"parameter": "[9, 4, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1243492265319618023848108800}, {"parameter": "[9, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1243492256763750192409765696}, {"parameter": "[9, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1243492257195546864940105280}, {"parameter": "[9, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1243492674456125814556805952}, {"parameter": "[9, 5, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1243492674448159086281338432}, {"parameter": "[9, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1243492256770520766454385472}, {"parameter": "[9, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1243492256762554038178917952}, {"parameter": "[9, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1243492256770122795112942400}, {"parameter": "[9, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1243492256762156066837474880}, {"parameter": "[9, 5, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1243492256770123511315516224}, {"parameter": "[9, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1243492256762156783040048704}, {"parameter": "[9, 6, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 310873064598734159376723520}, {"parameter": "[9, 6, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 310873064191261318971596352}, {"parameter": "[9, 6, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 310873064190838039842968128}, {"parameter": "[9, 6, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 310873064190838776115774016}, {"parameter": "[10, 2, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1244650684877177878977511424}, {"parameter": "[10, 2, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244650678356834355859533376}, {"parameter": "[10, 2, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244650685291471455715212864}, {"parameter": "[10, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244650684877177145611845632}, {"parameter": "[10, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244650678356833622493867584}, {"parameter": "[10, 3, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244650685291470722349547072}, {"parameter": "[10, 3, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244650684877176780539625472}, {"parameter": "[10, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244650678356833257421647424}, {"parameter": "[10, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244650685291470357277326912}, {"parameter": "[10, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244650678383921706834618176}, {"parameter": "[10, 4, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244650678358426717496913472}, {"parameter": "[10, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244650678382328246043174720}, {"parameter": "[10, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244650678356833256705470016}, {"parameter": "[10, 4, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244650678382328246827509568}, {"parameter": "[10, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244650678356833257489804864}, {"parameter": "[10, 5, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244650684883550526800309824}, {"parameter": "[10, 5, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244650678356834812462308928}, {"parameter": "[10, 5, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244650678356833256728166976}, {"parameter": "[10, 5, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244650678356833257427583552}, {"parameter": "[11, 2, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 311092520594073659071639104}, {"parameter": "[11, 2, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311092520594073659071639104}, {"parameter": "[11, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311092520594073658355461696}, {"parameter": "[11, 3, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311092520594073658355461696}, {"parameter": "[11, 3, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311092520594073657998945856}, {"parameter": "[11, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311092520594073657998945856}, {"parameter": "[11, 4, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 311092520594079882473315904}, {"parameter": "[11, 4, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311092520594073657998246464}, {"parameter": "[11, 4, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311092520594073657999012416}, {"parameter": "[12, 2, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 77768742688450799998185024}, {"parameter": "[12, 3, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 77768742688450799997485632}, {"parameter": "[12, 3, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 77768742688450799997137472}, {"parameter": "[5, 2, 3, 7],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 506915790054805425547640832}, {"parameter": "[5, 2, 3, 7],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 506915410316754503497416704}, {"parameter": "[5, 2, 3, 7],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 506915403479251846266945536}, {"parameter": "[5, 2, 3, 7],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 513655540441944459533352960}, {"parameter": "[5, 2, 4, 6],[0, 3, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 311465362295491250297503744}, {"parameter": "[5, 2, 4, 6],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 311464970042314390449684480}, {"parameter": "[5, 2, 4, 6],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 311464859429851579636842496}, {"parameter": "[5, 2, 4, 6],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 311471409716592399733293056}, {"parameter": "[5, 2, 4, 6],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 311465362295491250297503744}, {"parameter": "[5, 2, 4, 6],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 311464970042314390449684480}, {"parameter": "[5, 2, 4, 6],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311464859429851579636842496}, {"parameter": "[5, 2, 4, 6],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311471409716592399733293056}, {"parameter": "[5, 2, 5, 5],[0, 3, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1245895682928867015349239808}, {"parameter": "[5, 2, 5, 5],[0, 3, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1245859311251065917056745472}, {"parameter": "[5, 2, 5, 5],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1245859309161738974436065280}, {"parameter": "[5, 2, 5, 5],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1245859315457030826820960256}, {"parameter": "[5, 2, 5, 5],[0, 3, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1239191892081924575875563520}, {"parameter": "[5, 2, 5, 5],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1239155520404123477583069184}, {"parameter": "[5, 2, 5, 5],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1239155518314796534962388992}, {"parameter": "[5, 2, 5, 5],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1239155524610088387347283968}, {"parameter": "[5, 2, 5, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1246321632493922009059688448}, {"parameter": "[5, 2, 5, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1246285260816120910767194112}, {"parameter": "[5, 2, 5, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1246285258726793968146513920}, {"parameter": "[5, 2, 5, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1246285265022085820531408896}, {"parameter": "[5, 2, 6, 4],[0, 3, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 309793830539428426371825664}, {"parameter": "[5, 2, 6, 4],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 309793794346999098196688896}, {"parameter": "[5, 2, 6, 4],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 309793794353126532525391872}, {"parameter": "[5, 2, 6, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 309794246505800550389121024}, {"parameter": "[5, 2, 6, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 309794210313371222213984256}, {"parameter": "[5, 2, 6, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 309794210319498656542687232}, {"parameter": "[5, 2, 6, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 316534719187281680126443520}, {"parameter": "[5, 2, 6, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 316534682994852351951306752}, {"parameter": "[5, 2, 6, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 316534683000979786280009728}, {"parameter": "[5, 2, 7, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 77453779357747051393515520}, {"parameter": "[5, 2, 7, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 77453779355672023832002560}, {"parameter": "[5, 2, 7, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 77453399619696129343291392}, {"parameter": "[5, 2, 7, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 77453399617621101781778432}, {"parameter": "[5, 2, 7, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 84187250436507177128361984}, {"parameter": "[5, 2, 7, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 84187250434432149566849024}, {"parameter": "[5, 2, 8, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 19368291878324465653317632}, {"parameter": "[5, 2, 8, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 19368285040821808422846464}, {"parameter": "[5, 2, 8, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 26108422003514421689253888}, {"parameter": "[5, 3, 2, 7],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 506841781717581702826557440}, {"parameter": "[5, 3, 2, 7],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 506841401979530780776333312}, {"parameter": "[5, 3, 2, 7],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 513575252796341828561403904}, {"parameter": "[5, 3, 2, 7],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 506840305978055806062428160}, {"parameter": "[5, 3, 2, 7],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 506839926240004884012204032}, {"parameter": "[5, 3, 2, 7],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 513573777056815931797274624}, {"parameter": "[5, 3, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 311175346976878964112359424}, {"parameter": "[5, 3, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 311175762943251088129654784}, {"parameter": "[5, 3, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311175383205200166079430656}, {"parameter": "[5, 3, 3, 6],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 317909234022011213864501248}, {"parameter": "[5, 3, 3, 6],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 311175346976878964112359424}, {"parameter": "[5, 3, 3, 6],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 311175762943251088129654784}, {"parameter": "[5, 3, 3, 6],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311175383205200166079430656}, {"parameter": "[5, 3, 3, 6],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 317909234022011213864501248}, {"parameter": "[5, 3, 3, 6],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 311169444018775377055842304}, {"parameter": "[5, 3, 3, 6],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 311169859985147501073137664}, {"parameter": "[5, 3, 3, 6],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 311169480247096579022913536}, {"parameter": "[5, 3, 3, 6],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 317903331063907626807984128}, {"parameter": "[5, 3, 3, 6],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 311169444018775377055842304}, {"parameter": "[5, 3, 3, 6],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 311169859985147501073137664}, {"parameter": "[5, 3, 3, 6],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311169480247096579022913536}, {"parameter": "[5, 3, 3, 6],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 317903331063907626807984128}, {"parameter": "[5, 3, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1245223056534376238089764864}, {"parameter": "[5, 3, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244675309890735109125963776}, {"parameter": "[5, 3, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244675209655088436993851392}, {"parameter": "[5, 3, 4, 5],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244681764925142212552949760}, {"parameter": "[5, 3, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1238519265687433798616088576}, {"parameter": "[5, 3, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237971519043792669652287488}, {"parameter": "[5, 3, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237971418808145997520175104}, {"parameter": "[5, 3, 4, 5],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237977974078199773079273472}, {"parameter": "[5, 3, 4, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1245649006099431231800213504}, {"parameter": "[5, 3, 4, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1245101259455790102836412416}, {"parameter": "[5, 3, 4, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1245101159220143430704300032}, {"parameter": "[5, 3, 4, 5],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1245107714490197206263398400}, {"parameter": "[5, 3, 4, 5],[0, 3, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1245199444701961889863696384}, {"parameter": "[5, 3, 4, 5],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244651698058320760899895296}, {"parameter": "[5, 3, 4, 5],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244651597822674088767782912}, {"parameter": "[5, 3, 4, 5],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244658153092727864326881280}, {"parameter": "[5, 3, 4, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1238495653855019450390020096}, {"parameter": "[5, 3, 4, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237947907211378321426219008}, {"parameter": "[5, 3, 4, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237947806975731649294106624}, {"parameter": "[5, 3, 4, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237954362245785424853204992}, {"parameter": "[5, 3, 4, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1245625394267016883574145024}, {"parameter": "[5, 3, 4, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1245077647623375754610343936}, {"parameter": "[5, 3, 4, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1245077547387729082478231552}, {"parameter": "[5, 3, 4, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1245084102657782858037329920}, {"parameter": "[5, 3, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244677458017074613997010944}, {"parameter": "[5, 3, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244675175757828785541480448}, {"parameter": "[5, 3, 5, 4],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244675182432289203637190656}, {"parameter": "[5, 3, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237973667170132174523334656}, {"parameter": "[5, 3, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237971384910886346067804160}, {"parameter": "[5, 3, 5, 4],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237971391585346764163514368}, {"parameter": "[5, 3, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237974083136504298540630016}, {"parameter": "[5, 3, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237971800877258470085099520}, {"parameter": "[5, 3, 5, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237971807551718888180809728}, {"parameter": "[5, 3, 5, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244714555817985428277952512}, {"parameter": "[5, 3, 5, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244712273558739599822422016}, {"parameter": "[5, 3, 5, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244712280233200017918132224}, {"parameter": "[5, 3, 5, 4],[0, 3, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244653846184660265770942464}, {"parameter": "[5, 3, 5, 4],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244651563925414437315411968}, {"parameter": "[5, 3, 5, 4],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244651570599874855411122176}, {"parameter": "[5, 3, 5, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237950055337717826297266176}, {"parameter": "[5, 3, 5, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237947773078471997841735680}, {"parameter": "[5, 3, 5, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237947779752932415937445888}, {"parameter": "[5, 3, 5, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237950471304089950314561536}, {"parameter": "[5, 3, 5, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237948189044844121859031040}, {"parameter": "[5, 3, 5, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237948195719304539954741248}, {"parameter": "[5, 3, 5, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244690943985571080051884032}, {"parameter": "[5, 3, 5, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244688661726325251596353536}, {"parameter": "[5, 3, 5, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244688668400785669692063744}, {"parameter": "[5, 3, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 309497761528792506169294848}, {"parameter": "[5, 3, 6, 3],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 309497761003834945195474944}, {"parameter": "[5, 3, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 309498177495164630186590208}, {"parameter": "[5, 3, 6, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 309498176970207069212770304}, {"parameter": "[5, 3, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 309497797757113708136366080}, {"parameter": "[5, 3, 6, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 309497797232156147162546176}, {"parameter": "[5, 3, 6, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 316231648573924755921436672}, {"parameter": "[5, 3, 6, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 316231648048967194947616768}, {"parameter": "[5, 3, 6, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 309491858570688919112777728}, {"parameter": "[5, 3, 6, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 309491858045731358138957824}, {"parameter": "[5, 3, 6, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 309492274537061043130073088}, {"parameter": "[5, 3, 6, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 309492274012103482156253184}, {"parameter": "[5, 3, 6, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 309491894799010121079848960}, {"parameter": "[5, 3, 6, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 309491894274052560106029056}, {"parameter": "[5, 3, 6, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 316225745615821168864919552}, {"parameter": "[5, 3, 6, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 316225745090863607891099648}, {"parameter": "[5, 3, 7, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 77379771024691692862177280}, {"parameter": "[5, 3, 7, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 77379391286640770811953152}, {"parameter": "[5, 3, 7, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 77379384449138113581481984}, {"parameter": "[5, 3, 7, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 84119521411830726847889408}, {"parameter": "[5, 3, 7, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 77378295285165796098048000}, {"parameter": "[5, 3, 7, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 77377915547114874047823872}, {"parameter": "[5, 3, 7, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 77377908709612216817352704}, {"parameter": "[5, 3, 7, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 84118045672304830083760128}, {"parameter": "[5, 4, 2, 6],[0, 1, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 311268396032722711953276928}, {"parameter": "[5, 4, 2, 6],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 311268429995219475320721408}, {"parameter": "[5, 4, 2, 6],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311818770832771886326747136}, {"parameter": "[5, 4, 2, 6],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 311163136893425492189773824}, {"parameter": "[5, 4, 2, 6],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 311163170855922255557218304}, {"parameter": "[5, 4, 2, 6],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311713511693474666563244032}, {"parameter": "[5, 4, 2, 6],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 311163444723467222217916416}, {"parameter": "[5, 4, 2, 6],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 311163478685963985585360896}, {"parameter": "[5, 4, 2, 6],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311713819523516396591386624}, {"parameter": "[5, 4, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1238941746312865669927927808}, {"parameter": "[5, 4, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1238394400445027837724852224}, {"parameter": "[5, 4, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238394434407524601092296704}, {"parameter": "[5, 4, 3, 5],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238944775245077012098322432}, {"parameter": "[5, 4, 3, 5],[0, 1, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1238915534031939208776515584}, {"parameter": "[5, 4, 3, 5],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1238368188164101376573440000}, {"parameter": "[5, 4, 3, 5],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238368222126598139940884480}, {"parameter": "[5, 4, 3, 5],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238918562964150550946910208}, {"parameter": "[5, 4, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1238520709755676790873915392}, {"parameter": "[5, 4, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237973363887838958670839808}, {"parameter": "[5, 4, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237973397850335722038284288}, {"parameter": "[5, 4, 3, 5],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238523738687888133044310016}, {"parameter": "[5, 4, 3, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1238494497474750329722503168}, {"parameter": "[5, 4, 3, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237947151606912497519427584}, {"parameter": "[5, 4, 3, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237947185569409260886872064}, {"parameter": "[5, 4, 3, 5],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238497526406961671892897792}, {"parameter": "[5, 4, 3, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1238521941075843710986485760}, {"parameter": "[5, 4, 3, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237974595208005878783410176}, {"parameter": "[5, 4, 3, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237974629170502642150854656}, {"parameter": "[5, 4, 3, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238524970008055053156880384}, {"parameter": "[5, 4, 3, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1238495728794917249835073536}, {"parameter": "[5, 4, 3, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237948382927079417631997952}, {"parameter": "[5, 4, 3, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237948416889576180999442432}, {"parameter": "[5, 4, 3, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238498757727128592005468160}, {"parameter": "[5, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1238509811928061928754626560}, {"parameter": "[5, 4, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238498589151631461534011392}, {"parameter": "[5, 4, 4, 4],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238499155541577484461854720}, {"parameter": "[5, 4, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1238372357440264209254825984}, {"parameter": "[5, 4, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238361134663833742034210816}, {"parameter": "[5, 4, 4, 4],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238361701053779764962054144}, {"parameter": "[5, 4, 4, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1238379294479454708250951680}, {"parameter": "[5, 4, 4, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238368071703024241030336512}, {"parameter": "[5, 4, 4, 4],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238368638092970263958179840}, {"parameter": "[5, 4, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1238088775370873049700614144}, {"parameter": "[5, 4, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238077552594442582479998976}, {"parameter": "[5, 4, 4, 4],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238078118984388605407842304}, {"parameter": "[5, 4, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237951320883075330200813568}, {"parameter": "[5, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940098106644862980198400}, {"parameter": "[5, 4, 4, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940664496590885908041728}, {"parameter": "[5, 4, 4, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237958257922265829196939264}, {"parameter": "[5, 4, 4, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237947035145835361976324096}, {"parameter": "[5, 4, 4, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237947601535781384904167424}, {"parameter": "[5, 4, 4, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1238090006691039969813184512}, {"parameter": "[5, 4, 4, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238078783914609502592569344}, {"parameter": "[5, 4, 4, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238079350304555525520412672}, {"parameter": "[5, 4, 4, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237952552203242250313383936}, {"parameter": "[5, 4, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237941329426811783092768768}, {"parameter": "[5, 4, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237941895816757806020612096}, {"parameter": "[5, 4, 4, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237959489242432749309509632}, {"parameter": "[5, 4, 4, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237948266466002282088894464}, {"parameter": "[5, 4, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237948832855948305016737792}, {"parameter": "[5, 4, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238908991934206547807375360}, {"parameter": "[5, 4, 5, 3],[0, 1, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238908981484207543694315520}, {"parameter": "[5, 4, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238361245290565418843574272}, {"parameter": "[5, 4, 5, 3],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238361234840566414730514432}, {"parameter": "[5, 4, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238361145054918746711461888}, {"parameter": "[5, 4, 5, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238361134604919742598402048}, {"parameter": "[5, 4, 5, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238367700324972522270560256}, {"parameter": "[5, 4, 5, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238367689874973518157500416}, {"parameter": "[5, 4, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238487955377017668753362944}, {"parameter": "[5, 4, 5, 3],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238487944927018664640303104}, {"parameter": "[5, 4, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940208733376539789561856}, {"parameter": "[5, 4, 5, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940198283377535676502016}, {"parameter": "[5, 4, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940108497729867657449472}, {"parameter": "[5, 4, 5, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940098047730863544389632}, {"parameter": "[5, 4, 5, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237946663767783643216547840}, {"parameter": "[5, 4, 5, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237946653317784639103488000}, {"parameter": "[5, 4, 5, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1238489186697184588865933312}, {"parameter": "[5, 4, 5, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1238489176247185584752873472}, {"parameter": "[5, 4, 5, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237941440053543459902132224}, {"parameter": "[5, 4, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237941429603544455789072384}, {"parameter": "[5, 4, 5, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237941339817896787770019840}, {"parameter": "[5, 4, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237941329367897783656960000}, {"parameter": "[5, 4, 5, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237947895087950563329118208}, {"parameter": "[5, 4, 5, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237947884637951559216058368}, {"parameter": "[5, 4, 6, 2],[0, 1, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 309590810575929148468547584}, {"parameter": "[5, 4, 6, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 309590418322752288620728320}, {"parameter": "[5, 4, 6, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 309590307710289477807886336}, {"parameter": "[5, 4, 6, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 309596857997030297904336896}, {"parameter": "[5, 4, 6, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 309485551436631928705044480}, {"parameter": "[5, 4, 6, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 309485159183455068857225216}, {"parameter": "[5, 4, 6, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 309485048570992258044383232}, {"parameter": "[5, 4, 6, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 309491598857733078140833792}, {"parameter": "[5, 4, 6, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 309485859266673658733187072}, {"parameter": "[5, 4, 6, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 309485467013496798885367808}, {"parameter": "[5, 4, 6, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 309485356401033988072525824}, {"parameter": "[5, 4, 6, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 309491906687774808168976384}, {"parameter": "[5, 5, 2, 5],[0, 0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1244693310179484001462386688}, {"parameter": "[5, 5, 2, 5],[0, 0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244656971794179204769320960}, {"parameter": "[5, 5, 2, 5],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244695619070045889815318528}, {"parameter": "[5, 5, 2, 5],[0, 1, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237983377454466724509253632}, {"parameter": "[5, 5, 2, 5],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237947039069161927816187904}, {"parameter": "[5, 5, 2, 5],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237985686345028612862185472}, {"parameter": "[5, 5, 2, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237982992010514916284825600}, {"parameter": "[5, 5, 2, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237946653625210119591759872}, {"parameter": "[5, 5, 2, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237985300901076804637757440}, {"parameter": "[5, 5, 2, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237984153380772424078852096}, {"parameter": "[5, 5, 2, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237947814995467627385786368}, {"parameter": "[5, 5, 2, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237986462271334312431783936}, {"parameter": "[5, 5, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244686891498387995472429056}, {"parameter": "[5, 5, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244650553113083198779363328}, {"parameter": "[5, 5, 3, 4],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244689200388949883825360896}, {"parameter": "[5, 5, 3, 4],[0, 0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1244686763508735034236338176}, {"parameter": "[5, 5, 3, 4],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244650425123430237543272448}, {"parameter": "[5, 5, 3, 4],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244689072399296922589270016}, {"parameter": "[5, 5, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237976958773370718519296000}, {"parameter": "[5, 5, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940620388065921826230272}, {"parameter": "[5, 5, 3, 4],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237979267663932606872227840}, {"parameter": "[5, 5, 3, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237976830783717757283205120}, {"parameter": "[5, 5, 3, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940492398412960590139392}, {"parameter": "[5, 5, 3, 4],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237979139674279645636136960}, {"parameter": "[5, 5, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237976573329418910294867968}, {"parameter": "[5, 5, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940234944114113601802240}, {"parameter": "[5, 5, 3, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237978882219980798647799808}, {"parameter": "[5, 5, 3, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237976445339765949058777088}, {"parameter": "[5, 5, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940106954461152365711360}, {"parameter": "[5, 5, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237978754230327837411708928}, {"parameter": "[5, 5, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977734699676418088894464}, {"parameter": "[5, 5, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237941396314371621395828736}, {"parameter": "[5, 5, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237980043590238306441826304}, {"parameter": "[5, 5, 3, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977606710023456852803584}, {"parameter": "[5, 5, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237941268324718660159737856}, {"parameter": "[5, 5, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237979915600585345205735424}, {"parameter": "[5, 5, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244652843200005847463710720}, {"parameter": "[5, 5, 4, 3],[0, 0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244652701114432808180453376}, {"parameter": "[5, 5, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244650560940760019008180224}, {"parameter": "[5, 5, 4, 3],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244650418855186979724922880}, {"parameter": "[5, 5, 4, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1244650567615220437103890432}, {"parameter": "[5, 5, 4, 3],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244650425529647397820633088}, {"parameter": "[5, 5, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237942910474988570510577664}, {"parameter": "[5, 5, 4, 3],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237942768389415531227320320}, {"parameter": "[5, 5, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940628215742742055047168}, {"parameter": "[5, 5, 4, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940486130169702771789824}, {"parameter": "[5, 5, 4, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940634890203160150757376}, {"parameter": "[5, 5, 4, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940492804630120867500032}, {"parameter": "[5, 5, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237942525031036762286149632}, {"parameter": "[5, 5, 4, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237942382945463723002892288}, {"parameter": "[5, 5, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940242771790933830619136}, {"parameter": "[5, 5, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940100686217894547361792}, {"parameter": "[5, 5, 4, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940249446251351926329344}, {"parameter": "[5, 5, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940107360678312643072000}, {"parameter": "[5, 5, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237943686401294270080176128}, {"parameter": "[5, 5, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237943544315721230796918784}, {"parameter": "[5, 5, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237941404142048441624645632}, {"parameter": "[5, 5, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237941262056475402341388288}, {"parameter": "[5, 5, 4, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237941410816508859720355840}, {"parameter": "[5, 5, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237941268730935820437098496}, {"parameter": "[5, 5, 5, 2],[0, 0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244686792630645645995347968}, {"parameter": "[5, 5, 5, 2],[0, 0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244650420952844547702853632}, {"parameter": "[5, 5, 5, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244650418863517605082173440}, {"parameter": "[5, 5, 5, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1244650425158809457467068416}, {"parameter": "[5, 5, 5, 2],[0, 1, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237976859905628369042214912}, {"parameter": "[5, 5, 5, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940488227827270749720576}, {"parameter": "[5, 5, 5, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940486138500328129040384}, {"parameter": "[5, 5, 5, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940492433792180513935360}, {"parameter": "[5, 5, 5, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237976474461676560817786880}, {"parameter": "[5, 5, 5, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940102783875462525292544}, {"parameter": "[5, 5, 5, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940100694548519904612352}, {"parameter": "[5, 5, 5, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237940106989840372289507328}, {"parameter": "[5, 5, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237977635831934068611813376}, {"parameter": "[5, 5, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237941264154132970319319040}, {"parameter": "[5, 5, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237941262064806027698638848}, {"parameter": "[5, 5, 5, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1237941268360097880083533824}, {"parameter": "[5, 6, 2, 4],[0, 0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 309492146114517425973563392}, {"parameter": "[5, 6, 2, 4],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 309492146114517425973563392}, {"parameter": "[5, 6, 2, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 309486030337507227710459904}, {"parameter": "[5, 6, 2, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 309486030337507227710459904}, {"parameter": "[5, 6, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 309485617389488654460063744}, {"parameter": "[5, 6, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 309485617389488654460063744}, {"parameter": "[5, 6, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 309486778930913734419746816}, {"parameter": "[5, 6, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 309486778930913734419746816}, {"parameter": "[5, 6, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 309492140246241833659076608}, {"parameter": "[5, 6, 3, 3],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 309492140246241833659076608}, {"parameter": "[5, 6, 3, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 309492139721284272685256704}, {"parameter": "[5, 6, 3, 3],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 309492139721284272685256704}, {"parameter": "[5, 6, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 309486024469231635395973120}, {"parameter": "[5, 6, 3, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 309486024469231635395973120}, {"parameter": "[5, 6, 3, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 309486023944274074422153216}, {"parameter": "[5, 6, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 309486023944274074422153216}, {"parameter": "[5, 6, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 309485611521213062145576960}, {"parameter": "[5, 6, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 309485611521213062145576960}, {"parameter": "[5, 6, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 309485610996255501171757056}, {"parameter": "[5, 6, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 309485610996255501171757056}, {"parameter": "[5, 6, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 309486773062638142105260032}, {"parameter": "[5, 6, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 309486773062638142105260032}, {"parameter": "[5, 6, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 309486772537680581131440128}, {"parameter": "[5, 6, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 309486772537680581131440128}, {"parameter": "[5, 6, 4, 2],[0, 0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 309492175907982862977273856}, {"parameter": "[5, 6, 4, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 309492139715553534802137088}, {"parameter": "[5, 6, 4, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 309492139721680969130840064}, {"parameter": "[5, 6, 4, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 309486060130972664714170368}, {"parameter": "[5, 6, 4, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 309486023938543336539033600}, {"parameter": "[5, 6, 4, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 309486023944670770867736576}, {"parameter": "[5, 6, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 309485647182954091463774208}, {"parameter": "[5, 6, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 309485610990524763288637440}, {"parameter": "[5, 6, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 309485610996652197617340416}, {"parameter": "[5, 6, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 309486808724379171423457280}, {"parameter": "[5, 6, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 309486772531949843248320512}, {"parameter": "[5, 6, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 309486772538077277577023488}, {"parameter": "[5, 7, 2, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 77387484627723285545029632}, {"parameter": "[5, 7, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 77380929056531608205987840}, {"parameter": "[5, 7, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 77380539911060157957083136}, {"parameter": "[5, 7, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 77381702582504386689699840}, {"parameter": "[5, 7, 3, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 77387484623554921355284480}, {"parameter": "[5, 7, 3, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 77387484621479893793771520}, {"parameter": "[5, 7, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 77380929052363244016242688}, {"parameter": "[5, 7, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 77380929050288216454729728}, {"parameter": "[5, 7, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 77380539906891793767337984}, {"parameter": "[5, 7, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 77380539904816766205825024}, {"parameter": "[5, 7, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 77381702578336022499954688}, {"parameter": "[5, 7, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 77381702576260994938441728}, {"parameter": "[6, 2, 3, 6],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 27544550307216800119521280}, {"parameter": "[6, 2, 3, 6],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 27544556903680666679377920}, {"parameter": "[6, 2, 3, 6],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 27544550881731539218792448}, {"parameter": "[6, 2, 3, 6],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 27651337407212150130016256}, {"parameter": "[6, 2, 4, 5],[0, 3, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1325208546892956055896064}, {"parameter": "[6, 2, 4, 5],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1316522289577590910615552}, {"parameter": "[6, 2, 4, 5],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1316520700024045902299136}, {"parameter": "[6, 2, 4, 5],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1316624654586104539578368}, {"parameter": "[6, 2, 4, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1325208546892956055896064}, {"parameter": "[6, 2, 4, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1316522289577590910615552}, {"parameter": "[6, 2, 4, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1316520700024045902299136}, {"parameter": "[6, 2, 4, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1316624654586104539578368}, {"parameter": "[6, 2, 5, 4],[0, 3, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1316556354922121032105984}, {"parameter": "[6, 2, 5, 4],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1316520162475668314849280}, {"parameter": "[6, 2, 5, 4],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1316520268320370981404672}, {"parameter": "[6, 2, 5, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1210246525439928556060672}, {"parameter": "[6, 2, 5, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1210210332993475838803968}, {"parameter": "[6, 2, 5, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1210210438838178505359360}, {"parameter": "[6, 2, 5, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1323311133921478325305344}, {"parameter": "[6, 2, 5, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1323274941475025608048640}, {"parameter": "[6, 2, 5, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1323275047319728274604032}, {"parameter": "[6, 2, 6, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302630530909719617142784}, {"parameter": "[6, 2, 6, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 302630522584855362469888}, {"parameter": "[6, 2, 6, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 302637127373586176999424}, {"parameter": "[6, 2, 6, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 302637119048721922326528}, {"parameter": "[6, 2, 6, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 409528663484749746864128}, {"parameter": "[6, 2, 6, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 409528655159885492191232}, {"parameter": "[6, 2, 7, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 75742166942094437449728}, {"parameter": "[6, 2, 7, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 75736144992966976864256}, {"parameter": "[6, 2, 7, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 182522670473577888088064}, {"parameter": "[6, 3, 2, 6],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 27544279658893593662193664}, {"parameter": "[6, 3, 2, 6],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 27544286255357460222050304}, {"parameter": "[6, 3, 2, 6],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 27651177791468623791915008}, {"parameter": "[6, 3, 2, 6],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 27544255447541996918407168}, {"parameter": "[6, 3, 2, 6],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 27544262044005863478263808}, {"parameter": "[6, 3, 2, 6],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 27651153580117027048128512}, {"parameter": "[6, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1421851316260732087042048}, {"parameter": "[6, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1315541486778539610996736}, {"parameter": "[6, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1315548083242406170853376}, {"parameter": "[6, 3, 3, 5],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1422439619353569740718080}, {"parameter": "[6, 3, 3, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1421851316260732087042048}, {"parameter": "[6, 3, 3, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1315541486778539610996736}, {"parameter": "[6, 3, 3, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1315548083242406170853376}, {"parameter": "[6, 3, 3, 5],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1422439619353569740718080}, {"parameter": "[6, 3, 3, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1421754470854345111896064}, {"parameter": "[6, 3, 3, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1315444641372152635850752}, {"parameter": "[6, 3, 3, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1315451237836019195707392}, {"parameter": "[6, 3, 3, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1422342773947182765572096}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1421754470854345111896064}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1315444641372152635850752}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1315451237836019195707392}, {"parameter": "[6, 3, 3, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1422342773947182765572096}, {"parameter": "[6, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1317617850635613682794496}, {"parameter": "[6, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1315438074521923849551872}, {"parameter": "[6, 3, 4, 4],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1315548083242406170853376}, {"parameter": "[6, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1211308021153421206749184}, {"parameter": "[6, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209128245039731373506560}, {"parameter": "[6, 3, 4, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209238253760213694808064}, {"parameter": "[6, 3, 4, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1324372629634970975993856}, {"parameter": "[6, 3, 4, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1322192853521281142751232}, {"parameter": "[6, 3, 4, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1322302862241763464052736}, {"parameter": "[6, 3, 4, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1317521005229226707648512}, {"parameter": "[6, 3, 4, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1315341229115536874405888}, {"parameter": "[6, 3, 4, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1315451237836019195707392}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1211211175747034231603200}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209031399633344398360576}, {"parameter": "[6, 3, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209141408353826719662080}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1324275784228584000847872}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1322096008114894167605248}, {"parameter": "[6, 3, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1322206016835376488906752}, {"parameter": "[6, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1315439698266875618131968}, {"parameter": "[6, 3, 5, 3],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1315437668585685907406848}, {"parameter": "[6, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209129868784683142086656}, {"parameter": "[6, 3, 5, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209127839103493431361536}, {"parameter": "[6, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209136465248549701943296}, {"parameter": "[6, 3, 5, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209134435567359991218176}, {"parameter": "[6, 3, 5, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1316028001359713271808000}, {"parameter": "[6, 3, 5, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1316025971678523561082880}, {"parameter": "[6, 3, 5, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1315342852860488642985984}, {"parameter": "[6, 3, 5, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1315340823179298932260864}, {"parameter": "[6, 3, 5, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209033023378296166940672}, {"parameter": "[6, 3, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209030993697106456215552}, {"parameter": "[6, 3, 5, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209039619842162726797312}, {"parameter": "[6, 3, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209037590160973016072192}, {"parameter": "[6, 3, 5, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1315931155953326296662016}, {"parameter": "[6, 3, 5, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1315929126272136585936896}, {"parameter": "[6, 3, 6, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 302359975646602863837184}, {"parameter": "[6, 3, 6, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 302366572110469423693824}, {"parameter": "[6, 3, 6, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 302360550161341963108352}, {"parameter": "[6, 3, 6, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 409147075641952874332160}, {"parameter": "[6, 3, 6, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 302335764295006120050688}, {"parameter": "[6, 3, 6, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 302342360758872679907328}, {"parameter": "[6, 3, 6, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 302336338809745219321856}, {"parameter": "[6, 3, 6, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 409122864290356130545664}, {"parameter": "[6, 4, 2, 5],[0, 1, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1330704915518584476663808}, {"parameter": "[6, 4, 2, 5],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1322025013772520617070592}, {"parameter": "[6, 4, 2, 5],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1331256424427180909580288}, {"parameter": "[6, 4, 2, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1324028050973730726215680}, {"parameter": "[6, 4, 2, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1315348149227666866622464}, {"parameter": "[6, 4, 2, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1324579559882327159132160}, {"parameter": "[6, 4, 2, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1324029181377237196210176}, {"parameter": "[6, 4, 2, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1315349279631173336616960}, {"parameter": "[6, 4, 2, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1324580690285833629126656}, {"parameter": "[6, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1224810764744044757123072}, {"parameter": "[6, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1216130862997980897529856}, {"parameter": "[6, 4, 3, 4],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1225362273652641190039552}, {"parameter": "[6, 4, 3, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1224395086036392000618496}, {"parameter": "[6, 4, 3, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1215715184290328141025280}, {"parameter": "[6, 4, 3, 4],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1224946594944988433534976}, {"parameter": "[6, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1218133900199191006674944}, {"parameter": "[6, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209453998453127147081728}, {"parameter": "[6, 4, 3, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1218685409107787439591424}, {"parameter": "[6, 4, 3, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1217718221491538250170368}, {"parameter": "[6, 4, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209038319745474390577152}, {"parameter": "[6, 4, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1218269730400134683086848}, {"parameter": "[6, 4, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1218135030602697476669440}, {"parameter": "[6, 4, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209455128856633617076224}, {"parameter": "[6, 4, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1218686539511293909585920}, {"parameter": "[6, 4, 3, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1217719351895044720164864}, {"parameter": "[6, 4, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209039450148980860571648}, {"parameter": "[6, 4, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1218270860803641153081344}, {"parameter": "[6, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1217825487157161993310208}, {"parameter": "[6, 4, 4, 3],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217791548147402212823040}, {"parameter": "[6, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1215645711043472160067584}, {"parameter": "[6, 4, 4, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215611772033712379580416}, {"parameter": "[6, 4, 4, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1215755719763954481369088}, {"parameter": "[6, 4, 4, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215721780754194700881920}, {"parameter": "[6, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1211148622612308242862080}, {"parameter": "[6, 4, 4, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1211114683602548462374912}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208968846498618409619456}, {"parameter": "[6, 4, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208934907488858629132288}, {"parameter": "[6, 4, 4, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209078855219100730920960}, {"parameter": "[6, 4, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209044916209340950433792}, {"parameter": "[6, 4, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1211149753015814712856576}, {"parameter": "[6, 4, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1211115814006054932369408}, {"parameter": "[6, 4, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208969976902124879613952}, {"parameter": "[6, 4, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208936037892365099126784}, {"parameter": "[6, 4, 4, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209079985622607200915456}, {"parameter": "[6, 4, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209046046612847420428288}, {"parameter": "[6, 4, 5, 2],[0, 1, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1224299651111918756614144}, {"parameter": "[6, 4, 5, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215613393796553611333632}, {"parameter": "[6, 4, 5, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215611804243008603017216}, {"parameter": "[6, 4, 5, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215715758805067240296448}, {"parameter": "[6, 4, 5, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217622786567065006166016}, {"parameter": "[6, 4, 5, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208936529251699860885504}, {"parameter": "[6, 4, 5, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208934939698154852569088}, {"parameter": "[6, 4, 5, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209038894260213489848320}, {"parameter": "[6, 4, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217623916970571476160512}, {"parameter": "[6, 4, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208937659655206330880000}, {"parameter": "[6, 4, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1208936070101661322563584}, {"parameter": "[6, 4, 5, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209040024663719959842816}, {"parameter": "[6, 5, 2, 4],[0, 0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1316020311908741928128512}, {"parameter": "[6, 5, 2, 4],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1316020311908741928128512}, {"parameter": "[6, 5, 2, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1209613083218626835058688}, {"parameter": "[6, 5, 2, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209613083218626835058688}, {"parameter": "[6, 5, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1209606664525930088042496}, {"parameter": "[6, 5, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209606664525930088042496}, {"parameter": "[6, 5, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1209607722045009776021504}, {"parameter": "[6, 5, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209607722045009776021504}, {"parameter": "[6, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1315918523397077935263744}, {"parameter": "[6, 5, 3, 3],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1315918523397077935263744}, {"parameter": "[6, 5, 3, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1315916493715888224538624}, {"parameter": "[6, 5, 3, 3],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1315916493715888224538624}, {"parameter": "[6, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209511294706962842193920}, {"parameter": "[6, 5, 3, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209511294706962842193920}, {"parameter": "[6, 5, 3, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209509265025773131468800}, {"parameter": "[6, 5, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209509265025773131468800}, {"parameter": "[6, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209504876014266095177728}, {"parameter": "[6, 5, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209504876014266095177728}, {"parameter": "[6, 5, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209502846333076384452608}, {"parameter": "[6, 5, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209502846333076384452608}, {"parameter": "[6, 5, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209505933533345783156736}, {"parameter": "[6, 5, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209505933533345783156736}, {"parameter": "[6, 5, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209503903852156072431616}, {"parameter": "[6, 5, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209503903852156072431616}, {"parameter": "[6, 5, 4, 2],[0, 0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1315952586759497519927296}, {"parameter": "[6, 5, 4, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1315916394313044802670592}, {"parameter": "[6, 5, 4, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1315916500157747469225984}, {"parameter": "[6, 5, 4, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209545358069382426857472}, {"parameter": "[6, 5, 4, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209509165622929709600768}, {"parameter": "[6, 5, 4, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209509271467632376156160}, {"parameter": "[6, 5, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209538939376685679841280}, {"parameter": "[6, 5, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209502746930232962584576}, {"parameter": "[6, 5, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209502852774935629139968}, {"parameter": "[6, 5, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209539996895765367820288}, {"parameter": "[6, 5, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209503804449312650563584}, {"parameter": "[6, 5, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1209503910294015317118976}, {"parameter": "[6, 6, 2, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311702375030942716334080}, {"parameter": "[6, 6, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311605389719977508671488}, {"parameter": "[6, 6, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311598551584602523897856}, {"parameter": "[6, 6, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311599613446439608979456}, {"parameter": "[6, 6, 3, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311702281970853012312064}, {"parameter": "[6, 6, 3, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311702273645988757639168}, {"parameter": "[6, 6, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311605296659887804649472}, {"parameter": "[6, 6, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311605288335023549976576}, {"parameter": "[6, 6, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311598458524512819875840}, {"parameter": "[6, 6, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311598450199648565202944}, {"parameter": "[6, 6, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 311599520386349904957440}, {"parameter": "[6, 6, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 311599512061485650284544}, {"parameter": "[7, 2, 3, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2996218197919660939149312}, {"parameter": "[7, 2, 3, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2994550995667614689132544}, {"parameter": "[7, 2, 3, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2994551099116556968853504}, {"parameter": "[7, 2, 3, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2996227423973790101340160}, {"parameter": "[7, 2, 4, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1287368452116239950282752}, {"parameter": "[7, 2, 4, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1287334267811144163721216}, {"parameter": "[7, 2, 4, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1287335993021196951683072}, {"parameter": "[7, 2, 4, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1287368452116239950282752}, {"parameter": "[7, 2, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1287334267811144163721216}, {"parameter": "[7, 2, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1287335993021196951683072}, {"parameter": "[7, 2, 5, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1287334293275499186421760}, {"parameter": "[7, 2, 5, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1287334261445055408046080}, {"parameter": "[7, 2, 5, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1285667091023452936404992}, {"parameter": "[7, 2, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285667059193009158029312}, {"parameter": "[7, 2, 5, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1287440224992393620684800}, {"parameter": "[7, 2, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1287440193161949842309120}, {"parameter": "[7, 2, 6, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 321417988280935020822528}, {"parameter": "[7, 2, 6, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 321418091729877300543488}, {"parameter": "[7, 2, 6, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 323094416587110433030144}, {"parameter": "[7, 3, 2, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2996217428930024565637120}, {"parameter": "[7, 3, 2, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2994550226677978315620352}, {"parameter": "[7, 3, 2, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2996323360646918999900160}, {"parameter": "[7, 3, 2, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2996217046124056239144960}, {"parameter": "[7, 3, 2, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2994549843872009989128192}, {"parameter": "[7, 3, 2, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2996322977840950673408000}, {"parameter": "[7, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1289002322834664548466688}, {"parameter": "[7, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1287335120582618298449920}, {"parameter": "[7, 3, 3, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1289108254551558982729728}, {"parameter": "[7, 3, 3, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1289002322834664548466688}, {"parameter": "[7, 3, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1287335120582618298449920}, {"parameter": "[7, 3, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1289108254551558982729728}, {"parameter": "[7, 3, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1289001940028696221974528}, {"parameter": "[7, 3, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1287334737776649971957760}, {"parameter": "[7, 3, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1289107871745590656237568}, {"parameter": "[7, 3, 3, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1289001940028696221974528}, {"parameter": "[7, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1287334737776649971957760}, {"parameter": "[7, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1289107871745590656237568}, {"parameter": "[7, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1287341639457504109789184}, {"parameter": "[7, 3, 4, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1287335120582618298449920}, {"parameter": "[7, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1285674437205457859772416}, {"parameter": "[7, 3, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285667918330572048433152}, {"parameter": "[7, 3, 4, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1287447571174398544052224}, {"parameter": "[7, 3, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1287441052299512732712960}, {"parameter": "[7, 3, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1287341256651535783297024}, {"parameter": "[7, 3, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1287334737776649971957760}, {"parameter": "[7, 3, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1285674054399489533280256}, {"parameter": "[7, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285667535524603721940992}, {"parameter": "[7, 3, 4, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1287447188368430217560064}, {"parameter": "[7, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1287440669493544406220800}, {"parameter": "[7, 3, 5, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1287335120582618298449920}, {"parameter": "[7, 3, 5, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285667918330572048433152}, {"parameter": "[7, 3, 5, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285668021779514328154112}, {"parameter": "[7, 3, 5, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1287344346636747460640768}, {"parameter": "[7, 3, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1287334737776649971957760}, {"parameter": "[7, 3, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285667535524603721940992}, {"parameter": "[7, 3, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285667638973546001661952}, {"parameter": "[7, 3, 5, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1287343963830779134148608}, {"parameter": "[7, 4, 2, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1287495463412809672347648}, {"parameter": "[7, 4, 2, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1287495463412809672347648}, {"parameter": "[7, 4, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1287469362793472665243648}, {"parameter": "[7, 4, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1287469362793472665243648}, {"parameter": "[7, 4, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1287469363615907362820096}, {"parameter": "[7, 4, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1287469363615907362820096}, {"parameter": "[7, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1285834780035649233670144}, {"parameter": "[7, 4, 3, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285834780035649233670144}, {"parameter": "[7, 4, 3, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1285828261160763422330880}, {"parameter": "[7, 4, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285828261160763422330880}, {"parameter": "[7, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1285808679416312226566144}, {"parameter": "[7, 4, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285808679416312226566144}, {"parameter": "[7, 4, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1285802160541426415226880}, {"parameter": "[7, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285802160541426415226880}, {"parameter": "[7, 4, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1285808680238746924142592}, {"parameter": "[7, 4, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285808680238746924142592}, {"parameter": "[7, 4, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1285802161363861112803328}, {"parameter": "[7, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285802161363861112803328}, {"parameter": "[7, 4, 4, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285860823704748700651520}, {"parameter": "[7, 4, 4, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285826639399652914089984}, {"parameter": "[7, 4, 4, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285828364609705702051840}, {"parameter": "[7, 4, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285834723085411693547520}, {"parameter": "[7, 4, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285800538780315906985984}, {"parameter": "[7, 4, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285802263990368694947840}, {"parameter": "[7, 4, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285834723907846391123968}, {"parameter": "[7, 4, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285800539602750604562432}, {"parameter": "[7, 4, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1285802264812803392524288}, {"parameter": "[7, 5, 2, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1296597866184534350303232}, {"parameter": "[7, 5, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1294929059703018864709632}, {"parameter": "[7, 5, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1294929034612499600052224}, {"parameter": "[7, 5, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1294929035345891035648000}, {"parameter": "[7, 5, 3, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1296596269887778864762880}, {"parameter": "[7, 5, 3, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1296596238057335086387200}, {"parameter": "[7, 5, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1294927463406263379169280}, {"parameter": "[7, 5, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1294927431575819600793600}, {"parameter": "[7, 5, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1294927438315744114511872}, {"parameter": "[7, 5, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1294927406485300336136192}, {"parameter": "[7, 5, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1294927439049135550107648}, {"parameter": "[7, 5, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1294927407218691771731968}, {"parameter": "[8, 2, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1242361191517444030595072}, {"parameter": "[8, 2, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1242335117605319938211840}, {"parameter": "[8, 2, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1242362848217627868332032}, {"parameter": "[8, 2, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1215635533541029881643008}, {"parameter": "[8, 2, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215635431590249337782272}, {"parameter": "[8, 2, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1215635533541029881643008}, {"parameter": "[8, 2, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215635431590249337782272}, {"parameter": "[8, 2, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215635431590249337782272}, {"parameter": "[8, 2, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215609357678125245399040}, {"parameter": "[8, 2, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215637088290433175519232}, {"parameter": "[8, 3, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1242361190766477588824064}, {"parameter": "[8, 3, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1242361190766477588824064}, {"parameter": "[8, 3, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1242361190392643635380224}, {"parameter": "[8, 3, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1242361190392643635380224}, {"parameter": "[8, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1215661504751406988394496}, {"parameter": "[8, 3, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215661504751406988394496}, {"parameter": "[8, 3, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1215661504751406988394496}, {"parameter": "[8, 3, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215661504751406988394496}, {"parameter": "[8, 3, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1215661504377573034950656}, {"parameter": "[8, 3, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215661504377573034950656}, {"parameter": "[8, 3, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1215661504377573034950656}, {"parameter": "[8, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215661504377573034950656}, {"parameter": "[8, 3, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215661504751406988394496}, {"parameter": "[8, 3, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215635430839282896011264}, {"parameter": "[8, 3, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215663161451590826131456}, {"parameter": "[8, 3, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215661504377573034950656}, {"parameter": "[8, 3, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215635430465448942567424}, {"parameter": "[8, 3, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215663161077756872687616}, {"parameter": "[8, 4, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1217817592960913504129024}, {"parameter": "[8, 4, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1217817490985600558223360}, {"parameter": "[8, 4, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1217817490986403717107712}, {"parameter": "[8, 4, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217791620999569955606528}, {"parameter": "[8, 4, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217791519048789411745792}, {"parameter": "[8, 4, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217791519024257009700864}, {"parameter": "[8, 4, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217791417073476465840128}, {"parameter": "[8, 4, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217791519025060168585216}, {"parameter": "[8, 4, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217791417074279624724480}, {"parameter": "[9, 2, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1214766000894899700432896}, {"parameter": "[9, 2, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1214766000894899700432896}, {"parameter": "[9, 2, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1214348722787978572857344}, {"parameter": "[9, 2, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1214348722787978572857344}, {"parameter": "[9, 3, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1215183279001087462342656}, {"parameter": "[9, 3, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1215183279000722390122496}, {"parameter": "[9, 3, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1214766000894166334767104}, {"parameter": "[9, 3, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1214766000894166334767104}, {"parameter": "[9, 3, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1214766000893801262546944}, {"parameter": "[9, 3, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1214766000893801262546944}, {"parameter": "[10, 2, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1215492231511162592821248}, {"parameter": "[5, 2, 3, 2, 5],[0, 3, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 14637347315815071396921344}, {"parameter": "[5, 2, 3, 2, 5],[0, 3, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 14630800645066104170872832}, {"parameter": "[5, 2, 3, 2, 5],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 14637763282187195414216704}, {"parameter": "[5, 2, 3, 3, 4],[0, 3, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 7933556468872631923245056}, {"parameter": "[5, 2, 3, 3, 4],[0, 3, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7927009798123664697196544}, {"parameter": "[5, 2, 3, 3, 4],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7933972435244755940540416}, {"parameter": "[5, 2, 3, 3, 4],[0, 3, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 7933556468872631923245056}, {"parameter": "[5, 2, 3, 3, 4],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 7927009798123664697196544}, {"parameter": "[5, 2, 3, 3, 4],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7933972435244755940540416}, {"parameter": "[5, 2, 3, 4, 3],[0, 3, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7927035396054256944414720}, {"parameter": "[5, 2, 3, 4, 3],[0, 3, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 7927009798123664697196544}, {"parameter": "[5, 2, 3, 4, 3],[0, 3, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7920488725305289718366208}, {"parameter": "[5, 2, 3, 4, 3],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7920463127374697471148032}, {"parameter": "[5, 2, 3, 4, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 7927451362426380961710080}, {"parameter": "[5, 2, 3, 4, 3],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7927425764495788714491904}, {"parameter": "[5, 2, 3, 5, 2],[0, 3, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7927009798123664697196544}, {"parameter": "[5, 2, 3, 5, 2],[0, 3, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 7920463127374697471148032}, {"parameter": "[5, 2, 3, 5, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7920463533591857748508672}, {"parameter": "[5, 2, 3, 5, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 7927046026444866664267776}, {"parameter": "[5, 2, 4, 2, 4],[0, 3, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1223747591647587750379520}, {"parameter": "[5, 2, 4, 2, 4],[0, 3, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1223747591647587750379520}, {"parameter": "[5, 2, 4, 2, 4],[0, 3, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1223747591647587750379520}, {"parameter": "[5, 2, 4, 2, 4],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1223747591647587750379520}, {"parameter": "[5, 2, 4, 3, 3],[0, 3, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1217226518829212771549184}, {"parameter": "[5, 2, 4, 3, 3],[0, 3, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217226518829212771549184}, {"parameter": "[5, 2, 4, 3, 3],[0, 3, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1217200920898620524331008}, {"parameter": "[5, 2, 4, 3, 3],[0, 3, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217200920898620524331008}, {"parameter": "[5, 2, 4, 3, 3],[0, 3, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1217226518829212771549184}, {"parameter": "[5, 2, 4, 3, 3],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217226518829212771549184}, {"parameter": "[5, 2, 4, 3, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1217200920898620524331008}, {"parameter": "[5, 2, 4, 3, 3],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217200920898620524331008}, {"parameter": "[5, 2, 4, 4, 2],[0, 3, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217328785561686290464768}, {"parameter": "[5, 2, 4, 4, 2],[0, 3, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217194552663446330015744}, {"parameter": "[5, 2, 4, 4, 2],[0, 3, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217201327115780801691648}, {"parameter": "[5, 2, 4, 4, 2],[0, 3, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217328785561686290464768}, {"parameter": "[5, 2, 4, 4, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217194552663446330015744}, {"parameter": "[5, 2, 4, 4, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1217201327115780801691648}, {"parameter": "[5, 2, 5, 2, 3],[0, 3, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1253039787647666449547264}, {"parameter": "[5, 2, 5, 2, 3],[0, 3, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1246493116898699223498752}, {"parameter": "[5, 2, 5, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1253455754019790466842624}, {"parameter": "[5, 2, 5, 3, 2],[0, 3, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1253033519404408631197696}, {"parameter": "[5, 2, 5, 3, 2],[0, 3, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1253033394414513161240576}, {"parameter": "[5, 2, 5, 3, 2],[0, 3, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1246486848655441405149184}, {"parameter": "[5, 2, 5, 3, 2],[0, 3, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1246486723665545935192064}, {"parameter": "[5, 2, 5, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1253449485776532648493056}, {"parameter": "[5, 2, 5, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1253449360786637178535936}, {"parameter": "[5, 3, 2, 3, 4],[0, 2, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 14636190935545950729404416}, {"parameter": "[5, 3, 2, 3, 4],[0, 2, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 14629644264796983503355904}, {"parameter": "[5, 3, 2, 3, 4],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 14636606901918074746699776}, {"parameter": "[5, 3, 2, 3, 4],[0, 3, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 14636167877115858592464896}, {"parameter": "[5, 3, 2, 3, 4],[0, 3, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 14629621206366891366416384}, {"parameter": "[5, 3, 2, 3, 4],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 14636583843487982609760256}, {"parameter": "[5, 3, 2, 4, 3],[0, 2, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7925879015785136276897792}, {"parameter": "[5, 3, 2, 4, 3],[0, 2, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 7925853417854544029679616}, {"parameter": "[5, 3, 2, 4, 3],[0, 2, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7925879015785136276897792}, {"parameter": "[5, 3, 2, 4, 3],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7925853417854544029679616}, {"parameter": "[5, 3, 2, 4, 3],[0, 3, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 7925855957355044139958272}, {"parameter": "[5, 3, 2, 4, 3],[0, 3, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 7925830359424451892740096}, {"parameter": "[5, 3, 2, 4, 3],[0, 3, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 7925855957355044139958272}, {"parameter": "[5, 3, 2, 4, 3],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7925830359424451892740096}, {"parameter": "[5, 3, 2, 5, 2],[0, 2, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7925853417854544029679616}, {"parameter": "[5, 3, 2, 5, 2],[0, 2, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 7919306747105576803631104}, {"parameter": "[5, 3, 2, 5, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7926269384226668046974976}, {"parameter": "[5, 3, 2, 5, 2],[0, 3, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7925830359424451892740096}, {"parameter": "[5, 3, 2, 5, 2],[0, 3, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 7919283688675484666691584}, {"parameter": "[5, 3, 2, 5, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 7926246325796575910035456}, {"parameter": "[5, 3, 3, 2, 4],[0, 2, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 7932400088603511255728128}, {"parameter": "[5, 3, 3, 2, 4],[0, 2, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 7932400088603511255728128}, {"parameter": "[5, 3, 3, 2, 4],[0, 2, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 7932400088603511255728128}, {"parameter": "[5, 3, 3, 2, 4],[0, 2, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 7932400088603511255728128}, {"parameter": "[5, 3, 3, 2, 4],[0, 3, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 7932377030173419118788608}, {"parameter": "[5, 3, 3, 2, 4],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 7932377030173419118788608}, {"parameter": "[5, 3, 3, 2, 4],[0, 3, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 7932377030173419118788608}, {"parameter": "[5, 3, 3, 2, 4],[0, 3, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 7932377030173419118788608}, {"parameter": "[5, 3, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1228609241661071782051840}, {"parameter": "[5, 3, 3, 3, 3],[0, 2, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1228609241661071782051840}, {"parameter": "[5, 3, 3, 3, 3],[0, 2, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1228609241661071782051840}, {"parameter": "[5, 3, 3, 3, 3],[0, 2, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1228609241661071782051840}, {"parameter": "[5, 3, 3, 3, 3],[0, 2, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1228609241661071782051840}, {"parameter": "[5, 3, 3, 3, 3],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1228609241661071782051840}, {"parameter": "[5, 3, 3, 3, 3],[0, 2, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1228609241661071782051840}, {"parameter": "[5, 3, 3, 3, 3],[0, 2, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1228609241661071782051840}, {"parameter": "[5, 3, 3, 3, 3],[0, 3, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1228586183230979645112320}, {"parameter": "[5, 3, 3, 3, 3],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1228586183230979645112320}, {"parameter": "[5, 3, 3, 3, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1228586183230979645112320}, {"parameter": "[5, 3, 3, 3, 3],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1228586183230979645112320}, {"parameter": "[5, 3, 3, 3, 3],[0, 3, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1228586183230979645112320}, {"parameter": "[5, 3, 3, 3, 3],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1228586183230979645112320}, {"parameter": "[5, 3, 3, 3, 3],[0, 3, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1228586183230979645112320}, {"parameter": "[5, 3, 3, 3, 3],[0, 3, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1228586183230979645112320}, {"parameter": "[5, 3, 3, 4, 2],[0, 2, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1228609241661071782051840}, {"parameter": "[5, 3, 3, 4, 2],[0, 2, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1222062570912104556003328}, {"parameter": "[5, 3, 3, 4, 2],[0, 2, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1229025208033195799347200}, {"parameter": "[5, 3, 3, 4, 2],[0, 2, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1228609241661071782051840}, {"parameter": "[5, 3, 3, 4, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1222062570912104556003328}, {"parameter": "[5, 3, 3, 4, 2],[0, 2, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1229025208033195799347200}, {"parameter": "[5, 3, 3, 4, 2],[0, 3, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1228586183230979645112320}, {"parameter": "[5, 3, 3, 4, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1222039512482012419063808}, {"parameter": "[5, 3, 3, 4, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1229002149603103662407680}, {"parameter": "[5, 3, 3, 4, 2],[0, 3, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1228586183230979645112320}, {"parameter": "[5, 3, 3, 4, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1222039512482012419063808}, {"parameter": "[5, 3, 3, 4, 2],[0, 3, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1229002149603103662407680}, {"parameter": "[5, 3, 4, 2, 3],[0, 2, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1769937079216299285938176}, {"parameter": "[5, 3, 4, 2, 3],[0, 2, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1763390408467332059889664}, {"parameter": "[5, 3, 4, 2, 3],[0, 2, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1770353045588423303233536}, {"parameter": "[5, 3, 4, 2, 3],[0, 3, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1769914020786207148998656}, {"parameter": "[5, 3, 4, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1763367350037239922950144}, {"parameter": "[5, 3, 4, 2, 3],[0, 3, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1770329987158331166294016}, {"parameter": "[5, 3, 4, 3, 2],[0, 2, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1763416006397924307107840}, {"parameter": "[5, 3, 4, 3, 2],[0, 2, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1763390408467332059889664}, {"parameter": "[5, 3, 4, 3, 2],[0, 2, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1756869335648957081059328}, {"parameter": "[5, 3, 4, 3, 2],[0, 2, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1756843737718364833841152}, {"parameter": "[5, 3, 4, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1763831972770048324403200}, {"parameter": "[5, 3, 4, 3, 2],[0, 2, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1763806374839456077185024}, {"parameter": "[5, 3, 4, 3, 2],[0, 3, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1763392947967832170168320}, {"parameter": "[5, 3, 4, 3, 2],[0, 3, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1763367350037239922950144}, {"parameter": "[5, 3, 4, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1756846277218864944119808}, {"parameter": "[5, 3, 4, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1756820679288272696901632}, {"parameter": "[5, 3, 4, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1763808914339956187463680}, {"parameter": "[5, 3, 4, 3, 2],[0, 3, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1763783316409363940245504}, {"parameter": "[5, 4, 2, 3, 3],[0, 1, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1764306029738875651358720}, {"parameter": "[5, 4, 2, 3, 3],[0, 1, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1764306029738875651358720}, {"parameter": "[5, 4, 2, 3, 3],[0, 2, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1763894861225995886657536}, {"parameter": "[5, 4, 2, 3, 3],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1763894861225995886657536}, {"parameter": "[5, 4, 2, 3, 3],[0, 3, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1763896063687096394579968}, {"parameter": "[5, 4, 2, 3, 3],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1763896063687096394579968}, {"parameter": "[5, 4, 2, 4, 2],[0, 1, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1216960161901043448283136}, {"parameter": "[5, 4, 2, 4, 2],[0, 1, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1216960161901043448283136}, {"parameter": "[5, 4, 2, 4, 2],[0, 2, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1216548993388163683581952}, {"parameter": "[5, 4, 2, 4, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1216548993388163683581952}, {"parameter": "[5, 4, 2, 4, 2],[0, 3, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1216550195849264191504384}, {"parameter": "[5, 4, 2, 4, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1216550195849264191504384}, {"parameter": "[5, 4, 3, 2, 3],[0, 1, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2305130824758332875603968}, {"parameter": "[5, 4, 3, 2, 3],[0, 1, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2305105226827740628385792}, {"parameter": "[5, 4, 3, 2, 3],[0, 2, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2304719656245453110902784}, {"parameter": "[5, 4, 3, 2, 3],[0, 2, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2304694058314860863684608}, {"parameter": "[5, 4, 3, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2304720858706553618825216}, {"parameter": "[5, 4, 3, 2, 3],[0, 3, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2304695260775961371607040}, {"parameter": "[5, 4, 3, 3, 2],[0, 1, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1757784956920500672528384}, {"parameter": "[5, 4, 3, 3, 2],[0, 1, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1757784956920500672528384}, {"parameter": "[5, 4, 3, 3, 2],[0, 1, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1757759358989908425310208}, {"parameter": "[5, 4, 3, 3, 2],[0, 1, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1757759358989908425310208}, {"parameter": "[5, 4, 3, 3, 2],[0, 2, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1757373788407620907827200}, {"parameter": "[5, 4, 3, 3, 2],[0, 2, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1757373788407620907827200}, {"parameter": "[5, 4, 3, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1757348190477028660609024}, {"parameter": "[5, 4, 3, 3, 2],[0, 2, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1757348190477028660609024}, {"parameter": "[5, 4, 3, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1757374990868721415749632}, {"parameter": "[5, 4, 3, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1757374990868721415749632}, {"parameter": "[5, 4, 3, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1757349392938129168531456}, {"parameter": "[5, 4, 3, 3, 2],[0, 3, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1757349392938129168531456}, {"parameter": "[5, 5, 2, 3, 2],[0, 0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1288233102725005552123904}, {"parameter": "[5, 5, 2, 3, 2],[0, 1, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1281680434048230867599360}, {"parameter": "[5, 5, 2, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1281680057638121679880192}, {"parameter": "[5, 5, 2, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1281681191788763777335296}, {"parameter": "[6, 2, 3, 2, 4],[0, 3, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 214113162537346537619456}, {"parameter": "[6, 2, 3, 2, 4],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 214113162537346537619456}, {"parameter": "[6, 2, 3, 3, 3],[0, 3, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 107803333055154061574144}, {"parameter": "[6, 2, 3, 3, 3],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 107803333055154061574144}, {"parameter": "[6, 2, 3, 3, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 107803333055154061574144}, {"parameter": "[6, 2, 3, 3, 3],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 107803333055154061574144}, {"parameter": "[6, 2, 3, 4, 2],[0, 3, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 107803333055154061574144}, {"parameter": "[6, 2, 3, 4, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 107699514862300357984256}, {"parameter": "[6, 2, 3, 4, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 107809929519020621430784}, {"parameter": "[6, 2, 4, 2, 3],[0, 3, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 10077970394552201117696}, {"parameter": "[6, 2, 4, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 10077970394552201117696}, {"parameter": "[6, 2, 4, 3, 2],[0, 3, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 9974558137936439672832}, {"parameter": "[6, 2, 4, 3, 2],[0, 3, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 9974152201698497527808}, {"parameter": "[6, 2, 4, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 9974558137936439672832}, {"parameter": "[6, 2, 4, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 9974152201698497527808}, {"parameter": "[6, 3, 2, 3, 3],[0, 2, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 214112105317334012395520}, {"parameter": "[6, 3, 2, 3, 3],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 214112105317334012395520}, {"parameter": "[6, 3, 2, 3, 3],[0, 3, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 214112010741741837615104}, {"parameter": "[6, 3, 2, 3, 3],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 214112010741741837615104}, {"parameter": "[6, 3, 2, 4, 2],[0, 2, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 107802275835141536350208}, {"parameter": "[6, 3, 2, 4, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 107802275835141536350208}, {"parameter": "[6, 3, 2, 4, 2],[0, 3, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 107802181259549361569792}, {"parameter": "[6, 3, 2, 4, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 107802181259549361569792}, {"parameter": "[6, 3, 3, 2, 3],[0, 2, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 214112105317334012395520}, {"parameter": "[6, 3, 3, 2, 3],[0, 2, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 214112105317334012395520}, {"parameter": "[6, 3, 3, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 214112010741741837615104}, {"parameter": "[6, 3, 3, 2, 3],[0, 3, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 214112010741741837615104}, {"parameter": "[6, 3, 3, 3, 2],[0, 2, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 107802275835141536350208}, {"parameter": "[6, 3, 3, 3, 2],[0, 2, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 107802275835141536350208}, {"parameter": "[6, 3, 3, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 107802275835141536350208}, {"parameter": "[6, 3, 3, 3, 2],[0, 2, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 107802275835141536350208}, {"parameter": "[6, 3, 3, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 107802181259549361569792}, {"parameter": "[6, 3, 3, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 107802181259549361569792}, {"parameter": "[6, 3, 3, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 107802181259549361569792}, {"parameter": "[6, 3, 3, 3, 2],[0, 3, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 107802181259549361569792}, {"parameter": "[6, 4, 2, 3, 2],[0, 1, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 18667804763628781961216}, {"parameter": "[6, 4, 2, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 18661284388096698220544}, {"parameter": "[6, 4, 2, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 18661285492006372507648}, {"parameter": "[7, 2, 3, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 6262028556719871754240}, {"parameter": "[7, 2, 3, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4594826304673621737472}, {"parameter": "[7, 2, 3, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4594826304673621737472}, {"parameter": "[7, 3, 2, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6262027805753429983232}, {"parameter": "[7, 3, 2, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6262027431919476539392}, {"parameter": "[5, 2, 3, 2, 3, 2],[0, 3, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 27394025468683169562624}, {"parameter": "", "name": "JohnsonLB", "value": 79642024117439346392958938391}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 1215923079469034680173572}], "request": [4, 17, 4, 5], "liftedmrdsizebound": 79702787955638376104611704293, "comments": "", "equal_bound_constraints": []}