{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 8420938568600494548364485694992800253522721858112233429779216106152115820169}, {"parameter": "", "name": "singleton", "value": 122540725761559997805240746641257692029742922745214204200122046089}, {"parameter": "6", "name": "ilp_2", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "8", "name": "ilp_3", "value": 3513489573818030098472922941319498008141342469938284393950635593754077}, {"parameter": "", "name": "anticode", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "", "name": "linear_programming_bound", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "", "name": "sphere_packing", "value": 8420938568600494548364485694992800253522721858112233429779216106152115820169}, {"parameter": "1", "name": "ilp_1", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "2", "name": "ilp_1", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "3", "name": "ilp_1", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "4", "name": "ilp_1", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "5", "name": "ilp_1", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "9", "name": "ilp_4", "value": 3513477846281256431627230375914350660242151424023563066927950357214897}, {"parameter": "10", "name": "ilp_4", "value": 3513477846275751683272161328530272966367817406215366784142801902181346}, {"parameter": "11", "name": "ilp_4", "value": 3513477846275751678027560912900398487684901617574897115023976216499656}, {"parameter": "12", "name": "ilp_4", "value": 3513477846275751678027559820125770957560514167600751062386864452731420}, {"parameter": "13", "name": "ilp_4", "value": 3513477846275751678027559820125760321743068129396436969981649163071828}, {"parameter": "14", "name": "ilp_4", "value": 3513477846275751678027560890566196580820872657546320900839663847564690}, {"parameter": "15", "name": "ilp_4", "value": 439186173821897749780065965513621453064751900911373223843992120519180}, {"parameter": "16", "name": "ilp_4", "value": 54898268506674595306920247655829741187405295853020169568888734504655}, {"parameter": "17", "name": "ilp_4", "value": 6862283915638195554980728242072548020716244474461055184122590339648}, {"parameter": "18", "name": "ilp_4", "value": 857785488668381875591010704423524986046608619543435113457135161927}, {"parameter": "", "name": "johnson_1", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "", "name": "johnson_2", "value": 857785488668381875591010704423524986046608619543435113457135161927}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 8420938568600494548364485694992800253522721858112233429779216106152115820169}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 3513489573818030098472922941319498008141342469938284393950635593754077}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 3513477846281256431627230375914350660242151424023563066927950357214897}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 3513477846275751683272161328530272966367817406215366784142801902181346}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 3513477846275751678027560912900398487684901617574897115023976216499656}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 3513477846275751678027559820125770957560514167600751062386864452731420}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 3513477846275751678027559820125760321743068129396436969981649163071828}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 3513477846275751678027560890566196580820872657546320900839663847564690}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 439186173821897749780065965513621453064751900911373223843992120519180}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 54898268506674595306920247655829741187405295853020169568888734504655}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 6862283915638195554980728242072548020716244474461055184122590339648}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 857785488668381875591010704423524986046608619543435113457135161927}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 107223186170924681978514186519992776188550526682304709283372940370}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 107223186181846764532985815575709775751629830970938304846897126481}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 107223186269223425048862939321525160661023676805222731469250064494}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 107223186968236714302541810615006643317915207552552914047630073891}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 107223192560343356438352704290662704832523116518991836417611699137}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 107223237297217492343148373502226493085094175259240346283441563233}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 107223595193554509069913043800151794210239171732270618087786501662}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 107226458450264749948390131076397431441308379209120513200483305079}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 107249370010191197653358938068420681169148608343292372570897686468}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 107433015577530365834305306212936847113290908486051197272661348059}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 108925135734321936137330571395116534044756553268874680935020448688}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 122540725761559997805240746641257692029742922745214204200122046089}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 8420938568600494548364485694992800253522721858112233429779216106152115820169}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 3513489573818030098472922941319498008141342469938284393950635593754077}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 3513491039760814751374497787917080932969137602259749157680913438324710}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 3513502767347130150040820878415428410408566033922384488208179843090081}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 3513596590856182415098711797370180047997584230682104857391355058162687}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 3514347359358425617687882116771201689365207984743744815322006748039423}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 3520365077438904627431854648009002340840227175921387509476077754705317}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 3569259036842718742207714188456603150247685701115308860130324848598073}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 4015416416396119033147299622148303750458461840668912175671578360534665}, {"parameter": "", "name": "improved_johnson", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 439186196369357745234922218003467700578739682482801492986169674018167}], "known_codes": [], "upper_bound": 107223186169559421659361686191203195377693657432543346050601132609, "classified": false, "lower_bound": 105338454839596844486744190127909498074561619935428942997712801930, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 105312291668557186697918027683670432318895095400549111254310977536}, {"parameter": "", "name": "sphere_covering", "value": 357896166368789264029914539124721793194602432908327995925716}, {"parameter": "", "name": "graham_sloane", "value": 409023995091874635940228064878877984564869415324170471940673}, {"parameter": "", "name": "multicomponent", "value": 105312291670089682238806217287227350534006147615004718669360005121}, {"parameter": "", "name": "construction_ST_B", "value": 105338015236043828033693010347597699674861874860667671950170888540}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 105312291668584986949367496344365823429947929067749345974017851392}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 105338008955927361721322820431991052266405009601624054245600788480}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 105338015236043828033693005488124256917769293480199665085752680960}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 105338454839596844486744190127909498074561619935428942997712801930}, {"parameter": "", "name": "two_pivot_block_construction", "value": 105338008955899935614292508482442721298669351302876851444624916480}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 1645970071250364083979171048170329592881327502684259725229962902}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 105338015236067410645641833582747817345721344700034406281261861226}, {"parameter": "(12,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 105312757182486344739742229549304180594247174548760225245414031360}, {"parameter": "(12,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 105312757182486344739742229549283735925366693664972886416117727232}, {"parameter": "(12,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 105312757182486344739742229549283411408050975277531483534996275200}, {"parameter": "(12,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 105312757182486344739742229549283411406813035239399024764703997952}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 402645449905474359473404569418369753835349934966965775892480}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 402645449905474359473404569418369753835349934966965775892480}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 402645449905474359473404569093930428339437472521403299266560}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 402645449905474359473404569093851200181645574666679400529920}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 3264880855683763269855152297887292228894754342332301142130688}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 3264880855683763269855152298211731554390666804777863618756608}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 3264880855683763269855152297892283603133152995600694411001856}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 3264880855683763269855152297887213020075053191828774393479168}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 25767588447469535412198985130373565347027633926368389375197184}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 25767588447469535412198985130378635930085733730140309392719872}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 25767588447469535412198985130698083881343247539317478600474624}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 25767588447469535412198985130373644555847335076871916123848704}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 205740200761006483195785244238913267654783055583784967954497536}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 205740200761006483195785244238913346882940847481639691853234176}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 205740200761006483195785244239237786208436759944085254329860096}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 205740200761006483195785244239237786208436759944085254329860096}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1645962877924882170564532827040143958499442059287898270099046400}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1645962877924882170564532827040143959737382097420357040391323648}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1645962877924882170564532827040468477053100484861759921512775680}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1645962877924882170564532827060913145933581368649098750809079808}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 105312757182486344739742229549283411406813035238246103260097150976}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 402645449905474359473404569093851200176923208183809755316224}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 3264880855683763269855152297887213000732240077994707598180352}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 25767588447469535412198985130373565327684820812534322579898368}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 205740200761006483195785244238913267654778333217302098309283840}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 1645962877924882170564532827040143958499442058134976765492199424}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 105312757182486344739742229549283411406813035238246103260097150976}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 402645449905474359473404569093851200176923208183809755316224}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 3264880855683763269855152297887213000732240077994707598180352}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 25767588447469535412198985130373565327684820812534322579898368}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 205740200761006483195785244238913267654778333217302098309283840}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 1645962877924882170564532827040143958499442058134976765492199424}, {"parameter": "7", "name": "linkage_GLT", "value": 105312291668557186697918027683670432318914443601195423398215797098}, {"parameter": "8", "name": "linkage_GLT", "value": 401734511064747568885490523085290650630559974155374249415249}, {"parameter": "9", "name": "linkage_GLT", "value": 3264879072613538198178948332092914644984421244295385859489865}, {"parameter": "10", "name": "linkage_GLT", "value": 25767588443939371503422607301816467026567606390655236261839361}, {"parameter": "11", "name": "linkage_GLT", "value": 205740200760999696028213157700487731250063016849638618017300481}, {"parameter": "12", "name": "linkage_GLT", "value": 1645962877897081919115064166344752847446608390934742045785325569}, {"parameter": "7", "name": "improved_linkage", "value": 105312291670090062963030990904770662927134096179493305843937419776}, {"parameter": "8", "name": "improved_linkage", "value": 401734511070595228426763783894390440689789177295204982069661}, {"parameter": "9", "name": "improved_linkage", "value": 3264879072613538220485999357780365227373899413617992289633507}, {"parameter": "10", "name": "improved_linkage", "value": 25767588443939371503422692396468001977275815631620084636581888}, {"parameter": "11", "name": "improved_linkage", "value": 205740200760999696028213157700528307522530953480017632311845693}, {"parameter": "12", "name": "improved_linkage", "value": 1645962877897081919115064166344752847465956591581054189690145130}, {"parameter": "13", "name": "improved_linkage", "value": 1645969156768129556552321002982748303564558993908707732253872721}, {"parameter": "14", "name": "improved_linkage", "value": 1645969941627384759861168693718085866814669032014006354595283017}, {"parameter": "15", "name": "improved_linkage", "value": 205746230655018276942322246334625292069592243801211984353985025}, {"parameter": "16", "name": "improved_linkage", "value": 25718278643620881791346787845012433484855804738385236845395969}, {"parameter": "17", "name": "improved_linkage", "value": 3214674525134181045056790820529636961564375572024272596500481}, {"parameter": "7,0", "name": "generalized_linkage", "value": 105312757182486344739742229549283411406813035238246103260097150976}, {"parameter": "7,1", "name": "generalized_linkage", "value": 105312298956059948485408833959671679706733483025745858312060796928}, {"parameter": "7,2", "name": "generalized_linkage", "value": 105312291782424525083327766362022852017776012150916178513699536896}, {"parameter": "7,3", "name": "generalized_linkage", "value": 105312291668779163749904971325095204439623164473178558766330900840}, {"parameter": "7,4", "name": "generalized_linkage", "value": 105312291668557613577064540631709496603569419805855125248757812677}, {"parameter": "7,5", "name": "generalized_linkage", "value": 105312291670090062963030990904770662927134096179493305843937419776}, {"parameter": "8,0", "name": "generalized_linkage", "value": 402645449905474359473404569093851200176923208183809755316224}, {"parameter": "8,1", "name": "generalized_linkage", "value": 401748772213689296196630043970807668606750335554871092576256}, {"parameter": "8,2", "name": "generalized_linkage", "value": 401734538918662000851692979998938781595219955474034402531840}, {"parameter": "8,3", "name": "generalized_linkage", "value": 401734511119045585216566046143385847778420740970036229832704}, {"parameter": "8,4", "name": "generalized_linkage", "value": 401734511064760618510340550243881348475279804748978890435259}, {"parameter": "8,5", "name": "generalized_linkage", "value": 401734511070595228426763783894390440689789177295204982069661}, {"parameter": "9,0", "name": "generalized_linkage", "value": 3264880855683763269855152297887213000732240077994707598180352}, {"parameter": "9,1", "name": "generalized_linkage", "value": 3264879076096025267254120046350253038160981301935800038719488}, {"parameter": "9,2", "name": "generalized_linkage", "value": 3264879072620340101340300119375799718819956850808338282976256}, {"parameter": "9,3", "name": "generalized_linkage", "value": 3264879072613539855620441289865840805406209416252121980330904}, {"parameter": "9,4", "name": "generalized_linkage", "value": 3264879072613538198577276395928018910111878200746230276947968}, {"parameter": "9,5", "name": "generalized_linkage", "value": 3264879072613538220485999357780365227373899413617992289633507}, {"parameter": "10,0", "name": "generalized_linkage", "value": 25767588447469535412198985130373565327684820812534322579898368}, {"parameter": "10,1", "name": "generalized_linkage", "value": 25767588443940223401024228580624695935922558408874915792683008}, {"parameter": "10,2", "name": "generalized_linkage", "value": 25767588443939371711001334608873102420552656267620103015940608}, {"parameter": "10,3", "name": "generalized_linkage", "value": 25767588443939371503473189728648234969887660658832638444599216}, {"parameter": "10,4", "name": "generalized_linkage", "value": 25767588443939371503422608821357294678326477454361552683390565}, {"parameter": "10,5", "name": "generalized_linkage", "value": 25767588443939371503422692396468001977275815631620084636581888}, {"parameter": "11,0", "name": "generalized_linkage", "value": 205740200761006483195785244238913267654778333217302098309283840}, {"parameter": "11,1", "name": "generalized_linkage", "value": 205740200760999696239033450811582414892894939364252351322652672}, {"parameter": "11,2", "name": "generalized_linkage", "value": 205740200760999696028219504856394862284550162484470089285349888}, {"parameter": "11,3", "name": "generalized_linkage", "value": 205740200760999696028213157893439618775051795470958632646234360}, {"parameter": "11,4", "name": "generalized_linkage", "value": 205740200760999696028213157700493527835539247443767494624338746}, {"parameter": "11,5", "name": "generalized_linkage", "value": 205740200760999696028213157700528307522530953480017632311845693}, {"parameter": "12,0", "name": "generalized_linkage", "value": 1645962877924882170564532827040143958499442058134976765492199424}, {"parameter": "12,1", "name": "generalized_linkage", "value": 1645962877897081919115114832120884824419874368186363463260176384}, {"parameter": "12,2", "name": "generalized_linkage", "value": 1645962877897081919115064166541094639051078890456168234040828416}, {"parameter": "12,3", "name": "generalized_linkage", "value": 1645962877897081919115064166344753584932531642905885118343644472}, {"parameter": "12,4", "name": "generalized_linkage", "value": 1645962877897081919115064166344752847449372348973716074236734233}, {"parameter": "12,5", "name": "generalized_linkage", "value": 1645962877897081919115064166344752847465956591581054189690145130}, {"parameter": "13,1", "name": "generalized_linkage", "value": 1645969156768129556578261881905497471463157532616462872436539392}, {"parameter": "13,2", "name": "generalized_linkage", "value": 1645969156768129556552321002982754201837543888739822469891105280}, {"parameter": "13,3", "name": "generalized_linkage", "value": 1645969156768129556552321002982748303567410640637666517584264056}, {"parameter": "13,4", "name": "generalized_linkage", "value": 1645969156768129556552321002982748303564558986003521572489246417}, {"parameter": "13,5", "name": "generalized_linkage", "value": 1645969156768129556552321002982748303564558993908707732253872721}, {"parameter": "14,2", "name": "generalized_linkage", "value": 1645969941627384759861168693718463356288509314544885970775712256}, {"parameter": "14,3", "name": "generalized_linkage", "value": 1645969941627384759861168693718085866814669042722270010657622904}, {"parameter": "14,4", "name": "generalized_linkage", "value": 1645969941627384759861168693718085866814669032014002585133229129}, {"parameter": "14,5", "name": "generalized_linkage", "value": 1645969941627384759861168693718085866814669032014006354595283017}, {"parameter": "15,3", "name": "generalized_linkage", "value": 205746230655018276942322246334625292069592329467356503375760248}, {"parameter": "15,4", "name": "generalized_linkage", "value": 205746230655018276942322246334625292069592243801211984352154185}, {"parameter": "15,5", "name": "generalized_linkage", "value": 205746230655018276942322246334625292069592243801211984353985025}, {"parameter": "16,4", "name": "generalized_linkage", "value": 25718278643620881791346787845012433484855804738385236845695561}, {"parameter": "16,5", "name": "generalized_linkage", "value": 25718278643620881791346787845012433484855804738385236845395969}, {"parameter": "17,5", "name": "generalized_linkage", "value": 3214674525134181045056790820529636961564375572024272596500481}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 105312757182486344739742229549283411406813035238246103260097150976}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 105312298956059948485408833959671679706733483025745858312060796928}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 105312291782424525083327766362022852017776012150916178513699536896}, {"parameter": "[7, 12],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 105312291668779163749904971325095204439623164473178558766330900840}, {"parameter": "[7, 12],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 105312291668557613577064540631709496603569419805855125248757812677}, {"parameter": "[7, 12],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 105312291670090062963030990904770662927134096179493305843937419776}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 402645449905474359473404569093851200176923208183809755316224}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 401748772213689296196630043970807668606750335554871092576256}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 401734538918662000851692979998938781595219955474034402531840}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 401734511119045585216566046143385847778420740970036229832704}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 401734511064760618510340550243881348475279804748978890435259}, {"parameter": "[8, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 401734511070595228426763783894390440689789177295204982069661}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3264880855683763269855152297887213000732240077994707598180352}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3264879076096025267254120046350253038160981301935800038719488}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3264879072620340101340300119375799718819956850808338282976256}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3264879072613539855620441289865840805406209416252121980330904}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3264879072613538198577276395928018910111878200746230276947968}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3264879072613538220485999357780365227373899413617992289633507}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 25767588447469535412198985130373565327684820812534322579898368}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 25767588443940223401024228580624695935922558408874915792683008}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 25767588443939371711001334608873102420552656267620103015940608}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 25767588443939371503473189728648234969887660658832638444599216}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 25767588443939371503422608821357294678326477454361552683390565}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 25767588443939371503422692396468001977275815631620084636581888}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205740200761006483195785244238913267654778333217302098309283840}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205740200760999696239033450811582414892894939364252351322652672}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 205740200760999696028219504856394862284550162484470089285349888}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 205740200760999696028213157893439618775051795470958632646234360}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 205740200760999696028213157700493527835539247443767494624338746}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 205740200760999696028213157700528307522530953480017632311845693}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1645962877924882170564532827040143958499442058134976765492199424}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1645962877897081919115114832120884824419874368186363463260176384}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645962877897081919115064166541094639051078890456168234040828416}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645962877897081919115064166344753584932531642905885118343644472}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645962877897081919115064166344752847449372348973716074236734233}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645962877897081919115064166344752847465956591581054189690145130}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1645969156768129556578261881905497471463157532616462872436539392}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645969156768129556552321002982754201837543888739822469891105280}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645969156768129556552321002982748303567410640637666517584264056}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645969156768129556552321002982748303564558986003521572489246417}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645969156768129556552321002982748303564558993908707732253872721}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645969941627384759861168693718463356288509314544885970775712256}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645969941627384759861168693718085866814669042722270010657622904}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645969941627384759861168693718085866814669032014002585133229129}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645969941627384759861168693718085866814669032014006354595283017}, {"parameter": "[15, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 205746230655018276942322246334625292069592329467356503375760248}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 205746230655018276942322246334625292069592243801211984352154185}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 205746230655018276942322246334625292069592243801211984353985025}, {"parameter": "[16, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 25718278643620881791346787845012433484855804738385236845695561}, {"parameter": "[16, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 25718278643620881791346787845012433484855804738385236845395969}, {"parameter": "[17, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3214674525134181045056790820529636961564375572024272596500481}, {"parameter": "[7, 2, 10],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 3213877843414392938223244004754640629107335617741069492420608}, {"parameter": "[7, 2, 10],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 3213877842982294589872922484360180033429411450780103137558528}, {"parameter": "[7, 2, 10],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 3679391550171563241174648156008440273293427303296713640378368}, {"parameter": "[7, 3, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 25711008934004799879009986432465544088368349029972730705870848}, {"parameter": "[7, 3, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 25711008930971474408022478591299365885262148553700579305586688}, {"parameter": "[7, 3, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 25711008930539376059672157070904905289584224386739612950724608}, {"parameter": "[7, 3, 9],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 26176522637728644710973882742553165529448240239256223453544448}, {"parameter": "[7, 3, 9],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 25711008933583887407458686392022882856546059520311822133493760}, {"parameter": "[7, 3, 9],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 25711008930550561936471178550856704653439859044039670733209600}, {"parameter": "[7, 3, 9],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 25711008930118463588120857030462244057761934877078704378347520}, {"parameter": "[7, 3, 9],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 26176522637307732239422582702110504297625950729595314881167360}, {"parameter": "[7, 4, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 205688070108977588117552992757622085343814758799525888523239424}, {"parameter": "[7, 4, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 205688070112499255079198194393331601153894857952635808911458304}, {"parameter": "[7, 4, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 205688070109465929608210686552165422950788657476363657511174144}, {"parameter": "[7, 4, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 205688070109033831259860365031770962355110733309402691156312064}, {"parameter": "[7, 4, 8],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 206153583816223099911162090703419222594974749161919301659131904}, {"parameter": "[7, 4, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 205688069887063286927918314979586253121729264442126465505427456}, {"parameter": "[7, 4, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 205688069890584953889563516615295768931809363595236385893646336}, {"parameter": "[7, 4, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 205688069887551628418576008774129590728703163118964234493362176}, {"parameter": "[7, 4, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 205688069887119530070225687253735130133025238952003268138500096}, {"parameter": "[7, 4, 8],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 206153583594308798721527412925383390372889254804519878641319936}, {"parameter": "[7, 4, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 205688069887110795543459456677902055154508583605544345944457216}, {"parameter": "[7, 4, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 205688069890632462505104658313611570964588682758654266332676096}, {"parameter": "[7, 4, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 205688069887599137034117150472445392761482482282382114932391936}, {"parameter": "[7, 4, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 205688069887167038685766828952050932165804558115421148577529856}, {"parameter": "[7, 4, 8],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 206153583594356307337068554623699192405668573967937759080349696}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1645970055462528102720358838984549892992665815614243112713453568}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1645504671378261915067052840689527104969048214841067983347908608}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645504671381783582028698042325236620779128313994177903736127488}, {"parameter": "[7, 5, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645504671378750256557710534484070442576022113517905752335843328}, {"parameter": "[7, 5, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645504671378318158209360212963675981980344189350944785980981248}, {"parameter": "[7, 5, 7],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645970185085507426860661938635324242220208205203461396483801088}, {"parameter": "[7, 5, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1645969941627385606374752109854841463351331381188742275282239488}, {"parameter": "[7, 5, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1645504557543119418721446111559818675327713780415567145916694528}, {"parameter": "[7, 5, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645504557546641085683091313195528191137793879568677066304913408}, {"parameter": "[7, 5, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645504557543607760212103805354362012934687679092404914904629248}, {"parameter": "[7, 5, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645504557543175661863753483833967552339009754925443948549767168}, {"parameter": "[7, 5, 7],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645970071250364930515055209505615812578873770777960559052587008}, {"parameter": "[7, 5, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 1645969941627384773069183252987736650626066193124341075536773120}, {"parameter": "[7, 5, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1645504557543118585415877254692713862602448592351165946171228160}, {"parameter": "[7, 5, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645504557546640252377522456328423378412528691504275866559447040}, {"parameter": "[7, 5, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645504557543606926906534948487257200209422491028003715159162880}, {"parameter": "[7, 5, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645504557543174828558184626966862739613744566861042748804300800}, {"parameter": "[7, 5, 7],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645970071250364097209486352638510999853608582713559359307120640}, {"parameter": "[7, 5, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 1645969941627759727601543599570418079615985514958477934662254592}, {"parameter": "[7, 5, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1645504557543493539948237601275395291592367914185302805296709632}, {"parameter": "[7, 5, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645504557547015206909882802911104807402448013338412725684928512}, {"parameter": "[7, 5, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645504557543981881438895295069938629199341812862140574284644352}, {"parameter": "[7, 5, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645504557543549783090544973549544168603663888695179607929782272}, {"parameter": "[7, 5, 7],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645970071250739051741846699221192428843527904547696218432602112}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1645512881281952777331816815621572176373705180059748630655926272}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645511842767022927427705399215269400540847161416317376745439232}, {"parameter": "[7, 6, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645511842766968874061688850761637303903724652239968555868618752}, {"parameter": "[7, 6, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645511842766961981342039977821571903054469585315300871369654272}, {"parameter": "[7, 6, 6],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645511842988929800073944094940449634568035412756073481672589312}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1645505595836252073411997308172942409486665647216280632343658496}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321322223507885891766639633653807628572849378433171456}, {"parameter": "[7, 6, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321268170141869343313007537016685119396500557556350976}, {"parameter": "[7, 6, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321261277422220470372942136167430052471832873057386496}, {"parameter": "[7, 6, 6],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645504557543229096154124587491819867680995879912605483360321536}, {"parameter": "[7, 6, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1645505595836198652555826854145350399872213868753699358281564160}, {"parameter": "[7, 6, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321268802651715437739047624039355850110268104371077120}, {"parameter": "[7, 6, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321214749285698889285415527402233340933919283494256640}, {"parameter": "[7, 6, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321207856566050016345350126552978274009251598995292160}, {"parameter": "[7, 6, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645504557543175675297954133464227858066544101450024209298227200}, {"parameter": "[7, 6, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1645505595836197805638037096338815101591183826479484719213838336}, {"parameter": "[7, 6, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321267955733925679932512325758325807836053465303351296}, {"parameter": "[7, 6, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321213902367909131478880229121203298659704644426530816}, {"parameter": "[7, 6, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321207009648260258538814828271948231735036959927566336}, {"parameter": "[7, 6, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645504557543174828380164375657692559785514059175809570230501376}, {"parameter": "[7, 6, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1645505595836572031830809698783489387440998655948421460649836544}, {"parameter": "[7, 6, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321642181926698282377186611608140637304990206739349504}, {"parameter": "[7, 6, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321588128560681733923554514971018128128641385862529024}, {"parameter": "[7, 6, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321581235841032860983489114121763061203973701363564544}, {"parameter": "[7, 6, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645504557543549054572936978102366845635328888644746311666499584}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645969941659579802367115734864226421765131062224490091054628864}, {"parameter": "[7, 7, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645969941627384760078286620046763674774372098995460341669822464}, {"parameter": "[7, 7, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645969941627384759842609768061227712931559748843220662195585024}, {"parameter": "[7, 7, 5],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645969941627384865887867506610938921024745535341765005917814784}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645504557356875055933266915722649106250689342277443525686591488}, {"parameter": "[7, 7, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645504557324680013644437800905186359259930379048413776301785088}, {"parameter": "[7, 7, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645504557324680013408760948919650397417118028896174096827547648}, {"parameter": "[7, 7, 5],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645504557324680119454018687469361605510303815394718440549777408}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645504557353456226925420434823961107865428837753780415382945792}, {"parameter": "[7, 7, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321261184636591320006498360874669874524750665998139392}, {"parameter": "[7, 7, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321261184400914468020962399031857524372510986523901952}, {"parameter": "[7, 7, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321261290446172206570673607125043310871055330246131712}, {"parameter": "[7, 7, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645504557353401933081990961242273310266294080253826801384554496}, {"parameter": "[7, 7, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321206890793161846424810563275535117024797051999748096}, {"parameter": "[7, 7, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321206890557484994439274601432722766872557372525510656}, {"parameter": "[7, 7, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321206996602742732988985809525908553371101716247740416}, {"parameter": "[7, 7, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645504557353401097710152970650516341088290638002293174366633984}, {"parameter": "[7, 7, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321206055421323855833053594097531674773263424981827584}, {"parameter": "[7, 7, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321206055185647003847517632254719324621023745507590144}, {"parameter": "[7, 7, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321206161230904742397228840347905111119568089229819904}, {"parameter": "[7, 7, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645504557353775333312407548205942837972846730669440075391041536}, {"parameter": "[7, 7, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321580291023578433388480090982087767440410326006235136}, {"parameter": "[7, 7, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321580290787901581402944129139275417288170646531997696}, {"parameter": "[7, 7, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321580396833159319952655337232461203786714990254227456}, {"parameter": "[7, 8, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 205688069887063300652276262171714953558734717008902371051307008}, {"parameter": "[7, 8, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 205688069887063285299963929561836522703642043507815284933132288}, {"parameter": "[7, 8, 4],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 205688069887063285300015173288791482546586576225123021826818048}, {"parameter": "[7, 8, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 205688069668679872466546269522705144462532915429996469497626624}, {"parameter": "[7, 8, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 205688069668679857114233936912826713607440241928909383379451904}, {"parameter": "[7, 8, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 205688069668679857114285180639781673450384774646217120273137664}, {"parameter": "[7, 8, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 205688069665205170898515092312524108084902465239710194355666944}, {"parameter": "[7, 8, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 205688069665205155546202759702645677229809791738623108237492224}, {"parameter": "[7, 8, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 205688069665205155546254003429600637072754324455930845131177984}, {"parameter": "[7, 8, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 205688069665151617372119930984532517352545061255486461431513088}, {"parameter": "[7, 8, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 205688069665151602019807598374654086497452387754399375313338368}, {"parameter": "[7, 8, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 205688069665151602019858842101609046340396920471707112207024128}, {"parameter": "[7, 8, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 205688069665150783648946149244050780451381922294957097202221056}, {"parameter": "[7, 8, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 205688069665150768296633816634172349596289248793870011084046336}, {"parameter": "[7, 8, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 205688069665150768296685060361127309439233781511177747977732096}, {"parameter": "[7, 8, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 205688069665525020678524061543875280104832473886030880835633152}, {"parameter": "[7, 8, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 205688069665525005326211728933996849249739800384943794717458432}, {"parameter": "[7, 8, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 205688069665525005326262972660951809092684333102251531611144192}, {"parameter": "[7, 9, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 25711008933578041400909475404295944145469240384778359145496576}, {"parameter": "[7, 9, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 25711008933578041400909362804409872833307536632624684231294976}, {"parameter": "[7, 9, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 25711008711625460492019137763574896912517711247221352759820288}, {"parameter": "[7, 9, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 25711008711625460492019025163688825600356007495067677845618688}, {"parameter": "[7, 9, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 25711008708198138992258253078653687880390642338151769000902656}, {"parameter": "[7, 9, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 25711008708198138992258140478767616568228938585998094086701056}, {"parameter": "[7, 9, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 25711008708144691180340376875622007859734516912760236953042944}, {"parameter": "[7, 9, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 25711008708144691180340264275735936547572813160606562038841344}, {"parameter": "[7, 9, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 25711008708143857435983856070025670594175271024673117628792832}, {"parameter": "[7, 9, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 25711008708143857435983743470139599282013567272519442714591232}, {"parameter": "[7, 9, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 25711008708518094643968406701960743825672732507548895544344576}, {"parameter": "[7, 9, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 25711008708518094643968294102074672513511028755395220630142976}, {"parameter": "[7, 10, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3213876310918852072334385670467418194890494243393433136791552}, {"parameter": "[7, 10, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 3213876091992832269935526091984059048956144517387630686502912}, {"parameter": "[7, 10, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3213876088572276496118069299038851199546048298511839271059456}, {"parameter": "[7, 10, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3213876088518827325982983334731700511071996906972832876986368}, {"parameter": "[7, 10, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3213876088517993578402486083963306358242625932294750870700032}, {"parameter": "[7, 10, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3213876088564761827756546697105889180058508718346281754296320}, {"parameter": "[8, 2, 9],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 12260411323890842395118856131743069352289524749747355648}, {"parameter": "[8, 2, 9],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 12260405387992683087126113655774805648200638215575568384}, {"parameter": "[8, 2, 9],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 923198810899724248104524457592491350706541729712745480192}, {"parameter": "[8, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 98080148887889031808637178005182236790932861178880196608}, {"parameter": "[8, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 98080155779420005080715031375219447959306128449297448960}, {"parameter": "[8, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 98080149843521845772722288899251184255217241915125661696}, {"parameter": "[8, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1009018555355253410790120632835967729313558333412295573504}, {"parameter": "[8, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 98080148874865396612695294090525377319706218059387633664}, {"parameter": "[8, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 98080155766396369884773147460562588488079485329804886016}, {"parameter": "[8, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 98080149830498210576780404984594324783990598795633098752}, {"parameter": "[8, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1009018555342229775594178748921310869842331690292803010560}, {"parameter": "[8, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1695345795398914455632991353215778346409090089036235669504}, {"parameter": "[8, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 784638205465425323140874424800483112628569500492413009920}, {"parameter": "[8, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 784638212356956296412952278170520323796942767762830262272}, {"parameter": "[8, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 784638206421058137104959535694552060092853881228658475008}, {"parameter": "[8, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1695576611932789702122357879631268605151194972725828386816}, {"parameter": "[8, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 1695345741116250486670449322233267871161685621876059013120}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 784638151182761354178332393817972637381165033332236353536}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 784638158074292327450410247188009848549538300602653605888}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 784638152138394168142417504712041584845449414068481818624}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1695576557650125733159815848648758129903790505565651730432}, {"parameter": "[8, 4, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 1695345741116431674100104778969400506531907956041467297792}, {"parameter": "[8, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 784638151182942541607987850554105272751387367497644638208}, {"parameter": "[8, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 784638158074473514880065703924142483919760634768061890560}, {"parameter": "[8, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 784638152138575355572072961448174220215671748233890103296}, {"parameter": "[8, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1695576557650306920589471305384890765274012839731060015104}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1695373587168497873989457506073930230001261555918227636224}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 784665997235008741497340577658634996220740967374404976640}, {"parameter": "[8, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 784666004126539714769418431028672207389114234644822228992}, {"parameter": "[8, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 784665998190641555461425688552703943685025348110650441728}, {"parameter": "[8, 5, 6],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1695604403702373120478824032489420488743366439607820353536}, {"parameter": "[8, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1695345741116276320895403545730123066862138068788096008192}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 784638151182787188403286617314827833081617480244273348608}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 784638158074318161675364470684865044249990747514690600960}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 784638152138420002367371728208896780545901860980518813696}, {"parameter": "[8, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1695576557650151567384770072145613325604242952477688725504}, {"parameter": "[8, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1695345741116250487460221404835651425915570131834440253440}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 784638151182761354968104476420356192135049543290617593856}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 784638158074292328240182329790393403303422810561034846208}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 784638152138394168932189587314425139599333924026863058944}, {"parameter": "[8, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1695576557650125733949587931251141684657675015524032970752}, {"parameter": "[8, 5, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1695345741116429235466525201295704229401665692573267656704}, {"parameter": "[8, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 784638151182940102974408272880408995621145104029444997120}, {"parameter": "[8, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 784638158074471076246486126250446206789518371299862249472}, {"parameter": "[8, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 784638152138572916938493383774477943085429484765690462208}, {"parameter": "[8, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1695576557650304481955891727711194488143770576262860374016}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 799148928732889144495370686736781395429890031535620358144}, {"parameter": "[8, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 798894894844085732598493610991295686794074778288921772032}, {"parameter": "[8, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 798894894830862768984269165780414540529564103191916707840}, {"parameter": "[8, 6, 5],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 798895330044028577362064671970493623095120335700020428800}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 784891750840532717930270999194167658612580160566093414400}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637716951729306033393923448681949976764907319394828288}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716938506342419169478237800803712254232222389764096}, {"parameter": "[8, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 784638152151672150796964984427879886277810464730493485056}, {"parameter": "[8, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 784891750827280980269717280445979571261468545166948171776}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637716938477568372840204700493862625653291920249585664}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716925254604758615759489612716361142616823244521472}, {"parameter": "[8, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784638152138420413136411265679691798926698849331348242432}, {"parameter": "[8, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 784891750827254735385239405079761568244127313078725378048}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637716938451323488362329334275859608312059832026791936}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716925228359874137884123394713343801384735021727744}, {"parameter": "[8, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 784638152138394168251933390313473795909357617243125448704}, {"parameter": "[8, 6, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 784891750827433136687533501053517617538722301457368875008}, {"parameter": "[8, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637716938629724790656425308031908902907048210670288896}, {"parameter": "[8, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716925406761176431980097150762638396373113665224704}, {"parameter": "[8, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 784638152138572569554227486287229845203952605621768945664}, {"parameter": "[8, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1695345742098802009234826039635679893786749272640817463296}, {"parameter": "[8, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1695345741116250444112111973854580640964227553266067570688}, {"parameter": "[8, 7, 4],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1695345741116460794072914510983101358392989553213988405248}, {"parameter": "[8, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637724704238864329263429297399249622542684156315303936}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637723721687299206549363516299996800020964781565411328}, {"parameter": "[8, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637723721897649167351900644820714228782964729486245888}, {"parameter": "[8, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637717919375417526159122412248947374307652008113340416}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716936823852403445056631149694551785932633363447808}, {"parameter": "[8, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637716937034202364247593759670411980547932581284282368}, {"parameter": "[8, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637717905912608761798726893167471665346124597296103424}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716923361043639084661112068218842824405222546210816}, {"parameter": "[8, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637716923571393599887198240588936271586405170467045376}, {"parameter": "[8, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637717905886717589055855478606706614061801472029360128}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716923335152466341789697507453791540082097279467520}, {"parameter": "[8, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637716923545502427144326826028171220302082045200302080}, {"parameter": "[8, 7, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637717906065123462951208419080324335197440867066445824}, {"parameter": "[8, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716923513558340237142637981071512675721492316553216}, {"parameter": "[8, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637716923723908301039679766501788941437721440237387776}, {"parameter": "[8, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 98080148874843153629906435768882266571718322401635729408}, {"parameter": "[8, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 98080148874843095966235925300377856003092176112759865344}, {"parameter": "[8, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 98079721521656389948242107133880464449711437965537837056}, {"parameter": "[8, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 98079721521656332284571596665376053881085291676661972992}, {"parameter": "[8, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 98079714628724196802828594275853040157221161363570688000}, {"parameter": "[8, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 98079714628724139139158083807348629588595015074694823936}, {"parameter": "[8, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 98079714615442835248823215487125442355294865774392377344}, {"parameter": "[8, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 98079714615442777585152705018621031786668719485516513280}, {"parameter": "[8, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 98079714615416994477501396001288407793645473801913237504}, {"parameter": "[8, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 98079714615416936813830885532783997225019327513037373440}, {"parameter": "[8, 8, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 98079714615595401030905096028062398557187174376539160576}, {"parameter": "[8, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 98079714615595343367234585559557987988561028087663296512}, {"parameter": "[8, 9, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 12260405477884293170246345149997752888816052540895395840}, {"parameter": "[8, 9, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 12259971140239785134211416843304744963535632936697069568}, {"parameter": "[8, 9, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 12259964340208508668558275926599799513640176586036609024}, {"parameter": "[8, 9, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 12259964326953002166295959170821580300801258170286604288}, {"parameter": "[8, 9, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 12259964326927160745953348876967047347801232330629054464}, {"parameter": "[8, 9, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 12259964327105567384261762997818913978522222648228839424}, {"parameter": "[9, 2, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 99636203015550719767438470159800436366542261674947117056}, {"parameter": "[9, 2, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 99636203029013983002413225175244821633893088370263851008}, {"parameter": "[9, 2, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 101419272392255176844762113376481250974375066821529174016}, {"parameter": "[9, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 798868772347615873220647433617641924468748951977197568000}, {"parameter": "[9, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 797089618185657216506864347949783540723284963454108041216}, {"parameter": "[9, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 797089618199120479741839102965227925990635790149424775168}, {"parameter": "[9, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 798872687562361673584187991166464355331117768600690098176}, {"parameter": "[9, 3, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 798868772347615475090278136119639672320458256808390164480}, {"parameter": "[9, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 797089618185656818376495050451781288574994268285300637696}, {"parameter": "[9, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 797089618199120081611469805467225673842345094980617371648}, {"parameter": "[9, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 798872687562361275453818693668462103182827073431882694656}, {"parameter": "[9, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 798868772349272448660479677898073019435048704177822760960}, {"parameter": "[9, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 797089618187313791946696592230214635689584715654733234176}, {"parameter": "[9, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 797089618200777055181671347245659020956935542350049968128}, {"parameter": "[9, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 798872687564018249024020235446895450297417520801315291136}, {"parameter": "[9, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 798868772347615475005397428308114443393123599116987793408}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 797089618185656818291614342640256059647659610593898266624}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 797089618199120081526589097655700444915010437289215000576}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 798872687562361275368937985856936874255492415740480323584}, {"parameter": "[9, 4, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 798868772347615475091628173867677934807217033748489961472}, {"parameter": "[9, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 797089618185656818377845088199819551061753045225400434688}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 797089618199120081612819843215263936329103871920717168640}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 798872687562361275455168731416500365669585850371982491648}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 798868779147624637278506724252418712405620488903359201280}, {"parameter": "[9, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 797089624985665980564723638584560328660156500380269674496}, {"parameter": "[9, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 797089624999129243799698393600004713927507327075586408448}, {"parameter": "[9, 5, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 798872694362370437642047281801241143267989305526851731456}, {"parameter": "[9, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 798868772347615475795314153386813689051566557138033573888}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 797089618185656819081531067718955305306102568614944047104}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 797089618199120082316505822734399690573453395310260781056}, {"parameter": "[9, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 798872687562361276158854710935636119913935373761526104064}, {"parameter": "[9, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 798868772347615475005400441693266576908815603242037673984}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 797089618185656818291617356025408193163351614718948147200}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 797089618199120081526592111040852578430702441414264881152}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 798872687562361275368940999242089007771184419865530204160}, {"parameter": "[9, 5, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 798868772347615475090465342761693402595781176813816905728}, {"parameter": "[9, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 797089618185656818376682257093835018850317188290727378944}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 797089618199120081611657012109279404117668014986044112896}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 798872687562361275454005900310515833458149993437309435904}, {"parameter": "[9, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 797093160872733073617946319951624495527922675501565476864}, {"parameter": "[9, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 797093098941958844547193654895374352351582700686209449984}, {"parameter": "[9, 6, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 797093099803785686111685631669602561804742690216075067392}, {"parameter": "[9, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 797089679268070711529704595631674288073838356950247538688}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 797089617337296482458951930575424144897498382134891511808}, {"parameter": "[9, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 797089618199123324023443907349652354350658371664757129216}, {"parameter": "[9, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 797089679268067469835305200655533503979870054866741100544}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 797089617337293240764552535599283360803530080051385073664}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 797089618199120082329044512373511570256690069581250691072}, {"parameter": "[9, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 797089679268067469032850203796938808115604928813902856192}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 797089617337293239962097538740688664939264953998546829312}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 797089618199120081526589515514916874392424943528412446720}, {"parameter": "[9, 6, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 797089679268067469117752054665146301273113338465008746496}, {"parameter": "[9, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 797089617337293240046999389608896158096773363649652719616}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 797089618199120081611491366383124367549933353179518337024}, {"parameter": "[9, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 798868772347645005915220860008410718547836461575812677632}, {"parameter": "[9, 7, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 798868772347615879538221425425281846346302575589151735808}, {"parameter": "[9, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 797089617338979288549529255006322475964380220596229767168}, {"parameter": "[9, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 797089617338950162172529820423193603762846334609568825344}, {"parameter": "[9, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 797089617337322424029028038337661792812553571647296110592}, {"parameter": "[9, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 797089617337293297652028603754532920611019685660635168768}, {"parameter": "[9, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 797089617337319130866640943626766548103194106771475005440}, {"parameter": "[9, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 797089617337290004489641509043637675901660220784814063616}, {"parameter": "[9, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 797089617337319130074985555303162484418993623215462416384}, {"parameter": "[9, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 797089617337290003697986120720033612217459737228801474560}, {"parameter": "[9, 7, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 797089617337319130159889909607530683976109628174591066112}, {"parameter": "[9, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 797089617337290003782890475024401811774575742187930124288}, {"parameter": "[9, 8, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 99636203015528823555253820572535690539957583952144760832}, {"parameter": "[9, 8, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 99636202168848108983265884008742461722206163229227352064}, {"parameter": "[9, 8, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 99636202167164854061106713926670304218721878426941128704}, {"parameter": "[9, 8, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 99636202167161605218918528913253100317818396593428103168}, {"parameter": "[9, 8, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 99636202167161604428801606297729332432164730770546491392}, {"parameter": "[9, 8, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 99636202167161604513706280449538997601567271203345793024}, {"parameter": "[10, 2, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 786367868447489665034627318522910493479516882405655838720}, {"parameter": "[10, 2, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 786364393432423969802935199433852407040120732351767511040}, {"parameter": "[10, 2, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 786367923594675729081997272052915219975028909565332684800}, {"parameter": "[10, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 786367868447489664951075838707170180425086031774533812224}, {"parameter": "[10, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 786364393432423969719383719618112093985689881720645484544}, {"parameter": "[10, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 786367923594675728998445792237174906920598058934210658304}, {"parameter": "[10, 3, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 786367868447489664949556767357495084917014078442216357888}, {"parameter": "[10, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 786364393432423969717864648268436998477617928388328030208}, {"parameter": "[10, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 786367923594675728996926720887499811412526105601893203968}, {"parameter": "[10, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 786367868447489715517898813815735061103867458154754211840}, {"parameter": "[10, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 786364393432424020286206694726676974664471308100865884160}, {"parameter": "[10, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 786367923594675779565268767345739787599379485314431057920}, {"parameter": "[10, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 786367868447489664949556727517044885913645197964859146240}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 786364393432423969717864608427986799474249047910970818560}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 786367923594675728996926681047049612409157225124535992320}, {"parameter": "[10, 4, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 786367868447489664949556768001243248158525655456556253184}, {"parameter": "[10, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 786364393432423969717864648912185161719129505402667925504}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 786367923594675728996926721531247974654037682616233099264}, {"parameter": "[10, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 786367868447697191079916325327781819834402595346583650304}, {"parameter": "[10, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 786364393432631495848224206238723733395006445292695322624}, {"parameter": "[10, 5, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 786367923594883255127286278857786546329914622506260496384}, {"parameter": "[10, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 786367868447489664949580839657211697172381178371346792448}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 786364393432423969717888720568153610732985028317458464768}, {"parameter": "[10, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 786367923594675728996950793187216423667893205531023638528}, {"parameter": "[10, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 786367868447489664949556727528540344976808653473858977792}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 786364393432423969717864608439482258537412503419970650112}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 786367923594675728996926681058545071472320680633535823872}, {"parameter": "[10, 5, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 786367868447489664949556767446762168110664455392919027712}, {"parameter": "[10, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 786364393432423969717864648357704081671268305339030700032}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 786367923594675728996926720976766894606176482552595873792}, {"parameter": "[10, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 786364394295707135672351718302912426465026349392384229376}, {"parameter": "[10, 6, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 786364394282450998882219842469005992228916734410344103936}, {"parameter": "[10, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 786364393445680106606952653791086454140560865364059095040}, {"parameter": "[10, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 786364393432423969816820777957180019904451250382018969600}, {"parameter": "[10, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 786364393445680106508020979063996145266418518350767325184}, {"parameter": "[10, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 786364393432423969717889103230089711030308903368727199744}, {"parameter": "[10, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 786364393445680106507996484263487282686550666603961253888}, {"parameter": "[10, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 786364393432423969717864608429580848450441051621921128448}, {"parameter": "[10, 6, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 786364393445680106507996524112624478579117227851158388736}, {"parameter": "[10, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 786364393432423969717864648278718044343007612869118263296}, {"parameter": "[10, 7, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 786367868449146682048323211271914181893186932420468801536}, {"parameter": "[10, 7, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 786364393432424375042337590279623138134440699840279085056}, {"parameter": "[10, 7, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 786364393432423969818391174524624251192583406061745078272}, {"parameter": "[10, 7, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 786364393432423969717888773631007744412698725354425024512}, {"parameter": "[10, 7, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 786364393432423969717864608428170388878647478875498479616}, {"parameter": "[10, 7, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 786364393432423969717864648279735472989082294773979545600}, {"parameter": "[11, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819371635921383748183764860049293312}, {"parameter": "[11, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819371635921383748183764860049293312}, {"parameter": "[11, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819336866073585657732490369504903168}, {"parameter": "[11, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819336866073585657732490369504903168}, {"parameter": "[11, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819331071121519257956751032342020096}, {"parameter": "[11, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819331071121519257956751032342020096}, {"parameter": "[11, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656667012234067874139838155401879143579648}, {"parameter": "[11, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656667012234067874139838155401879143579648}, {"parameter": "[11, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819331071104939702541554398395367424}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819331071104939702541554398395367424}, {"parameter": "[11, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819331071121826221001509596135686144}, {"parameter": "[11, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819331071121826221001509596135686144}, {"parameter": "[11, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291663000038334286591573560287843440033529856}, {"parameter": "[11, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291663000038334286591573560287843440033529856}, {"parameter": "[11, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819331163085493234452536732013297664}, {"parameter": "[11, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819331163085493234452536732013297664}, {"parameter": "[11, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819331071104983554384181138089312256}, {"parameter": "[11, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819331071104983554384181138089312256}, {"parameter": "[11, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819331071121561823819022174527684608}, {"parameter": "[11, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819331071121561823819022174527684608}, {"parameter": "[11, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 784836588059499183587092589342069126474233828212241072128}, {"parameter": "[11, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666822350985253947746778644773987155968}, {"parameter": "[11, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819331164545233284804155382186377216}, {"parameter": "[11, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819331071104945783376122135164485632}, {"parameter": "[11, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 784836588059291656666819331071121524160341444840747171840}, {"parameter": "[12, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 784884061455731237037553227998790781257940292796369862656}, {"parameter": "[12, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 784884061455731237037553227998774201702525096162423209984}, {"parameter": "[12, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 784884061455731237037553227998771438454049830766429339648}, {"parameter": "[12, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 784884061455731237037553228734638011140136131156171030528}, {"parameter": "[12, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 784884061455731237037553227998771438446144082677975744512}, {"parameter": "[12, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 784884061455731237037553227998771438454196202152365391872}, {"parameter": "[12, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 784884061455731237037746502596445666414920969081954762752}, {"parameter": "[12, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784884061455731237037553227998771789333351799434336272384}, {"parameter": "[12, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 784884061455731237037553227998771438446164992865995849728}, {"parameter": "[12, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 784884061455731237037553227998771438454070127751231176704}, {"parameter": "[7, 2, 5, 5],[0, 5, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 466169166182315468743724250124733632654676689834791401422848}, {"parameter": "[7, 2, 5, 5],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 466168944269891254291146036433835203361986595077342644666368}, {"parameter": "[7, 2, 5, 5],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 466168944269892933552812165165389096220401283234974094327808}, {"parameter": "[7, 2, 5, 5],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 466169166670656959401418044668071239628575366672560389357568}, {"parameter": "[7, 2, 6, 4],[0, 5, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 784860011322359445879527009509162798980373792978724978688}, {"parameter": "[7, 2, 6, 4],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 784860003597785299071896139657331759819421645018746585088}, {"parameter": "[7, 2, 6, 4],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 784860003705280246813870142601072602800510059844728782848}, {"parameter": "[7, 2, 6, 4],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 784860011322359445879527009509162798980373792978724978688}, {"parameter": "[7, 2, 6, 4],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 784860003597785299071896139657331759819421645018746585088}, {"parameter": "[7, 2, 6, 4],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 784860003705280246813870142601072602800510059844728782848}, {"parameter": "[7, 2, 7, 3],[0, 5, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 784860003597788528324221257256546000465392019769758056448}, {"parameter": "[7, 2, 7, 3],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 784860003597784895415355499957429979738675348174870151168}, {"parameter": "[7, 2, 7, 3],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 784638091173574075746007566358116707775297262321001299968}, {"parameter": "[7, 2, 7, 3],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 784638091173570442837141809059000687048580590726113394688}, {"parameter": "[7, 2, 7, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 784863525264750173525856966772356080564545129690146275328}, {"parameter": "[7, 2, 7, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 784863525264746540616991209473240059837828458095258370048}, {"parameter": "[7, 2, 8, 2],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 98079761489285472170348663270259644339989061058969993216}, {"parameter": "[7, 2, 8, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 98079761490964733836477394824152502754677218690419654656}, {"parameter": "[7, 2, 8, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 98302162254990582442356897506295910928760656276714684416}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 466169165808184073222209044948504972338779463445992162983936}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 466168943895759858769630831257606543046089368688543406227456}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 466169169329851034867410680658020782418878616555912551202816}, {"parameter": "[7, 3, 4, 5],[0, 5, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 466169165808171227992974691309575447765054417989764718264320}, {"parameter": "[7, 3, 4, 5],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 466168943895747013540396477618677018472364323232315961507840}, {"parameter": "[7, 3, 4, 5],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 466169169329838189638176327019091257845153571099685106483200}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 785081541996419916210749925716948721178690270862797438976}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 784859629572205463632536234818519428488595513414040682496}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 785085063663381561412385635232758801277843380783185657856}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 785081541996419916210749925716948721178690270862797438976}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 784859629572205463632536234818519428488595513414040682496}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 785085063663381561412385635232758801277843380783185657856}, {"parameter": "[7, 3, 5, 4],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 785081541983574686976396286787424147453644814635352719360}, {"parameter": "[7, 3, 5, 4],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 784859629559360234398182595888994854763550057186595962880}, {"parameter": "[7, 3, 5, 4],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 785085063650536332178031996303234227552797924555740938240}, {"parameter": "[7, 3, 5, 4],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 785081541983574686976396286787424147453644814635352719360}, {"parameter": "[7, 3, 5, 4],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 784859629559360234398182595888994854763550057186595962880}, {"parameter": "[7, 3, 5, 4],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 785085063650536332178031996303234227552797924555740938240}, {"parameter": "[7, 3, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 784859630418734585148164163236419325746514242565188878336}, {"parameter": "[7, 3, 6, 3],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859629572205463632536234818519428488595513414040682496}, {"parameter": "[7, 3, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637717994520132569950472337990033056419485116432121856}, {"parameter": "[7, 3, 6, 3],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637717147991011054322543920090135798500755965283926016}, {"parameter": "[7, 3, 6, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 784863152085696230349799872752229405845667352485577097216}, {"parameter": "[7, 3, 6, 3],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784863151239167108834171944334329508587748623334428901376}, {"parameter": "[7, 3, 6, 3],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 784859630405889355913810524306894752021468786337744158720}, {"parameter": "[7, 3, 6, 3],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859629559360234398182595888994854763550057186595962880}, {"parameter": "[7, 3, 6, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637717981674903335596833408465459331374028888987402240}, {"parameter": "[7, 3, 6, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637717135145781819968904990565562073455299737839206400}, {"parameter": "[7, 3, 6, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 784863152072851001115446233822704832120621896258132377600}, {"parameter": "[7, 3, 6, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784863151226321879599818305404804934862703167106984181760}, {"parameter": "[7, 3, 7, 2],[0, 4, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859629572205463632536234818519428488595513414040682496}, {"parameter": "[7, 3, 7, 2],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637717147991011054322543920090135798500755965283926016}, {"parameter": "[7, 3, 7, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637717149670272720451275473982994213188913596733587456}, {"parameter": "[7, 3, 7, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784860117913696121326330778156126402387272351183028617216}, {"parameter": "[7, 3, 7, 2],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859629559360234398182595888994854763550057186595962880}, {"parameter": "[7, 3, 7, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637717135145781819968904990565562073455299737839206400}, {"parameter": "[7, 3, 7, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637717136825043486097636544458420488143457369288867840}, {"parameter": "[7, 3, 7, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784860117900850892091977139226601828662226894955583897600}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 466169165809017585471174438350809993677375684191562588225536}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 466169165809017585471174438350809993677375684191562588225536}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 466169165808171049593223256260897442437514823388502440280064}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 466169165808171049593223256260897442437514823388502440280064}, {"parameter": "[7, 4, 3, 5],[0, 5, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 466169165808171230824209054683513698396196995473934179631104}, {"parameter": "[7, 4, 3, 5],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 466169165808171230824209054683513698396196995473934179631104}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 785081542829932165176143328021970059774911016433222680576}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 785081542829932165176143328021970059774911016433222680576}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 785081542829932165176143328021970059774911016433222680576}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 785081542829932165176143328021970059774911016433222680576}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 785081541983396287224961238109418819914050213373074735104}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 785081541983396287224961238109418819914050213373074735104}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 785081541983396287224961238109418819914050213373074735104}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 785081541983396287224961238109418819914050213373074735104}, {"parameter": "[7, 4, 4, 4],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 785081541983577518210759660725674778596222298804814086144}, {"parameter": "[7, 4, 4, 4],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 785081541983577518210759660725674778596222298804814086144}, {"parameter": "[7, 4, 4, 4],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 785081541983577518210759660725674778596222298804814086144}, {"parameter": "[7, 4, 4, 4],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 785081541983577518210759660725674778596222298804814086144}, {"parameter": "[7, 4, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 785081542829932165176143328021970059774911016433222680576}, {"parameter": "[7, 4, 5, 3],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 785081542829932165176143328021970059774911016433222680576}, {"parameter": "[7, 4, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 784859630405717712597929637123540767084816258984465924096}, {"parameter": "[7, 4, 5, 3],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859630405717712597929637123540767084816258984465924096}, {"parameter": "[7, 4, 5, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 785085064496893810377779037537780139874064126353610899456}, {"parameter": "[7, 4, 5, 3],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 785085064496893810377779037537780139874064126353610899456}, {"parameter": "[7, 4, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 785081541983396287224961238109418819914050213373074735104}, {"parameter": "[7, 4, 5, 3],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 785081541983396287224961238109418819914050213373074735104}, {"parameter": "[7, 4, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 784859629559181834646747547210989527223955455924317978624}, {"parameter": "[7, 4, 5, 3],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859629559181834646747547210989527223955455924317978624}, {"parameter": "[7, 4, 5, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 785085063650357932426596947625228900013203323293462953984}, {"parameter": "[7, 4, 5, 3],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 785085063650357932426596947625228900013203323293462953984}, {"parameter": "[7, 4, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 785081541983577518210759660725674778596222298804814086144}, {"parameter": "[7, 4, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 785081541983577518210759660725674778596222298804814086144}, {"parameter": "[7, 4, 5, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 784859629559363065632545969827245485906127541356057329664}, {"parameter": "[7, 4, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859629559363065632545969827245485906127541356057329664}, {"parameter": "[7, 4, 5, 3],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 785085063650539163412395370241484858695375408725202305024}, {"parameter": "[7, 4, 5, 3],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 785085063650539163412395370241484858695375408725202305024}, {"parameter": "[7, 4, 6, 2],[0, 3, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 785081542829932165176143328021970059774911016433222680576}, {"parameter": "[7, 4, 6, 2],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859630405717712597929637123540767084816258984465924096}, {"parameter": "[7, 4, 6, 2],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859630407396974264058368677433625499504416615915585536}, {"parameter": "[7, 4, 6, 2],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 785082031171422822869937871359577033673587854202210615296}, {"parameter": "[7, 4, 6, 2],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 785081541983396287224961238109418819914050213373074735104}, {"parameter": "[7, 4, 6, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859629559181834646747547210989527223955455924317978624}, {"parameter": "[7, 4, 6, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859629560861096312876278764882385638643613555767640064}, {"parameter": "[7, 4, 6, 2],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 785082030324886944918755781447025793812727051142062669824}, {"parameter": "[7, 4, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 785081541983577518210759660725674778596222298804814086144}, {"parameter": "[7, 4, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859629559363065632545969827245485906127541356057329664}, {"parameter": "[7, 4, 6, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 784859629561042327298674701381138344320815698987506991104}, {"parameter": "[7, 4, 6, 2],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 785082030325068175904554204063281752494899136573802020864}, {"parameter": "[7, 5, 2, 5],[0, 2, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 931553250128639529148276391225913359281101444528226764324864}, {"parameter": "[7, 5, 2, 5],[0, 3, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 931553250074358703296671163407839271933288155632416875085824}, {"parameter": "[7, 5, 2, 5],[0, 4, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 931553250074358702899320104039292259216648987280259091005440}, {"parameter": "[7, 5, 2, 5],[0, 5, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 931553250074358881691573770128628025736667526385595345534976}, {"parameter": "[7, 5, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 466169165862451875842278096203125335663500671353097398779904}, {"parameter": "[7, 5, 3, 4],[0, 2, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 466169165862451875842278096203125335663500671353097398779904}, {"parameter": "[7, 5, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 466169165808171049990672868385051248315687382457287509540864}, {"parameter": "[7, 5, 3, 4],[0, 3, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 466169165808171049990672868385051248315687382457287509540864}, {"parameter": "[7, 5, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 466169165808171049593321809016504235599048214105129725460480}, {"parameter": "[7, 5, 3, 4],[0, 4, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 466169165808171049593321809016504235599048214105129725460480}, {"parameter": "[7, 5, 3, 4],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 466169165808171228385575475105840002119066753210465979990016}, {"parameter": "[7, 5, 3, 4],[0, 5, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 466169165808171228385575475105840002119066753210465979990016}, {"parameter": "[7, 5, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 466169165862451875842278096203125335663500671353097398779904}, {"parameter": "[7, 5, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 466168943950027661389699882512226906370810576595648642023424}, {"parameter": "[7, 5, 4, 3],[0, 2, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 466169169384118837487479731912641145743599824463017786998784}, {"parameter": "[7, 5, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 466169165808171049990672868385051248315687382457287509540864}, {"parameter": "[7, 5, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 466168943895746835538094654694152819022997287699838752784384}, {"parameter": "[7, 5, 4, 3],[0, 3, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 466169169329838011635874504094567058395786535567207897759744}, {"parameter": "[7, 5, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 466169165808171049593321809016504235599048214105129725460480}, {"parameter": "[7, 5, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 466168943895746835140743595325605806306358119347680968704000}, {"parameter": "[7, 5, 4, 3],[0, 4, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 466169169329838011238523444726020045679147367215050113679360}, {"parameter": "[7, 5, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 466169165808171228385575475105840002119066753210465979990016}, {"parameter": "[7, 5, 4, 3],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 466168943895747013932997261414941572826376658453017223233536}, {"parameter": "[7, 5, 4, 3],[0, 5, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 466169169329838190030777110815355812199165906320386368208896}, {"parameter": "[7, 5, 5, 2],[0, 2, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 466169165862451875842278096203125335663500671353097398779904}, {"parameter": "[7, 5, 5, 2],[0, 2, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 466168943950027661389699882512226906370810576595648642023424}, {"parameter": "[7, 5, 5, 2],[0, 2, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 466168943950029340651366011243780799229225264753280091684864}, {"parameter": "[7, 5, 5, 2],[0, 2, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 466169166350793366499971890746462942637399348190866386714624}, {"parameter": "[7, 5, 5, 2],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 466169165808171049990672868385051248315687382457287509540864}, {"parameter": "[7, 5, 5, 2],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 466168943895746835538094654694152819022997287699838752784384}, {"parameter": "[7, 5, 5, 2],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 466168943895748514799760783425706711881411975857470202445824}, {"parameter": "[7, 5, 5, 2],[0, 3, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 466169166296512540648366662928388855289586059295056497475584}, {"parameter": "[7, 5, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 466169165808171049593321809016504235599048214105129725460480}, {"parameter": "[7, 5, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 466168943895746835140743595325605806306358119347680968704000}, {"parameter": "[7, 5, 5, 2],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 466168943895748514402409724057159699164772807505312418365440}, {"parameter": "[7, 5, 5, 2],[0, 4, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 466169166296512540251015603559841842572946890942898713395200}, {"parameter": "[7, 5, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 466169165808171228385575475105840002119066753210465979990016}, {"parameter": "[7, 5, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 466168943895747013932997261414941572826376658453017223233536}, {"parameter": "[7, 5, 5, 2],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 466168943895748693194663390146495465684791346610648672894976}, {"parameter": "[7, 5, 5, 2],[0, 5, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 466169166296512719043269269649177609092965430048234967924736}, {"parameter": "[8, 2, 5, 4],[0, 5, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 910708832596939113029977341003272802594823339110863732736}, {"parameter": "[8, 2, 5, 4],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 910708398337719975128131174336799215894749247904986169344}, {"parameter": "[8, 2, 5, 4],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 910708839488470086302055194373310013763196606381280985088}, {"parameter": "[8, 2, 6, 3],[0, 5, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 808405887410881745342427827719312310056739191914496}, {"parameter": "[8, 2, 6, 3],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 808404230842636014245921503982114228659361163509760}, {"parameter": "[8, 2, 6, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 808405887410881745342427827719312310056739191914496}, {"parameter": "[8, 2, 6, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 808404230842636014245921503982114228659361163509760}, {"parameter": "[8, 2, 7, 2],[0, 5, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 808404230842636014245921503982114228659361163509760}, {"parameter": "[8, 2, 7, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 374145011704734168079255030395414154568155285946368}, {"parameter": "[8, 2, 7, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 815295761815908092099291541193282601926631580762112}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 910708832596760756834685258205390798367178489114916814848}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 910708832596760756834685258205390798367178489114916814848}, {"parameter": "[8, 3, 4, 4],[0, 5, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 910708832596760707153459687748375132714485804076757942272}, {"parameter": "[8, 3, 4, 4],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 910708832596760707153459687748375132714485804076757942272}, {"parameter": "[8, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1242663271624342568329790095564586657900571094155264}, {"parameter": "[8, 3, 5, 3],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1242663271624342568329790095564586657900571094155264}, {"parameter": "[8, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1242663271624342568329790095564586657900571094155264}, {"parameter": "[8, 3, 5, 3],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1242663271624342568329790095564586657900571094155264}, {"parameter": "[8, 3, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1242663271574661342759333079898933965215532935282688}, {"parameter": "[8, 3, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1242663271574661342759333079898933965215532935282688}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1242663271574661342759333079898933965215532935282688}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1242663271574661342759333079898933965215532935282688}, {"parameter": "[8, 3, 6, 2],[0, 4, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1242663271624342568329790095564586657900571094155264}, {"parameter": "[8, 3, 6, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 808404052486440722163123621977886583809365216591872}, {"parameter": "[8, 3, 6, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1249554802597614646183160132775755031167841511407616}, {"parameter": "[8, 3, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1242663271574661342759333079898933965215532935282688}, {"parameter": "[8, 3, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 808404052436759496592666606312233891124327057719296}, {"parameter": "[8, 3, 6, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1249554802547933420612703117110102338482803352535040}, {"parameter": "[8, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1821416422530275723551756410117541227848151524570776469504}, {"parameter": "[8, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1821416422530249839560529754852672023083558759046643187712}, {"parameter": "[8, 4, 3, 4],[0, 5, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1821416422530249839646926653911708628981765169560680398848}, {"parameter": "[8, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 910708832596786591059639481702245994067630936026953809920}, {"parameter": "[8, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 910708832596786591059639481702245994067630936026953809920}, {"parameter": "[8, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 910708832596760707068412826437376789303038170502820528128}, {"parameter": "[8, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 910708832596760707068412826437376789303038170502820528128}, {"parameter": "[8, 4, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 910708832596760707154809725496413395201244581016857739264}, {"parameter": "[8, 4, 4, 3],[0, 5, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 910708832596760707154809725496413395201244581016857739264}, {"parameter": "[8, 4, 5, 2],[0, 3, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 910708832596786591059639481702245994067630936026953809920}, {"parameter": "[8, 4, 5, 2],[0, 3, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 910708398337567453157793315035772407367556844821076246528}, {"parameter": "[8, 4, 5, 2],[0, 3, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 910708839488317564331717335072283205236004203297371062272}, {"parameter": "[8, 4, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 910708832596760707068412826437376789303038170502820528128}, {"parameter": "[8, 4, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 910708398337541569166566659770903202602964079296942964736}, {"parameter": "[8, 4, 5, 2],[0, 4, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 910708839488291680340490679807414000471411437773237780480}, {"parameter": "[8, 4, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 910708832596760707154809725496413395201244581016857739264}, {"parameter": "[8, 4, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 910708398337541569252963558829939808501170489810980175872}, {"parameter": "[8, 4, 5, 2],[0, 5, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 910708839488291680426887578866450606369617848287274991616}, {"parameter": "[9, 2, 5, 3],[0, 5, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1779535940641059381666389892361960057843423709799383040}, {"parameter": "[9, 2, 5, 3],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1779535940641059381666389892361960057843423709799383040}, {"parameter": "[9, 2, 6, 2],[0, 5, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 381778682402667883304224503576312379435186709856256}, {"parameter": "[9, 2, 6, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 381778682402667883304224503576312379435186709856256}, {"parameter": "[9, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3558690102599716010568767748695114875972754541486538752}, {"parameter": "[9, 3, 4, 3],[0, 5, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3558690102599716010378924394804935240804608269449428992}, {"parameter": "[9, 3, 5, 2],[0, 4, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1779535940641059296785682080836731130508766018397011968}, {"parameter": "[9, 3, 5, 2],[0, 4, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1779535940641059296785682080836731130508766018397011968}, {"parameter": "[9, 3, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1779535940641059296595838726946551495340619746359902208}, {"parameter": "[9, 3, 5, 2],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1779535940641059296595838726946551495340619746359902208}, {"parameter": "[10, 2, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 7325001208100311968110537354840942377676097087078400}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 401848158999182157487410052666150380705333718522525936254976}], "request": [8, 19, 4, 7], "liftedmrdsizebound": 105342675120138671265196784912656724495344057824863910700556211849, "comments": "", "equal_bound_constraints": []}