{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 912999988074492896482965524470947601347965366274972702345}, {"parameter": "", "name": "singleton", "value": 50681462910057431534320730090844329858697}, {"parameter": "5", "name": "ilp_2", "value": 43653556806975059159769035338307181515265}, {"parameter": "6", "name": "ilp_2", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "8", "name": "ilp_3", "value": 380933302489206359659857650468008737411766944866881}, {"parameter": "9", "name": "ilp_3", "value": 178804980483837285208764055283729774807923230}, {"parameter": "", "name": "anticode", "value": 43653556806975059159769035338307181515265}, {"parameter": "", "name": "linear_programming_bound", "value": 43653556806975059159769035338307181515265}, {"parameter": "", "name": "sphere_packing", "value": 19867228343013376514475530969957459341418378}, {"parameter": "1", "name": "ilp_1", "value": 43653556806975059159768620970725492105656}, {"parameter": "2", "name": "ilp_1", "value": 43653556806975059159768620970727518192559}, {"parameter": "3", "name": "ilp_1", "value": 43653556806975059159769035338307181515265}, {"parameter": "4", "name": "ilp_1", "value": 43653556806975059159769035338307181515265}, {"parameter": "10", "name": "ilp_4", "value": 178804383657825364023842316223953822607248905}, {"parameter": "11", "name": "ilp_4", "value": 178804383657251750540740889424191401019076025}, {"parameter": "12", "name": "ilp_4", "value": 178804383657251750400840625569781366758037512}, {"parameter": "13", "name": "ilp_4", "value": 178804383657251750400840558862172935212485010}, {"parameter": "14", "name": "ilp_4", "value": 178804383657251750400840623425812308848789393}, {"parameter": "15", "name": "ilp_4", "value": 2793822483450722665110879941215074359628351}, {"parameter": "", "name": "johnson_1", "value": 43653556806975059159768620970725492105656}, {"parameter": "", "name": "johnson_2", "value": 2793822483450722665110879941215074359628351}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 912999988074492896482965524470947601347965366274972702345}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 380933302489206359659857650468008737411766944866881}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 178804980483837285208764055283729774807923230}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 178804383657825364023842316223953822607248905}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 178804383657251750540740889424191401019076025}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 178804383657251750400840625569781366758037512}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 178804383657251750400840558862172935212485010}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 178804383657251750400840623425812308848789393}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 2793822483450722665110879941215074359628351}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 19867228343013376514475530969957459341418378}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 19867229379166681775826523005945922784959433}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 19867237668397014707133281636939442009098283}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 19867303982488692897569366530619129763909066}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 19867834511159547200098817224528725696157461}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 19872079760770419294444986496483578419273481}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 2488254053940655685568282008748465700180859}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 315352663761541312706974884773177477436082}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 44346446943030839670943602899281102018111}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 43653556806975059159769035338307181515265}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 43653557127128912722176208132901506119553}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 43653559688359893580071196912789287672824}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 43653580178217491400686262953735662862747}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 43653744097702337622698338198673379885075}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 43655055493522400030166433111813110546558}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 43665549216949691734244069065325623326428}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 43749662963988775931416053518021762869152}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 44433232872461960442717246633167095184216}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 50681462910057431534320730090844329858697}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 912999988074492896482965524470947601347965366274972702345}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 5952082502165374138901133844813115013995089175105}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 43653556806975059159769035338307181515265}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 43653556806975059159769035338307181515265}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 43653556806975059159769035338307181515265}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 43653556806975059159768620970727518192559}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 43653556806975059159768620970725492105656}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 380933302489206359659857650468008737411766944866881}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 19867228343013376514475530969957459341418378}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 19867294657291818037533108200845886685365026}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 19867825187456389881317713411970962252976338}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 19872070449027119705402084513533688213401677}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 19906097965141143229881524183036148723451429}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 20182571533342229043709475849946858254039752}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 22705392824638140774688065129543572874895879}, {"parameter": "2, 7, o", "name": "Ahlswede_Aydinian", "value": 178804980483837285208764055283729774807923230}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 178805064412500135982438707053513305064634903}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 178805735844359247741858723403351615987450951}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 178811107462840690014056647101179231151679448}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 178854090884195695160481797855035526121849438}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 179198629870686702109516152118728866354960630}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 181998607273598392521724534930890779849647536}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 207592149047991945127896428337152713645086345}, {"parameter": "", "name": "improved_johnson", "value": 43653556806975059159768620970725492105641}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 2793822629159928455188811944352659981746806}], "known_codes": [], "upper_bound": 43653556806975059159768620970725492105641, "classified": false, "lower_bound": 43556143290398676981738676534422351642624, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 43556142965880123323311949751266331066368}, {"parameter": "", "name": "sphere_covering", "value": 35017915143105384452845847618818}, {"parameter": "", "name": "graham_sloane", "value": 80665759670632640919723421138}, {"parameter": "", "name": "multicomponent", "value": 43556142965880142666125063585333128462337}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 43556142965881563325111464571160890089984}, {"parameter": "", "name": "two_pivot_block_construction", "value": 43556143290398676981738676534422351642624}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 40564819558769908757687294403071}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 43556142965880123674778535675457632379392}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 43556142965880123674778661776247198753280}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 43556142965880123674778517665457169408512}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 43556142965880123674778517942534099608064}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1329227995807415215731044818353824256}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1329227995807415215715282219658027520}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1329227995807415215715282219658027520}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1329227995807415215731044818353824256}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 40566259209102855949264038306304}, {"parameter": "(7,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 40566259209102855672187108106752}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 40566259209102999782977137451520}, {"parameter": "(7,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 40566259209102873682187571077632}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 43556142965880123674778517661059122897408}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 1329227995807415215713030419844342272}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 40566259209102855667789061595648}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 43556142965880123674778517661059122897408}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 1329227995807415215713030419844342272}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 40566259209102855667789061595648}, {"parameter": "7", "name": "linkage_GLT", "value": 43556142965880123323311949751266331066369}, {"parameter": "8", "name": "linkage_GLT", "value": 1329227995784915872903807060280344577}, {"parameter": "9", "name": "linkage_GLT", "value": 40564819207303340847894502572033}, {"parameter": "7", "name": "improved_linkage", "value": 43556142965880142666125207741487691071489}, {"parameter": "8", "name": "improved_linkage", "value": 1329227995784915882127179174585630720}, {"parameter": "9", "name": "improved_linkage", "value": 40564819207303340852292565897272}, {"parameter": "10", "name": "improved_linkage", "value": 40644066712630719019554843922433}, {"parameter": "11", "name": "improved_linkage", "value": 40564974290335147121107187793921}, {"parameter": "12", "name": "improved_linkage", "value": 40564819547934287614363593342977}, {"parameter": "13", "name": "improved_linkage", "value": 40564819509620708705577459515393}, {"parameter": "7,0", "name": "generalized_linkage", "value": 43556142965880123674778517661059122897408}, {"parameter": "7,1", "name": "generalized_linkage", "value": 43556142965880123323999772577797633591672}, {"parameter": "7,2", "name": "generalized_linkage", "value": 43556142965880123323312096123211858378808}, {"parameter": "7,3", "name": "generalized_linkage", "value": 43556142965880123323321173123380636352512}, {"parameter": "7,4", "name": "generalized_linkage", "value": 43556142965880142666125207741487691071489}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1329227995807415215713030419844342272}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1329227995784915873071445982686329208}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1329227995784915872903807130212012545}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1329227995784915872903811458343669816}, {"parameter": "8,4", "name": "generalized_linkage", "value": 1329227995784915882127179174585630720}, {"parameter": "9,0", "name": "generalized_linkage", "value": 40566259209102855667789061595648}, {"parameter": "9,1", "name": "generalized_linkage", "value": 40564819207304681959833305987448}, {"parameter": "9,2", "name": "generalized_linkage", "value": 40564819207303340847894502605313}, {"parameter": "9,3", "name": "generalized_linkage", "value": 40564819207303340847894504673281}, {"parameter": "9,4", "name": "generalized_linkage", "value": 40564819207303340852292565897272}, {"parameter": "10,1", "name": "generalized_linkage", "value": 40644066712641447915624824682872}, {"parameter": "10,2", "name": "generalized_linkage", "value": 40644066712630719019554842087489}, {"parameter": "10,3", "name": "generalized_linkage", "value": 40644066712630719019554841821185}, {"parameter": "10,4", "name": "generalized_linkage", "value": 40644066712630719019554843922433}, {"parameter": "11,2", "name": "generalized_linkage", "value": 40564974290335147121107189924353}, {"parameter": "11,3", "name": "generalized_linkage", "value": 40564974290335147121107187793921}, {"parameter": "11,4", "name": "generalized_linkage", "value": 40564974290335147121107187793921}, {"parameter": "12,3", "name": "generalized_linkage", "value": 40564819547934287614363593342977}, {"parameter": "12,4", "name": "generalized_linkage", "value": 40564819547934287614363593342977}, {"parameter": "13,4", "name": "generalized_linkage", "value": 40564819509620708705577459515393}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880123674778517661059122897408}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880123323999772577797633591672}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880123323312096123211858378808}, {"parameter": "[7, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880123323321173123380636352512}, {"parameter": "[7, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 43556142965880142666125207741487691071489}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1329227995807415215713030419844342272}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915873071445982686329208}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915872903807130212012545}, {"parameter": "[8, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915872903811458343669816}, {"parameter": "[8, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1329227995784915882127179174585630720}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 40566259209102855667789061595648}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564819207304681959833305987448}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819207303340847894502605313}, {"parameter": "[9, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819207303340847894504673281}, {"parameter": "[9, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564819207303340852292565897272}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 40644066712641447915624824682872}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40644066712630719019554842087489}, {"parameter": "[10, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 40644066712630719019554841821185}, {"parameter": "[10, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 40644066712630719019554843922433}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564974290335147121107189924353}, {"parameter": "[11, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564974290335147121107187793921}, {"parameter": "[11, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564974290335147121107187793921}, {"parameter": "[12, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819547934287614363593342977}, {"parameter": "[12, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564819547934287614363593342977}, {"parameter": "[13, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564819509620708705577459515393}, {"parameter": "[7, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 40564838901583022591754089701888}, {"parameter": "[7, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564838901583022591754089701888}, {"parameter": "[7, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564838901583022591754089701888}, {"parameter": "[7, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819558779132129724149178880}, {"parameter": "[7, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819558779132129724149178880}, {"parameter": "[7, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564819558779132129724149178880}, {"parameter": "[7, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 40564819558779132129724149178880}, {"parameter": "[7, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819558779132129724149178880}, {"parameter": "[7, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564819558779132129724149178880}, {"parameter": "[7, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819558770055129073230455296}, {"parameter": "[7, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564819558770055129073230455296}, {"parameter": "[7, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819558769908762085340914176}, {"parameter": "[7, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564819558769908762085340914176}, {"parameter": "[7, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 40564819558769908762085340914176}, {"parameter": "[7, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564819558769908762085340914176}, {"parameter": "[7, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564819559456390472279793508864}, {"parameter": "[7, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564819558769908757757089718784}, {"parameter": "[7, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564819558769908757687296500224}, {"parameter": "[7, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 40564819558769908762093932945920}, {"parameter": "[8, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 41842165146429463214072320}, {"parameter": "[8, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 41842165146429463214072320}, {"parameter": "[8, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 41842155923061824405807616}, {"parameter": "[8, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 41842155923061824405807616}, {"parameter": "[8, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 41842155923061824405807616}, {"parameter": "[8, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 41842155923061824405807616}, {"parameter": "[8, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 41842155923057496154612224}, {"parameter": "[8, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 41842155923057426361393664}, {"parameter": "[8, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 41842155923057426361393664}, {"parameter": "[9, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1440001808738196329460310528}, {"parameter": "[9, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1440001808738191931415896576}, {"parameter": "[9, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1440001808738191931415896576}, {"parameter": "", "name": "JohnsonLB", "value": 43556140694250247714323853462857656041024}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 10633824045662232003746251847050087360}], "request": [8, 16, 6, 7], "liftedmrdsizebound": 43556143344212027946865061558679258042945, "comments": "", "equal_bound_constraints": []}