{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 4274137206973266943778085267}, {"parameter": "", "name": "singleton", "value": 3926442969043883795}, {"parameter": "6", "name": "ilp_2", "value": 1307251291837082557}, {"parameter": "7", "name": "ilp_2", "value": 1529670761633934747277}, {"parameter": "8", "name": "ilp_2", "value": 2088000589630320930033261}, {"parameter": "10", "name": "ilp_3", "value": 4178042235555490658629604}, {"parameter": "11", "name": "ilp_3", "value": 6123168884546395689247}, {"parameter": "12", "name": "ilp_3", "value": 10466955358198966990}, {"parameter": "", "name": "anticode", "value": 1307251291837082557}, {"parameter": "", "name": "linear_programming_bound", "value": 1307251291837082557}, {"parameter": "", "name": "sphere_packing", "value": 4088100038520322622209}, {"parameter": "1", "name": "ilp_1", "value": 1303421220294595009}, {"parameter": "2", "name": "ilp_1", "value": 1303421220294595540}, {"parameter": "3", "name": "ilp_1", "value": 1303421220299013830}, {"parameter": "4", "name": "ilp_1", "value": 1303421220299013830}, {"parameter": "5", "name": "ilp_1", "value": 1303421220299013830}, {"parameter": "13", "name": "ilp_4", "value": 10446509590193694926}, {"parameter": "14", "name": "ilp_4", "value": 10446411311231940963}, {"parameter": "15", "name": "ilp_4", "value": 10446411078784065481}, {"parameter": "16", "name": "ilp_4", "value": 10446411078428663373}, {"parameter": "17", "name": "ilp_4", "value": 10446411078428500471}, {"parameter": "18", "name": "ilp_4", "value": 10446411078698774263}, {"parameter": "", "name": "johnson_1", "value": 1303421220294595009}, {"parameter": "", "name": "johnson_2", "value": 10446411078698774263}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 4274137206973266943778085267}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 4178042235555490658629604}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 6123168884546395689247}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 10466955358198966990}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 10446509590193694926}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 10446411311231940963}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 10446411078784065481}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 10446411078428663373}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 10446411078428500471}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 10446411078698774263}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 4088100038520322622209}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 12000270665567376114}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 11923899090917028155}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 11970751030829353445}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 12065566430348524883}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 12259779431365308600}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 12667586232954223172}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 13570391722826674983}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 3983844353932996772}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 1489447259129092536}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1529670761633934747277}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 6003089490370969349}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 5964806053723180815}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 5982003682132046783}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 6017186600655984464}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 6088533430142455610}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 6235236010607365386}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 6545673716360089351}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 3643436328212083161}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 2267963639772302471}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 1979631442193303405}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 1307251291837082557}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 1308360608146788204}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 1310583272592130758}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 1315044789390987202}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 1324033063170150946}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 1342274540179257587}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 1379849957654358876}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 1459649585109548705}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 1640385031529332839}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 2113291046993070859}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 3926442969043883795}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 4274137206973266943778085267}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1529670761633934747277}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1307251291837082557}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1303421220299013830}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1303421220299013830}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1303421220299013830}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1303421220294595540}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 1303421220294590905}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 4178042235555490658629604}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 4088100038520322622209}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 6003089490370969349}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 6026700439101347242}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 6074483944312361425}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 6172360615924190196}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 6377891665216798848}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 6832946984407449694}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 7970289118536087259}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 11947657778565750072}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 6123168884546395689247}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 12000270665567376114}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 12035496238577542354}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 12106292931270912723}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 12250128111697165832}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 12545899358506972410}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 13171865280157257302}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 14579879262602082343}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 18214676951390159651}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 15860341319094096781}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 10466955358198966990}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 10484807821323593722}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 10520643395287097705}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 10592841098795117384}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 10739374938556761917}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 11041262165153246547}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 11682580008481777831}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 13136041869683439298}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 16945267001059284633}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 31627961868755063955}, {"parameter": "", "name": "improved_johnson", "value": 1303421220294595003}], "known_codes": [], "upper_bound": 1303421220294590905, "classified": false, "lower_bound": 1152939191666657824, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1152921504606846976}, {"parameter": "", "name": "sphere_covering", "value": 1668764444969}, {"parameter": "", "name": "graham_sloane", "value": 29657841178}, {"parameter": "", "name": "multicomponent", "value": 1152921504741064705}, {"parameter": "q^60 + q^44 + q^36 + q^33 + q^31 + 11*q^30 + 4*q^29 + 4*q^28 + q^27 + q^26 + 5*q^25 + 3*q^22 + 2*q^20 + q^19 + q^17 + q^15 + 2*q^13 + q^11 + q^8 + q^7 + q^6 + 2*q^5 + q^4 + q^3 + 2*q^2", "name": "greedy_multicomponent", "value": 1152939191666657824}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1152924873548672072}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1152939097061326848}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 18015215398068295}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1152922321496481864}, {"parameter": "(10,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 1152922321528987720}, {"parameter": "(10,),(5,),(2,)", "name": "CKMP2019_Cor_45", "value": 1152922321496481864}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1152922321495498824}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1152922321497530440}, {"parameter": "(10,),(4,),(1,)", "name": "CKMP2019_Cor_45", "value": 1152922321495564360}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 18017767451438152}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 18017767453404232}, {"parameter": "(9,),(5,),(2,)", "name": "CKMP2019_Cor_45", "value": 18017767451372616}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 18017767452355656}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 18017767484861512}, {"parameter": "(9,),(4,),(1,)", "name": "CKMP2019_Cor_45", "value": 18017767452355656}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1152922321495433288}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 18017767451307080}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1152922321495433288}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 18017767451307080}, {"parameter": "9", "name": "linkage_GLT", "value": 1152921504606846977}, {"parameter": "10", "name": "linkage_GLT", "value": 18014398509481985}, {"parameter": "9", "name": "improved_linkage", "value": 1152921504741082665}, {"parameter": "10", "name": "improved_linkage", "value": 18014398509745161}, {"parameter": "11", "name": "improved_linkage", "value": 35184372089377}, {"parameter": "12", "name": "improved_linkage", "value": 68719476737}, {"parameter": "13", "name": "improved_linkage", "value": 73148661761}, {"parameter": "14", "name": "improved_linkage", "value": 68990271489}, {"parameter": "15", "name": "improved_linkage", "value": 68728672769}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1152922321495433288}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1152921504709449134}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1152921504606847309}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1152921504606858421}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1152921504607110153}, {"parameter": "9,5", "name": "generalized_linkage", "value": 1152921504741082665}, {"parameter": "10,0", "name": "generalized_linkage", "value": 18017767451307080}, {"parameter": "10,1", "name": "generalized_linkage", "value": 18014400200762702}, {"parameter": "10,2", "name": "generalized_linkage", "value": 18014398509483310}, {"parameter": "10,3", "name": "generalized_linkage", "value": 18014398509482025}, {"parameter": "10,4", "name": "generalized_linkage", "value": 18014398509482529}, {"parameter": "10,5", "name": "generalized_linkage", "value": 18014398509745161}, {"parameter": "11,1", "name": "generalized_linkage", "value": 35187757960014}, {"parameter": "11,2", "name": "generalized_linkage", "value": 35184372094818}, {"parameter": "11,3", "name": "generalized_linkage", "value": 35184372088917}, {"parameter": "11,4", "name": "generalized_linkage", "value": 35184372088833}, {"parameter": "11,5", "name": "generalized_linkage", "value": 35184372089377}, {"parameter": "12,2", "name": "generalized_linkage", "value": 68719482722}, {"parameter": "12,3", "name": "generalized_linkage", "value": 68719476905}, {"parameter": "12,4", "name": "generalized_linkage", "value": 68719476737}, {"parameter": "12,5", "name": "generalized_linkage", "value": 68719476737}, {"parameter": "13,3", "name": "generalized_linkage", "value": 73148661929}, {"parameter": "13,4", "name": "generalized_linkage", "value": 73148661761}, {"parameter": "13,5", "name": "generalized_linkage", "value": 73148661761}, {"parameter": "14,4", "name": "generalized_linkage", "value": 68990271489}, {"parameter": "14,5", "name": "generalized_linkage", "value": 68990271489}, {"parameter": "15,5", "name": "generalized_linkage", "value": 68728672769}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152922321495433288}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504709449134}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921504606847309}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1152921504606858421}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1152921504607110153}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1152921504741082665}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18017767451307080}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014400200762702}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18014398509483310}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 18014398509482025}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 18014398509482529}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 18014398509745161}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 35187757960014}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 35184372094818}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 35184372088917}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 35184372088833}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 35184372089377}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 68719482722}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 68719476905}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 68719476737}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 68719476737}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 73148661929}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 73148661761}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 73148661761}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 68990271489}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 68990271489}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 68728672769}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 885742280776}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 885742280776}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 885608325192}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 885608325192}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 885608325192}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 885608325192}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 885608073800}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 885608063560}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 885608063560}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3369076304968}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3369076043336}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3369076043336}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 72058782958064410}], "request": [2, 19, 8, 9], "liftedmrdsizebound": 1152983192218644481, "comments": "", "equal_bound_constraints": []}