{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 3857567937595016308705834953070576178084351138070085}, {"parameter": "", "name": "singleton", "value": 9957038381881749517654238255938525131005050}, {"parameter": "5", "name": "ilp_2", "value": 8850717440619537723538822654066196184850089}, {"parameter": "7", "name": "ilp_3", "value": 6452174361350552725764980996018499271723082635}, {"parameter": "", "name": "anticode", "value": 8850717440619537723538822654066196184850089}, {"parameter": "", "name": "linear_programming_bound", "value": 8850717440619537723538822654066196184850089}, {"parameter": "", "name": "sphere_packing", "value": 3857567937595016308705834953070576178084351138070085}, {"parameter": "1", "name": "ilp_1", "value": 8850717257857547747286888667645237184687414}, {"parameter": "2", "name": "ilp_1", "value": 8850717257857547747286888667645240279858039}, {"parameter": "3", "name": "ilp_1", "value": 8850717257857547747286888667645240279858039}, {"parameter": "4", "name": "ilp_1", "value": 8850717257857547747286888667645240279858039}, {"parameter": "8", "name": "ilp_4", "value": 6452174361350552725764980996018499271723082635}, {"parameter": "9", "name": "ilp_4", "value": 6452174361350552725764980996018499271723082635}, {"parameter": "10", "name": "ilp_4", "value": 6452174361350552725764980996018499271723082635}, {"parameter": "11", "name": "ilp_4", "value": 6452174361350552725764980996018499271723082635}, {"parameter": "12", "name": "ilp_4", "value": 6452174361350552725764980996018499271723082635}, {"parameter": "13", "name": "ilp_4", "value": 716906930037067624734158911531091488714708653}, {"parameter": "14", "name": "ilp_4", "value": 79656457148337490300755330015209097684031847}, {"parameter": "", "name": "johnson_1", "value": 8850717257857547747286888667645237184687414}, {"parameter": "", "name": "johnson_2", "value": 79656457148337490300755330015209097684031847}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 3857567937595016308705834953070576178084351138070085}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 6452174361350552725764980996018499271723082635}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 6452174361350552725764980996018499271723082635}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 6452174361350552725764980996018499271723082635}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 6452174361350552725764980996018499271723082635}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 6452174361350552725764980996018499271723082635}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 6452174361350552725764980996018499271723082635}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 716906930037067624734158911531091488714708653}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 79656457148337490300755330015209097684031847}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 8850717440619537723538822654066196184850089}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 8850717460926119861934125664105892392658690}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 8850717643685363300615861991834047484159320}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 8850719288518893891867149630377116194455271}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 8850734092048180357192536202765393256198226}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 8850867326040198900787347143612061059924805}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 8852066612499512246997298110171048673216879}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 8862874833714909025964302897322063630848673}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 8961349719818008930505413512201986995146199}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 9957038381881749517654238255938525131005050}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 3857567937595016308705834953070576178084351138070085}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 8850717440619537723538822654066196184850089}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 8850717257857547747286888667645240279858039}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 8850717257857547747286888667645240279858039}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 8850717257857547747286888667645240279858039}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 8850717257857547747286888667645237184687414}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 6452174361350552725764980996018499271723082635}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 6452185153285635798692254231223146384237764275}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 6452282282325965318413984701228349811879489236}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 6453156575300094035961255597974593242861123562}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 6461035887194920995699438720012528739794010585}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 6532825173329484761761107500430803053870381728}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 7258694620170400715835032365617891585605600635}, {"parameter": "", "name": "improved_johnson", "value": 8850717257857547747286888667645237184687389}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 716908262372280579316113544818320991549535498}], "known_codes": [], "upper_bound": 8850717257857547747286888667645237184687389, "classified": false, "lower_bound": 8729474476733343245743680907402498210464809, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 8727963568087712425891397479476727340041449}, {"parameter": "", "name": "sphere_covering", "value": 133233741696915849193649340119010874495}, {"parameter": "", "name": "graham_sloane", "value": 149887676981510605414033392382034098014}, {"parameter": "", "name": "multicomponent", "value": 8727963570590867930964405523869454265527141}, {"parameter": "", "name": "construction_ST_B", "value": 8729294253125449077846939346396610251212081}, {"parameter": "", "name": "EF_special", "value": 8729311901304654112388972101947942905023381}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 8727963570938903373657163062622101978272250}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 8729294055662383896412819119390862286990277}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 8729294253125449077846939365392605032679786}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 8729311901304675301507926588885778379185444}, {"parameter": "", "name": "two_pivot_block_construction", "value": 8729294050338944636763599368327413758951424}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 11974591241049786573865676346745151426801}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 8729294255628986161423257834703805604475750}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 8727965644146200192685523353916690471251411}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 8727965644146200192676769834786169482514691}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 8727965644146200192676660416002929102250131}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 147811715761679589755894105731845740814}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 147811715761679590631246018783944614486}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 147811715761679589646625211235630380726}, {"parameter": "(7,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1346907930659816610623252634633610391958}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1346907930659816611607873442181924625718}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1346907930659816610732521529129825752046}, {"parameter": "(6,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 11976598455396887140147195221120208029963}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 11976598455396887140256614004360588294523}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 11976598455396887149010133134881577031243}, {"parameter": "(6, 9)", "name": "CKMP2019_Lem_41", "value": 8727965644146200192676660415797037970155482}, {"parameter": "(7, 8)", "name": "CKMP2019_Lem_41", "value": 147811715761679589646475116600333381605}, {"parameter": "(8, 7)", "name": "CKMP2019_Lem_41", "value": 1346907930659816610623102539998313392837}, {"parameter": "(9, 6)", "name": "CKMP2019_Lem_41", "value": 11976598455396887140147195015229075935314}, {"parameter": "(6, 9)", "name": "CKMP2019_Cor_42", "value": 8727965644146200192676660415797037970155482}, {"parameter": "(7, 8)", "name": "CKMP2019_Cor_42", "value": 147811715761679589646475116600333381605}, {"parameter": "(8, 7)", "name": "CKMP2019_Cor_42", "value": 1346907930659816610623102539998313392837}, {"parameter": "(9, 6)", "name": "CKMP2019_Cor_42", "value": 11976598455396887140147195015229075935314}, {"parameter": "6", "name": "linkage_GLT", "value": 8727963568087712425891397479477009865834362}, {"parameter": "7", "name": "linkage_GLT", "value": 147808829414345923316083210206383835685}, {"parameter": "8", "name": "linkage_GLT", "value": 1346907926748783413802288236561017973317}, {"parameter": "9", "name": "linkage_GLT", "value": 11976595604205939374381611869854437704514}, {"parameter": "6", "name": "improved_linkage", "value": 8727963570591301318989457850547712763586733}, {"parameter": "7", "name": "improved_linkage", "value": 147808829456744429799993634601865319692}, {"parameter": "8", "name": "improved_linkage", "value": 1346907926748783493582408144115227831555}, {"parameter": "9", "name": "improved_linkage", "value": 11976595604205939374381761988044749768833}, {"parameter": "10", "name": "improved_linkage", "value": 11974394082330392859047828154075569172433}, {"parameter": "11", "name": "improved_linkage", "value": 11974568001475208357203986035511518146003}, {"parameter": "12", "name": "improved_linkage", "value": 11974590533737494246339982129729732401772}, {"parameter": "13", "name": "improved_linkage", "value": 1330509784936926301662335564474329274245}, {"parameter": "6,0", "name": "generalized_linkage", "value": 8727965644146200192676660415797037970155482}, {"parameter": "6,1", "name": "generalized_linkage", "value": 8727963593744302601053128056466746278332969}, {"parameter": "6,2", "name": "generalized_linkage", "value": 8727963568404088890715607685884342179801608}, {"parameter": "6,3", "name": "generalized_linkage", "value": 8727963568091570689981433328096716204051730}, {"parameter": "6,4", "name": "generalized_linkage", "value": 8727963570591301318989457850547712763586733}, {"parameter": "7,0", "name": "generalized_linkage", "value": 147811715761679589646475116600333381605}, {"parameter": "7,1", "name": "generalized_linkage", "value": 147808864663268974770969524733207645474}, {"parameter": "7,2", "name": "generalized_linkage", "value": 147808829462631410479473008358136795521}, {"parameter": "7,3", "name": "generalized_linkage", "value": 147808829414411343014407404658467053581}, {"parameter": "7,4", "name": "generalized_linkage", "value": 147808829456744429799993634601865319692}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1346907930659816610623102539998313392837}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1346907926754222035808052565120087800776}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1346907926748790775734253898111178165989}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1346907926748783414910310599254364719236}, {"parameter": "8,4", "name": "generalized_linkage", "value": 1346907926748783493582408144115227831555}, {"parameter": "9,0", "name": "generalized_linkage", "value": 11976598455396887140147195015229075935314}, {"parameter": "9,1", "name": "generalized_linkage", "value": 11976595604205940193093604187342721481474}, {"parameter": "9,2", "name": "generalized_linkage", "value": 11976595604205939374507802471648576820293}, {"parameter": "9,3", "name": "generalized_linkage", "value": 11976595604205939374381630638042860915103}, {"parameter": "9,4", "name": "generalized_linkage", "value": 11976595604205939374381761988044749768833}, {"parameter": "10,1", "name": "generalized_linkage", "value": 11974394082330459174843667625296233869145}, {"parameter": "10,2", "name": "generalized_linkage", "value": 11974394082330392859047830264459086625281}, {"parameter": "10,3", "name": "generalized_linkage", "value": 11974394082330392859047828153828788299640}, {"parameter": "10,4", "name": "generalized_linkage", "value": 11974394082330392859047828154075569172433}, {"parameter": "11,2", "name": "generalized_linkage", "value": 11974568001475208357204005031506299075624}, {"parameter": "11,3", "name": "generalized_linkage", "value": 11974568001475208357203986035511517674349}, {"parameter": "11,4", "name": "generalized_linkage", "value": 11974568001475208357203986035511518146003}, {"parameter": "12,3", "name": "generalized_linkage", "value": 11974590533737494246339982129729732468201}, {"parameter": "12,4", "name": "generalized_linkage", "value": 11974590533737494246339982129729732401772}, {"parameter": "13,4", "name": "generalized_linkage", "value": 1330509784936926301662335564474329274245}, {"parameter": "[6, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 8727965644146200192676660415797037970155482}, {"parameter": "[6, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 8727963593744302601053128056466746278332969}, {"parameter": "[6, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 8727963568404088890715607685884342179801608}, {"parameter": "[6, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 8727963568091570689981433328096716204051730}, {"parameter": "[6, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 8727963570591301318989457850547712763586733}, {"parameter": "[7, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 147811715761679589646475116600333381605}, {"parameter": "[7, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 147808864663268974770969524733207645474}, {"parameter": "[7, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 147808829462631410479473008358136795521}, {"parameter": "[7, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 147808829414411343014407404658467053581}, {"parameter": "[7, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 147808829456744429799993634601865319692}, {"parameter": "[8, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1346907930659816610623102539998313392837}, {"parameter": "[8, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1346907926754222035808052565120087800776}, {"parameter": "[8, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1346907926748790775734253898111178165989}, {"parameter": "[8, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1346907926748783414910310599254364719236}, {"parameter": "[8, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1346907926748783493582408144115227831555}, {"parameter": "[9, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 11976598455396887140147195015229075935314}, {"parameter": "[9, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11976595604205940193093604187342721481474}, {"parameter": "[9, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11976595604205939374507802471648576820293}, {"parameter": "[9, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11976595604205939374381630638042860915103}, {"parameter": "[9, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11976595604205939374381761988044749768833}, {"parameter": "[10, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 11974394082330459174843667625296233869145}, {"parameter": "[10, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11974394082330392859047830264459086625281}, {"parameter": "[10, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11974394082330392859047828153828788299640}, {"parameter": "[10, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11974394082330392859047828154075569172433}, {"parameter": "[11, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 11974568001475208357204005031506299075624}, {"parameter": "[11, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11974568001475208357203986035511517674349}, {"parameter": "[11, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11974568001475208357203986035511518146003}, {"parameter": "[12, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11974590533737494246339982129729732468201}, {"parameter": "[12, 3],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11974590533737494246339982129729732401772}, {"parameter": "[13, 2],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1330509784936926301662335564474329274245}, {"parameter": "[6, 2, 7],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 1330281971789757679642370537511350695539}, {"parameter": "[6, 2, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1330281971838571829996712116449998938502}, {"parameter": "[6, 2, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1332358026372385088349286527740065878291}, {"parameter": "[6, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 11974590537595031499647653609470835432893}, {"parameter": "[6, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515190324754568203434876599755458253}, {"parameter": "[6, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515190373568718557776455538403701216}, {"parameter": "[6, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11974591244907381976910350866828470641005}, {"parameter": "[6, 3, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 11974590533779827254878195293184336444803}, {"parameter": "[6, 3, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 11972515186509550323433976560313256470163}, {"parameter": "[6, 3, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515186558364473788318139251904713126}, {"parameter": "[6, 3, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11974591241092177732140892550541971652915}, {"parameter": "[6, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 11974590850059664008834493167539012021043}, {"parameter": "[6, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515502789387077390274434667932046403}, {"parameter": "[6, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515502838201227744616013606580289366}, {"parameter": "[6, 4, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11974591557372014486097190424896647229155}, {"parameter": "[6, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 11974590533737443355349299085068439577453}, {"parameter": "[6, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515186467166423905080352197359602813}, {"parameter": "[6, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515186515980574259421931136007845776}, {"parameter": "[6, 4, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11974591241049793832611996342426074785565}, {"parameter": "[6, 4, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 11974590533780357143359554957267358751926}, {"parameter": "[6, 4, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515186510080211915336224396278777286}, {"parameter": "[6, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515186558894362269677803334927020249}, {"parameter": "[6, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11974591241092707620622252214624993960038}, {"parameter": "[6, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972541190493446471236179584912554669843}, {"parameter": "[6, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972540835126498025507731046463845347372}, {"parameter": "[6, 5, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972540839080378070331152805583853579206}, {"parameter": "[6, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515537929636932496512263784001328563}, {"parameter": "[6, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562688486768063725335292006092}, {"parameter": "[6, 5, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515186516568531591485484455300237926}, {"parameter": "[6, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515537929049065898606977759538569486}, {"parameter": "[6, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562100620170158439310829247015}, {"parameter": "[6, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515186515980664993580198430837478849}, {"parameter": "[6, 5, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 11972515537971447322267400948976300400035}, {"parameter": "[6, 5, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182604498876538952410527591077564}, {"parameter": "[6, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515186558378921362374169647599309398}, {"parameter": "[6, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 11974590533738104783594134453765091987533}, {"parameter": "[6, 6, 3],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 11974590533737443444811673104660097505843}, {"parameter": "[6, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610958301227888285697643823853}, {"parameter": "[6, 6, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182610296962445426936592649342163}, {"parameter": "[6, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182563291131859258683121515217136}, {"parameter": "[6, 6, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562629793076797334016520735446}, {"parameter": "[6, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562695736814110398260310164535}, {"parameter": "[6, 6, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182562034398031649049155315682845}, {"parameter": "[6, 6, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 11972515182605086286501098261451955539532}, {"parameter": "[6, 6, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 11972515182604424947718636912346961057842}, {"parameter": "[6, 7, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1330279468634260034609463236929420103931}, {"parameter": "[6, 7, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1330279464777993855372508302350664569934}, {"parameter": "[6, 7, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1330279464729716076990835779071443352523}, {"parameter": "[6, 7, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1330279464729127917938910071520965118570}, {"parameter": "[6, 7, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1330279464771519084757233423688777565049}, {"parameter": "[7, 2, 6],[0, 4, 0]", "name": "generalized_linkage_multipleblocks", "value": 25379155418287903701766586298573363}, {"parameter": "[7, 2, 6],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528447300217798247089000641254723}, {"parameter": "[7, 2, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 25414789269763780019950056119289846}, {"parameter": "[7, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 25379113092538111808598530092096182}, {"parameter": "[7, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528404974468006353920944434777542}, {"parameter": "[7, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 25414746944013988126781999912812665}, {"parameter": "[7, 3, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 25379113027209394928639944514003523}, {"parameter": "[7, 3, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528404909139289473962358856684883}, {"parameter": "[7, 3, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 25414746878685271246823414334720006}, {"parameter": "[7, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 25379161305040325790872895679485363}, {"parameter": "[7, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528453186970220336195310022166723}, {"parameter": "[7, 4, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 25414795156516202109056365500201846}, {"parameter": "[7, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 25379113027129751563164015543419382}, {"parameter": "[7, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528404909059646108486429886100742}, {"parameter": "[7, 4, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 25414746878605627881347485364135865}, {"parameter": "[7, 4, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 25379113027210392007302222479164326}, {"parameter": "[7, 4, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528404909140286552624636821845686}, {"parameter": "[7, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 25414746878686268325485692299880809}, {"parameter": "[7, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22563690099899212561255079096635452}, {"parameter": "[7, 5, 3],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22563641822816074989847032848195523}, {"parameter": "[7, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528453186233504008612023847956812}, {"parameter": "[7, 5, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22528404909150366437203977599516883}, {"parameter": "[7, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528453186142785218361593026032731}, {"parameter": "[7, 5, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22528404909059647646953546777592802}, {"parameter": "[7, 5, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22528453186222454231029878180020604}, {"parameter": "[7, 5, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22528404909139316659621831931580675}, {"parameter": "[7, 6, 2],[0, 0, 4]", "name": "generalized_linkage_multipleblocks", "value": 25379118391249977104608410476189043}, {"parameter": "[7, 6, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22528404975363992871473545908553683}, {"parameter": "[7, 6, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22528404909151501977646235041813686}, {"parameter": "[7, 6, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22528404909059646150433213758480582}, {"parameter": "[7, 6, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22528404909139301992063120121106642}, {"parameter": "[8, 2, 5],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 22813915042638022909165915599809766}, {"parameter": "[8, 2, 5],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22813915042638022909165915599809766}, {"parameter": "[8, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22813915042559364314592170240458506}, {"parameter": "[8, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22813915042559364314592170240458506}, {"parameter": "[8, 3, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 22813915042558256616183678386945526}, {"parameter": "[8, 3, 4],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22813915042558256616183678386945526}, {"parameter": "[8, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22813915049917680224282754937098006}, {"parameter": "[8, 4, 3],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22813915049917680224282754937098006}, {"parameter": "[8, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22813915042558256468173655498712666}, {"parameter": "[8, 4, 3],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22813915042558256468173655498712666}, {"parameter": "[8, 4, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 22813915042558256618059857797788809}, {"parameter": "[8, 4, 3],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22813915042558256618059857797788809}, {"parameter": "[8, 5, 2],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22813920414036905460299117651963070}, {"parameter": "[8, 5, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22813915042558270314143216918672166}, {"parameter": "[8, 5, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 22813915042558256468199713104790169}, {"parameter": "[8, 5, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 22813915042558256616234833001424038}, {"parameter": "[9, 2, 4],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 25387268525908850994598489747390515}, {"parameter": "[9, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 25387268525908850863265648558824224}, {"parameter": "[9, 3, 3],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 25387268525908850844504136879927875}, {"parameter": "[9, 4, 2],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 25387268525908975477199879753291739}, {"parameter": "[9, 4, 2],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 25387268525908850844503889754017024}, {"parameter": "[9, 4, 2],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 25387268525908850844504140410290438}, {"parameter": "[6, 2, 4, 3],[0, 4, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2097883522491782005887436697079043044}, {"parameter": "[6, 2, 4, 3],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2097883522491782005887436697079043044}, {"parameter": "[6, 2, 5, 2],[0, 4, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 22536252214850561668703825999068404}, {"parameter": "[6, 2, 5, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 22536252214850561668703825999068404}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4173230750384813921209961452262150334}, {"parameter": "[6, 3, 3, 3],[0, 4, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4173230750377634941333042926374447844}, {"parameter": "[6, 3, 4, 2],[0, 3, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2097883480107882476991228581182175694}, {"parameter": "[6, 3, 4, 2],[0, 3, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2097883480107882476991228581182175694}, {"parameter": "[6, 3, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 2097883480100703497114310055294473204}, {"parameter": "[6, 3, 4, 2],[0, 4, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 2097883480100703497114310055294473204}, {"parameter": "[7, 2, 4, 2],[0, 4, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 5701469355618949806726235063031604}, {"parameter": "", "name": "JohnsonLB", "value": 8729474476733343245743680907402498210464809}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 1330510064933178856043592969030762225717}], "request": [9, 15, 4, 6], "liftedmrdsizebound": 8729499858920039439079890598902184660825363, "comments": "", "equal_bound_constraints": []}