{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 263862583736385343242102717216527933566}, {"parameter": "", "name": "singleton", "value": 75628919722004322604209288760}, {"parameter": "6", "name": "ilp_2", "value": 44844811582056543791341707579}, {"parameter": "7", "name": "ilp_2", "value": 2979040833396016204058829634499542}, {"parameter": "9", "name": "ilp_3", "value": 26812578369717035183629988539429726}, {"parameter": "10", "name": "ilp_3", "value": 3632648471713458228374202484680}, {"parameter": "", "name": "anticode", "value": 44844811582056543791341707579}, {"parameter": "", "name": "linear_programming_bound", "value": 44844811582056543791341707579}, {"parameter": "", "name": "sphere_packing", "value": 908254407700180725030655754867}, {"parameter": "1", "name": "ilp_1", "value": 44843292657442229317796721693}, {"parameter": "2", "name": "ilp_1", "value": 44843292657442229317796744387}, {"parameter": "3", "name": "ilp_1", "value": 44843292657442229337234963832}, {"parameter": "4", "name": "ilp_1", "value": 44843292657442229337234963832}, {"parameter": "5", "name": "ilp_1", "value": 44843292679460060111530018063}, {"parameter": "11", "name": "ilp_4", "value": 3630351741170110327086124229014}, {"parameter": "12", "name": "ilp_4", "value": 3630351741170110327086124229014}, {"parameter": "13", "name": "ilp_4", "value": 3630351741140207549897093093646}, {"parameter": "14", "name": "ilp_4", "value": 3630351741140194957122414210938}, {"parameter": "15", "name": "ilp_4", "value": 3630351741140194956900659506052}, {"parameter": "16", "name": "ilp_4", "value": 3630351741140206082554407592553}, {"parameter": "17", "name": "ilp_4", "value": 403609379947574000861065311017}, {"parameter": "", "name": "johnson_1", "value": 44843292657442229317796721693}, {"parameter": "", "name": "johnson_2", "value": 403609379947574000861065311017}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 263862583736385343242102717216527933566}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 26812578369717035183629988539429726}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 3632648471713458228374202484680}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 3630351741170110327086124229014}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 3630351741170110327086124229014}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 3630351741140207549897093093646}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 3630351741140194957122414210938}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 3630351741140194956900659506052}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 3630351741140206082554407592553}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 403609379947574000861065311017}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 2979040833396016204058829634499542}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 908254407700180725030655754867}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 907454498412426608397860720304}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 907546353620828088822627922512}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 907823044241235118864886270620}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 908654130221425773547115379297}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 911156543330783247784734034845}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 918747170680529505178474347858}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 314354787703294209488722878310}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 113498637795451950612276538338}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 50442628803559470759393402040}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 44844811582056543791341707579}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 44845486043238559937325800511}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 44847509525676304164898667975}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 44853580863148645733456655099}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 44871802890613157883043107452}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 44926541206186164499151843436}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 45091408901675087605904257888}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 45591959170925219144844734591}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 47149165436138809971090791957}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 52382431951394598500045732010}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 75628919722004322604209288760}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 263862583736385343242102717216527933566}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 2979040833396016204058829634499542}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 44844811582056543791341707579}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 44843292679460060111530018063}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 44843292657442229337234963832}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 44843292657442229337234963832}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 44843292657442229317796744387}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 44843292657442229317796367345}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 26812578369717035183629988539429726}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 908254407700180725030655754867}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 908439072720352200889597940645}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 909270948418620795409659637928}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 911775741876038435337158700324}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 919373612500361231157964312836}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 942946465747152288328061262922}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1021522343841609215536042584935}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 1362012493097085646298691203090}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 3632648471713458228374202484680}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 3633140650478718573329270686947}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 3634617837132678395828925835592}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 3639055258258041295804371467224}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 3652420487364179921491985527694}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 3692998750579122856163785415404}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 3819241684764542083992379042806}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 4243552119493069896928238963699}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 6129263888495201102915629695046}, {"parameter": "", "name": "improved_johnson", "value": 44843292657442229317796721688}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 403623050962712962822954721488}], "known_codes": [], "upper_bound": 44843292657442229317796367345, "classified": false, "lower_bound": 42393312078603826847037784064, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 42391158275216203514294433201}, {"parameter": "", "name": "sphere_covering", "value": 50038503922607618509025}, {"parameter": "", "name": "graham_sloane", "value": 3515949572685843545744}, {"parameter": "", "name": "multicomponent", "value": 42391158287373868973394408724}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 42391163431793985665350333842}, {"parameter": "", "name": "two_pivot_block_construction", "value": 42393312078603826847037784064}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 79773403858211367304001}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 42391158282176985700440483285}, {"parameter": "(10,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 42391158282176985700440483285}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 42391158282176985135581410323}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 42391158282176987395017702171}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 42391158282176984853281014005}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 42391158282176984854314135309}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 58149927224274658894484355}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 58149927224274637973777949}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 58149927224275474802034189}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 58149927224275474802034189}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 58149927224274637973777949}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 58149927224274658894484355}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 84923020859024728025469}, {"parameter": "(8,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 84923020859023694904165}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 84923020861565431592331}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 84923020859305995300483}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 84923020859870854373445}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 84923020859870854373445}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 42391158282176984853151873842}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 58149927224274627513424746}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 84923020859023565764002}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 42391158282176984853151873842}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 58149927224274627513424746}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 84923020859023565764002}, {"parameter": "8", "name": "linkage_GLT", "value": 42391158275216203514294433202}, {"parameter": "9", "name": "linkage_GLT", "value": 58149737003040059690390170}, {"parameter": "10", "name": "linkage_GLT", "value": 79766443076872509863362}, {"parameter": "8", "name": "improved_linkage", "value": 42391158287374486678128704945}, {"parameter": "9", "name": "improved_linkage", "value": 58149737004893178906982592}, {"parameter": "10", "name": "improved_linkage", "value": 79766443077154959293127}, {"parameter": "11", "name": "improved_linkage", "value": 82732913448882443597785}, {"parameter": "12", "name": "improved_linkage", "value": 79878104220432532956985}, {"parameter": "13", "name": "improved_linkage", "value": 79772061528134144293447}, {"parameter": "14", "name": "improved_linkage", "value": 79770705896392603594984}, {"parameter": "15", "name": "improved_linkage", "value": 79770495837916656912385}, {"parameter": "8,0", "name": "generalized_linkage", "value": 42391158282176984853151873842}, {"parameter": "8,1", "name": "generalized_linkage", "value": 42391158275485780566298946406}, {"parameter": "8,2", "name": "generalized_linkage", "value": 42391158275225784161342084181}, {"parameter": "8,3", "name": "generalized_linkage", "value": 42391158275216435122826841321}, {"parameter": "8,4", "name": "generalized_linkage", "value": 42391158275218056633511025624}, {"parameter": "8,5", "name": "generalized_linkage", "value": 42391158287374486678128704945}, {"parameter": "9,0", "name": "generalized_linkage", "value": 58149927224274627513424746}, {"parameter": "9,1", "name": "generalized_linkage", "value": 58149737006288119897706010}, {"parameter": "9,2", "name": "generalized_linkage", "value": 58149737003081386848453774}, {"parameter": "9,3", "name": "generalized_linkage", "value": 58149737003040095038113769}, {"parameter": "9,4", "name": "generalized_linkage", "value": 58149737003040342139819935}, {"parameter": "9,5", "name": "generalized_linkage", "value": 58149737004893178906982592}, {"parameter": "10,0", "name": "generalized_linkage", "value": 84923020859023565764002}, {"parameter": "10,1", "name": "generalized_linkage", "value": 79766472427938986640498}, {"parameter": "10,2", "name": "generalized_linkage", "value": 79766443077037134900162}, {"parameter": "10,3", "name": "generalized_linkage", "value": 79766443076872515443461}, {"parameter": "10,4", "name": "generalized_linkage", "value": 79766443076872552970341}, {"parameter": "10,5", "name": "generalized_linkage", "value": 79766443077154959293127}, {"parameter": "11,1", "name": "generalized_linkage", "value": 82733177964101492614806}, {"parameter": "11,2", "name": "generalized_linkage", "value": 82732913449376325791766}, {"parameter": "11,3", "name": "generalized_linkage", "value": 82732913448882400491625}, {"parameter": "11,4", "name": "generalized_linkage", "value": 82732913448882400497610}, {"parameter": "11,5", "name": "generalized_linkage", "value": 82732913448882443597785}, {"parameter": "12,2", "name": "generalized_linkage", "value": 79878104221914359043621}, {"parameter": "12,3", "name": "generalized_linkage", "value": 79878104220432532952638}, {"parameter": "12,4", "name": "generalized_linkage", "value": 79878104220432532950181}, {"parameter": "12,5", "name": "generalized_linkage", "value": 79878104220432532956985}, {"parameter": "13,3", "name": "generalized_linkage", "value": 79772061528134144300827}, {"parameter": "13,4", "name": "generalized_linkage", "value": 79772061528134144293447}, {"parameter": "13,5", "name": "generalized_linkage", "value": 79772061528134144293447}, {"parameter": "14,4", "name": "generalized_linkage", "value": 79770705896392603594984}, {"parameter": "14,5", "name": "generalized_linkage", "value": 79770705896392603594984}, {"parameter": "15,5", "name": "generalized_linkage", "value": 79770495837916656912385}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158282176984853151873842}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275485780566298946406}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275225784161342084181}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216435122826841321}, {"parameter": "[8, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 42391158275218056633511025624}, {"parameter": "[8, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 42391158287374486678128704945}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 58149927224274627513424746}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 58149737006288119897706010}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149737003081386848453774}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040095038113769}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040342139819935}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 58149737004893178906982592}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 84923020859023565764002}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766472427938986640498}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766443077037134900162}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872515443461}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872552970341}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154959293127}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 82733177964101492614806}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 82732913449376325791766}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 82732913448882400491625}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 82732913448882400497610}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 82732913448882443597785}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79878104221914359043621}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79878104220432532952638}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79878104220432532950181}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 79878104220432532956985}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79772061528134144300827}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79772061528134144293447}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 79772061528134144293447}, {"parameter": "[14, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 79770705896392603594984}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 79770705896392603594984}, {"parameter": "[15, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 79770495837916656912385}, {"parameter": "[8, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 79785561523670424232803}, {"parameter": "[8, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 79785561523670424232803}, {"parameter": "[8, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 79785561523670424232803}, {"parameter": "[8, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 79773405711231556155843}, {"parameter": "[8, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 79773405711231556155843}, {"parameter": "[8, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 79773405711231556155843}, {"parameter": "[8, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 79773405711231556155843}, {"parameter": "[8, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 79773405711231556155843}, {"parameter": "[8, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 79773405711231556155843}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 79773404089803587218422}, {"parameter": "[8, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79773404089803587218422}, {"parameter": "[8, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 79773404089803587218422}, {"parameter": "[8, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 79773403858493796840483}, {"parameter": "[8, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 79773403858493796840483}, {"parameter": "[8, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 79773403858493796840483}, {"parameter": "[8, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 79773403858493796840483}, {"parameter": "[8, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 79773403858493796840483}, {"parameter": "[8, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 79773403858493796840483}, {"parameter": "[8, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 79773413425465683419523}, {"parameter": "[8, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 79773413425465683419523}, {"parameter": "[8, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 79773403858246665615222}, {"parameter": "[8, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 79773403858246665615222}, {"parameter": "[8, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 79773403858211410350723}, {"parameter": "[8, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 79773403858211410350723}, {"parameter": "[8, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 79773403858504300240407}, {"parameter": "[8, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 79773403858504300240407}, {"parameter": "[8, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 79773663769311764307843}, {"parameter": "[8, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 79773403859669567931363}, {"parameter": "[8, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 79773403858211372684022}, {"parameter": "[8, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 79773403858211411951607}, {"parameter": "[8, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 79773403858494192199782}, {"parameter": "[9, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 202380753047068815219}, {"parameter": "[9, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 202380753047068815219}, {"parameter": "[9, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 202378900309309499859}, {"parameter": "[9, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 202378900309309499859}, {"parameter": "[9, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 202378900309309499859}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 202378900309309499859}, {"parameter": "[9, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 202378900062178274598}, {"parameter": "[9, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 202378900062178274598}, {"parameter": "[9, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 202378900026923010099}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 202378900026923010099}, {"parameter": "[9, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 202378900026923010099}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 202378900026923010099}, {"parameter": "[9, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 202378939872211933299}, {"parameter": "[9, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 202378900026885343398}, {"parameter": "[9, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 202378900026879969939}, {"parameter": "[9, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 202378900026924610983}, {"parameter": "[10, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 5156579635453674288963}, {"parameter": "[10, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5156579635171287799203}, {"parameter": "[10, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 5156579635171287799203}, {"parameter": "[10, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 5156579635171250132502}, {"parameter": "[10, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 5156579635171244759043}, {"parameter": "[10, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 5156579635171244759043}, {"parameter": "", "name": "JohnsonLB", "value": 42391158311689200182308604396}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 523374258401851709084999796}], "request": [3, 18, 6, 8], "liftedmrdsizebound": 42395134198106343438799092283, "comments": "", "equal_bound_constraints": []}