{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 7148137820029694060329151542340927025750946128111633510288306711436}, {"parameter": "", "name": "singleton", "value": 13656175826613812757804347013407005745128}, {"parameter": "3", "name": "ilp_2", "value": 11990991599181005907760970819161071863744}, {"parameter": "4", "name": "ilp_2", "value": 277744368970440181213433660985643359622882622857726935}, {"parameter": "6", "name": "ilp_3", "value": 107604061719549812740164858382371323584990909650935323051156205}, {"parameter": "7", "name": "ilp_3", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "", "name": "anticode", "value": 11990991599181005907760970819161071863744}, {"parameter": "", "name": "linear_programming_bound", "value": 11990991599181005907760970819161071863744}, {"parameter": "", "name": "sphere_packing", "value": 37629639475741901049147133807995177603349876564043}, {"parameter": "1", "name": "ilp_1", "value": 11990991599160010936248302649427034077099}, {"parameter": "2", "name": "ilp_1", "value": 11990991599160010936248302958268962484249}, {"parameter": "8", "name": "ilp_4", "value": 1798566419183111972041229234524900489619005642462558151463}, {"parameter": "9", "name": "ilp_4", "value": 1798566412451650498732558214236907701333656213495101722289}, {"parameter": "10", "name": "ilp_4", "value": 1798566412451650498732558214236907701333656213495101722289}, {"parameter": "11", "name": "ilp_4", "value": 22219554678666539762622317412416486498617395207014200879}, {"parameter": "12", "name": "ilp_4", "value": 274314974403670288914374801066429915184065339426889911}, {"parameter": "13", "name": "ilp_4", "value": 3386607057784339979452110944833309235588688768025206}, {"parameter": "14", "name": "ilp_4", "value": 41810002473869474145961437714736306058594979949856}, {"parameter": "15", "name": "ilp_4", "value": 516172868717266501879890798626805887047535558781}, {"parameter": "16", "name": "ilp_4", "value": 6372504558351506625321006518223711522925599605}, {"parameter": "17", "name": "ilp_4", "value": 78672895882260545023089647818097747367312615}, {"parameter": "18", "name": "ilp_4", "value": 971270319530646537346901311465695355266029}, {"parameter": "", "name": "johnson_1", "value": 11990991599160010936248302649427034077099}, {"parameter": "", "name": "johnson_2", "value": 971270319530646537346901311465695355266029}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 7148137820029694060329151542340927025750946128111633510288306711436}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 107604061719549812740164858382371323584990909650935323051156205}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1798566419183111972041229234524900489619005642462558151463}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1798566412451650498732558214236907701333656213495101722289}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1798566412451650498732558214236907701333656213495101722289}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 22219554678666539762622317412416486498617395207014200879}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 274314974403670288914374801066429915184065339426889911}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 3386607057784339979452110944833309235588688768025206}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 41810002473869474145961437714736306058594979949856}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 516172868717266501879890798626805887047535558781}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 6372504558351506625321006518223711522925599605}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 78672895882260545023089647818097747367312615}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 971270319530646537346901311465695355266029}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 277744368970440181213433660985643359622882622857726935}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 37629639475741901049147133807995177603349876564043}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 37629639475755058327685548736795661894179253626504}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 37629639475873473834531697138182871133237047905866}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 37629639476939213396180570167479721738471934602256}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 4180441660101316855215544457550598480750073098568}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 464555681220946440468852964994885705910369981858}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 51617203051202950699818270056361424115896834446}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 5735255323554911732016651779996649186976438677}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 637251642608888648166897390639668287767064757}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 70806805253263956129944777278334736334995999}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 7868488705686901340238751876611269286178927}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 875343870950647828305557951274087750000451}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 98340953308389101343418590045405333362472}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 12140673387318924130022063031586292685553}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 11990991599181005907760970819161071863744}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 11990991599181522960667819738472391213032}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 11990991599186176436829461838069841089248}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 11990991599228057722284388623888524840420}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 11990991599604989291390708741029483839326}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 11990991602997373414317892422173201101369}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 11990991633528830599257058531910017340336}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 11990991908311951629865252521697834011004}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 11990994381360556564058267047988629902741}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 11991016638839769406532747654604738868994}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 11991216959535985412931366353204787794584}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 11993020119890976557625245064796037853017}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 12009270794749005740622376582722093689252}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 12157350108541145370494782503795125693590}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 13656175826613812757804347013407005745128}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 7148137820029694060329151542340927025750946128111633510288306711436}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 277744368970440181213433660985643359622882622857726935}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 11990991599181005907760970819161071863744}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 11990991599160010936248302958268962484249}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 11990991599160010936248302649427034077099}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 107604061719549812740164858382371323584990909650935323051156205}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 37629639475741901049147133807995177603349876564043}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 37634738342761086069801098174219506600830293194151}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 37680690404229642733014823109861753229634342597486}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 38099364742054268301157613846065545348970629235153}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 42332627491169743811142351844049464764333415834501}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1799817377610344328792307349747296386668767386742572276562}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1800088352825280293687756979364959897117278826650795779502}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1802530475132727867077466530291463239218209852724709579721}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 1824783937788616470247528763341242044097953999121042105337}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 2050065905416034207242060732309202881550943087590159038828}, {"parameter": "", "name": "improved_johnson", "value": 11990991599160010936248302649427034077079}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 4645564570384298224126532895586446142602035519341}], "known_codes": [], "upper_bound": 11990991599160010936248302649427034077079, "classified": false, "lower_bound": 11972515216942948425199611422077632285478, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 11972515182562019788602740026717047105681}, {"parameter": "", "name": "sphere_covering", "value": 19811896066674448298084835219746550}, {"parameter": "", "name": "graham_sloane", "value": 31337730808993695145496844138457}, {"parameter": "", "name": "multicomponent", "value": 11972515213465174251001795671401330867221}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 11972515182562019788602740026717047105682}, {"parameter": "", "name": "two_pivot_block_construction", "value": 11972515213465174579230572197563508719616}, {"parameter": "(5, 14)", "name": "CKMP2019_Lem_41", "value": 11972515182562077938339910052738137678045}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 16423203268260737912674773734894558055}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 22528399544939283830829593600678316}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 1824831266294455760121508534225921821}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 147808860359891464223911981532452160601}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 11972515213475641123895899599385445924761}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 11972515216904285300314815278866641139981}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 11972515216942948414339947691887451611076}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 11972515216942948424199814379182620868687}, {"parameter": "(14, 5)", "name": "CKMP2019_Lem_41", "value": 11972515216942948425199611422077631680237}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Lem_41", "value": 11972515182562077938339743066780224280981}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Lem_41", "value": 11972515182562019868369183103589557028092}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Lem_41", "value": 11972515182562019788712159015848559464891}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Lem_41", "value": 11972515182562019797465828241004845200732}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Lem_41", "value": 11972515182562020506500878019096064969701}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Lem_41", "value": 16423203268260737912674544673219177700}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 16423203268260658255650456932221614499}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 16423203268260658146381562436006254411}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Lem_41", "value": 16423203268260658158389339150898278740}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Lem_41", "value": 22528399544939283830829279387131851}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 22528399544939174561934783171771763}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Lem_41", "value": 22528399544939174412046039006867291}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Lem_41", "value": 1824831266294455760121508533795386572}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Lem_41", "value": 1824831266294455759971619789630482100}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Lem_41", "value": 147808860359891464223911981532451628981}, {"parameter": "(5, 14)", "name": "CKMP2019_Cor_42", "value": 11972515182562077938339910052738137678045}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 16423203268260737912674773734894558055}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 22528399544939283830829593600678316}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 1824831266294455760121508534225921821}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 147808860359891464223911981532452160601}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 11972515213475641123895899599385445924761}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 11972515216904285300314815278866641139981}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 11972515216942948414339947691887451611076}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 11972515216942948424199814379182620868687}, {"parameter": "(14, 5)", "name": "CKMP2019_Cor_42", "value": 11972515216942948425199611422077631680237}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Cor_42", "value": 11972515182562077938339743066780224280981}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Cor_42", "value": 11972515182562019868369183103589557028092}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Cor_42", "value": 11972515182562019788712159015848559464891}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Cor_42", "value": 11972515182562019797465828241004845200732}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Cor_42", "value": 11972515182562020506500878019096064969701}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Cor_42", "value": 16423203268260737912674544673219177700}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 16423203268260658255650456932221614499}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 16423203268260658146381562436006254411}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Cor_42", "value": 16423203268260658158389339150898278740}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Cor_42", "value": 22528399544939283830829279387131851}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 22528399544939174561934783171771763}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Cor_42", "value": 22528399544939174412046039006867291}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Cor_42", "value": 1824831266294455760121508533795386572}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Cor_42", "value": 1824831266294455759971619789630482100}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Cor_42", "value": 147808860359891464223911981532451628981}, {"parameter": "5", "name": "linkage_ST", "value": 11972515216942948425199611422077631680237}, {"parameter": "6", "name": "linkage_ST", "value": 11972515216942948424199814379182620868687}, {"parameter": "7", "name": "linkage_ST", "value": 11972515216942948414339947691887451611076}, {"parameter": "8", "name": "linkage_ST", "value": 11972515216904285300314815278866641139981}, {"parameter": "9", "name": "linkage_ST", "value": 11972515213475641123895899599385445924761}, {"parameter": "10", "name": "linkage_ST", "value": 147808860359891464223911981532452160601}, {"parameter": "11", "name": "linkage_ST", "value": 1824831266294455760121508534225921821}, {"parameter": "12", "name": "linkage_ST", "value": 22528399544939283830829593600678316}, {"parameter": "13", "name": "linkage_ST", "value": 16423203268260737912674773734894558055}, {"parameter": "14", "name": "linkage_ST", "value": 11972515182562077938339910052738137678045}, {"parameter": "15", "name": "linkage_ST", "value": 42391158396948969375146854554}, {"parameter": "16", "name": "linkage_ST", "value": 30903154471276002391073373286021}, {"parameter": "17", "name": "linkage_ST", "value": 22528399609632957213199485346838317}, {"parameter": "18", "name": "linkage_ST", "value": 16423203315422425821947619175834104376}, {"parameter": "5", "name": "construction_D", "value": 11972515216942948425199611422077631680236}, {"parameter": "6", "name": "construction_D", "value": 11972515216942948424199814379182620868686}, {"parameter": "7", "name": "construction_D", "value": 11972515216942948414339947691887451611075}, {"parameter": "8", "name": "construction_D", "value": 11972515216904285300314815278866641080931}, {"parameter": "9", "name": "construction_D", "value": 11972515213475641123895899599381959139630}, {"parameter": "10", "name": "construction_D", "value": 147808860359891464223911775641319534331}, {"parameter": "11", "name": "construction_D", "value": 1824831266294455759971413898498387450}, {"parameter": "12", "name": "construction_D", "value": 22528399544939174411840147874772641}, {"parameter": "13", "name": "construction_D", "value": 16423203268260658146231467800709255289}, {"parameter": "14", "name": "construction_D", "value": 11972515182562019788602740026717047105681}, {"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": 11972515182562077938339910052738137678045}, {"parameter": "6", "name": "linkage_GLT", "value": 16423203268260737912674773734894558055}, {"parameter": "7", "name": "linkage_GLT", "value": 22528399544939283830829593600678316}, {"parameter": "8", "name": "linkage_GLT", "value": 1824831266294455760121508534225921821}, {"parameter": "9", "name": "linkage_GLT", "value": 147808860359891464223911981532452160601}, {"parameter": "10", "name": "linkage_GLT", "value": 11972515213475641123895899599385445924761}, {"parameter": "11", "name": "linkage_GLT", "value": 11972515216904285300314815278866641139981}, {"parameter": "12", "name": "linkage_GLT", "value": 11972515216942948414339947691887451611076}, {"parameter": "13", "name": "linkage_GLT", "value": 11972515216942948424199814379182620868687}, {"parameter": "14", "name": "linkage_GLT", "value": 11972515216942948425199611422077631680237}, {"parameter": "5", "name": "improved_linkage", "value": 11972515213465174259878742417790420391702}, {"parameter": "6", "name": "improved_linkage", "value": 16423203310651816543180437175856109843}, {"parameter": "7", "name": "improved_linkage", "value": 22528399603088911581866168965345005}, {"parameter": "8", "name": "improved_linkage", "value": 1824831266294535526414719832683690216}, {"parameter": "9", "name": "improved_linkage", "value": 147808860359891464333330765087045440006}, {"parameter": "10", "name": "improved_linkage", "value": 11972515213475641123896049694017686674001}, {"parameter": "11", "name": "improved_linkage", "value": 11972515216904285300314815484757773707201}, {"parameter": "12", "name": "improved_linkage", "value": 11972515216942948414339947691890938396206}, {"parameter": "13", "name": "improved_linkage", "value": 11972515216942948424199814379182620927736}, {"parameter": "14", "name": "improved_linkage", "value": 11972515216942948425199611422077631680237}, {"parameter": "15", "name": "improved_linkage", "value": 147808829838801832410288769543103012155}, {"parameter": "16", "name": "improved_linkage", "value": 1824800368374376665190491619166254030}, {"parameter": "5,0", "name": "generalized_linkage", "value": 11972515182604469096736859022113164931401}, {"parameter": "5,1", "name": "generalized_linkage", "value": 11972515182604410946999688996092193960235}, {"parameter": "5,2", "name": "generalized_linkage", "value": 11972515213465174259878742417790420391702}, {"parameter": "6,0", "name": "generalized_linkage", "value": 16423203268790546629112788593675529827}, {"parameter": "6,1", "name": "generalized_linkage", "value": 16423203268318807883401493821799827653}, {"parameter": "6,2", "name": "generalized_linkage", "value": 16423203310651816543180437175856109843}, {"parameter": "7,0", "name": "generalized_linkage", "value": 22528399551480132181916196790118466}, {"parameter": "7,1", "name": "generalized_linkage", "value": 22528399545018940855146082060075407}, {"parameter": "7,2", "name": "generalized_linkage", "value": 22528399603088911581866168965345005}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1824831266294536523493384713102872614}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1824831266294455869390403344224293125}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1824831266294535526414719832683690216}, {"parameter": "9,0", "name": "generalized_linkage", "value": 147808860359891464348525736534308441671}, {"parameter": "9,1", "name": "generalized_linkage", "value": 147808860359891464224061870277047068702}, {"parameter": "9,2", "name": "generalized_linkage", "value": 147808860359891464333330765087045440006}, {"parameter": "10,0", "name": "generalized_linkage", "value": 11972515213475641123895901709730765396332}, {"parameter": "10,1", "name": "generalized_linkage", "value": 11972515213475641123895899805273091765900}, {"parameter": "10,2", "name": "generalized_linkage", "value": 11972515213475641123896049694017686674001}, {"parameter": "11,0", "name": "generalized_linkage", "value": 11972515216904285300314815278902380621031}, {"parameter": "11,1", "name": "generalized_linkage", "value": 11972515216904285300314815278870127866062}, {"parameter": "11,2", "name": "generalized_linkage", "value": 11972515216904285300314815484757773707201}, {"parameter": "12,0", "name": "generalized_linkage", "value": 11972515216942948414339947691887452216317}, {"parameter": "12,1", "name": "generalized_linkage", "value": 11972515216942948414339947691887451670125}, {"parameter": "12,2", "name": "generalized_linkage", "value": 11972515216942948414339947691890938396206}, {"parameter": "13,0", "name": "generalized_linkage", "value": 11972515216942948424199814379182621473928}, {"parameter": "13,1", "name": "generalized_linkage", "value": 11972515216942948424199814379182620868687}, {"parameter": "13,2", "name": "generalized_linkage", "value": 11972515216942948424199814379182620927736}, {"parameter": "14,0", "name": "generalized_linkage", "value": 11972515216942948425199611422077632285478}, {"parameter": "14,1", "name": "generalized_linkage", "value": 11972515216942948425199611422077631680237}, {"parameter": "14,2", "name": "generalized_linkage", "value": 11972515216942948425199611422077631680237}, {"parameter": "15,1", "name": "generalized_linkage", "value": 147808829838801832410288769543103012155}, {"parameter": "15,2", "name": "generalized_linkage", "value": 147808829838801832410288769543103012155}, {"parameter": "16,2", "name": "generalized_linkage", "value": 1824800368374376665190491619166254030}, {"parameter": "[5, 14],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515182604469096736859022113164931401}, {"parameter": "[5, 14],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182604410946999688996092193960235}, {"parameter": "[5, 14],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515213465174259878742417790420391702}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268790546629112788593675529827}, {"parameter": "[6, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268318807883401493821799827653}, {"parameter": "[6, 13],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203310651816543180437175856109843}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399551480132181916196790118466}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399545018940855146082060075407}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399603088911581866168965345005}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294536523493384713102872614}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455869390403344224293125}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294535526414719832683690216}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808860359891464348525736534308441671}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808860359891464224061870277047068702}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808860359891464333330765087045440006}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515213475641123895901709730765396332}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515213475641123895899805273091765900}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515213475641123896049694017686674001}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515216904285300314815278902380621031}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515216904285300314815278870127866062}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515216904285300314815484757773707201}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515216942948414339947691887452216317}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515216942948414339947691887451670125}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515216942948414339947691890938396206}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515216942948424199814379182621473928}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515216942948424199814379182620868687}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515216942948424199814379182620927736}, {"parameter": "[14, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515216942948425199611422077632285478}, {"parameter": "[14, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515216942948425199611422077631680237}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515216942948425199611422077631680237}, {"parameter": "[15, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829838801832410288769543103012155}, {"parameter": "[15, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829838801832410288769543103012155}, {"parameter": "[16, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800368374376665190491619166254030}, {"parameter": "[5, 3, 11],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294465730758065278606652980}, {"parameter": "[5, 3, 11],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294535635833709278409530200}, {"parameter": "[5, 3, 11],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824831266352685263584745853769406630}, {"parameter": "[5, 4, 10],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081701018798297217013802}, {"parameter": "[5, 4, 10],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081700868497801777821632}, {"parameter": "[5, 4, 10],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737161467161709100588873552}, {"parameter": "[5, 4, 10],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081701018798297217013802}, {"parameter": "[5, 4, 10],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081700868497801777821632}, {"parameter": "[5, 4, 10],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737161467161709100588873552}, {"parameter": "[5, 5, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515182604469096614961128398828238951}, {"parameter": "[5, 5, 9],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182604469096615109570817849106151}, {"parameter": "[5, 5, 9],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182604469096724528354372132019881}, {"parameter": "[5, 5, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562077938339744924884533805750}, {"parameter": "[5, 5, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562077938339893367303554672950}, {"parameter": "[5, 5, 9],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562077938449312150857837586680}, {"parameter": "[5, 5, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562077938339744924884533805750}, {"parameter": "[5, 5, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562077938339893367303554672950}, {"parameter": "[5, 5, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562077938449312150857837586680}, {"parameter": "[5, 6, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562078018106186143935603838711}, {"parameter": "[5, 6, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562078018106186146194600504841}, {"parameter": "[5, 6, 8],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562078018106336444176064536311}, {"parameter": "[5, 6, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019868369183103875913448542}, {"parameter": "[5, 6, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019868369183106134910114672}, {"parameter": "[5, 6, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019868369333404116374146142}, {"parameter": "[5, 6, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515182566729997066429348710835052231}, {"parameter": "[5, 6, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182566729997066429350969831718361}, {"parameter": "[5, 6, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182566729997066579648951295749831}, {"parameter": "[5, 7, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019868478602092721112966921}, {"parameter": "[5, 7, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019868478602092721112434751}, {"parameter": "[5, 7, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019868478602095266422473881}, {"parameter": "[5, 7, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562026249794048242521902035801}, {"parameter": "[5, 7, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562026249794048242521901503631}, {"parameter": "[5, 7, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562026249794048245067211542761}, {"parameter": "[5, 7, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515182943540292955547924349762865730}, {"parameter": "[5, 7, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182943540292955547924349762333560}, {"parameter": "[5, 7, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182943540292955547926895072372690}, {"parameter": "[5, 8, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562026258657136456810049293501}, {"parameter": "[5, 8, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562026258657136456809656492911}, {"parameter": "[5, 8, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562026258657136456809699598681}, {"parameter": "[5, 8, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562543136345336471021462776852}, {"parameter": "[5, 8, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562543136345336471021069976262}, {"parameter": "[5, 8, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562543136345336471021113082032}, {"parameter": "[5, 8, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515213465174251028812499864051415671}, {"parameter": "[5, 8, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515213465174251028812499863658615081}, {"parameter": "[5, 8, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515213465174251028812499863701720851}, {"parameter": "[5, 9, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562543854243474463400529666211}, {"parameter": "[5, 9, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562543854243474463400087840281}, {"parameter": "[5, 9, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562543854243474463400087840281}, {"parameter": "[5, 9, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515182604410946987412279767072761571}, {"parameter": "[5, 9, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182604410946987412279766630935641}, {"parameter": "[5, 9, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182604410946987412279766630935641}, {"parameter": "[5, 9, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515213465174259878742417790861613120}, {"parameter": "[5, 9, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515213465174259878742417790419787190}, {"parameter": "[5, 9, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515213465174259878742417790419787190}, {"parameter": "[5, 10, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414869988848451425497517715431}, {"parameter": "[5, 10, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414869988848451425497517715431}, {"parameter": "[5, 10, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414869270950611754337377445102}, {"parameter": "[5, 10, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414869270950611754337377445102}, {"parameter": "[5, 10, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829795866348888623934235570674006}, {"parameter": "[5, 10, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829795866348888623934235570674006}, {"parameter": "[5, 11, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363146543072204956857120005321}, {"parameter": "[5, 11, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363146534209266832646860787726}, {"parameter": "[5, 11, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800367850201838131159685799614185}, {"parameter": "[6, 3, 10],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151641281385343584875560}, {"parameter": "[6, 3, 10],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503197896152513896184224291345603}, {"parameter": "[6, 3, 10],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503197896878387164407043471918075}, {"parameter": "[6, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 202755595962602306726510171509764028}, {"parameter": "[6, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 202755595962602308077336184599655548}, {"parameter": "[6, 4, 9],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 202755595962603303788266528574170491}, {"parameter": "[6, 4, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 202755595962602306726510171509764028}, {"parameter": "[6, 4, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 202755595962602308077336184599655548}, {"parameter": "[6, 4, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 202755595962603303788266528574170491}, {"parameter": "[6, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268790546627591132170088041912}, {"parameter": "[6, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268790546627591155046445187645}, {"parameter": "[6, 5, 8],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268790546628958866677767874022}, {"parameter": "[6, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260737912674544959575598150}, {"parameter": "[6, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260737912674567835932743883}, {"parameter": "[6, 5, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260737914042279467255430260}, {"parameter": "[6, 5, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260737912674544959575598150}, {"parameter": "[6, 5, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260737912674567835932743883}, {"parameter": "[6, 5, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260737914042279467255430260}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268261385016576268437355610125}, {"parameter": "[6, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268261385016576268437703749826}, {"parameter": "[6, 6, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268261385016576291600025105909}, {"parameter": "[6, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260658255650456932265743947}, {"parameter": "[6, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260658255650456932613883648}, {"parameter": "[6, 6, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260658255650480094935239731}, {"parameter": "[6, 6, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268267119337539683605564676188}, {"parameter": "[6, 6, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268267119337539683605912815889}, {"parameter": "[6, 6, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268267119337539706768234171972}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260659143310130079071527989}, {"parameter": "[6, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260659143310130078674422735}, {"parameter": "[6, 7, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260659143310130079066685242}, {"parameter": "[6, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260667009319682088904462236}, {"parameter": "[6, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260667009319682088507356982}, {"parameter": "[6, 7, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260667009319682088899619489}, {"parameter": "[6, 7, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268784005888827912105129237037}, {"parameter": "[6, 7, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268784005888827912104732131783}, {"parameter": "[6, 7, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268784005888827912105124394290}, {"parameter": "[6, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260738910970847109966525651}, {"parameter": "[6, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260738910970847106392040282}, {"parameter": "[6, 8, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260738910970847106392040282}, {"parameter": "[6, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268261376044369460183301611320}, {"parameter": "[6, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268261376044369460179727125951}, {"parameter": "[6, 8, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268261376044369460179727125951}, {"parameter": "[6, 8, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203310651816530903720853867576531}, {"parameter": "[6, 8, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203310651816530903720850293091162}, {"parameter": "[6, 8, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203310651816530903720850293091162}, {"parameter": "[6, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 202755595904533333095114623457350845}, {"parameter": "[6, 9, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 202755595904533333095114623457350845}, {"parameter": "[6, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 202755595905170467696106831271774682}, {"parameter": "[6, 9, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 202755595905170467696106831271774682}, {"parameter": "[6, 9, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 202755596427800204235105461867107183}, {"parameter": "[6, 9, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 202755596427800204235105461867107183}, {"parameter": "[6, 10, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505074004973168622150351382}, {"parameter": "[6, 10, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505002104539460647163165671}, {"parameter": "[6, 10, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155511454323509096240990295567}, {"parameter": "[7, 3, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 3433741970029534492441618969909}, {"parameter": "[7, 3, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3433741970041823490734805273780}, {"parameter": "[7, 3, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433741979002022753873816643459}, {"parameter": "[7, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 278128389523459954336735149558622}, {"parameter": "[7, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128389523459954542594814441171}, {"parameter": "[7, 4, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128389523472262300175551889452}, {"parameter": "[7, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 278128389523459954336735149558622}, {"parameter": "[7, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128389523459954542594814441171}, {"parameter": "[7, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128389523472262300175551889452}, {"parameter": "[7, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399551480132163132825239566122}, {"parameter": "[7, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399551480132163132828725877402}, {"parameter": "[7, 5, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399551480132163341261724273501}, {"parameter": "[7, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830829279430770520}, {"parameter": "[7, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830829282917081800}, {"parameter": "[7, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283831037715915477899}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830829279430770520}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830829282917081800}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283831037715915477899}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544948146919043567582338797}, {"parameter": "[7, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544948146919043567185286679}, {"parameter": "[7, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544948146919043570715176850}, {"parameter": "[7, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174561934783568883659}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174561934783171831541}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174561934786701721712}, {"parameter": "[7, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544948037500054436069979588}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544948037500054435672927470}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544948037500054439202817641}, {"parameter": "[7, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939186719806136934324053}, {"parameter": "[7, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939186719806133360854991}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939186719806133360854991}, {"parameter": "[7, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939186569711501637324932}, {"parameter": "[7, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939186569711498063855870}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939186569711498063855870}, {"parameter": "[7, 7, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399545657072549832530466165501}, {"parameter": "[7, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399545657072549832526892696439}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399545657072549832526892696439}, {"parameter": "[7, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128389443705819431707747021490}, {"parameter": "[7, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128389443705819431707747021490}, {"parameter": "[7, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128389443705668925290185833071}, {"parameter": "[7, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128389443705668925290185833071}, {"parameter": "[7, 8, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128390161591500802786175105810}, {"parameter": "[7, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128390161591500802786175105810}, {"parameter": "[7, 9, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433683820304820453220154996461}, {"parameter": "[7, 9, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433683820304670150148297766290}, {"parameter": "[7, 9, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433683829155450629733026222239}, {"parameter": "[8, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 278133099652157200581884628977011}, {"parameter": "[8, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 278133099652157202455176498127815}, {"parameter": "[8, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 278133099652267987303201281565491}, {"parameter": "[8, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528781065363760776660908429831979}, {"parameter": "[8, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528781065363760776660939810890859}, {"parameter": "[8, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528781065363760778537091327459663}, {"parameter": "[8, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528781065363760776660908429831979}, {"parameter": "[8, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528781065363760776660939810890859}, {"parameter": "[8, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528781065363760778537091327459663}, {"parameter": "[8, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294536523493153049366212934}, {"parameter": "[8, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294536523493153048973949698}, {"parameter": "[8, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294536523493153080747271814}, {"parameter": "[8, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455760121508534188187891}, {"parameter": "[8, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455760121508533795924655}, {"parameter": "[8, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455760121508565569246771}, {"parameter": "[8, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455760121508534188187891}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455760121508533795924655}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455760121508565569246771}, {"parameter": "[8, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455870758137824089991978}, {"parameter": "[8, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455870758137820516038050}, {"parameter": "[8, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455870758137820516038050}, {"parameter": "[8, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455759971619793204974111}, {"parameter": "[8, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455759971619789631020183}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455759971619789631020183}, {"parameter": "[8, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455772129285252261902912}, {"parameter": "[8, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455772129285248687948984}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455772129285248687948984}, {"parameter": "[8, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528781065363651359547959422837218}, {"parameter": "[8, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528781065363651359547959422837218}, {"parameter": "[8, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528781065363651357877671144088584}, {"parameter": "[8, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528781065363651357877671144088584}, {"parameter": "[8, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528781065363663515339780934751065}, {"parameter": "[8, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528781065363663515339780934751065}, {"parameter": "[8, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 278133099572390759378335369323334}, {"parameter": "[8, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 278133099572390757708011873573953}, {"parameter": "[8, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 278133099572402915167611146990764}, {"parameter": "[9, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528404261529062966300787662744802}, {"parameter": "[9, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528404261529062966300823347207880}, {"parameter": "[9, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528404261529062968411136413924482}, {"parameter": "[9, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824800745183845237482338779458820032}, {"parameter": "[9, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800745183845237482338779017598614}, {"parameter": "[9, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800745183845237482338814756533472}, {"parameter": "[9, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824800745183845237482338779458820032}, {"parameter": "[9, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800745183845237482338779017598614}, {"parameter": "[9, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800745183845237482338814756533472}, {"parameter": "[9, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808860359891464348525736212990911049}, {"parameter": "[9, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808860359891464348525736212549689631}, {"parameter": "[9, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808860359891464348525736212549689631}, {"parameter": "[9, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808860359891464223911981532893455640}, {"parameter": "[9, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808860359891464223911981532452234222}, {"parameter": "[9, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808860359891464223911981532452234222}, {"parameter": "[9, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808860359891464223911981532893455640}, {"parameter": "[9, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808860359891464223911981532452234222}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808860359891464223911981532452234222}, {"parameter": "[9, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800745183845237334354492085029535}, {"parameter": "[9, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800745183845237334354492085029535}, {"parameter": "[9, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800745183845237332244147207383894}, {"parameter": "[9, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800745183845237332244147207383894}, {"parameter": "[9, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800745183845237332450038339478543}, {"parameter": "[9, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800745183845237332450038339478543}, {"parameter": "[9, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528404261528953547311691834848671}, {"parameter": "[9, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528404261528953547311659582757263}, {"parameter": "[9, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528404261528953547517547271114232}, {"parameter": "[10, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824800367851797153616928898327530973}, {"parameter": "[10, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800367851797153616928898273059193}, {"parameter": "[10, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800367851797153616928934011994051}, {"parameter": "[10, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829795995569430813781192585762539}, {"parameter": "[10, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829795995569430813781192144541121}, {"parameter": "[10, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829795995569430813781192144541121}, {"parameter": "[10, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829795995569430813781192585762539}, {"parameter": "[10, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829795995569430813781192144541121}, {"parameter": "[10, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829795995569430813781192144541121}, {"parameter": "[10, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829795995569430815685649376876514}, {"parameter": "[10, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829795995569430815685649376876514}, {"parameter": "[10, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829795995569430813575304499230873}, {"parameter": "[10, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829795995569430813575304499230873}, {"parameter": "[10, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829795995569430813575304499230873}, {"parameter": "[10, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829795995569430813575304499230873}, {"parameter": "[10, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800367851797153466834298714994930}, {"parameter": "[10, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800367851797153466834262976119121}, {"parameter": "[10, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800367851797153466834266462903522}, {"parameter": "[11, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824800368374376665190697474614490842}, {"parameter": "[11, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800368374376665190697474560019062}, {"parameter": "[11, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800368374376665190697474560019062}, {"parameter": "[11, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800368374376665190491586914708814}, {"parameter": "[11, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800368374376665190491586914708814}, {"parameter": "[11, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800368374376665190491586914708814}, {"parameter": "[11, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800368374376665190491586914708814}, {"parameter": "[11, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800368374376665190491619166859271}, {"parameter": "[11, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800368374376665190491583427983462}, {"parameter": "[11, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800368374376665190491583427983462}, {"parameter": "[12, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399609632957213199488833622718}, {"parameter": "[12, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399609632957213199488833622718}, {"parameter": "[12, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399609632957213199485346897366}, {"parameter": "[12, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399609632957213199485346897366}, {"parameter": "[13, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128390242382188046327951617457}, {"parameter": "[5, 3, 3, 8],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 278133157801894203619409863015480}, {"parameter": "[5, 3, 3, 8],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 278133157801894203850680034341310}, {"parameter": "[5, 3, 3, 8],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 278133157801907880966993261205080}, {"parameter": "[5, 3, 4, 7],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528781065443527219737780595387920}, {"parameter": "[5, 3, 4, 7],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528781065443527219737784469585520}, {"parameter": "[5, 3, 4, 7],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528781065443527219969407683146350}, {"parameter": "[5, 3, 4, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528781065443527219737780595387920}, {"parameter": "[5, 3, 4, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528781065443527219737784469585520}, {"parameter": "[5, 3, 4, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528781065443527219969407683146350}, {"parameter": "[5, 3, 5, 6],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294465730758036678198489380}, {"parameter": "[5, 3, 5, 6],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294465730758036678150061910}, {"parameter": "[5, 3, 5, 6],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294465730758036682072686980}, {"parameter": "[5, 3, 5, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455869540497665356239680}, {"parameter": "[5, 3, 5, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455869540497665307812210}, {"parameter": "[5, 3, 5, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455869540497669230437280}, {"parameter": "[5, 3, 5, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455869540497665356239680}, {"parameter": "[5, 3, 5, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455869540497665307812210}, {"parameter": "[5, 3, 5, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455869540497669230437280}, {"parameter": "[5, 3, 6, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455773648761803987215010}, {"parameter": "[5, 3, 6, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455773648761803545986950}, {"parameter": "[5, 3, 6, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455773648761803545986950}, {"parameter": "[5, 3, 6, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455760121714425368775710}, {"parameter": "[5, 3, 6, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455760121714424927547650}, {"parameter": "[5, 3, 6, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294455760121714424927547650}, {"parameter": "[5, 3, 6, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294464635217499536926800440}, {"parameter": "[5, 3, 6, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294464635217499536485572380}, {"parameter": "[5, 3, 6, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824831266294464635217499536485572380}, {"parameter": "[5, 3, 7, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528781065363651357903403612496310}, {"parameter": "[5, 3, 7, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528781065363651357903403612496310}, {"parameter": "[5, 3, 7, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528781065363651507974848306444380}, {"parameter": "[5, 3, 7, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528781065363651507974848306444380}, {"parameter": "[5, 3, 7, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528781065372526455314995490055510}, {"parameter": "[5, 3, 7, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528781065372526455314995490055510}, {"parameter": "[5, 3, 8, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 278133099572390757733751708285380}, {"parameter": "[5, 3, 8, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 278133099572390907802678594207750}, {"parameter": "[5, 3, 8, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 278133099581265853310148188479780}, {"parameter": "[5, 4, 3, 7],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399551480132163132825244421352}, {"parameter": "[5, 4, 3, 7],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399551480132163132856663672452}, {"parameter": "[5, 4, 3, 7],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399551480132164990932992237352}, {"parameter": "[5, 4, 3, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399551480132163132825244421352}, {"parameter": "[5, 4, 3, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399551480132163132856663672452}, {"parameter": "[5, 4, 3, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399551480132164990932992237352}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420869955496282268470772}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420869955496281879986672}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420869955496313347198772}, {"parameter": "[5, 4, 4, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420869955496282268470772}, {"parameter": "[5, 4, 4, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420869955496281879986672}, {"parameter": "[5, 4, 4, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420869955496313347198772}, {"parameter": "[5, 4, 4, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420869955496282268470772}, {"parameter": "[5, 4, 4, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420869955496281879986672}, {"parameter": "[5, 4, 4, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420869955496313347198772}, {"parameter": "[5, 4, 4, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420869955496282268470772}, {"parameter": "[5, 4, 4, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420869955496281879986672}, {"parameter": "[5, 4, 4, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420869955496313347198772}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081701018798014305199902}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081701018798013916715802}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081701018798013916715802}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081591449714247495841572}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081591449714247107357472}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081591449714247107357472}, {"parameter": "[5, 4, 5, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081591449714247495841572}, {"parameter": "[5, 4, 5, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081591449714247107357472}, {"parameter": "[5, 4, 5, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081591449714247107357472}, {"parameter": "[5, 4, 5, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081701018798014305199902}, {"parameter": "[5, 4, 5, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081701018798013916715802}, {"parameter": "[5, 4, 5, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081701018798013916715802}, {"parameter": "[5, 4, 5, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081591449714247495841572}, {"parameter": "[5, 4, 5, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081591449714247107357472}, {"parameter": "[5, 4, 5, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081591449714247107357472}, {"parameter": "[5, 4, 5, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081591449714247495841572}, {"parameter": "[5, 4, 5, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081591449714247107357472}, {"parameter": "[5, 4, 5, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829456737081591449714247107357472}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420760388270622477921242}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420760388270622477921242}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420760386415060423241072}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420760386415060423241072}, {"parameter": "[5, 4, 6, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420760536715586852334842}, {"parameter": "[5, 4, 6, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420760536715586852334842}, {"parameter": "[5, 4, 6, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420760388270622477921242}, {"parameter": "[5, 4, 6, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420760388270622477921242}, {"parameter": "[5, 4, 6, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420760386415060423241072}, {"parameter": "[5, 4, 6, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420760386415060423241072}, {"parameter": "[5, 4, 6, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420760536715586852334842}, {"parameter": "[5, 4, 6, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363663420760536715586852334842}, {"parameter": "[5, 4, 7, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399551400256301066852641449882}, {"parameter": "[5, 4, 7, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399551400256301069366569956282}, {"parameter": "[5, 4, 7, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399551400256451367379070543652}, {"parameter": "[5, 4, 7, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399551400256301066852641449882}, {"parameter": "[5, 4, 7, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399551400256301069366569956282}, {"parameter": "[5, 4, 7, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399551400256451367379070543652}, {"parameter": "[5, 5, 3, 6],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824800363146543181755482070514464321}, {"parameter": "[5, 5, 3, 6],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363146543181755482070466503321}, {"parameter": "[5, 5, 3, 6],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363146543181755482101933715421}, {"parameter": "[5, 5, 3, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140082099866255397215532080}, {"parameter": "[5, 5, 3, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140082099866255397167571080}, {"parameter": "[5, 5, 3, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140082099866255428634783180}, {"parameter": "[5, 5, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140082099866255397215532080}, {"parameter": "[5, 5, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140082099866255397167571080}, {"parameter": "[5, 5, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140082099866255428634783180}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829414869988847248563123003690141}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414869988847248563122615206041}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414869988847248563122615206041}, {"parameter": "[5, 5, 4, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829414869988847248563123003690141}, {"parameter": "[5, 5, 4, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414869988847248563122615206041}, {"parameter": "[5, 5, 4, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414869988847248563122615206041}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214221202585790178620}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214221202585401694520}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214221202585401694520}, {"parameter": "[5, 5, 4, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214221202585790178620}, {"parameter": "[5, 5, 4, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214221202585401694520}, {"parameter": "[5, 5, 4, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214221202585401694520}, {"parameter": "[5, 5, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214221202585790178620}, {"parameter": "[5, 5, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214221202585401694520}, {"parameter": "[5, 5, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214221202585401694520}, {"parameter": "[5, 5, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214221202585790178620}, {"parameter": "[5, 5, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214221202585401694520}, {"parameter": "[5, 5, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214221202585401694520}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414869988847100120703593405171}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414869988847100120703593405171}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414869988847098265141538725001}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414869988847098265141538725001}, {"parameter": "[5, 5, 5, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414869988847098265141538725001}, {"parameter": "[5, 5, 5, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414869988847098265141538725001}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214072760166379893650}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214072760166379893650}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214070904604325213480}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214070904604325213480}, {"parameter": "[5, 5, 5, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214070904604325213480}, {"parameter": "[5, 5, 5, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214070904604325213480}, {"parameter": "[5, 5, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214072760166379893650}, {"parameter": "[5, 5, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214072760166379893650}, {"parameter": "[5, 5, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214070904604325213480}, {"parameter": "[5, 5, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214070904604325213480}, {"parameter": "[5, 5, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214070904604325213480}, {"parameter": "[5, 5, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414346641214070904604325213480}, {"parameter": "[5, 5, 6, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363146543072186398335124357091}, {"parameter": "[5, 5, 6, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363146543072186398303700250761}, {"parameter": "[5, 5, 6, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363146543072186400849052863491}, {"parameter": "[5, 5, 6, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140081990297171661825424850}, {"parameter": "[5, 5, 6, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140081990297171630401318520}, {"parameter": "[5, 5, 6, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140081990297174175753931250}, {"parameter": "[5, 5, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140081990297171661825424850}, {"parameter": "[5, 5, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140081990297171630401318520}, {"parameter": "[5, 5, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140081990297174175753931250}, {"parameter": "[5, 6, 3, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140082002605137616284996911}, {"parameter": "[5, 6, 3, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140082002605137615848551811}, {"parameter": "[5, 6, 3, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140082002605137615848551811}, {"parameter": "[5, 6, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140073139667017963783900982}, {"parameter": "[5, 6, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140073139667017963347455882}, {"parameter": "[5, 6, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140073139667017963347455882}, {"parameter": "[5, 6, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140791037654709816372671231}, {"parameter": "[5, 6, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140791037654709815936226131}, {"parameter": "[5, 6, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140791037654709815936226131}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140082002454839634772070771}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140082002454839634772070771}, {"parameter": "[5, 6, 4, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140082002454839634772070771}, {"parameter": "[5, 6, 4, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140082002454839634772070771}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140073139516719982270974842}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140073139516719982270974842}, {"parameter": "[5, 6, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140073139516719982270974842}, {"parameter": "[5, 6, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140073139516719982270974842}, {"parameter": "[5, 6, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140791037504411834859745091}, {"parameter": "[5, 6, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140791037504411834859745091}, {"parameter": "[5, 6, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140791037504411834859745091}, {"parameter": "[5, 6, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140791037504411834859745091}, {"parameter": "[5, 6, 5, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140082002454837375771088151}, {"parameter": "[5, 6, 5, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140082002454837089462563811}, {"parameter": "[5, 6, 5, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140082002454837089462563811}, {"parameter": "[5, 6, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140073139516717723269992222}, {"parameter": "[5, 6, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140073139516717436961467882}, {"parameter": "[5, 6, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140073139516717436961467882}, {"parameter": "[5, 6, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140791037504409575858762471}, {"parameter": "[5, 6, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140791037504409289550238131}, {"parameter": "[5, 6, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1824800363140791037504409289550238131}, {"parameter": "[5, 7, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174562143219700117811}, {"parameter": "[5, 7, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174562143219700117811}, {"parameter": "[5, 7, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939186569714043460047491}, {"parameter": "[5, 7, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939186569714043460047491}, {"parameter": "[5, 7, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399545657072549835072288888060}, {"parameter": "[5, 7, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399545657072549835072288888060}, {"parameter": "[5, 7, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174562140674390610851}, {"parameter": "[5, 7, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174562140674390610851}, {"parameter": "[5, 7, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939186569711498150540531}, {"parameter": "[5, 7, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939186569711498150540531}, {"parameter": "[5, 7, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399545657072549832526979381100}, {"parameter": "[5, 7, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399545657072549832526979381100}, {"parameter": "[5, 8, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128389443693661560357993845351}, {"parameter": "[5, 8, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128389443705668925290621680382}, {"parameter": "[5, 8, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128390161591500802786610953121}, {"parameter": "[6, 3, 3, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 381527612429179858938606067120}, {"parameter": "[6, 3, 3, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 381527612429179858974247549087}, {"parameter": "[6, 3, 3, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 381527612429181966745490952640}, {"parameter": "[6, 3, 4, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903677731262718384736261770343}, {"parameter": "[6, 3, 4, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903677731262718384735821080366}, {"parameter": "[6, 3, 4, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903677731262718384771516968503}, {"parameter": "[6, 3, 4, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903677731262718384736261770343}, {"parameter": "[6, 3, 4, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903677731262718384735821080366}, {"parameter": "[6, 3, 4, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903677731262718384771516968503}, {"parameter": "[6, 3, 5, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151641281385022654364477}, {"parameter": "[6, 3, 5, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151641281385022213674500}, {"parameter": "[6, 3, 5, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151641281385022213674500}, {"parameter": "[6, 3, 5, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151518185253877226566847}, {"parameter": "[6, 3, 5, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151518185253876785876870}, {"parameter": "[6, 3, 5, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151518185253876785876870}, {"parameter": "[6, 3, 5, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151518185253877226566847}, {"parameter": "[6, 3, 5, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151518185253876785876870}, {"parameter": "[6, 3, 5, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151518185253876785876870}, {"parameter": "[6, 3, 6, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265641830264354521276}, {"parameter": "[6, 3, 6, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265641830264354521276}, {"parameter": "[6, 3, 6, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265639745620564695406}, {"parameter": "[6, 3, 6, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265639745620564695406}, {"parameter": "[6, 3, 6, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903677730267007480411069448713}, {"parameter": "[6, 3, 6, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903677730267007480411069448713}, {"parameter": "[6, 3, 7, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 381526885558835058337645323700}, {"parameter": "[6, 3, 7, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 381526885558835081465050473913}, {"parameter": "[6, 3, 7, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 381526885560202793378805818980}, {"parameter": "[6, 4, 3, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154392492629143851549354751}, {"parameter": "[6, 4, 3, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154392492629143851112909651}, {"parameter": "[6, 4, 3, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154392492629144137464539761}, {"parameter": "[6, 4, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154392492629143851549354751}, {"parameter": "[6, 4, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154392492629143851112909651}, {"parameter": "[6, 4, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154392492629144137464539761}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711140956742218619664105}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711140956742215084458795}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711140956742215084458795}, {"parameter": "[6, 4, 4, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711140956742218619664105}, {"parameter": "[6, 4, 4, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711140956742215084458795}, {"parameter": "[6, 4, 4, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711140956742215084458795}, {"parameter": "[6, 4, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711140956742218619664105}, {"parameter": "[6, 4, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711140956742215084458795}, {"parameter": "[6, 4, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711140956742215084458795}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711140956742218619664105}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711140956742215084458795}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711140956742215084458795}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139605916201986070878}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139605916201986070878}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139589030587288481331}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139589030587288481331}, {"parameter": "[6, 4, 5, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139589030587288481331}, {"parameter": "[6, 4, 5, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139589030587288481331}, {"parameter": "[6, 4, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139605916201986070878}, {"parameter": "[6, 4, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139605916201986070878}, {"parameter": "[6, 4, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139589030587288481331}, {"parameter": "[6, 4, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139589030587288481331}, {"parameter": "[6, 4, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139589030587288481331}, {"parameter": "[6, 4, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139589030587288481331}, {"parameter": "[6, 4, 6, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154391495550481859499378958}, {"parameter": "[6, 4, 6, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154391495550481573540011355}, {"parameter": "[6, 4, 6, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154391495550504736248787198}, {"parameter": "[6, 4, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154391495550481859499378958}, {"parameter": "[6, 4, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154391495550481573540011355}, {"parameter": "[6, 4, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154391495550504736248787198}, {"parameter": "[6, 5, 3, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503155505074006340694878110158689}, {"parameter": "[6, 5, 3, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505074006340694877673713589}, {"parameter": "[6, 5, 3, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505074006340694877673713589}, {"parameter": "[6, 5, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993255126715821989062447}, {"parameter": "[6, 5, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993255126715821552617347}, {"parameter": "[6, 5, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993255126715821552617347}, {"parameter": "[6, 5, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993255126715821989062447}, {"parameter": "[6, 5, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993255126715821552617347}, {"parameter": "[6, 5, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993255126715821552617347}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505074004972983249877736125}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505074004972983249877736125}, {"parameter": "[6, 5, 4, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505074004972983249877736125}, {"parameter": "[6, 5, 4, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505074004972983249877736125}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253759004193756639883}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253759004193756639883}, {"parameter": "[6, 5, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253759004193756639883}, {"parameter": "[6, 5, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253759004193756639883}, {"parameter": "[6, 5, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253759004193756639883}, {"parameter": "[6, 5, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253759004193756639883}, {"parameter": "[6, 5, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253759004193756639883}, {"parameter": "[6, 5, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253759004193756639883}, {"parameter": "[6, 5, 5, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505074004972960373520590392}, {"parameter": "[6, 5, 5, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505074004972960087561222789}, {"parameter": "[6, 5, 5, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505074004972960087561222789}, {"parameter": "[6, 5, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758981317399494150}, {"parameter": "[6, 5, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758981031440126547}, {"parameter": "[6, 5, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758981031440126547}, {"parameter": "[6, 5, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758981317399494150}, {"parameter": "[6, 5, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758981031440126547}, {"parameter": "[6, 5, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758981031440126547}, {"parameter": "[6, 6, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382633980119873899462128}, {"parameter": "[6, 6, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382633980119873899462128}, {"parameter": "[6, 6, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612590974526803470}, {"parameter": "[6, 6, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612590974526803470}, {"parameter": "[6, 6, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382644770256433583732271}, {"parameter": "[6, 6, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382644770256433583732271}, {"parameter": "[6, 6, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382633980096711582948792}, {"parameter": "[6, 6, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382633980096711582948792}, {"parameter": "[6, 6, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612567812210290134}, {"parameter": "[6, 6, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612567812210290134}, {"parameter": "[6, 6, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382644770233271267218935}, {"parameter": "[6, 6, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382644770233271267218935}, {"parameter": "[6, 7, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 381520424476945854792148049056}, {"parameter": "[6, 7, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 381520424476946037524058152263}, {"parameter": "[6, 7, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 381520424489103499633848814744}, {"parameter": "[7, 3, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 523365468472683609520091608}, {"parameter": "[7, 3, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 523365468472683609030501598}, {"parameter": "[7, 3, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523365468472683930250507159}, {"parameter": "[7, 3, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391876185511861356340344991}, {"parameter": "[7, 3, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876185511861352374665910}, {"parameter": "[7, 3, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876185511861352374665910}, {"parameter": "[7, 3, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391876185511861356340344991}, {"parameter": "[7, 3, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876185511861352374665910}, {"parameter": "[7, 3, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876185511861352374665910}, {"parameter": "[7, 3, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173222863086997014828}, {"parameter": "[7, 3, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173222863086997014828}, {"parameter": "[7, 3, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173204103803373350718}, {"parameter": "[7, 3, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173204103803373350718}, {"parameter": "[7, 3, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173204103803373350718}, {"parameter": "[7, 3, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173204103803373350718}, {"parameter": "[7, 3, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 523356495965480510940052900}, {"parameter": "[7, 3, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 523356495965480193249937510}, {"parameter": "[7, 3, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523356495965688629734644889}, {"parameter": "[7, 4, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158299681834962808503543}, {"parameter": "[7, 4, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158299681834958881023243}, {"parameter": "[7, 4, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158299681834958881023243}, {"parameter": "[7, 4, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158299681834962808503543}, {"parameter": "[7, 4, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158299681834958881023243}, {"parameter": "[7, 4, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158299681834958881023243}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287374077409879708051}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287374077409879708051}, {"parameter": "[7, 4, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287374077409879708051}, {"parameter": "[7, 4, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287374077409879708051}, {"parameter": "[7, 4, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287374077409879708051}, {"parameter": "[7, 4, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287374077409879708051}, {"parameter": "[7, 4, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287374077409879708051}, {"parameter": "[7, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287374077409879708051}, {"parameter": "[7, 4, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373871550214825502}, {"parameter": "[7, 4, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373868976924890843}, {"parameter": "[7, 4, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373868976924890843}, {"parameter": "[7, 4, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373871550214825502}, {"parameter": "[7, 4, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373868976924890843}, {"parameter": "[7, 4, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373868976924890843}, {"parameter": "[7, 5, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524377936308801821}, {"parameter": "[7, 5, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524377936308801821}, {"parameter": "[7, 5, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216617841954873899}, {"parameter": "[7, 5, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216617841954873899}, {"parameter": "[7, 5, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216617841954873899}, {"parameter": "[7, 5, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216617841954873899}, {"parameter": "[7, 5, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524169503353984613}, {"parameter": "[7, 5, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524169503353984613}, {"parameter": "[7, 5, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409409000056691}, {"parameter": "[7, 5, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409409000056691}, {"parameter": "[7, 5, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409409000056691}, {"parameter": "[7, 5, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409409000056691}, {"parameter": "[7, 6, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027568977625220968}, {"parameter": "[7, 6, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360544627297990}, {"parameter": "[7, 6, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027566435759392639}, {"parameter": "[8, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391876296148284752413118371}, {"parameter": "[8, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876296148284748006210411}, {"parameter": "[8, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876296148284748006210411}, {"parameter": "[8, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876185363437008886725579}, {"parameter": "[8, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876185363437008886725579}, {"parameter": "[8, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876185363437008886725579}, {"parameter": "[8, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876185363437008886725579}, {"parameter": "[8, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876185361563717361410451}, {"parameter": "[8, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876185361560857762420011}, {"parameter": "[8, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876185361560857762420011}, {"parameter": "[8, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173205977441305727103}, {"parameter": "[8, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173205977441305727103}, {"parameter": "[8, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173205977441305727103}, {"parameter": "[8, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173205977441305727103}, {"parameter": "[8, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173204101290181421535}, {"parameter": "[8, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173204101290181421535}, {"parameter": "[8, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173204101290181421535}, {"parameter": "[8, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173204101290181421535}, {"parameter": "[8, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173205771581946954570}, {"parameter": "[8, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173203895402536111287}, {"parameter": "[8, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173203895402536111287}, {"parameter": "[9, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391167150314304865404059644}, {"parameter": "[9, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391167150314304865404059644}, {"parameter": "[9, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391167150312194552778564460}, {"parameter": "[9, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391167150312194552778564460}, {"parameter": "[9, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391167150311988665520003850}, {"parameter": "[9, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391167150311988665520003850}, {"parameter": "[10, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158384672253088864625511}, {"parameter": "[5, 3, 3, 3, 5],[0, 2, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391885061977028384038868080}, {"parameter": "[5, 3, 3, 3, 5],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391885061977028383494806380}, {"parameter": "[5, 3, 3, 3, 5],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391885061977028383494806380}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391885048299912105535031740}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391885048299912105535031740}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391885048299912105535031740}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391885048299912105535031740}, {"parameter": "[5, 3, 3, 5, 3],[0, 2, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391885048299680835406154680}, {"parameter": "[5, 3, 3, 5, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391885048299680482369898380}, {"parameter": "[5, 3, 3, 5, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391885048299680482369898380}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173354427520448549550}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173354427520448549550}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173354427520448549550}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173354427520448549550}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173354195897283416190}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173354195897283416190}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173354195897283416190}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173354195897283416190}, {"parameter": "[5, 3, 5, 3, 3],[0, 2, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173204126997942080850}, {"parameter": "[5, 3, 5, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173203897916206935150}, {"parameter": "[5, 3, 5, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173203897916206935150}, {"parameter": "[5, 4, 3, 3, 4],[0, 1, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287526027607236242572}, {"parameter": "[5, 4, 3, 3, 4],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287526027607236242572}, {"parameter": "[5, 4, 3, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287526027607236242572}, {"parameter": "[5, 4, 3, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287526027607236242572}, {"parameter": "[5, 4, 3, 4, 3],[0, 1, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524169531296161772}, {"parameter": "[5, 4, 3, 4, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524169531296161772}, {"parameter": "[5, 4, 3, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524169531296161772}, {"parameter": "[5, 4, 3, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287524169531296161772}, {"parameter": "[5, 4, 4, 3, 3],[0, 1, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373871550560203832}, {"parameter": "[5, 4, 4, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373871550560203832}, {"parameter": "[5, 4, 4, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373871550560203832}, {"parameter": "[5, 4, 4, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373871550560203832}, {"parameter": "[5, 5, 3, 3, 3],[0, 0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275366506617591845701}, {"parameter": "[5, 5, 3, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216411982294846580}, {"parameter": "[5, 5, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216411982294846580}, {"parameter": "[6, 3, 3, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 717911515199908704064753}, {"parameter": "[6, 3, 3, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717911515199908704064753}, {"parameter": "[6, 3, 3, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 717911513092137901351177}, {"parameter": "[6, 3, 3, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717911513092137901351177}, {"parameter": "[6, 3, 4, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145380510491657520}, {"parameter": "[6, 3, 4, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145380510491657520}, {"parameter": "[6, 4, 3, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987921193222565341}, {"parameter": "[6, 4, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987921193222565341}, {"parameter": "[7, 3, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 12158080108388766289}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 381521143470324174774081626592}], "request": [9, 19, 6, 5], "liftedmrdsizebound": 11972515217810996583321424413202999449901, "comments": "", "equal_bound_constraints": []}