{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 120843139740969555}, {"parameter": "", "name": "singleton", "value": 57162391576563}, {"parameter": "4", "name": "ilp_2", "value": 29509924234669}, {"parameter": "6", "name": "ilp_3", "value": 1918145075253485}, {"parameter": "", "name": "anticode", "value": 29509924234669}, {"parameter": "", "name": "linear_programming_bound", "value": 29509924234669}, {"parameter": "", "name": "sphere_packing", "value": 120843139740969555}, {"parameter": "1", "name": "ilp_1", "value": 29495510692829}, {"parameter": "2", "name": "ilp_1", "value": 29495510693957}, {"parameter": "3", "name": "ilp_1", "value": 29495513332833}, {"parameter": "7", "name": "ilp_4", "value": 1857731057135265}, {"parameter": "8", "name": "ilp_4", "value": 1857020303980933}, {"parameter": "9", "name": "ilp_4", "value": 1857000831291773}, {"parameter": "10", "name": "ilp_4", "value": 1857000831291773}, {"parameter": "11", "name": "ilp_4", "value": 951520785361965}, {"parameter": "12", "name": "ilp_4", "value": 470163044742532}, {"parameter": "13", "name": "ilp_4", "value": 236480929054541}, {"parameter": "14", "name": "ilp_4", "value": 117895408290730}, {"parameter": "15", "name": "ilp_4", "value": 59034264651182}, {"parameter": "", "name": "johnson_1", "value": 29495510692829}, {"parameter": "", "name": "johnson_2", "value": 59034264651182}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 120843139740969555}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 1918145075253485}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 1857731057135265}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1857020303980933}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 1857000831291773}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 1857000831291773}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 951520785361965}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 470163044742532}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 236480929054541}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 117895408290730}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 59034264651182}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 29509924234669}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 29516899751566}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 29530860683221}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 29558822203574}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 29614904399146}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 29727709653375}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 29955918051817}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 30423009964429}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 31402299609958}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 33563027657304}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 38918885584853}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 57162391576563}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 120843139740969555}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 29509924234669}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 29495513332833}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 29495510693957}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 29495510692829}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 1918145075253485}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 1949067541659887}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 2014003134997229}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 2157781444794220}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 2517181132274675}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 3774561792168531}, {"parameter": "", "name": "improved_johnson", "value": 29495510692829}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 959072537626742}], "known_codes": [], "upper_bound": 29495510692829, "classified": false, "lower_bound": 20021891625368, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 17592186044416}, {"parameter": "", "name": "sphere_covering", "value": 952158056503}, {"parameter": "", "name": "graham_sloane", "value": 1843948115373}, {"parameter": "", "name": "multicomponent", "value": 17661175006209}, {"parameter": "", "name": "construction_ST_B", "value": 18823637893120}, {"parameter": "q^44 + q^40 + q^38 + 8*q^36 + q^35 + q^34 + 3*q^33 + 2*q^32 + 3*q^31 + 5*q^30 + 5*q^29 + 9*q^28 + 3*q^27 + 6*q^26 + 8*q^25 + 14*q^24 + 10*q^23 + 16*q^22 + 3*q^21 + 39*q^20 + 3*q^19 + 9*q^18 + 8*q^17 + 10*q^16 + 12*q^15 + 10*q^14 + 8*q^13 + 10*q^12 + 10*q^11 + 17*q^10 + 12*q^9 + 10*q^8 + 6*q^7 + 4*q^6 + q^5 + 4*q^4", "name": "greedy_multicomponent", "value": 19620655323744}, {"parameter": "[(3805560, '(1,4), 10: 3805560'), (31175147520, '(1,4), 6: 31175147520')]", "name": "coset_construction_parallelism_part", "value": 31175147520}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 17592834257672}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 18761065362184}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 18823637893120}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_16", "value": 19495907229727}, {"parameter": "", "name": "two_pivot_block_construction", "value": 18764997328896}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 20021868703021}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 18838316762219}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 20021891625368}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 20021887463832}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1778678766144}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1778674702912}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 2907730845320}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 2907727175304}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 5708283680624}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 5708283680624}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 10004894226504}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 10004897896520}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 19777546582792}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 19777550646024}, {"parameter": "(5,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 19638424662792}, {"parameter": "(5,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 19638428824328}, {"parameter": "(5, 11)", "name": "CKMP2019_Lem_41", "value": 20021887431064}, {"parameter": "(6, 10)", "name": "CKMP2019_Lem_41", "value": 1778674571840}, {"parameter": "(7, 9)", "name": "CKMP2019_Lem_41", "value": 2907726651016}, {"parameter": "(8, 8)", "name": "CKMP2019_Lem_41", "value": 5708281583472}, {"parameter": "(9, 7)", "name": "CKMP2019_Lem_41", "value": 10004893702216}, {"parameter": "(10, 6)", "name": "CKMP2019_Lem_41", "value": 19777546451720}, {"parameter": "(11, 5)", "name": "CKMP2019_Lem_41", "value": 19638424630024}, {"parameter": "(5, 5, 6)", "name": "CKMP2019_Lem_41", "value": 19785626369088}, {"parameter": "(5, 6, 5)", "name": "CKMP2019_Lem_41", "value": 17802969680448}, {"parameter": "(6, 5, 5)", "name": "CKMP2019_Lem_41", "value": 1778379590208}, {"parameter": "(5, 11)", "name": "CKMP2019_Cor_42", "value": 20021887431064}, {"parameter": "(6, 10)", "name": "CKMP2019_Cor_42", "value": 1778674571840}, {"parameter": "(7, 9)", "name": "CKMP2019_Cor_42", "value": 2907726651016}, {"parameter": "(8, 8)", "name": "CKMP2019_Cor_42", "value": 5708281583472}, {"parameter": "(9, 7)", "name": "CKMP2019_Cor_42", "value": 10004893702216}, {"parameter": "(10, 6)", "name": "CKMP2019_Cor_42", "value": 19777546451720}, {"parameter": "(11, 5)", "name": "CKMP2019_Cor_42", "value": 19638424630024}, {"parameter": "(5, 5, 6)", "name": "CKMP2019_Cor_42", "value": 19785626369088}, {"parameter": "(5, 6, 5)", "name": "CKMP2019_Cor_42", "value": 17802969680448}, {"parameter": "(6, 5, 5)", "name": "CKMP2019_Cor_42", "value": 1778379590208}, {"parameter": "5", "name": "linkage_ST", "value": 19637776416769}, {"parameter": "6", "name": "linkage_ST", "value": 19777384873985}, {"parameter": "7", "name": "linkage_ST", "value": 10003247267881}, {"parameter": "8", "name": "linkage_ST", "value": 5695126635822}, {"parameter": "9", "name": "linkage_ST", "value": 2817498583441}, {"parameter": "10", "name": "linkage_ST", "value": 1099512806600}, {"parameter": "11", "name": "linkage_ST", "value": 17592204772459}, {"parameter": "12", "name": "linkage_ST", "value": 299769965}, {"parameter": "13", "name": "linkage_ST", "value": 4796825069}, {"parameter": "14", "name": "linkage_ST", "value": 76749681496}, {"parameter": "15", "name": "linkage_ST", "value": 1252448586816}, {"parameter": "5", "name": "construction_D", "value": 19637776416768}, {"parameter": "6", "name": "construction_D", "value": 19777384873984}, {"parameter": "7", "name": "construction_D", "value": 10003247267840}, {"parameter": "8", "name": "construction_D", "value": 5695126634496}, {"parameter": "9", "name": "construction_D", "value": 2817498546176}, {"parameter": "10", "name": "construction_D", "value": 1099511627776}, {"parameter": "11", "name": "construction_D", "value": 17592186044416}, {"parameter": "12", "name": "construction_D", "value": 0}, {"parameter": "13", "name": "construction_D", "value": 0}, {"parameter": "14", "name": "construction_D", "value": 0}, {"parameter": "15", "name": "construction_D", "value": 0}, {"parameter": "16", "name": "construction_D", "value": 0}, {"parameter": "5", "name": "linkage_GLT", "value": 17592204772459}, {"parameter": "6", "name": "linkage_GLT", "value": 1099512806600}, {"parameter": "7", "name": "linkage_GLT", "value": 2817498583441}, {"parameter": "8", "name": "linkage_GLT", "value": 5695126635822}, {"parameter": "9", "name": "linkage_GLT", "value": 10003247267881}, {"parameter": "10", "name": "linkage_GLT", "value": 19777384873985}, {"parameter": "11", "name": "linkage_GLT", "value": 19637776416769}, {"parameter": "5", "name": "improved_linkage", "value": 17668935725912}, {"parameter": "6", "name": "improved_linkage", "value": 1104308452845}, {"parameter": "7", "name": "improved_linkage", "value": 2817798316141}, {"parameter": "8", "name": "improved_linkage", "value": 5695145362539}, {"parameter": "9", "name": "improved_linkage", "value": 10003248446664}, {"parameter": "10", "name": "improved_linkage", "value": 19777384911249}, {"parameter": "11", "name": "improved_linkage", "value": 19637776418094}, {"parameter": "12", "name": "improved_linkage", "value": 9822862213161}, {"parameter": "13", "name": "improved_linkage", "value": 4911948870657}, {"parameter": "14", "name": "improved_linkage", "value": 2455989807873}, {"parameter": "5,0", "name": "generalized_linkage", "value": 20021887431064}, {"parameter": "5,1", "name": "generalized_linkage", "value": 17917736226406}, {"parameter": "5,2", "name": "generalized_linkage", "value": 17625763819899}, {"parameter": "5,3", "name": "generalized_linkage", "value": 17668935725912}, {"parameter": "6,0", "name": "generalized_linkage", "value": 1778674571840}, {"parameter": "6,1", "name": "generalized_linkage", "value": 1189518602434}, {"parameter": "6,2", "name": "generalized_linkage", "value": 1104008177251}, {"parameter": "6,3", "name": "generalized_linkage", "value": 1104308452845}, {"parameter": "7,0", "name": "generalized_linkage", "value": 2907726651016}, {"parameter": "7,1", "name": "generalized_linkage", "value": 2829010941360}, {"parameter": "7,2", "name": "generalized_linkage", "value": 2818079115509}, {"parameter": "7,3", "name": "generalized_linkage", "value": 2817798316141}, {"parameter": "8,0", "name": "generalized_linkage", "value": 5708281583472}, {"parameter": "8,1", "name": "generalized_linkage", "value": 5695860233286}, {"parameter": "8,2", "name": "generalized_linkage", "value": 5695163178040}, {"parameter": "8,3", "name": "generalized_linkage", "value": 5695145362539}, {"parameter": "9,0", "name": "generalized_linkage", "value": 10004893702216}, {"parameter": "9,1", "name": "generalized_linkage", "value": 10003299679316}, {"parameter": "9,2", "name": "generalized_linkage", "value": 10003248423055}, {"parameter": "9,3", "name": "generalized_linkage", "value": 10003248446664}, {"parameter": "10,0", "name": "generalized_linkage", "value": 19777546451720}, {"parameter": "10,1", "name": "generalized_linkage", "value": 19777388121430}, {"parameter": "10,2", "name": "generalized_linkage", "value": 19777384915090}, {"parameter": "10,3", "name": "generalized_linkage", "value": 19777384911249}, {"parameter": "11,0", "name": "generalized_linkage", "value": 19638424630024}, {"parameter": "11,1", "name": "generalized_linkage", "value": 19637776575334}, {"parameter": "11,2", "name": "generalized_linkage", "value": 19637776418039}, {"parameter": "11,3", "name": "generalized_linkage", "value": 19637776418094}, {"parameter": "12,1", "name": "generalized_linkage", "value": 9822862530406}, {"parameter": "12,2", "name": "generalized_linkage", "value": 9822862213151}, {"parameter": "12,3", "name": "generalized_linkage", "value": 9822862213161}, {"parameter": "13,2", "name": "generalized_linkage", "value": 4911948870687}, {"parameter": "13,3", "name": "generalized_linkage", "value": 4911948870657}, {"parameter": "14,3", "name": "generalized_linkage", "value": 2455989807873}, {"parameter": "[5, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 20021887431064}, {"parameter": "[5, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 17917736226406}, {"parameter": "[5, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 17625763819899}, {"parameter": "[5, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 17668935725912}, {"parameter": "[6, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1778674571840}, {"parameter": "[6, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1189518602434}, {"parameter": "[6, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104008177251}, {"parameter": "[6, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1104308452845}, {"parameter": "[7, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2907726651016}, {"parameter": "[7, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2829010941360}, {"parameter": "[7, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2818079115509}, {"parameter": "[7, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2817798316141}, {"parameter": "[8, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5708281583472}, {"parameter": "[8, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5695860233286}, {"parameter": "[8, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5695163178040}, {"parameter": "[8, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5695145362539}, {"parameter": "[9, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 10004893702216}, {"parameter": "[9, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 10003299679316}, {"parameter": "[9, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 10003248423055}, {"parameter": "[9, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 10003248446664}, {"parameter": "[10, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19777546451720}, {"parameter": "[10, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19777388121430}, {"parameter": "[10, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19777384915090}, {"parameter": "[10, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 19777384911249}, {"parameter": "[11, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19638424630024}, {"parameter": "[11, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19637776575334}, {"parameter": "[11, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19637776418039}, {"parameter": "[11, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 19637776418094}, {"parameter": "[12, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 9822862530406}, {"parameter": "[12, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 9822862213151}, {"parameter": "[12, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 9822862213161}, {"parameter": "[13, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4911948870687}, {"parameter": "[13, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4911948870657}, {"parameter": "[14, 2],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2455989807873}, {"parameter": "[5, 2, 9],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2422450317568}, {"parameter": "[5, 2, 9],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2420678642752}, {"parameter": "[5, 2, 9],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4697444118936}, {"parameter": "[5, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4604269936640}, {"parameter": "[5, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4582818867456}, {"parameter": "[5, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4581047192640}, {"parameter": "[5, 3, 8],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 6857812668824}, {"parameter": "[5, 3, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 4578500132864}, {"parameter": "[5, 3, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 4557049063680}, {"parameter": "[5, 3, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4555277388864}, {"parameter": "[5, 3, 8],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 6832042865048}, {"parameter": "[5, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 9157699390400}, {"parameter": "[5, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 9125116453472}, {"parameter": "[5, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 9102117763544}, {"parameter": "[5, 4, 7],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 9240549837888}, {"parameter": "[5, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 8868057533376}, {"parameter": "[5, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 8835474596448}, {"parameter": "[5, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8812475906520}, {"parameter": "[5, 4, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 8950907980864}, {"parameter": "[5, 4, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 8877184338880}, {"parameter": "[5, 4, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 8844601401952}, {"parameter": "[5, 4, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 8821602712024}, {"parameter": "[5, 4, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 8960034786368}, {"parameter": "[5, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 19785626369088}, {"parameter": "[5, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 19774571564528}, {"parameter": "[5, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 19769999148944}, {"parameter": "[5, 5, 6],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 19773629551432}, {"parameter": "[5, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 17627237530688}, {"parameter": "[5, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 17616182726128}, {"parameter": "[5, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 17611610310544}, {"parameter": "[5, 5, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 17615240713032}, {"parameter": "[5, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 17613832535104}, {"parameter": "[5, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 17602777730544}, {"parameter": "[5, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17598205314960}, {"parameter": "[5, 5, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 17601835717448}, {"parameter": "[5, 5, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 17631264062528}, {"parameter": "[5, 5, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 17620209257968}, {"parameter": "[5, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 17615636842384}, {"parameter": "[5, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 17619267244872}, {"parameter": "[5, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 17802969680448}, {"parameter": "[5, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 17728847611568}, {"parameter": "[5, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 17728303887992}, {"parameter": "[5, 6, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 17728396130288}, {"parameter": "[5, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 17713620519488}, {"parameter": "[5, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 17639498450608}, {"parameter": "[5, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 17638954727032}, {"parameter": "[5, 6, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 17639046969328}, {"parameter": "[5, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 17676664506944}, {"parameter": "[5, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 17602542438064}, {"parameter": "[5, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 17601998714488}, {"parameter": "[5, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 17602090956784}, {"parameter": "[5, 6, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 17706006809152}, {"parameter": "[5, 6, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 17631884740272}, {"parameter": "[5, 6, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 17631341016696}, {"parameter": "[5, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 17631433258992}, {"parameter": "[5, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 8971658783152}, {"parameter": "[5, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 8970395803192}, {"parameter": "[5, 7, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 8970397100552}, {"parameter": "[5, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 8844547123632}, {"parameter": "[5, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 8843284143672}, {"parameter": "[5, 7, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 8843285441032}, {"parameter": "[5, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 8805907720624}, {"parameter": "[5, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 8804644740664}, {"parameter": "[5, 7, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 8804646038024}, {"parameter": "[5, 7, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 8835987728816}, {"parameter": "[5, 7, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 8834724748856}, {"parameter": "[5, 7, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 8834726046216}, {"parameter": "[5, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4574209187384}, {"parameter": "[5, 8, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4574205295304}, {"parameter": "[5, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4439491597880}, {"parameter": "[5, 8, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 4439487705800}, {"parameter": "[5, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4406500343352}, {"parameter": "[5, 8, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 4406496451272}, {"parameter": "[5, 8, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 4417228048952}, {"parameter": "[5, 8, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4417224156872}, {"parameter": "[5, 9, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2353730970568}, {"parameter": "[5, 9, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 2239989876936}, {"parameter": "[5, 9, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2203218466920}, {"parameter": "[5, 9, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 2208616024168}, {"parameter": "[6, 2, 8],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 166180523520}, {"parameter": "[6, 2, 8],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 163203628808}, {"parameter": "[6, 2, 8],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 820896864832}, {"parameter": "[6, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 303092932608}, {"parameter": "[6, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 303351041536}, {"parameter": "[6, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 300374146824}, {"parameter": "[6, 3, 7],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 958067382848}, {"parameter": "[6, 3, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 299334836224}, {"parameter": "[6, 3, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 299592945152}, {"parameter": "[6, 3, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 296616050440}, {"parameter": "[6, 3, 7],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 954309286464}, {"parameter": "[6, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 637978281920}, {"parameter": "[6, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 635536617552}, {"parameter": "[6, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 632678982992}, {"parameter": "[6, 4, 6],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 651856822024}, {"parameter": "[6, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 557598640064}, {"parameter": "[6, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 555156975696}, {"parameter": "[6, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 552299341136}, {"parameter": "[6, 4, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 571477180168}, {"parameter": "[6, 4, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 558034847680}, {"parameter": "[6, 4, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 555593183312}, {"parameter": "[6, 4, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 552735548752}, {"parameter": "[6, 4, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 571913387784}, {"parameter": "[6, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1778379590208}, {"parameter": "[6, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1704259693808}, {"parameter": "[6, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1703799361144}, {"parameter": "[6, 5, 5],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1704397966448}, {"parameter": "[6, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1179296664128}, {"parameter": "[6, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1105176767728}, {"parameter": "[6, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104716435064}, {"parameter": "[6, 5, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1105315040368}, {"parameter": "[6, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1174902082112}, {"parameter": "[6, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1100782185712}, {"parameter": "[6, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1100321853048}, {"parameter": "[6, 5, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1100920458352}, {"parameter": "[6, 5, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1175647619648}, {"parameter": "[6, 5, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1101527723248}, {"parameter": "[6, 5, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1101067390584}, {"parameter": "[6, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1101665995888}, {"parameter": "[6, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 571403547952}, {"parameter": "[6, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 568643280376}, {"parameter": "[6, 6, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 568658259912}, {"parameter": "[6, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 558981526832}, {"parameter": "[6, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 556221259256}, {"parameter": "[6, 6, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 556236238792}, {"parameter": "[6, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 553176479024}, {"parameter": "[6, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 550416211448}, {"parameter": "[6, 6, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 550431190984}, {"parameter": "[6, 6, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 553745823024}, {"parameter": "[6, 6, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 550985555448}, {"parameter": "[6, 6, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 551000534984}, {"parameter": "[6, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 299084260984}, {"parameter": "[6, 7, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 299066976904}, {"parameter": "[6, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 281421469304}, {"parameter": "[6, 7, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 281404185224}, {"parameter": "[6, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 275468157560}, {"parameter": "[6, 7, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 275450873480}, {"parameter": "[6, 7, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 276102882936}, {"parameter": "[6, 7, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 276085598856}, {"parameter": "[6, 8, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 161886132360}, {"parameter": "[6, 8, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 143170588488}, {"parameter": "[6, 8, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 138005365128}, {"parameter": "[6, 8, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 138038826984}, {"parameter": "[7, 2, 7],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 355632441600}, {"parameter": "[7, 2, 7],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 355666339184}, {"parameter": "[7, 2, 7],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 442683858568}, {"parameter": "[7, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 707374096384}, {"parameter": "[7, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 708071418112}, {"parameter": "[7, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 708105315696}, {"parameter": "[7, 3, 6],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 795122835080}, {"parameter": "[7, 3, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 706870779904}, {"parameter": "[7, 3, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 707568101632}, {"parameter": "[7, 3, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 707601999216}, {"parameter": "[7, 3, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 794619518600}, {"parameter": "[7, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1450892135360}, {"parameter": "[7, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1419517500112}, {"parameter": "[7, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1419287480792}, {"parameter": "[7, 4, 5],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1422200251760}, {"parameter": "[7, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1440684248000}, {"parameter": "[7, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1409309612752}, {"parameter": "[7, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1409079593432}, {"parameter": "[7, 4, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1411992364400}, {"parameter": "[7, 4, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1440694733760}, {"parameter": "[7, 4, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1409320098512}, {"parameter": "[7, 4, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1409090079192}, {"parameter": "[7, 4, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1412002850160}, {"parameter": "[7, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490718473712}, {"parameter": "[7, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1488105938488}, {"parameter": "[7, 5, 4],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1488188261192}, {"parameter": "[7, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1411698769392}, {"parameter": "[7, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1409086234168}, {"parameter": "[7, 5, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1409168556872}, {"parameter": "[7, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1411420405232}, {"parameter": "[7, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1408807870008}, {"parameter": "[7, 5, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1408890192712}, {"parameter": "[7, 5, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1411422207472}, {"parameter": "[7, 5, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1408809672248}, {"parameter": "[7, 5, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1408891994952}, {"parameter": "[7, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 706890321528}, {"parameter": "[7, 6, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 706856423944}, {"parameter": "[7, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 704820971128}, {"parameter": "[7, 6, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 704787073544}, {"parameter": "[7, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 704453047928}, {"parameter": "[7, 6, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 704419150344}, {"parameter": "[7, 6, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 704449114744}, {"parameter": "[7, 6, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 704415217160}, {"parameter": "[7, 7, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 355366427400}, {"parameter": "[7, 7, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 352604130440}, {"parameter": "[7, 7, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 352226706408}, {"parameter": "[7, 7, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 352227461896}, {"parameter": "[8, 2, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 712225071360}, {"parameter": "[8, 2, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 712314358344}, {"parameter": "[8, 2, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 725062555504}, {"parameter": "[8, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1433973039104}, {"parameter": "[8, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1424131629312}, {"parameter": "[8, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1424220916296}, {"parameter": "[8, 3, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1436969113456}, {"parameter": "[8, 3, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1433941581824}, {"parameter": "[8, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1424100172032}, {"parameter": "[8, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1424189459016}, {"parameter": "[8, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1436937656176}, {"parameter": "[8, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1426589458640}, {"parameter": "[8, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1424456491800}, {"parameter": "[8, 4, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1424833481288}, {"parameter": "[8, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1425945403600}, {"parameter": "[8, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1423812436760}, {"parameter": "[8, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1424189426248}, {"parameter": "[8, 4, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1425945731280}, {"parameter": "[8, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1423812764440}, {"parameter": "[8, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1424189753928}, {"parameter": "[8, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1434009978680}, {"parameter": "[8, 5, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1433950454024}, {"parameter": "[8, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1423871262520}, {"parameter": "[8, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1423811737864}, {"parameter": "[8, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1423852405560}, {"parameter": "[8, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1423792880904}, {"parameter": "[8, 5, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1423852461880}, {"parameter": "[8, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1423792937224}, {"parameter": "[8, 6, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 712218214920}, {"parameter": "[8, 6, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 711926578120}, {"parameter": "[8, 6, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 711902065480}, {"parameter": "[8, 6, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 711901942568}, {"parameter": "[9, 2, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1251691979008}, {"parameter": "[9, 2, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1250447113992}, {"parameter": "[9, 2, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1252053391432}, {"parameter": "[9, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1251691946240}, {"parameter": "[9, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1250447081224}, {"parameter": "[9, 3, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1252053358664}, {"parameter": "[9, 3, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1251690963200}, {"parameter": "[9, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1250446098184}, {"parameter": "[9, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1252052375624}, {"parameter": "[9, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1250566853912}, {"parameter": "[9, 4, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1250486540040}, {"parameter": "[9, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1250526411032}, {"parameter": "[9, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1250446097160}, {"parameter": "[9, 4, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1250526421272}, {"parameter": "[9, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1250446107400}, {"parameter": "[9, 5, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1251731087368}, {"parameter": "[9, 5, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1250447330248}, {"parameter": "[9, 5, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1250446106088}, {"parameter": "[9, 5, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1250446107848}, {"parameter": "[10, 2, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1236248165128}, {"parameter": "[10, 2, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1236248165128}, {"parameter": "[10, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1236248164104}, {"parameter": "[10, 3, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1236248164104}, {"parameter": "[10, 3, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1236248133384}, {"parameter": "[10, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1236248133384}, {"parameter": "[10, 4, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1236250666952}, {"parameter": "[10, 4, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1236248133352}, {"parameter": "[10, 4, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1236248133672}, {"parameter": "[11, 2, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 614328727304}, {"parameter": "[11, 3, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 614328727272}, {"parameter": "[11, 3, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 614328726312}, {"parameter": "[5, 2, 3, 6],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 2747795767296}, {"parameter": "[5, 2, 3, 6],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 2748991414272}, {"parameter": "[5, 2, 3, 6],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 2749049536000}, {"parameter": "[5, 2, 3, 6],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 2898252163328}, {"parameter": "[5, 2, 4, 5],[0, 3, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1324610271232}, {"parameter": "[5, 2, 4, 5],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1270814460416}, {"parameter": "[5, 2, 4, 5],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1270420062976}, {"parameter": "[5, 2, 4, 5],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1275414380032}, {"parameter": "[5, 2, 4, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1324610271232}, {"parameter": "[5, 2, 4, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1270814460416}, {"parameter": "[5, 2, 4, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1270420062976}, {"parameter": "[5, 2, 4, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1275414380032}, {"parameter": "[5, 2, 5, 4],[0, 3, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1274418007552}, {"parameter": "[5, 2, 5, 4],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1269938482944}, {"parameter": "[5, 2, 5, 4],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1270079635712}, {"parameter": "[5, 2, 5, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1142631140864}, {"parameter": "[5, 2, 5, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1138151616256}, {"parameter": "[5, 2, 5, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1138292769024}, {"parameter": "[5, 2, 5, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1312678710784}, {"parameter": "[5, 2, 5, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1308199186176}, {"parameter": "[5, 2, 5, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1308340338944}, {"parameter": "[5, 2, 6, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 571249145600}, {"parameter": "[5, 2, 6, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 571191023872}, {"parameter": "[5, 2, 6, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 572444792576}, {"parameter": "[5, 2, 6, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 572386670848}, {"parameter": "[5, 2, 6, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 743156610816}, {"parameter": "[5, 2, 6, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 743098489088}, {"parameter": "[5, 2, 7, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 288918829312}, {"parameter": "[5, 2, 7, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 288976951040}, {"parameter": "[5, 2, 7, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 438179578368}, {"parameter": "[5, 3, 2, 6],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2734373994496}, {"parameter": "[5, 3, 2, 6],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2735569641472}, {"parameter": "[5, 3, 2, 6],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2906281459712}, {"parameter": "[5, 3, 2, 6],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 2731152769024}, {"parameter": "[5, 3, 2, 6],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 2732348416000}, {"parameter": "[5, 3, 2, 6],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 2903060234240}, {"parameter": "[5, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1379103932416}, {"parameter": "[5, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1247317065728}, {"parameter": "[5, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1248512712704}, {"parameter": "[5, 3, 3, 5],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1419224530944}, {"parameter": "[5, 3, 3, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1379103932416}, {"parameter": "[5, 3, 3, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1247317065728}, {"parameter": "[5, 3, 3, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1248512712704}, {"parameter": "[5, 3, 3, 5],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1419224530944}, {"parameter": "[5, 3, 3, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1372661481472}, {"parameter": "[5, 3, 3, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1240874614784}, {"parameter": "[5, 3, 3, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1242070261760}, {"parameter": "[5, 3, 3, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1412782080000}, {"parameter": "[5, 3, 3, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1372661481472}, {"parameter": "[5, 3, 3, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1240874614784}, {"parameter": "[5, 3, 3, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1242070261760}, {"parameter": "[5, 3, 3, 5],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1412782080000}, {"parameter": "[5, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1272027103232}, {"parameter": "[5, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1243464425472}, {"parameter": "[5, 3, 4, 4],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1248512712704}, {"parameter": "[5, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1140240236544}, {"parameter": "[5, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1111677558784}, {"parameter": "[5, 3, 4, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1116725846016}, {"parameter": "[5, 3, 4, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1310287806464}, {"parameter": "[5, 3, 4, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1281725128704}, {"parameter": "[5, 3, 4, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1286773415936}, {"parameter": "[5, 3, 4, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1265584652288}, {"parameter": "[5, 3, 4, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237021974528}, {"parameter": "[5, 3, 4, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1242070261760}, {"parameter": "[5, 3, 4, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1133797785600}, {"parameter": "[5, 3, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1105235107840}, {"parameter": "[5, 3, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1110283395072}, {"parameter": "[5, 3, 4, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1303845355520}, {"parameter": "[5, 3, 4, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1275282677760}, {"parameter": "[5, 3, 4, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1280330964992}, {"parameter": "[5, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1243995824128}, {"parameter": "[5, 3, 5, 3],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1243198726144}, {"parameter": "[5, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1112208957440}, {"parameter": "[5, 3, 5, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1111411859456}, {"parameter": "[5, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1113404604416}, {"parameter": "[5, 3, 5, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1112607506432}, {"parameter": "[5, 3, 5, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1284116422656}, {"parameter": "[5, 3, 5, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1283319324672}, {"parameter": "[5, 3, 5, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1237553373184}, {"parameter": "[5, 3, 5, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1236756275200}, {"parameter": "[5, 3, 5, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1105766506496}, {"parameter": "[5, 3, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1104969408512}, {"parameter": "[5, 3, 5, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1106962153472}, {"parameter": "[5, 3, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1106165055488}, {"parameter": "[5, 3, 5, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1277673971712}, {"parameter": "[5, 3, 5, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1276876873728}, {"parameter": "[5, 3, 6, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 557897949184}, {"parameter": "[5, 3, 6, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 559093596160}, {"parameter": "[5, 3, 6, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 559151717888}, {"parameter": "[5, 3, 6, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 708354345216}, {"parameter": "[5, 3, 6, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 554676723712}, {"parameter": "[5, 3, 6, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 555872370688}, {"parameter": "[5, 3, 6, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 555930492416}, {"parameter": "[5, 3, 6, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 705133119744}, {"parameter": "[5, 4, 2, 5],[0, 1, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1326690646016}, {"parameter": "[5, 4, 2, 5],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1273699198400}, {"parameter": "[5, 4, 2, 5],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1342075259840}, {"parameter": "[5, 4, 2, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1290485413888}, {"parameter": "[5, 4, 2, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1237493966272}, {"parameter": "[5, 4, 2, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1305870027712}, {"parameter": "[5, 4, 2, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1291626264576}, {"parameter": "[5, 4, 2, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1238634816960}, {"parameter": "[5, 4, 2, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1307010878400}, {"parameter": "[5, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1203406157824}, {"parameter": "[5, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1150414710208}, {"parameter": "[5, 4, 3, 4],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1218790771648}, {"parameter": "[5, 4, 3, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1194903779328}, {"parameter": "[5, 4, 3, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1141912331712}, {"parameter": "[5, 4, 3, 4],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1210288393152}, {"parameter": "[5, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1167200925696}, {"parameter": "[5, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1114209478080}, {"parameter": "[5, 4, 3, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1182585539520}, {"parameter": "[5, 4, 3, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1158698547200}, {"parameter": "[5, 4, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1105707099584}, {"parameter": "[5, 4, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1174083161024}, {"parameter": "[5, 4, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1168341776384}, {"parameter": "[5, 4, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1115350328768}, {"parameter": "[5, 4, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1183726390208}, {"parameter": "[5, 4, 3, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1159839397888}, {"parameter": "[5, 4, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1106847950272}, {"parameter": "[5, 4, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1175224011712}, {"parameter": "[5, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1170041172288}, {"parameter": "[5, 4, 4, 3],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1166622369216}, {"parameter": "[5, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1141478494528}, {"parameter": "[5, 4, 4, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1138059691456}, {"parameter": "[5, 4, 4, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1146526781760}, {"parameter": "[5, 4, 4, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1143107978688}, {"parameter": "[5, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1133835940160}, {"parameter": "[5, 4, 4, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1130417137088}, {"parameter": "[5, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1105273262400}, {"parameter": "[5, 4, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1101854459328}, {"parameter": "[5, 4, 4, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1110321549632}, {"parameter": "[5, 4, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1106902746560}, {"parameter": "[5, 4, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1134976790848}, {"parameter": "[5, 4, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1131557987776}, {"parameter": "[5, 4, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1106414113088}, {"parameter": "[5, 4, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1102995310016}, {"parameter": "[5, 4, 4, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1111462400320}, {"parameter": "[5, 4, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1108043597248}, {"parameter": "[5, 4, 5, 2],[0, 1, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1192361991616}, {"parameter": "[5, 4, 5, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1138566180800}, {"parameter": "[5, 4, 5, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1138171783360}, {"parameter": "[5, 4, 5, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1143166100416}, {"parameter": "[5, 4, 5, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1156156759488}, {"parameter": "[5, 4, 5, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1102360948672}, {"parameter": "[5, 4, 5, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1101966551232}, {"parameter": "[5, 4, 5, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1106960868288}, {"parameter": "[5, 4, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1157297610176}, {"parameter": "[5, 4, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1103501799360}, {"parameter": "[5, 4, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1103107401920}, {"parameter": "[5, 4, 5, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1108101718976}, {"parameter": "[5, 5, 2, 4],[0, 0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1256632302656}, {"parameter": "[5, 5, 2, 4],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1256632302656}, {"parameter": "[5, 5, 2, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1121733000256}, {"parameter": "[5, 5, 2, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1121733000256}, {"parameter": "[5, 5, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1120895188032}, {"parameter": "[5, 5, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1120895188032}, {"parameter": "[5, 5, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1121984658496}, {"parameter": "[5, 5, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1121984658496}, {"parameter": "[5, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1253311061056}, {"parameter": "[5, 5, 3, 3],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1253311061056}, {"parameter": "[5, 5, 3, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1252513963072}, {"parameter": "[5, 5, 3, 3],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1252513963072}, {"parameter": "[5, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1118411758656}, {"parameter": "[5, 5, 3, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1118411758656}, {"parameter": "[5, 5, 3, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1117614660672}, {"parameter": "[5, 5, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1117614660672}, {"parameter": "[5, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1117573946432}, {"parameter": "[5, 5, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1117573946432}, {"parameter": "[5, 5, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1116776848448}, {"parameter": "[5, 5, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1116776848448}, {"parameter": "[5, 5, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1118663416896}, {"parameter": "[5, 5, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1118663416896}, {"parameter": "[5, 5, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1117866318912}, {"parameter": "[5, 5, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1117866318912}, {"parameter": "[5, 5, 4, 2],[0, 0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1256889698880}, {"parameter": "[5, 5, 4, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1252410174272}, {"parameter": "[5, 5, 4, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1252551327040}, {"parameter": "[5, 5, 4, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1121990396480}, {"parameter": "[5, 5, 4, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1117510871872}, {"parameter": "[5, 5, 4, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1117652024640}, {"parameter": "[5, 5, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1121152584256}, {"parameter": "[5, 5, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1116673059648}, {"parameter": "[5, 5, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1116814212416}, {"parameter": "[5, 5, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1122242054720}, {"parameter": "[5, 5, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1117762530112}, {"parameter": "[5, 5, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1117903682880}, {"parameter": "[5, 6, 2, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 628885432896}, {"parameter": "[5, 6, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 626093271616}, {"parameter": "[5, 6, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 624938396224}, {"parameter": "[5, 6, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 625855343168}, {"parameter": "[5, 6, 3, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 628814856512}, {"parameter": "[5, 6, 3, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 628756734784}, {"parameter": "[5, 6, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 626022695232}, {"parameter": "[5, 6, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 625964573504}, {"parameter": "[5, 6, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 624867819840}, {"parameter": "[5, 6, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 624809698112}, {"parameter": "[5, 6, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 625784766784}, {"parameter": "[5, 6, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 625726645056}, {"parameter": "[6, 2, 3, 5],[0, 3, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 658434686976}, {"parameter": "[6, 2, 3, 5],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 640145825792}, {"parameter": "[6, 2, 3, 5],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 640311752960}, {"parameter": "[6, 2, 3, 5],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 664002465280}, {"parameter": "[6, 2, 4, 4],[0, 3, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 58331429376}, {"parameter": "[6, 2, 4, 4],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 54367613696}, {"parameter": "[6, 2, 4, 4],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 55068195072}, {"parameter": "[6, 2, 4, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 58331429376}, {"parameter": "[6, 2, 4, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54367613696}, {"parameter": "[6, 2, 4, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 55068195072}, {"parameter": "[6, 2, 5, 3],[0, 3, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 54441359104}, {"parameter": "[6, 2, 5, 3],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 54330740992}, {"parameter": "[6, 2, 5, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 36152497920}, {"parameter": "[6, 2, 5, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 36041879808}, {"parameter": "[6, 2, 5, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 59751028480}, {"parameter": "[6, 2, 5, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 59640410368}, {"parameter": "[6, 2, 6, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 18325139712}, {"parameter": "[6, 2, 6, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 18491066880}, {"parameter": "[6, 2, 6, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 42181779200}, {"parameter": "[6, 3, 2, 5],[0, 2, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 657864261632}, {"parameter": "[6, 3, 2, 5],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 639575400448}, {"parameter": "[6, 3, 2, 5],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 663173931008}, {"parameter": "[6, 3, 2, 5],[0, 3, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 657394499584}, {"parameter": "[6, 3, 2, 5],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 639105638400}, {"parameter": "[6, 3, 2, 5],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 662704168960}, {"parameter": "[6, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 72620703744}, {"parameter": "[6, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54331842560}, {"parameter": "[6, 3, 3, 4],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 77930373120}, {"parameter": "[6, 3, 3, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 72620703744}, {"parameter": "[6, 3, 3, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 54331842560}, {"parameter": "[6, 3, 3, 4],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 77930373120}, {"parameter": "[6, 3, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 72150941696}, {"parameter": "[6, 3, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 53862080512}, {"parameter": "[6, 3, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 77460611072}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 72150941696}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 53862080512}, {"parameter": "[6, 3, 3, 4],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 77460611072}, {"parameter": "[6, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 55511769088}, {"parameter": "[6, 3, 4, 3],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 54331842560}, {"parameter": "[6, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 37222907904}, {"parameter": "[6, 3, 4, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36042981376}, {"parameter": "[6, 3, 4, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 60821438464}, {"parameter": "[6, 3, 4, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59641511936}, {"parameter": "[6, 3, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 55042007040}, {"parameter": "[6, 3, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 53862080512}, {"parameter": "[6, 3, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 36753145856}, {"parameter": "[6, 3, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 35573219328}, {"parameter": "[6, 3, 4, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 60351676416}, {"parameter": "[6, 3, 4, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59171749888}, {"parameter": "[6, 3, 5, 2],[0, 2, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 54331842560}, {"parameter": "[6, 3, 5, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 36042981376}, {"parameter": "[6, 3, 5, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 36208908544}, {"parameter": "[6, 3, 5, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59899620864}, {"parameter": "[6, 3, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 53862080512}, {"parameter": "[6, 3, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 35573219328}, {"parameter": "[6, 3, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 35739146496}, {"parameter": "[6, 3, 5, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 59429858816}, {"parameter": "[6, 4, 2, 4],[0, 1, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 65869187008}, {"parameter": "[6, 4, 2, 4],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 65869187008}, {"parameter": "[6, 4, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 60845459392}, {"parameter": "[6, 4, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 60845459392}, {"parameter": "[6, 4, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 60872722368}, {"parameter": "[6, 4, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 60872722368}, {"parameter": "[6, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 48760252352}, {"parameter": "[6, 4, 3, 3],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 48760252352}, {"parameter": "[6, 4, 3, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 47580325824}, {"parameter": "[6, 4, 3, 3],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 47580325824}, {"parameter": "[6, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 43736524736}, {"parameter": "[6, 4, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 43736524736}, {"parameter": "[6, 4, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 42556598208}, {"parameter": "[6, 4, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 42556598208}, {"parameter": "[6, 4, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 43763787712}, {"parameter": "[6, 4, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 43763787712}, {"parameter": "[6, 4, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 42583861184}, {"parameter": "[6, 4, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 42583861184}, {"parameter": "[6, 4, 4, 2],[0, 1, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 51009487296}, {"parameter": "[6, 4, 4, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 47045671616}, {"parameter": "[6, 4, 4, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 47746252992}, {"parameter": "[6, 4, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 45985759680}, {"parameter": "[6, 4, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 42021944000}, {"parameter": "[6, 4, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 42722525376}, {"parameter": "[6, 4, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 46013022656}, {"parameter": "[6, 4, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 42049206976}, {"parameter": "[6, 4, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 42749788352}, {"parameter": "[6, 5, 2, 3],[0, 0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 128574106176}, {"parameter": "[6, 5, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109852764736}, {"parameter": "[6, 5, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109715434048}, {"parameter": "[6, 5, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 109738732096}, {"parameter": "[6, 5, 3, 2],[0, 0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 128113197376}, {"parameter": "[6, 5, 3, 2],[0, 0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 128002579264}, {"parameter": "[6, 5, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109391855936}, {"parameter": "[6, 5, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109281237824}, {"parameter": "[6, 5, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109254525248}, {"parameter": "[6, 5, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109143907136}, {"parameter": "[6, 5, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 109277823296}, {"parameter": "[6, 5, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 109167205184}, {"parameter": "[7, 2, 3, 4],[0, 3, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 125876051968}, {"parameter": "[7, 2, 3, 4],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 123474166016}, {"parameter": "[7, 2, 3, 4],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 126573373696}, {"parameter": "[7, 2, 4, 3],[0, 3, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 46768775936}, {"parameter": "[7, 2, 4, 3],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 46613815552}, {"parameter": "[7, 2, 4, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 46768775936}, {"parameter": "[7, 2, 4, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 46613815552}, {"parameter": "[7, 2, 5, 2],[0, 3, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 46613815552}, {"parameter": "[7, 2, 5, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 44211929600}, {"parameter": "[7, 2, 5, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 47311137280}, {"parameter": "[7, 3, 2, 4],[0, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 125875003392}, {"parameter": "[7, 3, 2, 4],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 125875003392}, {"parameter": "[7, 3, 2, 4],[0, 3, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 125843546112}, {"parameter": "[7, 3, 2, 4],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 125843546112}, {"parameter": "[7, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 49014652928}, {"parameter": "[7, 3, 3, 3],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 49014652928}, {"parameter": "[7, 3, 3, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 49014652928}, {"parameter": "[7, 3, 3, 3],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 49014652928}, {"parameter": "[7, 3, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 48983195648}, {"parameter": "[7, 3, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 48983195648}, {"parameter": "[7, 3, 3, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 48983195648}, {"parameter": "[7, 3, 3, 3],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 48983195648}, {"parameter": "[7, 3, 4, 2],[0, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 49014652928}, {"parameter": "[7, 3, 4, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 46612766976}, {"parameter": "[7, 3, 4, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 49711974656}, {"parameter": "[7, 3, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 48983195648}, {"parameter": "[7, 3, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 46581309696}, {"parameter": "[7, 3, 4, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 49680517376}, {"parameter": "[7, 4, 2, 3],[0, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 78725262272}, {"parameter": "[7, 4, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 78406265792}, {"parameter": "[7, 4, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 78406593472}, {"parameter": "[7, 4, 3, 2],[0, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 76478336704}, {"parameter": "[7, 4, 3, 2],[0, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 76323376320}, {"parameter": "[7, 4, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 76159340224}, {"parameter": "[7, 4, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 76004379840}, {"parameter": "[7, 4, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 76159667904}, {"parameter": "[7, 4, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 76004707520}, {"parameter": "[8, 2, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 54970564864}, {"parameter": "[8, 2, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 54970564864}, {"parameter": "[8, 2, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 45129155072}, {"parameter": "[8, 2, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 45129155072}, {"parameter": "[8, 3, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 64811941888}, {"parameter": "[8, 3, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 64810958848}, {"parameter": "[8, 3, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 54970532096}, {"parameter": "[8, 3, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 54970532096}, {"parameter": "[8, 3, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 54969549056}, {"parameter": "[8, 3, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 54969549056}, {"parameter": "[9, 2, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 41645261312}, {"parameter": "[5, 2, 3, 2, 4],[0, 3, 2, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 311760781312}, {"parameter": "[5, 2, 3, 2, 4],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 311760781312}, {"parameter": "[5, 2, 3, 3, 3],[0, 3, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 179973914624}, {"parameter": "[5, 2, 3, 3, 3],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 179973914624}, {"parameter": "[5, 2, 3, 3, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 179973914624}, {"parameter": "[5, 2, 3, 3, 3],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 179973914624}, {"parameter": "[5, 2, 3, 4, 2],[0, 3, 2, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 179973914624}, {"parameter": "[5, 2, 3, 4, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 175855575040}, {"parameter": "[5, 2, 3, 4, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 181169561600}, {"parameter": "[5, 2, 4, 2, 3],[0, 3, 1, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 98636707840}, {"parameter": "[5, 2, 4, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 98636707840}, {"parameter": "[5, 2, 4, 3, 2],[0, 3, 1, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 94784067584}, {"parameter": "[5, 2, 4, 3, 2],[0, 3, 1, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 94518368256}, {"parameter": "[5, 2, 4, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 94784067584}, {"parameter": "[5, 2, 4, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 94518368256}, {"parameter": "[5, 3, 2, 3, 3],[0, 2, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 310921920512}, {"parameter": "[5, 3, 2, 3, 3],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 310921920512}, {"parameter": "[5, 3, 2, 3, 3],[0, 3, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 310720593920}, {"parameter": "[5, 3, 2, 3, 3],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 310720593920}, {"parameter": "[5, 3, 2, 4, 2],[0, 2, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 179135053824}, {"parameter": "[5, 3, 2, 4, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 179135053824}, {"parameter": "[5, 3, 2, 4, 2],[0, 3, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 178933727232}, {"parameter": "[5, 3, 2, 4, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 178933727232}, {"parameter": "[5, 3, 3, 2, 3],[0, 2, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 310921920512}, {"parameter": "[5, 3, 3, 2, 3],[0, 2, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 310921920512}, {"parameter": "[5, 3, 3, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 310720593920}, {"parameter": "[5, 3, 3, 2, 3],[0, 3, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 310720593920}, {"parameter": "[5, 3, 3, 3, 2],[0, 2, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 179135053824}, {"parameter": "[5, 3, 3, 3, 2],[0, 2, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 179135053824}, {"parameter": "[5, 3, 3, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 179135053824}, {"parameter": "[5, 3, 3, 3, 2],[0, 2, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 179135053824}, {"parameter": "[5, 3, 3, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 178933727232}, {"parameter": "[5, 3, 3, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 178933727232}, {"parameter": "[5, 3, 3, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 178933727232}, {"parameter": "[5, 3, 3, 3, 2],[0, 3, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 178933727232}, {"parameter": "[5, 4, 2, 3, 2],[0, 1, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 149151379456}, {"parameter": "[5, 4, 2, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 148019965952}, {"parameter": "[5, 4, 2, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 148055617536}, {"parameter": "[6, 2, 3, 2, 3],[0, 3, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 57743769600}, {"parameter": "[6, 2, 3, 3, 2],[0, 3, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 39454908416}, {"parameter": "[6, 2, 3, 3, 2],[0, 3, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 39454908416}, {"parameter": "[6, 3, 2, 3, 2],[0, 2, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 57725943808}, {"parameter": "[6, 3, 2, 3, 2],[0, 3, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 57711263744}, {"parameter": "", "name": "JohnsonLB", "value": 19329366356175}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 161192640444}], "request": [2, 16, 4, 5], "liftedmrdsizebound": 21644831786300, "comments": "", "equal_bound_constraints": []}