{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 467455771483523568551302853258472608792870981791648312186505}, {"parameter": "", "name": "singleton", "value": 9817068105}, {"parameter": "1", "name": "ilp_2", "value": 8589967360}, {"parameter": "2", "name": "ilp_2", "value": 73789509648013856831}, {"parameter": "3", "name": "ilp_2", "value": 634001847059366185943829382087}, {"parameter": "4", "name": "ilp_2", "value": 5456691999006464293950588596907491036862}, {"parameter": "5", "name": "ilp_2", "value": 47616637318166345607857311819929827082815270108758}, {"parameter": "7", "name": "ilp_3", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "8", "name": "ilp_3", "value": 5859081562979599662574574460781765938572031463937}, {"parameter": "9", "name": "ilp_3", "value": 22306969024163070706566261172486421220725248}, {"parameter": "10", "name": "ilp_3", "value": 85073558836263914946143286719429475831}, {"parameter": "11", "name": "ilp_3", "value": 324519968441731723663630988402196}, {"parameter": "", "name": "anticode", "value": 8589967360}, {"parameter": "", "name": "linear_programming_bound", "value": 8589967360}, {"parameter": "", "name": "sphere_packing", "value": 280151585329718010303210647106442}, {"parameter": "", "name": "DrakeFreeman", "value": 8589951523}, {"parameter": "", "name": "partial_spread_5", "value": 8589967359}, {"parameter": "5", "name": "partial_spread_HKK16_T10", "value": 8589966881}, {"parameter": "6", "name": "partial_spread_HKK16_T10", "value": 8589951523}, {"parameter": "", "name": "partial_spread_NS_2_Theorem6", "value": 8589967328}, {"parameter": "", "name": "spread_bound", "value": 8589967360}, {"parameter": "", "name": "XiaFuJohnson1", "value": 8589967360}, {"parameter": "12", "name": "ilp_4", "value": 324519968441731723663630988402196}, {"parameter": "13", "name": "ilp_4", "value": 9903525711106394850162685703}, {"parameter": "14", "name": "ilp_4", "value": 302231835774478591746013}, {"parameter": "15", "name": "ilp_4", "value": 9223389432546047793}, {"parameter": "16", "name": "ilp_4", "value": 281475515711487}, {"parameter": "", "name": "johnson_1", "value": 8589967360}, {"parameter": "", "name": "johnson_2", "value": 281475515711487}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 467455771483523568551302853258472608792870981791648312186505}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 5859081562979599662574574460781765938572031463937}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 22306969024163070706566261172486421220725248}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 85073558836263914946143286719429475831}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 324519968441731723663630988402196}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 324519968441731723663630988402196}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 9903525711106394850162685703}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 302231835774478591746013}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 9223389432546047793}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 281475515711487}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 47616637318166345607857311819929827082815270108758}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1271506243771972789032053674447773736109847817}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 38197007951697613205691730144676313719530}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1163403532145313529644699585038645489}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 35495592267015294526954603591117}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 35495607076542064334785937606861}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 8665684166576170721619306587}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 2115718184009773453128363}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 516644851530284745659}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 126350029589084579}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 31276057934411}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 8590196737}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 5456691999006464293950588596907491036862}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1165710745488495534735625205747566313}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 280151585329718010303210647106442}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 68262829502120775050661611923}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 68262833506472372754292005075}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 133293367803414466189504043}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 260359448242169136705967}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 508537336964877394624}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 993593163422487380}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1944349066886270}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 3856880768325}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 8592032008}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 634001847059366185943829382087}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 1083763841252826733999107449}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 2083715996651613782398210}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 2083716012119699365313624}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 32494612167780531538059}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 508100351758554338607}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 7946601357862522441}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 124168948957460113}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 1940614646853986}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 30381281285605}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 482214755564}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 8606744609}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 73789509648013856831}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 1010815200773758129}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 1010815201702030639}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 124411347892930061}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 15763622004539379}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 1969980136786446}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 246300236856263}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 30788340485309}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 3849481919994}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 482113711686}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 61207227139}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 8726282753}, {"parameter": "5, 1", "name": "Ahlswede_Aydinian", "value": 8589967360}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 8589967361}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 8589967368}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 8589967425}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 8589967880}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 8589971520}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 8590000647}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 8590233665}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 8592098206}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 8607040123}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 8728235572}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 9817068105}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 467455771483523568551302853258472608792870981791648312186505}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 47616637318166345607857311819929827082815270108758}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 5456691999006464293950588596907491036862}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 634001847059366185943829382087}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 73789509648013856831}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 8589967360}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1271506243771972789032053674447773736109847817}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1165710745488495534735625205747566313}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1083763841252826733999107449}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1010815200773758129}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1024854300772882615}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1152961088250184233}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 5859081562979599662574574460781765938572031463937}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 38197007951697613205691730144676313719530}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 280151585329718010303210647106442}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 2083715996651613782398210}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 2087729895440813219144260}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 2120350674840665548362187}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 2418524986237708296318833}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 22306969024163070706566261172486421220725248}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 1163403532145313529644699585038645489}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 68262829502120775050661611923}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 68279340325349614748170039681}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 68412698404952114201692714013}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 69496493265727623309645411764}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 79405172369798970137646598281}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 85073558836263914946143286719429475831}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 35495592267015294526954603591117}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 35496556791724299854538584146820}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 35505222939612359714405277471059}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 35574687792507433850678415790887}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 36139227276026830576278451656660}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 41300711093348340943127050523199}, {"parameter": "5, 6, o", "name": "Ahlswede_Aydinian", "value": 324519968441731723663630988402196}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 324521206349979147372563197090309}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 324531109918189181598016228839430}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 324610357811354193703644157750254}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 325245581618855519289353239546902}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 330408034808238202023961959587844}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 377607559263493603746446715115145}, {"parameter": "", "name": "improved_johnson", "value": 8589967353}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 144115532747145661}], "known_codes": [], "upper_bound": 8589951523, "classified": false, "lower_bound": 8589934593, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 8589934592}, {"parameter": "", "name": "sphere_covering", "value": 229378}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "partial_spread_3", "value": 8589934593}, {"parameter": "", "name": "multicomponent", "value": 8589934593}, {"parameter": "[(0, 1, 2, 3, 4, 5), (8, 10, 11, 13, 14, 16)]", "name": "ef_computation", "value": 8589934593}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 8589934592}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 8589934593}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 1073741825}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 134217729}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 16777217}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 2097153}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 262145}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 8589934593}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 1073741825}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 134217729}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 16777217}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 2097153}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 262145}, {"parameter": "6", "name": "linkage_GLT", "value": 8589934593}, {"parameter": "7", "name": "linkage_GLT", "value": 1073741825}, {"parameter": "8", "name": "linkage_GLT", "value": 134217729}, {"parameter": "9", "name": "linkage_GLT", "value": 16777217}, {"parameter": "10", "name": "linkage_GLT", "value": 2097153}, {"parameter": "11", "name": "linkage_GLT", "value": 262145}, {"parameter": "6", "name": "improved_linkage", "value": 8589934593}, {"parameter": "7", "name": "improved_linkage", "value": 1073741825}, {"parameter": "8", "name": "improved_linkage", "value": 134217729}, {"parameter": "9", "name": "improved_linkage", "value": 16777217}, {"parameter": "10", "name": "improved_linkage", "value": 2097153}, {"parameter": "11", "name": "improved_linkage", "value": 262145}, {"parameter": "6,0", "name": "generalized_linkage", "value": 8589934593}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1073741825}, {"parameter": "8,0", "name": "generalized_linkage", "value": 134217729}, {"parameter": "9,0", "name": "generalized_linkage", "value": 16777217}, {"parameter": "10,0", "name": "generalized_linkage", "value": 2097153}, {"parameter": "11,0", "name": "generalized_linkage", "value": 262145}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 8589934593}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1073741825}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 134217729}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16777217}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2097153}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 262145}, {"parameter": "", "name": "JohnsonLB", "value": 8589930497}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 8}], "request": [8, 17, 12, 6], "liftedmrdsizebound": 8589934593, "comments": "", "equal_bound_constraints": []}