{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 163526807242071685115835813551024717375245692141260970752894675669210919312157204}, {"parameter": "", "name": "singleton", "value": 25696504083440779881815469635549047}, {"parameter": "3", "name": "ilp_2", "value": 22528828173999107390633096601500531}, {"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": "11", "name": "ilp_3", "value": 273897963281002786554205194045094977972722798619128958}, {"parameter": "", "name": "anticode", "value": 22528828173999107390633096601500531}, {"parameter": "", "name": "linear_programming_bound", "value": 22528828173999107390633096601500531}, {"parameter": "", "name": "sphere_packing", "value": 453157775175801874516256113306018575984195247083}, {"parameter": "1", "name": "ilp_1", "value": 22528828170170202047687233898055781}, {"parameter": "2", "name": "ilp_1", "value": 22528828170170202047687233898055781}, {"parameter": "12", "name": "ilp_4", "value": 273895214517490188299197907937698544120514940341597144}, {"parameter": "13", "name": "ilp_4", "value": 273895214517131005189681436812382509690314476354482005}, {"parameter": "14", "name": "ilp_4", "value": 273895214517131005189681436812382509690314476354482005}, {"parameter": "15", "name": "ilp_4", "value": 41746020548448059107068225691811368863551927033340}, {"parameter": "16", "name": "ilp_4", "value": 6362754207279362852937931523244338398179053678}, {"parameter": "17", "name": "ilp_4", "value": 969792180897411285954931594792362033417854}, {"parameter": "18", "name": "ilp_4", "value": 147811641612449674906279658540011831730}, {"parameter": "", "name": "johnson_1", "value": 22528828170170202047687233898055781}, {"parameter": "", "name": "johnson_2", "value": 147811641612449674906279658540011831730}, {"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": 273897963281002786554205194045094977972722798619128958}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 273895214517490188299197907937698544120514940341597144}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 273895214517131005189681436812382509690314476354482005}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 273895214517131005189681436812382509690314476354482005}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 41746020548448059107068225691811368863551927033340}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 6362754207279362852937931523244338398179053678}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 969792180897411285954931594792362033417854}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 147811641612449674906279658540011831730}, {"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": 3006197786387705274162300274727243220791189137183546}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 3005948867820404371432847436822854886545337046168439}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 3005948929614572432066416483543245311988106263212649}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 3005949488253086213743918609327951475439260074965232}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 4123429741869274515118331726953140047334464468254}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 5656785982103752614160984043054332913189675938}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 7760702814237307889992705972582894948795591}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 10658681325291718499305894902940411257188}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 14783416915379149224210959231030480718}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 22532257735650261092476787823448615}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1799787273835824328996804634818737212291462700999635758401}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 27092989219360500964658360295941898538106107828200492}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 453157775175801874516256113306018575984195247083}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 452850383543791520715531680665588584144648834968}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 452850383003354638423939848322199887815582519029}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 452850393393296188860693189889294168944414091177}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 5594531336366648353654991644283393044596562677}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 69068286677287419945615505762391978358624025}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 852709772698819712382975335190461148140219}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 10528875847329744976038313129724485356000}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 130162466592424101867208659143223805587}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1626782546075424075569765001509630234}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 22563166182475460655083994523524484}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 6363776438657695073256483192556642358637786110}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 862183503411488061062049719622315354307246}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 862183503438921301678362224699116257971723}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 862183503685820467295963439081510935380469}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 862183505907912963588256547306830691827790}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 95783748649617739530041428608246763385758}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 10644065246885100465134000917378625179194}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 1182673940440979869028046884441373628933}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 131410654782195616820954322692498640930}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 14603405965450267084469789291914172523}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 1624826183609934307554195220253178276}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 182789540428878375415246906810759212}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 22844818874189863548698688127341388}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 22528828173999107390633096601500531}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 22528828174078765930288848988778298}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 22528828174795692787213435325167791}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 22528828181248034501382715275259355}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 22528828239319110078594471941402689}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 22528828761958802398247769556996448}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 22528833465717015379878998099375592}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 22528875799620482848919346207243700}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 22529256811195400428875281414304188}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 22532686437389652920486764851973700}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 22563595414759776247019003345629301}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 22845248693960666958040424919666667}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 25696504083440779881815469635549047}, {"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": 22528828173999107390633096601500531}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 22528828170170202047687233898055781}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 22528828170170202047687233898055781}, {"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": 862183503411488061062049719622315354307246}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 862300320715558406024503366206010424527548}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 863353190459991983098839377581437038305083}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 872946003687050108165394498465902222505697}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 969940004093631497183908766512698380240988}, {"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": 453157775175801874516256113306018575984195247083}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 453165353787109735231021735994725405655796423874}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 453233581030962725686941543737416164983105612370}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 453848468537291914559845989429080717225238843128}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 459451536048649972078065065900689123102296538406}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 516173947890059411204736671861061073509533277325}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 1310245169547399954096282639846392095088942247184064927427024}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 3006197786387705274162300274727243220791189137183546}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 3006203373254005638331816098052700838159194926944893}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 3006254214597160363158491699312392556863493904947109}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 3006711856426764171475431008654841572464821834223189}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 3010836289690848829861953431924930458563230833235433}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 3048420117087902100111546902665023944546658327815484}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 3428949924948156164295872437763311435058928918072050}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 273897963281002786554205194045094977972722798619128958}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 273898020537545429429310106251683891360173683706347051}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 273898535847398845264035207113453605446989285805448120}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 273903173714620944540053111600326432230088542229814061}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 273944920882439528211531054116046907415312275778856523}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 274321161489151429793721601684938445714248433980917630}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 277749653300028525677562331982851234958574549198287885}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 312463067466939934510699888848526630609825159414503235}, {"parameter": "", "name": "improved_johnson", "value": 22528828170170202047687233898055747}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 107754689238297473280471005050399543073979}], "known_codes": [], "upper_bound": 22528828170170202047687233898055747, "classified": false, "lower_bound": 22528399544939283830829279817612184, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 22528399544939174411840147874772641}, {"parameter": "", "name": "sphere_covering", "value": 69934753784802759358116}, {"parameter": "", "name": "graham_sloane", "value": 392869422}, {"parameter": "", "name": "multicomponent", "value": 22528399544939283830829279387131851}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (1, 2, 7, 8, 9, 10, 11), (3, 4, 7, 11, 12, 13, 14), (0, 6, 8, 10, 12, 13, 15), (3, 5, 9, 10, 14, 15, 16), (4, 5, 8, 9, 12, 17, 18), (1, 6, 11, 14, 15, 17, 18), (0, 2, 7, 13, 16, 17, 18)]", "name": "ef_computation", "value": 22528399544939283830829279817612184}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 22528399544939174411840147874772642}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 22528399544939174411840147879555611}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 30903154382632612361920641803530}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 42391158275216203514294433202}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 58149737003040059690390170}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 79766443076872509863362}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 523347742446349668725870731}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 22528399544939174411840147879555611}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 30903154382632612361920641803530}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 42391158275216203514294433202}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 58149737003040059690390170}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 79766443076872509863362}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 523347742446349668725870731}, {"parameter": "7", "name": "linkage_GLT", "value": 22528399544939174411840147879555611}, {"parameter": "8", "name": "linkage_GLT", "value": 30903154382632612361920641803530}, {"parameter": "9", "name": "linkage_GLT", "value": 42391158275216203514294433202}, {"parameter": "10", "name": "linkage_GLT", "value": 58149737003040059690390170}, {"parameter": "11", "name": "linkage_GLT", "value": 79766443076872509863362}, {"parameter": "12", "name": "linkage_GLT", "value": 523347742446349668725870731}, {"parameter": "7", "name": "improved_linkage", "value": 22528399544939283830829279387131851}, {"parameter": "8", "name": "improved_linkage", "value": 30903154382632612384797434258491}, {"parameter": "9", "name": "improved_linkage", "value": 42391158275216203514299216171}, {"parameter": "10", "name": "improved_linkage", "value": 58149737003040059690390170}, {"parameter": "11", "name": "improved_linkage", "value": 79766443076872509863362}, {"parameter": "12", "name": "improved_linkage", "value": 523347742446349668725870731}, {"parameter": "13", "name": "improved_linkage", "value": 523347633027383414005966483}, {"parameter": "14", "name": "improved_linkage", "value": 523347633027360537218294491}, {"parameter": "7,0", "name": "generalized_linkage", "value": 22528399544939174411840147879555611}, {"parameter": "7,1", "name": "generalized_linkage", "value": 22528399544939174411863024667227603}, {"parameter": "7,2", "name": "generalized_linkage", "value": 22528399544939283830829279387131851}, {"parameter": "8,0", "name": "generalized_linkage", "value": 30903154382632612361920641803530}, {"parameter": "8,1", "name": "generalized_linkage", "value": 30903154382632612361920646586499}, {"parameter": "8,2", "name": "generalized_linkage", "value": 30903154382632612384797434258491}, {"parameter": "9,0", "name": "generalized_linkage", "value": 42391158275216203514294433202}, {"parameter": "9,1", "name": "generalized_linkage", "value": 42391158275216203514294433202}, {"parameter": "9,2", "name": "generalized_linkage", "value": 42391158275216203514299216171}, {"parameter": "10,0", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "10,1", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "10,2", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "11,0", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "11,1", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "11,2", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "12,0", "name": "generalized_linkage", "value": 523347742446349668725870731}, {"parameter": "12,1", "name": "generalized_linkage", "value": 523347742446349668725870731}, {"parameter": "12,2", "name": "generalized_linkage", "value": 523347742446349668725870731}, {"parameter": "13,1", "name": "generalized_linkage", "value": 523347633027383414005966483}, {"parameter": "13,2", "name": "generalized_linkage", "value": 523347633027383414005966483}, {"parameter": "14,2", "name": "generalized_linkage", "value": 523347633027360537218294491}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147879555611}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411863024667227603}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830829279387131851}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612361920641803530}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612361920646586499}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612384797434258491}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203514294433202}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203514294433202}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203514299216171}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347742446349668725870731}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347742446349668725870731}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347742446349668725870731}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414005966483}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414005966483}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360537218294491}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347742446349668725870731}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347742446349668725870731}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347742446349668725870731}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414005966483}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414005966483}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414005966483}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383414005966483}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360537218294491}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360537218294491}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360537218294491}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 109419012008304814171}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419012008304814171}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 109418989131517142179}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 109418989131517142179}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22876797237931}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 58149737019717241777477236}], "request": [9, 19, 10, 7], "liftedmrdsizebound": 22528399544939283999688568822087791, "comments": "", "equal_bound_constraints": []}