{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "", "name": "singleton", "value": 35248976794718684386485952344220}, {"parameter": "3", "name": "ilp_2", "value": 30903742351164739711130072415639}, {"parameter": "4", "name": "ilp_2", "value": 969940015036985851168134739798343427612463}, {"parameter": "5", "name": "ilp_2", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "6", "name": "ilp_2", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "8", "name": "ilp_3", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "9", "name": "ilp_3", "value": 1312044956487270438778939812900483628957348583612820368890660}, {"parameter": "10", "name": "ilp_3", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "11", "name": "ilp_3", "value": 57265259983920655674490245223754927038853558009}, {"parameter": "", "name": "anticode", "value": 30903742351164739711130072415639}, {"parameter": "", "name": "linear_programming_bound", "value": 30903742351164739711130072415639}, {"parameter": "", "name": "sphere_packing", "value": 7674266715821696389327427636595626819072155}, {"parameter": "1", "name": "ilp_1", "value": 30903742343286422601841286384420}, {"parameter": "2", "name": "ilp_1", "value": 30903742343286422602347257538031}, {"parameter": "12", "name": "ilp_4", "value": 57264685285754602638719907707818009308919676082}, {"parameter": "13", "name": "ilp_4", "value": 57264685285679506373300834457764963482236174494}, {"parameter": "14", "name": "ilp_4", "value": 57264685285679506373300834457764963482236174494}, {"parameter": "15", "name": "ilp_4", "value": 8728055847382713278258519717034039237610391}, {"parameter": "16", "name": "ilp_4", "value": 1330293842016712676712406925950649790661}, {"parameter": "17", "name": "ilp_4", "value": 202759453572452076842352995294184758}, {"parameter": "", "name": "johnson_1", "value": 30903742343286422601841286384420}, {"parameter": "", "name": "johnson_2", "value": 202759453572452076842352995294184758}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1312044956487270438778939812900483628957348583612820368890660}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 57265259983920655674490245223754927038853558009}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 57264685285754602638719907707818009308919676082}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 57264685285679506373300834457764963482236174494}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 57264685285679506373300834457764963482236174494}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 8728055847382713278258519717034039237610391}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 1330293842016712676712406925950649790661}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 202759453572452076842352995294184758}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1619808885159214694866254629985172668827445670589158248550}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 3010327171170585354532667338629928723211985628228752}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 5656691510956818443735079134398363710367424817}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 5656223230576290447643764874014388146071996891}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 5656224281232428525309194324961958517163360843}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 5656233741842294557658511779022412229745699051}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 7759077328407630569970740664856708440616279}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 10645683119983346104707172776532708370469}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 14620961924184908312968858096375415949}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 20279035522654198756801117128828633}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 30908446476584103427215412604706}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 458822151435540947083027215668209714212639212255}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 7674266715821696389327427636595626819072155}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 7669061028918797309530798383226230436034702}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 7669061176170516060503429994190054090308599}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 7669062759761999014894595627872938736648099}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 94744055502098863887424778582541133940183}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1169697063731020521627070161649860932757}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 14442888994568319225584043305760503782}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 178549337349073323990938183219279386}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 2231526124094430827774238909367995}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 30950845203943469331520387641680}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 969940015036985851168134739798343427612463}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 131410380038998472321365129077771101926}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 131410380076629803767292158604340475038}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 131410380415311787654569607968441749270}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 131410383463449713428737170052695066544}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 14598958793645061199554458631303394205}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 1622326664439513435273043972330019841}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 180261231409607754883558714154702736}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 20032107408032629218530304632255274}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 2228842456058597075536302463326325}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 250740110397815616373423968072760}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 31337200093768229777316157151641}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 30903742351164739711130072415639}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 30903742352148178472340022698878}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 30903742360999127325764558680922}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 30903742440657667211919041112993}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 30903743157584542819336114932393}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 30903749609927770480536345201151}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 30903807681125942386563397791933}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 30904330330748598400299417999382}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 30909034893429312222368327942288}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 30951434039341540122543855699679}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 31337789703538928014749211655723}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 35248976794718684386485952344220}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 34189393082307806064166950803214499342169500335625539403053183015296221840}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 969940015036985851168134739798343427612463}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 30903742351164739711130072415639}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 30903742343286422602347257538031}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 30903742343286422601841286384420}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1619808885159214694866254629985172668827445670589158248550}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 458822151435540947083027215668209714212639212255}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 131410380038998472321365129077771101926}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 131428184664842868960386979811000888424}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 131588658638751650093793141021578731224}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 133050754845471498071865177549632873699}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 147834172046284044197781905797823888131}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 1312044956487270438778939812900483628957348583612820368890660}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 3010327171170585354532667338629928723211985628228752}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 7674266715821696389327427636595626819072155}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 7674395077877395183922777950879990190714047}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 7675550512243590077966630141592614975294967}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 7685963686161113344059285344661562454947383}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 7780852126510303204717580214470104944768483}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 8741451151967514519582345941046080289501103}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 5656691510956818443735079134398363710367424817}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 5656702140438739914882797241956854365199483708}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 5656797807395890389206327146251630624688690961}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 5657658941240852693343094528155042436687736312}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 5665419790108116769713888604551763580707450986}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 5736140392317482848324741639141866660935272510}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 6452174361350525213845021903364888922869651240}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 57265259983920655674490245223754927038853558009}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 57265271954839385058834939140832885485213016823}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 57265379693310674984613230810195465319149967903}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 57266349355973325208565851700210281339811840149}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 57275077650244248851869505735094609158607554553}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 57353740201569989276394951291345801499796062835}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 58070552548828201635824292429965017004376809644}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 65328263722437948968579803258916013252842235400}, {"parameter": "", "name": "improved_johnson", "value": 30903742343286422601841286384392}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 16423516120372952844705772302755278755}], "known_codes": [], "upper_bound": 30903742343286422601841286384392, "classified": false, "lower_bound": 30903154382632614214940831246590, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 30903154382632612361920641803529}, {"parameter": "", "name": "sphere_covering", "value": 95932449117903054376}, {"parameter": "", "name": "graham_sloane", "value": 538916}, {"parameter": "", "name": "multicomponent", "value": 30903154382632612384797434258491}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6), (3, 4, 7, 8, 9, 10, 11), (0, 2, 8, 9, 12, 13, 14), (1, 5, 7, 10, 12, 13, 15), (0, 6, 7, 11, 12, 16, 17), (3, 5, 9, 14, 15, 16, 17)]", "name": "ef_computation", "value": 30903154382632614214940831246590}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 30903154382632612361920641803530}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 30903154382632612361920641803530}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 42391158275216203514294433202}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 58149737003040059690390170}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 79766443076872509863362}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 109418989131512359210}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 30903154382632612361920641803530}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 42391158275216203514294433202}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 58149737003040059690390170}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 79766443076872509863362}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 109418989131512359210}, {"parameter": "7", "name": "linkage_GLT", "value": 30903154382632612361920641803530}, {"parameter": "8", "name": "linkage_GLT", "value": 42391158275216203514294433202}, {"parameter": "9", "name": "linkage_GLT", "value": 58149737003040059690390170}, {"parameter": "10", "name": "linkage_GLT", "value": 79766443076872509863362}, {"parameter": "11", "name": "linkage_GLT", "value": 109418989131512359210}, {"parameter": "7", "name": "improved_linkage", "value": 30903154382632612384797434258491}, {"parameter": "8", "name": "improved_linkage", "value": 42391158275216203514299216171}, {"parameter": "9", "name": "improved_linkage", "value": 58149737003040059690390170}, {"parameter": "10", "name": "improved_linkage", "value": 79766443076872509863362}, {"parameter": "11", "name": "improved_linkage", "value": 109418989131512359210}, {"parameter": "12", "name": "improved_linkage", "value": 109419012008304814171}, {"parameter": "13", "name": "improved_linkage", "value": 109418989131517142179}, {"parameter": "7,0", "name": "generalized_linkage", "value": 30903154382632612361920641803530}, {"parameter": "7,1", "name": "generalized_linkage", "value": 30903154382632612361920646586499}, {"parameter": "7,2", "name": "generalized_linkage", "value": 30903154382632612384797434258491}, {"parameter": "8,0", "name": "generalized_linkage", "value": 42391158275216203514294433202}, {"parameter": "8,1", "name": "generalized_linkage", "value": 42391158275216203514294433202}, {"parameter": "8,2", "name": "generalized_linkage", "value": 42391158275216203514299216171}, {"parameter": "9,0", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "9,1", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "9,2", "name": "generalized_linkage", "value": 58149737003040059690390170}, {"parameter": "10,0", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "10,1", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "10,2", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "11,0", "name": "generalized_linkage", "value": 109418989131512359210}, {"parameter": "11,1", "name": "generalized_linkage", "value": 109418989131512359210}, {"parameter": "11,2", "name": "generalized_linkage", "value": 109418989131512359210}, {"parameter": "12,1", "name": "generalized_linkage", "value": 109419012008304814171}, {"parameter": "12,2", "name": "generalized_linkage", "value": 109419012008304814171}, {"parameter": "13,2", "name": "generalized_linkage", "value": 109418989131517142179}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612361920641803530}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612361920646586499}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612384797434258491}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203514294433202}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203514294433202}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203514299216171}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690390170}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109418989131512359210}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109418989131512359210}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 109418989131512359210}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109419012008304814171}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419012008304814171}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 109418989131517142179}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 109419012008304814171}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 109419012008304814171}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 109418989131517142179}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 109418989131517142179}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22876797237931}, {"parameter": "", "name": "JohnsonLB", "value": 30903153664734624692944845015849}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 717897987897743720923956}], "request": [9, 18, 10, 7], "liftedmrdsizebound": 30903154382632762688186949718401, "comments": "", "equal_bound_constraints": []}