{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1062420886295749238054775964833257559060031974208854903203322306}, {"parameter": "", "name": "singleton", "value": 116805081731088587940522831693775431}, {"parameter": "5", "name": "ilp_2", "value": 88853369576130015849452009594531404}, {"parameter": "6", "name": "ilp_2", "value": 869099245918198412167464699356442842825866}, {"parameter": "7", "name": "ilp_2", "value": 8555743262567653630521482013420407804556258739569}, {"parameter": "8", "name": "ilp_2", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "10", "name": "ilp_3", "value": 435167639587905181708726842169330934330476772076768429013}, {"parameter": "11", "name": "ilp_3", "value": 213893602590788135972814442186309316817730751438299}, {"parameter": "12", "name": "ilp_3", "value": 108637416775250516524562462128803092128570184}, {"parameter": "13", "name": "ilp_3", "value": 55533361662598909111440085385062985624}, {"parameter": "", "name": "anticode", "value": 88853369576130015849452009594531404}, {"parameter": "", "name": "linear_programming_bound", "value": 88853369576130015849452009594531404}, {"parameter": "", "name": "sphere_packing", "value": 1076565587858619263023554765806087337385}, {"parameter": "1", "name": "ilp_1", "value": 88853369576117154523260241522802086}, {"parameter": "2", "name": "ilp_1", "value": 88853369576117154523260241528529104}, {"parameter": "3", "name": "ilp_1", "value": 88853369576117154524049096822645531}, {"parameter": "4", "name": "ilp_1", "value": 88853369576130015849452009594531404}, {"parameter": "14", "name": "ilp_4", "value": 55524942486234639789243578359077335495}, {"parameter": "15", "name": "ilp_4", "value": 55524942486022132235683196304246081729}, {"parameter": "16", "name": "ilp_4", "value": 55524942486022132145748364267469603473}, {"parameter": "17", "name": "ilp_4", "value": 55524942486022132145748318221424997499}, {"parameter": "18", "name": "ilp_4", "value": 55524942486022132145748363997820309999}, {"parameter": "", "name": "johnson_1", "value": 88853369576117154523260241522802086}, {"parameter": "", "name": "johnson_2", "value": 55524942486022132145748363997820309999}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1062420886295749238054775964833257559060031974208854903203322306}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 435167639587905181708726842169330934330476772076768429013}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 213893602590788135972814442186309316817730751438299}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 108637416775250516524562462128803092128570184}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 55533361662598909111440085385062985624}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 55524942486234639789243578359077335495}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 55524942486022132235683196304246081729}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 55524942486022132145748364267469603473}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 55524942486022132145748318221424997499}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 55524942486022132145748363997820309999}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 178244756436491353400609209695407583965688952443795}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 438054537701876986480168121787322861053412940}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1112450560662860231781152003245728351068}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1112461952279084017860843845756694411895}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1112518913795819501384400103366929483408}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1112803809220819679905316179016806583618}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1114230477844595609055950430047517848493}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1121419046731671157219742403049627374883}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 9270373121298215209159763228738248343}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 88995589486126833792205411784321264}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 8555743262567653630521482013420407804556258739569}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 87611043905371026070805504620762539935765716}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1076565587858619263023554765806087337385}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 1076513113306683347891025982224638342082}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 1076526340094679030252281387301036437318}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1076592485428962294713691562639580412822}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1076923317118693524514794253933535079994}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1078580105224685787675396157679256798270}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 43477985640194493468703429707531930890}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1808738575780697462086705473070219702}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 89713158126737683926413676950472553}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 869099245918198412167464699356442842825866}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 44498455491141464493680701607842971185}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 44498478090939389559354781960365367658}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 44498591090217813134081525066500898181}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 44499156093829979547929926616448640075}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 44501981292403573524811931241863023193}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 44516111799534603409534787057053206761}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 8916827589559592734813644785191049252}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 1797720067404696383313977932144953717}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 374403447172473370015274066006149517}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 93450048101071442160706359916710776}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 88853369576130015849452009594531404}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 88853378657832594269239276123792234}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 88853424066368721203937567637445217}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 88853651109630228257951320664824151}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 88854786340459758852620546069506579}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 88860462857680522869958649220168706}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 88888854523516539286379548112826029}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 89031040209635680757378733764298495}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 89747698384421382912269165212773896}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 93480199019806711212537100864003176}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 116805081731088587940522831693775431}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1062420886295749238054775964833257559060031974208854903203322306}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 8555743262567653630521482013420407804556258739569}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 869099245918198412167464699356442842825866}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 88853369576130015849452009594531404}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 88853369576130015849452009594531404}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 88853369576117154524049096822645531}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 88853369576117154523260241528529104}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 88853369576117154523260241425145786}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 435167639587905181708726842169330934330476772076768429013}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 178244756436491353400609209695407583965688952443795}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 87611043905371026070805504620762539935765716}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 44498455491141464493680701607842971185}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 44500642819447944283613313660124086771}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 44512038625904137325273702615504885235}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 44569105318679207731412704695104936971}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 44856647814911155545147378931055180985}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 46351868770780324916871399206613024742}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 55622237778505513806663081744486444222}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 213893602590788135972814442186309316817730751438299}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 438054537701876986480168121787322861053412940}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1076565587858619263023554765806087337385}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1076545479756854684877133018497133710090}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1076611626809071404803802526026298092771}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1076942467092120388778705888071971258674}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1078599298257370783787456901130554824284}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1086949727175688191901485736567324969206}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 1130427622911236557140766667363836018125}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 56070890107604094955676060578635600640}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 108637416775250516524562462128803092128570184}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 1112450560662860231781152003245728351068}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 1112396428089099365315743677280443038504}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 1112410552190237498215691788451626562348}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 1112481180708328168248881658291590477528}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 1112834436158472258141100713391228877346}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 1114603539419345991524499518467297127544}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 1123520275548196623283977827778149104610}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 234003224781418425956402687590600725241}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 58406906859355266032686252828265133444}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 55533361662598909111440085385062985624}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 55533390048748220331296638606608030544}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 55533531979857982251677013908699744459}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 55534241644487053593665545956860066999}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 55537790194653481316267515846740855207}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 55555538622828915299429989825903530843}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 55644422924717334596839150961667063391}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 56092427117294159653357898024869197782}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 58425746638097907458640995575508194030}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 73007841108236063781239140920167306681}, {"parameter": "", "name": "improved_johnson", "value": 88853369576117154523260241522802071}], "known_codes": [], "upper_bound": 88853369576117154523260241425145786, "classified": false, "lower_bound": 88817841970012530010487453583933440, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 88817841970012523233890533447265625}, {"parameter": "", "name": "sphere_covering", "value": 708749709036504896661}, {"parameter": "", "name": "graham_sloane", "value": 32109701019}, {"parameter": "", "name": "multicomponent", "value": 88817841970012523233890533449218751}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 88817841970012523233890533447778345}, {"parameter": "", "name": "two_pivot_block_construction", "value": 88817841970012530010487453583933440}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 88817841970012523233890533447265626}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 28421709430404007434844970703126}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 88817841970012523233890533447265626}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 28421709430404007434844970703126}, {"parameter": "9", "name": "linkage_GLT", "value": 88817841970012523233890533447265626}, {"parameter": "10", "name": "linkage_GLT", "value": 28421709430404007434844970703126}, {"parameter": "9", "name": "improved_linkage", "value": 88817841970012523233890533449218751}, {"parameter": "10", "name": "improved_linkage", "value": 28421709430404007434844970703126}, {"parameter": "11", "name": "improved_linkage", "value": 14551915228366851806640626}, {"parameter": "12", "name": "improved_linkage", "value": 7450580596923828126}, {"parameter": "13", "name": "improved_linkage", "value": 3814697265626}, {"parameter": "14", "name": "improved_linkage", "value": 3814699218751}, {"parameter": "9,0", "name": "generalized_linkage", "value": 88817841970012523233890533457031376}, {"parameter": "9,1", "name": "generalized_linkage", "value": 88817841970012523233890533447281376}, {"parameter": "9,2", "name": "generalized_linkage", "value": 88817841970012523233890533447265626}, {"parameter": "9,3", "name": "generalized_linkage", "value": 88817841970012523233890533447265626}, {"parameter": "9,4", "name": "generalized_linkage", "value": 88817841970012523233890533449218751}, {"parameter": "10,0", "name": "generalized_linkage", "value": 28421709430404007434845214859436}, {"parameter": "10,1", "name": "generalized_linkage", "value": 28421709430404007434844970718876}, {"parameter": "10,2", "name": "generalized_linkage", "value": 28421709430404007434844970703126}, {"parameter": "10,3", "name": "generalized_linkage", "value": 28421709430404007434844970703126}, {"parameter": "10,4", "name": "generalized_linkage", "value": 28421709430404007434844970703126}, {"parameter": "11,1", "name": "generalized_linkage", "value": 14551915228366851806719376}, {"parameter": "11,2", "name": "generalized_linkage", "value": 14551915228366851806640626}, {"parameter": "11,3", "name": "generalized_linkage", "value": 14551915228366851806640626}, {"parameter": "11,4", "name": "generalized_linkage", "value": 14551915228366851806640626}, {"parameter": "12,2", "name": "generalized_linkage", "value": 7450580596923828126}, {"parameter": "12,3", "name": "generalized_linkage", "value": 7450580596923828126}, {"parameter": "12,4", "name": "generalized_linkage", "value": 7450580596923828126}, {"parameter": "13,3", "name": "generalized_linkage", "value": 3814697265626}, {"parameter": "13,4", "name": "generalized_linkage", "value": 3814697265626}, {"parameter": "14,4", "name": "generalized_linkage", "value": 3814699218751}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 88817841970012523233890533457031376}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 88817841970012523233890533447281376}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 88817841970012523233890533447265626}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 88817841970012523233890533447265626}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 88817841970012523233890533449218751}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 28421709430404007434845214859436}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 28421709430404007434844970718876}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 28421709430404007434844970703126}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 28421709430404007434844970703126}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 28421709430404007434844970703126}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 14551915228366851806719376}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 14551915228366851806640626}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 14551915228366851806640626}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 14551915228366851806640626}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7450580596923828126}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7450580596923828126}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7450580596923828126}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3814697265626}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3814697265626}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3814699218751}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3814708984501}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 28421709430404007435607910156255}], "request": [5, 19, 10, 9], "liftedmrdsizebound": 88817841970012523625792016522119181, "comments": "", "equal_bound_constraints": []}