{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1914691536031863570145542927089424788605909906044678555283740297}, {"parameter": "", "name": "singleton", "value": 98960045433700760966460213680597288585}, {"parameter": "3", "name": "ilp_2", "value": 85260487240309861917226616680727708287}, {"parameter": "4", "name": "ilp_2", "value": 380931645401671685325033029167550994124853130338888}, {"parameter": "6", "name": "ilp_3", "value": 51127975006859023475808243934135084744743782371883856852886}, {"parameter": "7", "name": "ilp_3", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "", "name": "anticode", "value": 85260487240309861917226616680727708287}, {"parameter": "", "name": "linear_programming_bound", "value": 85260487240309861917226616680727708287}, {"parameter": "", "name": "sphere_packing", "value": 81378262209303024190223660158096722308672989883}, {"parameter": "1", "name": "ilp_1", "value": 85260487239707684591858217503368106557}, {"parameter": "2", "name": "ilp_1", "value": 85260487239707684591858285709001626427}, {"parameter": "8", "name": "ilp_4", "value": 1534467003954643736431068580450425852453043746681945256}, {"parameter": "9", "name": "ilp_4", "value": 1534466982445148854524808412612955818976148293453112522}, {"parameter": "10", "name": "ilp_4", "value": 1534466982445148854524808412612955818976148293453112522}, {"parameter": "11", "name": "ilp_4", "value": 23998706531468551543860440248453882313824901162897406}, {"parameter": "12", "name": "ilp_4", "value": 374978361955904837573923787056216916947792756890498}, {"parameter": "13", "name": "ilp_4", "value": 5859045270657947331550961834182413518941004452056}, {"parameter": "14", "name": "ilp_4", "value": 91547751180454158509579177000779647341328840175}, {"parameter": "15", "name": "ilp_4", "value": 1430433601557850859152580023206922339592742032}, {"parameter": "16", "name": "ilp_4", "value": 22350525086666099642095181275403176764493236}, {"parameter": "17", "name": "ilp_4", "value": 349226955737012673230924204728648490061824}, {"parameter": "18", "name": "ilp_4", "value": 5456671183311573090666244551365495919167}, {"parameter": "", "name": "johnson_1", "value": 85260487239707684591858217503368106557}, {"parameter": "", "name": "johnson_2", "value": 5456671183311573090666244551365495919167}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 1914691536031863570145542927089424788605909906044678555283740297}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 51127975006859023475808243934135084744743782371883856852886}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1534467003954643736431068580450425852453043746681945256}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1534466982445148854524808412612955818976148293453112522}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1534466982445148854524808412612955818976148293453112522}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 23998706531468551543860440248453882313824901162897406}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 374978361955904837573923787056216916947792756890498}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 5859045270657947331550961834182413518941004452056}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 91547751180454158509579177000779647341328840175}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1430433601557850859152580023206922339592742032}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 22350525086666099642095181275403176764493236}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 349226955737012673230924204728648490061824}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 5456671183311573090666244551365495919167}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 380931645401671685325033029167550994124853130338888}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 81378262209303024190223660158096722308672989883}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 81378262209432519442356212478470221625319158408}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 81378262210468481459431467552224456420805642724}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 81378262218756177596983044831408012723979110250}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 10169838121168878067066058599217793798435953472}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1271497158609234837692399165746652078051688497}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 158936556289835668805321906363246805485697090}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 19867143101276632203603262424407354140355101}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 2483401029429079517507168849737433188746314}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 310433432343291984136480993809422354354408}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 38812468726837709801674331456125777413088}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 4859864279901596515058770228706656033677}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 615918468300481912387694454302047270567}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 86611185063343977539155728897573429361}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 85260487240309861917226616680727708287}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 85260487240328912380824405681682186463}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 85260487240481316089606993850293232241}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 85260487241700545759885373501595958833}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 85260487251454383123243566066668234407}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 85260487329485082102503049352152719066}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 85260487953730678569791287035679746684}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 85260492947695746833706594255022665005}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 85260532899435270593060745187152674063}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 85260852514566034765159171722239782231}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 85263409513347257536289999206762863505}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 85283870479856327051003569336489905611}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 85447877314426043333795019822949880950}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 86780678009194441488583449555115780042}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 98960045433700760966460213680597288585}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1914691536031863570145542927089424788605909906044678555283740297}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 380931645401671685325033029167550994124853130338888}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 85260487240309861917226616680727708287}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 85260487239707684591858285709001626427}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 85260487239707684591858217503368106557}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 51127975006859023475808243934135084744743782371883856852886}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 81378262209303024190223660158096722308672989883}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 81395650725832682114348713041313880929396409941}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 81535026840089022659702920529173810064956180024}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 82667457768421761421531176175898827947620272059}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 93000889989455685267212808820454049176604971521}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1535969127395758903231966593609781376534507566756836023}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1536338350743685873496050773915861596711130212985534600}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1539297906641912913856392367049521317120890912664089585}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 1563349436432881164208165618193552363942027676668748211}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 1783195450928011476668648470344552094424349050302879369}, {"parameter": "", "name": "improved_johnson", "value": 85260487239707684591858217503368106545}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 11443512538957621693697359620009118497285931009}], "known_codes": [], "upper_bound": 85260487239707684591858217503368106545, "classified": false, "lower_bound": 85070592444589487879521941038479746185, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 85070591730234615865843651857942052864}, {"parameter": "", "name": "sphere_covering", "value": 280217860222113342282572737088700}, {"parameter": "", "name": "graham_sloane", "value": 645323308613997689155900843526}, {"parameter": "", "name": "multicomponent", "value": 85070592364059920702324870660310958081}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 85070591730234615865843651857942052865}, {"parameter": "", "name": "two_pivot_block_construction", "value": 85070592364059915979958352606293655552}, {"parameter": "(5, 14)", "name": "CKMP2019_Lem_41", "value": 85070591730237033717503184302894031424}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 166153499473119206479498406841585728}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 324518553658435950155270325862400}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 20769821259439424646837132328998592}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1329228630848156026303923267903422608}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 85070592364408086616007365809682776577}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 85070592443470324061529595547924594689}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 85070592444589487139037838506408804353}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 85070592444589487804273546664559509505}, {"parameter": "(14, 5)", "name": "CKMP2019_Lem_41", "value": 85070592444589487879521941038479441921}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Lem_41", "value": 85070591730237033717482881117365207553}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Lem_41", "value": 85070591730234620588210134727587299329}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Lem_41", "value": 85070591730234615875067023894796828673}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Lem_41", "value": 85070591730234616456157476615157186561}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Lem_41", "value": 85070591730234653644793564397985333249}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Lem_41", "value": 166153499473119206479458752180289537}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 166153499473114493336347919389818881}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 166153499473114484130990281044525057}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Lem_41", "value": 166153499473114485265932571513978881}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Lem_41", "value": 324518553658435950155192875352065}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 324518553658426744797554530058241}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Lem_41", "value": 324518553658426726818340392665089}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Lem_41", "value": 20769821259439424646837132177965057}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Lem_41", "value": 20769821259439424628857918040571905}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Lem_41", "value": 1329228630848156026303923267903160321}, {"parameter": "(5, 14)", "name": "CKMP2019_Cor_42", "value": 85070591730237033717503184302894031424}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 166153499473119206479498406841585728}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 324518553658435950155270325862400}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 20769821259439424646837132328998592}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1329228630848156026303923267903422608}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 85070592364408086616007365809682776577}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 85070592443470324061529595547924594689}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 85070592444589487139037838506408804353}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 85070592444589487804273546664559509505}, {"parameter": "(14, 5)", "name": "CKMP2019_Cor_42", "value": 85070592444589487879521941038479441921}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Cor_42", "value": 85070591730237033717482881117365207553}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Cor_42", "value": 85070591730234620588210134727587299329}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Cor_42", "value": 85070591730234615875067023894796828673}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Cor_42", "value": 85070591730234616456157476615157186561}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Cor_42", "value": 85070591730234653644793564397985333249}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Cor_42", "value": 166153499473119206479458752180289537}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 166153499473114493336347919389818881}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 166153499473114484130990281044525057}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Cor_42", "value": 166153499473114485265932571513978881}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Cor_42", "value": 324518553658435950155192875352065}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 324518553658426744797554530058241}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Cor_42", "value": 324518553658426726818340392665089}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Cor_42", "value": 20769821259439424646837132177965057}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Cor_42", "value": 20769821259439424628857918040571905}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Cor_42", "value": 1329228630848156026303923267903160321}, {"parameter": "5", "name": "linkage_ST", "value": 85070592444589487879521941038479441921}, {"parameter": "6", "name": "linkage_ST", "value": 85070592444589487804273546664559509505}, {"parameter": "7", "name": "linkage_ST", "value": 85070592444589487139037838506408804353}, {"parameter": "8", "name": "linkage_ST", "value": 85070592443470324061529595547924594689}, {"parameter": "9", "name": "linkage_ST", "value": 85070592364408086616007365809682776577}, {"parameter": "10", "name": "linkage_ST", "value": 1329228630848156026303923267903422608}, {"parameter": "11", "name": "linkage_ST", "value": 20769821259439424646837132328998592}, {"parameter": "12", "name": "linkage_ST", "value": 324518553658435950155270325862400}, {"parameter": "13", "name": "linkage_ST", "value": 166153499473119206479498406841585728}, {"parameter": "14", "name": "linkage_ST", "value": 85070591730237033717503184302894031424}, {"parameter": "15", "name": "linkage_ST", "value": 1237940049680611815459176960}, {"parameter": "16", "name": "linkage_ST", "value": 633825305428134829264354976905}, {"parameter": "17", "name": "linkage_ST", "value": 324518556383474300914908747048073}, {"parameter": "18", "name": "linkage_ST", "value": 166153500868338843367721770829522057}, {"parameter": "5", "name": "construction_D", "value": 85070592444589487879521941038479441920}, {"parameter": "6", "name": "construction_D", "value": 85070592444589487804273546664559509504}, {"parameter": "7", "name": "construction_D", "value": 85070592444589487139037838506408804352}, {"parameter": "8", "name": "construction_D", "value": 85070592443470324061529595547924561920}, {"parameter": "9", "name": "construction_D", "value": 85070592364408086616007365808609034240}, {"parameter": "10", "name": "construction_D", "value": 1329228630848156026303888083531071488}, {"parameter": "11", "name": "construction_D", "value": 20769821259439424628822733668483072}, {"parameter": "12", "name": "construction_D", "value": 324518553658426726783156020576256}, {"parameter": "13", "name": "construction_D", "value": 166153499473114484112975882535043072}, {"parameter": "14", "name": "construction_D", "value": 85070591730234615865843651857942052864}, {"parameter": "15", "name": "construction_D", "value": 0}, {"parameter": "16", "name": "construction_D", "value": 0}, {"parameter": "17", "name": "construction_D", "value": 0}, {"parameter": "18", "name": "construction_D", "value": 0}, {"parameter": "19", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 85070591730237033717503184302894031424}, {"parameter": "6", "name": "linkage_GLT", "value": 166153499473119206479498406841585728}, {"parameter": "7", "name": "linkage_GLT", "value": 324518553658435950155270325862400}, {"parameter": "8", "name": "linkage_GLT", "value": 20769821259439424646837132328998592}, {"parameter": "9", "name": "linkage_GLT", "value": 1329228630848156026303923267903422608}, {"parameter": "10", "name": "linkage_GLT", "value": 85070592364408086616007365809682776577}, {"parameter": "11", "name": "linkage_GLT", "value": 85070592443470324061529595547924594689}, {"parameter": "12", "name": "linkage_GLT", "value": 85070592444589487139037838506408804353}, {"parameter": "13", "name": "linkage_GLT", "value": 85070592444589487804273546664559509505}, {"parameter": "14", "name": "linkage_GLT", "value": 85070592444589487879521941038479441921}, {"parameter": "5", "name": "improved_linkage", "value": 85070592364059921293978481122297029769}, {"parameter": "6", "name": "improved_linkage", "value": 166153500711054533793587697994220032}, {"parameter": "7", "name": "improved_linkage", "value": 324518556076278386315600972554816}, {"parameter": "8", "name": "improved_linkage", "value": 20769821259444146995345257975025728}, {"parameter": "9", "name": "improved_linkage", "value": 1329228630848156035527260197836357632}, {"parameter": "10", "name": "improved_linkage", "value": 85070592364408086616025380207269549760}, {"parameter": "11", "name": "improved_linkage", "value": 85070592443470324061529630732296913040}, {"parameter": "12", "name": "improved_linkage", "value": 85070592444589487139037838507482546689}, {"parameter": "13", "name": "improved_linkage", "value": 85070592444589487804273546664559542273}, {"parameter": "14", "name": "improved_linkage", "value": 85070592444589487879521941038479441921}, {"parameter": "15", "name": "improved_linkage", "value": 1329228006946710748167088066569175041}, {"parameter": "16", "name": "improved_linkage", "value": 20769187608269122085334383883223041}, {"parameter": "5,0", "name": "generalized_linkage", "value": 85070591731474973767183796118307054144}, {"parameter": "5,1", "name": "generalized_linkage", "value": 85070591731472555915524263673401229824}, {"parameter": "5,2", "name": "generalized_linkage", "value": 85070592364059921293978481122297029769}, {"parameter": "6,0", "name": "generalized_linkage", "value": 166153499492764251213199522059034688}, {"parameter": "6,1", "name": "generalized_linkage", "value": 166153499475532335772508327487021632}, {"parameter": "6,2", "name": "generalized_linkage", "value": 166153500711054533793587697994220032}, {"parameter": "7,0", "name": "generalized_linkage", "value": 324518553965389774119350248734720}, {"parameter": "7,1", "name": "generalized_linkage", "value": 324518553663149093305680327118912}, {"parameter": "7,2", "name": "generalized_linkage", "value": 324518556076278386315600972554816}, {"parameter": "8,0", "name": "generalized_linkage", "value": 20769821259444221953258022254036672}, {"parameter": "8,1", "name": "generalized_linkage", "value": 20769821259439433852194847973769216}, {"parameter": "8,2", "name": "generalized_linkage", "value": 20769821259444146995345257975025728}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1329228630848156037009261136944598288}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1329228630848156026321902482191587008}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1329228630848156035527260197836357632}, {"parameter": "10,0", "name": "generalized_linkage", "value": 85070592364408086616007692510821201545}, {"parameter": "10,1", "name": "generalized_linkage", "value": 85070592364408086616007400992981385360}, {"parameter": "10,2", "name": "generalized_linkage", "value": 85070592364408086616025380207269549760}, {"parameter": "11,0", "name": "generalized_linkage", "value": 85070592443470324061529595557895021705}, {"parameter": "11,1", "name": "generalized_linkage", "value": 85070592443470324061529595548998304257}, {"parameter": "11,2", "name": "generalized_linkage", "value": 85070592443470324061529630732296913040}, {"parameter": "12,0", "name": "generalized_linkage", "value": 85070592444589487139037838506409108617}, {"parameter": "12,1", "name": "generalized_linkage", "value": 85070592444589487139037838506408837121}, {"parameter": "12,2", "name": "generalized_linkage", "value": 85070592444589487139037838507482546689}, {"parameter": "13,0", "name": "generalized_linkage", "value": 85070592444589487804273546664559813769}, {"parameter": "13,1", "name": "generalized_linkage", "value": 85070592444589487804273546664559509505}, {"parameter": "13,2", "name": "generalized_linkage", "value": 85070592444589487804273546664559542273}, {"parameter": "14,0", "name": "generalized_linkage", "value": 85070592444589487879521941038479746185}, {"parameter": "14,1", "name": "generalized_linkage", "value": 85070592444589487879521941038479441921}, {"parameter": "14,2", "name": "generalized_linkage", "value": 85070592444589487879521941038479441921}, {"parameter": "15,1", "name": "generalized_linkage", "value": 1329228006946710748167088066569175041}, {"parameter": "15,2", "name": "generalized_linkage", "value": 1329228006946710748167088066569175041}, {"parameter": "16,2", "name": "generalized_linkage", "value": 20769187608269122085334383883223041}, {"parameter": "[5, 14],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070591731474973767183796118307054144}, {"parameter": "[5, 14],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070591731472555915524263673401229824}, {"parameter": "[5, 14],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070592364059921293978481122297029769}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499492764251213199522059034688}, {"parameter": "[6, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499475532335772508327487021632}, {"parameter": "[6, 13],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153500711054533793587697994220032}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553965389774119350248734720}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553663149093305680327118912}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518556076278386315600972554816}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769821259444221953258022254036672}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439433852194847973769216}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769821259444146995345257975025728}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329228630848156037009261136944598288}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329228630848156026321902482191587008}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329228630848156035527260197836357632}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070592364408086616007692510821201545}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070592364408086616007400992981385360}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070592364408086616025380207269549760}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070592443470324061529595557895021705}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070592443470324061529595548998304257}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070592443470324061529630732296913040}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070592444589487139037838506409108617}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070592444589487139037838506408837121}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070592444589487139037838507482546689}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070592444589487804273546664559813769}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070592444589487804273546664559509505}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070592444589487804273546664559542273}, {"parameter": "[14, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070592444589487879521941038479746185}, {"parameter": "[14, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070592444589487879521941038479441921}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070592444589487879521941038479441921}, {"parameter": "[15, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329228006946710748167088066569175041}, {"parameter": "[15, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329228006946710748167088066569175041}, {"parameter": "[16, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187608269122085334383883223041}, {"parameter": "[5, 3, 11],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769821259440099250038171314191552}, {"parameter": "[5, 3, 11],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769821259444156218717372280274944}, {"parameter": "[5, 3, 11],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769821261861998654877702924865600}, {"parameter": "[5, 4, 10],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855921448623422451368080}, {"parameter": "[5, 4, 10],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855921430573848023930560}, {"parameter": "[5, 4, 10],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022860643779081973791260672}, {"parameter": "[5, 4, 10],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855921448623422451368080}, {"parameter": "[5, 4, 10],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855921430573848023930560}, {"parameter": "[5, 4, 10],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022860643779081973791260672}, {"parameter": "[5, 5, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070591731474973756768543966887675393}, {"parameter": "[5, 5, 9],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070591731474973756786310974206714000}, {"parameter": "[5, 5, 9],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591731474973766009647904035051200}, {"parameter": "[5, 5, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070591730237033717483163691988551169}, {"parameter": "[5, 5, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070591730237033717500930699307589776}, {"parameter": "[5, 5, 9],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730237033726724267629135926976}, {"parameter": "[5, 5, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070591730237033717483163691988551169}, {"parameter": "[5, 5, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070591730237033717500930699307589776}, {"parameter": "[5, 5, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730237033726724267629135926976}, {"parameter": "[5, 6, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070591730237038439849364055885156929}, {"parameter": "[5, 6, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070591730237038439849364536766497793}, {"parameter": "[5, 6, 8],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730237038439867413568952803472}, {"parameter": "[5, 6, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234620588210134797535744577}, {"parameter": "[5, 6, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234620588210135278417085441}, {"parameter": "[5, 6, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234620588228184310603391120}, {"parameter": "[5, 6, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070591730389363093120807331898135105}, {"parameter": "[5, 6, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070591730389363093120807812779475969}, {"parameter": "[5, 6, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730389363093138856844965781648}, {"parameter": "[5, 7, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234620597433506764459115521}, {"parameter": "[5, 7, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234620597433506764458852865}, {"parameter": "[5, 7, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234620597433507315271861249}, {"parameter": "[5, 7, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234918106521927552107578369}, {"parameter": "[5, 7, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234918106521927552107315713}, {"parameter": "[5, 7, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234918106521928102920324097}, {"parameter": "[5, 7, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070591740138140911716548963652109313}, {"parameter": "[5, 7, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070591740138140911716548963651846657}, {"parameter": "[5, 7, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591740138140911716549514464855041}, {"parameter": "[5, 8, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234918696835752309442253377}, {"parameter": "[5, 8, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234918696835752309305639425}, {"parameter": "[5, 8, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730234918696835752309322449409}, {"parameter": "[5, 8, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070591730253958688198872360238223937}, {"parameter": "[5, 8, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070591730253958688198872360101609985}, {"parameter": "[5, 8, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730253958688198872360118419969}, {"parameter": "[5, 8, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070592364059920704918908861440889409}, {"parameter": "[5, 8, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070592364059920704918908861304275457}, {"parameter": "[5, 8, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070592364059920704918908861321085441}, {"parameter": "[5, 9, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070591730253996467148784900300977801}, {"parameter": "[5, 9, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070591730253996467148784900144890369}, {"parameter": "[5, 9, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591730253996467148784900144890369}, {"parameter": "[5, 9, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070591731472555914357470719432832649}, {"parameter": "[5, 9, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070591731472555914357470719276745217}, {"parameter": "[5, 9, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070591731472555914357470719276745217}, {"parameter": "[5, 9, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 85070592364059921293978481122452813449}, {"parameter": "[5, 9, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 85070592364059921293978481122296726017}, {"parameter": "[5, 9, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 85070592364059921293978481122296726017}, {"parameter": "[5, 10, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995804296465093980066745942529}, {"parameter": "[5, 10, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995804296465093980066745942529}, {"parameter": "[5, 10, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995804258686179812151505453569}, {"parameter": "[5, 10, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995804258686179812151505453569}, {"parameter": "[5, 10, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329228005688436270348701497380831745}, {"parameter": "[5, 10, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329228005688436270348701497380831745}, {"parameter": "[5, 11, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434442132267374872639832577}, {"parameter": "[5, 11, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434441541971563540933247489}, {"parameter": "[5, 11, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187588881816724198462106632705}, {"parameter": "[6, 3, 10],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40566057147353313586824171449616}, {"parameter": "[6, 3, 10],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40566057147417584140995806774976}, {"parameter": "[6, 3, 10],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40566057185721077595793697341440}, {"parameter": "[6, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2596148431685265455786509390386241}, {"parameter": "[6, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2596148431685265599896679867032720}, {"parameter": "[6, 4, 9],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2596148431685340411407332919101120}, {"parameter": "[6, 4, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2596148431685265455786509390386241}, {"parameter": "[6, 4, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2596148431685265599896679867032720}, {"parameter": "[6, 4, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2596148431685340411407332919101120}, {"parameter": "[6, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499492764251048196546217710145}, {"parameter": "[6, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499492764251048200944111096385}, {"parameter": "[6, 5, 8],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499492764251194598649622242448}, {"parameter": "[6, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119206479458822128734785}, {"parameter": "[6, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119206479463220022121025}, {"parameter": "[6, 5, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119206625860925533267088}, {"parameter": "[6, 5, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119206479458822128734785}, {"parameter": "[6, 5, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119206479463220022121025}, {"parameter": "[6, 5, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119206625860925533267088}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473152862564021235274494081}, {"parameter": "[6, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473152862564021235393531969}, {"parameter": "[6, 6, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473152862564025703099044417}, {"parameter": "[6, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473114493336347919407132801}, {"parameter": "[6, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473114493336347919526170689}, {"parameter": "[6, 6, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473114493336352387231683137}, {"parameter": "[6, 6, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473416724791251576700809345}, {"parameter": "[6, 6, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473416724791251576819847233}, {"parameter": "[6, 6, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473416724791256044525359681}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473114559070888080628060737}, {"parameter": "[6, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473114559070888080489582657}, {"parameter": "[6, 7, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473114559070888080625930305}, {"parameter": "[6, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473115074426800639888659009}, {"parameter": "[6, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473115074426800639750180929}, {"parameter": "[6, 7, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473115074426800639886528577}, {"parameter": "[6, 7, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499492457306468196384833081921}, {"parameter": "[6, 7, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499492457306468196384694603841}, {"parameter": "[6, 7, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499492457306468196384830951489}, {"parameter": "[6, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119281565758724995035265}, {"parameter": "[6, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119281565758723886944321}, {"parameter": "[6, 8, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473119281565758723886944321}, {"parameter": "[6, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153499473152263062888423686418561}, {"parameter": "[6, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153499473152263062888422578327617}, {"parameter": "[6, 8, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153499473152263062888422578327617}, {"parameter": "[6, 8, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 166153500711054532626794744977830017}, {"parameter": "[6, 8, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 166153500711054532626794743869739073}, {"parameter": "[6, 8, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 166153500711054532626794743869739073}, {"parameter": "[6, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2596148429272211122937919036198977}, {"parameter": "[6, 9, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2596148429272211122937919036198977}, {"parameter": "[6, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2596148429305192746409834921857089}, {"parameter": "[6, 9, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2596148429305192746409834921857089}, {"parameter": "[6, 9, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2596148448610227090270339389722689}, {"parameter": "[6, 9, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2596148448610227090270339389722689}, {"parameter": "[6, 10, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819212100647264325944741953}, {"parameter": "[6, 10, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207893636663202275135553}, {"parameter": "[6, 10, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819509534798289450118942785}, {"parameter": "[7, 3, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 79230580365906175522859754569}, {"parameter": "[7, 3, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 79230580367074537948110987408}, {"parameter": "[7, 3, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79230580965440768672510383808}, {"parameter": "[7, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 5070602405635284089415928185857}, {"parameter": "[7, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5070602405635284124591676752897}, {"parameter": "[7, 4, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602405636455059952675659920}, {"parameter": "[7, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5070602405635284089415928185857}, {"parameter": "[7, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5070602405635284124591676752897}, {"parameter": "[7, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602405636455059952675659920}, {"parameter": "[7, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553965389771541719831315457}, {"parameter": "[7, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553965389771541720904827393}, {"parameter": "[7, 5, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553965389771577455032960001}, {"parameter": "[7, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553658435950155192892425217}, {"parameter": "[7, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658435950155193965937153}, {"parameter": "[7, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658435950190928094069761}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553658435950155192892425217}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658435950155193965937153}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658435950190928094069761}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553659026263979950228968001}, {"parameter": "[7, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553659026263979950090519041}, {"parameter": "[7, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553659026263979951181070849}, {"parameter": "[7, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426744797554668540481}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426744797554530091521}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426744797555620643329}, {"parameter": "[7, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553659017040607913374192193}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553659017040607913235743233}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553659017040607914326295041}, {"parameter": "[7, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553658427897754244616619009}, {"parameter": "[7, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658427897754243509027329}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658427897754243509027329}, {"parameter": "[7, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553658427879739846107137025}, {"parameter": "[7, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658427879739844999545345}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658427879739844999545345}, {"parameter": "[7, 7, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553696205676695697171481601}, {"parameter": "[7, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553696205676695696063889921}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553696205676695696063889921}, {"parameter": "[7, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5070602400914088612809502917121}, {"parameter": "[7, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602400914088612809502917121}, {"parameter": "[7, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5070602400914070528042249257473}, {"parameter": "[7, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602400914070528042249257473}, {"parameter": "[7, 8, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5070602438691849750573570097665}, {"parameter": "[7, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602438691849750573570097665}, {"parameter": "[7, 9, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228162515435309240485478913}, {"parameter": "[7, 9, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228162515417259106745483777}, {"parameter": "[7, 9, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79228163104560152901316542977}, {"parameter": "[8, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5070757148140194762027858469513}, {"parameter": "[8, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5070757148140195047333773480513}, {"parameter": "[8, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070757148149564535669785437328}, {"parameter": "[8, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 324528457178750233197392204960321}, {"parameter": "[8, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 324528457178750233197400794894401}, {"parameter": "[8, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324528457178750233483335021400641}, {"parameter": "[8, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 324528457178750233197392204960321}, {"parameter": "[8, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324528457178750233197400794894401}, {"parameter": "[8, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324528457178750233483335021400641}, {"parameter": "[8, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769821259444221953217801404846657}, {"parameter": "[8, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769821259444221953217801268498497}, {"parameter": "[8, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769821259444221953217809994780737}, {"parameter": "[8, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439424646837132314579521}, {"parameter": "[8, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439424646837132178231361}, {"parameter": "[8, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439424646837140904513601}, {"parameter": "[8, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439424646837132314579521}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439424646837132178231361}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439424646837140904513601}, {"parameter": "[8, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439433998596943892983937}, {"parameter": "[8, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439433998596942785155137}, {"parameter": "[8, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439433998596942785155137}, {"parameter": "[8, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439424628857919148667009}, {"parameter": "[8, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439424628857918040838209}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439424628857918040838209}, {"parameter": "[8, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439425781779423755513985}, {"parameter": "[8, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439425781779422647685185}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439425781779422647685185}, {"parameter": "[8, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324528457178741010111298030276673}, {"parameter": "[8, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324528457178741010111298030276673}, {"parameter": "[8, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 324528457178741009860540659667009}, {"parameter": "[8, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324528457178741009860540659667009}, {"parameter": "[8, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324528457178742162747410650239041}, {"parameter": "[8, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324528457178742162747410650239041}, {"parameter": "[8, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070757143417828564472718200897}, {"parameter": "[8, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070757143417828313705564377153}, {"parameter": "[8, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070757143418981200034376978497}, {"parameter": "[9, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518708703172315731384553630481}, {"parameter": "[9, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518708703172315731394501878921}, {"parameter": "[9, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518708703172316058086743586441}, {"parameter": "[9, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769197357002437929012649970742921}, {"parameter": "[9, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769197357002437929012649814959241}, {"parameter": "[9, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769197357002437929012659785114761}, {"parameter": "[9, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769197357002437929012649970742921}, {"parameter": "[9, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769197357002437929012649814959241}, {"parameter": "[9, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769197357002437929012659785114761}, {"parameter": "[9, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329228630848156037009261057295627913}, {"parameter": "[9, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329228630848156037009261057139844233}, {"parameter": "[9, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329228630848156037009261057139844233}, {"parameter": "[9, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329228630848156026303923268059248265}, {"parameter": "[9, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329228630848156026303923267903464585}, {"parameter": "[9, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329228630848156026303923267903464585}, {"parameter": "[9, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329228630848156026303923268059248265}, {"parameter": "[9, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329228630848156026303923267903464585}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329228630848156026303923267903464585}, {"parameter": "[9, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769197357002437911324953361556617}, {"parameter": "[9, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769197357002437911324953361556617}, {"parameter": "[9, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769197357002437910998252379219081}, {"parameter": "[9, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769197357002437910998252379219081}, {"parameter": "[9, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769197357002437911033436751307913}, {"parameter": "[9, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769197357002437911033436751307913}, {"parameter": "[9, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518708703163092359357647103113}, {"parameter": "[9, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518708703163092359348750722185}, {"parameter": "[9, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518708703163092394532065846409}, {"parameter": "[10, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769187588966818039500571824810769}, {"parameter": "[10, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187588966818039500571802903689}, {"parameter": "[10, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187588966818039500581773059209}, {"parameter": "[10, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329228005693876353375150275287692937}, {"parameter": "[10, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329228005693876353375150275131909257}, {"parameter": "[10, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329228005693876353375150275131909257}, {"parameter": "[10, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329228005693876353375150275287692937}, {"parameter": "[10, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329228005693876353375150275131909257}, {"parameter": "[10, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329228005693876353375150275131909257}, {"parameter": "[10, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329228005693876353375441792815899785}, {"parameter": "[10, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329228005693876353375441792815899785}, {"parameter": "[10, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329228005693876353375115091833562249}, {"parameter": "[10, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329228005693876353375115091833562249}, {"parameter": "[10, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329228005693876353375115091833562249}, {"parameter": "[10, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329228005693876353375115091833562249}, {"parameter": "[10, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187588966818021486183263577225}, {"parameter": "[10, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187588966818021486173293454473}, {"parameter": "[10, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187588966818021486174367196297}, {"parameter": "[11, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769187608269122085369558307367697}, {"parameter": "[11, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187608269122085369558285460617}, {"parameter": "[11, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187608269122085369558285460617}, {"parameter": "[11, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187608269122085334374987113609}, {"parameter": "[11, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187608269122085334374987113609}, {"parameter": "[11, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187608269122085334374987113609}, {"parameter": "[11, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187608269122085334374987113609}, {"parameter": "[11, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187608269122085334383883527305}, {"parameter": "[11, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187608269122085334373913404553}, {"parameter": "[11, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187608269122085334373913404553}, {"parameter": "[12, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518556383474300914909820789897}, {"parameter": "[12, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518556383474300914909820789897}, {"parameter": "[12, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518556383474300914908747080841}, {"parameter": "[12, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518556383474300914908747080841}, {"parameter": "[13, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602443491785991446587581577}, {"parameter": "[5, 3, 3, 8],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5070759565991833990738752976593}, {"parameter": "[5, 3, 3, 8],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5070759565991834030859746616393}, {"parameter": "[5, 3, 3, 8],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070759565993151610209346930960}, {"parameter": "[5, 3, 4, 7],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 324528457183472599680261732770889}, {"parameter": "[5, 3, 4, 7],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 324528457183472599680262940725833}, {"parameter": "[5, 3, 4, 7],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324528457183472599720472290337865}, {"parameter": "[5, 3, 4, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 324528457183472599680261732770889}, {"parameter": "[5, 3, 4, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324528457183472599680262940725833}, {"parameter": "[5, 3, 4, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324528457183472599720472290337865}, {"parameter": "[5, 3, 5, 6],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769821259440099250032515278513225}, {"parameter": "[5, 3, 5, 6],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769821259440099250032515259339337}, {"parameter": "[5, 3, 5, 6],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769821259440099250032516486468169}, {"parameter": "[5, 3, 5, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439433870209169051952201}, {"parameter": "[5, 3, 5, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439433870209169032778313}, {"parameter": "[5, 3, 5, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439433870209170259907145}, {"parameter": "[5, 3, 5, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439433870209169051952201}, {"parameter": "[5, 3, 5, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439433870209169032778313}, {"parameter": "[5, 3, 5, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439433870209170259907145}, {"parameter": "[5, 3, 6, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439425946442284178977929}, {"parameter": "[5, 3, 6, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439425946442284023190089}, {"parameter": "[5, 3, 6, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439425946442284023190089}, {"parameter": "[5, 3, 6, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439424646872316705879177}, {"parameter": "[5, 3, 6, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439424646872316550091337}, {"parameter": "[5, 3, 6, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769821259439424646872316550091337}, {"parameter": "[5, 3, 6, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769821259440016095604180018377865}, {"parameter": "[5, 3, 6, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769821259440016095604179862590025}, {"parameter": "[5, 3, 6, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769821259440016095604179862590025}, {"parameter": "[5, 3, 7, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324528457178741009865565771174473}, {"parameter": "[5, 3, 7, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324528457178741009865565771174473}, {"parameter": "[5, 3, 7, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 324528457178741027875488924734025}, {"parameter": "[5, 3, 7, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324528457178741027875488924734025}, {"parameter": "[5, 3, 7, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324528457179332458839794088186441}, {"parameter": "[5, 3, 7, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324528457179332458839794088186441}, {"parameter": "[5, 3, 8, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070757143417828318732959945289}, {"parameter": "[5, 3, 8, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070757143417846328112680342089}, {"parameter": "[5, 3, 8, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070757144009277014793544831561}, {"parameter": "[5, 4, 3, 7],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553965389771541719833453641}, {"parameter": "[5, 4, 3, 7],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553965389771541728438027265}, {"parameter": "[5, 4, 3, 7],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553965389771824295511328257}, {"parameter": "[5, 4, 3, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518553965389771541719833453641}, {"parameter": "[5, 4, 3, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553965389771541728438027265}, {"parameter": "[5, 4, 3, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553965389771824295511328257}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482132869342487611442689}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482132869342487476700161}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482132869342496100221953}, {"parameter": "[5, 4, 4, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482132869342487611442689}, {"parameter": "[5, 4, 4, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482132869342487476700161}, {"parameter": "[5, 4, 4, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482132869342496100221953}, {"parameter": "[5, 4, 4, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482132869342487611442689}, {"parameter": "[5, 4, 4, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482132869342487476700161}, {"parameter": "[5, 4, 4, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482132869342496100221953}, {"parameter": "[5, 4, 4, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482132869342487611442689}, {"parameter": "[5, 4, 4, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482132869342487476700161}, {"parameter": "[5, 4, 4, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482132869342496100221953}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855921448623353560303105}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855921448623353425560577}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855921448623353425560577}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855912207236918196045313}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855912207236918061302785}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855912207236918061302785}, {"parameter": "[5, 4, 5, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855912207236918196045313}, {"parameter": "[5, 4, 5, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855912207236918061302785}, {"parameter": "[5, 4, 5, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855912207236918061302785}, {"parameter": "[5, 4, 5, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855921448623353560303105}, {"parameter": "[5, 4, 5, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855921448623353425560577}, {"parameter": "[5, 4, 5, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855921448623353425560577}, {"parameter": "[5, 4, 5, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855912207236918196045313}, {"parameter": "[5, 4, 5, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855912207236918061302785}, {"parameter": "[5, 4, 5, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855912207236918061302785}, {"parameter": "[5, 4, 5, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855912207236918196045313}, {"parameter": "[5, 4, 5, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855912207236918061302785}, {"parameter": "[5, 4, 5, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022855912207236918061302785}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482123628238627674522625}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482123628238627674522625}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482123627956602941998081}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482123627956602941998081}, {"parameter": "[5, 4, 6, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482123646006185823568897}, {"parameter": "[5, 4, 6, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482123646006185823568897}, {"parameter": "[5, 4, 6, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482123628238627674522625}, {"parameter": "[5, 4, 6, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482123628238627674522625}, {"parameter": "[5, 4, 6, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482123627956602941998081}, {"parameter": "[5, 4, 6, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482123627956602941998081}, {"parameter": "[5, 4, 6, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482123646006185823568897}, {"parameter": "[5, 4, 6, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187453482123646006185823568897}, {"parameter": "[5, 4, 7, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553960658181686821938037761}, {"parameter": "[5, 4, 7, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553960658181687364160881665}, {"parameter": "[5, 4, 7, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553960658199736404819608577}, {"parameter": "[5, 4, 7, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553960658181686821938037761}, {"parameter": "[5, 4, 7, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553960658181687364160881665}, {"parameter": "[5, 4, 7, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553960658199736404819608577}, {"parameter": "[5, 5, 3, 6],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769187434442141506222436699677769}, {"parameter": "[5, 5, 3, 6],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187434442141506222436680729601}, {"parameter": "[5, 5, 3, 6],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434442141506222445304251393}, {"parameter": "[5, 5, 3, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139910051318779406001225}, {"parameter": "[5, 5, 3, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139910051318779387053057}, {"parameter": "[5, 5, 3, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139910051318788010574849}, {"parameter": "[5, 5, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139910051318779406001225}, {"parameter": "[5, 5, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139910051318779387053057}, {"parameter": "[5, 5, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139910051318788010574849}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227995804296464967553667253929473}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995804296464967553667119186945}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995804296464967553667119186945}, {"parameter": "[5, 5, 4, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227995804296464967553667253929473}, {"parameter": "[5, 5, 4, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995804296464967553667119186945}, {"parameter": "[5, 5, 4, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995804296464967553667119186945}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651853719600458630657}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651853719600323888129}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651853719600323888129}, {"parameter": "[5, 5, 4, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651853719600458630657}, {"parameter": "[5, 5, 4, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651853719600323888129}, {"parameter": "[5, 5, 4, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651853719600323888129}, {"parameter": "[5, 5, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651853719600458630657}, {"parameter": "[5, 5, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651853719600323888129}, {"parameter": "[5, 5, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651853719600323888129}, {"parameter": "[5, 5, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651853719600458630657}, {"parameter": "[5, 5, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651853719600323888129}, {"parameter": "[5, 5, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651853719600323888129}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995804296464949786659799696385}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995804296464949786659799696385}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995804296464949504635067171841}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995804296464949504635067171841}, {"parameter": "[5, 5, 5, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995804296464949504635067171841}, {"parameter": "[5, 5, 5, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995804296464949504635067171841}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651835952593004397569}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651835952593004397569}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651835670568271873025}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651835670568271873025}, {"parameter": "[5, 5, 5, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651835670568271873025}, {"parameter": "[5, 5, 5, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651835670568271873025}, {"parameter": "[5, 5, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651835952593004397569}, {"parameter": "[5, 5, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651835952593004397569}, {"parameter": "[5, 5, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651835670568271873025}, {"parameter": "[5, 5, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651835670568271873025}, {"parameter": "[5, 5, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651835670568271873025}, {"parameter": "[5, 5, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784953651835670568271873025}, {"parameter": "[5, 5, 6, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434442132264836009939993601}, {"parameter": "[5, 5, 6, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434442132264836001333281793}, {"parameter": "[5, 5, 6, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434442132264836552162837505}, {"parameter": "[5, 5, 6, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139900809932352646317057}, {"parameter": "[5, 5, 6, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139900809932344039605249}, {"parameter": "[5, 5, 6, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139900809932894869160961}, {"parameter": "[5, 5, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139900809932352646317057}, {"parameter": "[5, 5, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139900809932344039605249}, {"parameter": "[5, 5, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139900809932894869160961}, {"parameter": "[5, 6, 3, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139901980903431666775177}, {"parameter": "[5, 6, 3, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139901980903431513084481}, {"parameter": "[5, 6, 3, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139901980903431513084481}, {"parameter": "[5, 6, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139311685093072961123465}, {"parameter": "[5, 6, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139311685093072807432769}, {"parameter": "[5, 6, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139311685093072807432769}, {"parameter": "[5, 6, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 20769187434177090616956030122833033}, {"parameter": "[5, 6, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187434177090616956029969142337}, {"parameter": "[5, 6, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434177090616956029969142337}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139901962854399461069377}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139901962854399461069377}, {"parameter": "[5, 6, 4, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139901962854399461069377}, {"parameter": "[5, 6, 4, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139901962854399461069377}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139311667044040755417665}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139311667044040755417665}, {"parameter": "[5, 6, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139311667044040755417665}, {"parameter": "[5, 6, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139311667044040755417665}, {"parameter": "[5, 6, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187434177090598906997917127233}, {"parameter": "[5, 6, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434177090598906997917127233}, {"parameter": "[5, 6, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 20769187434177090598906997917127233}, {"parameter": "[5, 6, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434177090598906997917127233}, {"parameter": "[5, 6, 5, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139901962853918577857089}, {"parameter": "[5, 6, 5, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139901962853848648323649}, {"parameter": "[5, 6, 5, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139901962853848648323649}, {"parameter": "[5, 6, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139311667043559872205377}, {"parameter": "[5, 6, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139311667043489942671937}, {"parameter": "[5, 6, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434139311667043489942671937}, {"parameter": "[5, 6, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434177090598906517033914945}, {"parameter": "[5, 6, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434177090598906447104381505}, {"parameter": "[5, 6, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 20769187434177090598906447104381505}, {"parameter": "[5, 7, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426744833289748775937}, {"parameter": "[5, 7, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426744833289748775937}, {"parameter": "[5, 7, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553658427879740395846140929}, {"parameter": "[5, 7, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658427879740395846140929}, {"parameter": "[5, 7, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518553696205676696246910485505}, {"parameter": "[5, 7, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553696205676696246910485505}, {"parameter": "[5, 7, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426744832738936030209}, {"parameter": "[5, 7, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426744832738936030209}, {"parameter": "[5, 7, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658427879739845033395201}, {"parameter": "[5, 7, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553658427879739845033395201}, {"parameter": "[5, 7, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553696205676695696097739777}, {"parameter": "[5, 7, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518553696205676695696097739777}, {"parameter": "[5, 8, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602400912935656120677372481}, {"parameter": "[5, 8, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602400914070528042402648641}, {"parameter": "[5, 8, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5070602438691849750573723488833}, {"parameter": "[6, 3, 3, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 9903860924188991209230981393}, {"parameter": "[6, 3, 3, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 9903860924188991219162489481}, {"parameter": "[6, 3, 3, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903860924189317361664898185}, {"parameter": "[6, 3, 4, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 633844643002186447013257262217}, {"parameter": "[6, 3, 4, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 633844643002186447013101740681}, {"parameter": "[6, 3, 4, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633844643002186447023055118985}, {"parameter": "[6, 3, 4, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 633844643002186447013257262217}, {"parameter": "[6, 3, 4, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633844643002186447013101740681}, {"parameter": "[6, 3, 4, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633844643002186447023055118985}, {"parameter": "[6, 3, 5, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 40566057147353313586744656508041}, {"parameter": "[6, 3, 5, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 40566057147353313586744500986505}, {"parameter": "[6, 3, 5, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40566057147353313586744500986505}, {"parameter": "[6, 3, 5, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342772630341819151497}, {"parameter": "[6, 3, 5, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342772630341663629961}, {"parameter": "[6, 3, 5, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342772630341663629961}, {"parameter": "[6, 3, 5, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342772630341819151497}, {"parameter": "[6, 3, 5, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342772630341663629961}, {"parameter": "[6, 3, 5, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40566057147342772630341663629961}, {"parameter": "[6, 3, 6, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 633844642927228860967447470729}, {"parameter": "[6, 3, 6, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 633844642927228860967447470729}, {"parameter": "[6, 3, 6, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 633844642927228539282986934921}, {"parameter": "[6, 3, 6, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633844642927228539282986934921}, {"parameter": "[6, 3, 6, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633844642927374941455248564873}, {"parameter": "[6, 3, 6, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633844642927374941455248564873}, {"parameter": "[6, 3, 7, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903822545737945866440352393}, {"parameter": "[6, 3, 7, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903822545737950324463051401}, {"parameter": "[6, 3, 7, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903822545884348098694947465}, {"parameter": "[6, 4, 3, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 633825300779368423305167615113}, {"parameter": "[6, 4, 3, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300779368423305013924417}, {"parameter": "[6, 4, 3, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300779368423374960267841}, {"parameter": "[6, 4, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 633825300779368423305167615113}, {"parameter": "[6, 4, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300779368423305013924417}, {"parameter": "[6, 4, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300779368423374960267841}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082419113025020957761}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082419113023928046145}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082419113023928046145}, {"parameter": "[6, 4, 4, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082419113025020957761}, {"parameter": "[6, 4, 4, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082419113023928046145}, {"parameter": "[6, 4, 4, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082419113023928046145}, {"parameter": "[6, 4, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082419113025020957761}, {"parameter": "[6, 4, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082419113023928046145}, {"parameter": "[6, 4, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082419113023928046145}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082419113025020957761}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082419113023928046145}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082419113023928046145}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082275002853447733825}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082275002853447733825}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272715319506145857}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272715319506145857}, {"parameter": "[6, 4, 5, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272715319506145857}, {"parameter": "[6, 4, 5, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272715319506145857}, {"parameter": "[6, 4, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082275002853447733825}, {"parameter": "[6, 4, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082275002853447733825}, {"parameter": "[6, 4, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272715319506145857}, {"parameter": "[6, 4, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272715319506145857}, {"parameter": "[6, 4, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272715319506145857}, {"parameter": "[6, 4, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819245082272715319506145857}, {"parameter": "[6, 4, 6, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300704410511177005732417}, {"parameter": "[6, 4, 6, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300704410511107195736641}, {"parameter": "[6, 4, 6, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300704410515575035466305}, {"parameter": "[6, 4, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300704410511177005732417}, {"parameter": "[6, 4, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300704410511107195736641}, {"parameter": "[6, 4, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300704410515575035466305}, {"parameter": "[6, 5, 3, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564819212100793630736010294409}, {"parameter": "[6, 5, 3, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819212100793630735856603713}, {"parameter": "[6, 5, 3, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819212100793630735856603713}, {"parameter": "[6, 5, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304640171571526874249}, {"parameter": "[6, 5, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304640171571373183553}, {"parameter": "[6, 5, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304640171571373183553}, {"parameter": "[6, 5, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304640171571526874249}, {"parameter": "[6, 5, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304640171571373183553}, {"parameter": "[6, 5, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304640171571373183553}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819212100647233031434703425}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819212100647233031434703425}, {"parameter": "[6, 5, 4, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819212100647233031434703425}, {"parameter": "[6, 5, 4, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819212100647233031434703425}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493773866951283265}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493773866951283265}, {"parameter": "[6, 5, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493773866951283265}, {"parameter": "[6, 5, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493773866951283265}, {"parameter": "[6, 5, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493773866951283265}, {"parameter": "[6, 5, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493773866951283265}, {"parameter": "[6, 5, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493773866951283265}, {"parameter": "[6, 5, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493773866951283265}, {"parameter": "[6, 5, 5, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819212100647228633541317185}, {"parameter": "[6, 5, 5, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819212100647228563731321409}, {"parameter": "[6, 5, 5, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819212100647228563731321409}, {"parameter": "[6, 5, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769469057897025}, {"parameter": "[6, 5, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769399247901249}, {"parameter": "[6, 5, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769399247901249}, {"parameter": "[6, 5, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769469057897025}, {"parameter": "[6, 5, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769399247901249}, {"parameter": "[6, 5, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304493769399247901249}, {"parameter": "[6, 6, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300114261107388470276225}, {"parameter": "[6, 6, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300114261107388470276225}, {"parameter": "[6, 6, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300114114740400580735105}, {"parameter": "[6, 6, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300114114740400580735105}, {"parameter": "[6, 6, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300115267661905187582081}, {"parameter": "[6, 6, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300115267661905187582081}, {"parameter": "[6, 6, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300114261102920766894209}, {"parameter": "[6, 6, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300114261102920766894209}, {"parameter": "[6, 6, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300114114735932877353089}, {"parameter": "[6, 6, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300114114735932877353089}, {"parameter": "[6, 6, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300115267657437484200065}, {"parameter": "[6, 6, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300115267657437484200065}, {"parameter": "[6, 7, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903520314283046667307553345}, {"parameter": "[6, 7, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903520314283077384913654337}, {"parameter": "[6, 7, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9903520315435964254904226369}, {"parameter": "[7, 3, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 19344002946841219748214481}, {"parameter": "[7, 3, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 19344002946841219573289545}, {"parameter": "[7, 3, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19344002946841299183571529}, {"parameter": "[7, 3, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237977819388214320795591753}, {"parameter": "[7, 3, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977819388214319551681097}, {"parameter": "[7, 3, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977819388214319551681097}, {"parameter": "[7, 3, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237977819388214320795591753}, {"parameter": "[7, 3, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977819388214319551681097}, {"parameter": "[7, 3, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977819388214319551681097}, {"parameter": "[7, 3, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977818219851901783315017}, {"parameter": "[7, 3, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818219851901783315017}, {"parameter": "[7, 3, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217278967264907849}, {"parameter": "[7, 3, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217278967264907849}, {"parameter": "[7, 3, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217278967264907849}, {"parameter": "[7, 3, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217278967264907849}, {"parameter": "[7, 3, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19343403409644505113662025}, {"parameter": "[7, 3, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 19343403409644426593931849}, {"parameter": "[7, 3, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19343403409680161795576393}, {"parameter": "[7, 4, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940041609272868240729161}, {"parameter": "[7, 4, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940041609272867011462145}, {"parameter": "[7, 4, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940041609272867011462145}, {"parameter": "[7, 4, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940041609272868240729161}, {"parameter": "[7, 4, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940041609272867011462145}, {"parameter": "[7, 4, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940041609272867011462145}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438337514724688897}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438337514724688897}, {"parameter": "[7, 4, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438337514724688897}, {"parameter": "[7, 4, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438337514724688897}, {"parameter": "[7, 4, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438337514724688897}, {"parameter": "[7, 4, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438337514724688897}, {"parameter": "[7, 4, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438337514724688897}, {"parameter": "[7, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438337514724688897}, {"parameter": "[7, 4, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438302338976121857}, {"parameter": "[7, 4, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301780613596161}, {"parameter": "[7, 4, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301780613596161}, {"parameter": "[7, 4, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438302338976121857}, {"parameter": "[7, 4, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301780613596161}, {"parameter": "[7, 4, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301780613596161}, {"parameter": "[7, 5, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040456387097606259713}, {"parameter": "[7, 5, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040456387097606259713}, {"parameter": "[7, 5, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285451194489930753}, {"parameter": "[7, 5, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285451194489930753}, {"parameter": "[7, 5, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285451194489930753}, {"parameter": "[7, 5, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285451194489930753}, {"parameter": "[7, 5, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040456351363495166977}, {"parameter": "[7, 5, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040456351363495166977}, {"parameter": "[7, 5, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285415460378838017}, {"parameter": "[7, 5, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285415460378838017}, {"parameter": "[7, 5, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285415460378838017}, {"parameter": "[7, 5, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285415460378838017}, {"parameter": "[7, 6, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813113869803225977409}, {"parameter": "[7, 6, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813113834069098074689}, {"parameter": "[7, 6, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813113869253470163521}, {"parameter": "[8, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237977828739938947203225873}, {"parameter": "[8, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977828739938945803526793}, {"parameter": "[8, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977828739938945803526793}, {"parameter": "[8, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977819370450679503561353}, {"parameter": "[8, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977819370450679503561353}, {"parameter": "[8, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977819370450679503561353}, {"parameter": "[8, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977819370450679503561353}, {"parameter": "[8, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977819370165373705724553}, {"parameter": "[8, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977819370164745413403273}, {"parameter": "[8, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977819370164745413403273}, {"parameter": "[8, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217564359385977409}, {"parameter": "[8, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217564359385977409}, {"parameter": "[8, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217564359385977409}, {"parameter": "[8, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217564359385977409}, {"parameter": "[8, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217278425295819329}, {"parameter": "[8, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217278425295819329}, {"parameter": "[8, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217278425295819329}, {"parameter": "[8, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217278425295819329}, {"parameter": "[8, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217529183740170817}, {"parameter": "[8, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217243241997472321}, {"parameter": "[8, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217243241997472321}, {"parameter": "[9, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734474024662002449}, {"parameter": "[9, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734474024662002449}, {"parameter": "[9, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734147332576078609}, {"parameter": "[9, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734147332576078609}, {"parameter": "[9, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734112149411608201}, {"parameter": "[9, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734112149411608201}, {"parameter": "[10, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940048513818872400800529}, {"parameter": "[5, 3, 3, 3, 5],[0, 2, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237978410983594645927567769}, {"parameter": "[5, 3, 3, 3, 5],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237978410983594645730735825}, {"parameter": "[5, 3, 3, 3, 5],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237978410983594645730735825}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237978409666015305933633233}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237978409666015305933633233}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237978409666015305933633233}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237978409666015305933633233}, {"parameter": "[5, 3, 3, 5, 3],[0, 2, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237978409665975184956470993}, {"parameter": "[5, 3, 3, 5, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237978409665975096603195089}, {"parameter": "[5, 3, 3, 5, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237978409665975096603195089}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977818235333025519182921}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818235333025519182921}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237977818235333025519182921}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818235333025519182921}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818235292816188744777}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818235292816188744777}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818235292816188744777}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818235292816188744777}, {"parameter": "[5, 3, 5, 3, 3],[0, 2, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217283443864740937}, {"parameter": "[5, 3, 5, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217243784136729673}, {"parameter": "[5, 3, 5, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237977818217243784136729673}, {"parameter": "[5, 4, 3, 3, 4],[0, 1, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040456633937968833609}, {"parameter": "[5, 4, 3, 3, 4],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040456633937968833609}, {"parameter": "[5, 4, 3, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040456633937968833609}, {"parameter": "[5, 4, 3, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040456633937968833609}, {"parameter": "[5, 4, 3, 4, 3],[0, 1, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040456351371030275145}, {"parameter": "[5, 4, 3, 4, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040456351371030275145}, {"parameter": "[5, 4, 3, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040456351371030275145}, {"parameter": "[5, 4, 3, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040456351371030275145}, {"parameter": "[5, 4, 4, 3, 3],[0, 1, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438302339094054401}, {"parameter": "[5, 4, 4, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438302339094054401}, {"parameter": "[5, 4, 4, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438302339094054401}, {"parameter": "[5, 4, 4, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438302339094054401}, {"parameter": "[5, 5, 3, 3, 3],[0, 0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303430417252983881}, {"parameter": "[5, 5, 3, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285416018743501897}, {"parameter": "[5, 5, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285416018743501897}, {"parameter": "[6, 3, 3, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 37780231512786352625937}, {"parameter": "[6, 3, 3, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780231512786352625937}, {"parameter": "[6, 3, 3, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780231186644005738769}, {"parameter": "[6, 3, 3, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780231186644005738769}, {"parameter": "[6, 3, 4, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780084788939717489801}, {"parameter": "[6, 3, 4, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37780084788939717489801}, {"parameter": "[6, 4, 3, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37778931902679475696777}, {"parameter": "[6, 4, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37778931902679475696777}, {"parameter": "[7, 3, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152992503968216785}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 9903558176351354915878970440}], "request": [8, 19, 6, 5], "liftedmrdsizebound": 85070592467544410232660848528846669449, "comments": "", "equal_bound_constraints": []}