{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 40216143252770054194345243936096486}, {"parameter": "", "name": "singleton", "value": 2042880353039758115797506899680}, {"parameter": "7", "name": "ilp_2", "value": 1362150902749290549869436524051}, {"parameter": "9", "name": "ilp_3", "value": 4086591124151006421536962090854}, {"parameter": "", "name": "anticode", "value": 1362150902749290549869436524051}, {"parameter": "", "name": "linear_programming_bound", "value": 1362150902749290549869436524051}, {"parameter": "", "name": "sphere_packing", "value": 40216143252770054194345243936096486}, {"parameter": "1", "name": "ilp_1", "value": 1362012493097085646301404800116}, {"parameter": "2", "name": "ilp_1", "value": 1362012493097085646301404810058}, {"parameter": "3", "name": "ilp_1", "value": 1362012493097085646301432499829}, {"parameter": "4", "name": "ilp_1", "value": 1362012493097085661077718676302}, {"parameter": "5", "name": "ilp_1", "value": 1362012493097085661077718676302}, {"parameter": "6", "name": "ilp_1", "value": 1362012493097085661077718676302}, {"parameter": "10", "name": "ilp_4", "value": 4086591124151006421536962090854}, {"parameter": "11", "name": "ilp_4", "value": 4086590955375899576839725975197}, {"parameter": "12", "name": "ilp_4", "value": 4086590955375899576839725975197}, {"parameter": "13", "name": "ilp_4", "value": 4086590955375894604936186871118}, {"parameter": "14", "name": "ilp_4", "value": 4086590955375894602765322245763}, {"parameter": "15", "name": "ilp_4", "value": 4086590955375894602765293213850}, {"parameter": "16", "name": "ilp_4", "value": 4086590955375894604743605908565}, {"parameter": "", "name": "johnson_1", "value": 1362012493097085646301404800116}, {"parameter": "", "name": "johnson_2", "value": 4086590955375894604743605908565}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 40216143252770054194345243936096486}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 4086591124151006421536962090854}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 4086591124151006421536962090854}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 4086590955375899576839725975197}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 4086590955375899576839725975197}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 4086590955375894604936186871118}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 4086590955375894602765322245763}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 4086590955375894602765293213850}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 4086590955375894604743605908565}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1362150902749290549869436524051}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1362197027316535665464180620712}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1362335419762377911502131193629}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1362750765871157400510497878363}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1363998325147338819813594719072}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1367754745977072964717633646109}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1379149183842538842397221464436}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1414500787740760226368814388839}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1532335425900935576084787347536}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 2042880353039758115797506899680}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 40216143252770054194345243936096486}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1362150902749290549869436524051}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1362012493097085661077718676302}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1362012493097085661077718676302}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1362012493097085661077718676302}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1362012493097085646301432499829}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1362012493097085646298691212528}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1362012493097085646298691203090}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 4086591124151006421536962090854}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 4087006385921349842632012648913}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 4088252677752119142862672062952}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 4091996117951461716646213553894}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 4103267684370478761552652934842}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 4137458063854006867545000201037}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 4243535537871340964347159331193}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 4597123076009929907397333657851}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 6129263888495201102915629695046}, {"parameter": "", "name": "improved_johnson", "value": 1362012493097085646301404800110}], "known_codes": [], "upper_bound": 1362012493097085646298691203090, "classified": false, "lower_bound": 1167136599047553429330195249573, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1144561273430837494885949696427}, {"parameter": "", "name": "sphere_covering", "value": 415303971742846239470786775}, {"parameter": "", "name": "graham_sloane", "value": 622829375926755523108996006}, {"parameter": "", "name": "multicomponent", "value": 1144561353197282424778691458351}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1147164108639209379780104265120}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1158868289016362679605064105984}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 533693531574998074578338081}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 1144571619329385132705744059469}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1144571619329385338314446617637}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1144571619329385750096710806935}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1144571619329385140048912007975}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1144571619329385132424476784455}, {"parameter": "(8,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 3126182841399245432530341681}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 3126182841399253056965565201}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 3126182841399863104764364161}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 3126182841399451322500174863}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 3126182841399245713797616695}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 1144571619329385132423314522988}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 3126182841399245431368080214}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 1144571619329385132423314522988}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 3126182841399245431368080214}, {"parameter": "8", "name": "linkage_GLT", "value": 1144561273430837494885949696428}, {"parameter": "9", "name": "linkage_GLT", "value": 523347633027360537213511522}, {"parameter": "8", "name": "improved_linkage", "value": 1144561354761762757766314123552}, {"parameter": "9", "name": "improved_linkage", "value": 523347645417810556515085916}, {"parameter": "10", "name": "improved_linkage", "value": 588756116352281905392032955}, {"parameter": "11", "name": "improved_linkage", "value": 556611820286926339876164211}, {"parameter": "12", "name": "improved_linkage", "value": 534872215143233176940342131}, {"parameter": "13", "name": "improved_linkage", "value": 532636712723230607229875515}, {"parameter": "14", "name": "improved_linkage", "value": 533368245045319487842308796}, {"parameter": "15", "name": "improved_linkage", "value": 533612200649758071006367126}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1144571619329385132423314522988}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1144562610745032891449958007488}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1144561415007512322575721916335}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1144561288438062602075758023450}, {"parameter": "8,4", "name": "generalized_linkage", "value": 1144561275039143506030225321041}, {"parameter": "8,5", "name": "generalized_linkage", "value": 1144561273591913345136870163562}, {"parameter": "8,6", "name": "generalized_linkage", "value": 1144561354761762757766314123552}, {"parameter": "9,0", "name": "generalized_linkage", "value": 3126182841399245431368080214}, {"parameter": "9,1", "name": "generalized_linkage", "value": 523393302709097139935934882}, {"parameter": "9,2", "name": "generalized_linkage", "value": 523349551446393139516950102}, {"parameter": "9,3", "name": "generalized_linkage", "value": 523347699669053176584469989}, {"parameter": "9,4", "name": "generalized_linkage", "value": 523347635318540231496163344}, {"parameter": "9,5", "name": "generalized_linkage", "value": 523347633102796940836128081}, {"parameter": "9,6", "name": "generalized_linkage", "value": 523347645417810556515085916}, {"parameter": "10,1", "name": "generalized_linkage", "value": 592500240896510122388037954}, {"parameter": "10,2", "name": "generalized_linkage", "value": 588756137661091840628166102}, {"parameter": "10,3", "name": "generalized_linkage", "value": 588756116643961303585920042}, {"parameter": "10,4", "name": "generalized_linkage", "value": 588756116353702985015312409}, {"parameter": "10,5", "name": "generalized_linkage", "value": 588756116350430921816797324}, {"parameter": "10,6", "name": "generalized_linkage", "value": 588756116352281905392032955}, {"parameter": "11,2", "name": "generalized_linkage", "value": 556612398004486041704649681}, {"parameter": "11,3", "name": "generalized_linkage", "value": 556611820288004186472745989}, {"parameter": "11,4", "name": "generalized_linkage", "value": 556611820286930867162088249}, {"parameter": "11,5", "name": "generalized_linkage", "value": 556611820286926067892212020}, {"parameter": "11,6", "name": "generalized_linkage", "value": 556611820286926339876164211}, {"parameter": "12,3", "name": "generalized_linkage", "value": 534872215152949199129932824}, {"parameter": "12,4", "name": "generalized_linkage", "value": 534872215143233182774024944}, {"parameter": "12,5", "name": "generalized_linkage", "value": 534872215143233176902626776}, {"parameter": "12,6", "name": "generalized_linkage", "value": 534872215143233176940342131}, {"parameter": "13,4", "name": "generalized_linkage", "value": 532636712723230624870057455}, {"parameter": "13,5", "name": "generalized_linkage", "value": 532636712723230607229871414}, {"parameter": "13,6", "name": "generalized_linkage", "value": 532636712723230607229875515}, {"parameter": "14,5", "name": "generalized_linkage", "value": 533368245045319487842312075}, {"parameter": "14,6", "name": "generalized_linkage", "value": 533368245045319487842308796}, {"parameter": "15,6", "name": "generalized_linkage", "value": 533612200649758071006367126}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1144571619329385132423314522988}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1144562610745032891449958007488}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1144561415007512322575721916335}, {"parameter": "[8, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1144561288438062602075758023450}, {"parameter": "[8, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1144561275039143506030225321041}, {"parameter": "[8, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1144561273591913345136870163562}, {"parameter": "[8, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1144561354761762757766314123552}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3126182841399245431368080214}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523393302709097139935934882}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 523349551446393139516950102}, {"parameter": "[9, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347699669053176584469989}, {"parameter": "[9, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 523347635318540231496163344}, {"parameter": "[9, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 523347633102796940836128081}, {"parameter": "[9, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 523347645417810556515085916}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 592500240896510122388037954}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 588756137661091840628166102}, {"parameter": "[10, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 588756116643961303585920042}, {"parameter": "[10, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 588756116353702985015312409}, {"parameter": "[10, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 588756116350430921816797324}, {"parameter": "[10, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 588756116352281905392032955}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 556612398004486041704649681}, {"parameter": "[11, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 556611820288004186472745989}, {"parameter": "[11, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 556611820286930867162088249}, {"parameter": "[11, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 556611820286926067892212020}, {"parameter": "[11, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 556611820286926339876164211}, {"parameter": "[12, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 534872215152949199129932824}, {"parameter": "[12, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 534872215143233182774024944}, {"parameter": "[12, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 534872215143233176902626776}, {"parameter": "[12, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 534872215143233176940342131}, {"parameter": "[13, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 532636712723230624870057455}, {"parameter": "[13, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 532636712723230607229871414}, {"parameter": "[13, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 532636712723230607229875515}, {"parameter": "[14, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 533368245045319487842312075}, {"parameter": "[14, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 533368245045319487842308796}, {"parameter": "[15, 2],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 533612200649758071006367126}, {"parameter": "[8, 2, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 533773298018074947088201443}, {"parameter": "[8, 2, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 533773298018074947088201443}, {"parameter": "[8, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 533693689624649042318412495}, {"parameter": "[8, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 533693689624649042318412495}, {"parameter": "[8, 3, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 533693543732663533635266883}, {"parameter": "[8, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 533693543732663533635266883}, {"parameter": "[8, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 533695111832468147617194723}, {"parameter": "[8, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 533695111832468147617194723}, {"parameter": "[8, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 533693531599087337033412015}, {"parameter": "[8, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 533693531599087337033412015}, {"parameter": "[8, 4, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 533693545252140088493776503}, {"parameter": "[8, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 533693545252140088493776503}, {"parameter": "[8, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 533708215448109810893554563}, {"parameter": "[8, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 533708215448109810893554563}, {"parameter": "[8, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 533693531815854265718871363}, {"parameter": "[8, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 533693531815854265718871363}, {"parameter": "[8, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 533693531602098035892299475}, {"parameter": "[8, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 533693531602098035892299475}, {"parameter": "[8, 5, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 533693544505409668226227110}, {"parameter": "[8, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 533693544505409668226227110}, {"parameter": "[8, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 533826647356881329147703843}, {"parameter": "[8, 6, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 533826647356881329147703843}, {"parameter": "[8, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 533693533813052199214264803}, {"parameter": "[8, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 533693533813052199214264803}, {"parameter": "[8, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 533693531845956700825598583}, {"parameter": "[8, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 533693531845956700825598583}, {"parameter": "[8, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 533693531600618460299634006}, {"parameter": "[8, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 533693531600618460299634006}, {"parameter": "[8, 6, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 533693544000386181217939665}, {"parameter": "[8, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 533693544000386181217939665}, {"parameter": "[8, 7, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 534882275435721127885278723}, {"parameter": "[8, 7, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 533693551863945168505265283}, {"parameter": "[8, 7, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 533693534092766325445244823}, {"parameter": "[8, 7, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 533693531831163182658800550}, {"parameter": "[8, 7, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 533693531599617804099190821}, {"parameter": "[8, 7, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 533693543948454178778019336}, {"parameter": "[9, 2, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 2602914986972627225721360855}, {"parameter": "[9, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 2602914974889082574218505694}, {"parameter": "[9, 3, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 2602914974816814786853283895}, {"parameter": "[9, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2602914977056774737865554135}, {"parameter": "[9, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 2602914974814973063845891294}, {"parameter": "[9, 4, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 2602914974817046379073198315}, {"parameter": "[9, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 2602915037474019358673797335}, {"parameter": "[9, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 2602914974815303454360088375}, {"parameter": "[9, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 2602914974814974475778340094}, {"parameter": "[9, 5, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 2602914974816932565566070202}, {"parameter": "[9, 6, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 2602916680105203319802605815}, {"parameter": "[9, 6, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 2602914974824511996445259575}, {"parameter": "[9, 6, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 2602914974815346158812220395}, {"parameter": "[9, 6, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 2602914974814973781899314774}, {"parameter": "[9, 6, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 2602914974816855592012189957}, {"parameter": "", "name": "JohnsonLB", "value": 1167136599047553429330195249573}, {"parameter": "", "name": "JohnsonLB_special", "value": 1167136599047553429330195249573}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 129080239481134771569168222825}], "request": [3, 17, 4, 8], "liftedmrdsizebound": 1172396100571498638408968488216, "comments": "", "equal_bound_constraints": []}