{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 372818701621367349292382501162685300}, {"parameter": "", "name": "singleton", "value": 452697105941691435357049202400}, {"parameter": "5", "name": "ilp_2", "value": 388029456308667099596567965406}, {"parameter": "7", "name": "ilp_3", "value": 2716209021189209652639810728507}, {"parameter": "", "name": "anticode", "value": 388029456308667099596567965406}, {"parameter": "", "name": "linear_programming_bound", "value": 388029456308667099596567965406}, {"parameter": "", "name": "sphere_packing", "value": 372818701621367349292382501162685300}, {"parameter": "1", "name": "ilp_1", "value": 388026629280127140049557270599}, {"parameter": "2", "name": "ilp_1", "value": 388026629280127140049557388501}, {"parameter": "3", "name": "ilp_1", "value": 388026629280127148204048773295}, {"parameter": "4", "name": "ilp_1", "value": 388026629283489851542768723996}, {"parameter": "8", "name": "ilp_4", "value": 2716209021189209652639810728507}, {"parameter": "9", "name": "ilp_4", "value": 2716209021189209652639810728507}, {"parameter": "10", "name": "ilp_4", "value": 2716209021189209652639810728507}, {"parameter": "11", "name": "ilp_4", "value": 2716209021189209652639810728507}, {"parameter": "12", "name": "ilp_4", "value": 2716209021189209652639810728507}, {"parameter": "", "name": "johnson_1", "value": 388026629280127140049557270599}, {"parameter": "", "name": "johnson_2", "value": 2716209021189209652639810728507}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 372818701621367349292382501162685300}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 2716209021189209652639810728507}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 2716209021189209652639810728507}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 2716209021189209652639810728507}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 2716209021189209652639810728507}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 2716209021189209652639810728507}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 2716209021189209652639810728507}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 388029456308667099596567965406}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 388029860149290314352622262002}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 388032687057189568087169214130}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 388052476565853536681136865870}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 388191059665069850478005724549}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 389163919825967432446285036800}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 396112913739655255927724176829}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 452697105941691435357049202400}, {"parameter": "0, 7, o", "name": "Ahlswede_Aydinian", "value": 372818701621367349292382501162685300}, {"parameter": "0, 8, o", "name": "Ahlswede_Aydinian", "value": 388029456308667099596567965406}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 388026629283489851542768723996}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 388026629280127148204048773295}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 388026629280127140049557388501}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 388026629280127140049553152849}, {"parameter": "1, 6, o", "name": "Ahlswede_Aydinian", "value": 2716209021189209652639810728507}, {"parameter": "1, 7, o", "name": "Ahlswede_Aydinian", "value": 2716228810409584897852808742129}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 2716367343026501894525255139562}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 2717337467149512882799347350301}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 2724147786978698354392323840572}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 2772792921379893108354946955955}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 3168902828959544132129870582100}, {"parameter": "", "name": "improved_johnson", "value": 388026629280127140049557270571}], "known_codes": [], "upper_bound": 388026629280127140049553152849, "classified": false, "lower_bound": 379005508710451312063762531343, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 378818692265664781682717625943}, {"parameter": "", "name": "sphere_covering", "value": 19789364552697384452908113}, {"parameter": "", "name": "graham_sloane", "value": 23087367704084630526165300}, {"parameter": "", "name": "multicomponent", "value": 378818692457246013077125327546}, {"parameter": "", "name": "EF_special", "value": 378980216844611802379704124332}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 378822524993533500184874637992}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 378980216844611802379905892367}, {"parameter": "", "name": "two_pivot_block_construction", "value": 378976533387430689206075129856}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 22550482431834882949533745}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 378818703407805957540509866041}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 378818703407806156938093283647}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 378818703407805924404468306847}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 26372068159410857133885705}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 26372068159643390758862505}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 26372068159443993175444899}, {"parameter": "(6, 7)", "name": "CKMP2019_Lem_41", "value": 378818703407805924307579296440}, {"parameter": "(7, 6)", "name": "CKMP2019_Lem_41", "value": 26372068159410760244875298}, {"parameter": "(6, 7)", "name": "CKMP2019_Cor_42", "value": 378818703407805924307579296440}, {"parameter": "(7, 6)", "name": "CKMP2019_Cor_42", "value": 26372068159410760244875298}, {"parameter": "6", "name": "linkage_GLT", "value": 378818692265664781682717625944}, {"parameter": "7", "name": "linkage_GLT", "value": 22539340290692258087863250}, {"parameter": "6", "name": "improved_linkage", "value": 378818692457339090495634162374}, {"parameter": "7", "name": "improved_linkage", "value": 22539340292321385129860250}, {"parameter": "8", "name": "improved_linkage", "value": 23008905888806040224160847}, {"parameter": "9", "name": "improved_linkage", "value": 22561020250035064354625503}, {"parameter": "10", "name": "improved_linkage", "value": 22549215275196079421684202}, {"parameter": "11", "name": "improved_linkage", "value": 22550290757530817594570720}, {"parameter": "6,0", "name": "generalized_linkage", "value": 378818703407805924307579296440}, {"parameter": "6,1", "name": "generalized_linkage", "value": 378818692498364486556052306043}, {"parameter": "6,2", "name": "generalized_linkage", "value": 378818692270310184992318936290}, {"parameter": "6,3", "name": "generalized_linkage", "value": 378818692265757641924111455000}, {"parameter": "6,4", "name": "generalized_linkage", "value": 378818692457339090495634162374}, {"parameter": "7,0", "name": "generalized_linkage", "value": 26372068159410760244875298}, {"parameter": "7,1", "name": "generalized_linkage", "value": 22539340957204454242893698}, {"parameter": "7,2", "name": "generalized_linkage", "value": 22539340292671098036223349}, {"parameter": "7,3", "name": "generalized_linkage", "value": 22539340290697799928162049}, {"parameter": "7,4", "name": "generalized_linkage", "value": 22539340292321385129860250}, {"parameter": "8,1", "name": "generalized_linkage", "value": 23008938561438776389147943}, {"parameter": "8,2", "name": "generalized_linkage", "value": 23008905888806834052609749}, {"parameter": "8,3", "name": "generalized_linkage", "value": 23008905888806026705960200}, {"parameter": "8,4", "name": "generalized_linkage", "value": 23008905888806040224160847}, {"parameter": "9,2", "name": "generalized_linkage", "value": 22561020250040718177044446}, {"parameter": "9,3", "name": "generalized_linkage", "value": 22561020250035064354525011}, {"parameter": "9,4", "name": "generalized_linkage", "value": 22561020250035064354625503}, {"parameter": "10,3", "name": "generalized_linkage", "value": 22549215275196079421703809}, {"parameter": "10,4", "name": "generalized_linkage", "value": 22549215275196079421684202}, {"parameter": "11,4", "name": "generalized_linkage", "value": 22550290757530817594570720}, {"parameter": "[6, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 378818703407805924307579296440}, {"parameter": "[6, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818692498364486556052306043}, {"parameter": "[6, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692270310184992318936290}, {"parameter": "[6, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 378818692265757641924111455000}, {"parameter": "[6, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 378818692457339090495634162374}, {"parameter": "[7, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 26372068159410760244875298}, {"parameter": "[7, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539340957204454242893698}, {"parameter": "[7, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340292671098036223349}, {"parameter": "[7, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539340290697799928162049}, {"parameter": "[7, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22539340292321385129860250}, {"parameter": "[8, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23008938561438776389147943}, {"parameter": "[8, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 23008905888806834052609749}, {"parameter": "[8, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 23008905888806026705960200}, {"parameter": "[8, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 23008905888806040224160847}, {"parameter": "[9, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22561020250040718177044446}, {"parameter": "[9, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22561020250035064354525011}, {"parameter": "[9, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22561020250035064354625503}, {"parameter": "[10, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22549215275196079421703809}, {"parameter": "[10, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22549215275196079421684202}, {"parameter": "[11, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 22550290757530817594570720}, {"parameter": "[6, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 22550674013066263515948147}, {"parameter": "[6, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22550674013066263515948147}, {"parameter": "[6, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22550482524654458030429339}, {"parameter": "[6, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22550482524654458030429339}, {"parameter": "[6, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22550482433463296547444195}, {"parameter": "[6, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22550482433463296547444195}, {"parameter": "[6, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22550487072774203167077747}, {"parameter": "[6, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22550487072774203167077747}, {"parameter": "[6, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22550482431835671902904203}, {"parameter": "[6, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22550482431835671902904203}, {"parameter": "[6, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22550482433497221542373846}, {"parameter": "[6, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22550482433497221542373846}, {"parameter": "[6, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22550710382605729268865795}, {"parameter": "[6, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22550482431874330282874595}, {"parameter": "[6, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22550482431835688339293046}, {"parameter": "[6, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22550482433464862872817549}, {"parameter": "[7, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3832919451578296321336899}, {"parameter": "[7, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3832919449955419238306850}, {"parameter": "[7, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3832919449949896564713651}, {"parameter": "[7, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3832919451888338519301699}, {"parameter": "[7, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3832919449949882770486050}, {"parameter": "[7, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3832919449949896853071350}, {"parameter": "", "name": "JohnsonLB", "value": 379005508710451312063762531343}, {"parameter": "", "name": "JohnsonLB_special", "value": 379005508710451312063762531343}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 7734290346586255496715290480}], "request": [7, 13, 4, 6], "liftedmrdsizebound": 379011059002616575079874659030, "comments": "", "equal_bound_constraints": []}