{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 32123316014096815813193145651081138912789375911187958673337745121728137}, {"parameter": "", "name": "singleton", "value": 350890033810959074702473}, {"parameter": "2", "name": "ilp_2", "value": 302241831518265946705857}, {"parameter": "3", "name": "ilp_2", "value": 166199780195535793210968063705122238}, {"parameter": "4", "name": "ilp_2", "value": 91548100312826648720267490787683488133826755669}, {"parameter": "5", "name": "ilp_2", "value": 51127975006859023475808243934135084744743782371883856852886}, {"parameter": "7", "name": "ilp_3", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "8", "name": "ilp_3", "value": 402633019168094559468885999854314396566694795188011287999103}, {"parameter": "9", "name": "ilp_3", "value": 1532923238931742003711631518879429813660762116326659057}, {"parameter": "10", "name": "ilp_3", "value": 5846210447393072724893878954188101031937563697151}, {"parameter": "", "name": "anticode", "value": 302241831518265946705857}, {"parameter": "", "name": "linear_programming_bound", "value": 302241831518265946705857}, {"parameter": "", "name": "sphere_packing", "value": 4700163655049481669205136958272038886086}, {"parameter": "1", "name": "ilp_1", "value": 302241831378069105936896}, {"parameter": "11", "name": "ilp_4", "value": 5846054336731998980583996902563641130405549608895}, {"parameter": "12", "name": "ilp_4", "value": 5846054336731998980583996902563641130405549608895}, {"parameter": "13", "name": "ilp_4", "value": 1427270248639520741756875552035477972455976899}, {"parameter": "14", "name": "ilp_4", "value": 348455813628523489196280918413380179457622}, {"parameter": "15", "name": "ilp_4", "value": 85072257520000785739865348531396984292}, {"parameter": "16", "name": "ilp_4", "value": 20769900512422791255249927523897562}, {"parameter": "17", "name": "ilp_4", "value": 5070776487568336123461590056943}, {"parameter": "18", "name": "ilp_4", "value": 1237982541198469787311706111}, {"parameter": "", "name": "johnson_1", "value": 302241831378069105936896}, {"parameter": "", "name": "johnson_2", "value": 1237982541198469787311706111}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 32123316014096815813193145651081138912789375911187958673337745121728137}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 402633019168094559468885999854314396566694795188011287999103}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1532923238931742003711631518879429813660762116326659057}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 5846210447393072724893878954188101031937563697151}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 5846054336731998980583996902563641130405549608895}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 5846054336731998980583996902563641130405549608895}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 1427270248639520741756875552035477972455976899}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 348455813628523489196280918413380179457622}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 85072257520000785739865348531396984292}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 20769900512422791255249927523897562}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 5070776487568336123461590056943}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 1237982541198469787311706111}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 51127975006859023475808243934135084744743782371883856852886}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1365269433281006098747390946430012508506155099762247655}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 41013724952470536964284450178671099062605234886968}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1249195021512643309848465910916706800024581388}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1248928165681751902654925086108313569214334323}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1248928173823619508768450342876190297164724785}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 2439499066414648316874680228694711648753202}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 4764719026588738988063026794041647176343}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 9307223273333647020860393168689537754}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 18178654783834164097118120547417787}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 35512772161375949140074117668359}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 69479648836179104865568479560}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 137587148076088046476109647}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 302314485800839126708793}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 91548100312826648720267490787683488133826755669}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 19557380968380802557643886680718630527594126}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 4700163655049481669205136958272038886086}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 4692131145510446088696540922670446214160}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 4692131149811135306214687847654465809161}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 73368234918887100240094629107176195244}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 1147462188486494645400495761665293613}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 17929036850480041682865647803189280}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 280142652490452008030750306618187}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 4377368488743166274080609618235}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 68412820052697442920168968931}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 1071009069119065976562693905}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 16995936746929130166535627}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 302896855315437286625281}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 166199780195535793210968063705122238}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 284102188368952141231191437384639}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 280217860226120473139813562196098}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 280217860258622756763425032192286}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 35505187005285899979741537687164}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 4437081805964964419348682395730}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 554751918354326178612199557182}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 69343762345859928340223164583}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 8668031718666217399552465707}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 1083536847184581578175245465}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 135475066805507626709160053}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 16967401640161328569369614}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 2154466475580374553234640}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 307629618679732387484161}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 302241831518265946705857}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 302241831518808057850903}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 302241831523144947011332}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 302241831557840060298744}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 302241831835400966852601}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 302241834055888235575505}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 302241851819787428049824}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 302241993931047700104886}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 302243130825400757256449}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 302252226253569791896246}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 302325007177180537346081}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 302908376611978828476533}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 307648264856758676854885}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 350890033810959074702473}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 32123316014096815813193145651081138912789375911187958673337745121728137}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 51127975006859023475808243934135084744743782371883856852886}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 91548100312826648720267490787683488133826755669}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 166199780195535793210968063705122238}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 302241831518265946705857}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 302241831378069105936896}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 107223186169559421659361686191203195377693657432543346050601132609}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1365269433281006098747390946430012508506155099762247655}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 19557380968380802557643886680718630527594126}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 284102188368952141231191437384639}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 284588664718892770703290272823259}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 288541285062159598590357871615821}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 324608945694404695124408703421953}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 402633019168094559468885999854314396566694795188011287999103}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 41013724952470536964284450178671099062605234886968}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 4700163655049481669205136958272038886086}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 4701293485081243475985613410714148819020}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 4710349915167162102381129216887528292627}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 4783949132584019904582629900740716556603}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 5456691979274242422417231962245019685425}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 1532923238931742003711631518879429813660762116326659057}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 1249195021512643309848465910916706800024581388}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 1249233070622615850125154256929875761536941217}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 1249537537817064020358227746651952120042380299}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 1251978040818619819922164588995414761091003532}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 1271811894313401370879415673530913236908431348}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 1453144449385786544316964956012162603522531905}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 5846210447393072724893878954188101031937563697151}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 5846232743556280656327704328073015817492298966183}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 5846411118305343289122632764798823520652254576186}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 5847838464760465513276415277014953821286470955766}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 5859279581652098864771332029602425511765786143441}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 5952261312677531087035463655673961073200785195138}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 6802376752511981034135502513716198679876614477449}, {"parameter": "", "name": "improved_johnson", "value": 302241831378069105936873}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 40566231253404098365027528976517}], "known_codes": [], "upper_bound": 302241831378069105936873, "classified": false, "lower_bound": 302231455185132287164417, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 302231454903657293676544}, {"parameter": "", "name": "sphere_covering", "value": 15517373579038703}, {"parameter": "", "name": "graham_sloane", "value": 522}, {"parameter": "", "name": "multicomponent", "value": 302231455185132270387201}, {"parameter": "[(0, 1, 2, 3, 4, 5), (5, 6, 7, 8, 9, 10), (0, 7, 11, 12, 13, 14), (8, 11, 15, 16, 17, 18)]", "name": "ef_computation", "value": 302231455185132270649345}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 302231454903657293676544}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 302231454908055340187649}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 4722366482938364690433}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 73786976294838468609}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1152921504606846977}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 18014398509481985}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 73787257769814917121}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 302231454908055340187649}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 302231454903726013153281}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 302231454908055340187649}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 302231454903726013153281}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 4722366482938364690433}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 302231454908055340187649}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 4722366482938364690433}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 73786976294838468609}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1152921504606846977}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 18014398509481985}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 73787257769814917121}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 302231454908055340187649}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 302231454903726013153281}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 302231454908055340187649}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 302231454903726013153281}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 4722366482938364690433}, {"parameter": "", "name": "construction_1", "value": 302231455185132287164417}, {"parameter": "6", "name": "linkage_GLT", "value": 302231454908055340187649}, {"parameter": "7", "name": "linkage_GLT", "value": 4722366482938364690433}, {"parameter": "8", "name": "linkage_GLT", "value": 73786976294838468609}, {"parameter": "9", "name": "linkage_GLT", "value": 1152921504606846977}, {"parameter": "10", "name": "linkage_GLT", "value": 18014398509481985}, {"parameter": "11", "name": "linkage_GLT", "value": 73787257769814917121}, {"parameter": "12", "name": "linkage_GLT", "value": 302231454908055340187649}, {"parameter": "13", "name": "linkage_GLT", "value": 302231454903726013153281}, {"parameter": "6", "name": "improved_linkage", "value": 302231455185132270387201}, {"parameter": "7", "name": "improved_linkage", "value": 4722366487267691724801}, {"parameter": "8", "name": "improved_linkage", "value": 73786976363557683201}, {"parameter": "9", "name": "improved_linkage", "value": 1152921504607109121}, {"parameter": "10", "name": "improved_linkage", "value": 18014398509481985}, {"parameter": "11", "name": "improved_linkage", "value": 73787257769814917121}, {"parameter": "12", "name": "improved_linkage", "value": 302231454908055340187649}, {"parameter": "13", "name": "improved_linkage", "value": 302231454903726013153281}, {"parameter": "14", "name": "improved_linkage", "value": 73786976294838468609}, {"parameter": "6,0", "name": "generalized_linkage", "value": 302231454908055340187649}, {"parameter": "6,1", "name": "generalized_linkage", "value": 302231455185132270387201}, {"parameter": "7,0", "name": "generalized_linkage", "value": 4722366482938364690433}, {"parameter": "7,1", "name": "generalized_linkage", "value": 4722366487267691724801}, {"parameter": "8,0", "name": "generalized_linkage", "value": 73786976294838468609}, {"parameter": "8,1", "name": "generalized_linkage", "value": 73786976363557683201}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1152921504606846977}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1152921504607109121}, {"parameter": "10,0", "name": "generalized_linkage", "value": 18014398509481985}, {"parameter": "10,1", "name": "generalized_linkage", "value": 18014398509481985}, {"parameter": "11,0", "name": "generalized_linkage", "value": 73787257769814917121}, {"parameter": "11,1", "name": "generalized_linkage", "value": 73787257769814917121}, {"parameter": "12,0", "name": "generalized_linkage", "value": 302231454908055340187649}, {"parameter": "12,1", "name": "generalized_linkage", "value": 302231454908055340187649}, {"parameter": "13,0", "name": "generalized_linkage", "value": 302231454903726013153281}, {"parameter": "13,1", "name": "generalized_linkage", "value": 302231454903726013153281}, {"parameter": "14,1", "name": "generalized_linkage", "value": 73786976294838468609}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340187649}, {"parameter": "[6, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132270387201}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690433}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691724801}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976294838468609}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557683201}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152921504606846977}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504607109121}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18014398509481985}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014398509481985}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787257769814917121}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787257769814917121}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340187649}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340187649}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454903726013153281}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454903726013153281}, {"parameter": "[14, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976294838468609}, {"parameter": "[6, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787257769814917121}, {"parameter": "[6, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787257769814917121}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340187649}, {"parameter": "[6, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340187649}, {"parameter": "[6, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340187649}, {"parameter": "[6, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340187649}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454903726013153281}, {"parameter": "[6, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454903726013153281}, {"parameter": "[6, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454903726013153281}, {"parameter": "[6, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454903726013153281}, {"parameter": "[6, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976294838468609}, {"parameter": "[6, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976294838468609}, {"parameter": "[7, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152925902653358081}, {"parameter": "[7, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152925902653358081}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690433}, {"parameter": "[7, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690433}, {"parameter": "[7, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690433}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690433}, {"parameter": "[7, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504607109121}, {"parameter": "[7, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504607109121}, {"parameter": "[8, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18014467228958721}, {"parameter": "[8, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014467228958721}, {"parameter": "[8, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014398509744129}, {"parameter": "[8, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014398509744129}, {"parameter": "[9, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 68719738881}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 35185445830664}], "request": [8, 19, 10, 6], "liftedmrdsizebound": 302231455185209598935111, "comments": "", "equal_bound_constraints": []}