{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1976197869283324130640423269902847181285}, {"parameter": "", "name": "singleton", "value": 436663151052043168024805}, {"parameter": "3", "name": "ilp_2", "value": 308534116768625449329924}, {"parameter": "4", "name": "ilp_2", "value": 22085732333122583944513848998481}, {"parameter": "6", "name": "ilp_3", "value": 1447764006800970059077233164763990609}, {"parameter": "7", "name": "ilp_3", "value": 1325548440579536768977507017729345}, {"parameter": "", "name": "anticode", "value": 308534116768625449329924}, {"parameter": "", "name": "linear_programming_bound", "value": 308534116768625449329924}, {"parameter": "", "name": "sphere_packing", "value": 64767544220604243649105843649}, {"parameter": "1", "name": "ilp_1", "value": 308534102976075420492807}, {"parameter": "2", "name": "ilp_1", "value": 308534102976075622806487}, {"parameter": "8", "name": "ilp_4", "value": 1316325123437486433024905458256016}, {"parameter": "9", "name": "ilp_4", "value": 1316316256994667831404186783361065}, {"parameter": "10", "name": "ilp_4", "value": 1316316256994667831404186783361065}, {"parameter": "11", "name": "ilp_4", "value": 82827796895628237546640528185748}, {"parameter": "12", "name": "ilp_4", "value": 5175494273768755792038106070186}, {"parameter": "13", "name": "ilp_4", "value": 323487838129762410289264579772}, {"parameter": "14", "name": "ilp_4", "value": 20220115886643382569706160452}, {"parameter": "15", "name": "ilp_4", "value": 1263752497389644040550371014}, {"parameter": "16", "name": "ilp_4", "value": 78984605235830629608269055}, {"parameter": "17", "name": "ilp_4", "value": 4936545937260757333464400}, {"parameter": "", "name": "johnson_1", "value": 308534102976075420492807}, {"parameter": "", "name": "johnson_2", "value": 4936545937260757333464400}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 1976197869283324130640423269902847181285}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1447764006800970059077233164763990609}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1325548440579536768977507017729345}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1316325123437486433024905458256016}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1316316256994667831404186783361065}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1316316256994667831404186783361065}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 82827796895628237546640528185748}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 5175494273768755792038106070186}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 323487838129762410289264579772}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 20220115886643382569706160452}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 1263752497389644040550371014}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 78984605235830629608269055}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 4936545937260757333464400}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 22085732333122583944513848998481}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 64767544220604243649105843649}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 64767547107448546893750614638}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 64767558654828333343847665194}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 64767604844388654727064509066}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 16132647099073414180040781427}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 4044326729437049655768559754}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1010896400758171841231415264}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 252813652369854488584366050}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 63248709138218266588371586}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 15858716918395156300523819}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 4011733602403493425241012}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1052923945804233148965566}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 328781653182462996699457}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 308534116768625449329924}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 308534121028089428123694}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 308534138065946329523887}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 308534206217389714730214}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 308534478823415729480829}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 308535569251559386419202}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 308539931028768549547465}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 308557379171819749390238}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 308627188295425065033647}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 308906689866435535053233}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 310028953706286058539398}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 314587191431339919891609}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 333999448728680761413453}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 436663151052043168024805}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1976197869283324130640423269902847181285}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 22085732333122583944513848998481}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 308534116768625449329924}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 308534102976075622806487}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 308534102976075420492807}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 1447764006800970059077233164763990609}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 64767544220604243649105843649}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 64958036989176669348293039763}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 65731346918223733904703575027}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 69017914107457436063153922725}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 86272391606125817394457344593}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1325548440579536768977507017729345}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1326763202496083483118481340859472}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1331641007511544989817677698857483}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1351457090323505075554931688873155}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1435923142170286379509673207455397}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 1884649011792085827682980366254565}, {"parameter": "", "name": "improved_johnson", "value": 308534102976075420492801}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 20225029609086615333803891024}], "known_codes": [], "upper_bound": 308534102976075420492801, "classified": false, "lower_bound": 302232918152715293431461, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 302231454903657293676544}, {"parameter": "", "name": "sphere_covering", "value": 53223070220104593674}, {"parameter": "", "name": "graham_sloane", "value": 1255428529200810843}, {"parameter": "", "name": "multicomponent", "value": 302232607829559948083201}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 302231454903657293676545}, {"parameter": "", "name": "two_pivot_block_construction", "value": 302232607829559947034624}, {"parameter": "(5, 13)", "name": "CKMP2019_Lem_41", "value": 302231455185133633144080}, {"parameter": "(6, 12)", "name": "CKMP2019_Lem_41", "value": 4722366487267713017856}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 73786976363558012400}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 1181744542223091896360}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 18890636867381698232385}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 302232619084160968950785}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 302232902740568749113345}, {"parameter": "(12, 6)", "name": "CKMP2019_Lem_41", "value": 302232918151323724021761}, {"parameter": "(13, 5)", "name": "CKMP2019_Lem_41", "value": 302232918152715293425665}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Lem_41", "value": 302231455185132270388225}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Lem_41", "value": 302231454908055340187649}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Lem_41", "value": 302231454903726013153281}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Lem_41", "value": 302231454904757879046145}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Lem_41", "value": 4722366487267691724801}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Lem_41", "value": 4722366482938364690433}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Lem_41", "value": 4722366482870718955521}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Lem_41", "value": 73786976363557683201}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Lem_41", "value": 73786976295911948289}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Lem_41", "value": 1181744542223091892225}, {"parameter": "(5, 13)", "name": "CKMP2019_Cor_42", "value": 302231455185133633144080}, {"parameter": "(6, 12)", "name": "CKMP2019_Cor_42", "value": 4722366487267713017856}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 73786976363558012400}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 1181744542223091896360}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 18890636867381698232385}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 302232619084160968950785}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 302232902740568749113345}, {"parameter": "(12, 6)", "name": "CKMP2019_Cor_42", "value": 302232918151323724021761}, {"parameter": "(13, 5)", "name": "CKMP2019_Cor_42", "value": 302232918152715293425665}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Cor_42", "value": 302231455185132270388225}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Cor_42", "value": 302231454908055340187649}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Cor_42", "value": 302231454903726013153281}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Cor_42", "value": 302231454904757879046145}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Cor_42", "value": 4722366487267691724801}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Cor_42", "value": 4722366482938364690433}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Cor_42", "value": 4722366482870718955521}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Cor_42", "value": 73786976363557683201}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Cor_42", "value": 73786976295911948289}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Cor_42", "value": 1181744542223091892225}, {"parameter": "5", "name": "linkage_ST", "value": 302232918152715293425665}, {"parameter": "6", "name": "linkage_ST", "value": 302232918151323724021761}, {"parameter": "7", "name": "linkage_ST", "value": 302232902740568749113345}, {"parameter": "8", "name": "linkage_ST", "value": 302232619084160968950785}, {"parameter": "9", "name": "linkage_ST", "value": 18890636867381698232385}, {"parameter": "10", "name": "linkage_ST", "value": 1181744542223091896360}, {"parameter": "11", "name": "linkage_ST", "value": 73786976363558012400}, {"parameter": "12", "name": "linkage_ST", "value": 4722366487267713017856}, {"parameter": "13", "name": "linkage_ST", "value": 302231455185133633144080}, {"parameter": "14", "name": "linkage_ST", "value": 18014485725940304}, {"parameter": "15", "name": "linkage_ST", "value": 1152927086460344384}, {"parameter": "16", "name": "linkage_ST", "value": 73787329770646673061}, {"parameter": "17", "name": "linkage_ST", "value": 4722389346114433193637}, {"parameter": "5", "name": "construction_D", "value": 302232918152715293425664}, {"parameter": "6", "name": "construction_D", "value": 302232918151323724021760}, {"parameter": "7", "name": "construction_D", "value": 302232902740568749113344}, {"parameter": "8", "name": "construction_D", "value": 302232619084160968949760}, {"parameter": "9", "name": "construction_D", "value": 18890636867381697183744}, {"parameter": "10", "name": "construction_D", "value": 1181744542222018150400}, {"parameter": "11", "name": "construction_D", "value": 73786976294838206464}, {"parameter": "12", "name": "construction_D", "value": 4722366482869645213696}, {"parameter": "13", "name": "construction_D", "value": 302231454903657293676544}, {"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": 302231455185133633144080}, {"parameter": "6", "name": "linkage_GLT", "value": 4722366487267713017856}, {"parameter": "7", "name": "linkage_GLT", "value": 73786976363558012400}, {"parameter": "8", "name": "linkage_GLT", "value": 1181744542223091896360}, {"parameter": "9", "name": "linkage_GLT", "value": 18890636867381698232385}, {"parameter": "10", "name": "linkage_GLT", "value": 302232619084160968950785}, {"parameter": "11", "name": "linkage_GLT", "value": 302232902740568749113345}, {"parameter": "12", "name": "linkage_GLT", "value": 302232918151323724021761}, {"parameter": "13", "name": "linkage_GLT", "value": 302232918152715293425665}, {"parameter": "5", "name": "improved_linkage", "value": 302232607830743754020928}, {"parameter": "6", "name": "improved_linkage", "value": 4722384497355371154000}, {"parameter": "7", "name": "improved_linkage", "value": 73787257771177674000}, {"parameter": "8", "name": "improved_linkage", "value": 1181744546620085954560}, {"parameter": "9", "name": "improved_linkage", "value": 18890636867450416989680}, {"parameter": "10", "name": "improved_linkage", "value": 302232619084162042695720}, {"parameter": "11", "name": "improved_linkage", "value": 302232902740568750161985}, {"parameter": "12", "name": "improved_linkage", "value": 302232918151323724022785}, {"parameter": "13", "name": "improved_linkage", "value": 302232918152715293425665}, {"parameter": "14", "name": "improved_linkage", "value": 18889557384563580207105}, {"parameter": "15", "name": "improved_linkage", "value": 1180597336535392649217}, {"parameter": "5,0", "name": "generalized_linkage", "value": 302231473199619359066384}, {"parameter": "5,1", "name": "generalized_linkage", "value": 302231472918143019616848}, {"parameter": "5,2", "name": "generalized_linkage", "value": 302232607830743754020928}, {"parameter": "6,0", "name": "generalized_linkage", "value": 4722367683542155749376}, {"parameter": "6,1", "name": "generalized_linkage", "value": 4722366764345984681232}, {"parameter": "6,2", "name": "generalized_linkage", "value": 4722384497355371154000}, {"parameter": "7,0", "name": "generalized_linkage", "value": 73787051130706870768}, {"parameter": "7,1", "name": "generalized_linkage", "value": 73786980692906010624}, {"parameter": "7,2", "name": "generalized_linkage", "value": 73787257771177674000}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1181744546913214249640}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1181744542290737956336}, {"parameter": "8,2", "name": "generalized_linkage", "value": 1181744546620085954560}, {"parameter": "9,0", "name": "generalized_linkage", "value": 18890636867387776155621}, {"parameter": "9,1", "name": "generalized_linkage", "value": 18890636867382770929704}, {"parameter": "9,2", "name": "generalized_linkage", "value": 18890636867450416989680}, {"parameter": "10,0", "name": "generalized_linkage", "value": 302232619084160974891685}, {"parameter": "10,1", "name": "generalized_linkage", "value": 302232619084160969998401}, {"parameter": "10,2", "name": "generalized_linkage", "value": 302232619084162042695720}, {"parameter": "11,0", "name": "generalized_linkage", "value": 302232902740568749119141}, {"parameter": "11,1", "name": "generalized_linkage", "value": 302232902740568749114369}, {"parameter": "11,2", "name": "generalized_linkage", "value": 302232902740568750161985}, {"parameter": "12,0", "name": "generalized_linkage", "value": 302232918151323724027557}, {"parameter": "12,1", "name": "generalized_linkage", "value": 302232918151323724021761}, {"parameter": "12,2", "name": "generalized_linkage", "value": 302232918151323724022785}, {"parameter": "13,0", "name": "generalized_linkage", "value": 302232918152715293431461}, {"parameter": "13,1", "name": "generalized_linkage", "value": 302232918152715293425665}, {"parameter": "13,2", "name": "generalized_linkage", "value": 302232918152715293425665}, {"parameter": "14,1", "name": "generalized_linkage", "value": 18889557384563580207105}, {"parameter": "14,2", "name": "generalized_linkage", "value": 18889557384563580207105}, {"parameter": "15,2", "name": "generalized_linkage", "value": 1180597336535392649217}, {"parameter": "[5, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231473199619359066384}, {"parameter": "[5, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231472918143019616848}, {"parameter": "[5, 13],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302232607830743754020928}, {"parameter": "[6, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722367683542155749376}, {"parameter": "[6, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366764345984681232}, {"parameter": "[6, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722384497355371154000}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787051130706870768}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786980692906010624}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787257771177674000}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1181744546913214249640}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1181744542290737956336}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1181744546620085954560}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18890636867387776155621}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18890636867382770929704}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18890636867450416989680}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302232619084160974891685}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232619084160969998401}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302232619084162042695720}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302232902740568749119141}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232902740568749114369}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302232902740568750161985}, {"parameter": "[12, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302232918151323724027557}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232918151323724021761}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302232918151323724022785}, {"parameter": "[13, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302232918152715293431461}, {"parameter": "[13, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232918152715293425665}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302232918152715293425665}, {"parameter": "[14, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18889557384563580207105}, {"parameter": "[14, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18889557384563580207105}, {"parameter": "[15, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180597336535392649217}, {"parameter": "[5, 3, 10],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1181744543687681385800}, {"parameter": "[5, 3, 10],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1181744546688805536240}, {"parameter": "[5, 3, 10],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1181744828096425420800}, {"parameter": "[5, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18889483945881520844993}, {"parameter": "[5, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18889483945946883824168}, {"parameter": "[5, 4, 9],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 18889483950343877722608}, {"parameter": "[5, 4, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 18889483945881520844993}, {"parameter": "[5, 4, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 18889483945946883824168}, {"parameter": "[5, 4, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18889483950343877722608}, {"parameter": "[5, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231473199530784199809}, {"parameter": "[5, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231473199530848030849}, {"parameter": "[5, 5, 8],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231473199600573356584}, {"parameter": "[5, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132274717825}, {"parameter": "[5, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132338548865}, {"parameter": "[5, 5, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231455185202063874600}, {"parameter": "[5, 5, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132274717825}, {"parameter": "[5, 5, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455185132338548865}, {"parameter": "[5, 5, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231455185202063874600}, {"parameter": "[5, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231455189530316916049}, {"parameter": "[5, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231455189530316964929}, {"parameter": "[5, 6, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231455189530385059969}, {"parameter": "[5, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340205393}, {"parameter": "[5, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055340254273}, {"parameter": "[5, 6, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231454908055408349313}, {"parameter": "[5, 6, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231459411654967575889}, {"parameter": "[5, 6, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231459411654967624769}, {"parameter": "[5, 6, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231459411655035719809}, {"parameter": "[5, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454908124059735169}, {"parameter": "[5, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454908124059664449}, {"parameter": "[5, 7, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231454908124059731009}, {"parameter": "[5, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454974094757401729}, {"parameter": "[5, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454974094757331009}, {"parameter": "[5, 7, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231454974094757397569}, {"parameter": "[5, 7, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231526965718097663105}, {"parameter": "[5, 7, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231526965718097592385}, {"parameter": "[5, 7, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231526965718097658945}, {"parameter": "[5, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231454975195342984529}, {"parameter": "[5, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231454975195342700609}, {"parameter": "[5, 8, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231454975195342700609}, {"parameter": "[5, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 302231456029626994021713}, {"parameter": "[5, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 302231456029626993737793}, {"parameter": "[5, 8, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 302231456029626993737793}, {"parameter": "[5, 8, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 302232607829602896991569}, {"parameter": "[5, 8, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 302232607829602896707649}, {"parameter": "[5, 8, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 302232607829602896707649}, {"parameter": "[5, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18889466002951266893889}, {"parameter": "[5, 9, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18889466002951266893889}, {"parameter": "[5, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18889467057382824607809}, {"parameter": "[5, 9, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 18889467057382824607809}, {"parameter": "[5, 9, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 18889537989417810001985}, {"parameter": "[5, 9, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18889537989417810001985}, {"parameter": "[5, 10, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591692185942401089}, {"parameter": "[5, 10, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591691086492581953}, {"parameter": "[5, 10, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180596124338842763329}, {"parameter": "[6, 3, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 18464758478230892453}, {"parameter": "[6, 3, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 18464758765351680680}, {"parameter": "[6, 3, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18464777232726054128}, {"parameter": "[6, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 295148186654347725137}, {"parameter": "[6, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 295148186654615815505}, {"parameter": "[6, 4, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 295148186947462183592}, {"parameter": "[6, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 295148186654347725137}, {"parameter": "[6, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 295148186654615815505}, {"parameter": "[6, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 295148186947462183592}, {"parameter": "[6, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722367683536342762833}, {"parameter": "[6, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722367683536343024913}, {"parameter": "[6, 5, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722367683536629024081}, {"parameter": "[6, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691742545}, {"parameter": "[6, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267692004625}, {"parameter": "[6, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267978003793}, {"parameter": "[6, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267691742545}, {"parameter": "[6, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267692004625}, {"parameter": "[6, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366487267978003793}, {"parameter": "[6, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366501630062437153}, {"parameter": "[6, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366501630062362897}, {"parameter": "[6, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366501630062642449}, {"parameter": "[6, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364764961}, {"parameter": "[6, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364690705}, {"parameter": "[6, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366482938364970257}, {"parameter": "[6, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366553307108942625}, {"parameter": "[6, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366553307108868369}, {"parameter": "[6, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366553307109147921}, {"parameter": "[6, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366483162777028945}, {"parameter": "[6, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366483162776731921}, {"parameter": "[6, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366483162776731921}, {"parameter": "[6, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722366483970230880593}, {"parameter": "[6, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722366483970230583569}, {"parameter": "[6, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722366483970230583569}, {"parameter": "[6, 7, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4722367608839345572177}, {"parameter": "[6, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4722367608839345275153}, {"parameter": "[6, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4722367608839345275153}, {"parameter": "[6, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 295147905472770605329}, {"parameter": "[6, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 295147905472770605329}, {"parameter": "[6, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 295147906278932611345}, {"parameter": "[6, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 295147906278932611345}, {"parameter": "[6, 8, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 295149031083596579089}, {"parameter": "[6, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 295149031083596579089}, {"parameter": "[6, 9, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 18446744366859240721}, {"parameter": "[6, 9, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 18446745173225414929}, {"parameter": "[6, 9, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 18446814442790830353}, {"parameter": "[7, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 288511851151863125}, {"parameter": "[7, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 288511852270392449}, {"parameter": "[7, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 288513020437772840}, {"parameter": "[7, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4611690416473969793}, {"parameter": "[7, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4611690416475015233}, {"parameter": "[7, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611690417615869057}, {"parameter": "[7, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4611690416473969793}, {"parameter": "[7, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4611690416475015233}, {"parameter": "[7, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611690417615869057}, {"parameter": "[7, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787051130348442753}, {"parameter": "[7, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787051130348373057}, {"parameter": "[7, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787051130349488193}, {"parameter": "[7, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557753985}, {"parameter": "[7, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557684289}, {"parameter": "[7, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976363558799425}, {"parameter": "[7, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557753985}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976363557684289}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976363558799425}, {"parameter": "[7, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786977464143350097}, {"parameter": "[7, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786977464143053889}, {"parameter": "[7, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786977464143053889}, {"parameter": "[7, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786976295912245585}, {"parameter": "[7, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976295911949377}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976295911949377}, {"parameter": "[7, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73786977395423873361}, {"parameter": "[7, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786977395423577153}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786977395423577153}, {"parameter": "[7, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4611686019569288257}, {"parameter": "[7, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611686019569288257}, {"parameter": "[7, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4611686019502179393}, {"parameter": "[7, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611686019502179393}, {"parameter": "[7, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4611687118007174209}, {"parameter": "[7, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611687118007174209}, {"parameter": "[7, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 288230377294727233}, {"parameter": "[7, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 288230377225521217}, {"parameter": "[7, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 288231475667575873}, {"parameter": "[8, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4616194016101361253}, {"parameter": "[8, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4616194016105747729}, {"parameter": "[8, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4616194020682782033}, {"parameter": "[8, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73859033957595895121}, {"parameter": "[8, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73859033957595615505}, {"parameter": "[8, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73859033957600089361}, {"parameter": "[8, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73859033957595895121}, {"parameter": "[8, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73859033957595615505}, {"parameter": "[8, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73859033957600089361}, {"parameter": "[8, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1181744546913196463441}, {"parameter": "[8, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1181744546913196183825}, {"parameter": "[8, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1181744546913196183825}, {"parameter": "[8, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1181744542223092176209}, {"parameter": "[8, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1181744542223091896593}, {"parameter": "[8, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1181744542223091896593}, {"parameter": "[8, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1181744542223092176209}, {"parameter": "[8, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1181744542223091896593}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1181744542223091896593}, {"parameter": "[8, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73859033893457367313}, {"parameter": "[8, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73859033893457367313}, {"parameter": "[8, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73859033888877187345}, {"parameter": "[8, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73859033888877187345}, {"parameter": "[8, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73859033889950929169}, {"parameter": "[8, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73859033889950929169}, {"parameter": "[8, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4616189618059236625}, {"parameter": "[8, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4616189618055812369}, {"parameter": "[8, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4616189619128571153}, {"parameter": "[9, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73791550331929353097}, {"parameter": "[9, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73791550331929237157}, {"parameter": "[9, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73791550331935173285}, {"parameter": "[9, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1180664804212430192613}, {"parameter": "[9, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180664804212429821605}, {"parameter": "[9, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180664804212429821605}, {"parameter": "[9, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1180664804212430192613}, {"parameter": "[9, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180664804212429821605}, {"parameter": "[9, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180664804212429821605}, {"parameter": "[9, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180664804217434674853}, {"parameter": "[9, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180664804217434674853}, {"parameter": "[9, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180664804211357128357}, {"parameter": "[9, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180664804211357128357}, {"parameter": "[9, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180664804211357128357}, {"parameter": "[9, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180664804211357128357}, {"parameter": "[9, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73791550263215696549}, {"parameter": "[9, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73791550263209761445}, {"parameter": "[9, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73791550263210810021}, {"parameter": "[10, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1180596168298577648521}, {"parameter": "[10, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180596168298577532581}, {"parameter": "[10, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180596168298577532581}, {"parameter": "[10, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180596168297504839333}, {"parameter": "[10, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180596168297504839333}, {"parameter": "[10, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180596168297504839333}, {"parameter": "[10, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180596168297504839333}, {"parameter": "[10, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180596168297509726885}, {"parameter": "[10, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180596168297503791781}, {"parameter": "[10, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180596168297503791781}, {"parameter": "[11, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787329770647721637}, {"parameter": "[11, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787329770647721637}, {"parameter": "[11, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787329770646674085}, {"parameter": "[11, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787329770646674085}, {"parameter": "[12, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611708345814882981}, {"parameter": "[5, 3, 3, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4616475491078008825}, {"parameter": "[5, 3, 3, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4616475491079379285}, {"parameter": "[5, 3, 3, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4616475492509375125}, {"parameter": "[5, 3, 4, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 73859038355642210965}, {"parameter": "[5, 3, 4, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73859038355642123605}, {"parameter": "[5, 3, 4, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73859038355643521365}, {"parameter": "[5, 3, 4, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73859038355642210965}, {"parameter": "[5, 3, 4, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73859038355642123605}, {"parameter": "[5, 3, 4, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73859038355643521365}, {"parameter": "[5, 3, 5, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1181744543687675828885}, {"parameter": "[5, 3, 5, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1181744543687675741525}, {"parameter": "[5, 3, 5, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1181744543687675741525}, {"parameter": "[5, 3, 5, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1181744542291811457685}, {"parameter": "[5, 3, 5, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1181744542291811370325}, {"parameter": "[5, 3, 5, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1181744542291811370325}, {"parameter": "[5, 3, 5, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1181744542291811457685}, {"parameter": "[5, 3, 5, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1181744542291811370325}, {"parameter": "[5, 3, 5, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1181744542291811370325}, {"parameter": "[5, 3, 6, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 73859033890307442005}, {"parameter": "[5, 3, 6, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73859033890307442005}, {"parameter": "[5, 3, 6, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 73859033888944293205}, {"parameter": "[5, 3, 6, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73859033888944293205}, {"parameter": "[5, 3, 6, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73859033958737511765}, {"parameter": "[5, 3, 6, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73859033958737511765}, {"parameter": "[5, 3, 7, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4616189618056157525}, {"parameter": "[5, 3, 7, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4616189618122983765}, {"parameter": "[5, 3, 7, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4616189687852304725}, {"parameter": "[5, 4, 3, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787051130348460693}, {"parameter": "[5, 4, 3, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787051130348376193}, {"parameter": "[5, 4, 3, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787051130352702593}, {"parameter": "[5, 4, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 73787051130348460693}, {"parameter": "[5, 4, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73787051130348376193}, {"parameter": "[5, 4, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787051130352702593}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1180592746687111639233}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746687111368833}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746687111368833}, {"parameter": "[5, 4, 4, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1180592746687111639233}, {"parameter": "[5, 4, 4, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746687111368833}, {"parameter": "[5, 4, 4, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746687111368833}, {"parameter": "[5, 4, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1180592746687111639233}, {"parameter": "[5, 4, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746687111368833}, {"parameter": "[5, 4, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746687111368833}, {"parameter": "[5, 4, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1180592746687111639233}, {"parameter": "[5, 4, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746687111368833}, {"parameter": "[5, 4, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746687111368833}, {"parameter": "[5, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746621748383873}, {"parameter": "[5, 4, 5, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746621748383873}, {"parameter": "[5, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746617386307713}, {"parameter": "[5, 4, 5, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746617386307713}, {"parameter": "[5, 4, 5, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746617386307713}, {"parameter": "[5, 4, 5, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746617386307713}, {"parameter": "[5, 4, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746621748383873}, {"parameter": "[5, 4, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746621748383873}, {"parameter": "[5, 4, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746617386307713}, {"parameter": "[5, 4, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746617386307713}, {"parameter": "[5, 4, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180592746617386307713}, {"parameter": "[5, 4, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180592746617386307713}, {"parameter": "[5, 4, 6, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787046663586714753}, {"parameter": "[5, 4, 6, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787046663582454913}, {"parameter": "[5, 4, 6, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787046663650612353}, {"parameter": "[5, 4, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787046663586714753}, {"parameter": "[5, 4, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787046663582454913}, {"parameter": "[5, 4, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73787046663650612353}, {"parameter": "[5, 5, 3, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1180591692255460416149}, {"parameter": "[5, 5, 3, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591692255460331649}, {"parameter": "[5, 5, 3, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591692255460331649}, {"parameter": "[5, 5, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1180591621886716238485}, {"parameter": "[5, 5, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591621886716153985}, {"parameter": "[5, 5, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621886716153985}, {"parameter": "[5, 5, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1180591621886716238485}, {"parameter": "[5, 5, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591621886716153985}, {"parameter": "[5, 5, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621886716153985}, {"parameter": "[5, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591692185735270529}, {"parameter": "[5, 5, 4, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591692185735270529}, {"parameter": "[5, 5, 4, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591692185735270529}, {"parameter": "[5, 5, 4, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591692185735270529}, {"parameter": "[5, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816991092865}, {"parameter": "[5, 5, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816991092865}, {"parameter": "[5, 5, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816991092865}, {"parameter": "[5, 5, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816991092865}, {"parameter": "[5, 5, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816991092865}, {"parameter": "[5, 5, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816991092865}, {"parameter": "[5, 5, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816991092865}, {"parameter": "[5, 5, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816991092865}, {"parameter": "[5, 5, 5, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591692185671439489}, {"parameter": "[5, 5, 5, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591692185667179649}, {"parameter": "[5, 5, 5, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591692185667179649}, {"parameter": "[5, 5, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816927261825}, {"parameter": "[5, 5, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816923001985}, {"parameter": "[5, 5, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816923001985}, {"parameter": "[5, 5, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816927261825}, {"parameter": "[5, 5, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816923001985}, {"parameter": "[5, 5, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1180591621816923001985}, {"parameter": "[5, 6, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976364699600209}, {"parameter": "[5, 6, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976364699600209}, {"parameter": "[5, 6, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786976295980123473}, {"parameter": "[5, 6, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976295980123473}, {"parameter": "[5, 6, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 73786977395491751249}, {"parameter": "[5, 6, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786977395491751249}, {"parameter": "[5, 6, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976364631509329}, {"parameter": "[5, 6, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976364631509329}, {"parameter": "[5, 6, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976295912032593}, {"parameter": "[5, 6, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786976295912032593}, {"parameter": "[5, 6, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786977395423660369}, {"parameter": "[5, 6, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 73786977395423660369}, {"parameter": "[5, 7, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611686018495682689}, {"parameter": "[5, 7, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611686019502315649}, {"parameter": "[5, 7, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4611687118007310465}, {"parameter": "[6, 3, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 72146723199374921}, {"parameter": "[6, 3, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 72146723199260261}, {"parameter": "[6, 3, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72146723205130853}, {"parameter": "[6, 3, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1154047697645580197}, {"parameter": "[6, 3, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047697645213285}, {"parameter": "[6, 3, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047697645213285}, {"parameter": "[6, 3, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1154047697645580197}, {"parameter": "[6, 3, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047697645213285}, {"parameter": "[6, 3, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047697645213285}, {"parameter": "[6, 3, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047410525181541}, {"parameter": "[6, 3, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047410525181541}, {"parameter": "[6, 3, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047404799956581}, {"parameter": "[6, 3, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047404799956581}, {"parameter": "[6, 3, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1154047404799956581}, {"parameter": "[6, 3, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1154047404799956581}, {"parameter": "[6, 3, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 72127962787981925}, {"parameter": "[6, 3, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 72127962782390885}, {"parameter": "[6, 3, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72127963068652133}, {"parameter": "[6, 4, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152922897250365349}, {"parameter": "[6, 4, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922897250010449}, {"parameter": "[6, 4, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922897250010449}, {"parameter": "[6, 4, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152922897250365349}, {"parameter": "[6, 4, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922897250010449}, {"parameter": "[6, 4, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922897250010449}, {"parameter": "[6, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922604404753745}, {"parameter": "[6, 4, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604404753745}, {"parameter": "[6, 4, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922604404753745}, {"parameter": "[6, 4, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604404753745}, {"parameter": "[6, 4, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922604404753745}, {"parameter": "[6, 4, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604404753745}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152922604404753745}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604404753745}, {"parameter": "[6, 4, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604136663377}, {"parameter": "[6, 4, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604118772049}, {"parameter": "[6, 4, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604118772049}, {"parameter": "[6, 4, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604136663377}, {"parameter": "[6, 4, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604118772049}, {"parameter": "[6, 4, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152922604118772049}, {"parameter": "[6, 5, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921798024643921}, {"parameter": "[6, 5, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921798024643921}, {"parameter": "[6, 5, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921505966867793}, {"parameter": "[6, 5, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505966867793}, {"parameter": "[6, 5, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152921505966867793}, {"parameter": "[6, 5, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505966867793}, {"parameter": "[6, 5, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921797738662225}, {"parameter": "[6, 5, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921797738662225}, {"parameter": "[6, 5, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680886097}, {"parameter": "[6, 5, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680886097}, {"parameter": "[6, 5, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680886097}, {"parameter": "[6, 5, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1152921505680886097}, {"parameter": "[6, 6, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057594324543265}, {"parameter": "[6, 6, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057594039330593}, {"parameter": "[6, 6, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 72057595113072417}, {"parameter": "[7, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1128168723796985}, {"parameter": "[7, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1128168723339605}, {"parameter": "[7, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1128168723339605}, {"parameter": "[7, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1127000560392533}, {"parameter": "[7, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1127000560392533}, {"parameter": "[7, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1127000560392533}, {"parameter": "[7, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1127000560392533}, {"parameter": "[7, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999441911125}, {"parameter": "[7, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999419608405}, {"parameter": "[7, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999419608405}, {"parameter": "[7, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1125902122554497}, {"parameter": "[7, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125902122554497}, {"parameter": "[7, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1125902122554497}, {"parameter": "[7, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125902122554497}, {"parameter": "[7, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125900981770369}, {"parameter": "[7, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125900981770369}, {"parameter": "[7, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125900981770369}, {"parameter": "[7, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125900981770369}, {"parameter": "[7, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125901049927809}, {"parameter": "[7, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125899909077121}, {"parameter": "[7, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125899909077121}, {"parameter": "[8, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1127005073532517}, {"parameter": "[8, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1127005073532517}, {"parameter": "[8, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1127000496777829}, {"parameter": "[8, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1127000496777829}, {"parameter": "[8, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999424276817}, {"parameter": "[8, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999424276817}, {"parameter": "[9, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125969707167625}, {"parameter": "[5, 3, 3, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1127070643023865}, {"parameter": "[5, 3, 3, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1127070643023865}, {"parameter": "[5, 3, 3, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1127069213115385}, {"parameter": "[5, 3, 3, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1127069213115385}, {"parameter": "[5, 3, 4, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999488114325}, {"parameter": "[5, 3, 4, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1126999488114325}, {"parameter": "[5, 4, 3, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125901053157013}, {"parameter": "[5, 4, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1125901053157013}, {"parameter": "[6, 3, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100877621833}, {"parameter": "", "name": "JohnsonLB", "value": 302159324606838258689704}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 288302132176289428}], "request": [4, 18, 6, 5], "liftedmrdsizebound": 302233120640872505706725, "comments": "", "equal_bound_constraints": []}