{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "", "name": "singleton", "value": 7473133215765585192791624069181}, {"parameter": "4", "name": "ilp_2", "value": 5695711321711525533836291519251}, {"parameter": "5", "name": "ilp_2", "value": 280353734208548278360038273757809566376}, {"parameter": "6", "name": "ilp_2", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "8", "name": "ilp_3", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "9", "name": "ilp_3", "value": 109513513312304355768254719250504246386128876}, {"parameter": "10", "name": "ilp_3", "value": 1390558929027550120224123434105442371309}, {"parameter": "", "name": "anticode", "value": 5695711321711525533836291519251}, {"parameter": "", "name": "linear_programming_bound", "value": 5695711321711525533836291519251}, {"parameter": "", "name": "sphere_packing", "value": 730097206108725145069772253321837589717901}, {"parameter": "1", "name": "ilp_1", "value": 5695704427338189846705425766781}, {"parameter": "2", "name": "ilp_1", "value": 5695704427338189846705905241104}, {"parameter": "3", "name": "ilp_1", "value": 5695704427338211599111121258141}, {"parameter": "11", "name": "ilp_4", "value": 1389506927790757207569091282559831996412}, {"parameter": "12", "name": "ilp_4", "value": 1389506925585259923915564863847281320823}, {"parameter": "13", "name": "ilp_4", "value": 1389506925585231702584027853639170892459}, {"parameter": "14", "name": "ilp_4", "value": 1389506925585231702584027853639170892459}, {"parameter": "15", "name": "ilp_4", "value": 11124443180761123768301831083651698359}, {"parameter": "16", "name": "ilp_4", "value": 88995317987046829079166386752825589}, {"parameter": "17", "name": "ilp_4", "value": 711962907840342347030298497088249}, {"parameter": "", "name": "johnson_1", "value": 5695704427338189846705425766781}, {"parameter": "", "name": "johnson_2", "value": 711962907840342347030298497088249}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 109513513312304355768254719250504246386128876}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1390558929027550120224123434105442371309}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1389506927790757207569091282559831996412}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1389506925585259923915564863847281320823}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1389506925585231702584027853639170892459}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1389506925585231702584027853639170892459}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 11124443180761123768301831083651698359}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 88995317987046829079166386752825589}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 711962907840342347030298497088249}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 730097206108725145069772253321837589717901}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 44857290852496442894603174296177338675}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 44857309225111444764546562107765643420}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 44857400213534736112929690191025972322}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 44857859535617544331153060037982289054}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 44860156287416664981871785726069920935}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1794751824286246963998611450168317555}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 71883384796190235234690143154006749}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 2893973176981413127339795897729722}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 119617291431924261342678501791063}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 5741569561206377531892381925397}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 280353734208548278360038273757809566376}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 71775150977756254955337004185721795}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 71683284653475159811673582962371227}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 71683297299370502366243565808607880}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 71683473416423114080687504404510958}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 71684354048702059423371908332651710}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 14355397056397512155607397722130018}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 2871785009478081022089786946075049}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 575268677435032026245939764131638}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 115943958965846219014987861752003}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 24116141923396826040301218146167}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 5980419841651310318708214413279}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 5695711321711525533836291519251}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 5695711437278347833679806697994}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 5695712015112518321165387460731}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 5695714904284845466047048334808}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 5695729350183348971003936846695}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 5695801580597572785235668677767}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 5696162755712821153219401338268}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 5697969207576361798610564943772}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 5707015897121644879057643747420}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 5752613004368771529065109695746}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 5990068105802896586080002792728}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 7473133215765585192791624069181}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 870332534209370628368397575515105530919233947896291056}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 14259528298893356287455013230655223211344523276}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 280353734208548278360038273757809566376}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 5695711321711525533836291519251}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 5695704427338211599111121258141}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 5695704427338189846705905241104}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 5695704427338189846705425766781}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 730097206108725145069772253321837589717901}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 71775150977756254955337004185721795}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 71793501889972436278526863946705845}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 71885544833558332277031337884224624}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 72349322503862969319374587233523212}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 74760966381531963160696189394221753}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 89713158126737683926413676950472541}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 109513513312304355768254719250504246386128876}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 44857290852496442894603174296177338675}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 44859955186336470658877181239780752165}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 44873740570245793402335452233371797408}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 44942777065870157924755012386373176117}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 45290721002529052511048626755149086087}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 47102349064683654093189889686305058369}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 58406906859355266032686252828239742494}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 1390558929027550120224123434105442371309}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 1390576585978454787700943425340734946041}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 1390664876374509782308340187184896998469}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 1391106469438208326944831148406281372312}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 1393317967492848259403131136291302534479}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 1404464488185215948739328281307476488647}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 1462515562229134456453926660522680924697}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 1825218456001772231793929085435472462931}, {"parameter": "", "name": "improved_johnson", "value": 5695704427338189846705425766766}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 17799117897225366758441082356864252}], "known_codes": [], "upper_bound": 5695704427338189846705425766766, "classified": false, "lower_bound": 5684341886118054638623037325312, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 5684341886080801486968994140625}, {"parameter": "", "name": "sphere_covering", "value": 17780887500206297858076}, {"parameter": "", "name": "graham_sloane", "value": 62714068428076297}, {"parameter": "", "name": "multicomponent", "value": 5684341886118054389953613281251}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 5684341886080801486968994140626}, {"parameter": "", "name": "two_pivot_block_construction", "value": 5684341886118054638623037325312}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 5684341886080801486968994218751}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 9094947017729282379150390626}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 14551915228366851806640626}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 23283064365386962890626}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 2910420298576354980468751}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 5684341886080801486968994218751}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 9094947017729282379150390626}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 14551915228366851806640626}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 23283064365386962890626}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 2910420298576354980468751}, {"parameter": "7", "name": "linkage_GLT", "value": 5684341886080801486968994218751}, {"parameter": "8", "name": "linkage_GLT", "value": 9094947017729282379150390626}, {"parameter": "9", "name": "linkage_GLT", "value": 14551915228366851806640626}, {"parameter": "10", "name": "linkage_GLT", "value": 23283064365386962890626}, {"parameter": "11", "name": "linkage_GLT", "value": 2910420298576354980468751}, {"parameter": "7", "name": "improved_linkage", "value": 5684341886118054389953857503525}, {"parameter": "8", "name": "improved_linkage", "value": 9094947017729759216308609501}, {"parameter": "9", "name": "improved_linkage", "value": 14551915228366857910156876}, {"parameter": "10", "name": "improved_linkage", "value": 23283064365386962968751}, {"parameter": "11", "name": "improved_linkage", "value": 2910420298576354980468751}, {"parameter": "12", "name": "improved_linkage", "value": 2910383344173431396484376}, {"parameter": "13", "name": "improved_linkage", "value": 2910383045769506835937501}, {"parameter": "14", "name": "improved_linkage", "value": 2910383045692450226562501}, {"parameter": "7,0", "name": "generalized_linkage", "value": 5684341886080801486999806644395}, {"parameter": "7,1", "name": "generalized_linkage", "value": 5684341886080801490942383220026}, {"parameter": "7,2", "name": "generalized_linkage", "value": 5684341886080801963806152359501}, {"parameter": "7,3", "name": "generalized_linkage", "value": 5684341886118054389953857503525}, {"parameter": "8,0", "name": "generalized_linkage", "value": 9094947017729282379150785020}, {"parameter": "8,1", "name": "generalized_linkage", "value": 9094947017729282379404378251}, {"parameter": "8,2", "name": "generalized_linkage", "value": 9094947017729282385253906876}, {"parameter": "8,3", "name": "generalized_linkage", "value": 9094947017729759216308609501}, {"parameter": "9,0", "name": "generalized_linkage", "value": 14551915228366851807035020}, {"parameter": "9,1", "name": "generalized_linkage", "value": 14551915228366851806643876}, {"parameter": "9,2", "name": "generalized_linkage", "value": 14551915228366851806718751}, {"parameter": "9,3", "name": "generalized_linkage", "value": 14551915228366857910156876}, {"parameter": "10,0", "name": "generalized_linkage", "value": 23283064365386963285020}, {"parameter": "10,1", "name": "generalized_linkage", "value": 23283064365386962893876}, {"parameter": "10,2", "name": "generalized_linkage", "value": 23283064365386962890626}, {"parameter": "10,3", "name": "generalized_linkage", "value": 23283064365386962968751}, {"parameter": "11,0", "name": "generalized_linkage", "value": 2910420298576354980863145}, {"parameter": "11,1", "name": "generalized_linkage", "value": 2910420298576354980472001}, {"parameter": "11,2", "name": "generalized_linkage", "value": 2910420298576354980468751}, {"parameter": "11,3", "name": "generalized_linkage", "value": 2910420298576354980468751}, {"parameter": "12,1", "name": "generalized_linkage", "value": 2910383344173431396487626}, {"parameter": "12,2", "name": "generalized_linkage", "value": 2910383344173431396484376}, {"parameter": "12,3", "name": "generalized_linkage", "value": 2910383344173431396484376}, {"parameter": "13,2", "name": "generalized_linkage", "value": 2910383045769506835937501}, {"parameter": "13,3", "name": "generalized_linkage", "value": 2910383045769506835937501}, {"parameter": "14,3", "name": "generalized_linkage", "value": 2910383045692450226562501}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5684341886080801486999806644395}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5684341886080801490942383220026}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5684341886080801963806152359501}, {"parameter": "[7, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5684341886118054389953857503525}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9094947017729282379150785020}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9094947017729282379404378251}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 9094947017729282385253906876}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 9094947017729759216308609501}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 14551915228366851807035020}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 14551915228366851806643876}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551915228366851806718751}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 14551915228366857910156876}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23283064365386963285020}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23283064365386962893876}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 23283064365386962890626}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 23283064365386962968751}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2910420298576354980863145}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2910420298576354980472001}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910420298576354980468751}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910420298576354980468751}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2910383344173431396487626}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910383344173431396484376}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910383344173431396484376}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910383045769506835937501}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910383045769506835937501}, {"parameter": "[14, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910383045692450226562501}, {"parameter": "[7, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2910420298576355041994370}, {"parameter": "[7, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2910420298576354980863145}, {"parameter": "[7, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910420298576354980863145}, {"parameter": "[7, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910420298576354980863145}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2910383046150207529785520}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910383046150207519925645}, {"parameter": "[7, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910383046150207519925645}, {"parameter": "[7, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2910383046150207529785520}, {"parameter": "[7, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910383046150207519925645}, {"parameter": "[7, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910383046150207519925645}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910383045677343750394395}, {"parameter": "[7, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910383045677343750394395}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910383045673376465238145}, {"parameter": "[7, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910383045673376465238145}, {"parameter": "[7, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2910383045673376465238145}, {"parameter": "[7, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910383045673376465238145}, {"parameter": "[7, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910383045673401173831895}, {"parameter": "[7, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910383045673370412581895}, {"parameter": "[7, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910383045673370361800645}, {"parameter": "[7, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2910383045673370361800645}, {"parameter": "[8, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 37253379821777738145}, {"parameter": "[8, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 37253379821777738145}, {"parameter": "[8, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 37253379821777738145}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252902990723050645}, {"parameter": "[8, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 37252902990723050645}, {"parameter": "[8, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 37252902990723050645}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 37252902990723050645}, {"parameter": "[8, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 37252902984873519395}, {"parameter": "[8, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 37252902984619613145}, {"parameter": "[8, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 37252902984619613145}, {"parameter": "[9, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 476843262113145}, {"parameter": "[9, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 476843262113145}, {"parameter": "[9, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 476837158675645}, {"parameter": "[9, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 476837158675645}, {"parameter": "[10, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6103988145}, {"parameter": "", "name": "JohnsonLB", "value": 5684327334203124589733398136706}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 72759576439857482959066380}], "request": [5, 18, 8, 7], "liftedmrdsizebound": 5684341886129777256590067037931, "comments": "", "equal_bound_constraints": []}