{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 42496814563784980451563042879529660750053921580003678289259806}, {"parameter": "", "name": "singleton", "value": 17824182148160735190135826789101008407579416056}, {"parameter": "6", "name": "ilp_2", "value": 13689182222457543190049736479563331217350221424}, {"parameter": "7", "name": "ilp_2", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "9", "name": "ilp_3", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "10", "name": "ilp_3", "value": 213893602590788135972814442186309316817730751438299}, {"parameter": "", "name": "anticode", "value": 13689182222457543190049736479563331217350221424}, {"parameter": "", "name": "linear_programming_bound", "value": 13689182222457543190049736479563331217350221424}, {"parameter": "", "name": "sphere_packing", "value": 7129800770792386971280901507440265340618068904491}, {"parameter": "1", "name": "ilp_1", "value": 13689178831290037580375934004515950756313060134}, {"parameter": "2", "name": "ilp_1", "value": 13689178831290037580375934004515950756321497763}, {"parameter": "3", "name": "ilp_1", "value": 13689178831290037580375934004517382754729061305}, {"parameter": "4", "name": "ilp_1", "value": 13689178831290037580377052038075273164184083568}, {"parameter": "5", "name": "ilp_1", "value": 13689178831290092259345720417360562110494765517}, {"parameter": "11", "name": "ilp_4", "value": 213886979212689127465717366422419930043685768491664}, {"parameter": "12", "name": "ilp_4", "value": 213886979212689127465717366422419930043685768491664}, {"parameter": "13", "name": "ilp_4", "value": 213886979212689111543191584428732694380869900511935}, {"parameter": "14", "name": "ilp_4", "value": 213886979212689111543083519082458175828325103578424}, {"parameter": "15", "name": "ilp_4", "value": 213886979212689111543083519061943121054733277398742}, {"parameter": "16", "name": "ilp_4", "value": 213886979212689111543183565079340715949159902014108}, {"parameter": "17", "name": "ilp_4", "value": 8555739898312097481077147325283036817099765008903}, {"parameter": "18", "name": "ilp_4", "value": 342229422112703064996062785212053183285921753899}, {"parameter": "", "name": "johnson_1", "value": 13689178831290037580375934004515950756313060134}, {"parameter": "", "name": "johnson_2", "value": 342229422112703064996062785212053183285921753899}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 42496814563784980451563042879529660750053921580003678289259806}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 213893602590788135972814442186309316817730751438299}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 213886979212689127465717366422419930043685768491664}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 213886979212689127465717366422419930043685768491664}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 213886979212689111543191584428732694380869900511935}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 213886979212689111543083519082458175828325103578424}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 213886979212689111543083519061943121054733277398742}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 213886979212689111543183565079340715949159902014108}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 8555739898312097481077147325283036817099765008903}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 342229422112703064996062785212053183285921753899}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 7129800770792386971280901507440265340618068904491}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 7129436308843472617537868744019172449812870910482}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 7129439224546488996864837865046276864858355344066}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 7129453825525769062299649300768694361552094391278}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 7129526831319827712306874615005273041039968248389}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 7129891882718706657900004443029548661194140979559}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 7131717700605792110856065504627577497104832565693}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1428242368941319283507715526546307415413449274635}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 287490641612795188753643409691712670244666116021}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 59414828970474087515116227183615370238735679640}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 14259527130752778711907818687996140879974182119}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 13689182222457543190049736479563331217350221424}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 13689182491584042382376190597481337955438124333}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 13689183837216675026546210519283972984779095525}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 13689190565383255312586676140115829828961640102}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 13689224206301583590877801563574686949236954467}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 13689392413028923476108438409422452285612446535}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 13690233500061496909284655577638884064612304098}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 13694440270547808539874210091708868509989480165}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 13715507559475187461139624874259616465831427776}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 13821686646541131074027649112653137433639855132}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 14374524435597272679857446107637480284946754826}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 17824182148160735190135826789101008407579416056}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 42496814563784980451563042879529660750053921580003678289259806}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 696267812664966080394109959832488357202755762269267867}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 13689182222457543190049736479563331217350221424}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 13689178831290092259345720417360562110494765517}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 13689178831290037580377052038075273164184083568}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 13689178831290037580375934004517382754729061305}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 13689178831290037580375934004494492754608160707}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 13689178831290037580375934004494492754603233132}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 87033520787794283315474169340051447322451460490995304526}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 7129800770792386971280901507440265340618068904491}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 7129873780880828033373802705126949202113622506580}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 7130238853753166203959900143945226147242195602286}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 7132064779046241059721157654215643365208008093104}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 7141208451089640380205857149062890960620940293744}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 7187280759872636054460516721751588518899878213792}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 7426856764757913213188037163217009504814071421229}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 8912227965607547189813197095059243988277565617026}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 213893602590788135972814442186309316817730751438299}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 213894128256836255275420983814157389574418033794690}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 213896756620450749603519446206780761667366951466236}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 213909899272923982806477233157032324353923337514861}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 213975633401975843756994706770429227541623954634817}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 214304826549044546083919974917660078883869712298630}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 215963960004129567374282398634673528581668324977729}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 224602514694732167620516620935054939072605291227034}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 278507089702354054782976088295474189687551961134806}, {"parameter": "", "name": "improved_johnson", "value": 13689178831290037580375934004515950756313060122}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1711147951626973733650071699300146752390500024957}], "known_codes": [], "upper_bound": 13689178831290037580375934004494492754603233132, "classified": false, "lower_bound": 13552534094970924836977527999063129791857250000, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 13552527156068805425093160010874271392822265625}, {"parameter": "", "name": "sphere_covering", "value": 43063110341843695417387234580892351374}, {"parameter": "", "name": "graham_sloane", "value": 467257417563244970105278147857442092}, {"parameter": "", "name": "multicomponent", "value": 13552527156072358138771960511863231658935546876}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 13552527156073468216070349850435848602892406250}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 13552534094970924836977527999063129791857250000}, {"parameter": "", "name": "two_pivot_block_construction", "value": 13552534094966262742818392601467495923383795712}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 1387779718950631581379941787067247481249}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 13552527156069743594279065898529376331163890625}, {"parameter": "(11,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 13552527156069743594279066047540988269640453125}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 13552527156069743594279065862766589465929515625}, {"parameter": "(11,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 13552527156069743594279066047540988269640453125}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 13552527156069743594279065861276477161242015625}, {"parameter": "(11,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 13552527156069743594279065861276950183702953125}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 867361737988701852012822449277768175609375}, {"parameter": "(10,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 867361737988701852012816488813290636546875}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 867361737988701852012822449277768175609375}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 867361737988701852012852251600155870921875}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 867361737988701852012815001081357042796875}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 867361737988701852012815058301816027171875}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 55511188531214358279452576607042796875}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 55511188531214358279395356148058421875}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 55511188531214358316645874946886546875}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 55511188531214358286843552559191234375}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 55511188531214358280883088081652171875}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 55511188531214358286843552559191234375}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1398889226532353231274267311462999828125}, {"parameter": "(8,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 1398889226532353231274266838440538890625}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1398889226532353231460531349548937328125}, {"parameter": "(8,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1398889226532353231275756950745226390625}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1398889226532353231460531349548937328125}, {"parameter": "(8,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1398889226532353231311519737610460765625}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 13552527156069743594279065861276473346544750000}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 867361737988701852012814998697171251781250}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 55511188531214358279392971962267406250}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 1398889226532353231274266834625841625000}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 13552527156069743594279065861276473346544750000}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 867361737988701852012814998697171251781250}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 55511188531214358279392971962267406250}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 1398889226532353231274266834625841625000}, {"parameter": "8", "name": "linkage_GLT", "value": 13552527156068805425093160010874271392822659376}, {"parameter": "9", "name": "linkage_GLT", "value": 867361737988403547205962240695953369140626}, {"parameter": "10", "name": "linkage_GLT", "value": 55511151231257827021181583404541015626}, {"parameter": "11", "name": "linkage_GLT", "value": 1398884563741376041434705257415771484376}, {"parameter": "8", "name": "improved_linkage", "value": 13552527156072358141154606361352930897130687500}, {"parameter": "9", "name": "improved_linkage", "value": 867361737988412642157636585237327916895633}, {"parameter": "10", "name": "improved_linkage", "value": 55511151231257850304257974463391093912}, {"parameter": "11", "name": "improved_linkage", "value": 1398884563741376041434764862097446097525}, {"parameter": "12", "name": "improved_linkage", "value": 1387867783305409830063581466827402364056}, {"parameter": "13", "name": "improved_linkage", "value": 1387779639908418757840991020202637112501}, {"parameter": "14", "name": "improved_linkage", "value": 1387779497567346696751534938812255859376}, {"parameter": "15", "name": "improved_linkage", "value": 1387779491324545497825280000000000000001}, {"parameter": "16", "name": "improved_linkage", "value": 1387779711502480655726368870477294921876}, {"parameter": "8,0", "name": "generalized_linkage", "value": 13552527156069743594279065861276473346544750000}, {"parameter": "8,1", "name": "generalized_linkage", "value": 13552527156068812880827711536041438110744905125}, {"parameter": "8,2", "name": "generalized_linkage", "value": 13552527156068805484664068417874012923052392375}, {"parameter": "8,3", "name": "generalized_linkage", "value": 13552527156068805425472115362215145236696464837}, {"parameter": "8,4", "name": "generalized_linkage", "value": 13552527156068805434188111685218812767370020633}, {"parameter": "8,5", "name": "generalized_linkage", "value": 13552527156072358141154606361352930897130687500}, {"parameter": "9,0", "name": "generalized_linkage", "value": 867361737988701852012814998697171251781250}, {"parameter": "9,1", "name": "generalized_linkage", "value": 867361737988415590287565011756504483017000}, {"parameter": "9,2", "name": "generalized_linkage", "value": 867361737988403566300170393222585952694045}, {"parameter": "9,3", "name": "generalized_linkage", "value": 867361737988403547206932366494889372770025}, {"parameter": "9,4", "name": "generalized_linkage", "value": 867361737988403547229245317087012219218912}, {"parameter": "9,5", "name": "generalized_linkage", "value": 867361737988412642157636585237327916895633}, {"parameter": "10,0", "name": "generalized_linkage", "value": 55511188531214358279392971962267406250}, {"parameter": "10,1", "name": "generalized_linkage", "value": 55511151231258591903417934748777548250}, {"parameter": "10,2", "name": "generalized_linkage", "value": 55511151231257833181785661145875028320}, {"parameter": "10,3", "name": "generalized_linkage", "value": 55511151231257827021184067084324641081}, {"parameter": "10,4", "name": "generalized_linkage", "value": 55511151231257827021241188086215628775}, {"parameter": "10,5", "name": "generalized_linkage", "value": 55511151231257850304257974463391093912}, {"parameter": "11,0", "name": "generalized_linkage", "value": 1398889226532353231274266834625841625000}, {"parameter": "11,1", "name": "generalized_linkage", "value": 1398884563741395164710999652422664267000}, {"parameter": "11,2", "name": "generalized_linkage", "value": 1398884563741376041434783487270358403320}, {"parameter": "11,3", "name": "generalized_linkage", "value": 1398884563741376041434705257422180175651}, {"parameter": "11,4", "name": "generalized_linkage", "value": 1398884563741376041434705257568369160931}, {"parameter": "11,5", "name": "generalized_linkage", "value": 1398884563741376041434764862097446097525}, {"parameter": "12,1", "name": "generalized_linkage", "value": 1387867783305887918072872378823103720125}, {"parameter": "12,2", "name": "generalized_linkage", "value": 1387867783305409830063972616107954106445}, {"parameter": "12,3", "name": "generalized_linkage", "value": 1387867783305409830063581466674804768876}, {"parameter": "12,4", "name": "generalized_linkage", "value": 1387867783305409830063581466674805081251}, {"parameter": "12,5", "name": "generalized_linkage", "value": 1387867783305409830063581466827402364056}, {"parameter": "13,2", "name": "generalized_linkage", "value": 1387779639908418757842946767528598637695}, {"parameter": "13,3", "name": "generalized_linkage", "value": 1387779639908418757840991020202637125651}, {"parameter": "13,4", "name": "generalized_linkage", "value": 1387779639908418757840991020202636718751}, {"parameter": "13,5", "name": "generalized_linkage", "value": 1387779639908418757840991020202637112501}, {"parameter": "14,3", "name": "generalized_linkage", "value": 1387779497567346696751534938812257893876}, {"parameter": "14,4", "name": "generalized_linkage", "value": 1387779497567346696751534938812255859376}, {"parameter": "14,5", "name": "generalized_linkage", "value": 1387779497567346696751534938812255859376}, {"parameter": "15,4", "name": "generalized_linkage", "value": 1387779491324545497825280000000000000001}, {"parameter": "15,5", "name": "generalized_linkage", "value": 1387779491324545497825280000000000000001}, {"parameter": "16,5", "name": "generalized_linkage", "value": 1387779711502480655726368870477294921876}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 13552527156069743594279065861276473346544750000}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 13552527156068812880827711536041438110744905125}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 13552527156068805484664068417874012923052392375}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 13552527156068805425472115362215145236696464837}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 13552527156068805434188111685218812767370020633}, {"parameter": "[8, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 13552527156072358141154606361352930897130687500}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 867361737988701852012814998697171251781250}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 867361737988415590287565011756504483017000}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 867361737988403566300170393222585952694045}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 867361737988403547206932366494889372770025}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 867361737988403547229245317087012219218912}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 867361737988412642157636585237327916895633}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 55511188531214358279392971962267406250}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 55511151231258591903417934748777548250}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257833181785661145875028320}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257827021184067084324641081}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257827021241188086215628775}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 55511151231257850304257974463391093912}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1398889226532353231274266834625841625000}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1398884563741395164710999652422664267000}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1398884563741376041434783487270358403320}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1398884563741376041434705257422180175651}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1398884563741376041434705257568369160931}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1398884563741376041434764862097446097525}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1387867783305887918072872378823103720125}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387867783305409830063972616107954106445}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387867783305409830063581466674804768876}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387867783305409830063581466674805081251}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387867783305409830063581466827402364056}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387779639908418757842946767528598637695}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387779639908418757840991020202637125651}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387779639908418757840991020202636718751}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387779639908418757840991020202637112501}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387779497567346696751534938812257893876}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387779497567346696751534938812255859376}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387779497567346696751534938812255859376}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387779491324545497825280000000000000001}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387779491324545497825280000000000000001}, {"parameter": "[16, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387779711502480655726368870477294921876}, {"parameter": "[8, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 1387783264216159456190045323114013671875}, {"parameter": "[8, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1387782333497507121880018149250402171875}, {"parameter": "[8, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387782333497507121880018149250402171875}, {"parameter": "[8, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387783271664310381880871142688585765625}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 1387779711511575602706845249871826171875}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387778780792923268396818076008214671875}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780792923268396818076008214671875}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387779718959726528397671069446398265625}, {"parameter": "[8, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 1387779711511575602706845249871826171875}, {"parameter": "[8, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387778780792923268396818076008214671875}, {"parameter": "[8, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780792923268396818076008214671875}, {"parameter": "[8, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387779718959726528397671069446398265625}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387779711502859610844727005700683593750}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780784207276534699831837072093750}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780784207276534699831837072093750}, {"parameter": "[8, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387779718951010536535552825275255687500}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387779711502480678972180332879638671875}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828344662153159016027171875}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828344662153159016027171875}, {"parameter": "[8, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387779718950631604663006152454210765625}, {"parameter": "[8, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 1387779711502480678972180332879638671875}, {"parameter": "[8, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828344662153159016027171875}, {"parameter": "[8, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828344662153159016027171875}, {"parameter": "[8, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387779718950631604663006152454210765625}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780914878568394250142021256390625}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780843399192907773886555089671875}, {"parameter": "[8, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778780843399192907773886555089671875}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780855307697835690247459488812500}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828322349213991993322093750}, {"parameter": "[8, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828322349213991993322093750}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780855307696865624653740006390625}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828321379148398273839671875}, {"parameter": "[8, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828321379148398273839671875}, {"parameter": "[8, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 1387778780855307720334953534050064984375}, {"parameter": "[8, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828344848477278583898265625}, {"parameter": "[8, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828344848477278583898265625}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778788239084744367031699055089671875}, {"parameter": "[8, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778788239084744367031699055089671875}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828473880519907062902171875}, {"parameter": "[8, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828473880519907062902171875}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828321379091277149572093750}, {"parameter": "[8, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828321379091277149572093750}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828321379148875263585765625}, {"parameter": "[8, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828321379148875263585765625}, {"parameter": "[8, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828344663646373585118968750}, {"parameter": "[8, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828344663646373585118968750}, {"parameter": "[8, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387779711504863301538665176008214671875}, {"parameter": "[8, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783847406835531642762902171875}, {"parameter": "[8, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828321379479197292714671875}, {"parameter": "[8, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828321379091297024093968750}, {"parameter": "[8, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828321379148402096468968750}, {"parameter": "[8, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 1387778780783828344662167572774826000000}, {"parameter": "[9, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 3553021078554371416639218370921875}, {"parameter": "[9, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 3553021078554371416639218370921875}, {"parameter": "[9, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 3553021078554371416639218370921875}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 3553011983630636751722226183421875}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3553011983630636751722226183421875}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3553011983630636751722226183421875}, {"parameter": "[9, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 3553011983630636751722226183421875}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 3553011983630636751722226183421875}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3553011983630636751722226183421875}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3553011983608323812555203478343750}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3553011983608323812555203478343750}, {"parameter": "[9, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3553011983608323812555203478343750}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 3553011983607353746961483995921875}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3553011983607353746961483995921875}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3553011983607353746961483995921875}, {"parameter": "[9, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 3553011983607353746961483995921875}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3553011983607353746961483995921875}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3553011983607353746961483995921875}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 3553012002700337348084530870921875}, {"parameter": "[9, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3553012002700337348084530870921875}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 3553011983607353689840359728343750}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3553011983607353689840359728343750}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 3553011983607353687356991808421875}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3553011983607353687356991808421875}, {"parameter": "[9, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3553011983607353747438473742015625}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3553011983607353747438473742015625}, {"parameter": "[9, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 3553023931078600953892105870921875}, {"parameter": "[9, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 3553011983607402565395010683421875}, {"parameter": "[9, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 3553011983607353687356845578343750}, {"parameter": "[9, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3553011983607353687356993029515625}, {"parameter": "[9, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3553011983607353746965306625218750}, {"parameter": "[10, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 37309051501559005036323839671875}, {"parameter": "[10, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 37309051501559005036323839671875}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 37309051478276000275581652171875}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 37309051478276000275581652171875}, {"parameter": "[10, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 37309051478276000275581652171875}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 37309051478276000275581652171875}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 37309051478275943154457384593750}, {"parameter": "[10, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 37309051478275943154457384593750}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 37309051478275940671089464671875}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 37309051478275940671089464671875}, {"parameter": "[10, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 37309051478275940671089464671875}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 37309051478275940671089464671875}, {"parameter": "[10, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 37309051484387635543756777171875}, {"parameter": "[10, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 37309051478275940670943234593750}, {"parameter": "[10, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 37309051478275940670936877171875}, {"parameter": "[10, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 37309051478275940671090685765625}, {"parameter": "[11, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 4662800144919716556663879992015625}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4662800144919716497059387804515625}, {"parameter": "[11, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 4662800144919716497059387804515625}, {"parameter": "[11, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 4662800144919716497059241574437500}, {"parameter": "[11, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 4662800144919716497059235217015625}, {"parameter": "[11, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 4662800144919716497059235217015625}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1861451164930619946412524414062500}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 4336810910530175628960014173449276193522500}], "request": [5, 19, 6, 8], "liftedmrdsizebound": 13552536354322100232790039284779974361597212931, "comments": "", "equal_bound_constraints": []}