{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 163526807242071685115835813551024717375245692141260970752894675669210919312157204}, {"parameter": "", "name": "singleton", "value": 7258558056330718241144285557911444544132154908}, {"parameter": "4", "name": "ilp_2", "value": 6363776438657695073256483192556642358637786110}, {"parameter": "5", "name": "ilp_2", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "6", "name": "ilp_2", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "8", "name": "ilp_3", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "9", "name": "ilp_3", "value": 6275470353507182995197300009075849386592637967008710875741320445805}, {"parameter": "10", "name": "ilp_3", "value": 1310245169547399954096282639846392095088942247184064927427024}, {"parameter": "", "name": "anticode", "value": 6363776438657695073256483192556642358637786110}, {"parameter": "", "name": "linear_programming_bound", "value": 6363776438657695073256483192556642358637786110}, {"parameter": "", "name": "sphere_packing", "value": 860832853716562558944972792938190102679687994239857215602974626}, {"parameter": "1", "name": "ilp_1", "value": 6363776438657695073255766265699743122441466003}, {"parameter": "2", "name": "ilp_1", "value": 6363776438657695073255766265699743122441466003}, {"parameter": "3", "name": "ilp_1", "value": 6363776438657695073256483192556642358637786110}, {"parameter": "11", "name": "ilp_4", "value": 1310148179272404993047338089704440792315955762438018787067635}, {"parameter": "12", "name": "ilp_4", "value": 1310148179271167064933621133449487113259674378145310178435202}, {"parameter": "13", "name": "ilp_4", "value": 1310148179271167064674805500461663662783460856901367249723424}, {"parameter": "14", "name": "ilp_4", "value": 1310148179271167064674805500461663662783460856901367249723424}, {"parameter": "15", "name": "ilp_4", "value": 1797318435049923905473204895301331788806268523564019553769}, {"parameter": "16", "name": "ilp_4", "value": 2465457329634522125282179054939696224431317938558466406}, {"parameter": "17", "name": "ilp_4", "value": 3381971671773582854706400037386109065300396186537626}, {"parameter": "18", "name": "ilp_4", "value": 4639192971456138564158243421153511181900212367612}, {"parameter": "", "name": "johnson_1", "value": 6363776438657695073255766265699743122441466003}, {"parameter": "", "name": "johnson_2", "value": 4639192971456138564158243421153511181900212367612}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 163526807242071685115835813551024717375245692141260970752894675669210919312157204}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 6275470353507182995197300009075849386592637967008710875741320445805}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1310245169547399954096282639846392095088942247184064927427024}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1310148179272404993047338089704440792315955762438018787067635}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1310148179271167064933621133449487113259674378145310178435202}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1310148179271167064674805500461663662783460856901367249723424}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1310148179271167064674805500461663662783460856901367249723424}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1797318435049923905473204895301331788806268523564019553769}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 2465457329634522125282179054939696224431317938558466406}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 3381971671773582854706400037386109065300396186537626}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 4639192971456138564158243421153511181900212367612}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 860832853716562558944972792938190102679687994239857215602974626}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1599811281771890945790682038980811532907737151134889384292}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1599811282179731503456225499501871752051667914324105032278}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1599811285800014829469288538119697282823611033353436851769}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1599811318835100746905372885061410782786677040765502425890}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1599811616150936249054043262412202015088227395982631541314}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 19750756615366681906534341327944213124245449700116475778}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 243840347412015964820363002767177510781847146540879972}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 3010785362423756036533360557868984372958013643613230}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 37215574334568529943541754783745555993199858999604}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 464556543863062671428151127438851173429250221071}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 6372516557474480965096086648549180037473526732}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 27092989219360500964658360295941898538106107828200492}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 27089318642234260256707274197320484453759207675394548}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 27089318595334805564148286633523093154712975832934147}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 27089318664391871670669761214525239195267101863444663}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 27089319285913787358443358838095683739758255319225148}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 3010327799692125704069187939611346889668300060479216}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 334480866623100954394226662154327885044256663805211}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 37165223746822951666354162065775613906600058697811}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 4130090921844683570685277988188591314107494274262}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 459521564889213784236748686551549713847614556167}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 51688287102667389411529519847850565211757698511}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 6452160873540790561119698311010285947475340508}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 6363776438657695073256483192556642358637786110}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 6363776438680193378698988980532309630141789889}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 6363776438882678127687991580504177100089288359}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 6363776440705040869111506143860632214043244781}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 6363776457106305584244921575671717336380922931}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 6363776604717691448510273374296573699016940264}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 6363777933220441900190130262474076014510032425}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 6363789889767687544250529430778066714111877079}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 6363897500514747083038889052415479334887727121}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 6364866144830522650255996003573738495491802867}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 6373595915062812640790300612154209544849249993}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 6453145648735148361173090798350641926715388223}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 7258558056330718241144285557911444544132154908}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 163526807242071685115835813551024717375245692141260970752894675669210919312157204}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 514666999082755167841826312697130569567303971133134122093988594785444}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 6363776438657695073256483192556642358637786110}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 6363776438657695073256483192556642358637786110}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 6363776438657695073255766265699743122441466003}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 6363776438657695073255766265699743122441466003}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 30390572334816066843807995322482124979602755729823033346632621610977267362}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 860832853716562558944972792938190102679687994239857215602974626}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 27092989219360500964658360295941898538106107828200492}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 27093397033597735159168911273676257617156838306059659}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 27097068225607603746779526047231977583829553610132947}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 27130153778995685562893363881497025257190005668475756}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 27431599932086992233665872064797636913446651956547370}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 30479555479999530804764266430575519529272996550879094}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 6275470353507182995197300009075849386592637967008710875741320445805}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1599811281771890945790682038980811532907737151134889384292}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1599814254940122174149266728824814835118574042994559251532}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1599841013906747063088281435995259442180788569668450255315}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1600081881268008555099810593223210618761166364868289159804}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1602252661190487842409757250825941164429117570851772408928}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 1622033558237110230870879982770056647329807309221776174561}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 1822284614751523407499502801942003204332031987427203025256}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 1310245169547399954096282639846392095088942247184064927427024}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 1310245443111397887718353958254333239657559242622631158619808}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 1310247905192011423231242135548603463869096064256782046940676}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 1310270064292742362992959747054383501062701494702585107239152}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 1310469526595892391670906056332920645632528755928474836079538}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 1312267152828518725197390523006119191179533953645294696188474}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 1328647991049315422253797739455056453304556858334130637648925}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 1494501169196850169221724045371783522951821010983978261474800}, {"parameter": "", "name": "improved_johnson", "value": 6363776438657695073255766265699743122441465986}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 3381971754744692602016975021060826701852658756187858}], "known_codes": [], "upper_bound": 6363776438657695073255766265699743122441465986, "classified": false, "lower_bound": 6362685441135947031609614052473536985805357056, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 6362685441135942358474828762538534230890216321}, {"parameter": "", "name": "sphere_covering", "value": 19754650965179813203759179898259332}, {"parameter": "", "name": "graham_sloane", "value": 530708332546104013950924279}, {"parameter": "", "name": "multicomponent", "value": 6362685441135945792158649055051018888744088572}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 6362685441135942358474828762538534230890216322}, {"parameter": "", "name": "two_pivot_block_construction", "value": 6362685441135947031609614052473536985805357056}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 6362685441135942358474828762538557107682677844}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 969773729787523602876821942164080820343131}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 147808829414345923316083210206383297602}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 22528399544939174411840147874772642}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 16423206701944478438743952458558344571}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 11972515185996226956528279871912109706484}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 6362685441135942358474828762538557107682677844}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 969773729787523602876821942164080820343131}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 147808829414345923316083210206383297602}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 22528399544939174411840147874772642}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 16423206701944478438743952458558344571}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 11972515185996226956528279871912109706484}, {"parameter": "7", "name": "linkage_GLT", "value": 6362685441135942358474828762538557107682677844}, {"parameter": "8", "name": "linkage_GLT", "value": 969773729787523602876821942164080820343131}, {"parameter": "9", "name": "linkage_GLT", "value": 147808829414345923316083210206383297602}, {"parameter": "10", "name": "linkage_GLT", "value": 22528399544939174411840147874772642}, {"parameter": "11", "name": "linkage_GLT", "value": 16423206701944478438743952458558344571}, {"parameter": "12", "name": "linkage_GLT", "value": 11972515185996226956528279871912109706484}, {"parameter": "7", "name": "improved_linkage", "value": 6362685441135945792158649055053227204265737089}, {"parameter": "8", "name": "improved_linkage", "value": 969773729787524126224454969524900463452449}, {"parameter": "9", "name": "improved_linkage", "value": 147808829414345923425502199337896188981}, {"parameter": "10", "name": "improved_linkage", "value": 22528399544939174411863024667234164}, {"parameter": "11", "name": "improved_linkage", "value": 16423206701944478438743952458563127540}, {"parameter": "12", "name": "improved_linkage", "value": 11972515185996226956528279871912109706484}, {"parameter": "13", "name": "improved_linkage", "value": 11972515182562078018215605132780759718421}, {"parameter": "14", "name": "improved_linkage", "value": 11972515182562026249795450978804819240769}, {"parameter": "15", "name": "improved_linkage", "value": 16423203268260668708536172941192200193}, {"parameter": "7,0", "name": "generalized_linkage", "value": 6362685441135942358474829748812030179431786090}, {"parameter": "7,1", "name": "generalized_linkage", "value": 6362685441135942358475555632883334871027653661}, {"parameter": "7,2", "name": "generalized_linkage", "value": 6362685441135942358998176395565895050538108609}, {"parameter": "7,3", "name": "generalized_linkage", "value": 6362685441135945792158649055053227204265737089}, {"parameter": "8,0", "name": "generalized_linkage", "value": 969773729787523602876821942370286145737071}, {"parameter": "8,1", "name": "generalized_linkage", "value": 969773729787523602876823309715857372943578}, {"parameter": "8,2", "name": "generalized_linkage", "value": 969773729787523602876931361153212328451541}, {"parameter": "8,3", "name": "generalized_linkage", "value": 969773729787524126224454969524900463452449}, {"parameter": "9,0", "name": "generalized_linkage", "value": 147808829414345923316083210206426410004}, {"parameter": "9,1", "name": "generalized_linkage", "value": 147808829414345923316083210492304461231}, {"parameter": "9,2", "name": "generalized_linkage", "value": 147808829414345923316083233083175759124}, {"parameter": "9,3", "name": "generalized_linkage", "value": 147808829414345923425502199337896188981}, {"parameter": "10,0", "name": "generalized_linkage", "value": 22528399544939174411840147917885044}, {"parameter": "10,1", "name": "generalized_linkage", "value": 22528399544939174411840147874832420}, {"parameter": "10,2", "name": "generalized_linkage", "value": 22528399544939174411840147879555611}, {"parameter": "10,3", "name": "generalized_linkage", "value": 22528399544939174411863024667234164}, {"parameter": "11,0", "name": "generalized_linkage", "value": 16423206701944478438743952458601456973}, {"parameter": "11,1", "name": "generalized_linkage", "value": 16423206701944478438743952458558404349}, {"parameter": "11,2", "name": "generalized_linkage", "value": 16423206701944478438743952458558344571}, {"parameter": "11,3", "name": "generalized_linkage", "value": 16423206701944478438743952458563127540}, {"parameter": "12,0", "name": "generalized_linkage", "value": 11972515185996226956528279871912497659143}, {"parameter": "12,1", "name": "generalized_linkage", "value": 11972515185996226956528279871912109766262}, {"parameter": "12,2", "name": "generalized_linkage", "value": 11972515185996226956528279871912109706484}, {"parameter": "12,3", "name": "generalized_linkage", "value": 11972515185996226956528279871912109706484}, {"parameter": "13,1", "name": "generalized_linkage", "value": 11972515182562078018215605132780759778199}, {"parameter": "13,2", "name": "generalized_linkage", "value": 11972515182562078018215605132780759718421}, {"parameter": "13,3", "name": "generalized_linkage", "value": 11972515182562078018215605132780759718421}, {"parameter": "14,2", "name": "generalized_linkage", "value": 11972515182562026249795450978804819240769}, {"parameter": "14,3", "name": "generalized_linkage", "value": 11972515182562026249795450978804819240769}, {"parameter": "15,3", "name": "generalized_linkage", "value": 16423203268260668708536172941192200193}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6362685441135942358474829748812030179431786090}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6362685441135942358475555632883334871027653661}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6362685441135942358998176395565895050538108609}, {"parameter": "[7, 12],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6362685441135945792158649055053227204265737089}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 969773729787523602876821942370286145737071}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 969773729787523602876823309715857372943578}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 969773729787523602876931361153212328451541}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 969773729787524126224454969524900463452449}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829414345923316083210206426410004}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414345923316083210492304461231}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414345923316083233083175759124}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 147808829414345923425502199337896188981}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147917885044}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147874832420}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147879555611}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411863024667234164}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423206701944478438743952458601456973}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423206701944478438743952458558404349}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423206701944478438743952458558344571}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 16423206701944478438743952458563127540}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515185996226956528279871912497659143}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515185996226956528279871912109766262}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515185996226956528279871912109706484}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515185996226956528279871912109706484}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562078018215605132780759778199}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562078018215605132780759718421}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562078018215605132780759718421}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562026249795450978804819240769}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562026249795450978804819240769}, {"parameter": "[15, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260668708536172941192200193}, {"parameter": "[7, 4, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423206701944478438743952493910515030}, {"parameter": "[7, 4, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423206701944478438743952458601456973}, {"parameter": "[7, 4, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423206701944478438743952458601456973}, {"parameter": "[7, 4, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 16423206701944478438744158663888521480}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562543136235767387537164205688}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562543136235767387257795834248}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562543136235767387254303729605}, {"parameter": "[7, 5, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562543136235767387254303729605}, {"parameter": "[7, 5, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562543136235767387537164205688}, {"parameter": "[7, 5, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562543136235767387257795834248}, {"parameter": "[7, 5, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562543136235767387254303729605}, {"parameter": "[7, 5, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562543136235767387254303729605}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562020515473084827385121385258}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562020515473084827353692443471}, {"parameter": "[7, 6, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562020515473084827353692443471}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019788712159015880031519080}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019788712159015848602577293}, {"parameter": "[7, 6, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019788712159015848602577293}, {"parameter": "[7, 6, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019788712159015880031519080}, {"parameter": "[7, 6, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019788712159015848602577293}, {"parameter": "[7, 6, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019788712159015848602577293}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019789589013522382728199367}, {"parameter": "[7, 7, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019789589013522382728199367}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019788602891997249368524007}, {"parameter": "[7, 7, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019788602891997249368524007}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019788602740049593882673045}, {"parameter": "[7, 7, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019788602740049593882673045}, {"parameter": "[7, 7, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019788602740049593882673045}, {"parameter": "[7, 7, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562019788602740049593882673045}, {"parameter": "[7, 8, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260658146231674006039432199}, {"parameter": "[7, 8, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260658146231467832525630759}, {"parameter": "[7, 8, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260658146231467800757150661}, {"parameter": "[7, 8, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260658146231490677549605622}, {"parameter": "[8, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503156028340874628676144551767830}, {"parameter": "[8, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503156028340874628676109242709773}, {"parameter": "[8, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503156028340874628676109242709773}, {"parameter": "[8, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503156028340874628676109242709773}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993351020304707033662104}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993351020304703541557461}, {"parameter": "[8, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993351020304703541557461}, {"parameter": "[8, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993351020304707033662104}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993351020304703541557461}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993351020304703541557461}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993242968867348194311871}, {"parameter": "[8, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993242968867348194311871}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241601338448821653213}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241601338448821653213}, {"parameter": "[8, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241601338448821653213}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241601338448821653213}, {"parameter": "[8, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241601521777316262759}, {"parameter": "[8, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241601315857950302103}, {"parameter": "[8, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241601315572033981221}, {"parameter": "[8, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993241601315572033981221}, {"parameter": "[9, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347742446349668768983133}, {"parameter": "[9, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347742446349668768983133}, {"parameter": "[9, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347742446349668768983133}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414049078885}, {"parameter": "[9, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414049078885}, {"parameter": "[9, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414049078885}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414049078885}, {"parameter": "[9, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360823177727775}, {"parameter": "[9, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360537261406893}, {"parameter": "[9, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360537261406893}, {"parameter": "[10, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419012008347926573}, {"parameter": "[10, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419012008347926573}, {"parameter": "[10, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109418989131560254581}, {"parameter": "[10, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109418989131560254581}, {"parameter": "[11, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419012008352709542}, {"parameter": "[7, 4, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419218248944049137}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 147808829414869270949110776669597285792}], "request": [9, 19, 8, 7], "liftedmrdsizebound": 6362685441135946275624830110929631482194173936, "comments": "", "equal_bound_constraints": []}