{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 24924068135208538822547384702464617091999062369254639098504245466254894991726}, {"parameter": "", "name": "singleton", "value": 3922632451}, {"parameter": "1", "name": "ilp_2", "value": 3486784482}, {"parameter": "2", "name": "ilp_2", "value": 12157668283352889852}, {"parameter": "3", "name": "ilp_2", "value": 42391247889538983468724411894}, {"parameter": "4", "name": "ilp_2", "value": 147811645083356575917118978939095310516}, {"parameter": "5", "name": "ilp_2", "value": 515465903505816630520129253002212613567577297960}, {"parameter": "6", "name": "ilp_2", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "7", "name": "ilp_2", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "9", "name": "ilp_3", "value": 514667012348784999156727812545930551654233884899853599864429378680766}, {"parameter": "10", "name": "ilp_3", "value": 11808404611395760498566594769574638492801192638119032535867244}, {"parameter": "11", "name": "ilp_3", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "12", "name": "ilp_3", "value": 6362806664699842222619724742683154733866220577}, {"parameter": "13", "name": "ilp_3", "value": 147809142304073999646811111983602651427}, {"parameter": "14", "name": "ilp_3", "value": 3433684627804804454498142166702}, {"parameter": "15", "name": "ilp_3", "value": 79766445158660623861862}, {"parameter": "", "name": "anticode", "value": 3486784482}, {"parameter": "", "name": "linear_programming_bound", "value": 3486784482}, {"parameter": "", "name": "sphere_packing", "value": 2194924204969667410327925580952206}, {"parameter": "", "name": "DrakeFreeman", "value": 3486784442}, {"parameter": "", "name": "partial_spread_5", "value": 3486784481}, {"parameter": "", "name": "partial_spread_kurz16_28", "value": 3486784426}, {"parameter": "2", "name": "partial_spread_HKK16_T10", "value": 3486784420}, {"parameter": "3", "name": "partial_spread_HKK16_T10", "value": 3486784422}, {"parameter": "4", "name": "partial_spread_HKK16_T10", "value": 3486784426}, {"parameter": "5", "name": "partial_spread_HKK16_T10", "value": 3486784430}, {"parameter": "6", "name": "partial_spread_HKK16_T10", "value": 3486784434}, {"parameter": "7", "name": "partial_spread_HKK16_T10", "value": 3486784438}, {"parameter": "8", "name": "partial_spread_HKK16_T10", "value": 3486784442}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 3486784431}, {"parameter": "", "name": "spread_bound", "value": 3486784482}, {"parameter": "", "name": "XiaFuJohnson1", "value": 3486784482}, {"parameter": "16", "name": "ilp_4", "value": 79766445158660623861862}, {"parameter": "17", "name": "ilp_4", "value": 16677181747496258}, {"parameter": "", "name": "johnson_1", "value": 3486784482}, {"parameter": "", "name": "johnson_2", "value": 16677181747496258}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 24924068135208538822547384702464617091999062369254639098504245466254894991726}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 514667012348784999156727812545930551654233884899853599864429378680766}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 11808404611395760498566594769574638492801192638119032535867244}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 6362806664699842222619724742683154733866220577}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 147809142304073999646811111983602651427}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 3433684627804804454498142166702}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 79766445158660623861862}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 79766445158660623861862}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 16677181747496258}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1180840485523221610985118119518932406201256471633088285154020}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 243836456730190286669636886861189411589811578605017733}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 50910215201465668594595181043308658198651793848}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 10642440948781116899747054203587708514881}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 2225036064092357827237066777374648}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 465205894534658050294465058}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 465268930552011096414806473}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 876554362541956053378}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1667718308624931}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 3486784759}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 3010327171170585354532667338629928723211985628228752}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 5594530182731367206127402343512859505957562919}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 10512655351552043270235128512920847793934}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 19778404809488387281598396514226177}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 37215996917016230752502326792}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 37216619401752119552656219971}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 630360422313449146153647}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 10689696511634301519}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 183265942573086}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 3486787692}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 515465903505816630520129253002212613567577297960}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 7759534903709856919793389046658215709184145}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 129786106429493946683547104133122870807}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 2194924204969667410327925580952206}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 37165576516536589988482259623}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 37165646353274936011256327852}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 5664631228798284761284963}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 863514827913521310921}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 131794036817591710}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 20338242443042}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 3486843451}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 147811645083356575917118978939095310516}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 20025964655972949195274034804121736}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 3014596523806801732523211499990}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 458841940882544510423006923}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 458842036787399049446396611}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 629318212262915873531087}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 863320767777630137922}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 1184444080584614051}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 1627103392038559}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 2259857685623}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 3487315879}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 42391247889538983468724411894}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 51696643782538588462538895}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 70040162465535396512472}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 70040164090596793554275}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 863509213143407948762}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 10666223572874110890}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 131773141137133255}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 1627073531031723}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 20114900324960}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 251432596805}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 3491573932}, {"parameter": "6, 2", "name": "Ahlswede_Aydinian", "value": 12157668283352889852}, {"parameter": "6, 3", "name": "Ahlswede_Aydinian", "value": 133600750404410464}, {"parameter": "6, 4", "name": "Ahlswede_Aydinian", "value": 133600750745467186}, {"parameter": "6, 5", "name": "Ahlswede_Aydinian", "value": 14663718109333080}, {"parameter": "6, 6", "name": "Ahlswede_Aydinian", "value": 1647157717259538}, {"parameter": "6, 7", "name": "Ahlswede_Aydinian", "value": 182990314666108}, {"parameter": "6, 8", "name": "Ahlswede_Aydinian", "value": 20335318770421}, {"parameter": "6, 9", "name": "Ahlswede_Aydinian", "value": 2259816310280}, {"parameter": "6, 10", "name": "Ahlswede_Aydinian", "value": 251432224779}, {"parameter": "6, 11", "name": "Ahlswede_Aydinian", "value": 28282233788}, {"parameter": "6, 12", "name": "Ahlswede_Aydinian", "value": 3530369206}, {"parameter": "7, 1", "name": "Ahlswede_Aydinian", "value": 3486784482}, {"parameter": "7, 2", "name": "Ahlswede_Aydinian", "value": 3486784482}, {"parameter": "7, 3", "name": "Ahlswede_Aydinian", "value": 3486784491}, {"parameter": "7, 4", "name": "Ahlswede_Aydinian", "value": 3486784563}, {"parameter": "7, 5", "name": "Ahlswede_Aydinian", "value": 3486785220}, {"parameter": "7, 6", "name": "Ahlswede_Aydinian", "value": 3486791124}, {"parameter": "7, 7", "name": "Ahlswede_Aydinian", "value": 3486844269}, {"parameter": "7, 8", "name": "Ahlswede_Aydinian", "value": 3487322639}, {"parameter": "7, 9", "name": "Ahlswede_Aydinian", "value": 3491633231}, {"parameter": "7, 10", "name": "Ahlswede_Aydinian", "value": 3530859601}, {"parameter": "7, 11", "name": "Ahlswede_Aydinian", "value": 3922632451}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 24924068135208538822547384702464617091999062369254639098504245466254894991726}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 515465903505816630520129253002212613567577297960}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 147811645083356575917118978939095310516}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 42391247889538983468724411894}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 12157668283352889852}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 3486784482}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 514667012348784999156727812545930551654233884899853599864429378680766}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1180840485523221610985118119518932406201256471633088285154020}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 3010327171170585354532667338629928723211985628228752}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 7759534903709856919793389046658215709184145}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 20025964655972949195274034804121736}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 51696643782538588462538895}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 133600750404410464}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 135085183308555838}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 150094648081875498}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 11808404611395760498566594769574638492801192638119032535867244}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 243836456730190286669636886861189411589811578605017733}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 5594530182731367206127402343512859505957562919}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 129786106429493946683547104133122870807}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 3014596523806801732523211499990}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 70040162465535396512472}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 70135098989663897576293}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 71000964391162531340837}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 79766515344673994409938}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 50910215201465668594595181043308658198651793848}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 10512655351552043270235128512920847793934}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 2194924204969667410327925580952206}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 458841940882544510423006923}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 458907184829661157210529609}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 459536687023042388568186079}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 465273014957151762154711160}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 79767286202784998740550}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 6362806664699842222619724742683154733866220577}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 10642440948781116899747054203587708514881}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 19778404809488387281598396514226177}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 37165576516536589988482259623}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 37163128318758499238291980805}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 37168792553432470350600455420}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 37219840719900294975916560420}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 51694567969079261053413040}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 79780103796177358659775}, {"parameter": "5, 5, o", "name": "Ahlswede_Aydinian", "value": 147809142304073999646811111983602651427}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 2225036064092357827237066777374648}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 37215996917016230752502326792}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 37190822066300016408215688616}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 37191451747460329773112380835}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 37197120994710686866696945437}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 460165790217334102840234210}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 5752059282768500497583217}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 79889467184726265457619}, {"parameter": "6, 4, o", "name": "Ahlswede_Aydinian", "value": 3433684627804804454498142166702}, {"parameter": "6, 5, o", "name": "Ahlswede_Aydinian", "value": 465205894534658050294465058}, {"parameter": "6, 6, o", "name": "Ahlswede_Aydinian", "value": 465205991784313867154450098}, {"parameter": "6, 7, o", "name": "Ahlswede_Aydinian", "value": 465206867032862907940164263}, {"parameter": "6, 8, o", "name": "Ahlswede_Aydinian", "value": 465214744403188346253310876}, {"parameter": "6, 9, o", "name": "Ahlswede_Aydinian", "value": 51690623351554069901606884}, {"parameter": "6, 10, o", "name": "Ahlswede_Aydinian", "value": 5752060483882692985003045}, {"parameter": "6, 11, o", "name": "Ahlswede_Aydinian", "value": 647104489392409773146887}, {"parameter": "6, 12, o", "name": "Ahlswede_Aydinian", "value": 80886790919500868412838}, {"parameter": "7, 3, o", "name": "Ahlswede_Aydinian", "value": 79766445158660623861862}, {"parameter": "7, 4, o", "name": "Ahlswede_Aydinian", "value": 79766447009420736291496}, {"parameter": "7, 5, o", "name": "Ahlswede_Aydinian", "value": 79766463666265226024065}, {"parameter": "7, 6, o", "name": "Ahlswede_Aydinian", "value": 79766613578147341281356}, {"parameter": "7, 7, o", "name": "Ahlswede_Aydinian", "value": 79767962807905085303557}, {"parameter": "7, 8, o", "name": "Ahlswede_Aydinian", "value": 79780107724321395009368}, {"parameter": "7, 9, o", "name": "Ahlswede_Aydinian", "value": 79889561913794174984594}, {"parameter": "7, 10, o", "name": "Ahlswede_Aydinian", "value": 80886946504784041298145}, {"parameter": "7, 11, o", "name": "Ahlswede_Aydinian", "value": 90983770072735012966405}, {"parameter": "", "name": "improved_johnson", "value": 3486784429}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 16677181785760011}], "known_codes": [], "upper_bound": 3486784420, "classified": false, "lower_bound": 3486784402, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 3486784401}, {"parameter": "", "name": "sphere_covering", "value": 649}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 3486784402}, {"parameter": "", "name": "multicomponent", "value": 3486784402}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (10, 11, 12, 13, 14, 15, 16, 17)]", "name": "ef_computation", "value": 3486784402}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 3486784401}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 3486784402}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 387420490}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 43046722}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 3486784402}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 387420490}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 43046722}, {"parameter": "8", "name": "linkage_GLT", "value": 3486784402}, {"parameter": "9", "name": "linkage_GLT", "value": 387420490}, {"parameter": "10", "name": "linkage_GLT", "value": 43046722}, {"parameter": "8", "name": "improved_linkage", "value": 3486784402}, {"parameter": "9", "name": "improved_linkage", "value": 387420490}, {"parameter": "10", "name": "improved_linkage", "value": 43046722}, {"parameter": "8,0", "name": "generalized_linkage", "value": 3486784402}, {"parameter": "9,0", "name": "generalized_linkage", "value": 387420490}, {"parameter": "10,0", "name": "generalized_linkage", "value": 43046722}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3486784402}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 387420490}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43046722}, {"parameter": "", "name": "JohnsonLB", "value": 3486784393}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 9}], "request": [9, 18, 16, 8], "liftedmrdsizebound": 3486784402, "comments": "", "equal_bound_constraints": []}