{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 912999988074492896482965524470947601347965366274972702345}, {"parameter": "", "name": "singleton", "value": 6802376752511981034135502513716198679876614477449}, {"parameter": "6", "name": "ilp_2", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "8", "name": "ilp_3", "value": 380933302489206359659857650468008737411766944866881}, {"parameter": "", "name": "anticode", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "", "name": "linear_programming_bound", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "", "name": "sphere_packing", "value": 912999988074492896482965524470947601347965366274972702345}, {"parameter": "1", "name": "ilp_1", "value": 5952082191740081289300713153122071193819594700151}, {"parameter": "2", "name": "ilp_1", "value": 5952082191740081289300713153122071193819595223417}, {"parameter": "3", "name": "ilp_1", "value": 5952082191740081289300713153122197052699576177665}, {"parameter": "4", "name": "ilp_1", "value": 5952082191740081289300713153122197052699576177665}, {"parameter": "5", "name": "ilp_1", "value": 5952082191740081289300713153122197052699576177665}, {"parameter": "9", "name": "ilp_4", "value": 380932030987122919039162832590282275333368310746134}, {"parameter": "10", "name": "ilp_4", "value": 380932030986526093027241647668543215557416110071809}, {"parameter": "11", "name": "ilp_4", "value": 380932030986526092458620931828153979816137456418809}, {"parameter": "12", "name": "ilp_4", "value": 380932030986526092458620813349291585155087647448575}, {"parameter": "13", "name": "ilp_4", "value": 380932030986526092458620813349290432017450757029311}, {"parameter": "14", "name": "ilp_4", "value": 380932030986526092458620929406674959573261128362856}, {"parameter": "15", "name": "ilp_4", "value": 47616660327747122561784722163121277522778108797511}, {"parameter": "", "name": "johnson_1", "value": 5952082191740081289300713153122071193819594700151}, {"parameter": "", "name": "johnson_2", "value": 47616660327747122561784722163121277522778108797511}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 912999988074492896482965524470947601347965366274972702345}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 380933302489206359659857650468008737411766944866881}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 380932030987122919039162832590282275333368310746134}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 380932030986526093027241647668543215557416110071809}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 380932030986526092458620931828153979816137456418809}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 380932030986526092458620813349291585155087647448575}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 380932030986526092458620813349290432017450757029311}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 380932030986526092458620929406674959573261128362856}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 47616660327747122561784722163121277522778108797511}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 5952082540968406510101267749882465116473556303882}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 5952082851392683693265195506920356844914351632173}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 5952085334788066827154181245455598249831782116490}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 5952105202025734971261499227007776943358808965630}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 5952264144701822224319204948748234517488902327968}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 5953535991768492227680656839441004709365400252719}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 5963730368619177621448124291294720467170590564678}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 6046559676210054452038975138257085725151780934662}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 6802376752511981034135502513716198679876614477449}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 912999988074492896482965524470947601347965366274972702345}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 5952082191740081289300713153122197052699576177665}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 5952082191740081289300713153122197052699576177665}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 5952082191740081289300713153122197052699576177665}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 5952082191740081289300713153122071193819595223417}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 5952082191740081289300713153122071193816641908727}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 380933302489206359659857650468008737411766944866881}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 380933461427033103766869766272256497071441676213909}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 380934732934421684670756352851799198315608291148797}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 380944905299115834475589973306488016106524184131294}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 381026303778907808856789352486680709557779467157204}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 381678746045804983440299904984007863856516615224870}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 386979839460023572765271456525260859252696624823151}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 435352316509302207932941670577738326850779860686473}, {"parameter": "", "name": "improved_johnson", "value": 5952082191740081289300713153122071193819594700127}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 47616662811149629281686221998560704908736852989014}], "known_codes": [], "upper_bound": 5952082191740081289300713153122071193816641908727, "classified": false, "lower_bound": 5847659541273260809099790059238431096119284530273, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 5846006549323611672814739330865132078623730171904}, {"parameter": "", "name": "sphere_covering", "value": 19867228343013376514475530969957459341418379}, {"parameter": "", "name": "graham_sloane", "value": 22705392824638696612188877956815408503792193}, {"parameter": "", "name": "multicomponent", "value": 5846006549408682264544993289544089568946514034689}, {"parameter": "", "name": "construction_ST_B", "value": 5847434494168570081734919657279532111490404303101}, {"parameter": "", "name": "EF_special", "value": 5847458897067807309822598445696990677571597238272}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 5846006953856625553850616120756820049262433796096}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 5847434550083545832502895609087711206387407126528}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 5847434494168570081731484085330033103673872491008}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 5847458897067883289789161262085069896599613506569}, {"parameter": "", "name": "two_pivot_block_construction", "value": 5847434145550552720654452958506537357734020382720}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 178457219390185703889250491867513838303673855}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 5847434494169879179673219797219971507799713677825}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 5846006600581413613533496333389750268527149842432}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 5846006600581413613533498713462457634828337545216}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 5846006600581413613533496300333184888439633346560}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 5846006600581413613533496295610820657369801818112}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 22300843937692456135550129154626813238968320}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 22300843937692456135852351386158433677869056}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 22300843937692456135852351386158433677869056}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 22300843937692456135550129154626813238968320}, {"parameter": "(7,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 181641728965499959259706780448893500026519552}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 181641728965499959259711502813124569858048000}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 181641728965499959262124632085870958562246656}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 181641728965499959259744559378504657374543872}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 5846006600581413613533496295610818405569988132864}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 22300843937692456135550119931254776384192512}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 181641728965499959259706780446641700212834304}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 5846006600581413613533496295610818405569988132864}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 22300843937692456135550119931254776384192512}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 181641728965499959259706780446641700212834304}, {"parameter": "7", "name": "linkage_GLT", "value": 5846006549323611672814739330865132078623732302337}, {"parameter": "8", "name": "linkage_GLT", "value": 22300745198530623141535718272648361505980417}, {"parameter": "9", "name": "linkage_GLT", "value": 181237195951618923382916888758671061509210113}, {"parameter": "7", "name": "improved_linkage", "value": 5846006549408706324349690039074373043472107044864}, {"parameter": "8", "name": "improved_linkage", "value": 22300745198571199414003654903027375800525629}, {"parameter": "9", "name": "improved_linkage", "value": 181237195951618923402265089404983205414029674}, {"parameter": "10", "name": "improved_linkage", "value": 178798562372041249686639767742117269350158929}, {"parameter": "11", "name": "improved_linkage", "value": 178451178106143762438541877039532857112920137}, {"parameter": "12", "name": "improved_linkage", "value": 178455652804650928459718178803022648204886529}, {"parameter": "13", "name": "improved_linkage", "value": 178456333561213988944185835303117853034545153}, {"parameter": "14", "name": "improved_linkage", "value": 178456418655824947622426107913703255881809921}, {"parameter": "7,0", "name": "generalized_linkage", "value": 5846006600581413613533496295610818405569988132864}, {"parameter": "7,1", "name": "generalized_linkage", "value": 5846006550115239518167760511375722872859038318592}, {"parameter": "7,2", "name": "generalized_linkage", "value": 5846006549335956831841517772479121925274875216384}, {"parameter": "7,3", "name": "generalized_linkage", "value": 5846006549323804206401351678249769027270410996656}, {"parameter": "7,4", "name": "generalized_linkage", "value": 5846006549323614634882629490239149746667231972453}, {"parameter": "7,5", "name": "generalized_linkage", "value": 5846006549408706324349690039074373043472107044864}, {"parameter": "8,0", "name": "generalized_linkage", "value": 22300843937692456135550119931254776384192512}, {"parameter": "8,1", "name": "generalized_linkage", "value": 22300746768827669299260477335424647999258624}, {"parameter": "8,2", "name": "generalized_linkage", "value": 22300745201556341962809465706949280317288960}, {"parameter": "8,3", "name": "generalized_linkage", "value": 22300745198536509971384826527725412548763896}, {"parameter": "8,4", "name": "generalized_linkage", "value": 22300745198530634460233096365252545825424186}, {"parameter": "8,5", "name": "generalized_linkage", "value": 22300745198571199414003654903027375800525629}, {"parameter": "9,0", "name": "generalized_linkage", "value": 181641728965499959259706780446641700212834304}, {"parameter": "9,1", "name": "generalized_linkage", "value": 181237195951996399717135304715001624088281088}, {"parameter": "9,2", "name": "generalized_linkage", "value": 181237195951619672341397454765377945186476544}, {"parameter": "9,3", "name": "generalized_linkage", "value": 181237195951618923562961669633241600879494456}, {"parameter": "9,4", "name": "generalized_linkage", "value": 181237195951618923382960074305664607510555417}, {"parameter": "9,5", "name": "generalized_linkage", "value": 181237195951618923402265089404983205414029674}, {"parameter": "10,1", "name": "generalized_linkage", "value": 178798562565315019533830617999630632755134464}, {"parameter": "10,2", "name": "generalized_linkage", "value": 178798562372041249709139786654746266236756480}, {"parameter": "10,3", "name": "generalized_linkage", "value": 178798562372041249686645328154293430714186616}, {"parameter": "10,4", "name": "generalized_linkage", "value": 178798562372041249686639758681472481878456017}, {"parameter": "10,5", "name": "generalized_linkage", "value": 178798562372041249686639767742117269350158929}, {"parameter": "11,2", "name": "generalized_linkage", "value": 178451178106143763878549159187556792458945024}, {"parameter": "11,3", "name": "generalized_linkage", "value": 178451178106143762438541877060443034205965176}, {"parameter": "11,4", "name": "generalized_linkage", "value": 178451178106143762438541877039529087650866249}, {"parameter": "11,5", "name": "generalized_linkage", "value": 178451178106143762438541877039532857112920137}, {"parameter": "12,3", "name": "generalized_linkage", "value": 178455652804650928459718178970339335472302968}, {"parameter": "12,4", "name": "generalized_linkage", "value": 178455652804650928459718178803022648203055689}, {"parameter": "12,5", "name": "generalized_linkage", "value": 178455652804650928459718178803022648204886529}, {"parameter": "13,4", "name": "generalized_linkage", "value": 178456333561213988944185835303117853034844745}, {"parameter": "13,5", "name": "generalized_linkage", "value": 178456333561213988944185835303117853034545153}, {"parameter": "14,5", "name": "generalized_linkage", "value": 178456418655824947622426107913703255881809921}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5846006600581413613533496295610818405569988132864}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5846006550115239518167760511375722872859038318592}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5846006549335956831841517772479121925274875216384}, {"parameter": "[7, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323804206401351678249769027270410996656}, {"parameter": "[7, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323614634882629490239149746667231972453}, {"parameter": "[7, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5846006549408706324349690039074373043472107044864}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22300843937692456135550119931254776384192512}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22300746768827669299260477335424647999258624}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22300745201556341962809465706949280317288960}, {"parameter": "[8, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22300745198536509971384826527725412548763896}, {"parameter": "[8, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22300745198530634460233096365252545825424186}, {"parameter": "[8, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 22300745198571199414003654903027375800525629}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 181641728965499959259706780446641700212834304}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 181237195951996399717135304715001624088281088}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 181237195951619672341397454765377945186476544}, {"parameter": "[9, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 181237195951618923562961669633241600879494456}, {"parameter": "[9, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 181237195951618923382960074305664607510555417}, {"parameter": "[9, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 181237195951618923402265089404983205414029674}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 178798562565315019533830617999630632755134464}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 178798562372041249709139786654746266236756480}, {"parameter": "[10, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 178798562372041249686645328154293430714186616}, {"parameter": "[10, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 178798562372041249686639758681472481878456017}, {"parameter": "[10, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 178798562372041249686639767742117269350158929}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 178451178106143763878549159187556792458945024}, {"parameter": "[11, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 178451178106143762438541877060443034205965176}, {"parameter": "[11, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 178451178106143762438541877039529087650866249}, {"parameter": "[11, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 178451178106143762438541877039532857112920137}, {"parameter": "[12, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 178455652804650928459718178970339335472302968}, {"parameter": "[12, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 178455652804650928459718178803022648203055689}, {"parameter": "[12, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 178455652804650928459718178803022648204886529}, {"parameter": "[13, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 178456333561213988944185835303117853034844745}, {"parameter": "[13, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 178456333561213988944185835303117853034545153}, {"parameter": "[14, 2],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 178456418655824947622426107913703255881809921}, {"parameter": "[7, 2, 7],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 178456503726416677854624122118125855474450432}, {"parameter": "[7, 2, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 178406046682896520082993954269230235817869312}, {"parameter": "[7, 2, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 178457304460777434123866357711165696247857152}, {"parameter": "[7, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 178456418658786179422141400156370296220155904}, {"parameter": "[7, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961615266021650511232307474676563574784}, {"parameter": "[7, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 178457219393146935691383635749410136993562624}, {"parameter": "[7, 3, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 178456418655865512439215559615321892034969600}, {"parameter": "[7, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 178405961612345354667585391766426272378388480}, {"parameter": "[7, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 178457219390226268708457795208361732808376320}, {"parameter": "[7, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 178456418848304922996357196568920535339106304}, {"parameter": "[7, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961804784765224727028720024915682525184}, {"parameter": "[7, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 178457219582665679265599432161960376112513024}, {"parameter": "[7, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 178456418655824949032033613584360873589211136}, {"parameter": "[7, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961612304791260403445735465253932630016}, {"parameter": "[7, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 178457219390185705301275849177400714362617856}, {"parameter": "[7, 4, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 178456418655866156187378801126898906374864896}, {"parameter": "[7, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 178405961612345998415748633278003286718283776}, {"parameter": "[7, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 178457219390226912456621036719938747148271616}, {"parameter": "[7, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 178456430997855919375100256362803808327172096}, {"parameter": "[7, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405973954335761603470088513908188670590976}, {"parameter": "[7, 5, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 178457231732216675644342491955843649100578816}, {"parameter": "[7, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 178456418655825039401612725740178102168846336}, {"parameter": "[7, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961612304881629982557891282482512265216}, {"parameter": "[7, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 178457219390185795670854961333217942942253056}, {"parameter": "[7, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 178456418655824949054441915851736030526832640}, {"parameter": "[7, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961612304791282811748002840410870251520}, {"parameter": "[7, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 178457219390185705323684151444775871300239360}, {"parameter": "[7, 5, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 178456418655865601706298753265698842737639424}, {"parameter": "[7, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961612345443934668585416803223081058304}, {"parameter": "[7, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 178457219390226357975540988858738683511046144}, {"parameter": "[7, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 178406751694394735552890716643167170822406144}, {"parameter": "[7, 6, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 178406751501916297824151978688035284198621184}, {"parameter": "[7, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961804789112716091853032092752907599872}, {"parameter": "[7, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 178405961612310674987353115076960866283814912}, {"parameter": "[7, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961804783320815260248839944689449697280}, {"parameter": "[7, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 178405961612304883086521510884812802825912320}, {"parameter": "[7, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961804783228992249491636390520109924352}, {"parameter": "[7, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 178405961612304791263510753681258633486139392}, {"parameter": "[7, 6, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 178405961804823802677369995111242639792406528}, {"parameter": "[7, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 178405961612345364948631257156110753168621568}, {"parameter": "[7, 7, 2],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 178456418679884752336100598518865483360370688}, {"parameter": "[7, 7, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 178405961612681438566023722015270618808713216}, {"parameter": "[7, 7, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 178405961612310768382257360387736938116808704}, {"parameter": "[7, 7, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 178405961612304881831957478078956253575380992}, {"parameter": "[7, 7, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 178405961612304791260761319818113267508707328}, {"parameter": "[7, 7, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 178405961612345365966059903230792658029903872}, {"parameter": "[8, 2, 6],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 183809794128047837570843106167322836992}, {"parameter": "[8, 2, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 183809794128047837570843106167322836992}, {"parameter": "[8, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 183809753574544175939095187348070072320}, {"parameter": "[8, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 183809753574544175939095187348070072320}, {"parameter": "[8, 3, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 183809753563247973080616092339615563776}, {"parameter": "[8, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 183809753563247973080616092339615563776}, {"parameter": "[8, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 183809759448566856008155170162908069888}, {"parameter": "[8, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 183809759448566856008155170162908069888}, {"parameter": "[8, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 183809753563228635663174899832864112640}, {"parameter": "[8, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 183809753563228635663174899832864112640}, {"parameter": "[8, 4, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 183809753563248280043660850903409229824}, {"parameter": "[8, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 183809753563248280043660850903409229824}, {"parameter": "[8, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 183812772638262811882617863787383881728}, {"parameter": "[8, 5, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 183812772638262811882617863787383881728}, {"parameter": "[8, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 183809753563231436615456884667526938624}, {"parameter": "[8, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 183809753563231436615456884667526938624}, {"parameter": "[8, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 183809753563228635748802160605454663680}, {"parameter": "[8, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 183809753563228635748802160605454663680}, {"parameter": "[8, 5, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 183809753563248015646478363481801228288}, {"parameter": "[8, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 183809753563248015646478363481801228288}, {"parameter": "[8, 6, 2],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 185355519889108751723524587731090931712}, {"parameter": "[8, 6, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 183809753564668237427203422096713580544}, {"parameter": "[8, 6, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 183809753563231481151125390298517078016}, {"parameter": "[8, 6, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 183809753563228635675048635941938790400}, {"parameter": "[8, 6, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 183809753563247977983000786148020715520}, {"parameter": "[9, 2, 5],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 404619434510514169011057404233503540772864}, {"parameter": "[9, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 404619434510514149711418894903953951031296}, {"parameter": "[9, 3, 4],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 404619434510514149668253513771473600249856}, {"parameter": "[9, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 404619434510514329317687970128882529468416}, {"parameter": "[9, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 404619434510514149668244310986692463951872}, {"parameter": "[9, 4, 3],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 404619434510514149668253660142859536302080}, {"parameter": "[9, 5, 2],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 404619434511251408138910095002235574419456}, {"parameter": "[9, 5, 2],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 404619434510514149668329953929633760018432}, {"parameter": "[9, 5, 2],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 404619434510514149668244311313404336799744}, {"parameter": "[9, 5, 2],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 404619434510514149668253534068458402086912}, {"parameter": "[7, 2, 5, 2],[0, 5, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 100999205792220029268189371073963413733376}, {"parameter": "", "name": "JohnsonLB", "value": 5847659541273260809099790059238431096119284530273}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 11420818172215862088066397813156097327488537096}], "request": [8, 16, 4, 7], "liftedmrdsizebound": 5847693169586403245654774171956680855563213391497, "comments": "", "equal_bound_constraints": []}