{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1494501169196850169221724045371783522951821010983978261474800}, {"parameter": "", "name": "singleton", "value": 25700421225173962543056800181928315}, {"parameter": "4", "name": "ilp_2", "value": 22532262446576637777357551418047028}, {"parameter": "5", "name": "ilp_2", "value": 8741451151967514519582349843718116857817360}, {"parameter": "6", "name": "ilp_2", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "8", "name": "ilp_3", "value": 277744956028584787732347374270891445007065999171872470}, {"parameter": "9", "name": "ilp_3", "value": 57352662470155122561788187984708014720598049357}, {"parameter": "10", "name": "ilp_3", "value": 11974568395531690810874856745621391077863}, {"parameter": "", "name": "anticode", "value": 22532262446576637777357551418047028}, {"parameter": "", "name": "linear_programming_bound", "value": 22532262446576637777357551418047028}, {"parameter": "", "name": "sphere_packing", "value": 5735267312883888653557119184362064078875306337}, {"parameter": "1", "name": "ilp_1", "value": 22532261981298972738173459820820109}, {"parameter": "2", "name": "ilp_1", "value": 22532261981298972738173467257702914}, {"parameter": "3", "name": "ilp_1", "value": 22532261981298975158218123607593208}, {"parameter": "11", "name": "ilp_4", "value": 11973681983806143462979211515048631807905}, {"parameter": "12", "name": "ilp_4", "value": 11973681983794829813281440994954821919492}, {"parameter": "13", "name": "ilp_4", "value": 11973681983794829810916077953688214216799}, {"parameter": "14", "name": "ilp_4", "value": 11973681983794829810916077953688214216799}, {"parameter": "15", "name": "ilp_4", "value": 16426019365894486648468717063718828912}, {"parameter": "", "name": "johnson_1", "value": 22532261981298972738173459820820109}, {"parameter": "", "name": "johnson_2", "value": 16426019365894486648468717063718828912}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1494501169196850169221724045371783522951821010983978261474800}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 277744956028584787732347374270891445007065999171872470}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 57352662470155122561788187984708014720598049357}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 11974568395531690810874856745621391077863}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 11973681983806143462979211515048631807905}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 11973681983794829813281440994954821919492}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 11973681983794829810916077953688214216799}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 11973681983794829810916077953688214216799}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 16426019365894486648468717063718828912}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 5735267312883888653557119184362064078875306337}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 10658684204164243153214490204029718351592}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 10658686185020086717407761485787442671320}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 10658704012420809995849395407671093175966}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 10658864464726042823153870821300105605589}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 10660308752887827978912916281334312655072}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 131769196607750822858509538872767472295}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1644856692952016142048392616537670750}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 22563208639043448640298873371584172}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 8741451151967514519582349843718116857817360}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 131588908238022494102863298171694353217}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 131571083495262157550770622561492897628}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 131571110398440477865480605459261540921}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 131571354912999355516459583200175164344}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 131573555581286376856824104346934378915}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 14623441724873638890866421308110906320}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1627028151978881328001279886840787906}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 183013037079784727833907827721225844}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 22845205287197907022024807798486342}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 22532262446576637777357551418047028}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 22532262504648696791459922713654913}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 22532263027297240056150757328112202}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 22532267731135112597902717719921424}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 22532310065755601545784781156199834}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 22532691083790633141582071272058508}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 22536120768686669890873942991438439}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 22567030319926418582338437383510715}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 22848692551992796835256648777431071}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 25700421225173962543056800181928315}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 1494501169196850169221724045371783522951821010983978261474800}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 3428949995753910495232740046380346368308452936714936}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 8741451151967514519582349843718116857817360}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 22532262446576637777357551418047028}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 22532261981298975158218123607593208}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 22532261981298972738173467257702914}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 22532261981298972738173459820820109}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 277744956028584787732347374270891445007065999171872470}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 5735267312883888653557119184362064078875306337}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 131588908238022494102863298171694353217}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 131590766688493882304427292043004445089}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 131608597415319195253212001201012221891}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 131769291670134760429805249269974374158}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 133233394880303274527409938613182384546}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 148037105078660521628898674193995119523}, {"parameter": "2, 7, o", "name": "Ahlswede_Aydinian", "value": 57352662470155122561788187984708014720598049357}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 10658684204164243153214490204029718351592}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 10658686185023399905563481002834182689678}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 10658864465325744959845995622842027124470}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 10660469232336299266097046497125352360683}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 10674931947365678700572989733622453001895}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 10806721205837731918021595961468161551098}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 12140884035629856924397345285557795937070}, {"parameter": "3, 6, o", "name": "Ahlswede_Aydinian", "value": 11974568395531690810874856745621391077863}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 11974570895678539916348872387389061292977}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 11974593397042515620665290186627560491639}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 11974795912747389189471372335251623400948}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 11976618831890062064438919987442330292760}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 11993047636786141386661890656566465048116}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 12142754836264827890596329607770310371077}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 13658514212390616911370927114097728660820}, {"parameter": "", "name": "improved_johnson", "value": 22532261981298972738173459820820090}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 16426019705081911451504150780980591919}], "known_codes": [], "upper_bound": 22532261981298972738173459820820090, "classified": false, "lower_bound": 22528399544939186056012202153869312, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 22528399544939174411840147874772641}, {"parameter": "", "name": "sphere_covering", "value": 69945430772116159469343}, {"parameter": "", "name": "graham_sloane", "value": 1879082262385154}, {"parameter": "", "name": "multicomponent", "value": 22528399544939174411863024667227603}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 22528399544939174411840147874772652}, {"parameter": "", "name": "two_pivot_block_construction", "value": 22528399544939186056012202153869312}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 22528399544939174411840147874772642}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 3433683820292512484657849089282}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 523347633027360537213511522}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 22528399544939174411840147874772642}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 3433683820292512484657849089282}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 523347633027360537213511522}, {"parameter": "7", "name": "linkage_GLT", "value": 22528399544939174411840147874772642}, {"parameter": "8", "name": "linkage_GLT", "value": 3433683820292512484657849089282}, {"parameter": "9", "name": "linkage_GLT", "value": 523347633027360537213511522}, {"parameter": "7", "name": "improved_linkage", "value": 22528399544939174411863024667234164}, {"parameter": "8", "name": "improved_linkage", "value": 3433683820292512484657853872251}, {"parameter": "9", "name": "improved_linkage", "value": 523347633027360537213511522}, {"parameter": "10", "name": "improved_linkage", "value": 109418989131512359210}, {"parameter": "11", "name": "improved_linkage", "value": 109419012008304814171}, {"parameter": "12", "name": "improved_linkage", "value": 109418989162898201788}, {"parameter": "7,0", "name": "generalized_linkage", "value": 22528399544939174411840147917885044}, {"parameter": "7,1", "name": "generalized_linkage", "value": 22528399544939174411840147874779284}, {"parameter": "7,2", "name": "generalized_linkage", "value": 22528399544939174411840147879555611}, {"parameter": "7,3", "name": "generalized_linkage", "value": 22528399544939174411863024667234164}, {"parameter": "8,0", "name": "generalized_linkage", "value": 3433683820292512484657892201684}, {"parameter": "8,1", "name": "generalized_linkage", "value": 3433683820292512484657849149060}, {"parameter": "8,2", "name": "generalized_linkage", "value": 3433683820292512484657849089282}, {"parameter": "8,3", "name": "generalized_linkage", "value": 3433683820292512484657853872251}, {"parameter": "9,0", "name": "generalized_linkage", "value": 523347633027360537256623924}, {"parameter": "9,1", "name": "generalized_linkage", "value": 523347633027360537213571300}, {"parameter": "9,2", "name": "generalized_linkage", "value": 523347633027360537213511522}, {"parameter": "9,3", "name": "generalized_linkage", "value": 523347633027360537213511522}, {"parameter": "10,1", "name": "generalized_linkage", "value": 109418989131512418988}, {"parameter": "10,2", "name": "generalized_linkage", "value": 109418989131512359210}, {"parameter": "10,3", "name": "generalized_linkage", "value": 109418989131512359210}, {"parameter": "11,2", "name": "generalized_linkage", "value": 109419012008304814171}, {"parameter": "11,3", "name": "generalized_linkage", "value": 109419012008304814171}, {"parameter": "12,3", "name": "generalized_linkage", "value": 109418989162898201788}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147917885044}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147874779284}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147879555611}, {"parameter": "[7, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411863024667234164}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3433683820292512484657892201684}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3433683820292512484657849149060}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433683820292512484657849089282}, {"parameter": "[8, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3433683820292512484657853872251}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360537256623924}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360537213571300}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360537213511522}, {"parameter": "[9, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360537213511522}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109418989131512418988}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 109418989131512359210}, {"parameter": "[10, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 109418989131512359210}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419012008304814171}, {"parameter": "[11, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419012008304814171}, {"parameter": "[12, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 109418989162898201788}, {"parameter": "[7, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419012008347926573}, {"parameter": "[7, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109419012008347926573}, {"parameter": "[7, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109418989131560254581}, {"parameter": "[7, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109418989131560254581}, {"parameter": "[8, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22876840350333}, {"parameter": "", "name": "JohnsonLB", "value": 22528399021591557537021674764273637}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 381520424478296889300222537273}], "request": [9, 16, 8, 7], "liftedmrdsizebound": 22528399544939188281287977707410047, "comments": "", "equal_bound_constraints": []}