{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 43861755035533826577243997768793428552803}, {"parameter": "", "name": "singleton", "value": 7608481579300344488889504665693103}, {"parameter": "5", "name": "ilp_2", "value": 6521611233781758177037858441021617}, {"parameter": "7", "name": "ilp_3", "value": 319559330566264937870155968502833579}, {"parameter": "", "name": "anticode", "value": 6521611233781758177037858441021617}, {"parameter": "", "name": "linear_programming_bound", "value": 6521611233781758177037858441021617}, {"parameter": "", "name": "sphere_packing", "value": 43861755035533826577243997768793428552803}, {"parameter": "1", "name": "ilp_1", "value": 6521611233780604769792095842564896}, {"parameter": "2", "name": "ilp_1", "value": 6521611233780604769792095882097649}, {"parameter": "3", "name": "ilp_1", "value": 6521611233780604769792095882097649}, {"parameter": "4", "name": "ilp_1", "value": 6521611233781758177037858441021617}, {"parameter": "8", "name": "ilp_4", "value": 319559330566264937870155968502833579}, {"parameter": "9", "name": "ilp_4", "value": 319559330566264937870155968502833579}, {"parameter": "10", "name": "ilp_4", "value": 319559330566264937870155968502833579}, {"parameter": "11", "name": "ilp_4", "value": 319559330566264937870155968502833579}, {"parameter": "12", "name": "ilp_4", "value": 319559330566264937870155968502833579}, {"parameter": "13", "name": "ilp_4", "value": 45650952827022543558238408803013742}, {"parameter": "", "name": "johnson_1", "value": 6521611233780604769792095842564896}, {"parameter": "", "name": "johnson_2", "value": 45650952827022543558238408803013742}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 43861755035533826577243997768793428552803}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 319559330566264937870155968502833579}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 319559330566264937870155968502833579}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 319559330566264937870155968502833579}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 319559330566264937870155968502833579}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 319559330566264937870155968502833579}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 319559330566264937870155968502833579}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 45650952827022543558238408803013742}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 6521611233781758177037858441021617}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 6521612203402109405208008624546141}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 6521618990752641040784212617090644}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 6521666502601944723109832552835869}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 6521999104931749879055684906171594}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 6524328271484272128032896894549039}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 6540679135044532783244959325760420}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 6657470896009380538130696910654872}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 7608481579300344488889504665693103}, {"parameter": "0, 8, o", "name": "Ahlswede_Aydinian", "value": 43861755035533826577243997768793428552803}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 6521611233781758177037858441021617}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 6521611233781758177037858441021617}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 6521611233780604769792095882097649}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 6521611233780604769792095882097649}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 6521611233780604769792095842564896}, {"parameter": "1, 7, o", "name": "Ahlswede_Aydinian", "value": 319559330566264937870155968502833579}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 319561658763195976974900789803342137}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 319577957091657457455519737346808830}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 319692091957492081230283865320342755}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 320493324434308300945350578849188416}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 326216413432810648087741679482871741}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 372818701621367349292382501162685300}, {"parameter": "", "name": "improved_johnson", "value": 6521611233780604769792095842564877}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 45651000340553289346424656122597550}], "known_codes": [], "upper_bound": 6521611233780604769792095842564877, "classified": false, "lower_bound": 6369944505587973108280980547843268, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 6366805760909027985741435139224001}, {"parameter": "", "name": "sphere_covering", "value": 332599561577014963545900072652}, {"parameter": "", "name": "graham_sloane", "value": 388029456308667099596567965407}, {"parameter": "", "name": "multicomponent", "value": 6366805783448368278062106825115349}, {"parameter": "", "name": "construction_ST_B", "value": 6369459701530588609178541188317881}, {"parameter": "", "name": "EF_special", "value": 6369520523839151727821917674342793}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 6366807076072609181784675671323202}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 6369459933885483369869359087867253}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 6369459701530588452825276043963160}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 6369520523839151727825310046433656}, {"parameter": "", "name": "two_pivot_block_construction", "value": 6369458596642739071272643014426624}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 2653069017010882717665649951201}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 6369459724079324124878382148785905}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 6366807099080179294779588063525702}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 6366807099080179226386216951286844}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 6366807099080179214987999988986550}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 378822524993533732815388625199}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 378822524993613292451172249993}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 378822524993533732815388625199}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 2708289932493336240271131376950}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 2708289932493347638488093677244}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 2708289932493416031859205916102}, {"parameter": "(6, 8)", "name": "CKMP2019_Lem_41", "value": 6366807099080179214987321765913701}, {"parameter": "(7, 7)", "name": "CKMP2019_Lem_41", "value": 378822524993533500184874637992}, {"parameter": "(8, 6)", "name": "CKMP2019_Lem_41", "value": 2708289932493336239592908304101}, {"parameter": "(6, 8)", "name": "CKMP2019_Cor_42", "value": 6366807099080179214987321765913701}, {"parameter": "(7, 7)", "name": "CKMP2019_Cor_42", "value": 378822524993533500184874637992}, {"parameter": "(8, 6)", "name": "CKMP2019_Cor_42", "value": 2708289932493336239592908304101}, {"parameter": "6", "name": "linkage_GLT", "value": 6366805760909027985741435139344101}, {"parameter": "7", "name": "linkage_GLT", "value": 378818692265664781682717625944}, {"parameter": "8", "name": "linkage_GLT", "value": 2706974768912140196352376204901}, {"parameter": "6", "name": "improved_linkage", "value": 6366805783459510417581065650267690}, {"parameter": "7", "name": "improved_linkage", "value": 378818692457339090495634162374}, {"parameter": "8", "name": "improved_linkage", "value": 2706974768912141825479418201901}, {"parameter": "9", "name": "improved_linkage", "value": 2654281471396375286257060758294}, {"parameter": "10", "name": "improved_linkage", "value": 2652892627911543547881724683549}, {"parameter": "11", "name": "improved_linkage", "value": 2653019157332743159183650519632}, {"parameter": "12", "name": "improved_linkage", "value": 2653041707623500689993778967162}, {"parameter": "6,0", "name": "generalized_linkage", "value": 6366807099080179214987321765913701}, {"parameter": "6,1", "name": "generalized_linkage", "value": 6366805787753003880535624975147948}, {"parameter": "6,2", "name": "generalized_linkage", "value": 6366805761455269071345622226117802}, {"parameter": "6,3", "name": "generalized_linkage", "value": 6366805760919953421343771381800568}, {"parameter": "6,4", "name": "generalized_linkage", "value": 6366805783459510417581065650267690}, {"parameter": "7,0", "name": "generalized_linkage", "value": 378822524993533500184874637992}, {"parameter": "7,1", "name": "generalized_linkage", "value": 378818772313779539901874550843}, {"parameter": "7,2", "name": "generalized_linkage", "value": 378818692493941529615634219490}, {"parameter": "7,3", "name": "generalized_linkage", "value": 378818692266316432499516426343}, {"parameter": "7,4", "name": "generalized_linkage", "value": 378818692457339090495634162374}, {"parameter": "8,0", "name": "generalized_linkage", "value": 2708289932493336239592908304101}, {"parameter": "8,1", "name": "generalized_linkage", "value": 2706974768944812829102395792743}, {"parameter": "8,2", "name": "generalized_linkage", "value": 2706974768912237199086639049800}, {"parameter": "8,3", "name": "generalized_linkage", "value": 2706974768912140235159112897247}, {"parameter": "8,4", "name": "generalized_linkage", "value": 2706974768912141825479418201901}, {"parameter": "9,1", "name": "generalized_linkage", "value": 2654281472997429037738152322348}, {"parameter": "9,2", "name": "generalized_linkage", "value": 2654281471396375291897028696590}, {"parameter": "9,3", "name": "generalized_linkage", "value": 2654281471396375286245561078347}, {"parameter": "9,4", "name": "generalized_linkage", "value": 2654281471396375286257060758294}, {"parameter": "10,2", "name": "generalized_linkage", "value": 2652892627911543587458523528250}, {"parameter": "10,3", "name": "generalized_linkage", "value": 2652892627911543547881724583057}, {"parameter": "10,4", "name": "generalized_linkage", "value": 2652892627911543547881724683549}, {"parameter": "11,3", "name": "generalized_linkage", "value": 2653019157332743159183650539239}, {"parameter": "11,4", "name": "generalized_linkage", "value": 2653019157332743159183650519632}, {"parameter": "12,4", "name": "generalized_linkage", "value": 2653041707623500689993778967162}, {"parameter": "[6, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 6366807099080179214987321765913701}, {"parameter": "[6, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 6366805787753003880535624975147948}, {"parameter": "[6, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 6366805761455269071345622226117802}, {"parameter": "[6, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 6366805760919953421343771381800568}, {"parameter": "[6, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 6366805783459510417581065650267690}, {"parameter": "[7, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 378822524993533500184874637992}, {"parameter": "[7, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 378818772313779539901874550843}, {"parameter": "[7, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 378818692493941529615634219490}, {"parameter": "[7, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 378818692266316432499516426343}, {"parameter": "[7, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 378818692457339090495634162374}, {"parameter": "[8, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2708289932493336239592908304101}, {"parameter": "[8, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2706974768944812829102395792743}, {"parameter": "[8, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2706974768912237199086639049800}, {"parameter": "[8, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2706974768912140235159112897247}, {"parameter": "[8, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2706974768912141825479418201901}, {"parameter": "[9, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2654281472997429037738152322348}, {"parameter": "[9, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2654281471396375291897028696590}, {"parameter": "[9, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2654281471396375286245561078347}, {"parameter": "[9, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2654281471396375286257060758294}, {"parameter": "[10, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2652892627911543587458523528250}, {"parameter": "[10, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2652892627911543547881724583057}, {"parameter": "[10, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2652892627911543547881724683549}, {"parameter": "[11, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2653019157332743159183650539239}, {"parameter": "[11, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2653019157332743159183650519632}, {"parameter": "[12, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2653041707623500689993778967162}, {"parameter": "[6, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 2653064246963232836387783546403}, {"parameter": "[6, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2651753396342085306661972915347}, {"parameter": "[6, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2653091556351173409923737934550}, {"parameter": "[6, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2653041718543072332821981304011}, {"parameter": "[6, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730867921924803096170672955}, {"parameter": "[6, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2653069027931012906357935692158}, {"parameter": "[6, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 2653041707814523375510262097555}, {"parameter": "[6, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730857193375845784451466499}, {"parameter": "[6, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2653069017202463949046216485702}, {"parameter": "[6, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2653042253624812228403529856803}, {"parameter": "[6, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651731403003664698677719225747}, {"parameter": "[6, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2653069563012752801939484244950}, {"parameter": "[6, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2653041707623034963704776578747}, {"parameter": "[6, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730857001887433978965947691}, {"parameter": "[6, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2653069017010975537240730966894}, {"parameter": "[6, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 2653041707818514617238740608054}, {"parameter": "[6, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730857197367087512929976998}, {"parameter": "[6, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2653069017206455190774694996201}, {"parameter": "[6, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651757753177021911401012978378}, {"parameter": "[6, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651757675182033913026981284899}, {"parameter": "[6, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730935001423552098134289578}, {"parameter": "[6, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651730857006435553724102596099}, {"parameter": "[6, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730934996877366077708631277}, {"parameter": "[6, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651730857001889367703676937798}, {"parameter": "[6, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730935188548120772332884724}, {"parameter": "[6, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651730857193560122398301191245}, {"parameter": "[6, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2653041718765083286754557353651}, {"parameter": "[6, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651730857229745385250204384147}, {"parameter": "[6, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651730857006532239138121016998}, {"parameter": "[6, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651730857001887523259512228869}, {"parameter": "[6, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651730857193459781767790222747}, {"parameter": "[7, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 26372259740642140811289699}, {"parameter": "[7, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 26372259740642140811289699}, {"parameter": "[7, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 26372068810776199409054898}, {"parameter": "[7, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 26372068810776199409054898}, {"parameter": "[7, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 26372068161039173842785747}, {"parameter": "[7, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 26372068161039173842785747}, {"parameter": "[7, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 26372296216796689172044899}, {"parameter": "[7, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 26372296216796689172044899}, {"parameter": "[7, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 26372068159416296759755698}, {"parameter": "[7, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 26372068159416296759755698}, {"parameter": "[7, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 26372068161073098837715398}, {"parameter": "[7, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 26372068161073098837715398}, {"parameter": "[7, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 26450482652776203422169699}, {"parameter": "[7, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 26372068161349216040750547}, {"parameter": "[7, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 26372068159416412102835298}, {"parameter": "[7, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 26372068161040740168159101}, {"parameter": "[8, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1338172487086477680499569750}, {"parameter": "[8, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1338172487084888036347109302}, {"parameter": "[8, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1338172487084849280742946502}, {"parameter": "[8, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1338172487179872370009814502}, {"parameter": "[8, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1338172487084849267231194150}, {"parameter": "[8, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1338172487084849281031304201}, {"parameter": "[6, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2644263058449268339998880756}, {"parameter": "", "name": "JohnsonLB", "value": 6369944505587973108280980547843268}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 18570031122153720008786260456371}], "request": [7, 14, 4, 6], "liftedmrdsizebound": 6370038895577332145848378697420803, "comments": "", "equal_bound_constraints": []}