{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 543378943916057125960798910073683007821226491613669}, {"parameter": "", "name": "singleton", "value": 1929880702992615813429218299211809253}, {"parameter": "5", "name": "ilp_2", "value": 1357361608205073629238157318970909956}, {"parameter": "6", "name": "ilp_2", "value": 24290932059870711531536404218635756404689489}, {"parameter": "8", "name": "ilp_3", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "9", "name": "ilp_3", "value": 1423323926840885190913361977602773942712110}, {"parameter": "", "name": "anticode", "value": 1357361608205073629238157318970909956}, {"parameter": "", "name": "linear_programming_bound", "value": 1357361608205073629238157318970909956}, {"parameter": "", "name": "sphere_packing", "value": 4448074188896028996716066847026601958669}, {"parameter": "1", "name": "ilp_1", "value": 1357361608205073629238157318970909956}, {"parameter": "2", "name": "ilp_1", "value": 1357361608205073629238157318970909956}, {"parameter": "3", "name": "ilp_1", "value": 1357361608205073629238157318970909956}, {"parameter": "4", "name": "ilp_1", "value": 1357361608205073629238157318970909956}, {"parameter": "10", "name": "ilp_4", "value": 1423063308197532593381802131621609283439287}, {"parameter": "11", "name": "ilp_4", "value": 1423063275412845435845908184697952167583959}, {"parameter": "12", "name": "ilp_4", "value": 1423063275411759586916962960403063732113480}, {"parameter": "13", "name": "ilp_4", "value": 1423063275411759520706724571416234754196243}, {"parameter": "14", "name": "ilp_4", "value": 1423063275411759578739885145667318800551356}, {"parameter": "15", "name": "ilp_4", "value": 88946801625884133254357800885854174259275}, {"parameter": "16", "name": "ilp_4", "value": 5559759671398247120010190900161462979769}, {"parameter": "17", "name": "ilp_4", "value": 347483674624088975050116851712403678256}, {"parameter": "18", "name": "ilp_4", "value": 21717750052142759930311241999755808591}, {"parameter": "", "name": "johnson_1", "value": 1357361608205073629238157318970909956}, {"parameter": "", "name": "johnson_2", "value": 21717750052142759930311241999755808591}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 543378943916057125960798910073683007821226491613669}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1423323926840885190913361977602773942712110}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1423063308197532593381802131621609283439287}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1423063275412845435845908184697952167583959}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1423063275411759586916962960403063732113480}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1423063275411759520706724571416234754196243}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1423063275411759578739885145667318800551356}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 88946801625884133254357800885854174259275}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 5559759671398247120010190900161462979769}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 347483674624088975050116851712403678256}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 21717750052142759930311241999755808591}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 24290932059870711531536404218635756404689489}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 4448074188896028996716066847026601958669}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 4448074984128217567225980238722361793384}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 4448078165059815303125097443275064134313}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 4448090888831701679281274165012298980936}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 4448141784647185036757973755393180274330}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 4448345379556823796214015387730304796211}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1112035399541283132881234491323782760134}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 278260401357305654064876118389051855864}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 69768667946974739630168260520830060896}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 17649962568901527376105041037404037711}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 4633067939214926444552107695607972133}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 1447764006800970059077233164763990609}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1357361608205073629238157318970909956}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1357361683998001942334922536378628028}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1357361987169786287532032960936306743}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1357363199858061154360863350672293712}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1357368050629360467416799063252992185}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 1357387454005759673599003165373353297}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 1357465072170870793858237507294412603}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1357775619401662478998199726119157890}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1359019002611098302517139858448945915}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1364011718605598462181854111263519468}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 1384294361601165011781789103860250475}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1470744349259730632891371359632602598}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 1929880702992615813429218299211809253}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 543378943916057125960798910073683007821226491613669}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 24290932059870711531536404218635756404689489}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1357361608205073629238157318970909956}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1357361608205073629238157318970909956}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1357361608205073629238157318970909956}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1357361608205073629238157318970909956}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 1357361608205073629238157318970909956}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 24874293610256677773440096592981597977625382999}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 4448074188896028996716066847026601958669}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 4448885672259358862895969940569676109178}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 4452147318062322887121904675613367422923}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 4465241866647165559610472110654384617198}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 4518399498260716286378443554946721701196}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 4744319430083592031996359443772849748240}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 5930399004825330641235682700593670008659}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1423323926840885190913361977602773942712110}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1423405375002207623931382512643161534834595}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1423731245962973055345654472056343652071383}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1425035984073735718852194863802900371980425}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1430275083191664564713455013218567490714069}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1451558923086009240938926055887198202339802}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 1542281285740220880120624013774385548216413}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 2024243704924003025844684284218991557841381}, {"parameter": "", "name": "improved_johnson", "value": 1357361608205073629238157318970909953}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1389957129553140665462030685690597193281}], "known_codes": [], "upper_bound": 1357361608205073629238157318970909953, "classified": false, "lower_bound": 1329233067625263639191456833419327040, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1329227995784915872903807060280344576}, {"parameter": "", "name": "sphere_covering", "value": 910459976382504705381437982777}, {"parameter": "", "name": "graham_sloane", "value": 21574681328569755625788376719}, {"parameter": "", "name": "multicomponent", "value": 1329227997022855912261244929217413121}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1329227995784922686988470571707381312}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1329233067625263639191456833419327040}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1329233066406659598935247113888464896}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 5192325292636173904277895656052736}, {"parameter": "(12,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1329228024219017219179840332651692032}, {"parameter": "(12,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1329228024219017219251616451712909312}, {"parameter": "(12,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1329228024219017219179558874854850560}, {"parameter": "(12,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1329228024219017219179563255721492480}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1298074242515503396367433477114624}, {"parameter": "(11,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1298074242515503400589558127774464}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1298074242515503396087058012031744}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1298074242515503396367433477114624}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1267650627903379947467721799232}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1267650627903379947467721799232}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1267650627903379683584931132992}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1267650627903379947467721799232}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 20600560193774628955255212324416}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 20600560193774628691372421658176}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 20600560193774628955255212324416}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 20600560193774628955255212324416}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 324599343753525807397677822096960}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 324599343753525807117302357014080}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 324599343753525811619802472756800}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 324599343753525807397677822096960}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 5192321996945134779797464642991680}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 5192321996945134779793083776349760}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 5192321996945134851850660634408512}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 5192321996945134780074541573191232}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 1329228024219017219179558857674981376}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 1298074242515503396085958500403968}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1267650627903379665992745088576}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 20600560193774628673780235613760}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 324599343753525807116202845386304}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 5192321996945134779793066596480576}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 1329228024219017219179558857674981376}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 1298074242515503396085958500403968}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1267650627903379665992745088576}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 20600560193774628673780235613760}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 324599343753525807116202845386304}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 5192321996945134779793066596480576}, {"parameter": "7", "name": "linkage_GLT", "value": 1329227995784915872903811458348148736}, {"parameter": "8", "name": "linkage_GLT", "value": 1298074214633706907132624350807308}, {"parameter": "9", "name": "linkage_GLT", "value": 1267650600228229401496703222017}, {"parameter": "10", "name": "linkage_GLT", "value": 20600560193748013154596326211585}, {"parameter": "11", "name": "linkage_GLT", "value": 324599343753099933221643284905985}, {"parameter": "12", "name": "linkage_GLT", "value": 5192321996938320695129555169443841}, {"parameter": "7", "name": "improved_linkage", "value": 1329227997022860634573684603334164480}, {"parameter": "8", "name": "improved_linkage", "value": 1298074215842637338450863870443520}, {"parameter": "9", "name": "improved_linkage", "value": 1267650601408827487348961490496}, {"parameter": "10", "name": "improved_linkage", "value": 20600560193748085212466807640065}, {"parameter": "11", "name": "improved_linkage", "value": 324599343753099933226041352710144}, {"parameter": "12", "name": "improved_linkage", "value": 5192321996938320695129555437946124}, {"parameter": "13", "name": "improved_linkage", "value": 5192316778388364323850622615961857}, {"parameter": "14", "name": "improved_linkage", "value": 5192325292498585213271494077972481}, {"parameter": "15", "name": "improved_linkage", "value": 324519791603188378646300564914177}, {"parameter": "16", "name": "improved_linkage", "value": 20282486975199273665393785307137}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1329228024219017219179558857674981376}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1329227996229743253498566505607020572}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1329227995786201544219300169552840256}, {"parameter": "7,3", "name": "generalized_linkage", "value": 1329227995786124803335125300068483072}, {"parameter": "7,4", "name": "generalized_linkage", "value": 1329227997022860634573684603334164480}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1298074242515503396085958500403968}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1298074216378023289339080146509824}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1298074214633785378153578357920833}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1298074214634887505218476340590144}, {"parameter": "8,4", "name": "generalized_linkage", "value": 1298074215842637338450863870443520}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1267650627903379665992745088576}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1267650600654211350207547756880}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1267650600228234190992541935616}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1267650600228301459367184633857}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1267650601408827487348961490496}, {"parameter": "10,0", "name": "generalized_linkage", "value": 20600560193774628673780235613760}, {"parameter": "10,1", "name": "generalized_linkage", "value": 20600560193748118760353247311644}, {"parameter": "10,2", "name": "generalized_linkage", "value": 20600560193748013155769412690380}, {"parameter": "10,3", "name": "generalized_linkage", "value": 20600560193748013158994394015744}, {"parameter": "10,4", "name": "generalized_linkage", "value": 20600560193748085212466807640065}, {"parameter": "11,0", "name": "generalized_linkage", "value": 324599343753525807116202845386304}, {"parameter": "11,1", "name": "generalized_linkage", "value": 324599343753099933247027831282460}, {"parameter": "11,2", "name": "generalized_linkage", "value": 324599343753099933221643575674177}, {"parameter": "11,3", "name": "generalized_linkage", "value": 324599343753099933221643553408268}, {"parameter": "11,4", "name": "generalized_linkage", "value": 324599343753099933226041352710144}, {"parameter": "12,0", "name": "generalized_linkage", "value": 5192321996945134779793066596480576}, {"parameter": "12,1", "name": "generalized_linkage", "value": 5192321996938320695231093427575580}, {"parameter": "12,2", "name": "generalized_linkage", "value": 5192321996938320695129555169513745}, {"parameter": "12,3", "name": "generalized_linkage", "value": 5192321996938320695129555169460481}, {"parameter": "12,4", "name": "generalized_linkage", "value": 5192321996938320695129555437946124}, {"parameter": "13,1", "name": "generalized_linkage", "value": 5192316778388364324256775721098012}, {"parameter": "13,2", "name": "generalized_linkage", "value": 5192316778388364323850622616224833}, {"parameter": "13,3", "name": "generalized_linkage", "value": 5192316778388364323850622615945217}, {"parameter": "13,4", "name": "generalized_linkage", "value": 5192316778388364323850622615961857}, {"parameter": "14,2", "name": "generalized_linkage", "value": 5192325292498585213271494079090961}, {"parameter": "14,3", "name": "generalized_linkage", "value": 5192325292498585213271494077972481}, {"parameter": "14,4", "name": "generalized_linkage", "value": 5192325292498585213271494077972481}, {"parameter": "15,3", "name": "generalized_linkage", "value": 324519791603188378646300564914177}, {"parameter": "15,4", "name": "generalized_linkage", "value": 324519791603188378646300564914177}, {"parameter": "16,4", "name": "generalized_linkage", "value": 20282486975199273665393785307137}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329228024219017219179558857674981376}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227996229743253498566505607020572}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995786201544219300169552840256}, {"parameter": "[7, 12],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1329227995786124803335125300068483072}, {"parameter": "[7, 12],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1329227997022860634573684603334164480}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1298074242515503396085958500403968}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1298074216378023289339080146509824}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1298074214633785378153578357920833}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1298074214634887505218476340590144}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1298074215842637338450863870443520}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1267650627903379665992745088576}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1267650600654211350207547756880}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1267650600228234190992541935616}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1267650600228301459367184633857}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1267650601408827487348961490496}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 20600560193774628673780235613760}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 20600560193748118760353247311644}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 20600560193748013155769412690380}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 20600560193748013158994394015744}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 20600560193748085212466807640065}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 324599343753525807116202845386304}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 324599343753099933247027831282460}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 324599343753099933221643575674177}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 324599343753099933221643553408268}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 324599343753099933226041352710144}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5192321996945134779793066596480576}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5192321996938320695231093427575580}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192321996938320695129555169513745}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192321996938320695129555169460481}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192321996938320695129555437946124}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5192316778388364324256775721098012}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192316778388364323850622616224833}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192316778388364323850622615945217}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192316778388364323850622615961857}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192325292498585213271494079090961}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192325292498585213271494077972481}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192325292498585213271494077972481}, {"parameter": "[15, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 324519791603188378646300564914177}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 324519791603188378646300564914177}, {"parameter": "[16, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 20282486975199273665393785307137}, {"parameter": "[7, 3, 9],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 20283647543796880573280220610560}, {"parameter": "[7, 3, 9],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 20283647543798542112931583161920}, {"parameter": "[7, 3, 9],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 20283649279594424082077217442560}, {"parameter": "[7, 3, 9],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 20312081645037231556019545047040}, {"parameter": "[7, 4, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518556602823962645207357325312}, {"parameter": "[7, 4, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518554867458471166843265482752}, {"parameter": "[7, 4, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518554867460132706494628034112}, {"parameter": "[7, 4, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518556603256014675640262314752}, {"parameter": "[7, 4, 8],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 324546988968698822149582589919232}, {"parameter": "[7, 4, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 324518556602823962645207357325312}, {"parameter": "[7, 4, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 324518554867458471166843265482752}, {"parameter": "[7, 4, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 324518554867460132706494628034112}, {"parameter": "[7, 4, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518556603256014675640262314752}, {"parameter": "[7, 4, 8],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 324546988968698822149582589919232}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5192297449160209014344783202209792}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5192296859829494965790367468499712}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192296859820492039259588672942912}, {"parameter": "[7, 5, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296859820599489800466671400512}, {"parameter": "[7, 5, 7],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296861556395371769612305681152}, {"parameter": "[7, 5, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 5192297447875725331004239704084480}, {"parameter": "[7, 5, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 5192296858545011282449823970374400}, {"parameter": "[7, 5, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192296858536008355919045174817600}, {"parameter": "[7, 5, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296858536115806459923173275200}, {"parameter": "[7, 5, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296860271911688429068807555840}, {"parameter": "[7, 5, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 5192297447875725331004239704084480}, {"parameter": "[7, 5, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 5192296858545011282449823970374400}, {"parameter": "[7, 5, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192296858536008355919045174817600}, {"parameter": "[7, 5, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296858536115806459923173275200}, {"parameter": "[7, 5, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296860271911688429068807555840}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5192297303974510097598952203992832}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192297303360503991343929500903232}, {"parameter": "[7, 6, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192297303360501689755929948108352}, {"parameter": "[7, 6, 6],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192297303360609269599504550655552}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5192296859148914513558560718831360}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192296858534908407303538015741760}, {"parameter": "[7, 6, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296858534906105715538462946880}, {"parameter": "[7, 6, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296858535013685559113065494080}, {"parameter": "[7, 6, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 5192296859148836114896247453236992}, {"parameter": "[7, 6, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192296858534830008641224750147392}, {"parameter": "[7, 6, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296858534827707053225197352512}, {"parameter": "[7, 6, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296858534935286896799799899712}, {"parameter": "[7, 6, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 5192296859150035153261038574092032}, {"parameter": "[7, 6, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192296858536029047006015871002432}, {"parameter": "[7, 6, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296858536026745418016318207552}, {"parameter": "[7, 6, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296858536134325261590920754752}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192325292498518466827029332444736}, {"parameter": "[7, 7, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192325292498511432760334069970496}, {"parameter": "[7, 7, 5],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192325292498511432760334069970496}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192296858561984673582270287791680}, {"parameter": "[7, 7, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296858561977639515575025317440}, {"parameter": "[7, 7, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296858561977639515575025317440}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192296858534834673851799072491072}, {"parameter": "[7, 7, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296858534827639785103810016832}, {"parameter": "[7, 7, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296858534827639785103810016832}, {"parameter": "[7, 7, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192296858534834742250218413180480}, {"parameter": "[7, 7, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296858534827708183523150706240}, {"parameter": "[7, 7, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296858534827708183523150706240}, {"parameter": "[7, 7, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5192296858536015554595696077260352}, {"parameter": "[7, 7, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5192296858536008520529000814786112}, {"parameter": "[7, 7, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5192296858536008520529000814786112}, {"parameter": "[7, 8, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518555393898149495713012823616}, {"parameter": "[7, 8, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518555393898149495713012823616}, {"parameter": "[7, 8, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518553658428390353058913760832}, {"parameter": "[7, 8, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518553658428390353058913760832}, {"parameter": "[7, 8, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426738112891337750080}, {"parameter": "[7, 8, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426738112891337750080}, {"parameter": "[7, 8, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426805323823893362240}, {"parameter": "[7, 8, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518553658426805323823893362240}, {"parameter": "[7, 8, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 324518553659607330584819459077696}, {"parameter": "[7, 8, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 324518553659607330584819459077696}, {"parameter": "[7, 9, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 20282409603757601658140151690816}, {"parameter": "[7, 9, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 20282409603653359987253793896000}, {"parameter": "[7, 9, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 20282409603651681679747089020480}, {"parameter": "[7, 9, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 20282409603651748947024984847936}, {"parameter": "[7, 9, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 20282409604832273039049805723200}, {"parameter": "[8, 3, 8],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 19808251255731947817799778304}, {"parameter": "[8, 3, 8],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 19808249554489540961690957376}, {"parameter": "[8, 3, 8],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 19808251282419324889277527616}, {"parameter": "[8, 3, 8],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19836131350874652361978792704}, {"parameter": "[8, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 316940526094589150368748273664}, {"parameter": "[8, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 316912652938995219881826189312}, {"parameter": "[8, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 316912651237752813025717368384}, {"parameter": "[8, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912652965682596953303938624}, {"parameter": "[8, 4, 7],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 316940533034137924426005203712}, {"parameter": "[8, 4, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 316940526094589150368748273664}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 316912652938995219881826189312}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 316912651237752813025717368384}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912652965682596953303938624}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 316940533034137924426005203712}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 316912794741236494984859366144}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 316912650137708750898214859584}, {"parameter": "[8, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650135631912215609587264}, {"parameter": "[8, 5, 6],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912651863561696143196157504}, {"parameter": "[8, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 316912794662837832671593771776}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 316912650059310088584949265216}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650057233249902343992896}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912651785163033829930563136}, {"parameter": "[8, 5, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 316912794662837832671593771776}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 316912650059310088584949265216}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650057233249902343992896}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912651785163033829930563136}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 316914394402066094618133997376}, {"parameter": "[8, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 316914394365098366067760150080}, {"parameter": "[8, 6, 5],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 316914394365098366067760150080}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 316912650094133710331330504512}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650057165981780956657216}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912650057165981780956657216}, {"parameter": "[8, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 316912650094128925256726423360}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650057161196706352576064}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912650057161196706352576064}, {"parameter": "[8, 6, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 316912650094202108750671193920}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650057234380200297346624}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912650057234380200297346624}, {"parameter": "[8, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 316940524914101371585467233856}, {"parameter": "[8, 7, 4],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 316940524914101371585467233856}, {"parameter": "[8, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650163625299801821656640}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912650163625299801821656640}, {"parameter": "[8, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650057161192600632276544}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912650057161192600632276544}, {"parameter": "[8, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650057161196775340488256}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912650057161196775340488256}, {"parameter": "[8, 7, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 316912650057233267841348646464}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 316912650057233267841348646464}, {"parameter": "[8, 8, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 19807042330016175122755335744}, {"parameter": "[8, 8, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 19807040628676424385952134720}, {"parameter": "[8, 8, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 19807040628669926629427902016}, {"parameter": "[8, 8, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19807040628669930731657672256}, {"parameter": "[8, 8, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19807040628741984275419608640}, {"parameter": "[9, 3, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 19371241446692300170199040}, {"parameter": "[9, 3, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 19343995368524928097957440}, {"parameter": "[9, 3, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 19343995368524928097957440}, {"parameter": "[9, 3, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19371668855719280248485440}, {"parameter": "[9, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 19370060927129176796823552}, {"parameter": "[9, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342814848961804724581952}, {"parameter": "[9, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342814848961804724581952}, {"parameter": "[9, 4, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19370488336156156875109952}, {"parameter": "[9, 4, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 19370060927129176796823552}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342814848961804724581952}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342814848961804724581952}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19370488336156156875109952}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342848043096561164350272}, {"parameter": "[9, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342814781693683337246272}, {"parameter": "[9, 5, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342814781693683337246272}, {"parameter": "[9, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342848038311486560269120}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342814776908608733165120}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342814776908608733165120}, {"parameter": "[9, 5, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342848038311486560269120}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342814776908608733165120}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342814776908608733165120}, {"parameter": "[9, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 19343240652829534153061952}, {"parameter": "[9, 6, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 19343240652829534153061952}, {"parameter": "[9, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342814776904503012865600}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342814776904503012865600}, {"parameter": "[9, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342814776904210955089472}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342814776904210955089472}, {"parameter": "[9, 6, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19342814776908677721077312}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342814776908677721077312}, {"parameter": "[9, 7, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 19370062518141726650250816}, {"parameter": "[9, 7, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342814802897614331885120}, {"parameter": "[9, 7, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342814776904210704496192}, {"parameter": "[9, 7, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342814776904210959300160}, {"parameter": "[9, 7, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19342814776908609828075072}, {"parameter": "[10, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 19646251847935219447608896}, {"parameter": "[10, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 19646251847935219447608896}, {"parameter": "[10, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19646251847935219447608896}, {"parameter": "[10, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 19646251775882023456192064}, {"parameter": "[10, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 19646251775882023456192064}, {"parameter": "[10, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19646251775882023456192064}, {"parameter": "[10, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 19646251775882023456192064}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19646251775882023456192064}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19646251775882023456192064}, {"parameter": "[10, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 19646251775878798204188224}, {"parameter": "[10, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 19646251775878798204188224}, {"parameter": "[10, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 19646251775877625678116416}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19646251775877625678116416}, {"parameter": "[10, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19646251775877625678116416}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19646251775877625678116416}, {"parameter": "[10, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 19646251879852429892302400}, {"parameter": "[10, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 19646251775877625481262656}, {"parameter": "[10, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19646251775877625409697344}, {"parameter": "[10, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19646251775877625682327104}, {"parameter": "[11, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 19348054452627391050397248}, {"parameter": "[11, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19348054452627391050397248}, {"parameter": "[11, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 19348054452622993272321600}, {"parameter": "[11, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19348054452622993272321600}, {"parameter": "[11, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19348054452622993272321600}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19348054452622993272321600}, {"parameter": "[11, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 19348054452622993290163776}, {"parameter": "[11, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19348054452622993003902528}, {"parameter": "[11, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19348054452622993003902528}, {"parameter": "[12, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 19349720846348230032864832}, {"parameter": "[12, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19349720846348229764445760}, {"parameter": "[12, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 19349720846348229764445760}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 28453307783427988545187348480}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 28453307783427988545187348480}, {"parameter": "[7, 3, 4, 5],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 28453307783427988545187348480}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 21079571046471264438845440}, {"parameter": "[7, 3, 5, 4],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 21079571046471264438845440}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 21079571046471264438845440}, {"parameter": "[7, 3, 5, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 21079571046471264438845440}, {"parameter": "[7, 3, 6, 3],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 19344205554992900347002880}, {"parameter": "[7, 3, 6, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 19344205554992900347002880}, {"parameter": "[7, 3, 6, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19344205554992900347002880}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 28455041968399903785905815552}, {"parameter": "[7, 4, 3, 5],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 28455041968399903785905815552}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 28455041968399903785905815552}, {"parameter": "[7, 4, 3, 5],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 28455041968399903785905815552}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22813756018386505157312512}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22813756018386505157312512}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22813756018386505157312512}, {"parameter": "[7, 4, 4, 4],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22813756018386505157312512}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22813756018386505157312512}, {"parameter": "[7, 4, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22813756018386505157312512}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22813756018386505157312512}, {"parameter": "[7, 4, 4, 4],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22813756018386505157312512}, {"parameter": "[7, 4, 5, 3],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 21078390526908141065469952}, {"parameter": "[7, 4, 5, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 21078390526908141065469952}, {"parameter": "[7, 4, 5, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 21078390526908141065469952}, {"parameter": "[7, 4, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 21078390526908141065469952}, {"parameter": "[7, 4, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 21078390526908141065469952}, {"parameter": "[7, 4, 5, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 21078390526908141065469952}, {"parameter": "[7, 5, 3, 4],[0, 2, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 610418001645723987571494912}, {"parameter": "[7, 5, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 610418001640938912967413760}, {"parameter": "[7, 5, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 610418001640938912967413760}, {"parameter": "[7, 5, 4, 3],[0, 2, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 608682636154245623479652352}, {"parameter": "[7, 5, 4, 3],[0, 2, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 608682636154245623479652352}, {"parameter": "[7, 5, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 608682636149460548875571200}, {"parameter": "[7, 5, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 608682636149460548875571200}, {"parameter": "[7, 5, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 608682636149460548875571200}, {"parameter": "[7, 5, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 608682636149460548875571200}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 27877738950106378849484800}, {"parameter": "[8, 3, 4, 4],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 27877738950106378849484800}, {"parameter": "[8, 3, 5, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4583356175891927400448}, {"parameter": "[8, 3, 5, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4583356175891927400448}, {"parameter": "[8, 4, 3, 4],[0, 3, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 55750894471983669780152320}, {"parameter": "[8, 4, 3, 4],[0, 4, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 55750894471983669780152320}, {"parameter": "[8, 4, 4, 3],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 27877738878053182858067968}, {"parameter": "[8, 4, 4, 3],[0, 3, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 27877738878053182858067968}, {"parameter": "[8, 4, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 27877738878053182858067968}, {"parameter": "[8, 4, 4, 3],[0, 4, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 27877738878053182858067968}, {"parameter": "[9, 3, 4, 3],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 54495554537024011632640}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 81130083234420724721426482397296}], "request": [4, 19, 6, 7], "liftedmrdsizebound": 1329235464958599149332239856509258321, "comments": "", "equal_bound_constraints": []}