{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 2023626625677358635370594553459738022117861}, {"parameter": "", "name": "singleton", "value": 27946441769812674154891493}, {"parameter": "3", "name": "ilp_2", "value": 19746183477717709168943199}, {"parameter": "4", "name": "ilp_2", "value": 5653947482524461474862177982219860}, {"parameter": "6", "name": "ilp_3", "value": 1482510348481581417853915423780027855031}, {"parameter": "7", "name": "ilp_3", "value": 1357361608205073629238157318970909956}, {"parameter": "", "name": "anticode", "value": 19746183477717709168943199}, {"parameter": "", "name": "linear_programming_bound", "value": 19746183477717709168943199}, {"parameter": "", "name": "sphere_packing", "value": 16580491197287633298484539104086}, {"parameter": "1", "name": "ilp_1", "value": 19746182953600813709314893}, {"parameter": "2", "name": "ilp_1", "value": 19746182953600815732451693}, {"parameter": "8", "name": "ilp_4", "value": 1347916931416464281943847412242433037}, {"parameter": "9", "name": "ilp_4", "value": 1347907852178984244119003086448894486}, {"parameter": "10", "name": "ilp_4", "value": 1347907852178984244119003086448894486}, {"parameter": "11", "name": "ilp_4", "value": 84815664336777729170941870286525694}, {"parameter": "12", "name": "ilp_4", "value": 5299706156062869640319095630160227}, {"parameter": "13", "name": "ilp_4", "value": 331251547477679798200248379523858}, {"parameter": "14", "name": "ilp_4", "value": 20705398744981119020296473815672}, {"parameter": "15", "name": "ilp_4", "value": 1294082562143120866765902448296}, {"parameter": "16", "name": "ilp_4", "value": 80880236062498682876190412202}, {"parameter": "17", "name": "ilp_4", "value": 5055023058568053801364399360}, {"parameter": "18", "name": "ilp_4", "value": 315938922623316054839215439}, {"parameter": "", "name": "johnson_1", "value": 19746182953600813709314893}, {"parameter": "", "name": "johnson_2", "value": 315938922623316054839215439}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 2023626625677358635370594553459738022117861}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1482510348481581417853915423780027855031}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1357361608205073629238157318970909956}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1347916931416464281943847412242433037}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1347907852178984244119003086448894486}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1347907852178984244119003086448894486}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 84815664336777729170941870286525694}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 5299706156062869640319095630160227}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 331251547477679798200248379523858}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 20705398744981119020296473815672}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1294082562143120866765902448296}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 80880236062498682876190412202}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 5055023058568053801364399360}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 315938922623316054839215439}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 5653947482524461474862177982219860}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 16580491197287633298484539104086}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 16580491382045659096835664001700}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 16580492121077803465774968001861}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 16580495077207039750243219116269}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 4129945891435082302278279100428}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1035335832668829146267071738855}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 258777667673448904308914599008}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 64708478640516480551156437739}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 16179842364978846325542422020}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 4047960829827248299522703225}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1014956979103183984289044132}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 256751123672310055980414378}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 67387129016124079522504184}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 21042026763620254823003673}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 19746183477717709168943199}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 19746183545869132092012365}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 19746183818474827729189278}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 19746184908897673396304605}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 19746189270590065959525092}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 19746206717375794543684933}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 19746276504777243149156113}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 19746555658519647849959252}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 19747672339678997921220298}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 19752140123606035071736743}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 19770028224215954193126362}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 19841853110228367472369977}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 20133580325695714027554969}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 21375964797253334267416442}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 27946441769812674154891493}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 2023626625677358635370594553459738022117861}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 5653947482524461474862177982219860}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 19746183477717709168943199}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 19746182953600815732451693}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 19746182953600813709314893}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 1482510348481581417853915423780027855031}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 16580491197287633298484539104086}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 16629256603935149655048486593220}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 16827223942211149547678395495335}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 17668585129294348622198032888661}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 22085731345813396492362382305601}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1357361608205073629238157318970909956}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1358605524579221973228630413924489289}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1363600397607078012540384031992701458}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1383892069266524985686004379804925002}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 1470385319423282846210596723982465847}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 1929880702992615813429218299211809253}, {"parameter": "", "name": "improved_johnson", "value": 19746182953600813709314889}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 5177607353272261220364453509121}], "known_codes": [], "upper_bound": 19746182953600813709314889, "classified": false, "lower_bound": 19342906761793106132080293, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 19342813113834066795298816}, {"parameter": "", "name": "sphere_covering", "value": 3406276318522481926719}, {"parameter": "", "name": "graham_sloane", "value": 80347426167000172226}, {"parameter": "", "name": "multicomponent", "value": 19342886901091837683957761}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 19342813113834066795298817}, {"parameter": "", "name": "two_pivot_block_construction", "value": 19342886901091836610215936}, {"parameter": "(5, 14)", "name": "CKMP2019_Lem_41", "value": 19342813131848552521239120}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 302231455185133633144080}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 4722366487267713017856}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 75631650702277881431536}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1209000759512429693505576}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 19342887621386302013833281}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 19342905775396399943255041}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 19342906761684718337392641}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 19342906761773778779242497}, {"parameter": "(14, 5)", "name": "CKMP2019_Lem_41", "value": 19342906761793106132074497}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Lem_41", "value": 19342813131848465305829441}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Lem_41", "value": 19342813114115541772010497}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Lem_41", "value": 19342813113838464841809921}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Lem_41", "value": 19342813113904504258953217}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Lem_41", "value": 19342813114960036495360001}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Lem_41", "value": 302231455185132270388225}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 302231454908055340187649}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 302231454903726013153281}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Lem_41", "value": 302231454904757879046145}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Lem_41", "value": 4722366487267691724801}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 4722366482938364690433}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Lem_41", "value": 4722366482870718955521}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Lem_41", "value": 75631650702277881102337}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Lem_41", "value": 75631650702210235367425}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Lem_41", "value": 1209000759512429693501441}, {"parameter": "(5, 14)", "name": "CKMP2019_Cor_42", "value": 19342813131848552521239120}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 302231455185133633144080}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 4722366487267713017856}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 75631650702277881431536}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1209000759512429693505576}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 19342887621386302013833281}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 19342905775396399943255041}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 19342906761684718337392641}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 19342906761773778779242497}, {"parameter": "(14, 5)", "name": "CKMP2019_Cor_42", "value": 19342906761793106132074497}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Cor_42", "value": 19342813131848465305829441}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Cor_42", "value": 19342813114115541772010497}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Cor_42", "value": 19342813113838464841809921}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Cor_42", "value": 19342813113904504258953217}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Cor_42", "value": 19342813114960036495360001}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Cor_42", "value": 302231455185132270388225}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 302231454908055340187649}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 302231454903726013153281}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Cor_42", "value": 302231454904757879046145}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Cor_42", "value": 4722366487267691724801}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 4722366482938364690433}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Cor_42", "value": 4722366482870718955521}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Cor_42", "value": 75631650702277881102337}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Cor_42", "value": 75631650702210235367425}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Cor_42", "value": 1209000759512429693501441}, {"parameter": "5", "name": "linkage_ST", "value": 19342906761793106132074497}, {"parameter": "6", "name": "linkage_ST", "value": 19342906761773778779242497}, {"parameter": "7", "name": "linkage_ST", "value": 19342906761684718337392641}, {"parameter": "8", "name": "linkage_ST", "value": 19342905775396399943255041}, {"parameter": "9", "name": "linkage_ST", "value": 19342887621386302013833281}, {"parameter": "10", "name": "linkage_ST", "value": 1209000759512429693505576}, {"parameter": "11", "name": "linkage_ST", "value": 75631650702277881431536}, {"parameter": "12", "name": "linkage_ST", "value": 4722366487267713017856}, {"parameter": "13", "name": "linkage_ST", "value": 302231455185133633144080}, {"parameter": "14", "name": "linkage_ST", "value": 19342813131848552521239120}, {"parameter": "15", "name": "linkage_ST", "value": 1152927086460344384}, {"parameter": "16", "name": "linkage_ST", "value": 73787329770646673061}, {"parameter": "17", "name": "linkage_ST", "value": 4722389346114433193637}, {"parameter": "18", "name": "linkage_ST", "value": 302232918152715293431461}, {"parameter": "5", "name": "construction_D", "value": 19342906761793106132074496}, {"parameter": "6", "name": "construction_D", "value": 19342906761773778779242496}, {"parameter": "7", "name": "construction_D", "value": 19342906761684718337392640}, {"parameter": "8", "name": "construction_D", "value": 19342905775396399943254016}, {"parameter": "9", "name": "construction_D", "value": 19342887621386302012784640}, {"parameter": "10", "name": "construction_D", "value": 1209000759512428619759616}, {"parameter": "11", "name": "construction_D", "value": 75631650702209161625600}, {"parameter": "12", "name": "construction_D", "value": 4722366482869645213696}, {"parameter": "13", "name": "construction_D", "value": 302231454903657293676544}, {"parameter": "14", "name": "construction_D", "value": 19342813113834066795298816}, {"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": 19342813131848552521239120}, {"parameter": "6", "name": "linkage_GLT", "value": 302231455185133633144080}, {"parameter": "7", "name": "linkage_GLT", "value": 4722366487267713017856}, {"parameter": "8", "name": "linkage_GLT", "value": 75631650702277881431536}, {"parameter": "9", "name": "linkage_GLT", "value": 1209000759512429693505576}, {"parameter": "10", "name": "linkage_GLT", "value": 19342887621386302013833281}, {"parameter": "11", "name": "linkage_GLT", "value": 19342905775396399943255041}, {"parameter": "12", "name": "linkage_GLT", "value": 19342906761684718337392641}, {"parameter": "13", "name": "linkage_GLT", "value": 19342906761773778779242497}, {"parameter": "14", "name": "linkage_GLT", "value": 19342906761793106132074497}, {"parameter": "5", "name": "improved_linkage", "value": 19342886901163837441971877}, {"parameter": "6", "name": "improved_linkage", "value": 302232607830743754020928}, {"parameter": "7", "name": "improved_linkage", "value": 4722384497355371154000}, {"parameter": "8", "name": "improved_linkage", "value": 75631650983685501093136}, {"parameter": "9", "name": "improved_linkage", "value": 1209000759516826687563776}, {"parameter": "10", "name": "improved_linkage", "value": 19342887621386370732590576}, {"parameter": "11", "name": "improved_linkage", "value": 19342905775396401016999976}, {"parameter": "12", "name": "improved_linkage", "value": 19342906761684718338441281}, {"parameter": "13", "name": "improved_linkage", "value": 19342906761773778779243521}, {"parameter": "14", "name": "improved_linkage", "value": 19342906761793106132074497}, {"parameter": "15", "name": "improved_linkage", "value": 1208931672612242072797185}, {"parameter": "16", "name": "improved_linkage", "value": 75558225685142193214465}, {"parameter": "5,0", "name": "generalized_linkage", "value": 19342814284775638981418576}, {"parameter": "5,1", "name": "generalized_linkage", "value": 19342814266761153255643200}, {"parameter": "5,2", "name": "generalized_linkage", "value": 19342886901163837441971877}, {"parameter": "6,0", "name": "generalized_linkage", "value": 302231531746697968313872}, {"parameter": "6,1", "name": "generalized_linkage", "value": 302231472918143019616848}, {"parameter": "6,2", "name": "generalized_linkage", "value": 302232607830743754020928}, {"parameter": "7,0", "name": "generalized_linkage", "value": 4722371272365483943936}, {"parameter": "7,1", "name": "generalized_linkage", "value": 4722366764345984681232}, {"parameter": "7,2", "name": "generalized_linkage", "value": 4722384497355371154000}, {"parameter": "8,0", "name": "generalized_linkage", "value": 75631651002445993759984}, {"parameter": "8,1", "name": "generalized_linkage", "value": 75631650706607229429760}, {"parameter": "8,2", "name": "generalized_linkage", "value": 75631650983685501093136}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1209000759518653125089736}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1209000759512497339565552}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1209000759516826687563776}, {"parameter": "10,0", "name": "generalized_linkage", "value": 19342887621386308091756517}, {"parameter": "10,1", "name": "generalized_linkage", "value": 19342887621386303086530600}, {"parameter": "10,2", "name": "generalized_linkage", "value": 19342887621386370732590576}, {"parameter": "11,0", "name": "generalized_linkage", "value": 19342905775396399949195941}, {"parameter": "11,1", "name": "generalized_linkage", "value": 19342905775396399944302657}, {"parameter": "11,2", "name": "generalized_linkage", "value": 19342905775396401016999976}, {"parameter": "12,0", "name": "generalized_linkage", "value": 19342906761684718337398437}, {"parameter": "12,1", "name": "generalized_linkage", "value": 19342906761684718337393665}, {"parameter": "12,2", "name": "generalized_linkage", "value": 19342906761684718338441281}, {"parameter": "13,0", "name": "generalized_linkage", "value": 19342906761773778779248293}, {"parameter": "13,1", "name": "generalized_linkage", "value": 19342906761773778779242497}, {"parameter": "13,2", "name": "generalized_linkage", "value": 19342906761773778779243521}, {"parameter": "14,0", "name": "generalized_linkage", "value": 19342906761793106132080293}, {"parameter": "14,1", "name": "generalized_linkage", "value": 19342906761793106132074497}, {"parameter": "14,2", "name": "generalized_linkage", "value": 19342906761793106132074497}, {"parameter": "15,1", "name": "generalized_linkage", "value": 1208931672612242072797185}, {"parameter": "15,2", "name": "generalized_linkage", "value": 1208931672612242072797185}, {"parameter": "16,2", "name": "generalized_linkage", "value": 75558225685142193214465}, {"parameter": "[5, 14],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814284775638981418576}, {"parameter": "[5, 14],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266761153255643200}, {"parameter": "[5, 14],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342886901163837441971877}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231531746697968313872}, {"parameter": "[6, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918143019616848}, {"parameter": "[6, 13],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302232607830743754020928}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722371272365483943936}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764345984681232}, {"parameter": "[7, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722384497355371154000}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 75631651002445993759984}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 75631650706607229429760}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75631650983685501093136}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1209000759518653125089736}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1209000759512497339565552}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209000759516826687563776}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342887621386308091756517}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342887621386303086530600}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342887621386370732590576}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342905775396399949195941}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342905775396399944302657}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342905775396401016999976}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342906761684718337398437}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342906761684718337393665}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342906761684718338441281}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342906761773778779248293}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342906761773778779242497}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342906761773778779243521}, {"parameter": "[14, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342906761793106132080293}, {"parameter": "[14, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342906761793106132074497}, {"parameter": "[14, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342906761793106132074497}, {"parameter": "[15, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208931672612242072797185}, {"parameter": "[15, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208931672612242072797185}, {"parameter": "[16, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75558225685142193214465}, {"parameter": "[5, 3, 11],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 75631650796011696728240}, {"parameter": "[5, 3, 11],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75631650988083568896000}, {"parameter": "[5, 3, 11],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75631668998171227015440}, {"parameter": "[5, 4, 10],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208926972540670358234152}, {"parameter": "[5, 4, 10],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208926972540600568938992}, {"parameter": "[5, 4, 10],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208926972822008188823552}, {"parameter": "[5, 4, 10],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208926972540670358234152}, {"parameter": "[5, 4, 10],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208926972540600568938992}, {"parameter": "[5, 4, 10],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208926972822008188823552}, {"parameter": "[5, 5, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814284769974342136001}, {"parameter": "[5, 5, 9],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814284770039705115176}, {"parameter": "[5, 5, 9],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342814284774436699013616}, {"parameter": "[5, 5, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848469735289025}, {"parameter": "[5, 5, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848535098268200}, {"parameter": "[5, 5, 9],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813131852932092166640}, {"parameter": "[5, 5, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848469735289025}, {"parameter": "[5, 5, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848535098268200}, {"parameter": "[5, 5, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813131852932092166640}, {"parameter": "[5, 6, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813132129940299680081}, {"parameter": "[5, 6, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813132129940349653121}, {"parameter": "[5, 6, 8],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813132130010074978856}, {"parameter": "[5, 6, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115541790198097}, {"parameter": "[5, 6, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115541840171137}, {"parameter": "[5, 6, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115611565496872}, {"parameter": "[5, 6, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813402345917941909841}, {"parameter": "[5, 6, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813402345917991882881}, {"parameter": "[5, 6, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813402345987717208616}, {"parameter": "[5, 7, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813114119939818591361}, {"parameter": "[5, 7, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813114119939818587201}, {"parameter": "[5, 7, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813114119939886682241}, {"parameter": "[5, 7, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813118342064469251201}, {"parameter": "[5, 7, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813118342064469247041}, {"parameter": "[5, 7, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813118342064537342081}, {"parameter": "[5, 7, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342817725805958245979265}, {"parameter": "[5, 7, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342817725805958245975105}, {"parameter": "[5, 7, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342817725805958314070145}, {"parameter": "[5, 8, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813118412501933118801}, {"parameter": "[5, 8, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813118412501932834881}, {"parameter": "[5, 8, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813118412501932901441}, {"parameter": "[5, 8, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813185896127599498577}, {"parameter": "[5, 8, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813185896127599214657}, {"parameter": "[5, 8, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813185896127599281217}, {"parameter": "[5, 8, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886901094585389569361}, {"parameter": "[5, 8, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886901094585389285441}, {"parameter": "[5, 8, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342886901094585389352001}, {"parameter": "[5, 9, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813187022097299652581}, {"parameter": "[5, 9, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813187022097299275841}, {"parameter": "[5, 9, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342813187022097299275841}, {"parameter": "[5, 9, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266760012398706661}, {"parameter": "[5, 9, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266760012398329921}, {"parameter": "[5, 9, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342814266760012398329921}, {"parameter": "[5, 9, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886901163837442342885}, {"parameter": "[5, 9, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886901163837441966145}, {"parameter": "[5, 9, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 19342886901163837441966145}, {"parameter": "[5, 10, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925892798405018648641}, {"parameter": "[5, 10, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925892798405018648641}, {"parameter": "[5, 10, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925891672568403853377}, {"parameter": "[5, 10, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925891672568403853377}, {"parameter": "[5, 10, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208930431322974989582401}, {"parameter": "[5, 10, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208930431322974989582401}, {"parameter": "[5, 11, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557868299904606519361}, {"parameter": "[5, 11, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557868229535754879041}, {"parameter": "[5, 11, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75558151957685938176065}, {"parameter": "[6, 3, 10],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1181744548377803739080}, {"parameter": "[6, 3, 10],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1181744560982525170928}, {"parameter": "[6, 3, 10],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1181745742894528686080}, {"parameter": "[6, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18889483945895698471313}, {"parameter": "[6, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18889483946170222983848}, {"parameter": "[6, 4, 9],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 18889483964637597357296}, {"parameter": "[6, 4, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 18889483945895698471313}, {"parameter": "[6, 4, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 18889483946170222983848}, {"parameter": "[6, 4, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18889483964637597357296}, {"parameter": "[6, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231531746325953874257}, {"parameter": "[6, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231531746326221964625}, {"parameter": "[6, 5, 8],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231531746619068332712}, {"parameter": "[6, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132288575825}, {"parameter": "[6, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132556666193}, {"parameter": "[6, 5, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231455185425403034280}, {"parameter": "[6, 5, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132288575825}, {"parameter": "[6, 5, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132556666193}, {"parameter": "[6, 5, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231455185425403034280}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231456104323991282465}, {"parameter": "[6, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231456104323991487761}, {"parameter": "[6, 6, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231456104324277486929}, {"parameter": "[6, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340262177}, {"parameter": "[6, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340467473}, {"parameter": "[6, 6, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055626466641}, {"parameter": "[6, 6, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231459411654967632673}, {"parameter": "[6, 6, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231459411654967837969}, {"parameter": "[6, 6, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231459411655253837137}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454922417711122769}, {"parameter": "[6, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454922417710825745}, {"parameter": "[6, 7, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231454922417711105297}, {"parameter": "[6, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454974094757628241}, {"parameter": "[6, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454974094757331217}, {"parameter": "[6, 7, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231454974094757610769}, {"parameter": "[6, 7, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231526965718097889617}, {"parameter": "[6, 7, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231526965718097592593}, {"parameter": "[6, 7, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231526965718097872145}, {"parameter": "[6, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455204117100770081}, {"parameter": "[6, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455204117099577617}, {"parameter": "[6, 8, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231455204117099577617}, {"parameter": "[6, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231456029626994930465}, {"parameter": "[6, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231456029626993738001}, {"parameter": "[6, 8, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231456029626993738001}, {"parameter": "[6, 8, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 302232607829602897900321}, {"parameter": "[6, 8, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607829602896707857}, {"parameter": "[6, 8, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 302232607829602896707857}, {"parameter": "[6, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18889466231663862219025}, {"parameter": "[6, 9, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18889466231663862219025}, {"parameter": "[6, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18889467057382824608017}, {"parameter": "[6, 9, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 18889467057382824608017}, {"parameter": "[6, 9, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 18889537989417810002193}, {"parameter": "[6, 9, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18889537989417810002193}, {"parameter": "[6, 10, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591920885241913617}, {"parameter": "[6, 10, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591691086492582161}, {"parameter": "[6, 10, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180596124338842763537}, {"parameter": "[7, 3, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 18464758496200404629}, {"parameter": "[7, 3, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 18464759641528384040}, {"parameter": "[7, 3, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18464833308087697904}, {"parameter": "[7, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 295148186654402091137}, {"parameter": "[7, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 295148186655471506561}, {"parameter": "[7, 4, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 295148187823638886952}, {"parameter": "[7, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 295148186654402091137}, {"parameter": "[7, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 295148186655471506561}, {"parameter": "[7, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 295148187823638886952}, {"parameter": "[7, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722371272342295876737}, {"parameter": "[7, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722371272342296922177}, {"parameter": "[7, 5, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722371272343437776001}, {"parameter": "[7, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691795585}, {"parameter": "[7, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267692841025}, {"parameter": "[7, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366487268833694849}, {"parameter": "[7, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691795585}, {"parameter": "[7, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267692841025}, {"parameter": "[7, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366487268833694849}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366557705155676497}, {"parameter": "[7, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366557705155380289}, {"parameter": "[7, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366557705156495425}, {"parameter": "[7, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364987729}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364691521}, {"parameter": "[7, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938365806657}, {"parameter": "[7, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366553307109165393}, {"parameter": "[7, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366553307108869185}, {"parameter": "[7, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366553307109984321}, {"parameter": "[7, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366484038951245953}, {"parameter": "[7, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366484038950061121}, {"parameter": "[7, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366484038950061121}, {"parameter": "[7, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366483970231769217}, {"parameter": "[7, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366483970230584385}, {"parameter": "[7, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366483970230584385}, {"parameter": "[7, 7, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722367608839346460801}, {"parameter": "[7, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722367608839345275969}, {"parameter": "[7, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722367608839345275969}, {"parameter": "[7, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 295147906349799572545}, {"parameter": "[7, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 295147906349799572545}, {"parameter": "[7, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 295147906278932612161}, {"parameter": "[7, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 295147906278932612161}, {"parameter": "[7, 8, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 295149031083596579905}, {"parameter": "[7, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 295149031083596579905}, {"parameter": "[7, 9, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18446745243086882881}, {"parameter": "[7, 9, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 18446745173225415745}, {"parameter": "[7, 9, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18446814442790831169}, {"parameter": "[8, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 295436417030575290981}, {"parameter": "[8, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 295436417035062760785}, {"parameter": "[8, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 295436421721677347496}, {"parameter": "[8, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4726978173286119396689}, {"parameter": "[8, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4726978173286123590929}, {"parameter": "[8, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4726978173290700625233}, {"parameter": "[8, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4726978173286119396689}, {"parameter": "[8, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4726978173286123590929}, {"parameter": "[8, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4726978173290700625233}, {"parameter": "[8, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 75631651002444555769169}, {"parameter": "[8, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 75631651002444555489553}, {"parameter": "[8, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75631651002444559963409}, {"parameter": "[8, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 75631650702277881386321}, {"parameter": "[8, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 75631650702277881106705}, {"parameter": "[8, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75631650702277885580561}, {"parameter": "[8, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 75631650702277881386321}, {"parameter": "[8, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75631650702277881106705}, {"parameter": "[8, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75631650702277885580561}, {"parameter": "[8, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 75631650706900340847393}, {"parameter": "[8, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 75631650706900339659025}, {"parameter": "[8, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75631650706900339659025}, {"parameter": "[8, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 75631650702210236560161}, {"parameter": "[8, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 75631650702210235371793}, {"parameter": "[8, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75631650702210235371793}, {"parameter": "[8, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 75631650703309748187937}, {"parameter": "[8, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75631650703309746999569}, {"parameter": "[8, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75631650703309746999569}, {"parameter": "[8, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4726978168892653834513}, {"parameter": "[8, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4726978168892653834513}, {"parameter": "[8, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4726978168889147396369}, {"parameter": "[8, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4726978168889147396369}, {"parameter": "[8, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4726978169987652391185}, {"parameter": "[8, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4726978169987652391185}, {"parameter": "[8, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 295436135560090244369}, {"parameter": "[8, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 295436135556578350353}, {"parameter": "[8, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 295436136655020405009}, {"parameter": "[9, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722659221243470928777}, {"parameter": "[9, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722659221243476748965}, {"parameter": "[9, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722659221249549778917}, {"parameter": "[9, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 75562547469595508588517}, {"parameter": "[9, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 75562547469595508217509}, {"parameter": "[9, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75562547469595514153637}, {"parameter": "[9, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 75562547469595508588517}, {"parameter": "[9, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75562547469595508217509}, {"parameter": "[9, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75562547469595514153637}, {"parameter": "[9, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1209000759518653101490149}, {"parameter": "[9, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1209000759518653101119141}, {"parameter": "[9, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209000759518653101119141}, {"parameter": "[9, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1209000759512429693878245}, {"parameter": "[9, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1209000759512429693507237}, {"parameter": "[9, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209000759512429693507237}, {"parameter": "[9, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1209000759512429693878245}, {"parameter": "[9, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1209000759512429693507237}, {"parameter": "[9, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1209000759512429693507237}, {"parameter": "[9, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 75562547469532867335845}, {"parameter": "[9, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75562547469532867335845}, {"parameter": "[9, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 75562547469526789789349}, {"parameter": "[9, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75562547469526789789349}, {"parameter": "[9, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75562547469527863531173}, {"parameter": "[9, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75562547469527863531173}, {"parameter": "[9, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722659216845430237861}, {"parameter": "[9, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722659216845425351333}, {"parameter": "[9, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722659216846498110117}, {"parameter": "[10, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 75558154771108961835913}, {"parameter": "[10, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75558154771108961719973}, {"parameter": "[10, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75558154771108967656101}, {"parameter": "[10, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208930476336644949917669}, {"parameter": "[10, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208930476336644949546661}, {"parameter": "[10, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208930476336644949546661}, {"parameter": "[10, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208930476336644949917669}, {"parameter": "[10, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208930476336644949546661}, {"parameter": "[10, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208930476336644949546661}, {"parameter": "[10, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208930476336649954399909}, {"parameter": "[10, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208930476336649954399909}, {"parameter": "[10, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208930476336643876853413}, {"parameter": "[10, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208930476336643876853413}, {"parameter": "[10, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208930476336643876853413}, {"parameter": "[10, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208930476336643876853413}, {"parameter": "[10, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75558154771040248179365}, {"parameter": "[10, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75558154771040242244261}, {"parameter": "[10, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75558154771040243292837}, {"parameter": "[11, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 75558225685143261141897}, {"parameter": "[11, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75558225685143261025957}, {"parameter": "[11, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75558225685143261025957}, {"parameter": "[11, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 75558225685142188332709}, {"parameter": "[11, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75558225685142188332709}, {"parameter": "[11, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75558225685142188332709}, {"parameter": "[11, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75558225685142188332709}, {"parameter": "[11, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75558225685142193220261}, {"parameter": "[11, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75558225685142187285157}, {"parameter": "[11, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75558225685142187285157}, {"parameter": "[12, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722389346114434242213}, {"parameter": "[12, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722389346114434242213}, {"parameter": "[12, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722389346114433194661}, {"parameter": "[12, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722389346114433194661}, {"parameter": "[13, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 295149334133511035557}, {"parameter": "[5, 3, 3, 8],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 295454431429020111865}, {"parameter": "[5, 3, 3, 8],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 295454431430422125205}, {"parameter": "[5, 3, 3, 8],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 295454432894653965640}, {"parameter": "[5, 3, 4, 7],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4726978454761095912085}, {"parameter": "[5, 3, 4, 7],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4726978454761097222485}, {"parameter": "[5, 3, 4, 7],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4726978454762527218325}, {"parameter": "[5, 3, 4, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4726978454761095912085}, {"parameter": "[5, 3, 4, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4726978454761097222485}, {"parameter": "[5, 3, 4, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4726978454762527218325}, {"parameter": "[5, 3, 5, 6],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 75631650796011247458965}, {"parameter": "[5, 3, 5, 6],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 75631650796011247371605}, {"parameter": "[5, 3, 5, 6],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75631650796011248769365}, {"parameter": "[5, 3, 5, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 75631650706675927702165}, {"parameter": "[5, 3, 5, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 75631650706675927614805}, {"parameter": "[5, 3, 5, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75631650706675929012565}, {"parameter": "[5, 3, 5, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 75631650706675927702165}, {"parameter": "[5, 3, 5, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75631650706675927614805}, {"parameter": "[5, 3, 5, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75631650706675929012565}, {"parameter": "[5, 3, 6, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 75631650703674819588005}, {"parameter": "[5, 3, 6, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 75631650703674819216725}, {"parameter": "[5, 3, 6, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75631650703674819216725}, {"parameter": "[5, 3, 6, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 75631650702278955216805}, {"parameter": "[5, 3, 6, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 75631650702278954845525}, {"parameter": "[5, 3, 6, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75631650702278954845525}, {"parameter": "[5, 3, 6, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 75631650773747211022245}, {"parameter": "[5, 3, 6, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75631650773747210650965}, {"parameter": "[5, 3, 6, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75631650773747210650965}, {"parameter": "[5, 3, 7, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4726978168889503909205}, {"parameter": "[5, 3, 7, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4726978168889503909205}, {"parameter": "[5, 3, 7, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4726978168957933978965}, {"parameter": "[5, 3, 7, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4726978168957933978965}, {"parameter": "[5, 3, 7, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4726978240360758642005}, {"parameter": "[5, 3, 7, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4726978240360758642005}, {"parameter": "[5, 3, 8, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 295436135556937242965}, {"parameter": "[5, 3, 8, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 295436135625302083925}, {"parameter": "[5, 3, 8, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 295436207024035636565}, {"parameter": "[5, 4, 3, 7],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722371272342295894677}, {"parameter": "[5, 4, 3, 7],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722371272342300136577}, {"parameter": "[5, 4, 3, 7],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722371272346726314177}, {"parameter": "[5, 4, 3, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722371272342295894677}, {"parameter": "[5, 4, 3, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722371272342300136577}, {"parameter": "[5, 4, 3, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722371272346726314177}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 75557935787975127609537}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557935787975127339137}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557935787975131665537}, {"parameter": "[5, 4, 4, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 75557935787975127609537}, {"parameter": "[5, 4, 4, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557935787975127339137}, {"parameter": "[5, 4, 4, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557935787975131665537}, {"parameter": "[5, 4, 4, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 75557935787975127609537}, {"parameter": "[5, 4, 4, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557935787975127339137}, {"parameter": "[5, 4, 4, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557935787975131665537}, {"parameter": "[5, 4, 4, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 75557935787975127609537}, {"parameter": "[5, 4, 4, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557935787975127339137}, {"parameter": "[5, 4, 4, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557935787975131665537}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208926972540670341034177}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208926972540670340763777}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208926972540670340763777}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208926972536203575046337}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208926972536203574775937}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208926972536203574775937}, {"parameter": "[5, 4, 5, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208926972536203575046337}, {"parameter": "[5, 4, 5, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208926972536203574775937}, {"parameter": "[5, 4, 5, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208926972536203574775937}, {"parameter": "[5, 4, 5, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208926972540670341034177}, {"parameter": "[5, 4, 5, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208926972540670340763777}, {"parameter": "[5, 4, 5, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208926972540670340763777}, {"parameter": "[5, 4, 5, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208926972536203575046337}, {"parameter": "[5, 4, 5, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208926972536203574775937}, {"parameter": "[5, 4, 5, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208926972536203574775937}, {"parameter": "[5, 4, 5, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208926972536203575046337}, {"parameter": "[5, 4, 5, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208926972536203574775937}, {"parameter": "[5, 4, 5, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208926972536203574775937}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557935783512791584897}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557935783512791584897}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557935783508429508737}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557935783508429508737}, {"parameter": "[5, 4, 6, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557935783578222727297}, {"parameter": "[5, 4, 6, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557935783578222727297}, {"parameter": "[5, 4, 6, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557935783512791584897}, {"parameter": "[5, 4, 6, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557935783512791584897}, {"parameter": "[5, 4, 6, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557935783508429508737}, {"parameter": "[5, 4, 6, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557935783508429508737}, {"parameter": "[5, 4, 6, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557935783578222727297}, {"parameter": "[5, 4, 6, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557935783578222727297}, {"parameter": "[5, 4, 7, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722370986469276914817}, {"parameter": "[5, 4, 7, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722370986469340812417}, {"parameter": "[5, 4, 7, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722370986539070133377}, {"parameter": "[5, 4, 7, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722370986469276914817}, {"parameter": "[5, 4, 7, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722370986469340812417}, {"parameter": "[5, 4, 7, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722370986539070133377}, {"parameter": "[5, 5, 3, 6],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 75557868304349461043861}, {"parameter": "[5, 5, 3, 6],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557868304349460959361}, {"parameter": "[5, 5, 3, 6],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557868304349465285761}, {"parameter": "[5, 5, 3, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 75557863800749833673365}, {"parameter": "[5, 5, 3, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557863800749833588865}, {"parameter": "[5, 5, 3, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863800749837915265}, {"parameter": "[5, 5, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 75557863800749833673365}, {"parameter": "[5, 5, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557863800749833588865}, {"parameter": "[5, 5, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863800749837915265}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208925892798192912969921}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925892798192912699521}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925892798192912699521}, {"parameter": "[5, 5, 4, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208925892798192912969921}, {"parameter": "[5, 5, 4, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925892798192912699521}, {"parameter": "[5, 5, 4, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925892798192912699521}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740598875041985}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740598874771585}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740598874771585}, {"parameter": "[5, 5, 4, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740598875041985}, {"parameter": "[5, 5, 4, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740598874771585}, {"parameter": "[5, 5, 4, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740598874771585}, {"parameter": "[5, 5, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740598875041985}, {"parameter": "[5, 5, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740598874771585}, {"parameter": "[5, 5, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740598874771585}, {"parameter": "[5, 5, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740598875041985}, {"parameter": "[5, 5, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740598874771585}, {"parameter": "[5, 5, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740598874771585}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925892798127549714561}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925892798127549714561}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925892798123187638401}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925892798123187638401}, {"parameter": "[5, 5, 5, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925892798123187638401}, {"parameter": "[5, 5, 5, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925892798123187638401}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740533511786625}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740533511786625}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740529149710465}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740529149710465}, {"parameter": "[5, 5, 5, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740529149710465}, {"parameter": "[5, 5, 5, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740529149710465}, {"parameter": "[5, 5, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740533511786625}, {"parameter": "[5, 5, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740533511786625}, {"parameter": "[5, 5, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740529149710465}, {"parameter": "[5, 5, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740529149710465}, {"parameter": "[5, 5, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740529149710465}, {"parameter": "[5, 5, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1208925820740529149710465}, {"parameter": "[5, 5, 6, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557868299882699297921}, {"parameter": "[5, 5, 6, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557868299882695038081}, {"parameter": "[5, 5, 6, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557868299882763195521}, {"parameter": "[5, 5, 6, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863796283071927425}, {"parameter": "[5, 5, 6, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863796283067667585}, {"parameter": "[5, 5, 6, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863796283135825025}, {"parameter": "[5, 5, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863796283071927425}, {"parameter": "[5, 5, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863796283067667585}, {"parameter": "[5, 5, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863796283135825025}, {"parameter": "[5, 6, 3, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 75557863797452372815781}, {"parameter": "[5, 6, 3, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557863797452372460881}, {"parameter": "[5, 6, 3, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863797452372460881}, {"parameter": "[5, 6, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 75557863727083628638117}, {"parameter": "[5, 6, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557863727083628283217}, {"parameter": "[5, 6, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863727083628283217}, {"parameter": "[5, 6, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 75557864852983535480741}, {"parameter": "[5, 6, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557864852983535125841}, {"parameter": "[5, 6, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557864852983535125841}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557863797382647399761}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863797382647399761}, {"parameter": "[5, 6, 4, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557863797382647399761}, {"parameter": "[5, 6, 4, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863797382647399761}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557863727013903222097}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863727013903222097}, {"parameter": "[5, 6, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557863727013903222097}, {"parameter": "[5, 6, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863727013903222097}, {"parameter": "[5, 6, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557864852913810064721}, {"parameter": "[5, 6, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557864852913810064721}, {"parameter": "[5, 6, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 75557864852913810064721}, {"parameter": "[5, 6, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557864852913810064721}, {"parameter": "[5, 6, 5, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863797382597413201}, {"parameter": "[5, 6, 5, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863797382579308881}, {"parameter": "[5, 6, 5, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863797382579308881}, {"parameter": "[5, 6, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863727013853235537}, {"parameter": "[5, 6, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863727013835131217}, {"parameter": "[5, 6, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557863727013835131217}, {"parameter": "[5, 6, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557864852913760078161}, {"parameter": "[5, 6, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557864852913741973841}, {"parameter": "[5, 6, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 75557864852913741973841}, {"parameter": "[5, 7, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482939506660481}, {"parameter": "[5, 7, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482939506660481}, {"parameter": "[5, 7, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366483970298811521}, {"parameter": "[5, 7, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366483970298811521}, {"parameter": "[5, 7, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722367608839413503105}, {"parameter": "[5, 7, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722367608839413503105}, {"parameter": "[5, 7, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482939438569601}, {"parameter": "[5, 7, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482939438569601}, {"parameter": "[5, 7, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366483970230720641}, {"parameter": "[5, 7, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366483970230720641}, {"parameter": "[5, 7, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722367608839345412225}, {"parameter": "[5, 7, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722367608839345412225}, {"parameter": "[5, 8, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 295147905249214552401}, {"parameter": "[5, 8, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 295147906278932961617}, {"parameter": "[5, 8, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 295149031083596929361}, {"parameter": "[6, 3, 3, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4617390284752410185}, {"parameter": "[6, 3, 3, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4617390284758166117}, {"parameter": "[6, 3, 3, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4617390290764148645}, {"parameter": "[6, 3, 4, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73859052649293655973}, {"parameter": "[6, 3, 4, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73859052649293289061}, {"parameter": "[6, 3, 4, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73859052649299159653}, {"parameter": "[6, 3, 4, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73859052649293655973}, {"parameter": "[6, 3, 4, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73859052649293289061}, {"parameter": "[6, 3, 4, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73859052649299159653}, {"parameter": "[6, 3, 5, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1181744548377780400037}, {"parameter": "[6, 3, 5, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1181744548377780033125}, {"parameter": "[6, 3, 5, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1181744548377780033125}, {"parameter": "[6, 3, 5, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1181744542515150040997}, {"parameter": "[6, 3, 5, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1181744542515149674085}, {"parameter": "[6, 3, 5, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1181744542515149674085}, {"parameter": "[6, 3, 5, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1181744542515150040997}, {"parameter": "[6, 3, 5, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1181744542515149674085}, {"parameter": "[6, 3, 5, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1181744542515149674085}, {"parameter": "[6, 3, 6, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73859033894887626341}, {"parameter": "[6, 3, 6, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73859033894887626341}, {"parameter": "[6, 3, 6, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73859033889162401381}, {"parameter": "[6, 3, 6, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73859033889162401381}, {"parameter": "[6, 3, 6, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73859034182293919333}, {"parameter": "[6, 3, 6, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73859034182293919333}, {"parameter": "[6, 3, 7, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4616189618060634725}, {"parameter": "[6, 3, 7, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4616189618341304933}, {"parameter": "[6, 3, 7, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4616189911204452965}, {"parameter": "[6, 4, 3, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787065423999905701}, {"parameter": "[6, 4, 3, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787065423999550801}, {"parameter": "[6, 4, 3, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787065424017721681}, {"parameter": "[6, 4, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787065423999905701}, {"parameter": "[6, 4, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787065423999550801}, {"parameter": "[6, 4, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787065424017721681}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1180592746910450817425}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746910449681745}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746910449681745}, {"parameter": "[6, 4, 4, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1180592746910450817425}, {"parameter": "[6, 4, 4, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746910449681745}, {"parameter": "[6, 4, 4, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746910449681745}, {"parameter": "[6, 4, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1180592746910450817425}, {"parameter": "[6, 4, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746910449681745}, {"parameter": "[6, 4, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746910449681745}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1180592746910450817425}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746910449681745}, {"parameter": "[6, 4, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746910449681745}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746635925144913}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746635925144913}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746617604425041}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746617604425041}, {"parameter": "[6, 4, 5, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746617604425041}, {"parameter": "[6, 4, 5, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746617604425041}, {"parameter": "[6, 4, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746635925144913}, {"parameter": "[6, 4, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746635925144913}, {"parameter": "[6, 4, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746617604425041}, {"parameter": "[6, 4, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746617604425041}, {"parameter": "[6, 4, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746617604425041}, {"parameter": "[6, 4, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746617604425041}, {"parameter": "[6, 4, 6, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787046663600572753}, {"parameter": "[6, 4, 6, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787046663582681425}, {"parameter": "[6, 4, 6, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787046663868942673}, {"parameter": "[6, 4, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787046663600572753}, {"parameter": "[6, 4, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787046663582681425}, {"parameter": "[6, 4, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787046663868942673}, {"parameter": "[6, 5, 3, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1180591921177217576869}, {"parameter": "[6, 5, 3, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591921177217221969}, {"parameter": "[6, 5, 3, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591921177217221969}, {"parameter": "[6, 5, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1180591622110054821797}, {"parameter": "[6, 5, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591622110054466897}, {"parameter": "[6, 5, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591622110054466897}, {"parameter": "[6, 5, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1180591622110054821797}, {"parameter": "[6, 5, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591622110054466897}, {"parameter": "[6, 5, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591622110054466897}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591920884371965265}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591920884371965265}, {"parameter": "[6, 5, 4, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591920884371965265}, {"parameter": "[6, 5, 4, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591920884371965265}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591621817209210193}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621817209210193}, {"parameter": "[6, 5, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591621817209210193}, {"parameter": "[6, 5, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621817209210193}, {"parameter": "[6, 5, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591621817209210193}, {"parameter": "[6, 5, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621817209210193}, {"parameter": "[6, 5, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591621817209210193}, {"parameter": "[6, 5, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621817209210193}, {"parameter": "[6, 5, 5, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591920884103874897}, {"parameter": "[6, 5, 5, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591920884085983569}, {"parameter": "[6, 5, 5, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591920884085983569}, {"parameter": "[6, 5, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816941119825}, {"parameter": "[6, 5, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816923228497}, {"parameter": "[6, 5, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816923228497}, {"parameter": "[6, 5, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816941119825}, {"parameter": "[6, 5, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816923228497}, {"parameter": "[6, 5, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816923228497}, {"parameter": "[6, 6, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976588256060193}, {"parameter": "[6, 6, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976588256060193}, {"parameter": "[6, 6, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976296198284065}, {"parameter": "[6, 6, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976296198284065}, {"parameter": "[6, 6, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786977395709911841}, {"parameter": "[6, 6, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786977395709911841}, {"parameter": "[6, 6, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976587970078497}, {"parameter": "[6, 6, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976587970078497}, {"parameter": "[6, 6, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976295912302369}, {"parameter": "[6, 6, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976295912302369}, {"parameter": "[6, 6, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786977395423930145}, {"parameter": "[6, 6, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786977395423930145}, {"parameter": "[6, 7, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611686018714226001}, {"parameter": "[6, 7, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611686019502755153}, {"parameter": "[6, 7, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611687118007749969}, {"parameter": "[7, 3, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 72202798292751353}, {"parameter": "[7, 3, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 72202798292293973}, {"parameter": "[7, 3, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72202798315711829}, {"parameter": "[7, 3, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1154048573820022421}, {"parameter": "[7, 3, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154048573818558805}, {"parameter": "[7, 3, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154048573818558805}, {"parameter": "[7, 3, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1154048573820022421}, {"parameter": "[7, 3, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154048573818558805}, {"parameter": "[7, 3, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154048573818558805}, {"parameter": "[7, 3, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047428493597013}, {"parameter": "[7, 3, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047428493597013}, {"parameter": "[7, 3, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047405655611733}, {"parameter": "[7, 3, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047405655611733}, {"parameter": "[7, 3, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047405655611733}, {"parameter": "[7, 3, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047405655611733}, {"parameter": "[7, 3, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 72127962805546325}, {"parameter": "[7, 3, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 72127962783243605}, {"parameter": "[7, 3, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72127963925142869}, {"parameter": "[7, 4, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152923773424807573}, {"parameter": "[7, 4, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152923773423391873}, {"parameter": "[7, 4, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152923773423391873}, {"parameter": "[7, 4, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152923773424807573}, {"parameter": "[7, 4, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152923773423391873}, {"parameter": "[7, 4, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152923773423391873}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922605260444801}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922605260444801}, {"parameter": "[7, 4, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922605260444801}, {"parameter": "[7, 4, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922605260444801}, {"parameter": "[7, 4, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922605260444801}, {"parameter": "[7, 4, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922605260444801}, {"parameter": "[7, 4, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922605260444801}, {"parameter": "[7, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922605260444801}, {"parameter": "[7, 4, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604191029377}, {"parameter": "[7, 4, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604119660673}, {"parameter": "[7, 4, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604119660673}, {"parameter": "[7, 4, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604191029377}, {"parameter": "[7, 4, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604119660673}, {"parameter": "[7, 4, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604119660673}, {"parameter": "[7, 5, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922675053663361}, {"parameter": "[7, 5, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922675053663361}, {"parameter": "[7, 5, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921506822558849}, {"parameter": "[7, 5, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921506822558849}, {"parameter": "[7, 5, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921506822558849}, {"parameter": "[7, 5, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921506822558849}, {"parameter": "[7, 5, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922673912879233}, {"parameter": "[7, 5, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922673912879233}, {"parameter": "[7, 5, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505681774721}, {"parameter": "[7, 5, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505681774721}, {"parameter": "[7, 5, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505681774721}, {"parameter": "[7, 5, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505681774721}, {"parameter": "[7, 6, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057595181239633}, {"parameter": "[7, 6, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057594040388945}, {"parameter": "[7, 6, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057595114130769}, {"parameter": "[8, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1154053195205273161}, {"parameter": "[8, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154053195203438181}, {"parameter": "[8, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154053195203438181}, {"parameter": "[8, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154048508606637669}, {"parameter": "[8, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154048508606637669}, {"parameter": "[8, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154048508606637669}, {"parameter": "[8, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154048508606637669}, {"parameter": "[8, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154048504119360101}, {"parameter": "[8, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154048504029882981}, {"parameter": "[8, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154048504029882981}, {"parameter": "[8, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047410168943953}, {"parameter": "[8, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047410168943953}, {"parameter": "[8, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047410168943953}, {"parameter": "[8, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047410168943953}, {"parameter": "[8, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047405592189265}, {"parameter": "[8, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047405592189265}, {"parameter": "[8, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047405592189265}, {"parameter": "[8, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047405592189265}, {"parameter": "[8, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047409099675985}, {"parameter": "[8, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047404519496017}, {"parameter": "[8, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047404519496017}, {"parameter": "[9, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152992980015111049}, {"parameter": "[9, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152992980015111049}, {"parameter": "[9, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152992973942452105}, {"parameter": "[9, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152992973942452105}, {"parameter": "[9, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152992972870013925}, {"parameter": "[9, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152992972870013925}, {"parameter": "[10, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152925945610137481}, {"parameter": "[5, 3, 3, 3, 5],[0, 2, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1154120338427686765}, {"parameter": "[5, 3, 3, 3, 5],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154120338427113465}, {"parameter": "[5, 3, 3, 3, 5],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154120338427113465}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154118874200829945}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154118874200829945}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154118874200829945}, {"parameter": "[5, 3, 3, 4, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154118874200829945}, {"parameter": "[5, 3, 3, 5, 3],[0, 2, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154118872798876665}, {"parameter": "[5, 3, 3, 5, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154118872770921465}, {"parameter": "[5, 3, 3, 5, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154118872770921465}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047475738303125}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047475738303125}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047475738303125}, {"parameter": "[5, 3, 4, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047475738303125}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047474308394645}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047474308394645}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047474308394645}, {"parameter": "[5, 3, 4, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047474308394645}, {"parameter": "[5, 3, 5, 3, 3],[0, 2, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047405946482325}, {"parameter": "[5, 3, 5, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047404583333525}, {"parameter": "[5, 3, 5, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047404583333525}, {"parameter": "[5, 4, 3, 3, 4],[0, 1, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922678342015637}, {"parameter": "[5, 4, 3, 3, 4],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922678342015637}, {"parameter": "[5, 4, 3, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922678342015637}, {"parameter": "[5, 4, 3, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922678342015637}, {"parameter": "[5, 4, 3, 4, 3],[0, 1, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922673916108437}, {"parameter": "[5, 4, 3, 4, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922673916108437}, {"parameter": "[5, 4, 3, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922673916108437}, {"parameter": "[5, 4, 3, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922673916108437}, {"parameter": "[5, 4, 4, 3, 3],[0, 1, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604191233217}, {"parameter": "[5, 4, 4, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604191233217}, {"parameter": "[5, 4, 4, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604191233217}, {"parameter": "[5, 4, 4, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604191233217}, {"parameter": "[5, 5, 3, 3, 3],[0, 0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921574472638101}, {"parameter": "[5, 5, 3, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505753161365}, {"parameter": "[5, 5, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505753161365}, {"parameter": "[6, 3, 3, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1127298561594953}, {"parameter": "[6, 3, 3, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1127298561594953}, {"parameter": "[6, 3, 3, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1127292555979337}, {"parameter": "[6, 3, 3, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1127292555979337}, {"parameter": "[6, 3, 4, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999710974885}, {"parameter": "[6, 3, 4, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999710974885}, {"parameter": "[6, 4, 3, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125901285389221}, {"parameter": "[6, 4, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125901285389221}, {"parameter": "[7, 3, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1101751166969}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 4612834114820652692}], "request": [4, 19, 6, 5], "liftedmrdsizebound": 19342919721040860361296101, "comments": "", "equal_bound_constraints": []}