{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 24924068135208538822547384702464617091999062369254639098504245466254894991726}, {"parameter": "", "name": "singleton", "value": 168620463706718874134703442098874261321}, {"parameter": "4", "name": "ilp_2", "value": 147811645083356575917118978939095310516}, {"parameter": "5", "name": "ilp_2", "value": 515465903505816630520129253002212613567577297960}, {"parameter": "6", "name": "ilp_2", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "7", "name": "ilp_2", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "9", "name": "ilp_3", "value": 514667012348784999156727812545930551654233884899853599864429378680766}, {"parameter": "10", "name": "ilp_3", "value": 11808404611395760498566594769574638492801192638119032535867244}, {"parameter": "11", "name": "ilp_3", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "12", "name": "ilp_3", "value": 6362806664699842222619724742683154733866220577}, {"parameter": "", "name": "anticode", "value": 147811645083356575917118978939095310516}, {"parameter": "", "name": "linear_programming_bound", "value": 147811645083356575917118978939095310516}, {"parameter": "", "name": "sphere_packing", "value": 5594530182731367206127402343512859505957562919}, {"parameter": "1", "name": "ilp_1", "value": 147811645083356575602351950724797508796}, {"parameter": "2", "name": "ilp_1", "value": 147811645083356575602351950781054737633}, {"parameter": "3", "name": "ilp_1", "value": 147811645083356575917118978939095310516}, {"parameter": "13", "name": "ilp_4", "value": 6362752860349711613160247563313773925843758833}, {"parameter": "14", "name": "ilp_4", "value": 6362752860349635841566546048652537467668762399}, {"parameter": "15", "name": "ilp_4", "value": 6362752860349635841564785834416384762427022562}, {"parameter": "16", "name": "ilp_4", "value": 6362752860349635841564785834416384762427022562}, {"parameter": "17", "name": "ilp_4", "value": 969784233327923601150593476492735841486084}, {"parameter": "", "name": "johnson_1", "value": 147811645083356575602351950724797508796}, {"parameter": "", "name": "johnson_2", "value": 969784233327923601150593476492735841486084}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 24924068135208538822547384702464617091999062369254639098504245466254894991726}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 514667012348784999156727812545930551654233884899853599864429378680766}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 11808404611395760498566594769574638492801192638119032535867244}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 6362806664699842222619724742683154733866220577}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 6362752860349711613160247563313773925843758833}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 6362752860349635841566546048652537467668762399}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 6362752860349635841564785834416384762427022562}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 6362752860349635841564785834416384762427022562}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 969784233327923601150593476492735841486084}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1180840485523221610985118119518932406201256471633088285154020}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 243836456730190286669636886861189411589811578605017733}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 50910215201465668594595181043308658198651793848}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 50906456057706462835703673242406043998405597034}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 50906541204005556650420238506360875339306503677}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 50907307533947948368262655660026957093843065038}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 50914205541816736726593950356365341941452695285}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 69931611023000562035641437108432459183079661}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 96994001556509632513312599521003610305867}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 147834172046284044197781905797823888158}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 3010327171170585354532667338629928723211985628228752}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 5594530182731367206127402343512859505957562919}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 5594530311090802419164298575849600491345765187}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 5594531466150125692955163147279533663580044439}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 5594541863286085257575755078256047556762057381}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 5594635439092262148330199507668488989175269250}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 69079842411001955463530658457332750465546737}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 853995190299417892672291743141247866099768}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 10673322532935897896492567514740689796474}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 148037211541634880994901395814248850143}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 515465903505816630520129253002212613567577297960}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 7759534903709856919793389046658215709184145}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 7758483656248718638795762337973952094021297}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 7758483820603010777410996404997923185721458}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 7758485440459820535233648247222501898646182}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 7758500019200915153719571425689309985967770}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 862185506036177093598771214118910975606455}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 95812794657708342730455891224775266028169}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 10660486846343944371271235829656587568028}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 1199284206699090689950843610046929222582}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 149887394989165629317505482725538542321}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 147811645083356575917118978939095310516}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 147811645125736338010317650889222539970}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 147811645507154197833448653372947983816}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 147811648939915015973408877195815648607}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 147811679834768837508678268109382021859}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 147811957888976352636114046287581973051}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 147814460419217532383350100622854658149}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 147836986624168311229001445318038114621}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 148040000905803541597512713379353070255}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 149889964717536665288211422459580647564}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 168620463706718874134703442098874261321}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 24924068135208538822547384702464617091999062369254639098504245466254894991726}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 6353913716502963489746387330456675787083336493117345879649493948026}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 515465903505816630520129253002212613567577297960}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 147811645083356575917118978939095310516}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 147811645083356575917118978939095310516}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 147811645083356575602351950781054737633}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 147811645083356575602351950724797508796}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 514667012348784999156727812545930551654233884899853599864429378680766}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1180840485523221610985118119518932406201256471633088285154020}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 3010327171170585354532667338629928723211985628228752}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 7759534903709856919793389046658215709184145}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 7759651552926691950655203984571045909229430}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 7760702996224132906746522865829453871059618}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 7770178824036579416053177633030464896685199}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 7856514144103090624064838365467238368498055}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 8729460157861318892610559793439115242354755}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 11808404611395760498566594769574638492801192638119032535867244}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 243836456730190286669636886861189411589811578605017733}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 5594530182731367206127402343512859505957562919}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 5594535374175650891385058280359713308819757758}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 5594628950027874898500266448010130959647349394}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 5595471260903286341318312206202710626056011519}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 5603062457681451828483275462796662551254382778}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 5672236066822097499784347220385721209112841010}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 6372512108005887606934188394236395412469053866}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 273939716009608417265796010728840040089932078642468753}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 50910215201465668594595181043308658198651793848}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 50910140678417954442844628135690409812379332342}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 50910236343566045476831836221311638230885952874}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 50911097344636019493963994963057837774080926922}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 50918847535336971342959999004681834930746338275}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 50988695049819713999268662788776954540685559898}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 51625179326260952836664095084472869048359266335}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 6452174361350525213845021903364888923945819490}, {"parameter": "4, 6, o", "name": "Ahlswede_Aydinian", "value": 6362806664699842222619724742683154733866220577}, {"parameter": "4, 7, o", "name": "Ahlswede_Aydinian", "value": 6362806812488715141968671043753186877500500215}, {"parameter": "4, 8, o", "name": "Ahlswede_Aydinian", "value": 6362808142588849501784609695481500329340720710}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 6362820113512583722221803425646911730471295929}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 6362927853650746154623712432322110074445958313}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 6363897662705647084769710716957454119990176520}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 6372637933372308738302669160303646935849384984}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 6452283631340413943234082801966442593473746435}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 7258694620170400715835032365617891585605600635}, {"parameter": "", "name": "improved_johnson", "value": 147811645083356575602351950724797508778}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 969784235552974821531124768375594485400161}], "known_codes": [], "upper_bound": 147811645083356575602351950724797508778, "classified": false, "lower_bound": 147808829414345923316099887419469398697, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 147808829414345923316083210206383297601}, {"parameter": "", "name": "sphere_covering", "value": 69924114109631065139653}, {"parameter": "", "name": "graham_sloane", "value": 392869431}, {"parameter": "", "name": "multicomponent", "value": 147808829414345923316083210206426344323}, {"parameter": "[(0, 1, 2, 3, 4, 5, 6, 7), (0, 2, 4, 8, 9, 10, 11, 12), (1, 3, 5, 8, 9, 10, 13, 15), (1, 3, 6, 8, 11, 12, 14, 16), (2, 6, 7, 8, 9, 13, 14, 17), (4, 5, 6, 10, 11, 13, 16, 17), (0, 5, 7, 9, 11, 14, 15, 16), (3, 4, 7, 10, 12, 14, 15, 17), (0, 1, 2, 12, 13, 15, 16, 17)]", "name": "ef_computation", "value": 147808829414345923316099887419469398697}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 147808829414345923316083210206383297602}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 147808829414345923316083210206383297602}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 22528399544939174411840147874772642}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 3433683820292512484657849089282}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 147808829414345923316083210206383297602}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 22528399544939174411840147874772642}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 3433683820292512484657849089282}, {"parameter": "8", "name": "linkage_GLT", "value": 147808829414345923316083210206383297602}, {"parameter": "9", "name": "linkage_GLT", "value": 22528399544939174411840147874772642}, {"parameter": "10", "name": "linkage_GLT", "value": 3433683820292512484657849089282}, {"parameter": "8", "name": "improved_linkage", "value": 147808829414345923316083210206426344323}, {"parameter": "9", "name": "improved_linkage", "value": 22528399544939174411840147874772642}, {"parameter": "10", "name": "improved_linkage", "value": 3433683820292512484657849089282}, {"parameter": "11", "name": "improved_linkage", "value": 79766443076872509863362}, {"parameter": "12", "name": "improved_linkage", "value": 1853020188851842}, {"parameter": "13", "name": "improved_linkage", "value": 1853020231898563}, {"parameter": "8,0", "name": "generalized_linkage", "value": 147808829414345923316083210206383356651}, {"parameter": "8,1", "name": "generalized_linkage", "value": 147808829414345923316083210206383297602}, {"parameter": "8,2", "name": "generalized_linkage", "value": 147808829414345923316083210206383297602}, {"parameter": "8,3", "name": "generalized_linkage", "value": 147808829414345923316083210206426344323}, {"parameter": "9,0", "name": "generalized_linkage", "value": 22528399544939174411840147875304812}, {"parameter": "9,1", "name": "generalized_linkage", "value": 22528399544939174411840147874772642}, {"parameter": "9,2", "name": "generalized_linkage", "value": 22528399544939174411840147874772642}, {"parameter": "9,3", "name": "generalized_linkage", "value": 22528399544939174411840147874772642}, {"parameter": "10,0", "name": "generalized_linkage", "value": 3433683820292512484657853878812}, {"parameter": "10,1", "name": "generalized_linkage", "value": 3433683820292512484657849089282}, {"parameter": "10,2", "name": "generalized_linkage", "value": 3433683820292512484657849089282}, {"parameter": "10,3", "name": "generalized_linkage", "value": 3433683820292512484657849089282}, {"parameter": "11,1", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "11,2", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "11,3", "name": "generalized_linkage", "value": 79766443076872509863362}, {"parameter": "12,2", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "12,3", "name": "generalized_linkage", "value": 1853020188851842}, {"parameter": "13,3", "name": "generalized_linkage", "value": 1853020231898563}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 147808829414345923316083210206383356651}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808829414345923316083210206383297602}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829414345923316083210206383297602}, {"parameter": "[8, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 147808829414345923316083210206426344323}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147875304812}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147874772642}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147874772642}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174411840147874772642}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3433683820292512484657853878812}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3433683820292512484657849089282}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433683820292512484657849089282}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3433683820292512484657849089282}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872509863362}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1853020188851842}, {"parameter": "[13, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1853020231898563}, {"parameter": "[8, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1853020231957612}, {"parameter": "", "name": "JohnsonLB", "value": 147808829032825498948556367426816221602}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 278128389443693527934467481219310}], "request": [9, 18, 10, 8], "liftedmrdsizebound": 147808829414345923328411840258342009611, "comments": "", "equal_bound_constraints": []}