{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 21369772545260475331545384574852469714164}, {"parameter": "", "name": "singleton", "value": 263026177881648511}, {"parameter": "3", "name": "ilp_2", "value": 150990925486364813}, {"parameter": "4", "name": "ilp_2", "value": 81245801149405124506562}, {"parameter": "5", "name": "ilp_2", "value": 44838013984134849517806475527}, {"parameter": "6", "name": "ilp_2", "value": 26807348258708686616060475330394324}, {"parameter": "8", "name": "ilp_3", "value": 6515174556481852235227251394772094425}, {"parameter": "9", "name": "ilp_3", "value": 2648175818100539471690784023888667}, {"parameter": "10", "name": "ilp_3", "value": 1166044087363061005689614967841}, {"parameter": "11", "name": "ilp_3", "value": 526591212835993363977561996}, {"parameter": "", "name": "anticode", "value": 150990925486364813}, {"parameter": "", "name": "linear_programming_bound", "value": 150990925486364813}, {"parameter": "", "name": "sphere_packing", "value": 450803948666887971601594}, {"parameter": "1", "name": "ilp_1", "value": 150988652557830424}, {"parameter": "2", "name": "ilp_1", "value": 150988652557830424}, {"parameter": "12", "name": "ilp_4", "value": 524664949630827830522096881}, {"parameter": "13", "name": "ilp_4", "value": 524664072476095630767412026}, {"parameter": "14", "name": "ilp_4", "value": 524664072476095630767412026}, {"parameter": "15", "name": "ilp_4", "value": 6486227569045042790876495}, {"parameter": "16", "name": "ilp_4", "value": 80093141359195655484167}, {"parameter": "17", "name": "ilp_4", "value": 990658824269565022190}, {"parameter": "18", "name": "ilp_4", "value": 12230149611334415516}, {"parameter": "", "name": "johnson_1", "value": 150988652557830424}, {"parameter": "", "name": "johnson_2", "value": 12230149611334415516}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 21369772545260475331545384574852469714164}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 6515174556481852235227251394772094425}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 2648175818100539471690784023888667}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1166044087363061005689614967841}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 526591212835993363977561996}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 524664949630827830522096881}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 524664072476095630767412026}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 524664072476095630767412026}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 6486227569045042790876495}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 80093141359195655484167}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 990658824269565022190}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 12230149611334415516}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 26807348258708686616060475330394324}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 24526424388388076554611170685486}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 29910386104938201490771295573}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 39512184269088350327829551}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 39186963369090446865710642}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 39190499669422070144643836}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 39202440696382580016624415}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1455936756038633877835883}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 54391415816314555399392}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 2030963235522792798693}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 77146478650028826558}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 3095207386989255768}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 152808405428805103}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 44838013984134849517806475527}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 123181562566925424309113520}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 450803948666887971601594}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 443113947948534396963854}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 443103401354943424719929}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 443163277487582817067921}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 50058056729499979804532}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 5561446706522370325367}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 620293719039455753318}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 69726120246570124507}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 8011059455686800909}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 988711680469788514}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 158467965366971044}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 81245801149405124506562}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 671454108670778544608}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 671457728519497733308}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 671468588245493447470}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 671501169042104922035}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 221408490163365191497}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 74381492860227872267}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 24796079458005787732}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 8304730524663504177}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 2800905745843585763}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 968001817071417660}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 361128446099176832}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 177542777305047484}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 150990925486364813}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 150991199080114308}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 150992019865836837}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 150994482263271486}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 151001869817996760}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 151024035744444261}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 151090562897190876}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 151290409066423578}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 151892339470337313}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 153719917262734904}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 159405996158226735}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 178514061631431879}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 263026177881648511}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 21369772545260475331545384574852469714164}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 26807348258708686616060475330394324}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 44838013984134849517806475527}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 81245801149405124506562}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 150990925486364813}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 150988652557830424}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 150988652557830424}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 6515174556481852235227251394772094425}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 24526424388388076554611170685486}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 123181562566925424309113520}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 671454108670778544608}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 676999239315508525380}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 694358126247754269851}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 752221058492562445728}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 1002959996102519500217}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 2648175818100539471690784023888667}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 29910386104938201490771295573}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 450803948666887971601594}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 452444450520423758363031}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 457471553240904429351063}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 473111421473776611854904}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 525678672492747292363163}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 759309352356246643116985}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 1166044087363061005689614967841}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 39512184269088350327829551}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 39560427102937500335389903}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 39717840032976151534965521}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 40195908691263983528330346}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 41684593112473441400413859}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 46701985325615220464701944}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 69186857259145159193151812}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 526591212835993363977561996}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 526829107261228261756090758}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 527543766716106228964736475}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 529696566942690817324154570}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 536235355340350280839883818}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 556602994373109071894376406}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 625311268362366321550541386}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 934054234760012359481199283}, {"parameter": "", "name": "improved_johnson", "value": 150988652557830418}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 330263755561359846663}], "known_codes": [], "upper_bound": 150988652557830418, "classified": false, "lower_bound": 150094645757378732, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 150094635296999121}, {"parameter": "", "name": "sphere_covering", "value": 163109310854}, {"parameter": "", "name": "graham_sloane", "value": 23422}, {"parameter": "", "name": "multicomponent", "value": 150094645757352325}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (1, 2, 7, 8, 9, 10, 11), (3, 4, 7, 11, 12, 13, 14), (0, 6, 8, 10, 12, 13, 15), (3, 5, 9, 10, 14, 15, 16), (4, 5, 8, 9, 12, 17, 18), (1, 6, 11, 14, 15, 17, 18), (0, 2, 7, 13, 16, 17, 18)]", "name": "ef_computation", "value": 150094645757378732}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 150094635296999122}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 150094635297001309}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 5559060566555524}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 205891132094650}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 7625597484988}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 282429536482}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 22887252808165}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 150094635297001309}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 5559060566555524}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 205891132094650}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 7625597484988}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 282429536482}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 22887252808165}, {"parameter": "7", "name": "linkage_GLT", "value": 150094635297001309}, {"parameter": "8", "name": "linkage_GLT", "value": 5559060566555524}, {"parameter": "9", "name": "linkage_GLT", "value": 205891132094650}, {"parameter": "10", "name": "linkage_GLT", "value": 7625597484988}, {"parameter": "11", "name": "linkage_GLT", "value": 282429536482}, {"parameter": "12", "name": "linkage_GLT", "value": 22887252808165}, {"parameter": "7", "name": "improved_linkage", "value": 150094645757352325}, {"parameter": "8", "name": "improved_linkage", "value": 5559060571338493}, {"parameter": "9", "name": "improved_linkage", "value": 205891132096837}, {"parameter": "10", "name": "improved_linkage", "value": 7625597484988}, {"parameter": "11", "name": "improved_linkage", "value": 282429536482}, {"parameter": "12", "name": "improved_linkage", "value": 22887252808165}, {"parameter": "13", "name": "improved_linkage", "value": 22876797237931}, {"parameter": "14", "name": "improved_linkage", "value": 22876792457149}, {"parameter": "7,0", "name": "generalized_linkage", "value": 150094635297001309}, {"parameter": "7,1", "name": "generalized_linkage", "value": 150094635301782091}, {"parameter": "7,2", "name": "generalized_linkage", "value": 150094645757352325}, {"parameter": "8,0", "name": "generalized_linkage", "value": 5559060566555524}, {"parameter": "8,1", "name": "generalized_linkage", "value": 5559060566557711}, {"parameter": "8,2", "name": "generalized_linkage", "value": 5559060571338493}, {"parameter": "9,0", "name": "generalized_linkage", "value": 205891132094650}, {"parameter": "9,1", "name": "generalized_linkage", "value": 205891132094650}, {"parameter": "9,2", "name": "generalized_linkage", "value": 205891132096837}, {"parameter": "10,0", "name": "generalized_linkage", "value": 7625597484988}, {"parameter": "10,1", "name": "generalized_linkage", "value": 7625597484988}, {"parameter": "10,2", "name": "generalized_linkage", "value": 7625597484988}, {"parameter": "11,0", "name": "generalized_linkage", "value": 282429536482}, {"parameter": "11,1", "name": "generalized_linkage", "value": 282429536482}, {"parameter": "11,2", "name": "generalized_linkage", "value": 282429536482}, {"parameter": "12,0", "name": "generalized_linkage", "value": 22887252808165}, {"parameter": "12,1", "name": "generalized_linkage", "value": 22887252808165}, {"parameter": "12,2", "name": "generalized_linkage", "value": 22887252808165}, {"parameter": "13,1", "name": "generalized_linkage", "value": 22876797237931}, {"parameter": "13,2", "name": "generalized_linkage", "value": 22876797237931}, {"parameter": "14,2", "name": "generalized_linkage", "value": 22876792457149}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094635297001309}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635301782091}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094645757352325}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559060566555524}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559060566557711}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060571338493}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 205891132094650}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891132094650}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891132096837}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7625597484988}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7625597484988}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7625597484988}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 282429536482}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282429536482}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 282429536482}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22887252808165}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22887252808165}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22887252808165}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876797237931}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22876797237931}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22876792457149}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22887252808165}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22887252808165}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22887252808165}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876797237931}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22876797237931}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22876797237931}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22876797237931}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22876792457149}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22876792457149}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22876792457149}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 10465136173}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 10465136173}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 10460355391}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 10460355391}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4785157}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 7625726627340}], "request": [3, 19, 10, 7], "liftedmrdsizebound": 150094646340635053, "comments": "", "equal_bound_constraints": []}