{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 607098005839518055568051981319221867272218743306204}, {"parameter": "", "name": "singleton", "value": 16148168401}, {"parameter": "1", "name": "ilp_2", "value": 13842110793}, {"parameter": "2", "name": "ilp_2", "value": 191672461216906131259}, {"parameter": "3", "name": "ilp_2", "value": 2660750875407117857609088683204}, {"parameter": "4", "name": "ilp_2", "value": 37595471558367113883311055106157476792604}, {"parameter": "6", "name": "ilp_3", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "7", "name": "ilp_3", "value": 1804600164876725578979453554393512889862633}, {"parameter": "8", "name": "ilp_3", "value": 107058919023702495838706133014602658953}, {"parameter": "9", "name": "ilp_3", "value": 6367247716520947099817912660272452}, {"parameter": "", "name": "anticode", "value": 13842110793}, {"parameter": "", "name": "linear_programming_bound", "value": 13842110793}, {"parameter": "", "name": "sphere_packing", "value": 18998578199998785821626719}, {"parameter": "", "name": "DrakeFreeman", "value": 13842110769}, {"parameter": "", "name": "partial_spread_5", "value": 13842110792}, {"parameter": "", "name": "partial_spread_kurz16_28", "value": 13842110769}, {"parameter": "2", "name": "partial_spread_HKK16_T10", "value": 13842110763}, {"parameter": "3", "name": "partial_spread_HKK16_T10", "value": 13842110763}, {"parameter": "4", "name": "partial_spread_HKK16_T10", "value": 13842110766}, {"parameter": "5", "name": "partial_spread_HKK16_T10", "value": 13842110769}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 13842110771}, {"parameter": "", "name": "spread_bound", "value": 13842110793}, {"parameter": "", "name": "XiaFuJohnson1", "value": 13842110793}, {"parameter": "10", "name": "ilp_4", "value": 6367247716520947099817912660272452}, {"parameter": "11", "name": "ilp_4", "value": 2651757141537803743064274074110}, {"parameter": "12", "name": "ilp_4", "value": 1104453378037729845942894919}, {"parameter": "13", "name": "ilp_4", "value": 460000274107321378341806}, {"parameter": "14", "name": "ilp_4", "value": 191587147631138593831}, {"parameter": "15", "name": "ilp_4", "value": 79797014187715601}, {"parameter": "16", "name": "ilp_4", "value": 33234907915551}, {"parameter": "", "name": "johnson_1", "value": 13842110793}, {"parameter": "", "name": "johnson_2", "value": 33234907915551}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 607098005839518055568051981319221867272218743306204}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1804600164876725578979453554393512889862633}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 107058919023702495838706133014602658953}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 6367247716520947099817912660272452}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 6367247716520947099817912660272452}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 2651757141537803743064274074110}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1104453378037729845942894919}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 460000274107321378341806}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 191587147631138593831}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 79797014187715601}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 33234907915551}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 37595471558367113883311055106157476792604}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 13422160500069417962035402891013542756}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 5476197676819932806270293750158749}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 2274151908649945056767556142782}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 2274151956937504392387750507055}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 6627421483258547792603819235}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 19324247800564305236472862}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 56340898360299519405705}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 164300458002936207757}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 479181012481261589}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1400529332903432}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 4156063227827}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 13847054404}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 2660750875407117857609088683204}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 6651877188987392174037887030}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 18998578199998785821626719}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 18998578265718968794312781}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 386599388070995546927743}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 7897762502590982999478}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 161408835815371503038}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 3294057315463479778}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 67229765845356846}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1372600349424864}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 28092285684033}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 584982268594}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 13881758801}, {"parameter": "3, 2", "name": "Ahlswede_Aydinian", "value": 191672461216906131259}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 3362674758429322804}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 3362674760095232981}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 470798478576247742}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 68430013082118420}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 9771729558188072}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 1396451381022574}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 199493054433242}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 28500872338807}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 4073214343708}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 583554454139}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 85065537820}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 14129647351}, {"parameter": "4, 1", "name": "Ahlswede_Aydinian", "value": 13842110793}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 13842110793}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 13842110800}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 13842110842}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 13842111142}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 13842113243}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 13842127943}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 13842230850}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 13842951236}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 13847995743}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 13883396013}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 14135622402}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 16148168401}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 607098005839518055568051981319221867272218743306204}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 37595471558367113883311055106157476792604}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 2660750875407117857609088683204}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 191672461216906131259}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 13842110793}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 30961750603810590349247857064423799840484432033}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 13422160500069417962035402891013542756}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 6651877188987392174037887030}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 3362674758429322804}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 3422722236206033937}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 3911682555416757348}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1804600164876725578979453554393512889862633}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 5476197676819932806270293750158749}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 18998578199998785821626719}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 19052995491372861145988920}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 19441832132846463255096510}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 22616008796159334446561952}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 107058919023702495838706133014602658953}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 2274151908649945056767556142782}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 2275096371075829017216650567064}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 2281729304960931913010979833508}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 2329126742116405121304679691190}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 2716182779852848970147445657074}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 6367247716520947099817912660272452}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 6367626426199349075331993004998210}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 6370278498452153065203077207964905}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 6388897283163574232954742354916056}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 6521943853563767686029936338286127}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 7608481579300344488889504665693103}, {"parameter": "", "name": "improved_johnson", "value": 13842110773}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 558583845180670398}], "known_codes": [], "upper_bound": 13842110763, "classified": false, "lower_bound": 13842110745, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 13841287201}, {"parameter": "", "name": "sphere_covering", "value": 4941847}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 13842110745}, {"parameter": "", "name": "multicomponent", "value": 13842110745}, {"parameter": "[(0, 1, 2, 3, 4), (5, 6, 7, 8, 9), (12, 13, 14, 15, 16)]", "name": "ef_computation", "value": 13842110745}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 13841287201}, {"parameter": "(5, 12)", "name": "CKMP2019_Lem_41", "value": 13842110745}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 1977444393}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 282492057}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 40353608}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 5764802}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 13842110745}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 13841404851}, {"parameter": "(12, 5)", "name": "CKMP2019_Lem_41", "value": 13841304009}, {"parameter": "(5, 5, 7)", "name": "CKMP2019_Lem_41", "value": 13842110745}, {"parameter": "(5, 6, 6)", "name": "CKMP2019_Lem_41", "value": 13841404851}, {"parameter": "(5, 7, 5)", "name": "CKMP2019_Lem_41", "value": 13841304009}, {"parameter": "(6, 5, 6)", "name": "CKMP2019_Lem_41", "value": 1977444393}, {"parameter": "(6, 6, 5)", "name": "CKMP2019_Lem_41", "value": 1977343551}, {"parameter": "(7, 5, 5)", "name": "CKMP2019_Lem_41", "value": 282492057}, {"parameter": "(5, 12)", "name": "CKMP2019_Cor_42", "value": 13842110745}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 1977444393}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 282492057}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 40353608}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 5764802}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 13842110745}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 13841404851}, {"parameter": "(12, 5)", "name": "CKMP2019_Cor_42", "value": 13841304009}, {"parameter": "(5, 5, 7)", "name": "CKMP2019_Cor_42", "value": 13842110745}, {"parameter": "(5, 6, 6)", "name": "CKMP2019_Cor_42", "value": 13841404851}, {"parameter": "(5, 7, 5)", "name": "CKMP2019_Cor_42", "value": 13841304009}, {"parameter": "(6, 5, 6)", "name": "CKMP2019_Cor_42", "value": 1977444393}, {"parameter": "(6, 6, 5)", "name": "CKMP2019_Cor_42", "value": 1977343551}, {"parameter": "(7, 5, 5)", "name": "CKMP2019_Cor_42", "value": 282492057}, {"parameter": "5", "name": "linkage_GLT", "value": 13842110745}, {"parameter": "6", "name": "linkage_GLT", "value": 1977444393}, {"parameter": "7", "name": "linkage_GLT", "value": 282492057}, {"parameter": "8", "name": "linkage_GLT", "value": 40353608}, {"parameter": "9", "name": "linkage_GLT", "value": 5764802}, {"parameter": "10", "name": "linkage_GLT", "value": 13842110745}, {"parameter": "11", "name": "linkage_GLT", "value": 13841404851}, {"parameter": "12", "name": "linkage_GLT", "value": 13841304009}, {"parameter": "5", "name": "improved_linkage", "value": 13842110745}, {"parameter": "6", "name": "improved_linkage", "value": 1977444393}, {"parameter": "7", "name": "improved_linkage", "value": 282492057}, {"parameter": "8", "name": "improved_linkage", "value": 40353608}, {"parameter": "9", "name": "improved_linkage", "value": 5764802}, {"parameter": "10", "name": "improved_linkage", "value": 13842110745}, {"parameter": "11", "name": "improved_linkage", "value": 13841404851}, {"parameter": "12", "name": "improved_linkage", "value": 13841304009}, {"parameter": "5,0", "name": "generalized_linkage", "value": 13842110745}, {"parameter": "6,0", "name": "generalized_linkage", "value": 1977444393}, {"parameter": "7,0", "name": "generalized_linkage", "value": 282492057}, {"parameter": "8,0", "name": "generalized_linkage", "value": 40353608}, {"parameter": "9,0", "name": "generalized_linkage", "value": 5764802}, {"parameter": "10,0", "name": "generalized_linkage", "value": 13842110745}, {"parameter": "11,0", "name": "generalized_linkage", "value": 13841404851}, {"parameter": "12,0", "name": "generalized_linkage", "value": 13841304009}, {"parameter": "[5, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13842110745}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1977444393}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282492057}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 40353608}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5764802}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13842110745}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13841404851}, {"parameter": "[12, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13841304009}, {"parameter": "[5, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13842110745}, {"parameter": "[5, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13841404851}, {"parameter": "[5, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13841304009}, {"parameter": "[6, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1977444393}, {"parameter": "[6, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1977343551}, {"parameter": "[7, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282492057}, {"parameter": "", "name": "JohnsonLB", "value": 13841169601}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 7}], "request": [7, 17, 10, 5], "liftedmrdsizebound": 13842110763, "comments": "", "equal_bound_constraints": []}