{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 10203496184250084875767235936019316188596527511243454432}, {"parameter": "", "name": "singleton", "value": 11180228318776923410607}, {"parameter": "2", "name": "ilp_2", "value": 9391950599628677273954}, {"parameter": "3", "name": "ilp_2", "value": 912637550264833097621134324470231}, {"parameter": "4", "name": "ilp_2", "value": 90266727211772477977600199202764556213202404}, {"parameter": "6", "name": "ilp_3", "value": 520374142403615099743331086088296419247068926522004}, {"parameter": "7", "name": "ilp_3", "value": 30329914971396145901095380845467782000018588576}, {"parameter": "8", "name": "ilp_3", "value": 1799339252049937881309780087626627366778788}, {"parameter": "", "name": "anticode", "value": 9391950599628677273954}, {"parameter": "", "name": "linear_programming_bound", "value": 9391950599628677273954}, {"parameter": "", "name": "sphere_packing", "value": 32226607359004195193386663250392509948573}, {"parameter": "1", "name": "ilp_1", "value": 9391950599047066383709}, {"parameter": "9", "name": "ilp_4", "value": 1798696898519870917650617912827618098713728}, {"parameter": "10", "name": "ilp_4", "value": 1798696898519870917650617912827618098713728}, {"parameter": "11", "name": "ilp_4", "value": 5244638274327087637605191609087708584945}, {"parameter": "12", "name": "ilp_4", "value": 15290917575938268833053951080773868383}, {"parameter": "13", "name": "ilp_4", "value": 44588864455343679046575952735907870}, {"parameter": "14", "name": "ilp_4", "value": 129996666833547521966582921871577}, {"parameter": "15", "name": "ilp_4", "value": 378999047445315626651644656371}, {"parameter": "16", "name": "ilp_4", "value": 1104953503941533980839726956}, {"parameter": "17", "name": "ilp_4", "value": 3221439055705788125593517}, {"parameter": "", "name": "johnson_1", "value": 9391950599047066383709}, {"parameter": "", "name": "johnson_2", "value": 3221439055705788125593517}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 10203496184250084875767235936019316188596527511243454432}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 520374142403615099743331086088296419247068926522004}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 30329914971396145901095380845467782000018588576}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1799339252049937881309780087626627366778788}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1798696898519870917650617912827618098713728}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1798696898519870917650617912827618098713728}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 5244638274327087637605191609087708584945}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 15290917575938268833053951080773868383}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 44588864455343679046575952735907870}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 129996666833547521966582921871577}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 378999047445315626651644656371}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 1104953503941533980839726956}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 3221439055705788125593517}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 90266727211772477977600199202764556213202404}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 32226607359004195193386663250392509948573}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 13148350616482727295855940094111711828}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 13115493396221653969067138190086223846}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 13115493436005097114858018591463268218}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 267933774368678618676063390671479796}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 5475833847398150127305686738010472}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 111750880389713893554884139525852}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 2280653527943459288592740930314}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 46546515763158460239866682304}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 950268008793192018773521217}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 19441812005718584836207442}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 403854304723032102046797}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 9418851997110654316401}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 912637550264833097621134324470231}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 2281593875685093023022162287605}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 2241680237889555877705797735801}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 2241680238997335278005325877504}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 325825617260434753982290963019}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 46527527189632875277400671482}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 6649116116038416147692927140}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 949866948866703883036862575}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 135697373907756866796206140}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 19386462947305392117740264}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 2770622688971765297977953}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 396934097029614943846311}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 57859152833661568685293}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 9611073466437460071601}, {"parameter": "3, 2", "name": "Ahlswede_Aydinian", "value": 9391950599628677273954}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 9391950599723634153995}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 9391950600388332314329}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 9391950605041219438972}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 9391950637611429424459}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 9391950865602904859387}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 9391952461543504193167}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 9391963633140992720303}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 9392041834974784177559}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 9392589279730401561720}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 9396422957692946470034}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 9423335592031254270086}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 9615568437587271516725}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 11180228318776923410607}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 10203496184250084875767235936019316188596527511243454432}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 90266727211772477977600199202764556213202404}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 912637550264833097621134324470231}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 9391950599628677273954}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 9391950599047066383709}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 520374142403615099743331086088296419247068926522004}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 32226607359004195193386663250392509948573}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 2281593875685093023022162287605}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 2287312156074926080437473348866}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 2328157016002253420898768068179}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 2660750875407117857609088683204}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 30329914971396145901095380845467782000018588576}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 13148350616482727295855940094111711828}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 13153717250287775252799544100358489360}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 13191393490157641790437908935867459518}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 13460605602082246896846659797429491364}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 15658255495168494582615252181951216794}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 1799339252049937881309780087626627366778788}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 1799446005195217745802587644786772807148388}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 1800193588445835447128440101605834979752815}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 1805441966238736807165011709621900852044373}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 1842945680435501140688408346443536179685712}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 2149207789489010647406518443408592558383021}, {"parameter": "", "name": "improved_johnson", "value": 9391950599047066383698}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 379002304927256269762416701186}], "known_codes": [], "upper_bound": 9391950599047066383698, "classified": false, "lower_bound": 9387481966075206816845, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 9387480337647754305649}, {"parameter": "", "name": "sphere_covering", "value": 67061410960665616}, {"parameter": "", "name": "graham_sloane", "value": 14177710237}, {"parameter": "", "name": "multicomponent", "value": 9387481966061634691348}, {"parameter": "[(0, 1, 2, 3, 4), (4, 5, 6, 7, 8), (2, 6, 9, 10, 11), (3, 7, 10, 12, 13), (1, 8, 11, 12, 14), (0, 5, 9, 13, 14), (0, 7, 11, 15, 16), (1, 5, 10, 15, 17), (2, 8, 13, 16, 17)]", "name": "ef_computation", "value": 9387481966075200209349}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 9387480337647754305649}, {"parameter": "(5, 13)", "name": "CKMP2019_Lem_41", "value": 9387480370880690640052}, {"parameter": "(6, 12)", "name": "CKMP2019_Lem_41", "value": 191581232058789489652}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 3909821062424275251}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 79792266580087251}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 27370375753678843600}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 9387480370880684875251}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 9387480338325977378499}, {"parameter": "(12, 6)", "name": "CKMP2019_Lem_41", "value": 9387480370894526162452}, {"parameter": "(13, 5)", "name": "CKMP2019_Lem_41", "value": 9387481966061634691348}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Lem_41", "value": 9387480370880684875251}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Lem_41", "value": 9387480338325977378499}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Lem_41", "value": 9387480337661595592851}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Lem_41", "value": 9387480337648036780899}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Lem_41", "value": 191581232058789487251}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Lem_41", "value": 191581231394407701603}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Lem_41", "value": 191581231380848889651}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Lem_41", "value": 3909821062424275251}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Lem_41", "value": 3909821048865463299}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Lem_41", "value": 79792266580087251}, {"parameter": "(5, 13)", "name": "CKMP2019_Cor_42", "value": 9387480370880690640052}, {"parameter": "(6, 12)", "name": "CKMP2019_Cor_42", "value": 191581232058789489652}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 3909821062424275251}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 79792266580087251}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 27370375753678843600}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 9387480370880684875251}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 9387480338325977378499}, {"parameter": "(12, 6)", "name": "CKMP2019_Cor_42", "value": 9387480370894526162452}, {"parameter": "(13, 5)", "name": "CKMP2019_Cor_42", "value": 9387481966061634691348}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Cor_42", "value": 9387480370880684875251}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Cor_42", "value": 9387480338325977378499}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Cor_42", "value": 9387480337661595592851}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Cor_42", "value": 9387480337648036780899}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Cor_42", "value": 191581232058789487251}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Cor_42", "value": 191581231394407701603}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Cor_42", "value": 191581231380848889651}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Cor_42", "value": 3909821062424275251}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Cor_42", "value": 3909821048865463299}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Cor_42", "value": 79792266580087251}, {"parameter": "", "name": "construction_1", "value": 9387481966075206816845}, {"parameter": "5", "name": "linkage_GLT", "value": 9387480370880690640052}, {"parameter": "6", "name": "linkage_GLT", "value": 191581232058789489652}, {"parameter": "7", "name": "linkage_GLT", "value": 3909821062424275251}, {"parameter": "8", "name": "linkage_GLT", "value": 79792266580087251}, {"parameter": "9", "name": "linkage_GLT", "value": 27370375753678843600}, {"parameter": "10", "name": "linkage_GLT", "value": 9387480370880684875251}, {"parameter": "11", "name": "linkage_GLT", "value": 9387480338325977378499}, {"parameter": "12", "name": "linkage_GLT", "value": 9387480370894526162452}, {"parameter": "13", "name": "linkage_GLT", "value": 9387481966061634691348}, {"parameter": "5", "name": "improved_linkage", "value": 9387481966061634691691}, {"parameter": "6", "name": "improved_linkage", "value": 191581264613502748804}, {"parameter": "7", "name": "improved_linkage", "value": 3909821726806063300}, {"parameter": "8", "name": "improved_linkage", "value": 79792280138899203}, {"parameter": "9", "name": "improved_linkage", "value": 27370375753961302042}, {"parameter": "10", "name": "improved_linkage", "value": 9387480370880684892058}, {"parameter": "11", "name": "improved_linkage", "value": 9387480338325977378499}, {"parameter": "12", "name": "improved_linkage", "value": 9387480370894526162452}, {"parameter": "13", "name": "improved_linkage", "value": 9387481966061634691348}, {"parameter": "14", "name": "improved_linkage", "value": 27368752087648207895}, {"parameter": "5,0", "name": "generalized_linkage", "value": 9387480370880690640052}, {"parameter": "5,1", "name": "generalized_linkage", "value": 9387481966061634691691}, {"parameter": "6,0", "name": "generalized_linkage", "value": 191581232058789489652}, {"parameter": "6,1", "name": "generalized_linkage", "value": 191581264613502748804}, {"parameter": "7,0", "name": "generalized_linkage", "value": 3909821062424275251}, {"parameter": "7,1", "name": "generalized_linkage", "value": 3909821726806063300}, {"parameter": "8,0", "name": "generalized_linkage", "value": 79792266580087251}, {"parameter": "8,1", "name": "generalized_linkage", "value": 79792280138899203}, {"parameter": "9,0", "name": "generalized_linkage", "value": 27370375753678843600}, {"parameter": "9,1", "name": "generalized_linkage", "value": 27370375753961302042}, {"parameter": "10,0", "name": "generalized_linkage", "value": 9387480370880684875251}, {"parameter": "10,1", "name": "generalized_linkage", "value": 9387480370880684892058}, {"parameter": "11,0", "name": "generalized_linkage", "value": 9387480338325977378499}, {"parameter": "11,1", "name": "generalized_linkage", "value": 9387480338325977378499}, {"parameter": "12,0", "name": "generalized_linkage", "value": 9387480370894526162452}, {"parameter": "12,1", "name": "generalized_linkage", "value": 9387480370894526162452}, {"parameter": "13,0", "name": "generalized_linkage", "value": 9387481966061634691348}, {"parameter": "13,1", "name": "generalized_linkage", "value": 9387481966061634691348}, {"parameter": "14,1", "name": "generalized_linkage", "value": 27368752087648207895}, {"parameter": "[5, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9387480370880690640052}, {"parameter": "[5, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9387481966061634691691}, {"parameter": "[6, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 191581232058789489652}, {"parameter": "[6, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581264613502748804}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909821062424275251}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909821726806063300}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79792266580087251}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792280138899203}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 27370375753678843600}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 27370375753961302042}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9387480370880684875251}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9387480370880684892058}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9387480338325977378499}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9387480338325977378499}, {"parameter": "[12, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9387480370894526162452}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9387480370894526162452}, {"parameter": "[13, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9387481966061634691348}, {"parameter": "[13, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9387481966061634691348}, {"parameter": "[14, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 27368752087648207895}, {"parameter": "[5, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 27370375753678843600}, {"parameter": "[5, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 27370375753961302042}, {"parameter": "[5, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9387480370880684875251}, {"parameter": "[5, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9387480370880684892058}, {"parameter": "[5, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9387480370880684875251}, {"parameter": "[5, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9387480370880684892058}, {"parameter": "[5, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9387480338325977378499}, {"parameter": "[5, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9387480338325977378499}, {"parameter": "[5, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9387480338325977378499}, {"parameter": "[5, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9387480338325977378499}, {"parameter": "[5, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9387480337661595592851}, {"parameter": "[5, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9387480337661595592851}, {"parameter": "[5, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9387480337661595592851}, {"parameter": "[5, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9387480337661595592851}, {"parameter": "[5, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 9387480337648036780899}, {"parameter": "[5, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9387480337648036780899}, {"parameter": "[5, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9387480342395598290842}, {"parameter": "[5, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9387480342395598290842}, {"parameter": "[5, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 27368747340363408400}, {"parameter": "[5, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 27368752087642443094}, {"parameter": "[6, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 558579097013853609}, {"parameter": "[6, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558579097013870416}, {"parameter": "[6, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 191581232058789487251}, {"parameter": "[6, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581232058789487251}, {"parameter": "[6, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 191581232058789487251}, {"parameter": "[6, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581232058789487251}, {"parameter": "[6, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407701603}, {"parameter": "[6, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407701603}, {"parameter": "[6, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407701603}, {"parameter": "[6, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581231394407701603}, {"parameter": "[6, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 191581231380848889651}, {"parameter": "[6, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581231380848889651}, {"parameter": "[6, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 191581231380848889651}, {"parameter": "[6, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 191581231380848889651}, {"parameter": "[6, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 558545864083300815}, {"parameter": "[6, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558545864365776064}, {"parameter": "[7, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 11399573408445993}, {"parameter": "[7, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11399573408445993}, {"parameter": "[7, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909821062424275251}, {"parameter": "[7, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909821062424275251}, {"parameter": "[7, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909821062424275251}, {"parameter": "[7, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909821062424275251}, {"parameter": "[7, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909821048865463299}, {"parameter": "[7, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909821048865463299}, {"parameter": "[7, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3909821048865463299}, {"parameter": "[7, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3909821048865463299}, {"parameter": "[7, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11398895185389951}, {"parameter": "[7, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 11398895185389951}, {"parameter": "[8, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 232644355274409}, {"parameter": "[8, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 232644355274409}, {"parameter": "[8, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 79792266580087251}, {"parameter": "[8, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792266580087251}, {"parameter": "[8, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79792266580087251}, {"parameter": "[8, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792266580087251}, {"parameter": "[8, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 232630514004015}, {"parameter": "[8, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 232630514004015}, {"parameter": "[9, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79797014141597194}, {"parameter": "[9, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79797014141597194}, {"parameter": "[9, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79797013859138752}, {"parameter": "[9, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79797013859138752}, {"parameter": "[10, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792266580104058}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 79797014141597194}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79797014141597194}, {"parameter": "[5, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 79797013859138752}, {"parameter": "[5, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79797013859138752}, {"parameter": "[5, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792266580104058}, {"parameter": "[5, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79792266580104058}, {"parameter": "[6, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4747844002000}, {"parameter": "", "name": "JohnsonLB", "value": 9387400546059674825240}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 4749539660236}], "request": [7, 18, 8, 5], "liftedmrdsizebound": 9387481971503284950428, "comments": "", "equal_bound_constraints": []}