{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 2122605755496989866141807971203282490337105187301}, {"parameter": "", "name": "singleton", "value": 1398101}, {"parameter": "1", "name": "ilp_2", "value": 1048592}, {"parameter": "2", "name": "ilp_2", "value": 1099595519152}, {"parameter": "3", "name": "ilp_2", "value": 1153291036016553374}, {"parameter": "4", "name": "ilp_2", "value": 1210495424694010438389461}, {"parameter": "5", "name": "ilp_2", "value": 1274274078835901677662057558815}, {"parameter": "6", "name": "ilp_2", "value": 1357382294937297224884018746232351944}, {"parameter": "7", "name": "ilp_2", "value": 1518206306623763137385502171304707235269201}, {"parameter": "9", "name": "ilp_3", "value": 24291387778773301588924456932322615789898321}, {"parameter": "10", "name": "ilp_3", "value": 347491420910854754150982861488056874184}, {"parameter": "11", "name": "ilp_3", "value": 5219451126297706558518047044705063}, {"parameter": "12", "name": "ilp_3", "value": 79331404956419475605581855892}, {"parameter": "13", "name": "ilp_3", "value": 1209319062229040053092692}, {"parameter": "14", "name": "ilp_3", "value": 18448239483968013902}, {"parameter": "15", "name": "ilp_3", "value": 281480613860607}, {"parameter": "", "name": "anticode", "value": 1048592}, {"parameter": "", "name": "linear_programming_bound", "value": 1048592}, {"parameter": "", "name": "sphere_packing", "value": 821682100648811846882}, {"parameter": "", "name": "DrakeFreeman", "value": 1048584}, {"parameter": "", "name": "partial_spread_5", "value": 1048591}, {"parameter": "", "name": "partial_spread_kurz16_28", "value": 1048577}, {"parameter": "", "name": "spread_bound", "value": 1048592}, {"parameter": "", "name": "XiaFuJohnson1", "value": 1048592}, {"parameter": "16", "name": "ilp_4", "value": 281480613860607}, {"parameter": "17", "name": "ilp_4", "value": 17179951103}, {"parameter": "", "name": "johnson_1", "value": 1048592}, {"parameter": "", "name": "johnson_2", "value": 17179951103}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 2122605755496989866141807971203282490337105187301}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 24291387778773301588924456932322615789898321}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 347491420910854754150982861488056874184}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 5219451126297706558518047044705063}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 79331404956419475605581855892}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1209319062229040053092692}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 18448239483968013902}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 281480613860607}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 281480613860607}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 17179951103}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1518206306623763137385502171304707235269201}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 69499079536775477264383132722562065769}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 3976795777508450601377531804262377}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 238934745799710622181489780021}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 14527121502777635738944052}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 885961526541284373374}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 54101231941354316}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 54260345899103155}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 13404033542123}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 3436032164}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 1048605}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1357382294937297224884018746232351944}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 248559514431526749037042237736300}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 56891829523972188330216248978}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 13672829423577688233928351}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 3325247103806803243529}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 811220941448156623}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 811964226108178565}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 795654233471879}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 788518396142}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 818233352}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1048706}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 1274274078835901677662057558815}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 933534999424880349608492292}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 854732194085771616573378}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 821682100648811846882}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 799340497434571086}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 799532505781625416}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 3123127529610749}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 12246029985590}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 48594052081}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 202273778}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 1049601}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 1210495424694010438389461}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 3549843317395552656671}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 13003138339088788214}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 50003670278636193}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 50006701607872310}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 778505416003361}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 12178933573136}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 191141797346}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 3039213704}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 50630409}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 1052678}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 1153291036016553374}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 13568142610359888}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 198947121848037}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 198950118941580}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 12244382544957}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 768442027999}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 48399743781}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 3035965218}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 192732243}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 12839164}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 1065217}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 1099595519152}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 52361738934}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 52361929121}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 12329665634}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 3224869193}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 803453053}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 201604061}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 50577585}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 12837520}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 3412243}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 1118481}, {"parameter": "7, 1", "name": "Ahlswede_Aydinian", "value": 1048592}, {"parameter": "7, 2", "name": "Ahlswede_Aydinian", "value": 1048592}, {"parameter": "7, 3", "name": "Ahlswede_Aydinian", "value": 1048596}, {"parameter": "7, 4", "name": "Ahlswede_Aydinian", "value": 1048608}, {"parameter": "7, 5", "name": "Ahlswede_Aydinian", "value": 1048660}, {"parameter": "7, 6", "name": "Ahlswede_Aydinian", "value": 1048864}, {"parameter": "7, 7", "name": "Ahlswede_Aydinian", "value": 1049684}, {"parameter": "7, 8", "name": "Ahlswede_Aydinian", "value": 1052974}, {"parameter": "7, 9", "name": "Ahlswede_Aydinian", "value": 1066291}, {"parameter": "7, 10", "name": "Ahlswede_Aydinian", "value": 1122219}, {"parameter": "7, 11", "name": "Ahlswede_Aydinian", "value": 1398101}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 2122605755496989866141807971203282490337105187301}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1518206306623763137385502171304707235269201}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1357382294937297224884018746232351944}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1274274078835901677662057558815}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1210495424694010438389461}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1153291036016553374}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1099595519152}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1048592}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 24291387778773301588924456932322615789898321}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 69499079536775477264383132722562065769}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 248559514431526749037042237736300}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 933534999424880349608492292}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 3549843317395552656671}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 13568142610359888}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 52361738934}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 54976671921}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 68720787457}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 347491420910854754150982861488056874184}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 3976795777508450601377531804262377}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 56891829523972188330216248978}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 854732194085771616573378}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 13003138339088788214}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 198947121848037}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 201861396990451}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 214477577711998}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 281500746907649}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 5219451126297706558518047044705063}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 238934745799710622181489780021}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 13672829423577688233928351}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 821682100648811846882}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 50003670278636193}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 50159916141763511}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 50943625973092886}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 54286635756127858}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 281698377141768}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 79331404956419475605581855892}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 14527121502777635738944052}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 3325247103806803243529}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 799340497434571086}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 798161439671175943}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 801278206250458521}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 813944859696045467}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 13569716730116881}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 282924076449045}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 1209319062229040053092692}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 885961526541284373374}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 811220941448156623}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 805772759485286883}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 806553636986373908}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 809711177357352601}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 51757552566501988}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 3449293453973698}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 287313458357361}, {"parameter": "6, 4, o", "name": "Ahlswede_Aydinian", "value": 18448239483968013902}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 54101231941354316}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 54104523731396814}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 54117694095595783}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 54170426866778422}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 13545754133505885}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 3449501288427006}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 919459875605544}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 306201406318353}, {"parameter": "7, 3, o", "name": "Ahlswede_Aydinian", "value": 281480613860607}, {"parameter": "7, 4, o", "name": "Ahlswede_Aydinian", "value": 281484858188817}, {"parameter": "7, 5, o", "name": "Ahlswede_Aydinian", "value": 281501836523435}, {"parameter": "7, 6, o", "name": "Ahlswede_Aydinian", "value": 281569766214329}, {"parameter": "7, 7, o", "name": "Ahlswede_Aydinian", "value": 281841746868559}, {"parameter": "7, 8, o", "name": "Ahlswede_Aydinian", "value": 282933875919922}, {"parameter": "7, 9, o", "name": "Ahlswede_Aydinian", "value": 287370747037322}, {"parameter": "7, 10, o", "name": "Ahlswede_Aydinian", "value": 306283649855873}, {"parameter": "7, 11, o", "name": "Ahlswede_Aydinian", "value": 406672215935205}, {"parameter": "", "name": "improved_johnson", "value": 1048577}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 17180000256}], "known_codes": [], "upper_bound": 1048577, "classified": false, "lower_bound": 1048577, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1048576}, {"parameter": "", "name": "sphere_covering", "value": 49}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 1048577}, {"parameter": "", "name": "multicomponent", "value": 1048577}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (10, 11, 12, 13, 14, 15, 16, 17)]", "name": "ef_computation", "value": 1048577}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1048576}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 1048577}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 262145}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 65537}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 1048577}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 262145}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 65537}, {"parameter": "8", "name": "linkage_GLT", "value": 1048577}, {"parameter": "9", "name": "linkage_GLT", "value": 262145}, {"parameter": "10", "name": "linkage_GLT", "value": 65537}, {"parameter": "8", "name": "improved_linkage", "value": 1048577}, {"parameter": "9", "name": "improved_linkage", "value": 262145}, {"parameter": "10", "name": "improved_linkage", "value": 65537}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1048577}, {"parameter": "9,0", "name": "generalized_linkage", "value": 262145}, {"parameter": "10,0", "name": "generalized_linkage", "value": 65537}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1048577}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 262145}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 65537}, {"parameter": "", "name": "JohnsonLB", "value": 1048573}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 4}], "request": [4, 18, 16, 8], "liftedmrdsizebound": 1048577, "comments": "", "equal_bound_constraints": [{"parameter": "", "name": "partial_spread_NS", "value": 1048577}]}