{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 42496814563784980451563042879529660750053921580003678289259806}, {"parameter": "", "name": "singleton", "value": 7473133215765585192791624069181}, {"parameter": "4", "name": "ilp_2", "value": 5686612741511445670050416310922}, {"parameter": "5", "name": "ilp_2", "value": 278111616346168847878117158312996082362}, {"parameter": "6", "name": "ilp_2", "value": 13689182222457543190049736479563331217350221424}, {"parameter": "7", "name": "ilp_2", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "9", "name": "ilp_3", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "10", "name": "ilp_3", "value": 213893602590788135972814442186309316817730751438299}, {"parameter": "11", "name": "ilp_3", "value": 543187092775829947114679049129603162419236364}, {"parameter": "12", "name": "ilp_3", "value": 1388334068860731211203751681477116128570}, {"parameter": "", "name": "anticode", "value": 5686612741511445670050416310922}, {"parameter": "", "name": "linear_programming_bound", "value": 5686612741511445670050416310922}, {"parameter": "", "name": "sphere_packing", "value": 43063110341843695417387234580892351373}, {"parameter": "1", "name": "ilp_1", "value": 5686612275664110236654920099618}, {"parameter": "2", "name": "ilp_1", "value": 5686612275664110236655706286693}, {"parameter": "3", "name": "ilp_1", "value": 5686612275664129882379810051646}, {"parameter": "13", "name": "ilp_4", "value": 1388113641963098371167286089929330065207}, {"parameter": "14", "name": "ilp_4", "value": 1388113641852727817118327257983125052312}, {"parameter": "15", "name": "ilp_4", "value": 1388113641852727534587791994965936105555}, {"parameter": "16", "name": "ilp_4", "value": 1388113641852727534587791994965936105555}, {"parameter": "17", "name": "ilp_4", "value": 2220996607776073699350657577687784915}, {"parameter": "18", "name": "ilp_4", "value": 3554133036116321841713356342831874}, {"parameter": "", "name": "johnson_1", "value": 5686612275664110236654920099618}, {"parameter": "", "name": "johnson_2", "value": 3554133036116321841713356342831874}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 42496814563784980451563042879529660750053921580003678289259806}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 213893602590788135972814442186309316817730751438299}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 543187092775829947114679049129603162419236364}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1388334068860731211203751681477116128570}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1388113641963098371167286089929330065207}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1388113641852727817118327257983125052312}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1388113641852727534587791994965936105555}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 1388113641852727534587791994965936105555}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 2220996607776073699350657577687784915}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 3554133036116321841713356342831874}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 7129800770792386971280901507440265340618068904491}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 87611043905371026070805504620762539935765716}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1112450560662860231781152003245728351068}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1111611233645685099268664117750071562536}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1111622614809431507477267240715263170207}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1111679532947198801303649283060167987096}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1111964211089497340721688560011048569417}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 8913839324401089140874788099034908244}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 71770595537351142540603145871354284}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 593303688914816456499974945343583}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 5695704427338189846705425766781}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 13689182222457543190049736479563331217350221424}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 700895115026575310141630771464919254284886}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 43063110341843695417387234580892351373}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 43063131507150794110923886130358497542}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 43063236494070070306244124300033809992}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 43063765634745648766451543703963025807}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 43066411506363346944704443834047283076}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1723076433352193619288690755274388988}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 69030314633626304372515491102522061}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 2782673410174937308386642355035846}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 115758916079597062893393845325589}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 5741569561206377531892381925397}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 278111616346168847878117158312996082362}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 71201132103144527782684679001437499}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 71110000709039676658338101005407652}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 71110014418568227150115116735670461}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 71110194950991149918755184889385633}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 71111097660189141884112313542960844}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 14240626782528098039881649085706175}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 2848854478375095037136403005603536}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 570704504648491229046652325276481}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 115053509361127641892046911498454}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 23961602387598904570888683543531}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 5980419841651310318708214413279}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 5686612741511445670050416310922}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 5686612857638057796212253694150}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 5686613438271177776638012907250}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 5686616341438261419939555658683}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 5686630857310773260571086604596}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 5686703437600684917619373375831}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 5687066362235535994187483187035}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 5688881565227350849577534626152}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 5697972098817420903091337925217}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 5743790654885086654298666716099}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 5982411126106367740777938458743}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 7473133215765585192791624069181}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 42496814563784980451563042879529660750053921580003678289259806}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 13689182222457543190049736479563331217350221424}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 278111616346168847878117158312996082362}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 5686612741511445670050416310922}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 5686612275664129882379810051646}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 5686612275664110236655706286693}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 5686612275664110236654920099618}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 7129800770792386971280901507440265340618068904491}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 700895115026575310141630771464919254284886}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 71201132103144527782684679001437499}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 71219263209364515797486382561710797}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 71310569949576997253576547841908953}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 71770638104807365139048577843523864}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 74162992504153452185006219933554659}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 88995589486126833792205411657367814}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 213893602590788135972814442186309316817730751438299}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 87611043905371026070805504620762539935765716}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 43063110341843695417387234580892351373}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 43065756307601108096081847725353121273}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 43078990337407405007351403704856104033}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 43145265679960415510305077895296165472}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 43479293405191194092170541463046152425}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 45218464394565157549812553467719575814}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 56070890107604094955676060578618022470}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 543187092775829947114679049129603162419236364}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 1112450560662860231781152003245728351068}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 1112464686266977669641866560239286585508}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 1112535318772806177857367263119358040009}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 1112888594309014769005120717775495186257}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 1114657798187657455955676939716085586040}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 1123575042135004235617412445950842568975}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 1170016044035216892470295643316160056710}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 1460179250423845294346479579855111676444}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 1388334068860731211203751681477116128570}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 1388337617282078807716753374211878458020}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 1388355359615843296903952896848795244711}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 1388444076960691646263521559974917104984}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 1388887805631000246044906575988768924837}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 1391110003320721172526186054395722474479}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 1402310566769318104932613241323580678401}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 1460646059115998138921079205205530078783}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 1825218456001772231793929085435472462931}, {"parameter": "", "name": "improved_johnson", "value": 5686612275664110236654920099601}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 17770673915223430904652048304560417}], "known_codes": [], "upper_bound": 5686612275664110236654920099601, "classified": false, "lower_bound": 5684341886080801487121582031251, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 5684341886080801486968994140625}, {"parameter": "", "name": "sphere_covering", "value": 28358672387935295561}, {"parameter": "", "name": "graham_sloane", "value": 1284387410}, {"parameter": "", "name": "multicomponent", "value": 5684341886080801487121582031251}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 5684341886080801486968994140626}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 5684341886080801486968994140626}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 9094947017729282379150390626}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 14551915228366851806640626}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 23283064365386962890626}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 5684341886080801486968994140626}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 9094947017729282379150390626}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 14551915228366851806640626}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 23283064365386962890626}, {"parameter": "8", "name": "linkage_GLT", "value": 5684341886080801486968994140626}, {"parameter": "9", "name": "linkage_GLT", "value": 9094947017729282379150390626}, {"parameter": "10", "name": "linkage_GLT", "value": 14551915228366851806640626}, {"parameter": "11", "name": "linkage_GLT", "value": 23283064365386962890626}, {"parameter": "8", "name": "improved_linkage", "value": 5684341886080801487121582031251}, {"parameter": "9", "name": "improved_linkage", "value": 9094947017729282379150781251}, {"parameter": "10", "name": "improved_linkage", "value": 14551915228366851806640626}, {"parameter": "11", "name": "improved_linkage", "value": 23283064365386962890626}, {"parameter": "12", "name": "improved_linkage", "value": 59604644775390626}, {"parameter": "13", "name": "improved_linkage", "value": 59604797363281251}, {"parameter": "14", "name": "improved_linkage", "value": 59604644775781251}, {"parameter": "8,0", "name": "generalized_linkage", "value": 5684341886080801486968994143751}, {"parameter": "8,1", "name": "generalized_linkage", "value": 5684341886080801486968994140626}, {"parameter": "8,2", "name": "generalized_linkage", "value": 5684341886080801486968994531251}, {"parameter": "8,3", "name": "generalized_linkage", "value": 5684341886080801487121582031251}, {"parameter": "9,0", "name": "generalized_linkage", "value": 9094947017729282379150406376}, {"parameter": "9,1", "name": "generalized_linkage", "value": 9094947017729282379150390626}, {"parameter": "9,2", "name": "generalized_linkage", "value": 9094947017729282379150390626}, {"parameter": "9,3", "name": "generalized_linkage", "value": 9094947017729282379150781251}, {"parameter": "10,0", "name": "generalized_linkage", "value": 14551915228366851806719376}, {"parameter": "10,1", "name": "generalized_linkage", "value": 14551915228366851806640626}, {"parameter": "10,2", "name": "generalized_linkage", "value": 14551915228366851806640626}, {"parameter": "10,3", "name": "generalized_linkage", "value": 14551915228366851806640626}, {"parameter": "11,0", "name": "generalized_linkage", "value": 23283064365386963284376}, {"parameter": "11,1", "name": "generalized_linkage", "value": 23283064365386962890626}, {"parameter": "11,2", "name": "generalized_linkage", "value": 23283064365386962890626}, {"parameter": "11,3", "name": "generalized_linkage", "value": 23283064365386962890626}, {"parameter": "12,1", "name": "generalized_linkage", "value": 59604644775390626}, {"parameter": "12,2", "name": "generalized_linkage", "value": 59604644775390626}, {"parameter": "12,3", "name": "generalized_linkage", "value": 59604644775390626}, {"parameter": "13,2", "name": "generalized_linkage", "value": 59604797363281251}, {"parameter": "13,3", "name": "generalized_linkage", "value": 59604797363281251}, {"parameter": "14,3", "name": "generalized_linkage", "value": 59604644775781251}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5684341886080801486968994143751}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5684341886080801486968994140626}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5684341886080801486968994531251}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5684341886080801487121582031251}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9094947017729282379150406376}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9094947017729282379150390626}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 9094947017729282379150390626}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 9094947017729282379150781251}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 14551915228366851806719376}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 14551915228366851806640626}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551915228366851806640626}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 14551915228366851806640626}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 23283064365386963284376}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 23283064365386962890626}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 23283064365386962890626}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 23283064365386962890626}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604644775390626}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 59604644775390626}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 59604644775390626}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 59604797363281251}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 59604797363281251}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 59604644775781251}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 59604797363284376}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59604797363284376}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 59604644775784376}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59604644775784376}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 152588297001}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 72759576144218444835943760}], "request": [5, 19, 10, 8], "liftedmrdsizebound": 5684341886080864196021005757651, "comments": "", "equal_bound_constraints": []}