{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 435337166046185178579887097975206493500728215557769}, {"parameter": "", "name": "singleton", "value": 22456962163906407119828105}, {"parameter": "2", "name": "ilp_2", "value": 19385398740434886982930440}, {"parameter": "3", "name": "ilp_2", "value": 86611185063343977539155759751678960193}, {"parameter": "5", "name": "ilp_3", "value": 93000889990639858701108117490964856547901776449}, {"parameter": "6", "name": "ilp_3", "value": 22350610427935558447754894854834140001899009}, {"parameter": "", "name": "anticode", "value": 19385398740434886982930440}, {"parameter": "", "name": "linear_programming_bound", "value": 19385398740434886982930440}, {"parameter": "", "name": "sphere_packing", "value": 148053307800617400938813940511820503}, {"parameter": "1", "name": "ilp_1", "value": 19385398740297971889637440}, {"parameter": "7", "name": "ilp_4", "value": 22312413565728821287923889103145432055848960}, {"parameter": "8", "name": "ilp_4", "value": 22312413565728821287923889103145432055848960}, {"parameter": "9", "name": "ilp_4", "value": 348886750141248708664145818085077166318794}, {"parameter": "10", "name": "ilp_4", "value": 5456507585465053384442236958748425818696}, {"parameter": "11", "name": "ilp_4", "value": 85257606434526830211206204306225903165}, {"parameter": "12", "name": "ilp_4", "value": 1332152002484272578963260323105342913}, {"parameter": "13", "name": "ilp_4", "value": 20814913424329766161018936904458814}, {"parameter": "14", "name": "ilp_4", "value": 325233019836710514537708792811658}, {"parameter": "15", "name": "ilp_4", "value": 5081765949119160880419884498917}, {"parameter": "16", "name": "ilp_4", "value": 79402593240981244765155135488}, {"parameter": "17", "name": "ilp_4", "value": 1240665519372313151825515071}, {"parameter": "", "name": "johnson_1", "value": 19385398740297971889637440}, {"parameter": "", "name": "johnson_2", "value": 1240665519372313151825515071}, {"parameter": "0, 4", "name": "Ahlswede_Aydinian", "value": 435337166046185178579887097975206493500728215557769}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 93000889990639858701108117490964856547901776449}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 22350610427935558447754894854834140001899009}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 22312413565728821287923889103145432055848960}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 22312413565728821287923889103145432055848960}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 348886750141248708664145818085077166318794}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 5456507585465053384442236958748425818696}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 85257606434526830211206204306225903165}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 1332152002484272578963260323105342913}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 20814913424329766161018936904458814}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 325233019836710514537708792811658}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 5081765949119160880419884498917}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 79402593240981244765155135488}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 1240665519372313151825515071}, {"parameter": "1, 3", "name": "Ahlswede_Aydinian", "value": 86611185063343977539155759751678960193}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 148053307800617400938813940511820503}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 146029079708723915527549033663158258}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 146029079710580114544799355636941122}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 18502709906730859521427967906102849}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 2312282904842293242098802648541667}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 289096159481503428677284978381629}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 36136886118786749534811673602603}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 4517127488273970168614912393123}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 564642784382714219594432909829}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 70582233205711225570723620737}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 8824661128478477906302089381}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1104968246990683254660112975}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 140036047335269054620281053}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 19688295595754113238081601}, {"parameter": "2, 2", "name": "Ahlswede_Aydinian", "value": 19385398740434886982930440}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 19385398740439166405101668}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 19385398740473401782471547}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 19385398740747284801434501}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 19385398742938348953388888}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 19385398760466862185072197}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 19385398900694969065624743}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 19385400022519889843557327}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 19385408997123463013774850}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 19385480794221293979043434}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 19386055188236178020604558}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 19390651443483497644572029}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 19427492221674314476422904}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 19726816287038056543795701}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 22456962163906407119828105}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 435337166046185178579887097975206493500728215557769}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 86611185063343977539155759751678960193}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 19385398740434886982930440}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 19385398740297971889637440}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 93000889990639858701108117490964856547901776449}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 148053307800617400938813940511820503}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 148306823736743372699116032802638941}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 150366640733083700279092077706338760}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 169162470824684974441589220900672001}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 22350610427935558447754894854834140001899009}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 22355983170826820683661697569420754545302869}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 22399049063064593369622436136207293727630573}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 22749034204670442957260135309649936536236583}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 25948117139655026088415620969665388037494409}, {"parameter": "", "name": "improved_johnson", "value": 19385398740297971889637425}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 20815548642388658238017548516134912}], "known_codes": [], "upper_bound": 19385398740297971889637425, "classified": false, "lower_bound": 19342887063186240070071433, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 19342813113834066795298816}, {"parameter": "", "name": "sphere_covering", "value": 4085437036980695844568}, {"parameter": "", "name": "graham_sloane", "value": 9390403500721894872}, {"parameter": "", "name": "multicomponent", "value": 19342886901091837683957761}, {"parameter": "", "name": "construction_ST_A_1", "value": 19342886921725037432124553}, {"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), (2, 13, 14, 15), (5, 15, 16, 17)]", "name": "ef_computation", "value": 19342886921368077640663553}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 19342813113834066795298816}, {"parameter": "(4, 14)", "name": "CKMP2019_Lem_41", "value": 19342814266759979127013449}, {"parameter": "(5, 13)", "name": "CKMP2019_Lem_41", "value": 302231472918124560683009}, {"parameter": "(6, 12)", "name": "CKMP2019_Lem_41", "value": 4722366764345695970441}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 302305241884350195208248}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 19342814266755640121884817}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 19342822355220503233298945}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 19342886941624233273327617}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 19342887063186238823469057}, {"parameter": "(12, 6)", "name": "CKMP2019_Lem_41", "value": 19342886921719293222584321}, {"parameter": "(13, 5)", "name": "CKMP2019_Lem_41", "value": 19342886941663816748892161}, {"parameter": "(14, 4)", "name": "CKMP2019_Lem_41", "value": 19342887063186240048201729}, {"parameter": "(4, 4, 10)", "name": "CKMP2019_Lem_41", "value": 19342814266755640121884817}, {"parameter": "(4, 5, 9)", "name": "CKMP2019_Lem_41", "value": 19342813131848466378523137}, {"parameter": "(4, 6, 8)", "name": "CKMP2019_Lem_41", "value": 19342813114115541788786689}, {"parameter": "(4, 7, 7)", "name": "CKMP2019_Lem_41", "value": 19342813131852863351296001}, {"parameter": "(4, 8, 6)", "name": "CKMP2019_Lem_41", "value": 19342814266755640121622529}, {"parameter": "(4, 9, 5)", "name": "CKMP2019_Lem_41", "value": 19342814266756122231701505}, {"parameter": "(4, 10, 4)", "name": "CKMP2019_Lem_41", "value": 19342814266759971881353217}, {"parameter": "(5, 4, 9)", "name": "CKMP2019_Lem_41", "value": 302231472918056876900865}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Lem_41", "value": 302231455185132287164417}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Lem_41", "value": 302231454908055340191745}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Lem_41", "value": 302231455185200989863937}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Lem_41", "value": 302231472918056876900353}, {"parameter": "(5, 9, 4)", "name": "CKMP2019_Lem_41", "value": 302231472918064409870337}, {"parameter": "(6, 4, 8)", "name": "CKMP2019_Lem_41", "value": 4722366764344638701569}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Lem_41", "value": 4722366487267691728897}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Lem_41", "value": 4722366482938364690433}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Lem_41", "value": 4722366487268765466625}, {"parameter": "(6, 8, 4)", "name": "CKMP2019_Lem_41", "value": 4722366764344638701569}, {"parameter": "(7, 4, 7)", "name": "CKMP2019_Lem_41", "value": 302305241884350178398209}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Lem_41", "value": 302305241880020851359745}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Lem_41", "value": 302305241879953205624833}, {"parameter": "(7, 7, 4)", "name": "CKMP2019_Lem_41", "value": 302305241880020868136961}, {"parameter": "(8, 4, 6)", "name": "CKMP2019_Lem_41", "value": 19342814266755640121622529}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Lem_41", "value": 19342814266755572475887617}, {"parameter": "(8, 6, 4)", "name": "CKMP2019_Lem_41", "value": 19342814266755571418923009}, {"parameter": "(9, 4, 5)", "name": "CKMP2019_Lem_41", "value": 19342822355220503233298433}, {"parameter": "(9, 5, 4)", "name": "CKMP2019_Lem_41", "value": 19342822355220502176333825}, {"parameter": "(10, 4, 4)", "name": "CKMP2019_Lem_41", "value": 19342886941624233273327617}, {"parameter": "(4, 4, 4, 6)", "name": "CKMP2019_Lem_41", "value": 19342814266755640121622529}, {"parameter": "(4, 4, 5, 5)", "name": "CKMP2019_Lem_41", "value": 19342814266755572475887617}, {"parameter": "(4, 4, 6, 4)", "name": "CKMP2019_Lem_41", "value": 19342814266755571418923009}, {"parameter": "(4, 5, 4, 5)", "name": "CKMP2019_Lem_41", "value": 19342813131848466378522625}, {"parameter": "(4, 5, 5, 4)", "name": "CKMP2019_Lem_41", "value": 19342813131848465321558017}, {"parameter": "(4, 6, 4, 4)", "name": "CKMP2019_Lem_41", "value": 19342813114115541788786689}, {"parameter": "(5, 4, 4, 5)", "name": "CKMP2019_Lem_41", "value": 302231472918056876900353}, {"parameter": "(5, 4, 5, 4)", "name": "CKMP2019_Lem_41", "value": 302231472918055819935745}, {"parameter": "(5, 5, 4, 4)", "name": "CKMP2019_Lem_41", "value": 302231455185132287164417}, {"parameter": "(6, 4, 4, 4)", "name": "CKMP2019_Lem_41", "value": 4722366764344638701569}, {"parameter": "(4, 14)", "name": "CKMP2019_Cor_42", "value": 19342814266759979127013449}, {"parameter": "(5, 13)", "name": "CKMP2019_Cor_42", "value": 302231472918124560683009}, {"parameter": "(6, 12)", "name": "CKMP2019_Cor_42", "value": 4722366764345695970441}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 302305241884350195208248}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 19342814266755640121884817}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 19342822355220503233298945}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 19342886941624233273327617}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 19342887063186238823469057}, {"parameter": "(12, 6)", "name": "CKMP2019_Cor_42", "value": 19342886921719293222584321}, {"parameter": "(13, 5)", "name": "CKMP2019_Cor_42", "value": 19342886941663816748892161}, {"parameter": "(14, 4)", "name": "CKMP2019_Cor_42", "value": 19342887063186240048201729}, {"parameter": "(4, 4, 10)", "name": "CKMP2019_Cor_42", "value": 19342814266755640121884817}, {"parameter": "(4, 5, 9)", "name": "CKMP2019_Cor_42", "value": 19342813131848466378523137}, {"parameter": "(4, 6, 8)", "name": "CKMP2019_Cor_42", "value": 19342813114115541788786689}, {"parameter": "(4, 7, 7)", "name": "CKMP2019_Cor_42", "value": 19342813131852863351296001}, {"parameter": "(4, 8, 6)", "name": "CKMP2019_Cor_42", "value": 19342814266755640121622529}, {"parameter": "(4, 9, 5)", "name": "CKMP2019_Cor_42", "value": 19342814266756122231701505}, {"parameter": "(4, 10, 4)", "name": "CKMP2019_Cor_42", "value": 19342814266759971881353217}, {"parameter": "(5, 4, 9)", "name": "CKMP2019_Cor_42", "value": 302231472918056876900865}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Cor_42", "value": 302231455185132287164417}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Cor_42", "value": 302231454908055340191745}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Cor_42", "value": 302231455185200989863937}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Cor_42", "value": 302231472918056876900353}, {"parameter": "(5, 9, 4)", "name": "CKMP2019_Cor_42", "value": 302231472918064409870337}, {"parameter": "(6, 4, 8)", "name": "CKMP2019_Cor_42", "value": 4722366764344638701569}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Cor_42", "value": 4722366487267691728897}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Cor_42", "value": 4722366482938364690433}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Cor_42", "value": 4722366487268765466625}, {"parameter": "(6, 8, 4)", "name": "CKMP2019_Cor_42", "value": 4722366764344638701569}, {"parameter": "(7, 4, 7)", "name": "CKMP2019_Cor_42", "value": 302305241884350178398209}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Cor_42", "value": 302305241880020851359745}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Cor_42", "value": 302305241879953205624833}, {"parameter": "(7, 7, 4)", "name": "CKMP2019_Cor_42", "value": 302305241880020868136961}, {"parameter": "(8, 4, 6)", "name": "CKMP2019_Cor_42", "value": 19342814266755640121622529}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Cor_42", "value": 19342814266755572475887617}, {"parameter": "(8, 6, 4)", "name": "CKMP2019_Cor_42", "value": 19342814266755571418923009}, {"parameter": "(9, 4, 5)", "name": "CKMP2019_Cor_42", "value": 19342822355220503233298433}, {"parameter": "(9, 5, 4)", "name": "CKMP2019_Cor_42", "value": 19342822355220502176333825}, {"parameter": "(10, 4, 4)", "name": "CKMP2019_Cor_42", "value": 19342886941624233273327617}, {"parameter": "(4, 4, 4, 6)", "name": "CKMP2019_Cor_42", "value": 19342814266755640121622529}, {"parameter": "(4, 4, 5, 5)", "name": "CKMP2019_Cor_42", "value": 19342814266755572475887617}, {"parameter": "(4, 4, 6, 4)", "name": "CKMP2019_Cor_42", "value": 19342814266755571418923009}, {"parameter": "(4, 5, 4, 5)", "name": "CKMP2019_Cor_42", "value": 19342813131848466378522625}, {"parameter": "(4, 5, 5, 4)", "name": "CKMP2019_Cor_42", "value": 19342813131848465321558017}, {"parameter": "(4, 6, 4, 4)", "name": "CKMP2019_Cor_42", "value": 19342813114115541788786689}, {"parameter": "(5, 4, 4, 5)", "name": "CKMP2019_Cor_42", "value": 302231472918056876900353}, {"parameter": "(5, 4, 5, 4)", "name": "CKMP2019_Cor_42", "value": 302231472918055819935745}, {"parameter": "(5, 5, 4, 4)", "name": "CKMP2019_Cor_42", "value": 302231455185132287164417}, {"parameter": "(6, 4, 4, 4)", "name": "CKMP2019_Cor_42", "value": 4722366764344638701569}, {"parameter": "", "name": "construction_1", "value": 19342887063186240070071433}, {"parameter": "4", "name": "linkage_GLT", "value": 19342814266759979127013449}, {"parameter": "5", "name": "linkage_GLT", "value": 302231472918124560683009}, {"parameter": "6", "name": "linkage_GLT", "value": 4722366764345695970441}, {"parameter": "7", "name": "linkage_GLT", "value": 302305241884350195208248}, {"parameter": "8", "name": "linkage_GLT", "value": 19342814266755640121884817}, {"parameter": "9", "name": "linkage_GLT", "value": 19342822355220503233298945}, {"parameter": "10", "name": "linkage_GLT", "value": 19342886941624233273327617}, {"parameter": "11", "name": "linkage_GLT", "value": 19342887063186238823469057}, {"parameter": "12", "name": "linkage_GLT", "value": 19342886921719293222584321}, {"parameter": "13", "name": "linkage_GLT", "value": 19342886941663816748892161}, {"parameter": "14", "name": "linkage_GLT", "value": 19342887063186240048201729}, {"parameter": "4", "name": "improved_linkage", "value": 19342886901092456025035401}, {"parameter": "5", "name": "improved_linkage", "value": 302232607829569625391177}, {"parameter": "6", "name": "improved_linkage", "value": 4722384497336912220161}, {"parameter": "7", "name": "improved_linkage", "value": 302305242161428182639753}, {"parameter": "8", "name": "improved_linkage", "value": 19342814266759969465471032}, {"parameter": "9", "name": "improved_linkage", "value": 19342822355220570879295633}, {"parameter": "10", "name": "improved_linkage", "value": 19342886941624234330292737}, {"parameter": "11", "name": "improved_linkage", "value": 19342887063186238840242177}, {"parameter": "12", "name": "improved_linkage", "value": 19342886921719293222588417}, {"parameter": "13", "name": "improved_linkage", "value": 19342886941663816748892161}, {"parameter": "14", "name": "improved_linkage", "value": 19342887063186240048201729}, {"parameter": "15", "name": "improved_linkage", "value": 302232610362285001052161}, {"parameter": "4,0", "name": "generalized_linkage", "value": 19342814266759979127013449}, {"parameter": "4,1", "name": "generalized_linkage", "value": 19342886901092456025035401}, {"parameter": "5,0", "name": "generalized_linkage", "value": 302231472918124560683009}, {"parameter": "5,1", "name": "generalized_linkage", "value": 302232607829569625391177}, {"parameter": "6,0", "name": "generalized_linkage", "value": 4722366764345695970441}, {"parameter": "6,1", "name": "generalized_linkage", "value": 4722384497336912220161}, {"parameter": "7,0", "name": "generalized_linkage", "value": 302305241884350195208248}, {"parameter": "7,1", "name": "generalized_linkage", "value": 302305242161428182639753}, {"parameter": "8,0", "name": "generalized_linkage", "value": 19342814266755640121884817}, {"parameter": "8,1", "name": "generalized_linkage", "value": 19342814266759969465471032}, {"parameter": "9,0", "name": "generalized_linkage", "value": 19342822355220503233298945}, {"parameter": "9,1", "name": "generalized_linkage", "value": 19342822355220570879295633}, {"parameter": "10,0", "name": "generalized_linkage", "value": 19342886941624233273327617}, {"parameter": "10,1", "name": "generalized_linkage", "value": 19342886941624234330292737}, {"parameter": "11,0", "name": "generalized_linkage", "value": 19342887063186238823469057}, {"parameter": "11,1", "name": "generalized_linkage", "value": 19342887063186238840242177}, {"parameter": "12,0", "name": "generalized_linkage", "value": 19342886921719293222584321}, {"parameter": "12,1", "name": "generalized_linkage", "value": 19342886921719293222588417}, {"parameter": "13,0", "name": "generalized_linkage", "value": 19342886941663816748892161}, {"parameter": "13,1", "name": "generalized_linkage", "value": 19342886941663816748892161}, {"parameter": "14,0", "name": "generalized_linkage", "value": 19342887063186240048201729}, {"parameter": "14,1", "name": "generalized_linkage", "value": 19342887063186240048201729}, {"parameter": "15,1", "name": "generalized_linkage", "value": 302232610362285001052161}, {"parameter": "[4, 14],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266759979127013449}, {"parameter": "[4, 14],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886901092456025035401}, {"parameter": "[5, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918124560683009}, {"parameter": "[5, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607829569625391177}, {"parameter": "[6, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764345695970441}, {"parameter": "[6, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722384497336912220161}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350195208248}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305242161428182639753}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121884817}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266759969465471032}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342822355220503233298945}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342822355220570879295633}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886941624233273327617}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886941624234330292737}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342887063186238823469057}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342887063186238840242177}, {"parameter": "[12, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886921719293222584321}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886921719293222588417}, {"parameter": "[13, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886941663816748892161}, {"parameter": "[13, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886941663816748892161}, {"parameter": "[14, 4],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342887063186240048201729}, {"parameter": "[14, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342887063186240048201729}, {"parameter": "[15, 3],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232610362285001052161}, {"parameter": "[4, 3, 11],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350195208248}, {"parameter": "[4, 3, 11],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305242161428182639753}, {"parameter": "[4, 4, 10],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121884817}, {"parameter": "[4, 4, 10],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266759969465471032}, {"parameter": "[4, 4, 10],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121884817}, {"parameter": "[4, 4, 10],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266759969465471032}, {"parameter": "[4, 5, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378523137}, {"parameter": "[4, 5, 9],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848534024519825}, {"parameter": "[4, 5, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378523137}, {"parameter": "[4, 5, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848534024519825}, {"parameter": "[4, 6, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115541788786689}, {"parameter": "[4, 6, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115542845751809}, {"parameter": "[4, 6, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[4, 6, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037047452598785}, {"parameter": "[4, 7, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131852863351296001}, {"parameter": "[4, 7, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131852863368069121}, {"parameter": "[4, 7, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886900814759680020481}, {"parameter": "[4, 7, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886900814759696793601}, {"parameter": "[4, 8, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121622529}, {"parameter": "[4, 8, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[4, 8, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886900845614725070849}, {"parameter": "[4, 8, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886900845614725074945}, {"parameter": "[4, 9, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266756122231701505}, {"parameter": "[4, 9, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266756122231701505}, {"parameter": "[4, 9, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886901091992302780417}, {"parameter": "[4, 9, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886901091992302780417}, {"parameter": "[4, 10, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266759971881353217}, {"parameter": "[4, 10, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266759971881353217}, {"parameter": "[4, 10, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886901092456025030657}, {"parameter": "[4, 10, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886901092456025030657}, {"parameter": "[4, 11, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918124673859585}, {"parameter": "[4, 11, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607829561193304065}, {"parameter": "[5, 3, 10],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971799697}, {"parameter": "[5, 3, 10],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519408772315385912}, {"parameter": "[5, 4, 9],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900865}, {"parameter": "[5, 4, 9],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918124522897553}, {"parameter": "[5, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900865}, {"parameter": "[5, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918124522897553}, {"parameter": "[5, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[5, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185133344129537}, {"parameter": "[5, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[5, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185133344129537}, {"parameter": "[5, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340191745}, {"parameter": "[5, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055356964865}, {"parameter": "[5, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453849673729}, {"parameter": "[5, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453866446849}, {"parameter": "[5, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989863937}, {"parameter": "[5, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989868033}, {"parameter": "[5, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302232607825230620000257}, {"parameter": "[5, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607825230620004353}, {"parameter": "[5, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[5, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[5, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302232607825712730079233}, {"parameter": "[5, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607825712730079233}, {"parameter": "[5, 9, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918064409870337}, {"parameter": "[5, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918064409870337}, {"parameter": "[5, 9, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302232607829562379730945}, {"parameter": "[5, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607829562379730945}, {"parameter": "[5, 10, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764345696260097}, {"parameter": "[5, 10, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722384497337025396737}, {"parameter": "[6, 3, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73804990694421430785}, {"parameter": "[6, 3, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804990762067427473}, {"parameter": "[6, 4, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638701569}, {"parameter": "[6, 4, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764345695666689}, {"parameter": "[6, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638701569}, {"parameter": "[6, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764345695666689}, {"parameter": "[6, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691728897}, {"parameter": "[6, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267708502017}, {"parameter": "[6, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691728897}, {"parameter": "[6, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267708502017}, {"parameter": "[6, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690433}, {"parameter": "[6, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364694529}, {"parameter": "[6, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341401089}, {"parameter": "[6, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[6, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366487268765466625}, {"parameter": "[6, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487268765466625}, {"parameter": "[6, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722384497269228437505}, {"parameter": "[6, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722384497269228437505}, {"parameter": "[6, 8, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638701569}, {"parameter": "[6, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638701569}, {"parameter": "[6, 8, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722384497276761407489}, {"parameter": "[6, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722384497276761407489}, {"parameter": "[6, 9, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786980692886818817}, {"parameter": "[6, 9, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787257770889252865}, {"parameter": "[7, 3, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849245548545}, {"parameter": "[7, 3, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519685850302513665}, {"parameter": "[7, 4, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350178398209}, {"parameter": "[7, 4, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350195171329}, {"parameter": "[7, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350178398209}, {"parameter": "[7, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350195171329}, {"parameter": "[7, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851359745}, {"parameter": "[7, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851363841}, {"parameter": "[7, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851359745}, {"parameter": "[7, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851363841}, {"parameter": "[7, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241879953205624833}, {"parameter": "[7, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241879953205624833}, {"parameter": "[7, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241884351252135937}, {"parameter": "[7, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884351252135937}, {"parameter": "[7, 7, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020868136961}, {"parameter": "[7, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020868136961}, {"parameter": "[7, 7, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305242161427125370881}, {"parameter": "[7, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305242161427125370881}, {"parameter": "[7, 8, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[7, 8, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519408772300673025}, {"parameter": "[8, 3, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453849673729}, {"parameter": "[8, 3, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453866446849}, {"parameter": "[8, 4, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121622529}, {"parameter": "[8, 4, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[8, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121622529}, {"parameter": "[8, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[8, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[8, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[8, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[8, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[8, 6, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755571418923009}, {"parameter": "[8, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755571418923009}, {"parameter": "[8, 6, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[8, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[8, 7, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819939841}, {"parameter": "[8, 7, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918124522639361}, {"parameter": "[9, 3, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231599300389065719809}, {"parameter": "[9, 3, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231599300389065723905}, {"parameter": "[9, 4, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342822355220503233298433}, {"parameter": "[9, 4, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342822355220503233298433}, {"parameter": "[9, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342822355220503233298433}, {"parameter": "[9, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342822355220503233298433}, {"parameter": "[9, 5, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342822355220502176333825}, {"parameter": "[9, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342822355220502176333825}, {"parameter": "[9, 5, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342822355220502176333825}, {"parameter": "[9, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342822355220502176333825}, {"parameter": "[9, 6, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231599300320346247169}, {"parameter": "[9, 6, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231599300320363024385}, {"parameter": "[10, 3, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302232608462879718375425}, {"parameter": "[10, 3, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232608462879718375425}, {"parameter": "[10, 4, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886941624233273327617}, {"parameter": "[10, 4, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886941624233273327617}, {"parameter": "[10, 4, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342886941624233273327617}, {"parameter": "[10, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342886941624233273327617}, {"parameter": "[10, 5, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232608462878644637697}, {"parameter": "[10, 5, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232608462878644637697}, {"parameter": "[11, 3, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302232610362284998393857}, {"parameter": "[11, 3, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232610362284998393857}, {"parameter": "[11, 4, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232610362284981620737}, {"parameter": "[11, 4, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232610362284981620737}, {"parameter": "[12, 3, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722384502372874326017}, {"parameter": "[4, 3, 3, 8],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849245548545}, {"parameter": "[4, 3, 3, 8],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519685850302513665}, {"parameter": "[4, 3, 4, 7],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350178398209}, {"parameter": "[4, 3, 4, 7],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350195171329}, {"parameter": "[4, 3, 4, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350178398209}, {"parameter": "[4, 3, 4, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884350195171329}, {"parameter": "[4, 3, 5, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851359745}, {"parameter": "[4, 3, 5, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851363841}, {"parameter": "[4, 3, 5, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851359745}, {"parameter": "[4, 3, 5, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020851363841}, {"parameter": "[4, 3, 6, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241879953205624833}, {"parameter": "[4, 3, 6, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241879953205624833}, {"parameter": "[4, 3, 6, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241884351252135937}, {"parameter": "[4, 3, 6, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241884351252135937}, {"parameter": "[4, 3, 7, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020868136961}, {"parameter": "[4, 3, 7, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305241880020868136961}, {"parameter": "[4, 3, 7, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302305242161427125370881}, {"parameter": "[4, 3, 7, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302305242161427125370881}, {"parameter": "[4, 3, 8, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[4, 3, 8, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519408772300673025}, {"parameter": "[4, 4, 3, 7],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453849673729}, {"parameter": "[4, 4, 3, 7],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453866446849}, {"parameter": "[4, 4, 3, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453849673729}, {"parameter": "[4, 4, 3, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453866446849}, {"parameter": "[4, 4, 4, 6],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121622529}, {"parameter": "[4, 4, 4, 6],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[4, 4, 4, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121622529}, {"parameter": "[4, 4, 4, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[4, 4, 4, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121622529}, {"parameter": "[4, 4, 4, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[4, 4, 4, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121622529}, {"parameter": "[4, 4, 4, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640121626625}, {"parameter": "[4, 4, 5, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[4, 4, 5, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[4, 4, 5, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[4, 4, 5, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[4, 4, 5, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[4, 4, 5, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[4, 4, 5, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[4, 4, 5, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755572475887617}, {"parameter": "[4, 4, 6, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755571418923009}, {"parameter": "[4, 4, 6, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755571418923009}, {"parameter": "[4, 4, 6, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[4, 4, 6, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[4, 4, 6, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755571418923009}, {"parameter": "[4, 4, 6, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755571418923009}, {"parameter": "[4, 4, 6, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[4, 4, 6, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814266755640138399745}, {"parameter": "[4, 4, 7, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819939841}, {"parameter": "[4, 4, 7, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918124522639361}, {"parameter": "[4, 4, 7, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819939841}, {"parameter": "[4, 4, 7, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918124522639361}, {"parameter": "[4, 5, 3, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989863937}, {"parameter": "[4, 5, 3, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989868033}, {"parameter": "[4, 5, 3, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989863937}, {"parameter": "[4, 5, 3, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989868033}, {"parameter": "[4, 5, 4, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378522625}, {"parameter": "[4, 5, 4, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378522625}, {"parameter": "[4, 5, 4, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378522625}, {"parameter": "[4, 5, 4, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378522625}, {"parameter": "[4, 5, 4, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378522625}, {"parameter": "[4, 5, 4, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378522625}, {"parameter": "[4, 5, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378522625}, {"parameter": "[4, 5, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848466378522625}, {"parameter": "[4, 5, 5, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321558017}, {"parameter": "[4, 5, 5, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321558017}, {"parameter": "[4, 5, 5, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321558017}, {"parameter": "[4, 5, 5, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321558017}, {"parameter": "[4, 5, 5, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321558017}, {"parameter": "[4, 5, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321558017}, {"parameter": "[4, 5, 5, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321558017}, {"parameter": "[4, 5, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813131848465321558017}, {"parameter": "[4, 5, 6, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132270391297}, {"parameter": "[4, 5, 6, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287168513}, {"parameter": "[4, 5, 6, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132270391297}, {"parameter": "[4, 5, 6, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287168513}, {"parameter": "[4, 6, 3, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454908056413929473}, {"parameter": "[4, 6, 3, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454908056413929473}, {"parameter": "[4, 6, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472922454923411457}, {"parameter": "[4, 6, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922454923411457}, {"parameter": "[4, 6, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115541788786689}, {"parameter": "[4, 6, 4, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115541788786689}, {"parameter": "[4, 6, 4, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115541788786689}, {"parameter": "[4, 6, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342813114115541788786689}, {"parameter": "[4, 6, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[4, 6, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[4, 6, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[4, 6, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 19342814267037046395633665}, {"parameter": "[4, 6, 5, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340191745}, {"parameter": "[4, 6, 5, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340191745}, {"parameter": "[4, 6, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453849673729}, {"parameter": "[4, 6, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472922453849673729}, {"parameter": "[4, 7, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185201006641153}, {"parameter": "[4, 7, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185201006641153}, {"parameter": "[4, 7, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302232607825230636777473}, {"parameter": "[4, 7, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607825230636777473}, {"parameter": "[4, 7, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989868033}, {"parameter": "[4, 7, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185200989868033}, {"parameter": "[4, 7, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607825230620004353}, {"parameter": "[4, 7, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607825230620004353}, {"parameter": "[4, 8, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638705665}, {"parameter": "[4, 8, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722384497276761411585}, {"parameter": "[5, 3, 3, 7],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73804995091394203649}, {"parameter": "[5, 3, 3, 7],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804995091410976769}, {"parameter": "[5, 3, 4, 6],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971537409}, {"parameter": "[5, 3, 4, 6],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[5, 3, 4, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971537409}, {"parameter": "[5, 3, 4, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[5, 3, 5, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404375325802497}, {"parameter": "[5, 3, 5, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404375325802497}, {"parameter": "[5, 3, 5, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404375325802497}, {"parameter": "[5, 3, 5, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404375325802497}, {"parameter": "[5, 3, 6, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404374268837889}, {"parameter": "[5, 3, 6, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404374268837889}, {"parameter": "[5, 3, 6, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988314625}, {"parameter": "[5, 3, 6, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988314625}, {"parameter": "[5, 3, 7, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804990693364469761}, {"parameter": "[5, 3, 7, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804990762067169281}, {"parameter": "[5, 4, 3, 6],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341401089}, {"parameter": "[5, 4, 3, 6],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[5, 4, 3, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341401089}, {"parameter": "[5, 4, 3, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[5, 4, 4, 5],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[5, 4, 4, 5],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[5, 4, 4, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[5, 4, 4, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[5, 4, 4, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[5, 4, 4, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918056876900353}, {"parameter": "[5, 4, 5, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819935745}, {"parameter": "[5, 4, 5, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819935745}, {"parameter": "[5, 4, 5, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819935745}, {"parameter": "[5, 4, 5, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819935745}, {"parameter": "[5, 4, 5, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819935745}, {"parameter": "[5, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819935745}, {"parameter": "[5, 4, 5, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819935745}, {"parameter": "[5, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918055819935745}, {"parameter": "[5, 4, 6, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344621928449}, {"parameter": "[5, 4, 6, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638705665}, {"parameter": "[5, 4, 6, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344621928449}, {"parameter": "[5, 4, 6, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638705665}, {"parameter": "[5, 5, 3, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366487268765466625}, {"parameter": "[5, 5, 3, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487268765466625}, {"parameter": "[5, 5, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366487268765466625}, {"parameter": "[5, 5, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487268765466625}, {"parameter": "[5, 5, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[5, 5, 4, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[5, 5, 4, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[5, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[5, 5, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[5, 5, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[5, 5, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[5, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132287164417}, {"parameter": "[5, 5, 5, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691728897}, {"parameter": "[5, 5, 5, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691728897}, {"parameter": "[5, 5, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691728897}, {"parameter": "[5, 5, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691728897}, {"parameter": "[5, 6, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938381467649}, {"parameter": "[5, 6, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938381467649}, {"parameter": "[5, 6, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413358178305}, {"parameter": "[5, 6, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413358178305}, {"parameter": "[5, 6, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364694529}, {"parameter": "[5, 6, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364694529}, {"parameter": "[5, 6, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[5, 6, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[5, 7, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363574464513}, {"parameter": "[5, 7, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787257769831698433}, {"parameter": "[6, 3, 3, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153203048303034369}, {"parameter": "[6, 3, 3, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203048303038465}, {"parameter": "[6, 3, 4, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73804990694421430273}, {"parameter": "[6, 3, 4, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804990694421430273}, {"parameter": "[6, 3, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73804990694421430273}, {"parameter": "[6, 3, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804990694421430273}, {"parameter": "[6, 3, 5, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73804990693364465665}, {"parameter": "[6, 3, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804990693364465665}, {"parameter": "[6, 3, 5, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73804990693364465665}, {"parameter": "[6, 3, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804990693364465665}, {"parameter": "[6, 3, 6, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153202979583561729}, {"parameter": "[6, 3, 6, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153202979600338945}, {"parameter": "[6, 4, 3, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786980693958459393}, {"parameter": "[6, 4, 3, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786980693958459393}, {"parameter": "[6, 4, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786980693958459393}, {"parameter": "[6, 4, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786980693958459393}, {"parameter": "[6, 4, 4, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638701569}, {"parameter": "[6, 4, 4, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638701569}, {"parameter": "[6, 4, 4, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638701569}, {"parameter": "[6, 4, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638701569}, {"parameter": "[6, 4, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638701569}, {"parameter": "[6, 4, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638701569}, {"parameter": "[6, 4, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638701569}, {"parameter": "[6, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638701569}, {"parameter": "[6, 4, 5, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884721665}, {"parameter": "[6, 4, 5, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884721665}, {"parameter": "[6, 4, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884721665}, {"parameter": "[6, 4, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786980692884721665}, {"parameter": "[6, 5, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976363574460417}, {"parameter": "[6, 5, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363574460417}, {"parameter": "[6, 5, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976363574460417}, {"parameter": "[6, 5, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363574460417}, {"parameter": "[6, 5, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557687297}, {"parameter": "[6, 5, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557687297}, {"parameter": "[6, 5, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557687297}, {"parameter": "[6, 5, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557687297}, {"parameter": "[6, 6, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921504623628289}, {"parameter": "[6, 6, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921573343105025}, {"parameter": "[7, 3, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73804995092467941377}, {"parameter": "[7, 3, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804995092467941377}, {"parameter": "[7, 3, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849245548545}, {"parameter": "[7, 3, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849245548545}, {"parameter": "[7, 3, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849245548545}, {"parameter": "[7, 3, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849245548545}, {"parameter": "[7, 3, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804995091394203649}, {"parameter": "[7, 3, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804995091394203649}, {"parameter": "[7, 4, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988314625}, {"parameter": "[7, 4, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988314625}, {"parameter": "[7, 4, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988314625}, {"parameter": "[7, 4, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988314625}, {"parameter": "[7, 4, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[7, 4, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[7, 4, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[7, 4, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[7, 5, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804990693364469761}, {"parameter": "[7, 5, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804990693364469761}, {"parameter": "[8, 3, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413358178305}, {"parameter": "[8, 3, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413358178305}, {"parameter": "[8, 3, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[8, 3, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[8, 4, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638705665}, {"parameter": "[8, 4, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638705665}, {"parameter": "[9, 3, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787011547946553345}, {"parameter": "[4, 3, 3, 3, 5],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73804995092467941377}, {"parameter": "[4, 3, 3, 3, 5],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804995092467941377}, {"parameter": "[4, 3, 3, 4, 4],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849245548545}, {"parameter": "[4, 3, 3, 4, 4],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849245548545}, {"parameter": "[4, 3, 3, 4, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849245548545}, {"parameter": "[4, 3, 3, 4, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519685849245548545}, {"parameter": "[4, 3, 3, 5, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804995091394203649}, {"parameter": "[4, 3, 3, 5, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804995091394203649}, {"parameter": "[4, 3, 4, 3, 4],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988314625}, {"parameter": "[4, 3, 4, 3, 4],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988314625}, {"parameter": "[4, 3, 4, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988314625}, {"parameter": "[4, 3, 4, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442988314625}, {"parameter": "[4, 3, 4, 4, 3],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[4, 3, 4, 4, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[4, 3, 4, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[4, 3, 4, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4723519404442971541505}, {"parameter": "[4, 3, 5, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804990693364469761}, {"parameter": "[4, 3, 5, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73804990693364469761}, {"parameter": "[4, 4, 3, 3, 4],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413358178305}, {"parameter": "[4, 4, 3, 3, 4],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413358178305}, {"parameter": "[4, 4, 3, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413358178305}, {"parameter": "[4, 4, 3, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413358178305}, {"parameter": "[4, 4, 3, 4, 3],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[4, 4, 3, 4, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[4, 4, 3, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[4, 4, 3, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764413341405185}, {"parameter": "[4, 4, 4, 3, 3],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638705665}, {"parameter": "[4, 4, 4, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638705665}, {"parameter": "[4, 4, 4, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638705665}, {"parameter": "[4, 4, 4, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764344638705665}, {"parameter": "[4, 5, 3, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363574464513}, {"parameter": "[4, 5, 3, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363574464513}, {"parameter": "[5, 3, 3, 3, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153203048319811585}, {"parameter": "[5, 3, 3, 3, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203048319811585}, {"parameter": "[5, 3, 3, 4, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203048303038465}, {"parameter": "[5, 3, 3, 4, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203048303038465}, {"parameter": "[5, 3, 4, 3, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153202979600338945}, {"parameter": "[5, 3, 4, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153202979600338945}, {"parameter": "[5, 4, 3, 3, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921573343105025}, {"parameter": "[5, 4, 3, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921573343105025}, {"parameter": "[6, 3, 3, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 281543712968705}, {"parameter": "", "name": "JohnsonLB", "value": 19342222980444244211723759}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 282025808367624}], "request": [8, 18, 6, 4], "liftedmrdsizebound": 19342888218721440581853256, "comments": "", "equal_bound_constraints": []}