{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1783141032125225159006479609533306203498437503116334729}, {"parameter": "", "name": "singleton", "value": 1437245578490050266379957385}, {"parameter": "2", "name": "ilp_2", "value": 1240665519387833309264872000}, {"parameter": "3", "name": "ilp_2", "value": 44344926752432273737170865853609600276836}, {"parameter": "5", "name": "ilp_3", "value": 380931645401671685325033029167550994124853130338888}, {"parameter": "6", "name": "ilp_3", "value": 91548100312826648720267490787683488133826755669}, {"parameter": "", "name": "anticode", "value": 1240665519387833309264872000}, {"parameter": "", "name": "linear_programming_bound", "value": 1240665519387833309264872000}, {"parameter": "", "name": "sphere_packing", "value": 75803293593903204556947164012759051858}, {"parameter": "1", "name": "ilp_1", "value": 1240665519387833309264872000}, {"parameter": "7", "name": "ilp_4", "value": 91391645965227848867985304771043266413277479488}, {"parameter": "8", "name": "ilp_4", "value": 91391645965227848867985304771043266413277479488}, {"parameter": "9", "name": "ilp_4", "value": 1429040128578595316535682282261781750852199846}, {"parameter": "10", "name": "ilp_4", "value": 22349855070065493728678742527411885817012664}, {"parameter": "11", "name": "ilp_4", "value": 349215155955831819413624965895841393671093}, {"parameter": "12", "name": "ilp_4", "value": 5456494602175735528475568758366026205485}, {"parameter": "13", "name": "ilp_4", "value": 85257885386057144778783237599708872695}, {"parameter": "14", "name": "ilp_4", "value": 1332154449251204120409449865989632648}, {"parameter": "15", "name": "ilp_4", "value": 20814913327592674417185787591154307}, {"parameter": "16", "name": "ilp_4", "value": 325233021915068419979764044136448}, {"parameter": "17", "name": "ilp_4", "value": 5081765967349139067091192156159}, {"parameter": "18", "name": "ilp_4", "value": 79402593240262749066421817919}, {"parameter": "", "name": "johnson_1", "value": 1240665519387833309264872000}, {"parameter": "", "name": "johnson_2", "value": 79402593240262749066421817919}, {"parameter": "0, 4", "name": "Ahlswede_Aydinian", "value": 1783141032125225159006479609533306203498437503116334729}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 380931645401671685325033029167550994124853130338888}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 91548100312826648720267490787683488133826755669}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 91391645965227848867985304771043266413277479488}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 91391645965227848867985304771043266413277479488}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1429040128578595316535682282261781750852199846}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 22349855070065493728678742527411885817012664}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 349215155955831819413624965895841393671093}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 5456494602175735528475568758366026205485}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 85257885386057144778783237599708872695}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 1332154449251204120409449865989632648}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 20814913327592674417185787591154307}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 325233021915068419979764044136448}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 5081765967349139067091192156159}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 79402593240262749066421817919}, {"parameter": "1, 3", "name": "Ahlswede_Aydinian", "value": 44344926752432273737170865853609600276836}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 75803293593903204556947164012759051858}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 74766888810749969318569094213167455821}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 74766888810868766055671419385078151317}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 9473387471283126894566734357442571250}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1183888846316177283024134030183273214}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 148017232691220924840159139270061305}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 18502084729509871387750786684771630}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 2312768310683252467651403573681973}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 289096142287317366425764873108795}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 36137140055745041241242575433215}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 4517262921024352490939503799917}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 564778312675689272941346993358}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 70717967806392732252507591681}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 8962307029569807092584530770}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 1260050918128016964283040769}, {"parameter": "2, 2", "name": "Ahlswede_Aydinian", "value": 1240665519387833309264872000}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 1240665519387867544642241811}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 1240665519388141427661200365}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 1240665519390332491812872714}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 1240665519407861005026502262}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1240665519548089110751586865}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1240665520669913957579349748}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1240665529644512797934961175}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 1240665601441307727724634661}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 1240666175815936410634461034}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1240670770830197592538889861}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1240707532047150172216747786}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1241001692382978636296162395}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 1243359502187190978822253232}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1262516242370471001471505865}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 1437245578490050266379957385}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1783141032125225159006479609533306203498437503116334729}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 44344926752432273737170865853609600276836}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1240665519387833309264872000}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 1240665519387833309264872000}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 380931645401671685325033029167550994124853130338888}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 75803293593903204556947164012759051858}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 75933093754166711567718841583942361165}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 76987720056307702751101045235699952640}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 86611185063343977539155728897573429361}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 91548100312826648720267490787683488133826755669}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 91570107067709504706877499068912290737439759847}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 91746504962317396623598726497906697563590521975}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 93180044102351284187755982206444164342203402708}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 106283487804220268196888036429257820626720609929}, {"parameter": "", "name": "improved_johnson", "value": 1240665519387833309264871985}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 10657560904963460573982277187921013318}], "known_codes": [], "upper_bound": 1240665519387833309264871985, "classified": false, "lower_bound": 1237944772043919364484871305, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1237940039285380274899124224}, {"parameter": "", "name": "sphere_covering", "value": 261467970366310100666218}, {"parameter": "", "name": "graham_sloane", "value": 600985824046218319450}, {"parameter": "", "name": "multicomponent", "value": 1237944761669877611773300737}, {"parameter": "", "name": "construction_ST_A_1", "value": 1237944762990402396883104905}, {"parameter": "[(0, 1, 2, 3), (2, 4, 5, 6), (3, 5, 7, 8), (0, 4, 7, 9), (1, 6, 7, 10), (0, 6, 8, 11), (2, 8, 9, 10), (1, 5, 9, 11), (1, 4, 8, 12), (3, 4, 10, 11), (3, 6, 9, 12), (0, 5, 10, 12), (2, 7, 11, 12), (8, 13, 14, 15), (2, 13, 16, 17), (12, 14, 16, 18), (5, 15, 17, 18)]", "name": "ef_computation", "value": 1237944762967556969002696777}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1237940039285380274899124224}, {"parameter": "(4, 15)", "name": "CKMP2019_Lem_41", "value": 1237940113072638664128860809}, {"parameter": "(5, 14)", "name": "CKMP2019_Lem_41", "value": 19342814266759979127013449}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 302231472918124560683009}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 19347535480598412491269257}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 1237940113072360967800655928}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1237940630734112206931361937}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 1237944764263950929492967937}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 1237944772043919284718534657}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 1237944762990034766245400577}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 1237944764266484271929098241}, {"parameter": "(14, 5)", "name": "CKMP2019_Lem_41", "value": 1237944772043919363084910593}, {"parameter": "(15, 4)", "name": "CKMP2019_Lem_41", "value": 1237944772043919364309647361}, {"parameter": "(4, 4, 11)", "name": "CKMP2019_Lem_41", "value": 1237940113072360967800655928}, {"parameter": "(4, 5, 10)", "name": "CKMP2019_Lem_41", "value": 1237940040438301848225710225}, {"parameter": "(4, 6, 9)", "name": "CKMP2019_Lem_41", "value": 1237940039303394674482348545}, {"parameter": "(4, 7, 8)", "name": "CKMP2019_Lem_41", "value": 1237940040438583254499459073}, {"parameter": "(4, 8, 7)", "name": "CKMP2019_Lem_41", "value": 1237940113072360967783845889}, {"parameter": "(4, 9, 6)", "name": "CKMP2019_Lem_41", "value": 1237940113072391822828896257}, {"parameter": "(4, 10, 5)", "name": "CKMP2019_Lem_41", "value": 1237940113072638200406605825}, {"parameter": "(4, 11, 4)", "name": "CKMP2019_Lem_41", "value": 1237940113072638664128856065}, {"parameter": "(5, 4, 10)", "name": "CKMP2019_Lem_41", "value": 19342814266755640121884817}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Lem_41", "value": 19342813131848466378523137}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Lem_41", "value": 19342813114115541788786689}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Lem_41", "value": 19342813131852863351296001}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Lem_41", "value": 19342814266755640121622529}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Lem_41", "value": 19342814266756122231701505}, {"parameter": "(5, 10, 4)", "name": "CKMP2019_Lem_41", "value": 19342814266759971881353217}, {"parameter": "(6, 4, 9)", "name": "CKMP2019_Lem_41", "value": 302231472918056876900865}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Lem_41", "value": 302231455185132287164417}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 302231454908055340191745}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 302231455185200989863937}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Lem_41", "value": 302231472918056876900353}, {"parameter": "(6, 9, 4)", "name": "CKMP2019_Lem_41", "value": 302231472918064409870337}, {"parameter": "(7, 4, 8)", "name": "CKMP2019_Lem_41", "value": 19347535480598411434000385}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Lem_41", "value": 19347535480321334487027713}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 19347535480317005159989249}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Lem_41", "value": 19347535480321335560765441}, {"parameter": "(7, 8, 4)", "name": "CKMP2019_Lem_41", "value": 19347535480598411434000385}, {"parameter": "(8, 4, 7)", "name": "CKMP2019_Lem_41", "value": 1237940113072360967783845889}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Lem_41", "value": 1237940113072356638456807425}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Lem_41", "value": 1237940113072356570811072513}, {"parameter": "(8, 7, 4)", "name": "CKMP2019_Lem_41", "value": 1237940113072356638473584641}, {"parameter": "(9, 4, 6)", "name": "CKMP2019_Lem_41", "value": 1237940630734112206931099649}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Lem_41", "value": 1237940630734112139285364737}, {"parameter": "(9, 6, 4)", "name": "CKMP2019_Lem_41", "value": 1237940630734112138228400129}, {"parameter": "(10, 4, 5)", "name": "CKMP2019_Lem_41", "value": 1237944764263950929492967425}, {"parameter": "(10, 5, 4)", "name": "CKMP2019_Lem_41", "value": 1237944764263950928436002817}, {"parameter": "(11, 4, 4)", "name": "CKMP2019_Lem_41", "value": 1237944772043919284718534657}, {"parameter": "(4, 4, 4, 7)", "name": "CKMP2019_Lem_41", "value": 1237940113072360967783845889}, {"parameter": "(4, 4, 5, 6)", "name": "CKMP2019_Lem_41", "value": 1237940113072356638456807425}, {"parameter": "(4, 4, 6, 5)", "name": "CKMP2019_Lem_41", "value": 1237940113072356570811072513}, {"parameter": "(4, 4, 7, 4)", "name": "CKMP2019_Lem_41", "value": 1237940113072356638473584641}, {"parameter": "(4, 5, 4, 6)", "name": "CKMP2019_Lem_41", "value": 1237940040438301848225447937}, {"parameter": "(4, 5, 5, 5)", "name": "CKMP2019_Lem_41", "value": 1237940040438301780579713025}, {"parameter": "(4, 5, 6, 4)", "name": "CKMP2019_Lem_41", "value": 1237940040438301779522748417}, {"parameter": "(4, 6, 4, 5)", "name": "CKMP2019_Lem_41", "value": 1237940039303394674482348033}, {"parameter": "(4, 6, 5, 4)", "name": "CKMP2019_Lem_41", "value": 1237940039303394673425383425}, {"parameter": "(4, 7, 4, 4)", "name": "CKMP2019_Lem_41", "value": 1237940040438583254499459073}, {"parameter": "(5, 4, 4, 6)", "name": "CKMP2019_Lem_41", "value": 19342814266755640121622529}, {"parameter": "(5, 4, 5, 5)", "name": "CKMP2019_Lem_41", "value": 19342814266755572475887617}, {"parameter": "(5, 4, 6, 4)", "name": "CKMP2019_Lem_41", "value": 19342814266755571418923009}, {"parameter": "(5, 5, 4, 5)", "name": "CKMP2019_Lem_41", "value": 19342813131848466378522625}, {"parameter": "(5, 5, 5, 4)", "name": "CKMP2019_Lem_41", "value": 19342813131848465321558017}, {"parameter": "(5, 6, 4, 4)", "name": "CKMP2019_Lem_41", "value": 19342813114115541788786689}, {"parameter": "(6, 4, 4, 5)", "name": "CKMP2019_Lem_41", "value": 302231472918056876900353}, {"parameter": "(6, 4, 5, 4)", "name": "CKMP2019_Lem_41", "value": 302231472918055819935745}, {"parameter": "(6, 5, 4, 4)", "name": "CKMP2019_Lem_41", "value": 302231455185132287164417}, {"parameter": "(7, 4, 4, 4)", "name": "CKMP2019_Lem_41", "value": 19347535480598411434000385}, {"parameter": "(4, 15)", "name": "CKMP2019_Cor_42", "value": 1237940113072638664128860809}, {"parameter": "(5, 14)", "name": "CKMP2019_Cor_42", "value": 19342814266759979127013449}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 302231472918124560683009}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 19347535480598412491269257}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 1237940113072360967800655928}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1237940630734112206931361937}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 1237944764263950929492967937}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 1237944772043919284718534657}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 1237944762990034766245400577}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 1237944764266484271929098241}, {"parameter": "(14, 5)", "name": "CKMP2019_Cor_42", "value": 1237944772043919363084910593}, {"parameter": "(15, 4)", "name": "CKMP2019_Cor_42", "value": 1237944772043919364309647361}, {"parameter": "(4, 4, 11)", "name": "CKMP2019_Cor_42", "value": 1237940113072360967800655928}, {"parameter": "(4, 5, 10)", "name": "CKMP2019_Cor_42", "value": 1237940040438301848225710225}, {"parameter": "(4, 6, 9)", "name": "CKMP2019_Cor_42", "value": 1237940039303394674482348545}, {"parameter": "(4, 7, 8)", "name": "CKMP2019_Cor_42", "value": 1237940040438583254499459073}, {"parameter": "(4, 8, 7)", "name": "CKMP2019_Cor_42", "value": 1237940113072360967783845889}, {"parameter": "(4, 9, 6)", "name": "CKMP2019_Cor_42", "value": 1237940113072391822828896257}, {"parameter": "(4, 10, 5)", "name": "CKMP2019_Cor_42", "value": 1237940113072638200406605825}, {"parameter": "(4, 11, 4)", "name": "CKMP2019_Cor_42", "value": 1237940113072638664128856065}, {"parameter": "(5, 4, 10)", "name": "CKMP2019_Cor_42", "value": 19342814266755640121884817}, {"parameter": "(5, 5, 9)", "name": "CKMP2019_Cor_42", "value": 19342813131848466378523137}, {"parameter": "(5, 6, 8)", "name": "CKMP2019_Cor_42", "value": 19342813114115541788786689}, {"parameter": "(5, 7, 7)", "name": "CKMP2019_Cor_42", "value": 19342813131852863351296001}, {"parameter": "(5, 8, 6)", "name": "CKMP2019_Cor_42", "value": 19342814266755640121622529}, {"parameter": "(5, 9, 5)", "name": "CKMP2019_Cor_42", "value": 19342814266756122231701505}, {"parameter": "(5, 10, 4)", "name": "CKMP2019_Cor_42", "value": 19342814266759971881353217}, {"parameter": "(6, 4, 9)", "name": "CKMP2019_Cor_42", "value": 302231472918056876900865}, {"parameter": "(6, 5, 8)", "name": "CKMP2019_Cor_42", "value": 302231455185132287164417}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 302231454908055340191745}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 302231455185200989863937}, {"parameter": "(6, 8, 5)", "name": "CKMP2019_Cor_42", "value": 302231472918056876900353}, {"parameter": "(6, 9, 4)", "name": "CKMP2019_Cor_42", "value": 302231472918064409870337}, {"parameter": "(7, 4, 8)", "name": "CKMP2019_Cor_42", "value": 19347535480598411434000385}, {"parameter": "(7, 5, 7)", "name": "CKMP2019_Cor_42", "value": 19347535480321334487027713}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 19347535480317005159989249}, {"parameter": "(7, 7, 5)", "name": "CKMP2019_Cor_42", "value": 19347535480321335560765441}, {"parameter": "(7, 8, 4)", "name": "CKMP2019_Cor_42", "value": 19347535480598411434000385}, {"parameter": "(8, 4, 7)", "name": "CKMP2019_Cor_42", "value": 1237940113072360967783845889}, {"parameter": "(8, 5, 6)", "name": "CKMP2019_Cor_42", "value": 1237940113072356638456807425}, {"parameter": "(8, 6, 5)", "name": "CKMP2019_Cor_42", "value": 1237940113072356570811072513}, {"parameter": "(8, 7, 4)", "name": "CKMP2019_Cor_42", "value": 1237940113072356638473584641}, {"parameter": "(9, 4, 6)", "name": "CKMP2019_Cor_42", "value": 1237940630734112206931099649}, {"parameter": "(9, 5, 5)", "name": "CKMP2019_Cor_42", "value": 1237940630734112139285364737}, {"parameter": "(9, 6, 4)", "name": "CKMP2019_Cor_42", "value": 1237940630734112138228400129}, {"parameter": "(10, 4, 5)", "name": "CKMP2019_Cor_42", "value": 1237944764263950929492967425}, {"parameter": "(10, 5, 4)", "name": "CKMP2019_Cor_42", "value": 1237944764263950928436002817}, {"parameter": "(11, 4, 4)", "name": "CKMP2019_Cor_42", "value": 1237944772043919284718534657}, {"parameter": "(4, 4, 4, 7)", "name": "CKMP2019_Cor_42", "value": 1237940113072360967783845889}, {"parameter": "(4, 4, 5, 6)", "name": "CKMP2019_Cor_42", "value": 1237940113072356638456807425}, {"parameter": "(4, 4, 6, 5)", "name": "CKMP2019_Cor_42", "value": 1237940113072356570811072513}, {"parameter": "(4, 4, 7, 4)", "name": "CKMP2019_Cor_42", "value": 1237940113072356638473584641}, {"parameter": "(4, 5, 4, 6)", "name": "CKMP2019_Cor_42", "value": 1237940040438301848225447937}, {"parameter": "(4, 5, 5, 5)", "name": "CKMP2019_Cor_42", "value": 1237940040438301780579713025}, {"parameter": "(4, 5, 6, 4)", "name": "CKMP2019_Cor_42", "value": 1237940040438301779522748417}, {"parameter": "(4, 6, 4, 5)", "name": "CKMP2019_Cor_42", "value": 1237940039303394674482348033}, {"parameter": "(4, 6, 5, 4)", "name": "CKMP2019_Cor_42", "value": 1237940039303394673425383425}, {"parameter": "(4, 7, 4, 4)", "name": "CKMP2019_Cor_42", "value": 1237940040438583254499459073}, {"parameter": "(5, 4, 4, 6)", "name": "CKMP2019_Cor_42", "value": 19342814266755640121622529}, {"parameter": "(5, 4, 5, 5)", "name": "CKMP2019_Cor_42", "value": 19342814266755572475887617}, {"parameter": "(5, 4, 6, 4)", "name": "CKMP2019_Cor_42", "value": 19342814266755571418923009}, {"parameter": "(5, 5, 4, 5)", "name": "CKMP2019_Cor_42", "value": 19342813131848466378522625}, {"parameter": "(5, 5, 5, 4)", "name": "CKMP2019_Cor_42", "value": 19342813131848465321558017}, {"parameter": "(5, 6, 4, 4)", "name": "CKMP2019_Cor_42", "value": 19342813114115541788786689}, {"parameter": "(6, 4, 4, 5)", "name": "CKMP2019_Cor_42", "value": 302231472918056876900353}, {"parameter": "(6, 4, 5, 4)", "name": "CKMP2019_Cor_42", "value": 302231472918055819935745}, {"parameter": "(6, 5, 4, 4)", "name": "CKMP2019_Cor_42", "value": 302231455185132287164417}, {"parameter": "(7, 4, 4, 4)", "name": "CKMP2019_Cor_42", "value": 19347535480598411434000385}, {"parameter": "", "name": "construction_1", "value": 1237944772043919364484871305}, {"parameter": "4", "name": "linkage_GLT", "value": 1237940113072638664128860809}, {"parameter": "5", "name": "linkage_GLT", "value": 19342814266759979127013449}, {"parameter": "6", "name": "linkage_GLT", "value": 302231472918124560683009}, {"parameter": "7", "name": "linkage_GLT", "value": 19347535480598412491269257}, {"parameter": "8", "name": "linkage_GLT", "value": 1237940113072360967800655928}, {"parameter": "9", "name": "linkage_GLT", "value": 1237940630734112206931361937}, {"parameter": "10", "name": "linkage_GLT", "value": 1237944764263950929492967937}, {"parameter": "11", "name": "linkage_GLT", "value": 1237944772043919284718534657}, {"parameter": "12", "name": "linkage_GLT", "value": 1237944762990034766245400577}, {"parameter": "13", "name": "linkage_GLT", "value": 1237944764266484271929098241}, {"parameter": "14", "name": "linkage_GLT", "value": 1237944772043919363084910593}, {"parameter": "15", "name": "linkage_GLT", "value": 1237944772043919364309647361}, {"parameter": "4", "name": "improved_linkage", "value": 1237944761669917185602266249}, {"parameter": "5", "name": "improved_linkage", "value": 19342886901092456025035401}, {"parameter": "6", "name": "improved_linkage", "value": 302232607829569625391177}, {"parameter": "7", "name": "improved_linkage", "value": 19347535498331403707518977}, {"parameter": "8", "name": "improved_linkage", "value": 1237940113072638045788087433}, {"parameter": "9", "name": "improved_linkage", "value": 1237940630734116536274948152}, {"parameter": "10", "name": "improved_linkage", "value": 1237944764263950997138964625}, {"parameter": "11", "name": "improved_linkage", "value": 1237944772043919285775499777}, {"parameter": "12", "name": "improved_linkage", "value": 1237944762990034766262173697}, {"parameter": "13", "name": "improved_linkage", "value": 1237944764266484271929102337}, {"parameter": "14", "name": "improved_linkage", "value": 1237944772043919363084910593}, {"parameter": "15", "name": "improved_linkage", "value": 1237944772043919364309647361}, {"parameter": "16", "name": "improved_linkage", "value": 19342887063186240069734401}, {"parameter": "4,0", "name": "generalized_linkage", "value": 1237940113072638664128860809}, {"parameter": "4,1", "name": "generalized_linkage", "value": 1237944761669917185602266249}, {"parameter": "5,0", "name": "generalized_linkage", "value": 19342814266759979127013449}, {"parameter": "5,1", "name": "generalized_linkage", "value": 19342886901092456025035401}, {"parameter": "6,0", "name": "generalized_linkage", "value": 302231472918124560683009}, {"parameter": "6,1", "name": "generalized_linkage", "value": 302232607829569625391177}, {"parameter": "7,0", "name": "generalized_linkage", "value": 19347535480598412491269257}, {"parameter": "7,1", "name": "generalized_linkage", "value": 19347535498331403707518977}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1237940113072360967800655928}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1237940113072638045788087433}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1237940630734112206931361937}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1237940630734116536274948152}, {"parameter": "10,0", "name": "generalized_linkage", "value": 1237944764263950929492967937}, {"parameter": "10,1", "name": "generalized_linkage", "value": 1237944764263950997138964625}, {"parameter": "11,0", "name": "generalized_linkage", "value": 1237944772043919284718534657}, {"parameter": "11,1", "name": "generalized_linkage", "value": 1237944772043919285775499777}, {"parameter": "12,0", "name": "generalized_linkage", "value": 1237944762990034766245400577}, {"parameter": "12,1", "name": "generalized_linkage", "value": 1237944762990034766262173697}, {"parameter": "13,0", "name": "generalized_linkage", "value": 1237944764266484271929098241}, {"parameter": "13,1", "name": "generalized_linkage", "value": 1237944764266484271929102337}, {"parameter": "14,0", "name": "generalized_linkage", "value": 1237944772043919363084910593}, {"parameter": "14,1", "name": "generalized_linkage", "value": 1237944772043919363084910593}, {"parameter": "15,0", "name": "generalized_linkage", "value": 1237944772043919364309647361}, {"parameter": "15,1", "name": "generalized_linkage", "value": 1237944772043919364309647361}, {"parameter": "16,1", "name": "generalized_linkage", "value": 19342887063186240069734401}, {"parameter": "[4, 15],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072638664128860809}, {"parameter": "[4, 15],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944761669917185602266249}, {"parameter": "[5, 14],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266759979127013449}, {"parameter": "[5, 14],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886901092456025035401}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918124560683009}, {"parameter": "[6, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607829569625391177}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598412491269257}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535498331403707518977}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360967800655928}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072638045788087433}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734112206931361937}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734116536274948152}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944764263950929492967937}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944764263950997138964625}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944772043919284718534657}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944772043919285775499777}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944762990034766245400577}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944762990034766262173697}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944764266484271929098241}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944764266484271929102337}, {"parameter": "[14, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944772043919363084910593}, {"parameter": "[14, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944772043919363084910593}, {"parameter": "[15, 4],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944772043919364309647361}, {"parameter": "[15, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944772043919364309647361}, {"parameter": "[16, 3],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342887063186240069734401}, {"parameter": "[4, 3, 12],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598412491269257}, {"parameter": "[4, 3, 12],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535498331403707518977}, {"parameter": "[4, 4, 11],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360967800655928}, {"parameter": "[4, 4, 11],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072638045788087433}, {"parameter": "[4, 4, 11],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360967800655928}, {"parameter": "[4, 4, 11],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072638045788087433}, {"parameter": "[4, 5, 10],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301848225710225}, {"parameter": "[4, 5, 10],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438306177569296440}, {"parameter": "[4, 5, 10],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301848225710225}, {"parameter": "[4, 5, 10],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438306177569296440}, {"parameter": "[4, 6, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394674482348545}, {"parameter": "[4, 6, 9],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394742128345233}, {"parameter": "[4, 6, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113090370969320555009}, {"parameter": "[4, 6, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113090371036966551697}, {"parameter": "[4, 7, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438583254499459073}, {"parameter": "[4, 7, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438583255556424193}, {"parameter": "[4, 7, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944761652144619537825793}, {"parameter": "[4, 7, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944761652144620594790913}, {"parameter": "[4, 8, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360967783845889}, {"parameter": "[4, 8, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360967800619009}, {"parameter": "[4, 8, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944761654119342404538369}, {"parameter": "[4, 8, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944761654119342421311489}, {"parameter": "[4, 9, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072391822828896257}, {"parameter": "[4, 9, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072391822828900353}, {"parameter": "[4, 9, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944761669887507377946625}, {"parameter": "[4, 9, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944761669887507377950721}, {"parameter": "[4, 10, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072638200406605825}, {"parameter": "[4, 10, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072638200406605825}, {"parameter": "[4, 10, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944761669917185601961985}, {"parameter": "[4, 10, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944761669917185601961985}, {"parameter": "[4, 11, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072638664128856065}, {"parameter": "[4, 11, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072638664128856065}, {"parameter": "[4, 11, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944761669882647773446145}, {"parameter": "[4, 11, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944761669882647773446145}, {"parameter": "[4, 12, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266759970694926337}, {"parameter": "[4, 12, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886901091992453779457}, {"parameter": "[5, 3, 11],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350195208248}, {"parameter": "[5, 3, 11],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305242161428182639753}, {"parameter": "[5, 4, 10],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121884817}, {"parameter": "[5, 4, 10],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266759969465471032}, {"parameter": "[5, 4, 10],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121884817}, {"parameter": "[5, 4, 10],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266759969465471032}, {"parameter": "[5, 5, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378523137}, {"parameter": "[5, 5, 9],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848534024519825}, {"parameter": "[5, 5, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378523137}, {"parameter": "[5, 5, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848534024519825}, {"parameter": "[5, 6, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115541788786689}, {"parameter": "[5, 6, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115542845751809}, {"parameter": "[5, 6, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[5, 6, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037047452598785}, {"parameter": "[5, 7, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131852863351296001}, {"parameter": "[5, 7, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131852863368069121}, {"parameter": "[5, 7, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886900814759680020481}, {"parameter": "[5, 7, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886900814759696793601}, {"parameter": "[5, 8, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121622529}, {"parameter": "[5, 8, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[5, 8, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886900845614725070849}, {"parameter": "[5, 8, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886900845614725074945}, {"parameter": "[5, 9, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266756122231701505}, {"parameter": "[5, 9, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266756122231701505}, {"parameter": "[5, 9, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886901091992302780417}, {"parameter": "[5, 9, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886901091992302780417}, {"parameter": "[5, 10, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266759971881353217}, {"parameter": "[5, 10, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266759971881353217}, {"parameter": "[5, 10, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886901092456025030657}, {"parameter": "[5, 10, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886901092456025030657}, {"parameter": "[5, 11, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918124673859585}, {"parameter": "[5, 11, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607829561193304065}, {"parameter": "[6, 3, 10],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971799697}, {"parameter": "[6, 3, 10],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519408772315385912}, {"parameter": "[6, 4, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900865}, {"parameter": "[6, 4, 9],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918124522897553}, {"parameter": "[6, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900865}, {"parameter": "[6, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918124522897553}, {"parameter": "[6, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[6, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185133344129537}, {"parameter": "[6, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[6, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185133344129537}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340191745}, {"parameter": "[6, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055356964865}, {"parameter": "[6, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453849673729}, {"parameter": "[6, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453866446849}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989863937}, {"parameter": "[6, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989868033}, {"parameter": "[6, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302232607825230620000257}, {"parameter": "[6, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607825230620004353}, {"parameter": "[6, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[6, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[6, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302232607825712730079233}, {"parameter": "[6, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607825712730079233}, {"parameter": "[6, 9, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918064409870337}, {"parameter": "[6, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918064409870337}, {"parameter": "[6, 9, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302232607829562379730945}, {"parameter": "[6, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607829562379730945}, {"parameter": "[6, 10, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764345696260097}, {"parameter": "[6, 10, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722384497337025396737}, {"parameter": "[7, 3, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305259894351715107329}, {"parameter": "[7, 3, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305259894419361104017}, {"parameter": "[7, 4, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[7, 4, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598412490965505}, {"parameter": "[7, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[7, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598412490965505}, {"parameter": "[7, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480321334487027713}, {"parameter": "[7, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480321334503800833}, {"parameter": "[7, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480321334487027713}, {"parameter": "[7, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480321334503800833}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480317005159989249}, {"parameter": "[7, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480317005159993345}, {"parameter": "[7, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598480136699905}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598480136704001}, {"parameter": "[7, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480321335560765441}, {"parameter": "[7, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480321335560765441}, {"parameter": "[7, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535498331336023736321}, {"parameter": "[7, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535498331336023736321}, {"parameter": "[7, 8, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[7, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[7, 8, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535498331343556706305}, {"parameter": "[7, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535498331343556706305}, {"parameter": "[7, 9, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350180495361}, {"parameter": "[7, 9, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305242161428182929409}, {"parameter": "[8, 3, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[8, 3, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037047452598785}, {"parameter": "[8, 4, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360967783845889}, {"parameter": "[8, 4, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360967800619009}, {"parameter": "[8, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360967783845889}, {"parameter": "[8, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360967800619009}, {"parameter": "[8, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638456807425}, {"parameter": "[8, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638456811521}, {"parameter": "[8, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638456807425}, {"parameter": "[8, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638456811521}, {"parameter": "[8, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356570811072513}, {"parameter": "[8, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356570811072513}, {"parameter": "[8, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360968857583617}, {"parameter": "[8, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360968857583617}, {"parameter": "[8, 7, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638473584641}, {"parameter": "[8, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638473584641}, {"parameter": "[8, 7, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072638044730818561}, {"parameter": "[8, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072638044730818561}, {"parameter": "[8, 8, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[8, 8, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266759969450758145}, {"parameter": "[9, 3, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342822355224900206071809}, {"parameter": "[9, 3, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342822355224900222844929}, {"parameter": "[9, 4, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734112206931099649}, {"parameter": "[9, 4, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734112206931103745}, {"parameter": "[9, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734112206931099649}, {"parameter": "[9, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734112206931103745}, {"parameter": "[9, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734112139285364737}, {"parameter": "[9, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734112139285364737}, {"parameter": "[9, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734112139285364737}, {"parameter": "[9, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734112139285364737}, {"parameter": "[9, 6, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734112138228400129}, {"parameter": "[9, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734112138228400129}, {"parameter": "[9, 6, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734112206947876865}, {"parameter": "[9, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940630734112206947876865}, {"parameter": "[9, 7, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342822355220502176337921}, {"parameter": "[9, 7, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342822355220570879037441}, {"parameter": "[10, 3, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886941624301976027137}, {"parameter": "[10, 3, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886941624301976031233}, {"parameter": "[10, 4, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944764263950929492967425}, {"parameter": "[10, 4, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944764263950929492967425}, {"parameter": "[10, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944764263950929492967425}, {"parameter": "[10, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944764263950929492967425}, {"parameter": "[10, 5, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944764263950928436002817}, {"parameter": "[10, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944764263950928436002817}, {"parameter": "[10, 5, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944764263950928436002817}, {"parameter": "[10, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944764263950928436002817}, {"parameter": "[10, 6, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886941624233256554497}, {"parameter": "[10, 6, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886941624233273331713}, {"parameter": "[11, 3, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342887063186239897206785}, {"parameter": "[11, 3, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342887063186239897206785}, {"parameter": "[11, 4, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944772043919284718534657}, {"parameter": "[11, 4, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944772043919284718534657}, {"parameter": "[11, 4, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944772043919284718534657}, {"parameter": "[11, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944772043919284718534657}, {"parameter": "[11, 5, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342887063186238823469057}, {"parameter": "[11, 5, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342887063186238823469057}, {"parameter": "[12, 3, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886921719293239361537}, {"parameter": "[12, 3, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886921719293239361537}, {"parameter": "[12, 4, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886921719293222588417}, {"parameter": "[12, 4, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886921719293222588417}, {"parameter": "[13, 3, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232608463497136705537}, {"parameter": "[4, 3, 3, 9],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305259894351715107329}, {"parameter": "[4, 3, 3, 9],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305259894419361104017}, {"parameter": "[4, 3, 4, 8],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[4, 3, 4, 8],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598412490965505}, {"parameter": "[4, 3, 4, 8],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[4, 3, 4, 8],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598412490965505}, {"parameter": "[4, 3, 5, 7],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480321334487027713}, {"parameter": "[4, 3, 5, 7],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480321334503800833}, {"parameter": "[4, 3, 5, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480321334487027713}, {"parameter": "[4, 3, 5, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480321334503800833}, {"parameter": "[4, 3, 6, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480317005159989249}, {"parameter": "[4, 3, 6, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480317005159993345}, {"parameter": "[4, 3, 6, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598480136699905}, {"parameter": "[4, 3, 6, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598480136704001}, {"parameter": "[4, 3, 7, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480321335560765441}, {"parameter": "[4, 3, 7, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480321335560765441}, {"parameter": "[4, 3, 7, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535498331336023736321}, {"parameter": "[4, 3, 7, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535498331336023736321}, {"parameter": "[4, 3, 8, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[4, 3, 8, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[4, 3, 8, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535498331343556706305}, {"parameter": "[4, 3, 8, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535498331343556706305}, {"parameter": "[4, 3, 9, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350180495361}, {"parameter": "[4, 3, 9, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305242161428182929409}, {"parameter": "[4, 4, 3, 8],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[4, 4, 3, 8],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037047452598785}, {"parameter": "[4, 4, 3, 8],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[4, 4, 3, 8],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037047452598785}, {"parameter": "[4, 4, 4, 7],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360967783845889}, {"parameter": "[4, 4, 4, 7],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360967800619009}, {"parameter": "[4, 4, 4, 7],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360967783845889}, {"parameter": "[4, 4, 4, 7],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360967800619009}, {"parameter": "[4, 4, 4, 7],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360967783845889}, {"parameter": "[4, 4, 4, 7],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360967800619009}, {"parameter": "[4, 4, 4, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360967783845889}, {"parameter": "[4, 4, 4, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360967800619009}, {"parameter": "[4, 4, 5, 6],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638456807425}, {"parameter": "[4, 4, 5, 6],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638456811521}, {"parameter": "[4, 4, 5, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638456807425}, {"parameter": "[4, 4, 5, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638456811521}, {"parameter": "[4, 4, 5, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638456807425}, {"parameter": "[4, 4, 5, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638456811521}, {"parameter": "[4, 4, 5, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638456807425}, {"parameter": "[4, 4, 5, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638456811521}, {"parameter": "[4, 4, 6, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356570811072513}, {"parameter": "[4, 4, 6, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356570811072513}, {"parameter": "[4, 4, 6, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360968857583617}, {"parameter": "[4, 4, 6, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360968857583617}, {"parameter": "[4, 4, 6, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356570811072513}, {"parameter": "[4, 4, 6, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356570811072513}, {"parameter": "[4, 4, 6, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360968857583617}, {"parameter": "[4, 4, 6, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072360968857583617}, {"parameter": "[4, 4, 7, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638473584641}, {"parameter": "[4, 4, 7, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638473584641}, {"parameter": "[4, 4, 7, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072638044730818561}, {"parameter": "[4, 4, 7, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072638044730818561}, {"parameter": "[4, 4, 7, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638473584641}, {"parameter": "[4, 4, 7, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072356638473584641}, {"parameter": "[4, 4, 7, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072638044730818561}, {"parameter": "[4, 4, 7, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113072638044730818561}, {"parameter": "[4, 4, 8, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[4, 4, 8, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266759969450758145}, {"parameter": "[4, 4, 8, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[4, 4, 8, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266759969450758145}, {"parameter": "[4, 5, 3, 7],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131852863351296001}, {"parameter": "[4, 5, 3, 7],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131852863368069121}, {"parameter": "[4, 5, 3, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131852863351296001}, {"parameter": "[4, 5, 3, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131852863368069121}, {"parameter": "[4, 5, 4, 6],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301848225447937}, {"parameter": "[4, 5, 4, 6],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301848225452033}, {"parameter": "[4, 5, 4, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301848225447937}, {"parameter": "[4, 5, 4, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301848225452033}, {"parameter": "[4, 5, 4, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301848225447937}, {"parameter": "[4, 5, 4, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301848225452033}, {"parameter": "[4, 5, 4, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301848225447937}, {"parameter": "[4, 5, 4, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301848225452033}, {"parameter": "[4, 5, 5, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301780579713025}, {"parameter": "[4, 5, 5, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301780579713025}, {"parameter": "[4, 5, 5, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301780579713025}, {"parameter": "[4, 5, 5, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301780579713025}, {"parameter": "[4, 5, 5, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301780579713025}, {"parameter": "[4, 5, 5, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301780579713025}, {"parameter": "[4, 5, 5, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301780579713025}, {"parameter": "[4, 5, 5, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301780579713025}, {"parameter": "[4, 5, 6, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301779522748417}, {"parameter": "[4, 5, 6, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301779522748417}, {"parameter": "[4, 5, 6, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301848242225153}, {"parameter": "[4, 5, 6, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301848242225153}, {"parameter": "[4, 5, 6, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301779522748417}, {"parameter": "[4, 5, 6, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301779522748417}, {"parameter": "[4, 5, 6, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301848242225153}, {"parameter": "[4, 5, 6, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438301848242225153}, {"parameter": "[4, 5, 7, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321562113}, {"parameter": "[4, 5, 7, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848534024261633}, {"parameter": "[4, 5, 7, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321562113}, {"parameter": "[4, 5, 7, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848534024261633}, {"parameter": "[4, 6, 3, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115610491486209}, {"parameter": "[4, 6, 3, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115610491490305}, {"parameter": "[4, 6, 3, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037115098333185}, {"parameter": "[4, 6, 3, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037115098337281}, {"parameter": "[4, 6, 4, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394674482348033}, {"parameter": "[4, 6, 4, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394674482348033}, {"parameter": "[4, 6, 4, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394674482348033}, {"parameter": "[4, 6, 4, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394674482348033}, {"parameter": "[4, 6, 4, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113090370969320554497}, {"parameter": "[4, 6, 4, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113090370969320554497}, {"parameter": "[4, 6, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113090370969320554497}, {"parameter": "[4, 6, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113090370969320554497}, {"parameter": "[4, 6, 5, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394673425383425}, {"parameter": "[4, 6, 5, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394673425383425}, {"parameter": "[4, 6, 5, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394673425383425}, {"parameter": "[4, 6, 5, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940039303394673425383425}, {"parameter": "[4, 6, 5, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113090370968263589889}, {"parameter": "[4, 6, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113090370968263589889}, {"parameter": "[4, 6, 5, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940113090370968263589889}, {"parameter": "[4, 6, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940113090370968263589889}, {"parameter": "[4, 6, 6, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115541772013569}, {"parameter": "[4, 6, 6, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115541788790785}, {"parameter": "[4, 6, 6, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046378860545}, {"parameter": "[4, 6, 6, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395637761}, {"parameter": "[4, 7, 3, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131852864425033729}, {"parameter": "[4, 7, 3, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131852864425033729}, {"parameter": "[4, 7, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886900814760753758209}, {"parameter": "[4, 7, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886900814760753758209}, {"parameter": "[4, 7, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438583254499459073}, {"parameter": "[4, 7, 4, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438583254499459073}, {"parameter": "[4, 7, 4, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438583254499459073}, {"parameter": "[4, 7, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237940040438583254499459073}, {"parameter": "[4, 7, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944761652144619537825793}, {"parameter": "[4, 7, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944761652144619537825793}, {"parameter": "[4, 7, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1237944761652144619537825793}, {"parameter": "[4, 7, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237944761652144619537825793}, {"parameter": "[4, 7, 5, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131852863351296001}, {"parameter": "[4, 7, 5, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131852863351296001}, {"parameter": "[4, 7, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886900814759680020481}, {"parameter": "[4, 7, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886900814759680020481}, {"parameter": "[4, 8, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[4, 8, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[4, 8, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886900845614741848065}, {"parameter": "[4, 8, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886900845614741848065}, {"parameter": "[4, 8, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[4, 8, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[4, 8, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886900845614725074945}, {"parameter": "[4, 8, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886900845614725074945}, {"parameter": "[4, 9, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918064409874433}, {"parameter": "[4, 9, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607829562379735041}, {"parameter": "[5, 3, 3, 8],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849245548545}, {"parameter": "[5, 3, 3, 8],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519685850302513665}, {"parameter": "[5, 3, 4, 7],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350178398209}, {"parameter": "[5, 3, 4, 7],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350195171329}, {"parameter": "[5, 3, 4, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350178398209}, {"parameter": "[5, 3, 4, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350195171329}, {"parameter": "[5, 3, 5, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851359745}, {"parameter": "[5, 3, 5, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851363841}, {"parameter": "[5, 3, 5, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851359745}, {"parameter": "[5, 3, 5, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851363841}, {"parameter": "[5, 3, 6, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241879953205624833}, {"parameter": "[5, 3, 6, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241879953205624833}, {"parameter": "[5, 3, 6, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241884351252135937}, {"parameter": "[5, 3, 6, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884351252135937}, {"parameter": "[5, 3, 7, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020868136961}, {"parameter": "[5, 3, 7, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020868136961}, {"parameter": "[5, 3, 7, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305242161427125370881}, {"parameter": "[5, 3, 7, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305242161427125370881}, {"parameter": "[5, 3, 8, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[5, 3, 8, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519408772300673025}, {"parameter": "[5, 4, 3, 7],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453849673729}, {"parameter": "[5, 4, 3, 7],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453866446849}, {"parameter": "[5, 4, 3, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453849673729}, {"parameter": "[5, 4, 3, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453866446849}, {"parameter": "[5, 4, 4, 6],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121622529}, {"parameter": "[5, 4, 4, 6],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[5, 4, 4, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121622529}, {"parameter": "[5, 4, 4, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[5, 4, 4, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121622529}, {"parameter": "[5, 4, 4, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121622529}, {"parameter": "[5, 4, 4, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[5, 4, 5, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[5, 4, 5, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[5, 4, 5, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[5, 4, 5, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[5, 4, 5, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[5, 4, 5, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[5, 4, 6, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755571418923009}, {"parameter": "[5, 4, 6, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755571418923009}, {"parameter": "[5, 4, 6, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[5, 4, 6, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755571418923009}, {"parameter": "[5, 4, 6, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755571418923009}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[5, 4, 6, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[5, 4, 7, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819939841}, {"parameter": "[5, 4, 7, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918124522639361}, {"parameter": "[5, 4, 7, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819939841}, {"parameter": "[5, 4, 7, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918124522639361}, {"parameter": "[5, 5, 3, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989863937}, {"parameter": "[5, 5, 3, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989868033}, {"parameter": "[5, 5, 3, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989863937}, {"parameter": "[5, 5, 3, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989868033}, {"parameter": "[5, 5, 4, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378522625}, {"parameter": "[5, 5, 4, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378522625}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378522625}, {"parameter": "[5, 5, 4, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378522625}, {"parameter": "[5, 5, 4, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378522625}, {"parameter": "[5, 5, 4, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378522625}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378522625}, {"parameter": "[5, 5, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378522625}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321558017}, {"parameter": "[5, 5, 5, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321558017}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321558017}, {"parameter": "[5, 5, 5, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321558017}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321558017}, {"parameter": "[5, 5, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321558017}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321558017}, {"parameter": "[5, 5, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321558017}, {"parameter": "[5, 5, 6, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132270391297}, {"parameter": "[5, 5, 6, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287168513}, {"parameter": "[5, 5, 6, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132270391297}, {"parameter": "[5, 5, 6, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287168513}, {"parameter": "[5, 6, 3, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454908056413929473}, {"parameter": "[5, 6, 3, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454908056413929473}, {"parameter": "[5, 6, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472922454923411457}, {"parameter": "[5, 6, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922454923411457}, {"parameter": "[5, 6, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115541788786689}, {"parameter": "[5, 6, 4, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115541788786689}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115541788786689}, {"parameter": "[5, 6, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115541788786689}, {"parameter": "[5, 6, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[5, 6, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[5, 6, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[5, 6, 5, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340191745}, {"parameter": "[5, 6, 5, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340191745}, {"parameter": "[5, 6, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453849673729}, {"parameter": "[5, 6, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453849673729}, {"parameter": "[5, 7, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185201006641153}, {"parameter": "[5, 7, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185201006641153}, {"parameter": "[5, 7, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302232607825230636777473}, {"parameter": "[5, 7, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607825230636777473}, {"parameter": "[5, 7, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989868033}, {"parameter": "[5, 7, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989868033}, {"parameter": "[5, 7, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607825230620004353}, {"parameter": "[5, 7, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607825230620004353}, {"parameter": "[5, 8, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638705665}, {"parameter": "[5, 8, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722384497276761411585}, {"parameter": "[6, 3, 3, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73804995091394203649}, {"parameter": "[6, 3, 3, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804995091410976769}, {"parameter": "[6, 3, 4, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971537409}, {"parameter": "[6, 3, 4, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[6, 3, 4, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971537409}, {"parameter": "[6, 3, 4, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[6, 3, 5, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404375325802497}, {"parameter": "[6, 3, 5, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404375325802497}, {"parameter": "[6, 3, 5, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404375325802497}, {"parameter": "[6, 3, 5, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404375325802497}, {"parameter": "[6, 3, 6, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404374268837889}, {"parameter": "[6, 3, 6, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404374268837889}, {"parameter": "[6, 3, 6, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988314625}, {"parameter": "[6, 3, 6, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988314625}, {"parameter": "[6, 3, 7, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804990693364469761}, {"parameter": "[6, 3, 7, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804990762067169281}, {"parameter": "[6, 4, 3, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341401089}, {"parameter": "[6, 4, 3, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[6, 4, 3, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341401089}, {"parameter": "[6, 4, 3, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[6, 4, 4, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[6, 4, 4, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[6, 4, 4, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[6, 4, 4, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[6, 4, 4, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[6, 4, 4, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[6, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[6, 4, 5, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819935745}, {"parameter": "[6, 4, 5, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819935745}, {"parameter": "[6, 4, 5, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819935745}, {"parameter": "[6, 4, 5, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819935745}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819935745}, {"parameter": "[6, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819935745}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819935745}, {"parameter": "[6, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819935745}, {"parameter": "[6, 4, 6, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344621928449}, {"parameter": "[6, 4, 6, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638705665}, {"parameter": "[6, 4, 6, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344621928449}, {"parameter": "[6, 4, 6, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638705665}, {"parameter": "[6, 5, 3, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366487268765466625}, {"parameter": "[6, 5, 3, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487268765466625}, {"parameter": "[6, 5, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366487268765466625}, {"parameter": "[6, 5, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487268765466625}, {"parameter": "[6, 5, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[6, 5, 4, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[6, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[6, 5, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[6, 5, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[6, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[6, 5, 5, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691728897}, {"parameter": "[6, 5, 5, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691728897}, {"parameter": "[6, 5, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691728897}, {"parameter": "[6, 5, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691728897}, {"parameter": "[6, 6, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938381467649}, {"parameter": "[6, 6, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938381467649}, {"parameter": "[6, 6, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413358178305}, {"parameter": "[6, 6, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413358178305}, {"parameter": "[6, 6, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364694529}, {"parameter": "[6, 6, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364694529}, {"parameter": "[6, 6, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[6, 6, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[6, 7, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363574464513}, {"parameter": "[6, 7, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787257769831698433}, {"parameter": "[7, 3, 3, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519685917948248065}, {"parameter": "[7, 3, 3, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519685917948252161}, {"parameter": "[7, 3, 4, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305259894351715106817}, {"parameter": "[7, 3, 4, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305259894351715106817}, {"parameter": "[7, 3, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305259894351715106817}, {"parameter": "[7, 3, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305259894351715106817}, {"parameter": "[7, 3, 5, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305259894350658142209}, {"parameter": "[7, 3, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305259894350658142209}, {"parameter": "[7, 3, 5, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305259894350658142209}, {"parameter": "[7, 3, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305259894350658142209}, {"parameter": "[7, 3, 6, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849228775425}, {"parameter": "[7, 3, 6, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849245552641}, {"parameter": "[7, 4, 3, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241884351252135937}, {"parameter": "[7, 4, 3, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884351252135937}, {"parameter": "[7, 4, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241884351252135937}, {"parameter": "[7, 4, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884351252135937}, {"parameter": "[7, 4, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[7, 4, 4, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[7, 4, 4, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[7, 4, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[7, 4, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[7, 4, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[7, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[7, 4, 5, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350178398209}, {"parameter": "[7, 4, 5, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350178398209}, {"parameter": "[7, 4, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350178398209}, {"parameter": "[7, 4, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350178398209}, {"parameter": "[7, 5, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020868136961}, {"parameter": "[7, 5, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020868136961}, {"parameter": "[7, 5, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020868136961}, {"parameter": "[7, 5, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020868136961}, {"parameter": "[7, 5, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851363841}, {"parameter": "[7, 5, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851363841}, {"parameter": "[7, 5, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851363841}, {"parameter": "[7, 5, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851363841}, {"parameter": "[7, 6, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404374268841985}, {"parameter": "[7, 6, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988318721}, {"parameter": "[8, 3, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472922454923411457}, {"parameter": "[8, 3, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922454923411457}, {"parameter": "[8, 3, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[8, 3, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[8, 3, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[8, 3, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[8, 3, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453849673729}, {"parameter": "[8, 3, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453849673729}, {"parameter": "[8, 4, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[8, 4, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[8, 4, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[8, 4, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[8, 4, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[8, 4, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[8, 4, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[8, 4, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[8, 5, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819939841}, {"parameter": "[8, 5, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819939841}, {"parameter": "[9, 3, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231599300389082497025}, {"parameter": "[9, 3, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231599300389082497025}, {"parameter": "[9, 3, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231599300389065723905}, {"parameter": "[9, 3, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231599300389065723905}, {"parameter": "[9, 4, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231599300320363024385}, {"parameter": "[9, 4, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231599300320363024385}, {"parameter": "[10, 3, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722384507232495603713}, {"parameter": "[4, 3, 3, 3, 6],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519685917948248065}, {"parameter": "[4, 3, 3, 3, 6],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519685917948252161}, {"parameter": "[4, 3, 3, 4, 5],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305259894351715106817}, {"parameter": "[4, 3, 3, 4, 5],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305259894351715106817}, {"parameter": "[4, 3, 3, 4, 5],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305259894351715106817}, {"parameter": "[4, 3, 3, 4, 5],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305259894351715106817}, {"parameter": "[4, 3, 3, 5, 4],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305259894350658142209}, {"parameter": "[4, 3, 3, 5, 4],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305259894350658142209}, {"parameter": "[4, 3, 3, 5, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305259894350658142209}, {"parameter": "[4, 3, 3, 5, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305259894350658142209}, {"parameter": "[4, 3, 3, 6, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849228775425}, {"parameter": "[4, 3, 3, 6, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849245552641}, {"parameter": "[4, 3, 4, 3, 5],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241884351252135937}, {"parameter": "[4, 3, 4, 3, 5],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884351252135937}, {"parameter": "[4, 3, 4, 3, 5],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241884351252135937}, {"parameter": "[4, 3, 4, 3, 5],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884351252135937}, {"parameter": "[4, 3, 4, 4, 4],[0, 1, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[4, 3, 4, 4, 4],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[4, 3, 4, 4, 4],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[4, 3, 4, 4, 4],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[4, 3, 4, 4, 4],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[4, 3, 4, 4, 4],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[4, 3, 4, 4, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[4, 3, 4, 4, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19347535480598411434000385}, {"parameter": "[4, 3, 4, 5, 3],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350178398209}, {"parameter": "[4, 3, 4, 5, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350178398209}, {"parameter": "[4, 3, 4, 5, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350178398209}, {"parameter": "[4, 3, 4, 5, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350178398209}, {"parameter": "[4, 3, 5, 3, 4],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020868136961}, {"parameter": "[4, 3, 5, 3, 4],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020868136961}, {"parameter": "[4, 3, 5, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020868136961}, {"parameter": "[4, 3, 5, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020868136961}, {"parameter": "[4, 3, 5, 4, 3],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851363841}, {"parameter": "[4, 3, 5, 4, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851363841}, {"parameter": "[4, 3, 5, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851363841}, {"parameter": "[4, 3, 5, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851363841}, {"parameter": "[4, 3, 6, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404374268841985}, {"parameter": "[4, 3, 6, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988318721}, {"parameter": "[4, 4, 3, 3, 5],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472922454923411457}, {"parameter": "[4, 4, 3, 3, 5],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922454923411457}, {"parameter": "[4, 4, 3, 3, 5],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472922454923411457}, {"parameter": "[4, 4, 3, 3, 5],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922454923411457}, {"parameter": "[4, 4, 3, 4, 4],[0, 0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[4, 4, 3, 4, 4],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[4, 4, 3, 4, 4],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[4, 4, 3, 4, 4],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[4, 4, 3, 4, 4],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[4, 4, 3, 4, 4],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[4, 4, 3, 4, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[4, 4, 3, 4, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[4, 4, 3, 5, 3],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453849673729}, {"parameter": "[4, 4, 3, 5, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453849673729}, {"parameter": "[4, 4, 3, 5, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453849673729}, {"parameter": "[4, 4, 3, 5, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453849673729}, {"parameter": "[4, 4, 4, 3, 4],[0, 0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[4, 4, 4, 3, 4],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[4, 4, 4, 3, 4],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[4, 4, 4, 3, 4],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[4, 4, 4, 3, 4],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[4, 4, 4, 3, 4],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[4, 4, 4, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[4, 4, 4, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[4, 4, 4, 4, 3],[0, 0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[4, 4, 4, 4, 3],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[4, 4, 4, 4, 3],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[4, 4, 4, 4, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[4, 4, 4, 4, 3],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[4, 4, 4, 4, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[4, 4, 4, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[4, 4, 4, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[4, 4, 5, 3, 3],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819939841}, {"parameter": "[4, 4, 5, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819939841}, {"parameter": "[4, 4, 5, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819939841}, {"parameter": "[4, 4, 5, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819939841}, {"parameter": "[4, 5, 3, 3, 4],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185201006641153}, {"parameter": "[4, 5, 3, 3, 4],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185201006641153}, {"parameter": "[4, 5, 3, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185201006641153}, {"parameter": "[4, 5, 3, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185201006641153}, {"parameter": "[4, 5, 3, 4, 3],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989868033}, {"parameter": "[4, 5, 3, 4, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989868033}, {"parameter": "[4, 5, 3, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989868033}, {"parameter": "[4, 5, 3, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989868033}, {"parameter": "[4, 5, 4, 3, 3],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287168513}, {"parameter": "[4, 5, 4, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287168513}, {"parameter": "[4, 5, 4, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287168513}, {"parameter": "[4, 5, 4, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287168513}, {"parameter": "[4, 6, 3, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938381471745}, {"parameter": "[4, 6, 3, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413358182401}, {"parameter": "[5, 3, 3, 3, 5],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73804995092467941377}, {"parameter": "[5, 3, 3, 3, 5],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804995092467941377}, {"parameter": "[5, 3, 3, 4, 4],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849245548545}, {"parameter": "[5, 3, 3, 4, 4],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849245548545}, {"parameter": "[5, 3, 3, 4, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849245548545}, {"parameter": "[5, 3, 3, 4, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849245548545}, {"parameter": "[5, 3, 3, 5, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804995091394203649}, {"parameter": "[5, 3, 3, 5, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804995091394203649}, {"parameter": "[5, 3, 4, 3, 4],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988314625}, {"parameter": "[5, 3, 4, 3, 4],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988314625}, {"parameter": "[5, 3, 4, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988314625}, {"parameter": "[5, 3, 4, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988314625}, {"parameter": "[5, 3, 4, 4, 3],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[5, 3, 4, 4, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[5, 3, 4, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[5, 3, 4, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[5, 3, 5, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804990693364469761}, {"parameter": "[5, 3, 5, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804990693364469761}, {"parameter": "[5, 4, 3, 3, 4],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413358178305}, {"parameter": "[5, 4, 3, 3, 4],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413358178305}, {"parameter": "[5, 4, 3, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413358178305}, {"parameter": "[5, 4, 3, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413358178305}, {"parameter": "[5, 4, 3, 4, 3],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[5, 4, 3, 4, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[5, 4, 3, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[5, 4, 3, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[5, 4, 4, 3, 3],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638705665}, {"parameter": "[5, 4, 4, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638705665}, {"parameter": "[5, 4, 4, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638705665}, {"parameter": "[5, 4, 4, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638705665}, {"parameter": "[5, 5, 3, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363574464513}, {"parameter": "[5, 5, 3, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363574464513}, {"parameter": "[6, 3, 3, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153203048319811585}, {"parameter": "[6, 3, 3, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203048319811585}, {"parameter": "[6, 3, 3, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203048303038465}, {"parameter": "[6, 3, 3, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203048303038465}, {"parameter": "[6, 3, 4, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153202979600338945}, {"parameter": "[6, 3, 4, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153202979600338945}, {"parameter": "[6, 4, 3, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921573343105025}, {"parameter": "[6, 4, 3, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921573343105025}, {"parameter": "[7, 3, 3, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203048319815681}, {"parameter": "[4, 3, 3, 3, 3, 3],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203048319815681}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 2256206466940936}], "request": [8, 19, 6, 4], "liftedmrdsizebound": 1237944845998172205845353025, "comments": "", "equal_bound_constraints": []}