{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 467455771483523568551302853258472608792870981791648312186505}, {"parameter": "", "name": "singleton", "value": 737309794366817196670904616585}, {"parameter": "3", "name": "ilp_2", "value": 634001847059366185943829382087}, {"parameter": "4", "name": "ilp_2", "value": 5456691999006464293950588596907491036862}, {"parameter": "5", "name": "ilp_2", "value": 47616637318166345607857311819929827082815270108758}, {"parameter": "7", "name": "ilp_3", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "8", "name": "ilp_3", "value": 5859081562979599662574574460781765938572031463937}, {"parameter": "9", "name": "ilp_3", "value": 22306969024163070706566261172486421220725248}, {"parameter": "", "name": "anticode", "value": 634001847059366185943829382087}, {"parameter": "", "name": "linear_programming_bound", "value": 634001847059366185943829382087}, {"parameter": "", "name": "sphere_packing", "value": 1271506243771972789032053674447773736109847817}, {"parameter": "1", "name": "ilp_1", "value": 634001828750359871381576122874}, {"parameter": "2", "name": "ilp_1", "value": 634001828750359871519632184492}, {"parameter": "10", "name": "ilp_4", "value": 22303990140779819373175223909092983967079222}, {"parameter": "11", "name": "ilp_4", "value": 22303990134611374871557722980937625961509083}, {"parameter": "12", "name": "ilp_4", "value": 22303990134611374871557722980937625961509083}, {"parameter": "13", "name": "ilp_4", "value": 43563124613269259839578822541617854366080}, {"parameter": "14", "name": "ilp_4", "value": 85094288181853057829799587405665654053}, {"parameter": "15", "name": "ilp_4", "value": 166199771701330050340650772265695903}, {"parameter": "16", "name": "ilp_4", "value": 324608935148997155857429514441215}, {"parameter": "", "name": "johnson_1", "value": 634001828750359871381576122874}, {"parameter": "", "name": "johnson_2", "value": 324608935148997155857429514441215}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 467455771483523568551302853258472608792870981791648312186505}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 5859081562979599662574574460781765938572031463937}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 22306969024163070706566261172486421220725248}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 22303990140779819373175223909092983967079222}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 22303990134611374871557722980937625961509083}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 22303990134611374871557722980937625961509083}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 43563124613269259839578822541617854366080}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 85094288181853057829799587405665654053}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 166199771701330050340650772265695903}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 324608935148997155857429514441215}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 47616637318166345607857311819929827082815270108758}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1271506243771972789032053674447773736109847817}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 38197007951697613205691730144676313719530}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 38160799257898429085875791088852610711882}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 38160800713164566664947713132746526341875}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 38160816634673791461817034294995868706381}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 596828284134131865945591868116896436513}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 9325655452555860816873872178734653132}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 145744709032440610740335151115011445}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 2281164600732946775756047078673530}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 36138227589943750780702813354228}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 635240129619635659077236970089}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 5456691999006464293950588596907491036862}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1165710745488495534735625205747566313}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1165710746556956640871659502609909277}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1165710755104645553505913265156928319}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1165710823486160921522866466569403633}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 145678902467295332423214355975093417}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 18213761374887095733005938322512025}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 2276780004144712692902774614487828}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 284666834091854142133166617330368}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 35651884195555174006775664583155}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 4526103205611301188450849520544}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 645303614382330671383525556801}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 634001847059366185943829382087}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 634001847132903639389477857986}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 634001847721203267501391438250}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 634001852427600327387149816948}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 634001890078779045862133202914}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 634002191288352114620853253200}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 634004600974109240978886969012}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 634023879047229014739311019223}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 634178141213361050104658332456}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 635414648435094630891559775039}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 645463382587753679538055818428}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 737309794366817196670904616585}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 467455771483523568551302853258472608792870981791648312186505}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 47616637318166345607857311819929827082815270108758}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 5456691999006464293950588596907491036862}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 634001847059366185943829382087}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 634001828750359871519632184492}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 634001828750359871381576122874}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1560302715629282288141922051778488178271424839003742785}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1271506243771972789032053674447773736109847817}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1165710745488495534735625205747566313}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1165959821379725283442153337780722428}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 1167956327921553559404703286626069140}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 1184177943573701759139718005140827538}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 1332200186382558088365773259505434233}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 5859081562979599662574574460781765938572031463937}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 38197007951697613205691730144676313719530}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 38198153460941629353421824128583472811635}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 38207335709309862686692709468726291044162}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 38280937168885455919124386856802302654376}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 38879076808181187641377722120115700123387}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 44346446943030839670943602899281102018089}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 22306969024163070706566261172486421220725248}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 22307053952616487950179813700247172114807934}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 22307733400973880899843854851595453239650741}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 22313170314880520846651592468898969175783385}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 22356750723373882018300583923698533536951208}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 22710926660042941096338600161786265723591091}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 25949007804224083420097621839124559742097033}, {"parameter": "", "name": "improved_johnson", "value": 634001828750359871381576122856}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 166199854027204431634891338919022482}], "known_codes": [], "upper_bound": 634001828750359871381576122856, "classified": false, "lower_bound": 633825300123338072785206641153, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 633825300114114700748351602688}, {"parameter": "", "name": "sphere_covering", "value": 4061824585028653733555}, {"parameter": "", "name": "graham_sloane", "value": 286582211439841}, {"parameter": "", "name": "multicomponent", "value": 633825300123338072785206378497}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 633825300114114700748351602689}, {"parameter": "(6, 11)", "name": "CKMP2019_Lem_41", "value": 633825300114114700817071079425}, {"parameter": "(7, 10)", "name": "CKMP2019_Lem_41", "value": 1237940039285380274899386369}, {"parameter": "(8, 9)", "name": "CKMP2019_Lem_41", "value": 2417851639229258349412353}, {"parameter": "(9, 8)", "name": "CKMP2019_Lem_41", "value": 4722366482869645213697}, {"parameter": "(10, 7)", "name": "CKMP2019_Lem_41", "value": 2417860862601295204188161}, {"parameter": "(11, 6)", "name": "CKMP2019_Lem_41", "value": 1237940039303394673408606209}, {"parameter": "(6, 11)", "name": "CKMP2019_Cor_42", "value": 633825300114114700817071079425}, {"parameter": "(7, 10)", "name": "CKMP2019_Cor_42", "value": 1237940039285380274899386369}, {"parameter": "(8, 9)", "name": "CKMP2019_Cor_42", "value": 2417851639229258349412353}, {"parameter": "(9, 8)", "name": "CKMP2019_Cor_42", "value": 4722366482869645213697}, {"parameter": "(10, 7)", "name": "CKMP2019_Cor_42", "value": 2417860862601295204188161}, {"parameter": "(11, 6)", "name": "CKMP2019_Cor_42", "value": 1237940039303394673408606209}, {"parameter": "6", "name": "linkage_GLT", "value": 633825300114114700817071079425}, {"parameter": "7", "name": "linkage_GLT", "value": 1237940039285380274899386369}, {"parameter": "8", "name": "linkage_GLT", "value": 2417851639229258349412353}, {"parameter": "9", "name": "linkage_GLT", "value": 4722366482869645213697}, {"parameter": "10", "name": "linkage_GLT", "value": 2417860862601295204188161}, {"parameter": "11", "name": "linkage_GLT", "value": 1237940039303394673408606209}, {"parameter": "6", "name": "improved_linkage", "value": 633825300123338072785206641153}, {"parameter": "7", "name": "improved_linkage", "value": 1237940039303394673408610369}, {"parameter": "8", "name": "improved_linkage", "value": 2417851639229327068889089}, {"parameter": "9", "name": "improved_linkage", "value": 4722366482869645475841}, {"parameter": "10", "name": "improved_linkage", "value": 2417860862601295204188161}, {"parameter": "11", "name": "improved_linkage", "value": 1237940039303394673408606209}, {"parameter": "12", "name": "improved_linkage", "value": 1237940039285666216641822721}, {"parameter": "13", "name": "improved_linkage", "value": 2417851639229327203368961}, {"parameter": "6,0", "name": "generalized_linkage", "value": 633825300114114986690094305345}, {"parameter": "6,1", "name": "generalized_linkage", "value": 633825300114132715146861088833}, {"parameter": "6,2", "name": "generalized_linkage", "value": 633825300123338072785206641153}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1237940039285380275989909569}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1237940039285380343618600961}, {"parameter": "7,2", "name": "generalized_linkage", "value": 1237940039303394673408610369}, {"parameter": "8,0", "name": "generalized_linkage", "value": 2417851639229258349416513}, {"parameter": "8,1", "name": "generalized_linkage", "value": 2417851639229258349674497}, {"parameter": "8,2", "name": "generalized_linkage", "value": 2417851639229327068889089}, {"parameter": "9,0", "name": "generalized_linkage", "value": 4722366482869645217857}, {"parameter": "9,1", "name": "generalized_linkage", "value": 4722366482869645213697}, {"parameter": "9,2", "name": "generalized_linkage", "value": 4722366482869645475841}, {"parameter": "10,0", "name": "generalized_linkage", "value": 2417860862601295204192321}, {"parameter": "10,1", "name": "generalized_linkage", "value": 2417860862601295204188161}, {"parameter": "10,2", "name": "generalized_linkage", "value": 2417860862601295204188161}, {"parameter": "11,0", "name": "generalized_linkage", "value": 1237940039303394673408610369}, {"parameter": "11,1", "name": "generalized_linkage", "value": 1237940039303394673408606209}, {"parameter": "11,2", "name": "generalized_linkage", "value": 1237940039303394673408606209}, {"parameter": "12,1", "name": "generalized_linkage", "value": 1237940039285666216641822721}, {"parameter": "12,2", "name": "generalized_linkage", "value": 1237940039285666216641822721}, {"parameter": "13,2", "name": "generalized_linkage", "value": 2417851639229327203368961}, {"parameter": "[6, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 633825300114114986690094305345}, {"parameter": "[6, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 633825300114132715146861088833}, {"parameter": "[6, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 633825300123338072785206641153}, {"parameter": "[7, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285380275989909569}, {"parameter": "[7, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285380343618600961}, {"parameter": "[7, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394673408610369}, {"parameter": "[8, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2417851639229258349416513}, {"parameter": "[8, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2417851639229258349674497}, {"parameter": "[8, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2417851639229327068889089}, {"parameter": "[9, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645217857}, {"parameter": "[9, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645213697}, {"parameter": "[9, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645475841}, {"parameter": "[10, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2417860862601295204192321}, {"parameter": "[10, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2417860862601295204188161}, {"parameter": "[10, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2417860862601295204188161}, {"parameter": "[11, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394673408610369}, {"parameter": "[11, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394673408606209}, {"parameter": "[11, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394673408606209}, {"parameter": "[12, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285666216641822721}, {"parameter": "[12, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285666216641822721}, {"parameter": "[13, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2417851639229327203368961}, {"parameter": "[6, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2417860862601295204458625}, {"parameter": "[6, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2417860862601295204192321}, {"parameter": "[6, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2417860862601295204192321}, {"parameter": "[6, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394673410740801}, {"parameter": "[6, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394673408610369}, {"parameter": "[6, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394673408610369}, {"parameter": "[6, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394673410740801}, {"parameter": "[6, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394673408610369}, {"parameter": "[6, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394673408610369}, {"parameter": "[6, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285666216641826881}, {"parameter": "[6, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285666216641826881}, {"parameter": "[6, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285380343618605121}, {"parameter": "[6, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285380343618605121}, {"parameter": "[6, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285380343618605121}, {"parameter": "[6, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237940039285380343618605121}, {"parameter": "[6, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2417851639229259440197697}, {"parameter": "[6, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2417851639229258349678657}, {"parameter": "[6, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2417851639229258349678657}, {"parameter": "[7, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722384497268154966145}, {"parameter": "[7, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722384497268154699841}, {"parameter": "[7, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722384497268154699841}, {"parameter": "[7, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364694593}, {"parameter": "[7, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364694593}, {"parameter": "[7, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364694593}, {"parameter": "[7, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364694593}, {"parameter": "[7, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482870735999041}, {"parameter": "[7, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645480001}, {"parameter": "[7, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482869645480001}, {"parameter": "[8, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014467228962881}, {"parameter": "[8, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18014467228962881}, {"parameter": "[8, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 18014398509748289}, {"parameter": "[8, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18014398509748289}, {"parameter": "[9, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68719743041}, {"parameter": "", "name": "JohnsonLB", "value": 633824997882662084074153181193}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 37778934114765567763528}], "request": [8, 17, 8, 6], "liftedmrdsizebound": 633825300123505104169271162326, "comments": "", "equal_bound_constraints": []}