{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 3961427432158861458003}, {"parameter": "", "name": "singleton", "value": 13402854502595}, {"parameter": "3", "name": "ilp_2", "value": 5534303530639}, {"parameter": "4", "name": "ilp_2", "value": 120896860626815438}, {"parameter": "6", "name": "ilp_3", "value": 62879800510458118381}, {"parameter": "7", "name": "ilp_3", "value": 1485349618357278386}, {"parameter": "", "name": "anticode", "value": 5534303530639}, {"parameter": "", "name": "linear_programming_bound", "value": 5534303530639}, {"parameter": "", "name": "sphere_packing", "value": 3900013913069752}, {"parameter": "1", "name": "ilp_1", "value": 5533585687026}, {"parameter": "2", "name": "ilp_1", "value": 5533585727616}, {"parameter": "8", "name": "ilp_4", "value": 1386326310466793161}, {"parameter": "9", "name": "ilp_4", "value": 1383613343127327812}, {"parameter": "10", "name": "ilp_4", "value": 1383613343127327812}, {"parameter": "11", "name": "ilp_4", "value": 366849066083283438}, {"parameter": "12", "name": "ilp_4", "value": 90478101115064109}, {"parameter": "13", "name": "ilp_4", "value": 22545224096657329}, {"parameter": "14", "name": "ilp_4", "value": 5675177836234716}, {"parameter": "15", "name": "ilp_4", "value": 1416369492271196}, {"parameter": "16", "name": "ilp_4", "value": 353941227066016}, {"parameter": "17", "name": "ilp_4", "value": 88561018433456}, {"parameter": "18", "name": "ilp_4", "value": 22135524795323}, {"parameter": "", "name": "johnson_1", "value": 5533585687026}, {"parameter": "", "name": "johnson_2", "value": 22135524795323}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 3961427432158861458003}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 62879800510458118381}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1485349618357278386}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1386326310466793161}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1383613343127327812}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1383613343127327812}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 366849066083283438}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 90478101115064109}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 22545224096657329}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 5675177836234716}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1416369492271196}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 353941227066016}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 88561018433456}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 22135524795323}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 120896860626815438}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 3900013913069752}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 3900244299827467}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 3900705155010808}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 3901627192184253}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1859528863534700}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 953718315305934}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 472142981411617}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 238381349824371}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 119755150945958}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 60900515393352}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 31407394097687}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 16790379696904}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 9733066929711}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 7148379931141}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 5534303530639}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 5534539995306}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 5535012971297}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 5535959109938}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 5537852134176}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 5541641172980}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 5549231231981}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 5564459436802}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 5595109492563}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 5657194724410}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 5784592343453}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 6053030044347}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 6651074375785}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 8159630951857}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 13402854502595}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 3961427432158861458003}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 120896860626815438}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 5534303530639}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 5533585727616}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 5533585687026}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 62879800510458118381}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 3900013913069752}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 4029514085916393}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 4317316708113123}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 5036811847976913}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 7554915152268121}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1485349618357278386}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1521281002851751910}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1597335145191995238}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1768453907593766426}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 2210491484951270330}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 3867895279362300499}, {"parameter": "", "name": "improved_johnson", "value": 5533585687024}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 2878145259696769}], "known_codes": [], "upper_bound": 5533585687024, "classified": false, "lower_bound": 4420427350171, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 4398046511104}, {"parameter": "", "name": "sphere_covering", "value": 35709761106}, {"parameter": "", "name": "graham_sloane", "value": 14411616533}, {"parameter": "", "name": "multicomponent", "value": 4406653255681}, {"parameter": "q^42 + q^33 + q^32 + q^30 + 3*q^28 + 2*q^27 + 2*q^26 + q^23 + 2*q^22 + 5*q^20 + 2*q^18 + 3*q^17 + 3*q^16 + 5*q^15 + 6*q^14 + 3*q^13 + 4*q^12 + 3*q^11 + 4*q^10 + 3*q^9 + q^8 + q^6 + 2*q^4 + 2*q^2", "name": "greedy_multicomponent", "value": 4413236563816}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 4398046511105}, {"parameter": "", "name": "two_pivot_block_construction", "value": 4406653255744}, {"parameter": "(5, 14)", "name": "CKMP2019_Lem_41", "value": 4398181192300}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 549772649012}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 68721581813}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 292058039606}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1109175337115}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 4418850259977}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 4420427317282}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 4414666440705}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 4413226745857}, {"parameter": "(14, 5)", "name": "CKMP2019_Lem_41", "value": 4413233430529}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Lem_41", "value": 4398180729865}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Lem_41", "value": 4398063288354}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Lem_41", "value": 4398048608257}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Lem_41", "value": 4398055424001}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Lem_41", "value": 4398080360449}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Lem_41", "value": 549772591138}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 549757911041}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 549756076033}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Lem_41", "value": 549756928001}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Lem_41", "value": 68721573889}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 68719738881}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Lem_41", "value": 68719509505}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Lem_41", "value": 292058038273}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Lem_41", "value": 292057808897}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Lem_41", "value": 1109175336961}, {"parameter": "(5, 14)", "name": "CKMP2019_Cor_42", "value": 4398181192300}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 549772649012}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 68721581813}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 292058039606}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1109175337115}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 4418850259977}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 4420427317282}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 4414666440705}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 4413226745857}, {"parameter": "(14, 5)", "name": "CKMP2019_Cor_42", "value": 4413233430529}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Cor_42", "value": 4398180729865}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Cor_42", "value": 4398063288354}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Cor_42", "value": 4398048608257}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Cor_42", "value": 4398055424001}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Cor_42", "value": 4398080360449}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Cor_42", "value": 549772591138}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 549757911041}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 549756076033}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Cor_42", "value": 549756928001}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Cor_42", "value": 68721573889}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 68719738881}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Cor_42", "value": 68719509505}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Cor_42", "value": 292058038273}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Cor_42", "value": 292057808897}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Cor_42", "value": 1109175336961}, {"parameter": "5", "name": "linkage_ST", "value": 4413233430529}, {"parameter": "6", "name": "linkage_ST", "value": 4413226745857}, {"parameter": "7", "name": "linkage_ST", "value": 4414666440705}, {"parameter": "8", "name": "linkage_ST", "value": 4420427317282}, {"parameter": "9", "name": "linkage_ST", "value": 4418850259977}, {"parameter": "10", "name": "linkage_ST", "value": 1109175337115}, {"parameter": "11", "name": "linkage_ST", "value": 292058039606}, {"parameter": "12", "name": "linkage_ST", "value": 68721581813}, {"parameter": "13", "name": "linkage_ST", "value": 549772649012}, {"parameter": "14", "name": "linkage_ST", "value": 4398181192300}, {"parameter": "15", "name": "linkage_ST", "value": 1078821019}, {"parameter": "16", "name": "linkage_ST", "value": 8633647259}, {"parameter": "17", "name": "linkage_ST", "value": 69069176987}, {"parameter": "18", "name": "linkage_ST", "value": 552553415689}, {"parameter": "5", "name": "construction_D", "value": 4413233430528}, {"parameter": "6", "name": "construction_D", "value": 4413226745856}, {"parameter": "7", "name": "construction_D", "value": 4414666440704}, {"parameter": "8", "name": "construction_D", "value": 4420427317248}, {"parameter": "9", "name": "construction_D", "value": 4418850258944}, {"parameter": "10", "name": "construction_D", "value": 1109175304192}, {"parameter": "11", "name": "construction_D", "value": 292057776128}, {"parameter": "12", "name": "construction_D", "value": 68719476736}, {"parameter": "13", "name": "construction_D", "value": 549755813888}, {"parameter": "14", "name": "construction_D", "value": 4398046511104}, {"parameter": "15", "name": "construction_D", "value": 0}, {"parameter": "16", "name": "construction_D", "value": 0}, {"parameter": "17", "name": "construction_D", "value": 0}, {"parameter": "18", "name": "construction_D", "value": 0}, {"parameter": "19", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 4398181192300}, {"parameter": "6", "name": "linkage_GLT", "value": 549772649012}, {"parameter": "7", "name": "linkage_GLT", "value": 68721581813}, {"parameter": "8", "name": "linkage_GLT", "value": 292058039606}, {"parameter": "9", "name": "linkage_GLT", "value": 1109175337115}, {"parameter": "10", "name": "linkage_GLT", "value": 4418850259977}, {"parameter": "11", "name": "linkage_GLT", "value": 4420427317282}, {"parameter": "12", "name": "linkage_GLT", "value": 4414666440705}, {"parameter": "13", "name": "linkage_GLT", "value": 4413226745857}, {"parameter": "14", "name": "linkage_GLT", "value": 4413233430529}, {"parameter": "5", "name": "improved_linkage", "value": 4406680158363}, {"parameter": "6", "name": "improved_linkage", "value": 550834634907}, {"parameter": "7", "name": "improved_linkage", "value": 68854157932}, {"parameter": "8", "name": "improved_linkage", "value": 292074611252}, {"parameter": "9", "name": "improved_linkage", "value": 1109177409269}, {"parameter": "10", "name": "improved_linkage", "value": 4418850522422}, {"parameter": "11", "name": "improved_linkage", "value": 4420427350171}, {"parameter": "12", "name": "improved_linkage", "value": 4414666441737}, {"parameter": "13", "name": "improved_linkage", "value": 4413226745890}, {"parameter": "14", "name": "improved_linkage", "value": 4413233430529}, {"parameter": "15", "name": "improved_linkage", "value": 1104712723457}, {"parameter": "16", "name": "improved_linkage", "value": 276276712289}, {"parameter": "5,0", "name": "generalized_linkage", "value": 4399258641868}, {"parameter": "5,1", "name": "generalized_linkage", "value": 4399125332123}, {"parameter": "5,2", "name": "generalized_linkage", "value": 4406680158363}, {"parameter": "6,0", "name": "generalized_linkage", "value": 550109351492}, {"parameter": "6,1", "name": "generalized_linkage", "value": 549890495084}, {"parameter": "6,2", "name": "generalized_linkage", "value": 550834634907}, {"parameter": "7,0", "name": "generalized_linkage", "value": 68805784893}, {"parameter": "7,1", "name": "generalized_linkage", "value": 68736311860}, {"parameter": "7,2", "name": "generalized_linkage", "value": 68854157932}, {"parameter": "8,0", "name": "generalized_linkage", "value": 292080171758}, {"parameter": "8,1", "name": "generalized_linkage", "value": 292059881205}, {"parameter": "8,2", "name": "generalized_linkage", "value": 292074611252}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1109180407257}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1109175567670}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1109177409269}, {"parameter": "10,0", "name": "generalized_linkage", "value": 4418850419059}, {"parameter": "10,1", "name": "generalized_linkage", "value": 4418850291867}, {"parameter": "10,2", "name": "generalized_linkage", "value": 4418850522422}, {"parameter": "11,0", "name": "generalized_linkage", "value": 4420427322518}, {"parameter": "11,1", "name": "generalized_linkage", "value": 4420427318281}, {"parameter": "11,2", "name": "generalized_linkage", "value": 4420427350171}, {"parameter": "12,0", "name": "generalized_linkage", "value": 4414666440859}, {"parameter": "12,1", "name": "generalized_linkage", "value": 4414666440738}, {"parameter": "12,2", "name": "generalized_linkage", "value": 4414666441737}, {"parameter": "13,0", "name": "generalized_linkage", "value": 4413226746011}, {"parameter": "13,1", "name": "generalized_linkage", "value": 4413226745857}, {"parameter": "13,2", "name": "generalized_linkage", "value": 4413226745890}, {"parameter": "14,0", "name": "generalized_linkage", "value": 4413233430683}, {"parameter": "14,1", "name": "generalized_linkage", "value": 4413233430529}, {"parameter": "14,2", "name": "generalized_linkage", "value": 4413233430529}, {"parameter": "15,1", "name": "generalized_linkage", "value": 1104712723457}, {"parameter": "15,2", "name": "generalized_linkage", "value": 1104712723457}, {"parameter": "16,2", "name": "generalized_linkage", "value": 276276712289}, {"parameter": "[5, 14],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4399258641868}, {"parameter": "[5, 14],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4399125332123}, {"parameter": "[5, 14],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4406680158363}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 550109351492}, {"parameter": "[6, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 549890495084}, {"parameter": "[6, 13],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 550834634907}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 68805784893}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 68736311860}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 68854157932}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 292080171758}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 292059881205}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 292074611252}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1109180407257}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1109175567670}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1109177409269}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4418850419059}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4418850291867}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4418850522422}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4420427322518}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4420427318281}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4420427350171}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4414666440859}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4414666440738}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4414666441737}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4413226746011}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4413226745857}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4413226745890}, {"parameter": "[14, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4413233430683}, {"parameter": "[14, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4413233430529}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4413233430529}, {"parameter": "[15, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1104712723457}, {"parameter": "[15, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104712723457}, {"parameter": "[16, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 276276712289}, {"parameter": "[5, 3, 11],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 283484440650}, {"parameter": "[5, 3, 11],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 283486787229}, {"parameter": "[5, 3, 11],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 283619357652}, {"parameter": "[5, 4, 10],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1100588036363}, {"parameter": "[5, 4, 10],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1100587740902}, {"parameter": "[5, 4, 10],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100604315293}, {"parameter": "[5, 4, 10],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1100588036363}, {"parameter": "[5, 4, 10],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1100587740902}, {"parameter": "[5, 4, 10],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100604315293}, {"parameter": "[5, 5, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4399254554329}, {"parameter": "[5, 5, 9],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4399254766963}, {"parameter": "[5, 5, 9],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4399256841958}, {"parameter": "[5, 5, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4398180812505}, {"parameter": "[5, 5, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4398181025139}, {"parameter": "[5, 5, 9],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4398183100134}, {"parameter": "[5, 5, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4398180812505}, {"parameter": "[5, 5, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4398181025139}, {"parameter": "[5, 5, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4398183100134}, {"parameter": "[5, 6, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4398197512474}, {"parameter": "[5, 6, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4398197515345}, {"parameter": "[5, 6, 8],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4398197802355}, {"parameter": "[5, 6, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4398063294746}, {"parameter": "[5, 6, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4398063297617}, {"parameter": "[5, 6, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4398063584627}, {"parameter": "[5, 6, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4398616942874}, {"parameter": "[5, 6, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4398616945745}, {"parameter": "[5, 6, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4398617232755}, {"parameter": "[5, 7, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4398065385841}, {"parameter": "[5, 7, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4398065385778}, {"parameter": "[5, 7, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4398065394769}, {"parameter": "[5, 7, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4398117814641}, {"parameter": "[5, 7, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4398117814578}, {"parameter": "[5, 7, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4398117823569}, {"parameter": "[5, 7, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4400212869489}, {"parameter": "[5, 7, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4400212869426}, {"parameter": "[5, 7, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4400212878417}, {"parameter": "[5, 8, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4398126727933}, {"parameter": "[5, 8, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4398126727177}, {"parameter": "[5, 8, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4398126727474}, {"parameter": "[5, 8, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4398317306621}, {"parameter": "[5, 8, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4398317305865}, {"parameter": "[5, 8, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4398317306162}, {"parameter": "[5, 8, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4406677078781}, {"parameter": "[5, 8, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4406677078025}, {"parameter": "[5, 8, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4406677078322}, {"parameter": "[5, 9, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4398351156595}, {"parameter": "[5, 9, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4398351155209}, {"parameter": "[5, 9, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4398351155209}, {"parameter": "[5, 9, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4399125333363}, {"parameter": "[5, 9, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4399125331977}, {"parameter": "[5, 9, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4399125331977}, {"parameter": "[5, 9, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4406680159603}, {"parameter": "[5, 9, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4406680158217}, {"parameter": "[5, 9, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4406680158217}, {"parameter": "[5, 10, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099815046153}, {"parameter": "[5, 10, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099815046153}, {"parameter": "[5, 10, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099781429257}, {"parameter": "[5, 10, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099781429257}, {"parameter": "[5, 10, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1101667226633}, {"parameter": "[5, 10, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1101667226633}, {"parameter": "[5, 11, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 274953788617}, {"parameter": "[5, 11, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 274945269417}, {"parameter": "[5, 11, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 275416630921}, {"parameter": "[6, 3, 10],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 35438319873}, {"parameter": "[6, 3, 10],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 35439013230}, {"parameter": "[6, 3, 10],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 35477686809}, {"parameter": "[6, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 137573366437}, {"parameter": "[6, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 137573862583}, {"parameter": "[6, 4, 9],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 137578704238}, {"parameter": "[6, 4, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 137573366437}, {"parameter": "[6, 4, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 137573862583}, {"parameter": "[6, 4, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 137578704238}, {"parameter": "[6, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 550108141850}, {"parameter": "[6, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 550108157117}, {"parameter": "[6, 5, 8],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 550108826807}, {"parameter": "[6, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 549772597530}, {"parameter": "[6, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 549772612797}, {"parameter": "[6, 5, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 549773282487}, {"parameter": "[6, 5, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 549772597530}, {"parameter": "[6, 5, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 549772612797}, {"parameter": "[6, 5, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 549773282487}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 549799854521}, {"parameter": "[6, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 549799854794}, {"parameter": "[6, 6, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 549799875773}, {"parameter": "[6, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 549757911481}, {"parameter": "[6, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 549757911754}, {"parameter": "[6, 6, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 549757932733}, {"parameter": "[6, 6, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 549827117497}, {"parameter": "[6, 6, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 549827117770}, {"parameter": "[6, 6, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 549827138749}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 549761319773}, {"parameter": "[6, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 549761318933}, {"parameter": "[6, 7, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 549761319626}, {"parameter": "[6, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 549764727645}, {"parameter": "[6, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 549764726805}, {"parameter": "[6, 7, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 549764727498}, {"parameter": "[6, 7, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 550026609501}, {"parameter": "[6, 7, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 550026608661}, {"parameter": "[6, 7, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 550026609354}, {"parameter": "[6, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 549779212025}, {"parameter": "[6, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 549779210261}, {"parameter": "[6, 8, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 549779210261}, {"parameter": "[6, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 549789665017}, {"parameter": "[6, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 549789663253}, {"parameter": "[6, 8, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 549789663253}, {"parameter": "[6, 8, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 550834636537}, {"parameter": "[6, 8, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 550834634773}, {"parameter": "[6, 8, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 550834634773}, {"parameter": "[6, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 137461167125}, {"parameter": "[6, 9, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 137461167125}, {"parameter": "[6, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 137472666645}, {"parameter": "[6, 9, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 137472666645}, {"parameter": "[6, 9, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 137708754965}, {"parameter": "[6, 9, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 137708754965}, {"parameter": "[6, 10, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 34381862645}, {"parameter": "[6, 10, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 34368169685}, {"parameter": "[6, 10, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34427100853}, {"parameter": "[7, 3, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4429481495}, {"parameter": "[7, 3, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4430534867}, {"parameter": "[7, 3, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4439987622}, {"parameter": "[7, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 17196658946}, {"parameter": "[7, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 17196688753}, {"parameter": "[7, 4, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 17197996243}, {"parameter": "[7, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 17196658946}, {"parameter": "[7, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 17196688753}, {"parameter": "[7, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17197996243}, {"parameter": "[7, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 68805460337}, {"parameter": "[7, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 68805461362}, {"parameter": "[7, 5, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 68805502321}, {"parameter": "[7, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 68721574257}, {"parameter": "[7, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 68721575282}, {"parameter": "[7, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 68721616241}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 68721574257}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 68721575282}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68721616241}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 68730225501}, {"parameter": "[7, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 68730224681}, {"parameter": "[7, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 68730226034}, {"parameter": "[7, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 68719739741}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 68719738921}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 68719740274}, {"parameter": "[7, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 68728390493}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 68728389673}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68728391026}, {"parameter": "[7, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 68720821905}, {"parameter": "[7, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 68720820265}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 68720820265}, {"parameter": "[7, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 68720592529}, {"parameter": "[7, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 68720590889}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 68720590889}, {"parameter": "[7, 7, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 68753327761}, {"parameter": "[7, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 68753326121}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68753326121}, {"parameter": "[7, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 17181296681}, {"parameter": "[7, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 17181296681}, {"parameter": "[7, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 17180927017}, {"parameter": "[7, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 17180927017}, {"parameter": "[7, 8, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 17213582377}, {"parameter": "[7, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17213582377}, {"parameter": "[7, 9, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4296322633}, {"parameter": "[7, 9, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4296020873}, {"parameter": "[7, 9, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4303398633}, {"parameter": "[8, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 18270408454}, {"parameter": "[8, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 18270476029}, {"parameter": "[8, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18273186679}, {"parameter": "[8, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73016541949}, {"parameter": "[8, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73016544074}, {"parameter": "[8, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73016628989}, {"parameter": "[8, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73016541949}, {"parameter": "[8, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73016544074}, {"parameter": "[8, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73016628989}, {"parameter": "[8, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 292080059133}, {"parameter": "[8, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 292080058453}, {"parameter": "[8, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 292080061258}, {"parameter": "[8, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 292058039037}, {"parameter": "[8, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 292058038357}, {"parameter": "[8, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 292058041162}, {"parameter": "[8, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 292058039037}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 292058038357}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 292058041162}, {"parameter": "[8, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 292060563193}, {"parameter": "[8, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 292060561493}, {"parameter": "[8, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 292060561493}, {"parameter": "[8, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 292057810681}, {"parameter": "[8, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 292057808981}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 292057808981}, {"parameter": "[8, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 292058892025}, {"parameter": "[8, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 292058890325}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 292058890325}, {"parameter": "[8, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73014531157}, {"parameter": "[8, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73014531157}, {"parameter": "[8, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73014478933}, {"parameter": "[8, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73014478933}, {"parameter": "[8, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73015501909}, {"parameter": "[8, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73015501909}, {"parameter": "[8, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18253703573}, {"parameter": "[8, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 18253644149}, {"parameter": "[8, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18254664629}, {"parameter": "[9, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 69325554749}, {"parameter": "[9, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 69325558934}, {"parameter": "[9, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 69325713779}, {"parameter": "[9, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 277294089587}, {"parameter": "[9, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 277294088347}, {"parameter": "[9, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 277294093462}, {"parameter": "[9, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 277294089587}, {"parameter": "[9, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 277294088347}, {"parameter": "[9, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 277294093462}, {"parameter": "[9, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1109180384627}, {"parameter": "[9, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1109180383387}, {"parameter": "[9, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1109180383387}, {"parameter": "[9, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1109175338355}, {"parameter": "[9, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1109175337115}, {"parameter": "[9, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1109175337115}, {"parameter": "[9, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1109175338355}, {"parameter": "[9, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1109175337115}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1109175337115}, {"parameter": "[9, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 277293984923}, {"parameter": "[9, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 277293984923}, {"parameter": "[9, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 277293827227}, {"parameter": "[9, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 277293827227}, {"parameter": "[9, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 277293861019}, {"parameter": "[9, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 277293861019}, {"parameter": "[9, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 69323461627}, {"parameter": "[9, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 69323457755}, {"parameter": "[9, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 69323489723}, {"parameter": "[10, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 276178404413}, {"parameter": "[10, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 276178403483}, {"parameter": "[10, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 276178408598}, {"parameter": "[10, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1104712598899}, {"parameter": "[10, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1104712597659}, {"parameter": "[10, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104712597659}, {"parameter": "[10, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1104712598899}, {"parameter": "[10, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1104712597659}, {"parameter": "[10, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104712597659}, {"parameter": "[10, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1104712723611}, {"parameter": "[10, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104712723611}, {"parameter": "[10, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1104712565915}, {"parameter": "[10, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104712565915}, {"parameter": "[10, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1104712565915}, {"parameter": "[10, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104712565915}, {"parameter": "[10, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 276178146299}, {"parameter": "[10, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 276178141371}, {"parameter": "[10, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 276178142427}, {"parameter": "[11, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 276276741181}, {"parameter": "[11, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 276276740251}, {"parameter": "[11, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 276276740251}, {"parameter": "[11, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 276276708507}, {"parameter": "[11, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 276276708507}, {"parameter": "[11, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 276276708507}, {"parameter": "[11, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 276276708507}, {"parameter": "[11, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 276276712443}, {"parameter": "[11, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 276276707515}, {"parameter": "[11, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 276276707515}, {"parameter": "[12, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 68979164315}, {"parameter": "[12, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68979164315}, {"parameter": "[12, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 68979163323}, {"parameter": "[12, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68979163323}, {"parameter": "[13, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17239167163}, {"parameter": "[5, 3, 3, 8],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 17867750034}, {"parameter": "[5, 3, 3, 8],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 17867800119}, {"parameter": "[5, 3, 3, 8],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17869809189}, {"parameter": "[5, 3, 4, 7],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 70885835319}, {"parameter": "[5, 3, 4, 7],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 70885836894}, {"parameter": "[5, 3, 4, 7],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 70885899831}, {"parameter": "[5, 3, 4, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 70885835319}, {"parameter": "[5, 3, 4, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 70885836894}, {"parameter": "[5, 3, 4, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 70885899831}, {"parameter": "[5, 3, 5, 6],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 283484357175}, {"parameter": "[5, 3, 5, 6],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 283484356671}, {"parameter": "[5, 3, 5, 6],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 283484358750}, {"parameter": "[5, 3, 5, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 283470201399}, {"parameter": "[5, 3, 5, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 283470200895}, {"parameter": "[5, 3, 5, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 283470202974}, {"parameter": "[5, 3, 5, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 283470201399}, {"parameter": "[5, 3, 5, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 283470200895}, {"parameter": "[5, 3, 5, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 283470202974}, {"parameter": "[5, 3, 6, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 283469907243}, {"parameter": "[5, 3, 6, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 283469905983}, {"parameter": "[5, 3, 6, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 283469905983}, {"parameter": "[5, 3, 6, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 283468137771}, {"parameter": "[5, 3, 6, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 283468136511}, {"parameter": "[5, 3, 6, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 283468136511}, {"parameter": "[5, 3, 6, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 283477869867}, {"parameter": "[5, 3, 6, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 283477868607}, {"parameter": "[5, 3, 6, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 283477868607}, {"parameter": "[5, 3, 7, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 70867024959}, {"parameter": "[5, 3, 7, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 70867024959}, {"parameter": "[5, 3, 7, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 70867273791}, {"parameter": "[5, 3, 7, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 70867273791}, {"parameter": "[5, 3, 7, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 70876480575}, {"parameter": "[5, 3, 7, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 70876480575}, {"parameter": "[5, 3, 8, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 17716808703}, {"parameter": "[5, 3, 8, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 17717037663}, {"parameter": "[5, 3, 8, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17726221983}, {"parameter": "[5, 4, 3, 7],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 68805460535}, {"parameter": "[5, 4, 3, 7],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 68805462722}, {"parameter": "[5, 4, 3, 7],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68805543641}, {"parameter": "[5, 4, 3, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 68805460535}, {"parameter": "[5, 4, 3, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 68805462722}, {"parameter": "[5, 4, 3, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68805543641}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 275148702425}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 275148701777}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 275148704450}, {"parameter": "[5, 4, 4, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 275148702425}, {"parameter": "[5, 4, 4, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 275148701777}, {"parameter": "[5, 4, 4, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 275148704450}, {"parameter": "[5, 4, 4, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 275148702425}, {"parameter": "[5, 4, 4, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 275148701777}, {"parameter": "[5, 4, 4, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 275148704450}, {"parameter": "[5, 4, 4, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 275148702425}, {"parameter": "[5, 4, 4, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 275148701777}, {"parameter": "[5, 4, 4, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 275148704450}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1100588024537}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1100588023889}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100588023889}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1100585665241}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1100585664593}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100585664593}, {"parameter": "[5, 4, 5, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1100585665241}, {"parameter": "[5, 4, 5, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1100585664593}, {"parameter": "[5, 4, 5, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100585664593}, {"parameter": "[5, 4, 5, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1100588024537}, {"parameter": "[5, 4, 5, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1100588023889}, {"parameter": "[5, 4, 5, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100588023889}, {"parameter": "[5, 4, 5, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1100585665241}, {"parameter": "[5, 4, 5, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1100585664593}, {"parameter": "[5, 4, 5, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100585664593}, {"parameter": "[5, 4, 5, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1100585665241}, {"parameter": "[5, 4, 5, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1100585664593}, {"parameter": "[5, 4, 5, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100585664593}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 275146425425}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 275146425425}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 275146351697}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 275146351697}, {"parameter": "[5, 4, 6, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 275146655825}, {"parameter": "[5, 4, 6, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 275146655825}, {"parameter": "[5, 4, 6, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 275146425425}, {"parameter": "[5, 4, 6, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 275146425425}, {"parameter": "[5, 4, 6, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 275146351697}, {"parameter": "[5, 4, 6, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 275146351697}, {"parameter": "[5, 4, 6, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 275146655825}, {"parameter": "[5, 4, 6, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 275146655825}, {"parameter": "[5, 4, 7, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 68786588273}, {"parameter": "[5, 4, 7, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 68786595473}, {"parameter": "[5, 4, 7, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68786883185}, {"parameter": "[5, 4, 7, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 68786588273}, {"parameter": "[5, 4, 7, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 68786595473}, {"parameter": "[5, 4, 7, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68786883185}, {"parameter": "[5, 5, 3, 6],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 274955764279}, {"parameter": "[5, 5, 3, 6],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 274955763793}, {"parameter": "[5, 5, 3, 6],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 274955766466}, {"parameter": "[5, 5, 3, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 274888655415}, {"parameter": "[5, 5, 3, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 274888654929}, {"parameter": "[5, 5, 3, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 274888657602}, {"parameter": "[5, 5, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 274888655415}, {"parameter": "[5, 5, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 274888654929}, {"parameter": "[5, 5, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 274888657602}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1099813913305}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099813912657}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099813912657}, {"parameter": "[5, 5, 4, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1099813913305}, {"parameter": "[5, 5, 4, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099813912657}, {"parameter": "[5, 5, 4, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099813912657}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1099545477849}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099545477201}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099545477201}, {"parameter": "[5, 5, 4, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1099545477849}, {"parameter": "[5, 5, 4, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099545477201}, {"parameter": "[5, 5, 4, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099545477201}, {"parameter": "[5, 5, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1099545477849}, {"parameter": "[5, 5, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099545477201}, {"parameter": "[5, 5, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099545477201}, {"parameter": "[5, 5, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1099545477849}, {"parameter": "[5, 5, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099545477201}, {"parameter": "[5, 5, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099545477201}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099813700689}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099813700689}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099813626961}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099813626961}, {"parameter": "[5, 5, 5, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099813626961}, {"parameter": "[5, 5, 5, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099813626961}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099545265233}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099545265233}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099545191505}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099545191505}, {"parameter": "[5, 5, 5, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099545191505}, {"parameter": "[5, 5, 5, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099545191505}, {"parameter": "[5, 5, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099545265233}, {"parameter": "[5, 5, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099545265233}, {"parameter": "[5, 5, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099545191505}, {"parameter": "[5, 5, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099545191505}, {"parameter": "[5, 5, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1099545191505}, {"parameter": "[5, 5, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1099545191505}, {"parameter": "[5, 5, 6, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 274953407089}, {"parameter": "[5, 5, 6, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 274953404785}, {"parameter": "[5, 5, 6, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 274953414289}, {"parameter": "[5, 5, 6, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 274886298225}, {"parameter": "[5, 5, 6, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 274886295921}, {"parameter": "[5, 5, 6, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 274886305425}, {"parameter": "[5, 5, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 274886298225}, {"parameter": "[5, 5, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 274886295921}, {"parameter": "[5, 5, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 274886305425}, {"parameter": "[5, 6, 3, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 274887640363}, {"parameter": "[5, 6, 3, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 274887639229}, {"parameter": "[5, 6, 3, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 274887639229}, {"parameter": "[5, 6, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 274879251755}, {"parameter": "[5, 6, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 274879250621}, {"parameter": "[5, 6, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 274879250621}, {"parameter": "[5, 6, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 274913854763}, {"parameter": "[5, 6, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 274913853629}, {"parameter": "[5, 6, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 274913853629}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 274887353533}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 274887353533}, {"parameter": "[5, 6, 4, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 274887353533}, {"parameter": "[5, 6, 4, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 274887353533}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 274878964925}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 274878964925}, {"parameter": "[5, 6, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 274878964925}, {"parameter": "[5, 6, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 274878964925}, {"parameter": "[5, 6, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 274913567933}, {"parameter": "[5, 6, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 274913567933}, {"parameter": "[5, 6, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 274913567933}, {"parameter": "[5, 6, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 274913567933}, {"parameter": "[5, 6, 5, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 274887350365}, {"parameter": "[5, 6, 5, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 274887344605}, {"parameter": "[5, 6, 5, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 274887344605}, {"parameter": "[5, 6, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 274878961757}, {"parameter": "[5, 6, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 274878955997}, {"parameter": "[5, 6, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 274878955997}, {"parameter": "[5, 6, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 274913564765}, {"parameter": "[5, 6, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 274913559005}, {"parameter": "[5, 6, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 274913559005}, {"parameter": "[5, 7, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 68719781233}, {"parameter": "[5, 7, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68719781233}, {"parameter": "[5, 7, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 68720600433}, {"parameter": "[5, 7, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68720600433}, {"parameter": "[5, 7, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 68753335665}, {"parameter": "[5, 7, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68753335665}, {"parameter": "[5, 7, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 68719772305}, {"parameter": "[5, 7, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68719772305}, {"parameter": "[5, 7, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 68720591505}, {"parameter": "[5, 7, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68720591505}, {"parameter": "[5, 7, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 68753326737}, {"parameter": "[5, 7, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68753326737}, {"parameter": "[5, 8, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17180183581}, {"parameter": "[5, 8, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17180928029}, {"parameter": "[5, 8, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17213583389}, {"parameter": "[6, 3, 3, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2258633733}, {"parameter": "[6, 3, 3, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2258637702}, {"parameter": "[6, 3, 3, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2258784555}, {"parameter": "[6, 3, 4, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 8863876395}, {"parameter": "[6, 3, 4, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 8863875219}, {"parameter": "[6, 3, 4, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 8863880070}, {"parameter": "[6, 3, 4, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 8863876395}, {"parameter": "[6, 3, 4, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 8863875219}, {"parameter": "[6, 3, 4, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8863880070}, {"parameter": "[6, 3, 5, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 35438298411}, {"parameter": "[6, 3, 5, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 35438297235}, {"parameter": "[6, 3, 5, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 35438297235}, {"parameter": "[6, 3, 5, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 35434169643}, {"parameter": "[6, 3, 5, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 35434168467}, {"parameter": "[6, 3, 5, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 35434168467}, {"parameter": "[6, 3, 5, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 35434169643}, {"parameter": "[6, 3, 5, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 35434168467}, {"parameter": "[6, 3, 5, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 35434168467}, {"parameter": "[6, 3, 6, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 8858520723}, {"parameter": "[6, 3, 6, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 8858520723}, {"parameter": "[6, 3, 6, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 8858391699}, {"parameter": "[6, 3, 6, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 8858391699}, {"parameter": "[6, 3, 6, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 8859101331}, {"parameter": "[6, 3, 6, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8859101331}, {"parameter": "[6, 3, 7, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2214597363}, {"parameter": "[6, 3, 7, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2214615507}, {"parameter": "[6, 3, 7, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2215286835}, {"parameter": "[6, 4, 3, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 8603829547}, {"parameter": "[6, 4, 3, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 8603828413}, {"parameter": "[6, 4, 3, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8603834650}, {"parameter": "[6, 4, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 8603829547}, {"parameter": "[6, 4, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 8603828413}, {"parameter": "[6, 4, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8603834650}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 34393982629}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 34393981117}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 34393981117}, {"parameter": "[6, 4, 4, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 34393982629}, {"parameter": "[6, 4, 4, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 34393981117}, {"parameter": "[6, 4, 4, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34393981117}, {"parameter": "[6, 4, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 34393982629}, {"parameter": "[6, 4, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 34393981117}, {"parameter": "[6, 4, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 34393981117}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 34393982629}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 34393981117}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34393981117}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 34393486525}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 34393486525}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 34393314493}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 34393314493}, {"parameter": "[6, 4, 5, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 34393314493}, {"parameter": "[6, 4, 5, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34393314493}, {"parameter": "[6, 4, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 34393486525}, {"parameter": "[6, 4, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 34393486525}, {"parameter": "[6, 4, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 34393314493}, {"parameter": "[6, 4, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 34393314493}, {"parameter": "[6, 4, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 34393314493}, {"parameter": "[6, 4, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34393314493}, {"parameter": "[6, 4, 6, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 8598329437}, {"parameter": "[6, 4, 6, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 8598324061}, {"parameter": "[6, 4, 6, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8598346237}, {"parameter": "[6, 4, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 8598329437}, {"parameter": "[6, 4, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 8598324061}, {"parameter": "[6, 4, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8598346237}, {"parameter": "[6, 5, 3, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 34382447915}, {"parameter": "[6, 5, 3, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 34382446781}, {"parameter": "[6, 5, 3, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34382446781}, {"parameter": "[6, 5, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 34361476395}, {"parameter": "[6, 5, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 34361475261}, {"parameter": "[6, 5, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34361475261}, {"parameter": "[6, 5, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 34361476395}, {"parameter": "[6, 5, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 34361475261}, {"parameter": "[6, 5, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34361475261}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 34381780157}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 34381780157}, {"parameter": "[6, 5, 4, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 34381780157}, {"parameter": "[6, 5, 4, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34381780157}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 34360808637}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 34360808637}, {"parameter": "[6, 5, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 34360808637}, {"parameter": "[6, 5, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34360808637}, {"parameter": "[6, 5, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 34360808637}, {"parameter": "[6, 5, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 34360808637}, {"parameter": "[6, 5, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 34360808637}, {"parameter": "[6, 5, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34360808637}, {"parameter": "[6, 5, 5, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 34381764701}, {"parameter": "[6, 5, 5, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 34381759325}, {"parameter": "[6, 5, 5, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34381759325}, {"parameter": "[6, 5, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 34360793181}, {"parameter": "[6, 5, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 34360787805}, {"parameter": "[6, 5, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34360787805}, {"parameter": "[6, 5, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 34360793181}, {"parameter": "[6, 5, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 34360787805}, {"parameter": "[6, 5, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34360787805}, {"parameter": "[6, 6, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 8590644665}, {"parameter": "[6, 6, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8590644665}, {"parameter": "[6, 6, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 8589989305}, {"parameter": "[6, 6, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8589989305}, {"parameter": "[6, 6, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 8591070649}, {"parameter": "[6, 6, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8591070649}, {"parameter": "[6, 6, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 8590623833}, {"parameter": "[6, 6, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8590623833}, {"parameter": "[6, 6, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 8589968473}, {"parameter": "[6, 6, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8589968473}, {"parameter": "[6, 6, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 8591049817}, {"parameter": "[6, 6, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8591049817}, {"parameter": "[6, 7, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2147506685}, {"parameter": "[6, 7, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2147519997}, {"parameter": "[6, 7, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2148542973}, {"parameter": "[7, 3, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 287573977}, {"parameter": "[7, 3, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 287572255}, {"parameter": "[7, 3, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 287581726}, {"parameter": "[7, 3, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1108642327}, {"parameter": "[7, 3, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1108640031}, {"parameter": "[7, 3, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1108640031}, {"parameter": "[7, 3, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1108642327}, {"parameter": "[7, 3, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1108640031}, {"parameter": "[7, 3, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1108640031}, {"parameter": "[7, 3, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1107590431}, {"parameter": "[7, 3, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1107590431}, {"parameter": "[7, 3, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1107338527}, {"parameter": "[7, 3, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1107338527}, {"parameter": "[7, 3, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1107338527}, {"parameter": "[7, 3, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1107338527}, {"parameter": "[7, 3, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 276833535}, {"parameter": "[7, 3, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 276825663}, {"parameter": "[7, 3, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 276868959}, {"parameter": "[7, 4, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1076136471}, {"parameter": "[7, 4, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1076134257}, {"parameter": "[7, 4, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1076134257}, {"parameter": "[7, 4, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1076136471}, {"parameter": "[7, 4, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1076134257}, {"parameter": "[7, 4, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1076134257}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1074832753}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1074832753}, {"parameter": "[7, 4, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1074832753}, {"parameter": "[7, 4, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1074832753}, {"parameter": "[7, 4, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1074832753}, {"parameter": "[7, 4, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1074832753}, {"parameter": "[7, 4, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1074832753}, {"parameter": "[7, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1074832753}, {"parameter": "[7, 4, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1074802577}, {"parameter": "[7, 4, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1074792081}, {"parameter": "[7, 4, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1074792081}, {"parameter": "[7, 4, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1074802577}, {"parameter": "[7, 4, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1074792081}, {"parameter": "[7, 4, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1074792081}, {"parameter": "[7, 5, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1075127665}, {"parameter": "[7, 5, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1075127665}, {"parameter": "[7, 5, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1073816945}, {"parameter": "[7, 5, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1073816945}, {"parameter": "[7, 5, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1073816945}, {"parameter": "[7, 5, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1073816945}, {"parameter": "[7, 5, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1075086993}, {"parameter": "[7, 5, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1075086993}, {"parameter": "[7, 5, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1073776273}, {"parameter": "[7, 5, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1073776273}, {"parameter": "[7, 5, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1073776273}, {"parameter": "[7, 5, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1073776273}, {"parameter": "[7, 6, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 268479613}, {"parameter": "[7, 6, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 268438653}, {"parameter": "[7, 6, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 268472445}, {"parameter": "[8, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1144688709}, {"parameter": "[8, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1144685139}, {"parameter": "[8, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1144685139}, {"parameter": "[8, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1141986899}, {"parameter": "[8, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1141986899}, {"parameter": "[8, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1141986899}, {"parameter": "[8, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1141986899}, {"parameter": "[8, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1141918899}, {"parameter": "[8, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1141902579}, {"parameter": "[8, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1141902579}, {"parameter": "[8, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1140971261}, {"parameter": "[8, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1140971261}, {"parameter": "[8, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1140971261}, {"parameter": "[8, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1140971261}, {"parameter": "[8, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1140886941}, {"parameter": "[8, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1140886941}, {"parameter": "[8, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1140886941}, {"parameter": "[8, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1140886941}, {"parameter": "[8, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1140941213}, {"parameter": "[8, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1140855197}, {"parameter": "[8, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1140855197}, {"parameter": "[9, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1083371581}, {"parameter": "[9, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1083371581}, {"parameter": "[9, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1083217821}, {"parameter": "[9, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1083217821}, {"parameter": "[9, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1083186387}, {"parameter": "[9, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1083186387}, {"parameter": "[10, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1078827933}, {"parameter": "[5, 3, 3, 3, 5],[0, 2, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1118800911}, {"parameter": "[5, 3, 3, 3, 5],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1118798265}, {"parameter": "[5, 3, 3, 3, 5],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1118798265}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1116798393}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1116798393}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1116798393}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1116798393}, {"parameter": "[5, 3, 3, 5, 3],[0, 2, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1116747993}, {"parameter": "[5, 3, 3, 5, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1116735897}, {"parameter": "[5, 3, 3, 5, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1116735897}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1107656247}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1107656247}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1107656247}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1107656247}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1107593751}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1107593751}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1107593751}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1107593751}, {"parameter": "[5, 3, 5, 3, 3],[0, 2, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1107363351}, {"parameter": "[5, 3, 5, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1107308055}, {"parameter": "[5, 3, 5, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1107308055}, {"parameter": "[5, 4, 3, 3, 4],[0, 1, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1075168823}, {"parameter": "[5, 4, 3, 3, 4],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1075168823}, {"parameter": "[5, 4, 3, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1075168823}, {"parameter": "[5, 4, 3, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1075168823}, {"parameter": "[5, 4, 3, 4, 3],[0, 1, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1075088471}, {"parameter": "[5, 4, 3, 4, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1075088471}, {"parameter": "[5, 4, 3, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1075088471}, {"parameter": "[5, 4, 3, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1075088471}, {"parameter": "[5, 4, 4, 3, 3],[0, 1, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1074802937}, {"parameter": "[5, 4, 4, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1074802937}, {"parameter": "[5, 4, 4, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1074802937}, {"parameter": "[5, 4, 4, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1074802937}, {"parameter": "[5, 5, 3, 3, 3],[0, 0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1074049111}, {"parameter": "[5, 5, 3, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1073786967}, {"parameter": "[5, 5, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1073786967}, {"parameter": "[6, 3, 3, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 35442693}, {"parameter": "[6, 3, 3, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 35442693}, {"parameter": "[6, 3, 3, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 35296869}, {"parameter": "[6, 3, 3, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 35296869}, {"parameter": "[6, 3, 4, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34630539}, {"parameter": "[6, 3, 4, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 34630539}, {"parameter": "[6, 4, 3, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 33616075}, {"parameter": "[6, 4, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 33616075}, {"parameter": "[7, 3, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1134521}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2194612258}], "request": [2, 19, 6, 5], "liftedmrdsizebound": 4424214175939, "comments": "", "equal_bound_constraints": []}