{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 35248976794718684386485952344220}, {"parameter": "", "name": "singleton", "value": 1121715605764106708446}, {"parameter": "2", "name": "ilp_2", "value": 998450154584729413326}, {"parameter": "4", "name": "ilp_3", "value": 42986557066730102910348722371}, {"parameter": "", "name": "anticode", "value": 998450154584729413326}, {"parameter": "", "name": "linear_programming_bound", "value": 998450154584729413326}, {"parameter": "", "name": "sphere_packing", "value": 35248976794718684386485952344220}, {"parameter": "1", "name": "ilp_1", "value": 998450154330193673099}, {"parameter": "5", "name": "ilp_4", "value": 42514817312983301889384321000}, {"parameter": "6", "name": "ilp_4", "value": 42514817312983301889384321000}, {"parameter": "7", "name": "ilp_4", "value": 4775637013239220212232211400}, {"parameter": "8", "name": "ilp_4", "value": 530546457422578813609641515}, {"parameter": "9", "name": "ilp_4", "value": 58957495504412631464790820}, {"parameter": "10", "name": "ilp_4", "value": 6550820659455248618504983}, {"parameter": "11", "name": "ilp_4", "value": 727870164568447584747798}, {"parameter": "12", "name": "ilp_4", "value": 80874460874262306952160}, {"parameter": "13", "name": "ilp_4", "value": 8986051391517100460169}, {"parameter": "", "name": "johnson_1", "value": 998450154330193673099}, {"parameter": "", "name": "johnson_2", "value": 8986051391517100460169}, {"parameter": "0, 3", "name": "Ahlswede_Aydinian", "value": 35248976794718684386485952344220}, {"parameter": "0, 4", "name": "Ahlswede_Aydinian", "value": 42986557066730102910348722371}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 42514817312983301889384321000}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 42514817312983301889384321000}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 4775637013239220212232211400}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 530546457422578813609641515}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 58957495504412631464790820}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 6550820659455248618504983}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 727870164568447584747798}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 80874460874262306952160}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 8986051391517100460169}, {"parameter": "1, 2", "name": "Ahlswede_Aydinian", "value": 998450154584729413326}, {"parameter": "1, 3", "name": "Ahlswede_Aydinian", "value": 998450154612700373791}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 998450154864439018050}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 998450157130086822091}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 998450177520917521168}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 998450361038431291685}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 998452012699091017302}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 998466877890931728482}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 998600684538654574106}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 999806560170937257294}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1010791936467280909424}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1121715605764106708446}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 35248976794718684386485952344220}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 998450154584729413326}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 998450154330193673099}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 42986557066730102910348722371}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 43039043705381822230482214479}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 43517255301984870963479245864}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 48352505889707776105242586606}, {"parameter": "", "name": "improved_johnson", "value": 998450154330193673092}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 4776284118525566990038746930}], "known_codes": [], "upper_bound": 998450154330193673092, "classified": false, "lower_bound": 986273495669609638336, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 984770902183611232881}, {"parameter": "", "name": "sphere_covering", "value": 10971979721018685427}, {"parameter": "", "name": "graham_sloane", "value": 12326545118286886906}, {"parameter": "", "name": "multicomponent", "value": 984921019699188002806}, {"parameter": "", "name": "construction_ST_A_1", "value": 984941869354074739936}, {"parameter": "", "name": "construction_ST_B", "value": 984921042300482493448}, {"parameter": "[(0, 1, 2), (2, 3, 4), (1, 3, 5), (0, 4, 5), (0, 3, 6), (1, 4, 6), (2, 5, 6), (4, 7, 8), (5, 7, 9), (0, 8, 9), (0, 7, 10), (6, 7, 11), (5, 8, 10), (2, 8, 11), (2, 7, 12), (3, 9, 10), (3, 7, 13), (4, 9, 11), (1, 8, 12), (6, 9, 12), (1, 10, 11), (6, 8, 13), (4, 10, 12), (1, 9, 13), (3, 11, 12), (2, 10, 13), (0, 11, 13), (5, 12, 13)]", "name": "ef_computation", "value": 984941608812881808916}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 984770902183611232881}, {"parameter": "", "name": "two_pivot_block_construction", "value": 984921019699187810304}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 984922875546771590911}, {"parameter": "(3, 11)", "name": "CKMP2019_Lem_41", "value": 984772758031194820906}, {"parameter": "(4, 10)", "name": "CKMP2019_Lem_41", "value": 12157688370755491615}, {"parameter": "(5, 9)", "name": "CKMP2019_Lem_41", "value": 109569084049335151243}, {"parameter": "(6, 8)", "name": "CKMP2019_Lem_41", "value": 985106298841280805745}, {"parameter": "(7, 7)", "name": "CKMP2019_Lem_41", "value": 986273495665681093686}, {"parameter": "(8, 6)", "name": "CKMP2019_Lem_41", "value": 984941840401130597905}, {"parameter": "(9, 5)", "name": "CKMP2019_Lem_41", "value": 985106527609204750843}, {"parameter": "(10, 4)", "name": "CKMP2019_Lem_41", "value": 986273495669555232895}, {"parameter": "(11, 3)", "name": "CKMP2019_Lem_41", "value": 986273495669603594026}, {"parameter": "(3, 3, 8)", "name": "CKMP2019_Lem_41", "value": 984772755207287474365}, {"parameter": "(3, 4, 7)", "name": "CKMP2019_Lem_41", "value": 984770925060446800245}, {"parameter": "(3, 5, 6)", "name": "CKMP2019_Lem_41", "value": 984771108357173395633}, {"parameter": "(3, 6, 5)", "name": "CKMP2019_Lem_41", "value": 984772755834908062033}, {"parameter": "(3, 7, 4)", "name": "CKMP2019_Lem_41", "value": 984772758031194813445}, {"parameter": "(3, 8, 3)", "name": "CKMP2019_Lem_41", "value": 984772755525450498445}, {"parameter": "(4, 3, 7)", "name": "CKMP2019_Lem_41", "value": 12157688335892496165}, {"parameter": "(4, 4, 6)", "name": "CKMP2019_Lem_41", "value": 12157665741486996904}, {"parameter": "(4, 5, 5)", "name": "CKMP2019_Lem_41", "value": 12157668004409542261}, {"parameter": "(4, 6, 4)", "name": "CKMP2019_Lem_41", "value": 12157688343640840264}, {"parameter": "(4, 7, 3)", "name": "CKMP2019_Lem_41", "value": 12157688370755491525}, {"parameter": "(5, 3, 6)", "name": "CKMP2019_Lem_41", "value": 109569084049239426433}, {"parameter": "(5, 4, 5)", "name": "CKMP2019_Lem_41", "value": 109569083770296143461}, {"parameter": "(5, 5, 4)", "name": "CKMP2019_Lem_41", "value": 109569083798233464661}, {"parameter": "(5, 6, 3)", "name": "CKMP2019_Lem_41", "value": 109569084049335085633}, {"parameter": "(6, 3, 5)", "name": "CKMP2019_Lem_41", "value": 985106298841280201233}, {"parameter": "(6, 4, 4)", "name": "CKMP2019_Lem_41", "value": 985106298837836462824}, {"parameter": "(6, 5, 3)", "name": "CKMP2019_Lem_41", "value": 985106298838181368033}, {"parameter": "(7, 3, 4)", "name": "CKMP2019_Lem_41", "value": 986273495665681028005}, {"parameter": "(7, 4, 3)", "name": "CKMP2019_Lem_41", "value": 986273495665638512725}, {"parameter": "(8, 3, 3)", "name": "CKMP2019_Lem_41", "value": 984941840401130597725}, {"parameter": "(3, 3, 3, 5)", "name": "CKMP2019_Lem_41", "value": 984772755207286869853}, {"parameter": "(3, 3, 4, 4)", "name": "CKMP2019_Lem_41", "value": 984772755203843131444}, {"parameter": "(3, 3, 5, 3)", "name": "CKMP2019_Lem_41", "value": 984772755204188036653}, {"parameter": "(3, 4, 3, 4)", "name": "CKMP2019_Lem_41", "value": 984770925060446734564}, {"parameter": "(3, 4, 4, 3)", "name": "CKMP2019_Lem_41", "value": 984770925060404219284}, {"parameter": "(3, 5, 3, 3)", "name": "CKMP2019_Lem_41", "value": 984771108357173395453}, {"parameter": "(4, 3, 3, 4)", "name": "CKMP2019_Lem_41", "value": 12157688335892430484}, {"parameter": "(4, 3, 4, 3)", "name": "CKMP2019_Lem_41", "value": 12157688335849915204}, {"parameter": "(4, 4, 3, 3)", "name": "CKMP2019_Lem_41", "value": 12157665741486996724}, {"parameter": "(5, 3, 3, 3)", "name": "CKMP2019_Lem_41", "value": 109569084049239426253}, {"parameter": "(3, 11)", "name": "CKMP2019_Cor_42", "value": 984772758031194820906}, {"parameter": "(4, 10)", "name": "CKMP2019_Cor_42", "value": 12157688370755491615}, {"parameter": "(5, 9)", "name": "CKMP2019_Cor_42", "value": 109569084049335151243}, {"parameter": "(6, 8)", "name": "CKMP2019_Cor_42", "value": 985106298841280805745}, {"parameter": "(7, 7)", "name": "CKMP2019_Cor_42", "value": 986273495665681093686}, {"parameter": "(8, 6)", "name": "CKMP2019_Cor_42", "value": 984941840401130597905}, {"parameter": "(9, 5)", "name": "CKMP2019_Cor_42", "value": 985106527609204750843}, {"parameter": "(10, 4)", "name": "CKMP2019_Cor_42", "value": 986273495669555232895}, {"parameter": "(11, 3)", "name": "CKMP2019_Cor_42", "value": 986273495669603594026}, {"parameter": "(3, 3, 8)", "name": "CKMP2019_Cor_42", "value": 984772755207287474365}, {"parameter": "(3, 4, 7)", "name": "CKMP2019_Cor_42", "value": 984770925060446800245}, {"parameter": "(3, 5, 6)", "name": "CKMP2019_Cor_42", "value": 984771108357173395633}, {"parameter": "(3, 6, 5)", "name": "CKMP2019_Cor_42", "value": 984772755834908062033}, {"parameter": "(3, 7, 4)", "name": "CKMP2019_Cor_42", "value": 984772758031194813445}, {"parameter": "(3, 8, 3)", "name": "CKMP2019_Cor_42", "value": 984772755525450498445}, {"parameter": "(4, 3, 7)", "name": "CKMP2019_Cor_42", "value": 12157688335892496165}, {"parameter": "(4, 4, 6)", "name": "CKMP2019_Cor_42", "value": 12157665741486996904}, {"parameter": "(4, 5, 5)", "name": "CKMP2019_Cor_42", "value": 12157668004409542261}, {"parameter": "(4, 6, 4)", "name": "CKMP2019_Cor_42", "value": 12157688343640840264}, {"parameter": "(4, 7, 3)", "name": "CKMP2019_Cor_42", "value": 12157688370755491525}, {"parameter": "(5, 3, 6)", "name": "CKMP2019_Cor_42", "value": 109569084049239426433}, {"parameter": "(5, 4, 5)", "name": "CKMP2019_Cor_42", "value": 109569083770296143461}, {"parameter": "(5, 5, 4)", "name": "CKMP2019_Cor_42", "value": 109569083798233464661}, {"parameter": "(5, 6, 3)", "name": "CKMP2019_Cor_42", "value": 109569084049335085633}, {"parameter": "(6, 3, 5)", "name": "CKMP2019_Cor_42", "value": 985106298841280201233}, {"parameter": "(6, 4, 4)", "name": "CKMP2019_Cor_42", "value": 985106298837836462824}, {"parameter": "(6, 5, 3)", "name": "CKMP2019_Cor_42", "value": 985106298838181368033}, {"parameter": "(7, 3, 4)", "name": "CKMP2019_Cor_42", "value": 986273495665681028005}, {"parameter": "(7, 4, 3)", "name": "CKMP2019_Cor_42", "value": 986273495665638512725}, {"parameter": "(8, 3, 3)", "name": "CKMP2019_Cor_42", "value": 984941840401130597725}, {"parameter": "(3, 3, 3, 5)", "name": "CKMP2019_Cor_42", "value": 984772755207286869853}, {"parameter": "(3, 3, 4, 4)", "name": "CKMP2019_Cor_42", "value": 984772755203843131444}, {"parameter": "(3, 3, 5, 3)", "name": "CKMP2019_Cor_42", "value": 984772755204188036653}, {"parameter": "(3, 4, 3, 4)", "name": "CKMP2019_Cor_42", "value": 984770925060446734564}, {"parameter": "(3, 4, 4, 3)", "name": "CKMP2019_Cor_42", "value": 984770925060404219284}, {"parameter": "(3, 5, 3, 3)", "name": "CKMP2019_Cor_42", "value": 984771108357173395453}, {"parameter": "(4, 3, 3, 4)", "name": "CKMP2019_Cor_42", "value": 12157688335892430484}, {"parameter": "(4, 3, 4, 3)", "name": "CKMP2019_Cor_42", "value": 12157688335849915204}, {"parameter": "(4, 4, 3, 3)", "name": "CKMP2019_Cor_42", "value": 12157665741486996724}, {"parameter": "(5, 3, 3, 3)", "name": "CKMP2019_Cor_42", "value": 109569084049239426253}, {"parameter": "", "name": "construction_1", "value": 984941869354074739936}, {"parameter": "3", "name": "linkage_ST", "value": 986273495669603594026}, {"parameter": "4", "name": "linkage_ST", "value": 986273495669555232895}, {"parameter": "5", "name": "linkage_ST", "value": 985106527609204750843}, {"parameter": "6", "name": "linkage_ST", "value": 984941840401130597905}, {"parameter": "7", "name": "linkage_ST", "value": 986273495665681093686}, {"parameter": "8", "name": "linkage_ST", "value": 985106298841280805745}, {"parameter": "9", "name": "linkage_ST", "value": 109569084049335151243}, {"parameter": "10", "name": "linkage_ST", "value": 12157688370755491615}, {"parameter": "11", "name": "linkage_ST", "value": 984772758031194820906}, {"parameter": "12", "name": "linkage_ST", "value": 150323654270630845}, {"parameter": "13", "name": "linkage_ST", "value": 12176215995921105826}, {"parameter": "3", "name": "construction_D", "value": 986273495669603594025}, {"parameter": "4", "name": "construction_D", "value": 986273495669555232894}, {"parameter": "5", "name": "construction_D", "value": 985106527609204750113}, {"parameter": "6", "name": "construction_D", "value": 984941840401130066283}, {"parameter": "7", "name": "construction_D", "value": 986273495665637981283}, {"parameter": "8", "name": "construction_D", "value": 985106298837793416102}, {"parameter": "9", "name": "construction_D", "value": 109569083766809358330}, {"parameter": "10", "name": "construction_D", "value": 12157665459056928801}, {"parameter": "11", "name": "construction_D", "value": 984770902183611232881}, {"parameter": "12", "name": "construction_D", "value": 0}, {"parameter": "13", "name": "construction_D", "value": 0}, {"parameter": "14", "name": "construction_D", "value": 0}, {"parameter": "3", "name": "linkage_GLT", "value": 984772758031194820906}, {"parameter": "4", "name": "linkage_GLT", "value": 12157688370755491615}, {"parameter": "5", "name": "linkage_GLT", "value": 109569084049335151243}, {"parameter": "6", "name": "linkage_GLT", "value": 985106298841280805745}, {"parameter": "7", "name": "linkage_GLT", "value": 986273495665681093686}, {"parameter": "8", "name": "linkage_GLT", "value": 984941840401130597905}, {"parameter": "9", "name": "linkage_GLT", "value": 985106527609204750843}, {"parameter": "10", "name": "linkage_GLT", "value": 986273495669555232895}, {"parameter": "11", "name": "linkage_GLT", "value": 986273495669603594026}, {"parameter": "3", "name": "improved_linkage", "value": 984921225837881863726}, {"parameter": "4", "name": "improved_linkage", "value": 12159521306640516826}, {"parameter": "5", "name": "improved_linkage", "value": 109569106678507921144}, {"parameter": "6", "name": "improved_linkage", "value": 985106299120319209015}, {"parameter": "7", "name": "improved_linkage", "value": 986273495669125370926}, {"parameter": "8", "name": "improved_linkage", "value": 984941840401173178686}, {"parameter": "9", "name": "improved_linkage", "value": 985106527609205281735}, {"parameter": "10", "name": "improved_linkage", "value": 986273495669555233624}, {"parameter": "11", "name": "improved_linkage", "value": 986273495669603594026}, {"parameter": "12", "name": "improved_linkage", "value": 109585943963289886006}, {"parameter": "3,0", "name": "generalized_linkage", "value": 984939784313717743156}, {"parameter": "3,1", "name": "generalized_linkage", "value": 984921225837881863726}, {"parameter": "4,0", "name": "generalized_linkage", "value": 12159750423626144875}, {"parameter": "4,1", "name": "generalized_linkage", "value": 12159521306640516826}, {"parameter": "5,0", "name": "generalized_linkage", "value": 109569109476656513413}, {"parameter": "5,1", "name": "generalized_linkage", "value": 109569106678507921144}, {"parameter": "6,0", "name": "generalized_linkage", "value": 985106299155145873615}, {"parameter": "6,1", "name": "generalized_linkage", "value": 985106299120319209015}, {"parameter": "7,0", "name": "generalized_linkage", "value": 986273495669561209956}, {"parameter": "7,1", "name": "generalized_linkage", "value": 986273495669125370926}, {"parameter": "8,0", "name": "generalized_linkage", "value": 984941840401178443885}, {"parameter": "8,1", "name": "generalized_linkage", "value": 984941840401173178686}, {"parameter": "9,0", "name": "generalized_linkage", "value": 985106527609204816543}, {"parameter": "9,1", "name": "generalized_linkage", "value": 985106527609205281735}, {"parameter": "10,0", "name": "generalized_linkage", "value": 986273495669555232985}, {"parameter": "10,1", "name": "generalized_linkage", "value": 986273495669555233624}, {"parameter": "11,0", "name": "generalized_linkage", "value": 986273495669603594116}, {"parameter": "11,1", "name": "generalized_linkage", "value": 986273495669603594026}, {"parameter": "12,1", "name": "generalized_linkage", "value": 109585943963289886006}, {"parameter": "[3, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984939784313717743156}, {"parameter": "[3, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984921225837881863726}, {"parameter": "[4, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12159750423626144875}, {"parameter": "[4, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159521306640516826}, {"parameter": "[5, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569109476656513413}, {"parameter": "[5, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569106678507921144}, {"parameter": "[6, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 985106299155145873615}, {"parameter": "[6, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 985106299120319209015}, {"parameter": "[7, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 986273495669561209956}, {"parameter": "[7, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 986273495669125370926}, {"parameter": "[8, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984941840401178443885}, {"parameter": "[8, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984941840401173178686}, {"parameter": "[9, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 985106527609204816543}, {"parameter": "[9, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 985106527609205281735}, {"parameter": "[10, 4],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 986273495669555232985}, {"parameter": "[10, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 986273495669555233624}, {"parameter": "[11, 3],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 986273495669603594116}, {"parameter": "[11, 3],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 986273495669603594026}, {"parameter": "[12, 2],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109585943963289886006}, {"parameter": "[3, 2, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569340865280909160}, {"parameter": "[3, 2, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109571168731378574404}, {"parameter": "[3, 3, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984939555899870384095}, {"parameter": "[3, 3, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984939552730643905495}, {"parameter": "[3, 3, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984772784082873718405}, {"parameter": "[3, 3, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984772780913647239805}, {"parameter": "[3, 4, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984772984328738443575}, {"parameter": "[3, 4, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984772984289077091845}, {"parameter": "[3, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984787602599117163654}, {"parameter": "[3, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984787602559455811924}, {"parameter": "[3, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984789663982122027493}, {"parameter": "[3, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984789663981642894384}, {"parameter": "[3, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984921047943056696845}, {"parameter": "[3, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984921047942577563736}, {"parameter": "[3, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984939584451628664413}, {"parameter": "[3, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984939584451670996885}, {"parameter": "[3, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984921225837887303614}, {"parameter": "[3, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984921225837929636086}, {"parameter": "[3, 7, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984939784313717072395}, {"parameter": "[3, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984939784313717130544}, {"parameter": "[3, 7, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984921022872591751765}, {"parameter": "[3, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984921022872591809914}, {"parameter": "[3, 8, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984939556290984407395}, {"parameter": "[3, 8, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984939556290984399205}, {"parameter": "[3, 8, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984921047973522718795}, {"parameter": "[3, 8, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984921047973522710605}, {"parameter": "[3, 9, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437731610088414807}, {"parameter": "[3, 9, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109435691759764650706}, {"parameter": "[4, 2, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1352707911386419060}, {"parameter": "[4, 2, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352730447708999013}, {"parameter": "[4, 3, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12159747604184139495}, {"parameter": "[4, 3, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159747564522787765}, {"parameter": "[4, 3, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157688692863193005}, {"parameter": "[4, 3, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157688653201841275}, {"parameter": "[4, 4, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157691164547110354}, {"parameter": "[4, 4, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157691164067977245}, {"parameter": "[4, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157871637020921713}, {"parameter": "[4, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157871636541788604}, {"parameter": "[4, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157897086150732361}, {"parameter": "[4, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157897086193064833}, {"parameter": "[4, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12159519110359802353}, {"parameter": "[4, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159519110402134825}, {"parameter": "[4, 6, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12159747956192880124}, {"parameter": "[4, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159747956192938273}, {"parameter": "[4, 6, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12159521306640517645}, {"parameter": "[4, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159521306640575794}, {"parameter": "[4, 7, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12159750423626144875}, {"parameter": "[4, 7, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159750423626136685}, {"parameter": "[4, 7, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12159518800896202645}, {"parameter": "[4, 7, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159518800896194455}, {"parameter": "[4, 8, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1351083067614519157}, {"parameter": "[4, 8, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1351057678976025757}, {"parameter": "[5, 2, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12174365556781337061}, {"parameter": "[5, 2, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174365834901507844}, {"parameter": "[5, 3, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569109472299539883}, {"parameter": "[5, 3, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569109471820406774}, {"parameter": "[5, 3, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569084053641256593}, {"parameter": "[5, 3, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569084053162123484}, {"parameter": "[5, 4, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569084084112783951}, {"parameter": "[5, 4, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569084084155116423}, {"parameter": "[5, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569086312168016190}, {"parameter": "[5, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569086312210348662}, {"parameter": "[5, 5, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569086626403042641}, {"parameter": "[5, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569086626403100790}, {"parameter": "[5, 5, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569106651393278073}, {"parameter": "[5, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569106651393336222}, {"parameter": "[5, 6, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569109476650551093}, {"parameter": "[5, 6, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569109476650542903}, {"parameter": "[5, 6, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569106678507929334}, {"parameter": "[5, 6, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569106678507921144}, {"parameter": "[5, 7, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174345500790298078}, {"parameter": "[5, 7, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174345183063645208}, {"parameter": "[6, 2, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109456255709334803179}, {"parameter": "[6, 2, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109456255712774255832}, {"parameter": "[6, 3, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 985106299155096841723}, {"parameter": "[6, 3, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 985106299155139174195}, {"parameter": "[6, 3, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 985106298841286245633}, {"parameter": "[6, 3, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 985106298841328578105}, {"parameter": "[6, 4, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 985106298841710675994}, {"parameter": "[6, 4, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 985106298841710734143}, {"parameter": "[6, 4, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 985106298869217530713}, {"parameter": "[6, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 985106298869217588862}, {"parameter": "[6, 5, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 985106298873097050013}, {"parameter": "[6, 5, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 985106298873097041823}, {"parameter": "[6, 5, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 985106299120319151685}, {"parameter": "[6, 5, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 985106299120319143495}, {"parameter": "[6, 6, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109456255461688762627}, {"parameter": "[6, 6, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109456255457850432556}, {"parameter": "[7, 2, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109585943966336113288}, {"parameter": "[7, 2, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109585943966383826590}, {"parameter": "[7, 3, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 986273495669555241175}, {"parameter": "[7, 3, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 986273495669555299324}, {"parameter": "[7, 3, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 986273495665681036285}, {"parameter": "[7, 3, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 986273495665681094434}, {"parameter": "[7, 4, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 986273495665686350695}, {"parameter": "[7, 4, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 986273495665686342505}, {"parameter": "[7, 4, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 986273495666025941494}, {"parameter": "[7, 4, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 986273495666025933304}, {"parameter": "[7, 5, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109585943962897092148}, {"parameter": "[7, 5, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109585943963236217116}, {"parameter": "[8, 2, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109437982266835277218}, {"parameter": "[8, 2, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437982266835342738}, {"parameter": "[8, 3, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984941840401178435695}, {"parameter": "[8, 3, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984941840401178427505}, {"parameter": "[8, 3, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984941840401130606005}, {"parameter": "[8, 3, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984941840401130597815}, {"parameter": "[8, 4, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437982266792296017}, {"parameter": "[8, 4, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437982266792761848}, {"parameter": "[9, 2, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109456280845467726808}, {"parameter": "[9, 2, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109456280845467725989}, {"parameter": "[9, 3, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109456280845467260887}, {"parameter": "[9, 3, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109456280845467195277}, {"parameter": "[10, 2, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12176215995920435794}, {"parameter": "[3, 2, 2, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12176424821192864121}, {"parameter": "[3, 2, 2, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12176427602394571951}, {"parameter": "[3, 2, 3, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569340821711173860}, {"parameter": "[3, 2, 3, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569340816919842770}, {"parameter": "[3, 2, 3, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569109511920795921}, {"parameter": "[3, 2, 3, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569109507129464831}, {"parameter": "[3, 2, 4, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569086939843614540}, {"parameter": "[3, 2, 4, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569086940266939260}, {"parameter": "[3, 2, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569315393957568060}, {"parameter": "[3, 2, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569315394380892780}, {"parameter": "[3, 2, 5, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569112362746201440}, {"parameter": "[3, 2, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569112362746782930}, {"parameter": "[3, 2, 5, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109571166263945384182}, {"parameter": "[3, 2, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109571166263945965672}, {"parameter": "[3, 2, 6, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569340865221285960}, {"parameter": "[3, 2, 6, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569340865221204060}, {"parameter": "[3, 2, 6, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109571168731378648933}, {"parameter": "[3, 2, 6, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109571168731378567033}, {"parameter": "[3, 2, 7, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174371241093622450}, {"parameter": "[3, 2, 7, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174573990698123257}, {"parameter": "[3, 3, 2, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109437750969644409859}, {"parameter": "[3, 3, 2, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437751282634601282}, {"parameter": "[3, 3, 2, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109419220767755891449}, {"parameter": "[3, 3, 2, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109419221080746082872}, {"parameter": "[3, 3, 3, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984939555895408481923}, {"parameter": "[3, 3, 3, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984939555899260736875}, {"parameter": "[3, 3, 3, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984939527338644237733}, {"parameter": "[3, 3, 3, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984939527342496492685}, {"parameter": "[3, 3, 3, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984772784078411816233}, {"parameter": "[3, 3, 3, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984772784082264071185}, {"parameter": "[3, 3, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984772755521647572043}, {"parameter": "[3, 3, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984772755525499826995}, {"parameter": "[3, 3, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984939527377267400584}, {"parameter": "[3, 3, 4, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984939527377272692143}, {"parameter": "[3, 3, 4, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984939529880391180013}, {"parameter": "[3, 3, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984939529880396471572}, {"parameter": "[3, 3, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984772755560270734894}, {"parameter": "[3, 3, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984772755560276026453}, {"parameter": "[3, 3, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984772758063394514323}, {"parameter": "[3, 3, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984772758063399805882}, {"parameter": "[3, 3, 5, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984939530233427436313}, {"parameter": "[3, 3, 5, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984939530233426691023}, {"parameter": "[3, 3, 5, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984939552730638688465}, {"parameter": "[3, 3, 5, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984939552730637943175}, {"parameter": "[3, 3, 5, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984772758416430770623}, {"parameter": "[3, 3, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984772758416430025333}, {"parameter": "[3, 3, 5, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984772780913642022775}, {"parameter": "[3, 3, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984772780913641277485}, {"parameter": "[3, 3, 6, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437728433854719627}, {"parameter": "[3, 3, 6, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437728084566683166}, {"parameter": "[3, 3, 6, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109419198231966201217}, {"parameter": "[3, 3, 6, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109419197882678164756}, {"parameter": "[3, 4, 2, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109419220758660568939}, {"parameter": "[3, 4, 2, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109419220763002479421}, {"parameter": "[3, 4, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109420845010924871170}, {"parameter": "[3, 4, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109420845015266781652}, {"parameter": "[3, 4, 3, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984772984328195284504}, {"parameter": "[3, 4, 3, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984772984328200576063}, {"parameter": "[3, 4, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984772983975642639514}, {"parameter": "[3, 4, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984772983975647931073}, {"parameter": "[3, 4, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984787602598574004583}, {"parameter": "[3, 4, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984787602598579296142}, {"parameter": "[3, 4, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984787602246021359593}, {"parameter": "[3, 4, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984787602246026651152}, {"parameter": "[3, 4, 4, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984772983976126250824}, {"parameter": "[3, 4, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984772983976125505534}, {"parameter": "[3, 4, 4, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984772984007029013533}, {"parameter": "[3, 4, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984772984007028268243}, {"parameter": "[3, 4, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984787602246504970903}, {"parameter": "[3, 4, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984787602246504225613}, {"parameter": "[3, 4, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984787602277407733612}, {"parameter": "[3, 4, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984787602277406988322}, {"parameter": "[3, 4, 5, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109419220445709645199}, {"parameter": "[3, 4, 5, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109419220476570017287}, {"parameter": "[3, 4, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109420844697973947430}, {"parameter": "[3, 4, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109420844728834319518}, {"parameter": "[3, 5, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109421073779219519500}, {"parameter": "[3, 5, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109421073779225481820}, {"parameter": "[3, 5, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109435671997101149428}, {"parameter": "[3, 5, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109435671997107111748}, {"parameter": "[3, 5, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984789663982121282203}, {"parameter": "[3, 5, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984789663982120536913}, {"parameter": "[3, 5, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984789663977768780413}, {"parameter": "[3, 5, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984789663977768035123}, {"parameter": "[3, 5, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 984921047943055951555}, {"parameter": "[3, 5, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 984921047943055206265}, {"parameter": "[3, 5, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 984921047938703449765}, {"parameter": "[3, 5, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 984921047938702704475}, {"parameter": "[3, 5, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109421073775308230209}, {"parameter": "[3, 5, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109421073775350620830}, {"parameter": "[3, 5, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109435671993189860137}, {"parameter": "[3, 5, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109435671993232250758}, {"parameter": "[3, 6, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109437731605784290528}, {"parameter": "[3, 6, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437731605784215999}, {"parameter": "[3, 6, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109435691759813028217}, {"parameter": "[3, 6, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109435691759812953688}, {"parameter": "[3, 6, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437731605741891717}, {"parameter": "[3, 6, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437731605735921207}, {"parameter": "[3, 6, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109435691759770629406}, {"parameter": "[3, 6, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109435691759764658896}, {"parameter": "[3, 7, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159750423626211214}, {"parameter": "[3, 7, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159518800896268984}, {"parameter": "[4, 2, 2, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 150326232354673741}, {"parameter": "[4, 2, 2, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150326266749200271}, {"parameter": "[4, 2, 3, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1352707910896100140}, {"parameter": "[4, 2, 3, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352707911319424860}, {"parameter": "[4, 2, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1352705055219675721}, {"parameter": "[4, 2, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352705055643000441}, {"parameter": "[4, 2, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1352704777034442850}, {"parameter": "[4, 2, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352704777035024340}, {"parameter": "[4, 2, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1352707597455602770}, {"parameter": "[4, 2, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352707597456184260}, {"parameter": "[4, 2, 5, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1352705090898183040}, {"parameter": "[4, 2, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352705090898101140}, {"parameter": "[4, 2, 5, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1352730447703111222}, {"parameter": "[4, 2, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352730447703029322}, {"parameter": "[4, 2, 6, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150300879101813260}, {"parameter": "[4, 2, 6, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150303386462797297}, {"parameter": "[4, 3, 2, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1351083344821201819}, {"parameter": "[4, 3, 2, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1351083349163112301}, {"parameter": "[4, 3, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1350854576896652209}, {"parameter": "[4, 3, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350854581238562691}, {"parameter": "[4, 3, 3, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12159747603640980424}, {"parameter": "[4, 3, 3, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159747603646271983}, {"parameter": "[4, 3, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12159747251088335434}, {"parameter": "[4, 3, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159747251093626993}, {"parameter": "[4, 3, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157688692320033934}, {"parameter": "[4, 3, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157688692325325493}, {"parameter": "[4, 3, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157688339767388944}, {"parameter": "[4, 3, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157688339772680503}, {"parameter": "[4, 3, 4, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12159747251571946744}, {"parameter": "[4, 3, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159747251571201454}, {"parameter": "[4, 3, 4, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12159747282474709453}, {"parameter": "[4, 3, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159747282473964163}, {"parameter": "[4, 3, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157688340251000254}, {"parameter": "[4, 3, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157688340250254964}, {"parameter": "[4, 3, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157688371153762963}, {"parameter": "[4, 3, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157688371153017673}, {"parameter": "[4, 3, 5, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1351083031870278079}, {"parameter": "[4, 3, 5, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1351083062730650167}, {"parameter": "[4, 3, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350854263945728469}, {"parameter": "[4, 3, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350854294806100557}, {"parameter": "[4, 4, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1350854577266750929}, {"parameter": "[4, 4, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350854577272713249}, {"parameter": "[4, 4, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1350874629763841080}, {"parameter": "[4, 4, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350874629769803400}, {"parameter": "[4, 4, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157691164546365064}, {"parameter": "[4, 4, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157691164545619774}, {"parameter": "[4, 4, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157691160193863274}, {"parameter": "[4, 4, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157691160193117984}, {"parameter": "[4, 4, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157871637020176423}, {"parameter": "[4, 4, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157871637019431133}, {"parameter": "[4, 4, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157871632667674633}, {"parameter": "[4, 4, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157871632666929343}, {"parameter": "[4, 4, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350854573355461638}, {"parameter": "[4, 4, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350854573397852259}, {"parameter": "[4, 4, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350874625852551789}, {"parameter": "[4, 4, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350874625894942410}, {"parameter": "[4, 5, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1350877454064520300}, {"parameter": "[4, 5, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350877454064445771}, {"parameter": "[4, 5, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1351057678976639188}, {"parameter": "[4, 5, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1351057678976564659}, {"parameter": "[4, 5, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350877454022121489}, {"parameter": "[4, 5, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350877454016150979}, {"parameter": "[4, 5, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1351057678934240377}, {"parameter": "[4, 5, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1351057678928269867}, {"parameter": "[4, 6, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150120345138258223}, {"parameter": "[4, 6, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150117546995636464}, {"parameter": "[5, 2, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1352707597031695750}, {"parameter": "[5, 2, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352707597508828770}, {"parameter": "[5, 2, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12174365556721649251}, {"parameter": "[5, 2, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174365556722230741}, {"parameter": "[5, 2, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12174365521466384752}, {"parameter": "[5, 2, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174365521466966242}, {"parameter": "[5, 2, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12174365518032744451}, {"parameter": "[5, 2, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174365518032662551}, {"parameter": "[5, 2, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12174365552852758771}, {"parameter": "[5, 2, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174365552852676871}, {"parameter": "[5, 2, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352707280211947869}, {"parameter": "[5, 2, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352707314994945027}, {"parameter": "[5, 3, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12174345500350354210}, {"parameter": "[5, 3, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174345500356316530}, {"parameter": "[5, 3, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12174342676054989400}, {"parameter": "[5, 3, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174342676060951720}, {"parameter": "[5, 3, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569109472298794593}, {"parameter": "[5, 3, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569109472298049303}, {"parameter": "[5, 3, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569109467946292803}, {"parameter": "[5, 3, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569109467945547513}, {"parameter": "[5, 3, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569084053640511303}, {"parameter": "[5, 3, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569084053639766013}, {"parameter": "[5, 3, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569084049288009513}, {"parameter": "[5, 3, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569084049287264223}, {"parameter": "[5, 3, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174345496439064919}, {"parameter": "[5, 3, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174345496481455540}, {"parameter": "[5, 3, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174342672143700109}, {"parameter": "[5, 3, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174342672186090730}, {"parameter": "[5, 4, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12174342676060303810}, {"parameter": "[5, 4, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174342676060229281}, {"parameter": "[5, 4, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12174342923621996281}, {"parameter": "[5, 4, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174342923621921752}, {"parameter": "[5, 4, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174342676017904999}, {"parameter": "[5, 4, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174342676011934489}, {"parameter": "[5, 4, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174342923579597470}, {"parameter": "[5, 4, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174342923573626960}, {"parameter": "[5, 5, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352704773165544180}, {"parameter": "[5, 5, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352705020387645852}, {"parameter": "[6, 2, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12161806193789597062}, {"parameter": "[6, 2, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12161806193790252262}, {"parameter": "[6, 2, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109456255709334721279}, {"parameter": "[6, 2, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109456255709334639379}, {"parameter": "[6, 2, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109456255708899471100}, {"parameter": "[6, 2, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109456255708899389200}, {"parameter": "[6, 2, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12161806189873000651}, {"parameter": "[6, 2, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12161806189920764731}, {"parameter": "[6, 3, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109456255461725199118}, {"parameter": "[6, 3, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109456255461725124589}, {"parameter": "[6, 3, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109456255426857355108}, {"parameter": "[6, 3, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109456255426857280579}, {"parameter": "[6, 3, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109456255461682800307}, {"parameter": "[6, 3, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109456255461676829797}, {"parameter": "[6, 3, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109456255426814956297}, {"parameter": "[6, 3, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109456255426808985787}, {"parameter": "[6, 4, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12161806158539712493}, {"parameter": "[6, 4, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12161806158879303292}, {"parameter": "[7, 2, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12176215996307864563}, {"parameter": "[7, 2, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12176215996307856373}, {"parameter": "[7, 2, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12176215996260158632}, {"parameter": "[7, 2, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12176215996259561581}, {"parameter": "[7, 3, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12176215995920509594}, {"parameter": "[7, 3, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12176215995872679904}, {"parameter": "[8, 2, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1351086200825194117}, {"parameter": "[3, 2, 2, 2, 5],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1352939220692456779}, {"parameter": "[3, 2, 2, 2, 5],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352939225463786979}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12176424820595986021}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12176424820601800921}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12176424468043341031}, {"parameter": "[3, 2, 2, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12176424468049155931}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 12176424433706938021}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12176424433706119021}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12176424781907081221}, {"parameter": "[3, 2, 2, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12176424781906262221}, {"parameter": "[3, 2, 2, 5, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352936052494977969}, {"parameter": "[3, 2, 2, 5, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352936400324949549}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12174371236694183770}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174371236753806970}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12174345535606363999}, {"parameter": "[3, 2, 3, 2, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174345535665987199}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569340821703720960}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569340821696268060}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569340778178703060}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569340778171250160}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569109511913343021}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569109511905890121}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109569109468388325121}, {"parameter": "[3, 2, 3, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109569109468380872221}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174371197581290860}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174371198005197070}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174345496493471089}, {"parameter": "[3, 2, 3, 4, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174345496917377299}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12174342993793679770}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174342993792934480}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12174368377584119050}, {"parameter": "[3, 2, 4, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174368377583373760}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174342993369691660}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174342993309986560}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174368377160130940}, {"parameter": "[3, 2, 4, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12174368377100425840}, {"parameter": "[3, 2, 5, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352705090898846430}, {"parameter": "[3, 2, 5, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1352730447703774612}, {"parameter": "[3, 3, 2, 2, 4],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12159750459317479372}, {"parameter": "[3, 3, 2, 2, 4],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159750459377102572}, {"parameter": "[3, 3, 2, 2, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157691547996532882}, {"parameter": "[3, 3, 2, 2, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157691548056156082}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109437750969636956959}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437750969629504059}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109437750930029190670}, {"parameter": "[3, 3, 2, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437750930021737770}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 109419220767748438549}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109419220767740985649}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109419220728140672260}, {"parameter": "[3, 3, 2, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109419220728133219360}, {"parameter": "[3, 3, 2, 4, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159750102907205971}, {"parameter": "[3, 3, 2, 4, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159750107253737251}, {"parameter": "[3, 3, 2, 4, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157691191586259481}, {"parameter": "[3, 3, 2, 4, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157691195932790761}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109437728437170440308}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437728437163658169}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109437725264196635398}, {"parameter": "[3, 3, 3, 2, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437725264189853259}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109419198235281921898}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109419198235275139759}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 109419195062308116988}, {"parameter": "[3, 3, 3, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109419195062301334849}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437728433312148507}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437728432768832097}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437725260338343597}, {"parameter": "[3, 3, 3, 3, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109437725259795027187}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109419198231423630097}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109419198230880313687}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 109419195058449825187}, {"parameter": "[3, 3, 3, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 109419195057906508777}, {"parameter": "[3, 3, 4, 2, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159747251577983593}, {"parameter": "[3, 3, 4, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12159747282480746302}, {"parameter": "[3, 3, 4, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157688340257037103}, {"parameter": "[3, 3, 4, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157688371159799812}, {"parameter": "[3, 4, 2, 2, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157691199801704092}, {"parameter": "[3, 4, 2, 2, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157691199800958802}, {"parameter": "[3, 4, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 12157871672275515451}, {"parameter": "[3, 4, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157871672274770161}, {"parameter": "[3, 4, 2, 3, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157691195460464371}, {"parameter": "[3, 4, 2, 3, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157691195406132730}, {"parameter": "[3, 4, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157871667934275730}, {"parameter": "[3, 4, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157871667879944089}, {"parameter": "[3, 4, 3, 2, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157691164552401913}, {"parameter": "[3, 4, 3, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157691160199900123}, {"parameter": "[3, 4, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157871637026213272}, {"parameter": "[3, 4, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 12157871632673711482}, {"parameter": "[3, 5, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1350877454070557149}, {"parameter": "[3, 5, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1351057678982676037}, {"parameter": "[4, 2, 2, 2, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 16702953341153059}, {"parameter": "[4, 2, 2, 2, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16702953347705059}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 150326232353854741}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150326232353035741}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 150326228001352951}, {"parameter": "[4, 2, 2, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150326228000533951}, {"parameter": "[4, 2, 2, 4, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16702914175188949}, {"parameter": "[4, 2, 2, 4, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16702914652829749}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 150300879466178170}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150300879465432880}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 150300562168797679}, {"parameter": "[4, 2, 3, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150300562168052389}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150300879042190060}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150300878982484960}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150300561744809569}, {"parameter": "[4, 2, 3, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150300561685104469}, {"parameter": "[4, 2, 4, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16700058976479040}, {"parameter": "[4, 2, 4, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16700093796493360}, {"parameter": "[4, 3, 2, 2, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 150120376041774412}, {"parameter": "[4, 3, 2, 2, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150120376041029122}, {"parameter": "[4, 3, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094957383491122}, {"parameter": "[4, 3, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094957382745832}, {"parameter": "[4, 3, 2, 3, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150120371700534691}, {"parameter": "[4, 3, 2, 3, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150120371646203050}, {"parameter": "[4, 3, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094953042251401}, {"parameter": "[4, 3, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094952987919760}, {"parameter": "[4, 3, 3, 2, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150120340792472233}, {"parameter": "[4, 3, 3, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150120336439970443}, {"parameter": "[4, 3, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094922134188943}, {"parameter": "[4, 3, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094917781687153}, {"parameter": "[4, 4, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16677217009411858}, {"parameter": "[4, 4, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16677464571104329}, {"parameter": "[5, 2, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 150300844597597060}, {"parameter": "[5, 2, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150300844597515160}, {"parameter": "[5, 2, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150300844120537750}, {"parameter": "[5, 2, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150300844114567240}, {"parameter": "[5, 2, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150300809342987761}, {"parameter": "[5, 2, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150300808907737582}, {"parameter": "[5, 3, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150300561738839059}, {"parameter": "[5, 3, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150300526870995049}, {"parameter": "[6, 2, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150145755479556292}, {"parameter": "[3, 2, 2, 2, 2, 3],[0, 1, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 150326584906581631}, {"parameter": "[3, 2, 2, 2, 2, 3],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150326584905762631}, {"parameter": "[3, 2, 2, 2, 3, 2],[0, 1, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150326580135988531}, {"parameter": "[3, 2, 2, 2, 3, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150326580076283431}, {"parameter": "[3, 2, 2, 3, 2, 2],[0, 1, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150326232360488641}, {"parameter": "[3, 2, 2, 3, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150326228007986851}, {"parameter": "[3, 2, 3, 2, 2, 2],[0, 1, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150300879526546660}, {"parameter": "[3, 2, 3, 2, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150300562229166169}, {"parameter": "[3, 3, 2, 2, 2, 2],[0, 0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150120376102142902}, {"parameter": "[3, 3, 2, 2, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094957443859612}, {"parameter": "[4, 2, 2, 2, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 206209307231839}, {"parameter": "", "name": "JohnsonLB", "value": 984793595330295005088}, {"parameter": "", "name": "EF_Kurz2020_linkage_special", "value": 986273495669609638336}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2573639151183}], "request": [9, 14, 4, 3], "liftedmrdsizebound": 984941869354074739936, "comments": "", "equal_bound_constraints": []}