{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1279025522911365763892449}, {"parameter": "", "name": "singleton", "value": 21571273555248777493}, {"parameter": "4", "name": "ilp_2", "value": 14440354542709017013}, {"parameter": "6", "name": "ilp_3", "value": 3513806381624631219484}, {"parameter": "", "name": "anticode", "value": 14440354542709017013}, {"parameter": "", "name": "linear_programming_bound", "value": 14440354542709017013}, {"parameter": "", "name": "sphere_packing", "value": 1279025522911365763892449}, {"parameter": "1", "name": "ilp_1", "value": 14440354542709017013}, {"parameter": "2", "name": "ilp_1", "value": 14440354542709017013}, {"parameter": "3", "name": "ilp_1", "value": 14440354542709017013}, {"parameter": "7", "name": "ilp_4", "value": 3484872934749405527833}, {"parameter": "8", "name": "ilp_4", "value": 3484802365366783026146}, {"parameter": "9", "name": "ilp_4", "value": 3484802085699480691264}, {"parameter": "10", "name": "ilp_4", "value": 3484802085699480691264}, {"parameter": "11", "name": "ilp_4", "value": 1170197184731350195693}, {"parameter": "12", "name": "ilp_4", "value": 389590038265128026133}, {"parameter": "13", "name": "ilp_4", "value": 129969054983025754593}, {"parameter": "14", "name": "ilp_4", "value": 43317150783108026312}, {"parameter": "", "name": "johnson_1", "value": 14440354542709017013}, {"parameter": "", "name": "johnson_2", "value": 43317150783108026312}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 1279025522911365763892449}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 3513806381624631219484}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 3484872934749405527833}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 3484802365366783026146}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 3484802085699480691264}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 3484802085699480691264}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 1170197184731350195693}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 389590038265128026133}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 129969054983025754593}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 43317150783108026312}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 14440354542709017013}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 14440516230504633754}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 14441001315617117957}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 14442456766513741699}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 14446824880005061121}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 14459945088480501101}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 14499449089479980043}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 14619266875033617666}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 14990903801200133462}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 16228542982804463002}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 21571273555248777493}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1279025522911365763892449}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 14440354542709017013}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 14440354542709017013}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 14440354542709017013}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 14440354542709017013}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 3513806381624631219484}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 3523485960243130636030}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 3552847337669336070825}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 3643942787496938639418}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 3947593131462612579330}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 5263390747480701708292}, {"parameter": "", "name": "improved_johnson", "value": 14440354542709017013}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1171149779963810777348}], "known_codes": [], "upper_bound": 14440354542709017013, "classified": false, "lower_bound": 12399153912606199527, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 12157665459056928801}, {"parameter": "", "name": "sphere_covering", "value": 119343109343013503}, {"parameter": "", "name": "graham_sloane", "value": 178274988059907253}, {"parameter": "", "name": "multicomponent", "value": 12159518761689666274}, {"parameter": "", "name": "construction_ST_B", "value": 12311324841545609926}, {"parameter": "", "name": "ChenHeWengXu2019_T41", "value": 12399152568347096641}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 12157669677208675842}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 12309617332694526804}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 12311324839767349881}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_16", "value": 12333033028079251978}, {"parameter": "", "name": "two_pivot_block_construction", "value": 12309636277251555328}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 12399153905564676801}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 12311512463746968336}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 12399153912606199527}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 12399153909124198095}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 159319814869200150}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 159319811425462470}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 502515304412788611}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 502515301313424699}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1378546726567795659}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1378546729667159571}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 4119491704130564310}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 4119491707574301990}, {"parameter": "(5,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 12394610359403398335}, {"parameter": "(5,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 12394610362885399767}, {"parameter": "(5, 10)", "name": "CKMP2019_Lem_41", "value": 12399153909119415126}, {"parameter": "(6, 9)", "name": "CKMP2019_Lem_41", "value": 159319811382415749}, {"parameter": "(7, 8)", "name": "CKMP2019_Lem_41", "value": 502515300926004210}, {"parameter": "(8, 7)", "name": "CKMP2019_Lem_41", "value": 1378546726180375170}, {"parameter": "(9, 6)", "name": "CKMP2019_Lem_41", "value": 4119491704087517589}, {"parameter": "(10, 5)", "name": "CKMP2019_Lem_41", "value": 12394610359398615366}, {"parameter": "(5, 5, 5)", "name": "CKMP2019_Lem_41", "value": 12399152571969749523}, {"parameter": "(5, 10)", "name": "CKMP2019_Cor_42", "value": 12399153909119415126}, {"parameter": "(6, 9)", "name": "CKMP2019_Cor_42", "value": 159319811382415749}, {"parameter": "(7, 8)", "name": "CKMP2019_Cor_42", "value": 502515300926004210}, {"parameter": "(8, 7)", "name": "CKMP2019_Cor_42", "value": 1378546726180375170}, {"parameter": "(9, 6)", "name": "CKMP2019_Cor_42", "value": 4119491704087517589}, {"parameter": "(10, 5)", "name": "CKMP2019_Cor_42", "value": 12394610359398615366}, {"parameter": "(5, 5, 5)", "name": "CKMP2019_Cor_42", "value": 12399152571969749523}, {"parameter": "5", "name": "linkage_ST", "value": 12394606141246868326}, {"parameter": "6", "name": "linkage_ST", "value": 4119491235594509749}, {"parameter": "7", "name": "linkage_ST", "value": 1378532636543495170}, {"parameter": "8", "name": "linkage_ST", "value": 502168471178909170}, {"parameter": "9", "name": "linkage_ST", "value": 150094635311585029}, {"parameter": "10", "name": "linkage_ST", "value": 12157665462611667126}, {"parameter": "11", "name": "linkage_ST", "value": 287594225767}, {"parameter": "12", "name": "linkage_ST", "value": 23285915022780}, {"parameter": "13", "name": "linkage_ST", "value": 1880918252176932}, {"parameter": "14", "name": "linkage_ST", "value": 152354381482802889}, {"parameter": "5", "name": "construction_D", "value": 12394606141246868325}, {"parameter": "6", "name": "construction_D", "value": 4119491235594509748}, {"parameter": "7", "name": "construction_D", "value": 1378532636543494899}, {"parameter": "8", "name": "construction_D", "value": 502168471178848911}, {"parameter": "9", "name": "construction_D", "value": 150094635296999121}, {"parameter": "10", "name": "construction_D", "value": 12157665459056928801}, {"parameter": "11", "name": "construction_D", "value": 0}, {"parameter": "12", "name": "construction_D", "value": 0}, {"parameter": "13", "name": "construction_D", "value": 0}, {"parameter": "14", "name": "construction_D", "value": 0}, {"parameter": "15", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 12157665462611667126}, {"parameter": "6", "name": "linkage_GLT", "value": 150094635311585029}, {"parameter": "7", "name": "linkage_GLT", "value": 502168471178909170}, {"parameter": "8", "name": "linkage_GLT", "value": 1378532636543495170}, {"parameter": "9", "name": "linkage_GLT", "value": 4119491235594509749}, {"parameter": "10", "name": "linkage_GLT", "value": 12394606141246868326}, {"parameter": "5", "name": "improved_linkage", "value": 12159546377309105733}, {"parameter": "6", "name": "improved_linkage", "value": 150117921212021901}, {"parameter": "7", "name": "improved_linkage", "value": 502168758773074678}, {"parameter": "8", "name": "improved_linkage", "value": 1378532640098233224}, {"parameter": "9", "name": "improved_linkage", "value": 4119491235609095656}, {"parameter": "10", "name": "improved_linkage", "value": 12394606141246928584}, {"parameter": "11", "name": "improved_linkage", "value": 4126662799267686940}, {"parameter": "12", "name": "improved_linkage", "value": 1375009996180136221}, {"parameter": "13", "name": "improved_linkage", "value": 457063135278994477}, {"parameter": "5,0", "name": "generalized_linkage", "value": 12399153909119415126}, {"parameter": "5,1", "name": "generalized_linkage", "value": 12166713460993784388}, {"parameter": "5,2", "name": "generalized_linkage", "value": 12157968175952224941}, {"parameter": "5,3", "name": "generalized_linkage", "value": 12159546377309105733}, {"parameter": "6,0", "name": "generalized_linkage", "value": 159319811382415749}, {"parameter": "6,1", "name": "generalized_linkage", "value": 151135537328063946}, {"parameter": "6,2", "name": "generalized_linkage", "value": 150106139066029801}, {"parameter": "6,3", "name": "generalized_linkage", "value": 150117921212021901}, {"parameter": "7,0", "name": "generalized_linkage", "value": 502515300926004210}, {"parameter": "7,1", "name": "generalized_linkage", "value": 502181319628073859}, {"parameter": "7,2", "name": "generalized_linkage", "value": 502168901302186236}, {"parameter": "7,3", "name": "generalized_linkage", "value": 502168758773074678}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1378546726180375170}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1378532795932225698}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1378532638308389767}, {"parameter": "8,3", "name": "generalized_linkage", "value": 1378532640098233224}, {"parameter": "9,0", "name": "generalized_linkage", "value": 4119491704087517589}, {"parameter": "9,1", "name": "generalized_linkage", "value": 4119491237745599619}, {"parameter": "9,2", "name": "generalized_linkage", "value": 4119491235601801087}, {"parameter": "9,3", "name": "generalized_linkage", "value": 4119491235609095656}, {"parameter": "10,0", "name": "generalized_linkage", "value": 12394610359398615366}, {"parameter": "10,1", "name": "generalized_linkage", "value": 12394606141270683546}, {"parameter": "10,2", "name": "generalized_linkage", "value": 12394606141246901116}, {"parameter": "10,3", "name": "generalized_linkage", "value": 12394606141246928584}, {"parameter": "11,1", "name": "generalized_linkage", "value": 4126662799339134750}, {"parameter": "11,2", "name": "generalized_linkage", "value": 4126662799267686790}, {"parameter": "11,3", "name": "generalized_linkage", "value": 4126662799267686940}, {"parameter": "12,2", "name": "generalized_linkage", "value": 1375009996180136341}, {"parameter": "12,3", "name": "generalized_linkage", "value": 1375009996180136221}, {"parameter": "13,3", "name": "generalized_linkage", "value": 457063135278994477}, {"parameter": "[5, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12399153909119415126}, {"parameter": "[5, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12166713460993784388}, {"parameter": "[5, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 12157968175952224941}, {"parameter": "[5, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 12159546377309105733}, {"parameter": "[6, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 159319811382415749}, {"parameter": "[6, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 151135537328063946}, {"parameter": "[6, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 150106139066029801}, {"parameter": "[6, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 150117921212021901}, {"parameter": "[7, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 502515300926004210}, {"parameter": "[7, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 502181319628073859}, {"parameter": "[7, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 502168901302186236}, {"parameter": "[7, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 502168758773074678}, {"parameter": "[8, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1378546726180375170}, {"parameter": "[8, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1378532795932225698}, {"parameter": "[8, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1378532638308389767}, {"parameter": "[8, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1378532640098233224}, {"parameter": "[9, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4119491704087517589}, {"parameter": "[9, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4119491237745599619}, {"parameter": "[9, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4119491235601801087}, {"parameter": "[9, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4119491235609095656}, {"parameter": "[10, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12394610359398615366}, {"parameter": "[10, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12394606141270683546}, {"parameter": "[10, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 12394606141246901116}, {"parameter": "[10, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 12394606141246928584}, {"parameter": "[11, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4126662799339134750}, {"parameter": "[11, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4126662799267686790}, {"parameter": "[11, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4126662799267686940}, {"parameter": "[12, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1375009996180136341}, {"parameter": "[12, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1375009996180136221}, {"parameter": "[13, 2],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 457063135278994477}, {"parameter": "[5, 2, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 453131682890955021}, {"parameter": "[5, 2, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 453127808669125032}, {"parameter": "[5, 2, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 693625376142335529}, {"parameter": "[5, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1352236218653041821}, {"parameter": "[5, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352143872786012399}, {"parameter": "[5, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1352139998564182410}, {"parameter": "[5, 3, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1592637566037392907}, {"parameter": "[5, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1351961697143582289}, {"parameter": "[5, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1351869351276552867}, {"parameter": "[5, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1351865477054722878}, {"parameter": "[5, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1592363044527933375}, {"parameter": "[5, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4061594712342976389}, {"parameter": "[5, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4061498605500496725}, {"parameter": "[5, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4061457043263918684}, {"parameter": "[5, 4, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 4062431551255480836}, {"parameter": "[5, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052712868279721901}, {"parameter": "[5, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052616761437242237}, {"parameter": "[5, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052575199200664196}, {"parameter": "[5, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4053549707192226348}, {"parameter": "[5, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052785735100133999}, {"parameter": "[5, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052689628257654335}, {"parameter": "[5, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052648066021076294}, {"parameter": "[5, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4053622574012638446}, {"parameter": "[5, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12399152571969749523}, {"parameter": "[5, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12394539648148659543}, {"parameter": "[5, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 12394537750201834485}, {"parameter": "[5, 5, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 12394541604518931861}, {"parameter": "[5, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12162390217881214743}, {"parameter": "[5, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157777294060124763}, {"parameter": "[5, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 12157775396113299705}, {"parameter": "[5, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 12157779250430397081}, {"parameter": "[5, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 12162292804098619605}, {"parameter": "[5, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157679880277529625}, {"parameter": "[5, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 12157677982330704567}, {"parameter": "[5, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 12157681836647801943}, {"parameter": "[5, 5, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 12162490630298394741}, {"parameter": "[5, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157877706477304761}, {"parameter": "[5, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 12157875808530479703}, {"parameter": "[5, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 12157879662847577079}, {"parameter": "[5, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4053549827697584715}, {"parameter": "[5, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4053529937842570494}, {"parameter": "[5, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4053529953535380165}, {"parameter": "[5, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052697383382367545}, {"parameter": "[5, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052677493527353324}, {"parameter": "[5, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 4052677509220162995}, {"parameter": "[5, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052586286051589997}, {"parameter": "[5, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052566396196575776}, {"parameter": "[5, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4052566411889385447}, {"parameter": "[5, 6, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052784337428762684}, {"parameter": "[5, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052764447573748463}, {"parameter": "[5, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4052764463266558134}, {"parameter": "[5, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1351938828571170489}, {"parameter": "[5, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1351938820419061569}, {"parameter": "[5, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1350963671483187801}, {"parameter": "[5, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1350963663331078881}, {"parameter": "[5, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1350862922575694646}, {"parameter": "[5, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1350862914423585726}, {"parameter": "[5, 7, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1351061629636388175}, {"parameter": "[5, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1351061621484279255}, {"parameter": "[5, 8, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 451278662770037421}, {"parameter": "[5, 8, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 450395415561067488}, {"parameter": "[5, 8, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 450295135377300279}, {"parameter": "[5, 8, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 450353791355792985}, {"parameter": "[6, 2, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 5623587527155857}, {"parameter": "[6, 2, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 5620049479677303}, {"parameter": "[6, 2, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 14807113444427112}, {"parameter": "[6, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 16725825710865018}, {"parameter": "[6, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 16730129049271182}, {"parameter": "[6, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 16726591001792628}, {"parameter": "[6, 3, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 25913654966542437}, {"parameter": "[6, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 16714810958942259}, {"parameter": "[6, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 16719114297348423}, {"parameter": "[6, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 16715576249869869}, {"parameter": "[6, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 25902640214619678}, {"parameter": "[6, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 52486704624897909}, {"parameter": "[6, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 51054539182968555}, {"parameter": "[6, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 51053234393560572}, {"parameter": "[6, 4, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 51090660914751747}, {"parameter": "[6, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 51465840401188728}, {"parameter": "[6, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50033674959259374}, {"parameter": "[6, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50032370169851391}, {"parameter": "[6, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 50069796691042566}, {"parameter": "[6, 4, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 51466645848385359}, {"parameter": "[6, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 50034480406456005}, {"parameter": "[6, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 50033175617048022}, {"parameter": "[6, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 50070602138239197}, {"parameter": "[6, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 59126722922217195}, {"parameter": "[6, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 59106832947761427}, {"parameter": "[6, 5, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 59106996125496405}, {"parameter": "[6, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 50055644956886055}, {"parameter": "[6, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50035754982430287}, {"parameter": "[6, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 50035918160165265}, {"parameter": "[6, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50051598837741288}, {"parameter": "[6, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031708863285520}, {"parameter": "[6, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 50031872041020498}, {"parameter": "[6, 5, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 50052307946376321}, {"parameter": "[6, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 50032417971920553}, {"parameter": "[6, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 50032581149655531}, {"parameter": "[6, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16714553828279418}, {"parameter": "[6, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 16714529161877619}, {"parameter": "[6, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 16681892801879268}, {"parameter": "[6, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 16681868135477469}, {"parameter": "[6, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 16677349327887849}, {"parameter": "[6, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 16677324661486050}, {"parameter": "[6, 6, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 16678068281821701}, {"parameter": "[6, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 16678043615419902}, {"parameter": "[6, 7, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5600711367172737}, {"parameter": "[6, 7, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 5563348958482641}, {"parameter": "[6, 7, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5559202974053124}, {"parameter": "[6, 7, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5559925000440339}, {"parameter": "[7, 2, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 18600513318506097}, {"parameter": "[7, 2, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 18600674476721805}, {"parameter": "[7, 2, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 18945944442575073}, {"parameter": "[7, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 56136784108538889}, {"parameter": "[7, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 55798317321648723}, {"parameter": "[7, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 55798478479864431}, {"parameter": "[7, 3, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 56143748445717699}, {"parameter": "[7, 3, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 56136365694410769}, {"parameter": "[7, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 55797898907520603}, {"parameter": "[7, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 55798060065736311}, {"parameter": "[7, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 56143330031589579}, {"parameter": "[7, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 55827249509512413}, {"parameter": "[7, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 55809159499799190}, {"parameter": "[7, 4, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 55810696258498977}, {"parameter": "[7, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 55814611566183093}, {"parameter": "[7, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 55796521556469870}, {"parameter": "[7, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 55798058315169657}, {"parameter": "[7, 4, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 55814613718519143}, {"parameter": "[7, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 55796523708805920}, {"parameter": "[7, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 55798060467505707}, {"parameter": "[7, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 56136437031083661}, {"parameter": "[7, 5, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 56136367963276929}, {"parameter": "[7, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 55796623636249341}, {"parameter": "[7, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 55796554568442609}, {"parameter": "[7, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 55796573557382931}, {"parameter": "[7, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 55796504489576199}, {"parameter": "[7, 5, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 55796575179340863}, {"parameter": "[7, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 55796506111534131}, {"parameter": "[7, 6, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 18600236644620177}, {"parameter": "[7, 6, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 18598896030190347}, {"parameter": "[7, 6, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 18598839793329231}, {"parameter": "[7, 6, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 18598841565909498}, {"parameter": "[8, 2, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 51069401684250381}, {"parameter": "[8, 2, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 51056819794490139}, {"parameter": "[8, 2, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 51070857440090409}, {"parameter": "[8, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 51069399933683727}, {"parameter": "[8, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 51056818043923485}, {"parameter": "[8, 3, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 51070855689523755}, {"parameter": "[8, 3, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 51069398211814887}, {"parameter": "[8, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 51056816322054645}, {"parameter": "[8, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 51070853967654915}, {"parameter": "[8, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 51057128469752730}, {"parameter": "[8, 4, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 51056972495912727}, {"parameter": "[8, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 51056972288690670}, {"parameter": "[8, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 51056816314850667}, {"parameter": "[8, 4, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 51056972297548020}, {"parameter": "[8, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 51056816323708017}, {"parameter": "[8, 5, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 51069450188745981}, {"parameter": "[8, 5, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 51056816950455561}, {"parameter": "[8, 5, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 51056816315673951}, {"parameter": "[8, 5, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 51056816322348675}, {"parameter": "[9, 2, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 50858384996177856}, {"parameter": "[9, 2, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 50858384996177856}, {"parameter": "[9, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50858384988973878}, {"parameter": "[9, 3, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 50858384988973878}, {"parameter": "[9, 3, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 50858384981887998}, {"parameter": "[9, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 50858384981887998}, {"parameter": "[9, 4, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 50858386910665992}, {"parameter": "[9, 4, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 50858384981858352}, {"parameter": "[9, 4, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 50858384981894802}, {"parameter": "[10, 2, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 51010827786566865}, {"parameter": "[10, 3, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 51010827786537219}, {"parameter": "[10, 3, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 51010827786508059}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 288084270149893584}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 287113499492665806}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 287113961717241570}, {"parameter": "[5, 2, 3, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 288104244854774814}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 51264169078030704}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 51212284369401195}, {"parameter": "[5, 2, 4, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 51216692010891516}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 51264169078030704}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 51212284369401195}, {"parameter": "[5, 2, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 51216692010891516}, {"parameter": "[5, 2, 5, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 51212432941586262}, {"parameter": "[5, 2, 5, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 51212234845339506}, {"parameter": "[5, 2, 5, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50241662284358484}, {"parameter": "[5, 2, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 50241464188111728}, {"parameter": "[5, 2, 5, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 51324753513496914}, {"parameter": "[5, 2, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 51324555417250158}, {"parameter": "[5, 2, 6, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 16749840034048824}, {"parameter": "[5, 2, 6, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 16750302258624588}, {"parameter": "[5, 2, 6, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 17740585396157832}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 287889393769721694}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 286918623112493916}, {"parameter": "[5, 3, 2, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 288001714341632346}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 287879226306408378}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 286908455649180600}, {"parameter": "[5, 3, 2, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 287991546878319030}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 51992124063371640}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 51021353406143862}, {"parameter": "[5, 3, 3, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 52104444635282292}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 51992124063371640}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 51021353406143862}, {"parameter": "[5, 3, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 52104444635282292}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 51981956600058324}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 51011185942830546}, {"parameter": "[5, 3, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 52094277171968976}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 51981956600058324}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 51011185942830546}, {"parameter": "[5, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 52094277171968976}, {"parameter": "[5, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 51033387753134289}, {"parameter": "[5, 3, 4, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 51021353406143862}, {"parameter": "[5, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50062617095906511}, {"parameter": "[5, 3, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 50050582748916084}, {"parameter": "[5, 3, 4, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 51145708325044941}, {"parameter": "[5, 3, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 51133673978054514}, {"parameter": "[5, 3, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 51023220289820973}, {"parameter": "[5, 3, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 51011185942830546}, {"parameter": "[5, 3, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50052449632593195}, {"parameter": "[5, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 50040415285602768}, {"parameter": "[5, 3, 4, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 51135540861731625}, {"parameter": "[5, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 51123506514741198}, {"parameter": "[5, 3, 5, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 51021353406143862}, {"parameter": "[5, 3, 5, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 50050582748916084}, {"parameter": "[5, 3, 5, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 50051044973491848}, {"parameter": "[5, 3, 5, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 51041328111025092}, {"parameter": "[5, 3, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 51011185942830546}, {"parameter": "[5, 3, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 50040415285602768}, {"parameter": "[5, 3, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 50040877510178532}, {"parameter": "[5, 3, 5, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 51031160647711776}, {"parameter": "[5, 4, 2, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 51270068606035536}, {"parameter": "[5, 4, 2, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 51270068606035536}, {"parameter": "[5, 4, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 51160416210192888}, {"parameter": "[5, 4, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 51160416210192888}, {"parameter": "[5, 4, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 51161315800568346}, {"parameter": "[5, 4, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 51161315800568346}, {"parameter": "[5, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50311332295798185}, {"parameter": "[5, 4, 3, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 50311332295798185}, {"parameter": "[5, 4, 3, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 50299297948807758}, {"parameter": "[5, 4, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 50299297948807758}, {"parameter": "[5, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50201679899955537}, {"parameter": "[5, 4, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 50201679899955537}, {"parameter": "[5, 4, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 50189645552965110}, {"parameter": "[5, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 50189645552965110}, {"parameter": "[5, 4, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50202579490330995}, {"parameter": "[5, 4, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 50202579490330995}, {"parameter": "[5, 4, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 50190545143340568}, {"parameter": "[5, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 50190545143340568}, {"parameter": "[5, 4, 4, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 50347237240522710}, {"parameter": "[5, 4, 4, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 50295352531893201}, {"parameter": "[5, 4, 4, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 50299760173383522}, {"parameter": "[5, 4, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 50237584844680062}, {"parameter": "[5, 4, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 50185700136050553}, {"parameter": "[5, 4, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 50190107777540874}, {"parameter": "[5, 4, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 50238484435055520}, {"parameter": "[5, 4, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 50186599726426011}, {"parameter": "[5, 4, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 50191007367916332}, {"parameter": "[5, 5, 2, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 55625399754467184}, {"parameter": "[5, 5, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 54651069079205724}, {"parameter": "[5, 5, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 54650668199441958}, {"parameter": "[5, 5, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 54651482299029510}, {"parameter": "[5, 5, 3, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 55621602909737694}, {"parameter": "[5, 5, 3, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 55621404813490938}, {"parameter": "[5, 5, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 54647272234476234}, {"parameter": "[5, 5, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 54647074138229478}, {"parameter": "[5, 5, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 54646871354712468}, {"parameter": "[5, 5, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 54646673258465712}, {"parameter": "[5, 5, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 54647685454300020}, {"parameter": "[5, 5, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 54647487358053264}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 9319364877071088}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 9282171737989242}, {"parameter": "[6, 2, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 9323668215477252}, {"parameter": "[6, 2, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 244700013072753}, {"parameter": "[6, 2, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 244238941100664}, {"parameter": "[6, 2, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 244700013072753}, {"parameter": "[6, 2, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 244238941100664}, {"parameter": "[6, 2, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 244238941100664}, {"parameter": "[6, 2, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 207045802018818}, {"parameter": "[6, 2, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 248542279506828}, {"parameter": "[6, 3, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 9318657059837685}, {"parameter": "[6, 3, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 9318657059837685}, {"parameter": "[6, 3, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 9318521075246046}, {"parameter": "[6, 3, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 9318521075246046}, {"parameter": "[6, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 280724262949107}, {"parameter": "[6, 3, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 280724262949107}, {"parameter": "[6, 3, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 280724262949107}, {"parameter": "[6, 3, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 280724262949107}, {"parameter": "[6, 3, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 280588278357468}, {"parameter": "[6, 3, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 280588278357468}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 280588278357468}, {"parameter": "[6, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 280588278357468}, {"parameter": "[6, 3, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 280724262949107}, {"parameter": "[6, 3, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 243531123867261}, {"parameter": "[6, 3, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 285027601355271}, {"parameter": "[6, 3, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 280588278357468}, {"parameter": "[6, 3, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 243395139275622}, {"parameter": "[6, 3, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 284891616763632}, {"parameter": "[6, 4, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1681595453943486}, {"parameter": "[6, 4, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1677394366603119}, {"parameter": "[6, 4, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1677397681200636}, {"parameter": "[6, 4, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1644863386833729}, {"parameter": "[6, 4, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1644402314861640}, {"parameter": "[6, 4, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1640662299493362}, {"parameter": "[6, 4, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1640201227521273}, {"parameter": "[6, 4, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1640665614090879}, {"parameter": "[6, 4, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1640204542118790}, {"parameter": "[7, 2, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 570882733006266}, {"parameter": "[7, 2, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 570882733006266}, {"parameter": "[7, 2, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 232415946116100}, {"parameter": "[7, 2, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 232415946116100}, {"parameter": "[7, 3, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 909347769329778}, {"parameter": "[7, 3, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 909346047460938}, {"parameter": "[7, 3, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 570880982439612}, {"parameter": "[7, 3, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 570880982439612}, {"parameter": "[7, 3, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 570879260570772}, {"parameter": "[7, 3, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 570879260570772}, {"parameter": "[8, 2, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 235377917649252}, {"parameter": "[5, 2, 3, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3131084739377853}, {"parameter": "[5, 2, 3, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2160314082150075}, {"parameter": "[5, 2, 3, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2160314082150075}, {"parameter": "[5, 3, 2, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3130282778965623}, {"parameter": "[5, 3, 2, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3130240937552811}, {"parameter": "", "name": "JohnsonLB", "value": 12323307445892754769}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 17044415722076745}], "request": [3, 15, 4, 5], "liftedmrdsizebound": 12448695136493449813, "comments": "", "equal_bound_constraints": []}