{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 121054341648959027302844048757257745445935205299689616572044120}, {"parameter": "", "name": "singleton", "value": 18732751476835688109932924264419938160}, {"parameter": "3", "name": "ilp_2", "value": 16448548147024690597509908162687931849}, {"parameter": "4", "name": "ilp_2", "value": 42332627491302977051133303606312202988936638080676}, {"parameter": "6", "name": "ilp_3", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "7", "name": "ilp_3", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "", "name": "anticode", "value": 16448548147024690597509908162687931849}, {"parameter": "", "name": "linear_programming_bound", "value": 16448548147024690597509908162687931849}, {"parameter": "", "name": "sphere_packing", "value": 5735351238493128131529182219933043291338959144}, {"parameter": "1", "name": "ilp_1", "value": 16448548146972922174601939677237933667}, {"parameter": "2", "name": "ilp_1", "value": 16448548146972922174601960015608828772}, {"parameter": "8", "name": "ilp_4", "value": 30458880238158704697434437559900743335708142536457841}, {"parameter": "9", "name": "ilp_4", "value": 30458880124160813567891570165224717845725339328409580}, {"parameter": "10", "name": "ilp_4", "value": 30458880124160813567891570165224717845725339328409580}, {"parameter": "11", "name": "ilp_4", "value": 376290109547419406061503743350853991841338267767248}, {"parameter": "12", "name": "ilp_4", "value": 4645548178693259803647655837964004251052577821066}, {"parameter": "13", "name": "ilp_4", "value": 57352487896225032518131167423435634788794714418}, {"parameter": "14", "name": "ilp_4", "value": 708056063165636108324457993547579245295781853}, {"parameter": "15", "name": "ilp_4", "value": 8741432856055884758351004968196981886183079}, {"parameter": "16", "name": "ilp_4", "value": 107918924255300311138741849149814308417329}, {"parameter": "17", "name": "ilp_4", "value": 1332332399909517622627382246032222461750}, {"parameter": "", "name": "johnson_1", "value": 16448548146972922174601939677237933667}, {"parameter": "", "name": "johnson_2", "value": 1332332399909517622627382246032222461750}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 121054341648959027302844048757257745445935205299689616572044120}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 30458880238158704697434437559900743335708142536457841}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 30458880124160813567891570165224717845725339328409580}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 30458880124160813567891570165224717845725339328409580}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 376290109547419406061503743350853991841338267767248}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 4645548178693259803647655837964004251052577821066}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 57352487896225032518131167423435634788794714418}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 708056063165636108324457993547579245295781853}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 8741432856055884758351004968196981886183079}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 107918924255300311138741849149814308417329}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 1332332399909517622627382246032222461750}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 42332627491302977051133303606312202988936638080676}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 5735351238493128131529182219933043291338959144}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 5735351238511176524586055139685067680381752476}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 5735351238673612062103023049340494313037660009}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 5735351240135531900169776419221678823160332151}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 637165320788194841234931847749373698162991164}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 70805622742329219364423985998925074444868148}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 7867278256771943542270397768323310082769779}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 874144934471628644405215748646885879749243}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 97128674635382404924553868481765815982231}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 10793537322243289372788633550593506041729}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1200746050384379126898888236258298125776}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 134898427035293142547645409651928973190}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 16653872959232722868984751016550901037}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 16448548147024690597509908162687931849}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 16448548147031073966730267417354177940}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 16448548147088524289713703575525474870}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 16448548147605577196581061159249321054}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 16448548152259053359718284387901171292}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 16448548194140338935764696709745789545}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 16448548571071917852906274549940166175}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 16448551963456835457961364817777766558}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 16448582494978389424358889231830809084}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 16448857283313390792894285038126136740}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 16451330754307891569375907765399843902}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 16473622489366915539581310206947838415}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 16676749120083147599933447054999295979}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 18732751476835688109932924264419938160}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 121054341648959027302844048757257745445935205299689616572044120}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 42332627491302977051133303606312202988936638080676}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 16448548147024690597509908162687931849}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 16448548146972922174601960015608828772}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 16448548146972922174601939677237933667}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 5735351238493128131529182219933043291338959144}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 5736128386357420147054278349310841208608406579}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 5743132206120960247296100039837698420829334778}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 5806944786188767569657251538958972274372494607}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 6452160873540790561119698311010285947475340508}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 30479555518903718221625629557411271643834754153354040}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 30480065328968566745790623155445117381974392995995552}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 30484654318027299816570507063627242279240334853612277}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 30526011873741805990126219549926140892281730837651231}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 30902876217851253659385416396795608896529693190274857}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 34718046121166753868579146371116506562228516029840080}, {"parameter": "", "name": "improved_johnson", "value": 16448548146972922174601939677237933651}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 708057395274942329455120738727686670830391859}], "known_codes": [], "upper_bound": 16448548146972922174601939677237933651, "classified": false, "lower_bound": 16423203315422425821947619175834104376, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 16423203268260658146231467800709255289}, {"parameter": "", "name": "sphere_covering", "value": 27176812162884473135892260575978}, {"parameter": "", "name": "graham_sloane", "value": 42987285060346125522877397150}, {"parameter": "", "name": "multicomponent", "value": 16423203310651816530866660450002832101}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 16423203268260658146231467800709255290}, {"parameter": "", "name": "two_pivot_block_construction", "value": 16423203310651817926880766387560644608}, {"parameter": "(5, 13)", "name": "CKMP2019_Lem_41", "value": 16423203268260737912674773734894558055}, {"parameter": "(6, 12)", "name": "CKMP2019_Lem_41", "value": 22528399544939283830829593600678316}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 30903154382632762456556369337900}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 2503197896151516817724977413145320}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 202755638353760581925804908344562270}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 16423203310666174381201508366779152520}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 16423203315369389986714424250845872540}, {"parameter": "(12, 6)", "name": "CKMP2019_Lem_41", "value": 16423203315422425808422424817403911676}, {"parameter": "(13, 5)", "name": "CKMP2019_Lem_41", "value": 16423203315422425821947619175833499135}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Lem_41", "value": 16423203268260737912674544673219177700}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Lem_41", "value": 16423203268260658255650456932221614499}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Lem_41", "value": 16423203268260658146381562436006254411}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Lem_41", "value": 16423203268260658158389339150898278740}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Lem_41", "value": 22528399544939283830829279387131851}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Lem_41", "value": 22528399544939174561934783171771763}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Lem_41", "value": 22528399544939174412046039006867291}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Lem_41", "value": 30903154382632762456555938802651}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Lem_41", "value": 30903154382632612567811773898179}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Lem_41", "value": 2503197896151516817724977412613700}, {"parameter": "(5, 13)", "name": "CKMP2019_Cor_42", "value": 16423203268260737912674773734894558055}, {"parameter": "(6, 12)", "name": "CKMP2019_Cor_42", "value": 22528399544939283830829593600678316}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 30903154382632762456556369337900}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 2503197896151516817724977413145320}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 202755638353760581925804908344562270}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 16423203310666174381201508366779152520}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 16423203315369389986714424250845872540}, {"parameter": "(12, 6)", "name": "CKMP2019_Cor_42", "value": 16423203315422425808422424817403911676}, {"parameter": "(13, 5)", "name": "CKMP2019_Cor_42", "value": 16423203315422425821947619175833499135}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Cor_42", "value": 16423203268260737912674544673219177700}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Cor_42", "value": 16423203268260658255650456932221614499}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Cor_42", "value": 16423203268260658146381562436006254411}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Cor_42", "value": 16423203268260658158389339150898278740}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Cor_42", "value": 22528399544939283830829279387131851}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Cor_42", "value": 22528399544939174561934783171771763}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Cor_42", "value": 22528399544939174412046039006867291}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Cor_42", "value": 30903154382632762456555938802651}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Cor_42", "value": 30903154382632612567811773898179}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Cor_42", "value": 2503197896151516817724977412613700}, {"parameter": "5", "name": "linkage_ST", "value": 16423203315422425821947619175833499135}, {"parameter": "6", "name": "linkage_ST", "value": 16423203315422425808422424817403911676}, {"parameter": "7", "name": "linkage_ST", "value": 16423203315369389986714424250845872540}, {"parameter": "8", "name": "linkage_ST", "value": 16423203310666174381201508366779152520}, {"parameter": "9", "name": "linkage_ST", "value": 202755638353760581925804908344562270}, {"parameter": "10", "name": "linkage_ST", "value": 2503197896151516817724977413145320}, {"parameter": "11", "name": "linkage_ST", "value": 30903154382632762456556369337900}, {"parameter": "12", "name": "linkage_ST", "value": 22528399544939283830829593600678316}, {"parameter": "13", "name": "linkage_ST", "value": 16423203268260737912674773734894558055}, {"parameter": "14", "name": "linkage_ST", "value": 58149737170026021090572364}, {"parameter": "15", "name": "linkage_ST", "value": 42391158396948969375146854554}, {"parameter": "16", "name": "linkage_ST", "value": 30903154471276002391073373286021}, {"parameter": "17", "name": "linkage_ST", "value": 22528399609632957213199485346838317}, {"parameter": "5", "name": "construction_D", "value": 16423203315422425821947619175833499134}, {"parameter": "6", "name": "construction_D", "value": 16423203315422425808422424817403911675}, {"parameter": "7", "name": "construction_D", "value": 16423203315369389986714424250845872539}, {"parameter": "8", "name": "construction_D", "value": 16423203310666174381201508366779093470}, {"parameter": "9", "name": "construction_D", "value": 202755638353760581925804904857777139}, {"parameter": "10", "name": "construction_D", "value": 2503197896151516817519086280519050}, {"parameter": "11", "name": "construction_D", "value": 30903154382632612361920641803529}, {"parameter": "12", "name": "construction_D", "value": 22528399544939174411840147874772641}, {"parameter": "13", "name": "construction_D", "value": 16423203268260658146231467800709255289}, {"parameter": "14", "name": "construction_D", "value": 0}, {"parameter": "15", "name": "construction_D", "value": 0}, {"parameter": "16", "name": "construction_D", "value": 0}, {"parameter": "17", "name": "construction_D", "value": 0}, {"parameter": "18", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 16423203268260737912674773734894558055}, {"parameter": "6", "name": "linkage_GLT", "value": 22528399544939283830829593600678316}, {"parameter": "7", "name": "linkage_GLT", "value": 30903154382632762456556369337900}, {"parameter": "8", "name": "linkage_GLT", "value": 2503197896151516817724977413145320}, {"parameter": "9", "name": "linkage_GLT", "value": 202755638353760581925804908344562270}, {"parameter": "10", "name": "linkage_GLT", "value": 16423203310666174381201508366779152520}, {"parameter": "11", "name": "linkage_GLT", "value": 16423203315369389986714424250845872540}, {"parameter": "12", "name": "linkage_GLT", "value": 16423203315422425808422424817403911676}, {"parameter": "13", "name": "linkage_GLT", "value": 16423203315422425821947619175833499135}, {"parameter": "5", "name": "improved_linkage", "value": 16423203310651816543180437175856109843}, {"parameter": "6", "name": "improved_linkage", "value": 22528399603088911581866168965345005}, {"parameter": "7", "name": "improved_linkage", "value": 30903154462399055667854827106295}, {"parameter": "8", "name": "improved_linkage", "value": 2503197896151626236508532006424725}, {"parameter": "9", "name": "improved_linkage", "value": 202755638353760582075899540585311510}, {"parameter": "10", "name": "improved_linkage", "value": 16423203310666174381201714257911719740}, {"parameter": "11", "name": "improved_linkage", "value": 16423203315369389986714424254332657670}, {"parameter": "12", "name": "improved_linkage", "value": 16423203315422425808422424817403970725}, {"parameter": "13", "name": "improved_linkage", "value": 16423203315422425821947619175833499135}, {"parameter": "14", "name": "improved_linkage", "value": 202755596486696615102704726956893965}, {"parameter": "15", "name": "improved_linkage", "value": 2503155512181439692633046614559147}, {"parameter": "5,0", "name": "generalized_linkage", "value": 16423203268318887649844799755980274469}, {"parameter": "5,1", "name": "generalized_linkage", "value": 16423203268318807883401493821799827653}, {"parameter": "5,2", "name": "generalized_linkage", "value": 16423203310651816543180437175856109843}, {"parameter": "6,0", "name": "generalized_linkage", "value": 22528399545666044758728105066171666}, {"parameter": "6,1", "name": "generalized_linkage", "value": 22528399545018940855146082060075407}, {"parameter": "6,2", "name": "generalized_linkage", "value": 22528399603088911581866168965345005}, {"parameter": "7,0", "name": "generalized_linkage", "value": 30903154391605119591076918967538}, {"parameter": "7,1", "name": "generalized_linkage", "value": 30903154382742031351366367709204}, {"parameter": "7,2", "name": "generalized_linkage", "value": 30903154462399055667854827106295}, {"parameter": "8,0", "name": "generalized_linkage", "value": 2503197896151627604243294354385730}, {"parameter": "8,1", "name": "generalized_linkage", "value": 2503197896151516967613722008053421}, {"parameter": "8,2", "name": "generalized_linkage", "value": 2503197896151626236508532006424725}, {"parameter": "9,0", "name": "generalized_linkage", "value": 202755638353760581927915253664033841}, {"parameter": "9,1", "name": "generalized_linkage", "value": 202755638353760581926010795990403409}, {"parameter": "9,2", "name": "generalized_linkage", "value": 202755638353760582075899540585311510}, {"parameter": "10,0", "name": "generalized_linkage", "value": 16423203310666174381201508402518633570}, {"parameter": "10,1", "name": "generalized_linkage", "value": 16423203310666174381201508370265878601}, {"parameter": "10,2", "name": "generalized_linkage", "value": 16423203310666174381201714257911719740}, {"parameter": "11,0", "name": "generalized_linkage", "value": 16423203315369389986714424250846477781}, {"parameter": "11,1", "name": "generalized_linkage", "value": 16423203315369389986714424250845931589}, {"parameter": "11,2", "name": "generalized_linkage", "value": 16423203315369389986714424254332657670}, {"parameter": "12,0", "name": "generalized_linkage", "value": 16423203315422425808422424817404516917}, {"parameter": "12,1", "name": "generalized_linkage", "value": 16423203315422425808422424817403911676}, {"parameter": "12,2", "name": "generalized_linkage", "value": 16423203315422425808422424817403970725}, {"parameter": "13,0", "name": "generalized_linkage", "value": 16423203315422425821947619175834104376}, {"parameter": "13,1", "name": "generalized_linkage", "value": 16423203315422425821947619175833499135}, {"parameter": "13,2", "name": "generalized_linkage", "value": 16423203315422425821947619175833499135}, {"parameter": "14,1", "name": "generalized_linkage", "value": 202755596486696615102704726956893965}, {"parameter": "14,2", "name": "generalized_linkage", "value": 202755596486696615102704726956893965}, {"parameter": "15,2", "name": "generalized_linkage", "value": 2503155512181439692633046614559147}, {"parameter": "[5, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268318887649844799755980274469}, {"parameter": "[5, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268318807883401493821799827653}, {"parameter": "[5, 13],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203310651816543180437175856109843}, {"parameter": "[6, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399545666044758728105066171666}, {"parameter": "[6, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399545018940855146082060075407}, {"parameter": "[6, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399603088911581866168965345005}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154391605119591076918967538}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382742031351366367709204}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154462399055667854827106295}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151627604243294354385730}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151516967613722008053421}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151626236508532006424725}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 202755638353760581927915253664033841}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 202755638353760581926010795990403409}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 202755638353760582075899540585311510}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203310666174381201508402518633570}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203310666174381201508370265878601}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203310666174381201714257911719740}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203315369389986714424250846477781}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203315369389986714424250845931589}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203315369389986714424254332657670}, {"parameter": "[12, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203315422425808422424817404516917}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203315422425808422424817403911676}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203315422425808422424817403970725}, {"parameter": "[13, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203315422425821947619175834104376}, {"parameter": "[13, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203315422425821947619175833499135}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203315422425821947619175833499135}, {"parameter": "[14, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 202755596486696615102704726956893965}, {"parameter": "[14, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 202755596486696615102704726956893965}, {"parameter": "[15, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155512181439692633046614559147}, {"parameter": "[5, 3, 10],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151530494867026643635150}, {"parameter": "[5, 3, 10],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151626386603167380609880}, {"parameter": "[5, 3, 10],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503197896231392679814466191661800}, {"parameter": "[5, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 202755595962602306711459498359653838}, {"parameter": "[5, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 202755595962602306859901917380521038}, {"parameter": "[5, 4, 9],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 202755595962602416278685471663434768}, {"parameter": "[5, 4, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 202755595962602306711459498359653838}, {"parameter": "[5, 4, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 202755595962602306859901917380521038}, {"parameter": "[5, 4, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 202755595962602416278685471663434768}, {"parameter": "[5, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268318887649677584764377253819}, {"parameter": "[5, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268318887649677587278262654449}, {"parameter": "[5, 5, 8],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268318887649827885259726685919}, {"parameter": "[5, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260737912674544704686863650}, {"parameter": "[5, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260737912674547218572264280}, {"parameter": "[5, 5, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260737912824845200036295750}, {"parameter": "[5, 5, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260737912674544704686863650}, {"parameter": "[5, 5, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260737912674547218572264280}, {"parameter": "[5, 5, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260737912824845200036295750}, {"parameter": "[5, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260738022093533804736327249}, {"parameter": "[5, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260738022093533804774584359}, {"parameter": "[5, 6, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260738022093536350084623489}, {"parameter": "[5, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260658255650456932226463888}, {"parameter": "[5, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260658255650456932264720998}, {"parameter": "[5, 6, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260658255650459477574760128}, {"parameter": "[5, 6, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268267119337539683605525396129}, {"parameter": "[5, 6, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268267119337539683605563653239}, {"parameter": "[5, 6, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268267119337539686150873692369}, {"parameter": "[5, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260658255800551567562252289}, {"parameter": "[5, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260658255800551567518614349}, {"parameter": "[5, 7, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260658255800551567561720119}, {"parameter": "[5, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260667009319682088550989009}, {"parameter": "[5, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260667009319682088507351069}, {"parameter": "[5, 7, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260667009319682088550456839}, {"parameter": "[5, 7, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268784005888827912104775763810}, {"parameter": "[5, 7, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268784005888827912104732125870}, {"parameter": "[5, 7, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268784005888827912104775231640}, {"parameter": "[5, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260667021477553439089175109}, {"parameter": "[5, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260667021477553438696374519}, {"parameter": "[5, 8, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268260667021477553438696374519}, {"parameter": "[5, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203268261376044369460180119920628}, {"parameter": "[5, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203268261376044369460179727120038}, {"parameter": "[5, 8, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203268261376044369460179727120038}, {"parameter": "[5, 8, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 16423203310651816530903720850685885839}, {"parameter": "[5, 8, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 16423203310651816530903720850293085249}, {"parameter": "[5, 8, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 16423203310651816530903720850293085249}, {"parameter": "[5, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 202755595904461444804204549838272129}, {"parameter": "[5, 9, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 202755595904461444804204549838272129}, {"parameter": "[5, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 202755595905170467696106831271768769}, {"parameter": "[5, 9, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 202755595905170467696106831271768769}, {"parameter": "[5, 9, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 202755596427800204235105461867101270}, {"parameter": "[5, 9, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 202755596427800204235105461867101270}, {"parameter": "[5, 10, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505002116697123599476664479}, {"parameter": "[5, 10, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505002104539460647163159758}, {"parameter": "[5, 10, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155511454323509096240990289654}, {"parameter": "[6, 3, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 3433741970029517632524479375653}, {"parameter": "[6, 3, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 3433741970030883259511575791060}, {"parameter": "[6, 3, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433741971026594189855550306003}, {"parameter": "[6, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 278128389523459954334444642574622}, {"parameter": "[6, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128389523459954357320999720355}, {"parameter": "[6, 4, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128389523461322068952322406732}, {"parameter": "[6, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 278128389523459954334444642574622}, {"parameter": "[6, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128389523459954357320999720355}, {"parameter": "[6, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128389523461322068952322406732}, {"parameter": "[6, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399545666044756640784481847418}, {"parameter": "[6, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399545666044756640784869267178}, {"parameter": "[6, 5, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399545666044756663947190623261}, {"parameter": "[6, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830829279391981240}, {"parameter": "[6, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830829279779401000}, {"parameter": "[6, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830852442100757083}, {"parameter": "[6, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830829279391981240}, {"parameter": "[6, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830829279779401000}, {"parameter": "[6, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830852442100757083}, {"parameter": "[6, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544940171490502425884062893}, {"parameter": "[6, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544940171490502425839940087}, {"parameter": "[6, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544940171490502426232202594}, {"parameter": "[6, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174561934783215901211}, {"parameter": "[6, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174561934783171778405}, {"parameter": "[6, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174561934783564040912}, {"parameter": "[6, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544948037500054435716997140}, {"parameter": "[6, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544948037500054435672874334}, {"parameter": "[6, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544948037500054436065136841}, {"parameter": "[6, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939175779574938776637845}, {"parameter": "[6, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939175779574938379532591}, {"parameter": "[6, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939175779574938379532591}, {"parameter": "[6, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939186569711498460907988}, {"parameter": "[6, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939186569711498063802734}, {"parameter": "[6, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939186569711498063802734}, {"parameter": "[6, 7, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399545657072549832527289748557}, {"parameter": "[6, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399545657072549832526892643303}, {"parameter": "[6, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399545657072549832526892643303}, {"parameter": "[6, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128389443694879015238989767554}, {"parameter": "[6, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128389443694879015238989767554}, {"parameter": "[6, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128389443705668925290185779935}, {"parameter": "[6, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128389443705668925290185779935}, {"parameter": "[6, 8, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 278128390161591500802786175052674}, {"parameter": "[6, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 278128390161591500802786175052674}, {"parameter": "[6, 9, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433683820293880219734705479341}, {"parameter": "[6, 9, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433683820304670150148297713154}, {"parameter": "[6, 9, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3433683829155450629733026169103}, {"parameter": "[7, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4710208463689322028656912500}, {"parameter": "[7, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4710208463689530143959813099}, {"parameter": "[7, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4710208475997287724697261380}, {"parameter": "[7, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 381520424586364820760205896688}, {"parameter": "[7, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 381520424586364820763692207968}, {"parameter": "[7, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 381520424586365029196690604067}, {"parameter": "[7, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 381520424586364820760205896688}, {"parameter": "[7, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 381520424586364820763692207968}, {"parameter": "[7, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 381520424586365029196690604067}, {"parameter": "[7, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154391605119565339995896458}, {"parameter": "[7, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154391605119565339952317567}, {"parameter": "[7, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154391605119565343482207738}, {"parameter": "[7, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762456555982441320}, {"parameter": "[7, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762456555938862429}, {"parameter": "[7, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762456559468752600}, {"parameter": "[7, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762456555982441320}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762456555938862429}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762456559468752600}, {"parameter": "[7, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154382644920327906524937997}, {"parameter": "[7, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382644920327906127885879}, {"parameter": "[7, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382644920327906127885879}, {"parameter": "[7, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612567812171010075}, {"parameter": "[7, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612567811773957957}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612567811773957957}, {"parameter": "[7, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154382644770233271227938876}, {"parameter": "[7, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382644770233270830886758}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382644770233270830886758}, {"parameter": "[7, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 381520424476946040065134665967}, {"parameter": "[7, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 381520424476946040065134665967}, {"parameter": "[7, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 381520424476946037523268837638}, {"parameter": "[7, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 381520424476946037523268837638}, {"parameter": "[7, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 381520424489103499633059500119}, {"parameter": "[7, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 381520424489103499633059500119}, {"parameter": "[7, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4710128697246453274936261018}, {"parameter": "[7, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4710128697246450726096863887}, {"parameter": "[7, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4710128709403910325370280698}, {"parameter": "[8, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 381526885668254047433510155903}, {"parameter": "[8, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 381526885668254047465235050459}, {"parameter": "[8, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 381526885668255923616751619263}, {"parameter": "[8, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265789817093545115491}, {"parameter": "[8, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265789817093152852255}, {"parameter": "[8, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265789817124926174371}, {"parameter": "[8, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265789817093545115491}, {"parameter": "[8, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265789817093152852255}, {"parameter": "[8, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265789817124926174371}, {"parameter": "[8, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151627604243008690432886}, {"parameter": "[8, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151627604243008298169650}, {"parameter": "[8, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151627604243008298169650}, {"parameter": "[8, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151516817724977805415019}, {"parameter": "[8, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151516817724977413151783}, {"parameter": "[8, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151516817724977413151783}, {"parameter": "[8, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151516817724977805415019}, {"parameter": "[8, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151516817724977413151783}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151516817724977413151783}, {"parameter": "[8, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265641598640753480818}, {"parameter": "[8, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265641598640753480818}, {"parameter": "[8, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265639722461342637535}, {"parameter": "[8, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265639722461342637535}, {"parameter": "[8, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265639928352474732184}, {"parameter": "[8, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265639928352474732184}, {"parameter": "[8, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 381526885558835058333722691250}, {"parameter": "[8, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 381526885558835058305436212584}, {"parameter": "[8, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 381526885558835264193124569553}, {"parameter": "[9, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903160852577589802881793907842}, {"parameter": "[9, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903160852577589802881739436062}, {"parameter": "[9, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903160852577589802917478370920}, {"parameter": "[9, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503156029058772616573853362288928}, {"parameter": "[9, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503156029058772616573852921067510}, {"parameter": "[9, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503156029058772616573852921067510}, {"parameter": "[9, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503156029058772616573853362288928}, {"parameter": "[9, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503156029058772616573852921067510}, {"parameter": "[9, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503156029058772616573852921067510}, {"parameter": "[9, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503156029058772618478310153402903}, {"parameter": "[9, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503156029058772618478310153402903}, {"parameter": "[9, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503156029058772616367965275757262}, {"parameter": "[9, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503156029058772616367965275757262}, {"parameter": "[9, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503156029058772616367965275757262}, {"parameter": "[9, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503156029058772616367965275757262}, {"parameter": "[9, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903160852577439708282181371799}, {"parameter": "[9, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903160852577439708246442495990}, {"parameter": "[9, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903160852577439708249929280391}, {"parameter": "[10, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503155511456511870530766719373941}, {"parameter": "[10, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155511456511870530766664902161}, {"parameter": "[10, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155511456511870530766664902161}, {"parameter": "[10, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155511456511870324879019591913}, {"parameter": "[10, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155511456511870324879019591913}, {"parameter": "[10, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155511456511870324879019591913}, {"parameter": "[10, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155511456511870324879019591913}, {"parameter": "[10, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155511456511870324911271742370}, {"parameter": "[10, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155511456511870324875532866561}, {"parameter": "[10, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155511456511870324875532866561}, {"parameter": "[11, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154471276002391076860070422}, {"parameter": "[11, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154471276002391076860070422}, {"parameter": "[11, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154471276002391073373345070}, {"parameter": "[11, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154471276002391073373345070}, {"parameter": "[12, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 381520425572540724029188039966}, {"parameter": "[5, 3, 3, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 381526965434697124305977098750}, {"parameter": "[5, 3, 3, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 381526965434697124309893745120}, {"parameter": "[5, 3, 3, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 381526965434697355933107305950}, {"parameter": "[5, 3, 4, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903677730375208806224713167280}, {"parameter": "[5, 3, 4, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903677730375208806224664739810}, {"parameter": "[5, 3, 4, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903677730375208806228587364880}, {"parameter": "[5, 3, 4, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903677730375208806224713167280}, {"parameter": "[5, 3, 4, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903677730375208806224664739810}, {"parameter": "[5, 3, 4, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903677730375208806228587364880}, {"parameter": "[5, 3, 5, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151530494866991376546020}, {"parameter": "[5, 3, 5, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151530494866991328118550}, {"parameter": "[5, 3, 5, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151530494866991328118550}, {"parameter": "[5, 3, 5, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151516967819612758106720}, {"parameter": "[5, 3, 5, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151516967819612709679250}, {"parameter": "[5, 3, 5, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151516967819612709679250}, {"parameter": "[5, 3, 5, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151516967819612758106720}, {"parameter": "[5, 3, 5, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151516967819612709679250}, {"parameter": "[5, 3, 5, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503197896151516967819612709679250}, {"parameter": "[5, 3, 6, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265639954084943139910}, {"parameter": "[5, 3, 6, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265639954084943139910}, {"parameter": "[5, 3, 6, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265639725003207994210}, {"parameter": "[5, 3, 6, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265639725003207994210}, {"parameter": "[5, 3, 6, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265790025529637087980}, {"parameter": "[5, 3, 6, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903677730265790025529637087980}, {"parameter": "[5, 3, 7, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 381526885558835058305871522550}, {"parameter": "[5, 3, 7, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 381526885558835060847344615980}, {"parameter": "[5, 3, 7, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 381526885558985358859845203350}, {"parameter": "[5, 4, 3, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154391605119565340000751688}, {"parameter": "[5, 4, 3, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154391605119565339952790688}, {"parameter": "[5, 4, 3, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154391605119565371420002788}, {"parameter": "[5, 4, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154391605119565340000751688}, {"parameter": "[5, 4, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154391605119565339952790688}, {"parameter": "[5, 4, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154391605119565371420002788}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139739307951392966868}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139739307951004482768}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139739307951004482768}, {"parameter": "[5, 4, 4, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139739307951392966868}, {"parameter": "[5, 4, 4, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139739307951004482768}, {"parameter": "[5, 4, 4, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139739307951004482768}, {"parameter": "[5, 4, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139739307951392966868}, {"parameter": "[5, 4, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139739307951004482768}, {"parameter": "[5, 4, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139739307951004482768}, {"parameter": "[5, 4, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139739307951392966868}, {"parameter": "[5, 4, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139739307951004482768}, {"parameter": "[5, 4, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139739307951004482768}, {"parameter": "[5, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139590865531982681898}, {"parameter": "[5, 4, 5, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139590865531982681898}, {"parameter": "[5, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139589009969928001728}, {"parameter": "[5, 4, 5, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139589009969928001728}, {"parameter": "[5, 4, 5, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139589009969928001728}, {"parameter": "[5, 4, 5, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139589009969928001728}, {"parameter": "[5, 4, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139590865531982681898}, {"parameter": "[5, 4, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139590865531982681898}, {"parameter": "[5, 4, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139589009969928001728}, {"parameter": "[5, 4, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139589009969928001728}, {"parameter": "[5, 4, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139589009969928001728}, {"parameter": "[5, 4, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505711139589009969928001728}, {"parameter": "[5, 4, 6, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154391495550481604610644458}, {"parameter": "[5, 4, 6, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154391495550481573186538128}, {"parameter": "[5, 4, 6, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154391495550484118539150858}, {"parameter": "[5, 4, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154391495550481604610644458}, {"parameter": "[5, 4, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154391495550481573186538128}, {"parameter": "[5, 4, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154391495550484118539150858}, {"parameter": "[5, 5, 3, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503155505002116847401210021698249}, {"parameter": "[5, 5, 3, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505002116847401209973737249}, {"parameter": "[5, 5, 3, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505002116847401209973737249}, {"parameter": "[5, 5, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253909281557520602320}, {"parameter": "[5, 5, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253909281557472641320}, {"parameter": "[5, 5, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253909281557472641320}, {"parameter": "[5, 5, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253909281557520602320}, {"parameter": "[5, 5, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253909281557472641320}, {"parameter": "[5, 5, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253909281557472641320}, {"parameter": "[5, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505002116697103228897256209}, {"parameter": "[5, 5, 4, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505002116697103228897256209}, {"parameter": "[5, 5, 4, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155505002116697103228897256209}, {"parameter": "[5, 5, 4, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505002116697103228897256209}, {"parameter": "[5, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758983576396160280}, {"parameter": "[5, 5, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758983576396160280}, {"parameter": "[5, 5, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758983576396160280}, {"parameter": "[5, 5, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758983576396160280}, {"parameter": "[5, 5, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758983576396160280}, {"parameter": "[5, 5, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758983576396160280}, {"parameter": "[5, 5, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758983576396160280}, {"parameter": "[5, 5, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758983576396160280}, {"parameter": "[5, 5, 5, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505002116697100715011855579}, {"parameter": "[5, 5, 5, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505002116697100683587749249}, {"parameter": "[5, 5, 5, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155505002116697100683587749249}, {"parameter": "[5, 5, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758981062510759650}, {"parameter": "[5, 5, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758981031086653320}, {"parameter": "[5, 5, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758981031086653320}, {"parameter": "[5, 5, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758981062510759650}, {"parameter": "[5, 5, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758981031086653320}, {"parameter": "[5, 5, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2503155504993253758981031086653320}, {"parameter": "[5, 6, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762664992428359419}, {"parameter": "[5, 6, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762664992428359419}, {"parameter": "[5, 6, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612570357131360298}, {"parameter": "[5, 6, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612570357131360298}, {"parameter": "[5, 6, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382644770235816188289099}, {"parameter": "[5, 6, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382644770235816188289099}, {"parameter": "[5, 6, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762662447118852459}, {"parameter": "[5, 6, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762662447118852459}, {"parameter": "[5, 6, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612567811821853338}, {"parameter": "[5, 6, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612567811821853338}, {"parameter": "[5, 6, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382644770233270878782139}, {"parameter": "[5, 6, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382644770233270878782139}, {"parameter": "[5, 7, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 381520424476945834174089255979}, {"parameter": "[5, 7, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 381520424476946037523355522299}, {"parameter": "[5, 7, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 381520424489103499633146184780}, {"parameter": "[6, 3, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 523357493044142467734778936}, {"parameter": "[6, 3, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 523357493044142467680372766}, {"parameter": "[6, 3, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523357493044142503376260903}, {"parameter": "[6, 3, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391876174571630157829251247}, {"parameter": "[6, 3, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876174571630157388561270}, {"parameter": "[6, 3, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876174571630157388561270}, {"parameter": "[6, 3, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391876174571630157829251247}, {"parameter": "[6, 3, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876174571630157388561270}, {"parameter": "[6, 3, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876174571630157388561270}, {"parameter": "[6, 3, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173206003173382409676}, {"parameter": "[6, 3, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173206003173382409676}, {"parameter": "[6, 3, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173203918529592583806}, {"parameter": "[6, 3, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173203918529592583806}, {"parameter": "[6, 3, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391876173203918529592583806}, {"parameter": "[6, 3, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391876173203918529592583806}, {"parameter": "[6, 3, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 523356495965480225411100100}, {"parameter": "[6, 3, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 523356495965480190107474470}, {"parameter": "[6, 3, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523356495965503352816250313}, {"parameter": "[6, 4, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158288741603764297409799}, {"parameter": "[6, 4, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158288741603763860964699}, {"parameter": "[6, 4, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158288741603763860964699}, {"parameter": "[6, 4, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158288741603764297409799}, {"parameter": "[6, 4, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158288741603763860964699}, {"parameter": "[6, 4, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158288741603763860964699}, {"parameter": "[6, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373892136064987235}, {"parameter": "[6, 4, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373892136064987235}, {"parameter": "[6, 4, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373892136064987235}, {"parameter": "[6, 4, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373892136064987235}, {"parameter": "[6, 4, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373892136064987235}, {"parameter": "[6, 4, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373892136064987235}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373892136064987235}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373892136064987235}, {"parameter": "[6, 4, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373869259707841502}, {"parameter": "[6, 4, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373868973748473899}, {"parameter": "[6, 4, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373868973748473899}, {"parameter": "[6, 4, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373869259707841502}, {"parameter": "[6, 4, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373868973748473899}, {"parameter": "[6, 4, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158287373868973748473899}, {"parameter": "[6, 5, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158276583961467512811741}, {"parameter": "[6, 5, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158276583961467512811741}, {"parameter": "[6, 5, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216432568140153083}, {"parameter": "[6, 5, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216432568140153083}, {"parameter": "[6, 5, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216432568140153083}, {"parameter": "[6, 5, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216432568140153083}, {"parameter": "[6, 5, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158276583938305196298405}, {"parameter": "[6, 5, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158276583938305196298405}, {"parameter": "[6, 5, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409405823639747}, {"parameter": "[6, 5, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409405823639747}, {"parameter": "[6, 5, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409405823639747}, {"parameter": "[6, 5, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216409405823639747}, {"parameter": "[6, 6, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027383700358679320}, {"parameter": "[6, 6, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027360541136687878}, {"parameter": "[6, 6, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 523347633027566432268782527}, {"parameter": "[7, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 717922453323297626751520}, {"parameter": "[7, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 717922453323297137161510}, {"parameter": "[7, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717922453323297137161510}, {"parameter": "[7, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 717910145565748135846318}, {"parameter": "[7, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145565748135846318}, {"parameter": "[7, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 717910145565748135846318}, {"parameter": "[7, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145565748135846318}, {"parameter": "[7, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145357632871144500}, {"parameter": "[7, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145357315181029110}, {"parameter": "[7, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145357315181029110}, {"parameter": "[7, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 717897988106180249210947}, {"parameter": "[7, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897988106180249210947}, {"parameter": "[7, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 717897988106180249210947}, {"parameter": "[7, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897988106180249210947}, {"parameter": "[7, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987897747294393739}, {"parameter": "[7, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987897747294393739}, {"parameter": "[7, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987897747294393739}, {"parameter": "[7, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987897747294393739}, {"parameter": "[7, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987900292647006469}, {"parameter": "[7, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987691859649083491}, {"parameter": "[7, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987691859649083491}, {"parameter": "[8, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 717910147439385724387027}, {"parameter": "[8, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910147439385724387027}, {"parameter": "[8, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145563234600081459}, {"parameter": "[8, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145563234600081459}, {"parameter": "[8, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145357347298606887}, {"parameter": "[8, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145357347298606887}, {"parameter": "[9, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717898137992418298660300}, {"parameter": "[5, 3, 3, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 717910295889465168596380}, {"parameter": "[5, 3, 3, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910295889465168596380}, {"parameter": "[5, 3, 3, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910295657842003463020}, {"parameter": "[5, 3, 3, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910295657842003463020}, {"parameter": "[5, 3, 4, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145359860969430750}, {"parameter": "[5, 3, 4, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717910145359860969430750}, {"parameter": "[5, 4, 3, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987900320589183628}, {"parameter": "[5, 4, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 717897987900320589183628}, {"parameter": "[6, 3, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 12157894548648698113}, {"parameter": "", "name": "JohnsonLB", "value": 16423172413450399864711270455464475515}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 4710137573707705861408348713}], "request": [9, 18, 6, 5], "liftedmrdsizebound": 16423203316613164035939243905951841895, "comments": "", "equal_bound_constraints": []}