{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 8420938568600494548364485694992800253522721858112233429779216106152115820169}, {"parameter": "", "name": "singleton", "value": 5482656778286418474121}, {"parameter": "2", "name": "ilp_2", "value": 4722386749146351538687}, {"parameter": "3", "name": "ilp_2", "value": 324529850211414949709827390050823}, {"parameter": "4", "name": "ilp_2", "value": 22306967528735135188671053153781612500189767}, {"parameter": "5", "name": "ilp_2", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "6", "name": "ilp_2", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "8", "name": "ilp_3", "value": 3513489573818030098472922941319498008141342469938284393950635593754077}, {"parameter": "9", "name": "ilp_3", "value": 1649184858796900175517010098845798323740831757686612565111388322}, {"parameter": "10", "name": "ilp_3", "value": 784856699062579021557952446926529882809235631476244565330}, {"parameter": "11", "name": "ilp_3", "value": 374157468676033728052378748335935945906647930015096}, {"parameter": "12", "name": "ilp_3", "value": 178406739378784607200520681419935627795975136}, {"parameter": "", "name": "anticode", "value": 4722386749146351538687}, {"parameter": "", "name": "linear_programming_bound", "value": 4722386749146351538687}, {"parameter": "", "name": "sphere_packing", "value": 1232083275024896794214452222635697334864687222}, {"parameter": "1", "name": "ilp_1", "value": 4722386749146351538687}, {"parameter": "13", "name": "ilp_4", "value": 178406143882046338460872728955289588305901652}, {"parameter": "14", "name": "ilp_4", "value": 178406143882046338460872728955289588305901652}, {"parameter": "15", "name": "ilp_4", "value": 5444527328125260737371466533672471081413}, {"parameter": "16", "name": "ilp_4", "value": 166153892076796798349138944732193461}, {"parameter": "17", "name": "ilp_4", "value": 5070614528619909938121459729128}, {"parameter": "18", "name": "ilp_4", "value": 154742883701862409513500671}, {"parameter": "", "name": "johnson_1", "value": 4722386749146351538687}, {"parameter": "", "name": "johnson_2", "value": 154742883701862409513500671}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 8420938568600494548364485694992800253522721858112233429779216106152115820169}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 3513489573818030098472922941319498008141342469938284393950635593754077}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1649184858796900175517010098845798323740831757686612565111388322}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 784856699062579021557952446926529882809235631476244565330}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 374157468676033728052378748335935945906647930015096}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 178406739378784607200520681419935627795975136}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 178406143882046338460872728955289588305901652}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 178406143882046338460872728955289588305901652}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 5444527328125260737371466533672471081413}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 166153892076796798349138944732193461}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 5070614528619909938121459729128}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 154742883701862409513500671}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 357896166368789264029914539124721793194602432908327995925715}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1343933333603370815652054840686428700242230523913110555}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 5116685771552055273329491620414033649382974572059}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 19513842082224736977870696060389922905444525}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 19513322024120105836110191509114879442811905}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 19513330165689205964802703586209607597407151}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 4764048870445689537220573221141475251922}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1163132809993700598003813038955931774}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 284028772756864003893885636781137}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 69462724343765457762583563644}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 17194209244911255153896526}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 4722528614792701411353}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 41013724952470536964284450178671099062605234886968}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1232083275024896794214452222635697334864687222}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 37526761987308421783828680472312718239805}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 37518745681174945791174625157908975854281}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 37518747882465748318527125811972131560586}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 73284429431300306139851208976655666943}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 143136304316597009153549920497143364}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 279604549421448593893308284274332}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 546233874204307804612163666672}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 1068918173261853224504773572}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 2120350722250156323507937}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 4723663840698240896513}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 22306967528735135188671053153781612500189767}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 4765427799414450133806177606228734317440}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 1145260225899547495410432248638136737}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 1143302994197372096029871706701759973}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 1143303002697189815709292513638284815}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 17877191617415067634513015710479194}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 279595249865612527968211010415078}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 4368675776089540934969105151637}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 68262735159278704853027867165}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 1066867105299302552660898496}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 16702349625659903738838071}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 265107671780315964824561}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 4732763364363837116929}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 324529850211414949709827390050823}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 554751880711330353651526088372}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 547167150938219014465801368650}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 547167151446812843445830441637}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 69329171751484654698331661818}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 8664064283663770110534522972}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 1083236346377053970247595465}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 135404550359025627451930951}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 16926139943456023078485461}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 2116283030336098342122471}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 265052061117217204929310}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 33656361391752843825327}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 4806712791930946228801}, {"parameter": "5, 2", "name": "Ahlswede_Aydinian", "value": 4722386749146351538687}, {"parameter": "5, 3", "name": "Ahlswede_Aydinian", "value": 4722386749214127875170}, {"parameter": "5, 4", "name": "Ahlswede_Aydinian", "value": 4722386749756338567091}, {"parameter": "5, 5", "name": "Ahlswede_Aydinian", "value": 4722386754094024106442}, {"parameter": "5, 6", "name": "Ahlswede_Aydinian", "value": 4722386788795508675866}, {"parameter": "5, 7", "name": "Ahlswede_Aydinian", "value": 4722387066407401526691}, {"parameter": "5, 8", "name": "Ahlswede_Aydinian", "value": 4722389287303587241502}, {"parameter": "5, 9", "name": "Ahlswede_Aydinian", "value": 4722407054539819336516}, {"parameter": "5, 10", "name": "Ahlswede_Aydinian", "value": 4722549196701572531922}, {"parameter": "5, 11", "name": "Ahlswede_Aydinian", "value": 4723686607462694753903}, {"parameter": "5, 12", "name": "Ahlswede_Aydinian", "value": 4732803429161777436733}, {"parameter": "5, 13", "name": "Ahlswede_Aydinian", "value": 4806877814006516640517}, {"parameter": "5, 14", "name": "Ahlswede_Aydinian", "value": 5482656778286418474121}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 8420938568600494548364485694992800253522721858112233429779216106152115820169}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1535922985723068333646894938824390966086303890100752392}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 22306967528735135188671053153781612500189767}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 324529850211414949709827390050823}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 4722386749146351538687}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 4722386749146351538687}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 3513489573818030098472922941319498008141342469938284393950635593754077}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 357896166368789264029914539124721793194602432908327995925715}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 41013724952470536964284450178671099062605234886968}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 4765427799414450133806177606228734317440}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 554751880711330353651526088372}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 555701797862345734076557344096}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 563419878387412977808750774193}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 633847363177640762215263071225}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1649184858796900175517010098845798323740831757686612565111388322}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1343933333603370815652054840686428700242230523913110555}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1232083275024896794214452222635697334864687222}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1145260225899547495410432248638136737}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1145535491490739808182595496567016763}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1147742216536757974289882329515590943}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 1165675688655273310529370227738177630}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 1329598832217635453079130711352179837}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 784856699062579021557952446926529882809235631476244565330}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 5116685771552055273329491620414033649382974572059}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 37526761987308421783828680472312718239805}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 37527905011304702333989289386834210753981}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 37537051435743673345281503471097079102919}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 37610365988850103289953890634900314827635}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 38206189925258073684828972355991315903853}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 43653556806975059159768620970725492105641}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 374157468676033728052378748335935945906647930015096}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 19513842082224736977870696060389922905444525}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 19513916503731102360943157818241323997098973}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 19514511893950859728524915541720623641174728}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 19519276178832673757368158237892353037619337}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 19557465043236872567766395833025396107219123}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 19867825189800931790603595714506592092581840}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 22705392824638140774688065129543572874895879}, {"parameter": "5, 7, o", "name": "Ahlswede_Aydinian", "value": 178406739378784607200520681419935627795975136}, {"parameter": "5, 8, o", "name": "Ahlswede_Aydinian", "value": 178406824447156127571259878878153471285594690}, {"parameter": "5, 9, o", "name": "Ahlswede_Aydinian", "value": 178407504996724370009395753829398787270438208}, {"parameter": "5, 10, o", "name": "Ahlswede_Aydinian", "value": 178412949559424466354349666739406936112027941}, {"parameter": "5, 11, o", "name": "Ahlswede_Aydinian", "value": 178456516697488065078796999949188707015986548}, {"parameter": "5, 12, o", "name": "Ahlswede_Aydinian", "value": 178805735867776304446986988938536177398548951}, {"parameter": "5, 13, o", "name": "Ahlswede_Aydinian", "value": 181643834331523195053679134821823827659203608}, {"parameter": "5, 14, o", "name": "Ahlswede_Aydinian", "value": 207592149047991945127896428337152713645086345}, {"parameter": "", "name": "improved_johnson", "value": 4722386749146351538665}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 79228361176578953410429353838}], "known_codes": [], "upper_bound": 4722386749146351538665, "classified": false, "lower_bound": 4722366482938364690433, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 4722366482869645213696}, {"parameter": "", "name": "sphere_covering", "value": 3788193923816}, {"parameter": "", "name": "graham_sloane", "value": 1}, {"parameter": "", "name": "multicomponent", "value": 4722366482869647310849}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (0, 7, 8, 9, 10, 11, 12), (5, 8, 14, 15, 16, 17, 18)]", "name": "ef_computation", "value": 4722366482938364690433}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 4722366482869645213696}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 4722366482869645213697}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 73786976294838206465}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1152921504606846977}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 18014398509481985}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 281474976710657}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 4398046511105}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 4722366482869645213697}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 73786976294838206465}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1152921504606846977}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 18014398509481985}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 281474976710657}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 4398046511105}, {"parameter": "", "name": "construction_1", "value": 4722366482938364690433}, {"parameter": "7", "name": "linkage_GLT", "value": 4722366482869645213697}, {"parameter": "8", "name": "linkage_GLT", "value": 73786976294838206465}, {"parameter": "9", "name": "linkage_GLT", "value": 1152921504606846977}, {"parameter": "10", "name": "linkage_GLT", "value": 18014398509481985}, {"parameter": "11", "name": "linkage_GLT", "value": 281474976710657}, {"parameter": "12", "name": "linkage_GLT", "value": 4398046511105}, {"parameter": "7", "name": "improved_linkage", "value": 4722366482869647310849}, {"parameter": "8", "name": "improved_linkage", "value": 73786976294838206465}, {"parameter": "9", "name": "improved_linkage", "value": 1152921504606846977}, {"parameter": "10", "name": "improved_linkage", "value": 18014398509481985}, {"parameter": "11", "name": "improved_linkage", "value": 281474976710657}, {"parameter": "12", "name": "improved_linkage", "value": 4398046511105}, {"parameter": "13", "name": "improved_linkage", "value": 4398048608257}, {"parameter": "7,0", "name": "generalized_linkage", "value": 4722366482869645213697}, {"parameter": "7,1", "name": "generalized_linkage", "value": 4722366482869647310849}, {"parameter": "8,0", "name": "generalized_linkage", "value": 73786976294838206465}, {"parameter": "8,1", "name": "generalized_linkage", "value": 73786976294838206465}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1152921504606846977}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1152921504606846977}, {"parameter": "10,0", "name": "generalized_linkage", "value": 18014398509481985}, {"parameter": "10,1", "name": "generalized_linkage", "value": 18014398509481985}, {"parameter": "11,0", "name": "generalized_linkage", "value": 281474976710657}, {"parameter": "11,1", "name": "generalized_linkage", "value": 281474976710657}, {"parameter": "12,0", "name": "generalized_linkage", "value": 4398046511105}, {"parameter": "12,1", "name": "generalized_linkage", "value": 4398046511105}, {"parameter": "13,1", "name": "generalized_linkage", "value": 4398048608257}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645213697}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869647310849}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976294838206465}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976294838206465}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921504606846977}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504606846977}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18014398509481985}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014398509481985}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 281474976710657}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 281474976710657}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4398046511105}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4398046511105}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4398048608257}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4398048608257}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 4398063288328}], "request": [8, 19, 12, 7], "liftedmrdsizebound": 4722366482938367049792, "comments": "", "equal_bound_constraints": []}