{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 18352767309974240146705323587056}, {"parameter": "", "name": "singleton", "value": 7101711092201899360}, {"parameter": "3", "name": "ilp_2", "value": 4278635352049767483}, {"parameter": "4", "name": "ilp_2", "value": 7674217059354877618543684}, {"parameter": "6", "name": "ilp_3", "value": 50419690412017143260179460404}, {"parameter": "7", "name": "ilp_3", "value": 184518537646906288234874512}, {"parameter": "", "name": "anticode", "value": 4278635352049767483}, {"parameter": "", "name": "linear_programming_bound", "value": 4278635352049767483}, {"parameter": "", "name": "sphere_packing", "value": 63423307783575933285842}, {"parameter": "1", "name": "ilp_1", "value": 4278629984708224121}, {"parameter": "2", "name": "ilp_1", "value": 4278629984711465966}, {"parameter": "8", "name": "ilp_4", "value": 181368221150495693069888849}, {"parameter": "9", "name": "ilp_4", "value": 181355736408766192692748880}, {"parameter": "10", "name": "ilp_4", "value": 181355736408766192692748880}, {"parameter": "11", "name": "ilp_4", "value": 20476958141600438060255034}, {"parameter": "12", "name": "ilp_4", "value": 2272221909270303191142533}, {"parameter": "13", "name": "ilp_4", "value": 252506436551346982642866}, {"parameter": "14", "name": "ilp_4", "value": 28072752602548597796005}, {"parameter": "15", "name": "ilp_4", "value": 3119042131329005854871}, {"parameter": "16", "name": "ilp_4", "value": 346562120950785270611}, {"parameter": "17", "name": "ilp_4", "value": 38507739637814080812}, {"parameter": "", "name": "johnson_1", "value": 4278629984708224121}, {"parameter": "", "name": "johnson_2", "value": 38507739637814080812}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 18352767309974240146705323587056}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 50419690412017143260179460404}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 184518537646906288234874512}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 181368221150495693069888849}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 181355736408766192692748880}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 181355736408766192692748880}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 20476958141600438060255034}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 2272221909270303191142533}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 252506436551346982642866}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 28072752602548597796005}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 3119042131329005854871}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 346562120950785270611}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 38507739637814080812}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 7674217059354877618543684}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 63423307783575933285842}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 63423386687619469904066}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 63423623400928045060245}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 63424333551455629707234}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 20910035899021611190850}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 7022301599638714453056}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 2338619705748642396265}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 780882981097479981405}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 260970091035965629871}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 87716804712725041494}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 29981767584705637255}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 10819122750118701428}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 4793649938940844801}, {"parameter": "2, 3", "name": "Ahlswede_Aydinian", "value": 4278635352049767483}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 4278637677897737189}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 4278644655453924624}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 4278665588232992374}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 4278728387564760751}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 4278916794511587192}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 4279482095927509201}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 4281178725671673216}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 4286275152953263807}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 4301623509863314061}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 4348206612631871674}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 4492976185820120541}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 4977849046592877037}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 7101711092201899360}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 18352767309974240146705323587056}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 7674217059354877618543684}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 4278635352049767483}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 4278629984711465966}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 4278629984708224121}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 50419690412017143260179460404}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 63423307783575933285842}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 63951834678059950786692}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 65591623177606012377118}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 71057584072429492686575}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 94743400921916345047324}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 184518537646906288234874512}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 185196289127848852119874509}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 187254017822096122382854383}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 193655839392275869280249689}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 215173061573063211117326045}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 310804949350361548416923680}, {"parameter": "", "name": "improved_johnson", "value": 4278629984708224117}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 28110685199102115818841}], "known_codes": [], "upper_bound": 4278629984708224117, "classified": false, "lower_bound": 4052840599915366972, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 4052555153018976267}, {"parameter": "", "name": "sphere_covering", "value": 3536069963185062}, {"parameter": "", "name": "graham_sloane", "value": 244549278140828}, {"parameter": "", "name": "multicomponent", "value": 4052761054611483169}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 4052555153018976268}, {"parameter": "", "name": "two_pivot_block_construction", "value": 4052761054611955712}, {"parameter": "(5, 13)", "name": "CKMP2019_Lem_41", "value": 4052555435468406033}, {"parameter": "(6, 12)", "name": "CKMP2019_Lem_41", "value": 150094645758089100}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 5559060954002688}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 50237436245444016}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 450497422620636076}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 4052767822459946704}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 4052834193401019496}, {"parameter": "(12, 6)", "name": "CKMP2019_Lem_41", "value": 4052840595137179732}, {"parameter": "(13, 5)", "name": "CKMP2019_Lem_41", "value": 4052840599915365763}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Lem_41", "value": 4052555435448512992}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Lem_41", "value": 4052555163479329471}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Lem_41", "value": 4052555153406396757}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Lem_41", "value": 4052555156520109576}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Lem_41", "value": 150094645757352325}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Lem_41", "value": 150094635684419611}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Lem_41", "value": 150094635311348029}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Lem_41", "value": 5559060953976013}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Lem_41", "value": 5559060580904431}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Lem_41", "value": 50237436245443264}, {"parameter": "(5, 13)", "name": "CKMP2019_Cor_42", "value": 4052555435468406033}, {"parameter": "(6, 12)", "name": "CKMP2019_Cor_42", "value": 150094645758089100}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 5559060954002688}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 50237436245444016}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 450497422620636076}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 4052767822459946704}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 4052834193401019496}, {"parameter": "(12, 6)", "name": "CKMP2019_Cor_42", "value": 4052840595137179732}, {"parameter": "(13, 5)", "name": "CKMP2019_Cor_42", "value": 4052840599915365763}, {"parameter": "(5, 5, 8)", "name": "CKMP2019_Cor_42", "value": 4052555435448512992}, {"parameter": "(5, 6, 7)", "name": "CKMP2019_Cor_42", "value": 4052555163479329471}, {"parameter": "(5, 7, 6)", "name": "CKMP2019_Cor_42", "value": 4052555153406396757}, {"parameter": "(5, 8, 5)", "name": "CKMP2019_Cor_42", "value": 4052555156520109576}, {"parameter": "(6, 5, 7)", "name": "CKMP2019_Cor_42", "value": 150094645757352325}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Cor_42", "value": 150094635684419611}, {"parameter": "(6, 7, 5)", "name": "CKMP2019_Cor_42", "value": 150094635311348029}, {"parameter": "(7, 5, 6)", "name": "CKMP2019_Cor_42", "value": 5559060953976013}, {"parameter": "(7, 6, 5)", "name": "CKMP2019_Cor_42", "value": 5559060580904431}, {"parameter": "(8, 5, 5)", "name": "CKMP2019_Cor_42", "value": 50237436245443264}, {"parameter": "5", "name": "linkage_ST", "value": 4052840599915365763}, {"parameter": "6", "name": "linkage_ST", "value": 4052840595137179732}, {"parameter": "7", "name": "linkage_ST", "value": 4052834193401019496}, {"parameter": "8", "name": "linkage_ST", "value": 4052767822459946704}, {"parameter": "9", "name": "linkage_ST", "value": 450497422620636076}, {"parameter": "10", "name": "linkage_ST", "value": 50237436245444016}, {"parameter": "11", "name": "linkage_ST", "value": 5559060954002688}, {"parameter": "12", "name": "linkage_ST", "value": 150094645758089100}, {"parameter": "13", "name": "linkage_ST", "value": 4052555435468406033}, {"parameter": "14", "name": "linkage_ST", "value": 7626134606310}, {"parameter": "15", "name": "linkage_ST", "value": 205905634386030}, {"parameter": "16", "name": "linkage_ST", "value": 5559443337999865}, {"parameter": "17", "name": "linkage_ST", "value": 150105207227304163}, {"parameter": "5", "name": "construction_D", "value": 4052840599915365762}, {"parameter": "6", "name": "construction_D", "value": 4052840595137179731}, {"parameter": "7", "name": "construction_D", "value": 4052834193401019495}, {"parameter": "8", "name": "construction_D", "value": 4052767822459946460}, {"parameter": "9", "name": "construction_D", "value": 450497422620576999}, {"parameter": "10", "name": "construction_D", "value": 50237436231094356}, {"parameter": "11", "name": "construction_D", "value": 5559060566555523}, {"parameter": "12", "name": "construction_D", "value": 150094635296999121}, {"parameter": "13", "name": "construction_D", "value": 4052555153018976267}, {"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": 4052555435468406033}, {"parameter": "6", "name": "linkage_GLT", "value": 150094645758089100}, {"parameter": "7", "name": "linkage_GLT", "value": 5559060954002688}, {"parameter": "8", "name": "linkage_GLT", "value": 50237436245444016}, {"parameter": "9", "name": "linkage_GLT", "value": 450497422620636076}, {"parameter": "10", "name": "linkage_GLT", "value": 4052767822459946704}, {"parameter": "11", "name": "linkage_GLT", "value": 4052834193401019496}, {"parameter": "12", "name": "linkage_GLT", "value": 4052840595137179732}, {"parameter": "13", "name": "linkage_GLT", "value": 4052840599915365763}, {"parameter": "5", "name": "improved_linkage", "value": 4052761058653362297}, {"parameter": "6", "name": "improved_linkage", "value": 150102261431605431}, {"parameter": "7", "name": "improved_linkage", "value": 5559343015985289}, {"parameter": "8", "name": "improved_linkage", "value": 50237446692184335}, {"parameter": "9", "name": "improved_linkage", "value": 450497423008024164}, {"parameter": "10", "name": "improved_linkage", "value": 4052767822474296120}, {"parameter": "11", "name": "improved_linkage", "value": 4052834193401078572}, {"parameter": "12", "name": "improved_linkage", "value": 4052840595137179975}, {"parameter": "13", "name": "improved_linkage", "value": 4052840599915365763}, {"parameter": "14", "name": "improved_linkage", "value": 450315622367999191}, {"parameter": "15", "name": "improved_linkage", "value": 50035069155805291}, {"parameter": "5,0", "name": "generalized_linkage", "value": 4052563061603009715}, {"parameter": "5,1", "name": "generalized_linkage", "value": 4052562779153582577}, {"parameter": "5,2", "name": "generalized_linkage", "value": 4052761058653362297}, {"parameter": "6,0", "name": "generalized_linkage", "value": 150095587256187210}, {"parameter": "6,1", "name": "generalized_linkage", "value": 150094917746428887}, {"parameter": "6,2", "name": "generalized_linkage", "value": 150102261431605431}, {"parameter": "7,0", "name": "generalized_linkage", "value": 5559165564737238}, {"parameter": "7,1", "name": "generalized_linkage", "value": 5559071027645502}, {"parameter": "7,2", "name": "generalized_linkage", "value": 5559343015985289}, {"parameter": "8,0", "name": "generalized_linkage", "value": 50237447997815556}, {"parameter": "8,1", "name": "generalized_linkage", "value": 50237436618541521}, {"parameter": "8,2", "name": "generalized_linkage", "value": 50237446692184335}, {"parameter": "9,0", "name": "generalized_linkage", "value": 450497422692060169}, {"parameter": "9,1", "name": "generalized_linkage", "value": 450497422634926659}, {"parameter": "9,2", "name": "generalized_linkage", "value": 450497423008024164}, {"parameter": "10,0", "name": "generalized_linkage", "value": 4052767822460241700}, {"parameter": "10,1", "name": "generalized_linkage", "value": 4052767822460005537}, {"parameter": "10,2", "name": "generalized_linkage", "value": 4052767822474296120}, {"parameter": "11,0", "name": "generalized_linkage", "value": 4052834193401020705}, {"parameter": "11,1", "name": "generalized_linkage", "value": 4052834193401019739}, {"parameter": "11,2", "name": "generalized_linkage", "value": 4052834193401078572}, {"parameter": "12,0", "name": "generalized_linkage", "value": 4052840595137180941}, {"parameter": "12,1", "name": "generalized_linkage", "value": 4052840595137179732}, {"parameter": "12,2", "name": "generalized_linkage", "value": 4052840595137179975}, {"parameter": "13,0", "name": "generalized_linkage", "value": 4052840599915366972}, {"parameter": "13,1", "name": "generalized_linkage", "value": 4052840599915365763}, {"parameter": "13,2", "name": "generalized_linkage", "value": 4052840599915365763}, {"parameter": "14,1", "name": "generalized_linkage", "value": 450315622367999191}, {"parameter": "14,2", "name": "generalized_linkage", "value": 450315622367999191}, {"parameter": "15,2", "name": "generalized_linkage", "value": 50035069155805291}, {"parameter": "[5, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052563061603009715}, {"parameter": "[5, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052562779153582577}, {"parameter": "[5, 13],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052761058653362297}, {"parameter": "[6, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 150095587256187210}, {"parameter": "[6, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094917746428887}, {"parameter": "[6, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 150102261431605431}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559165564737238}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559071027645502}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559343015985289}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 50237447997815556}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 50237436618541521}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 50237446692184335}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 450497422692060169}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 450497422634926659}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 450497423008024164}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052767822460241700}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052767822460005537}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052767822474296120}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052834193401020705}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052834193401019739}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052834193401078572}, {"parameter": "[12, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052840595137180941}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052840595137179732}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052840595137179975}, {"parameter": "[13, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052840599915366972}, {"parameter": "[13, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052840599915365763}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052840599915365763}, {"parameter": "[14, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 450315622367999191}, {"parameter": "[14, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 450315622367999191}, {"parameter": "[15, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 50035069155805291}, {"parameter": "[5, 3, 10],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 50237441454370596}, {"parameter": "[5, 3, 10],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50237447079614976}, {"parameter": "[5, 3, 10],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50237729141613768}, {"parameter": "[5, 4, 9],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 450291531534798718}, {"parameter": "[5, 4, 9],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 450291531890272830}, {"parameter": "[5, 4, 9],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 450291542337002970}, {"parameter": "[5, 4, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 450291531534798718}, {"parameter": "[5, 4, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 450291531890272830}, {"parameter": "[5, 4, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 450291542337002970}, {"parameter": "[5, 5, 8],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052563061046189031}, {"parameter": "[5, 5, 8],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052563061047651891}, {"parameter": "[5, 5, 8],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052563061447788215}, {"parameter": "[5, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052555435448704044}, {"parameter": "[5, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052555435450166904}, {"parameter": "[5, 5, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052555435850303228}, {"parameter": "[5, 5, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052555435448704044}, {"parameter": "[5, 5, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052555435450166904}, {"parameter": "[5, 5, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052555435850303228}, {"parameter": "[5, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052555445908868499}, {"parameter": "[5, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052555445908872783}, {"parameter": "[5, 6, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052555445910520107}, {"parameter": "[5, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052555163479332018}, {"parameter": "[5, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052555163479336302}, {"parameter": "[5, 6, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052555163480983626}, {"parameter": "[5, 6, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052557705345160347}, {"parameter": "[5, 6, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052557705345164631}, {"parameter": "[5, 6, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052557705346811955}, {"parameter": "[5, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052555163866757547}, {"parameter": "[5, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052555163866749987}, {"parameter": "[5, 7, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052555163866756791}, {"parameter": "[5, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052555247549583171}, {"parameter": "[5, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052555247549575611}, {"parameter": "[5, 7, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052555247549582415}, {"parameter": "[5, 7, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052578040659212508}, {"parameter": "[5, 7, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052578040659204948}, {"parameter": "[5, 7, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052578040659211752}, {"parameter": "[5, 8, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052555251050731851}, {"parameter": "[5, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052555251050708919}, {"parameter": "[5, 8, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052555251050708919}, {"parameter": "[5, 8, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052556000709378066}, {"parameter": "[5, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052556000709355134}, {"parameter": "[5, 8, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052556000709355134}, {"parameter": "[5, 8, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 4052761054955820847}, {"parameter": "[5, 8, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 4052761054955797915}, {"parameter": "[5, 8, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 4052761054955797915}, {"parameter": "[5, 9, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 450284003567255035}, {"parameter": "[5, 9, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 450284003567255035}, {"parameter": "[5, 9, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 450284753224070731}, {"parameter": "[5, 9, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 450284753224070731}, {"parameter": "[5, 9, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 450306784258643476}, {"parameter": "[5, 9, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 450306784258643476}, {"parameter": "[5, 10, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031642734086375}, {"parameter": "[5, 10, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031639248660830}, {"parameter": "[5, 10, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50034087143864632}, {"parameter": "[6, 3, 9],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 1860645856224919}, {"parameter": "[6, 3, 9],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1860647092155888}, {"parameter": "[6, 3, 9],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1860681044028843}, {"parameter": "[6, 4, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 16677464129824762}, {"parameter": "[6, 4, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16677464134579057}, {"parameter": "[6, 4, 8],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 16677465435022110}, {"parameter": "[6, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 16677464129824762}, {"parameter": "[6, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 16677464134579057}, {"parameter": "[6, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 16677465435022110}, {"parameter": "[6, 5, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 150095587189143142}, {"parameter": "[6, 5, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150095587189162798}, {"parameter": "[6, 5, 7],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 150095587194516601}, {"parameter": "[6, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094645757354872}, {"parameter": "[6, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094645757374528}, {"parameter": "[6, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094645762728331}, {"parameter": "[6, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094645757354872}, {"parameter": "[6, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094645757374528}, {"parameter": "[6, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094645762728331}, {"parameter": "[6, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094670552271901}, {"parameter": "[6, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094670552263711}, {"parameter": "[6, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094670552285824}, {"parameter": "[6, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094635684427891}, {"parameter": "[6, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094635684419701}, {"parameter": "[6, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094635684441814}, {"parameter": "[6, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094729827606718}, {"parameter": "[6, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094729827598528}, {"parameter": "[6, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094729827620641}, {"parameter": "[6, 7, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094636602774319}, {"parameter": "[6, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094636602749749}, {"parameter": "[6, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094636602749749}, {"parameter": "[6, 7, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 150094638798157090}, {"parameter": "[6, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094638798132520}, {"parameter": "[6, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094638798132520}, {"parameter": "[6, 7, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 150095482987402621}, {"parameter": "[6, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 150095482987378051}, {"parameter": "[6, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 150095482987378051}, {"parameter": "[6, 8, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 16677183010790656}, {"parameter": "[6, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 16677183010790656}, {"parameter": "[6, 8, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 16677185188104433}, {"parameter": "[6, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 16677185188104433}, {"parameter": "[6, 8, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 16678029032740000}, {"parameter": "[6, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 16678029032740000}, {"parameter": "[6, 9, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1853021495221633}, {"parameter": "[6, 9, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1853023675819312}, {"parameter": "[6, 9, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1853114338513027}, {"parameter": "[7, 3, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 68912807760976}, {"parameter": "[7, 3, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 68912822911231}, {"parameter": "[7, 3, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68916695659224}, {"parameter": "[7, 4, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 617683856644738}, {"parameter": "[7, 4, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 617683856703274}, {"parameter": "[7, 4, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 617683872647017}, {"parameter": "[7, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 617683856644738}, {"parameter": "[7, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 617683856703274}, {"parameter": "[7, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 617683872647017}, {"parameter": "[7, 5, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559165557515630}, {"parameter": "[7, 5, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559165557508313}, {"parameter": "[7, 5, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559165557574166}, {"parameter": "[7, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559060953983600}, {"parameter": "[7, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559060953976283}, {"parameter": "[7, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060954042136}, {"parameter": "[7, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559060953983600}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559060953976283}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060954042136}, {"parameter": "[7, 6, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559064455133981}, {"parameter": "[7, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559064455109591}, {"parameter": "[7, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559064455109591}, {"parameter": "[7, 6, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559060580929091}, {"parameter": "[7, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559060580904701}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060580904701}, {"parameter": "[7, 6, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559064067713492}, {"parameter": "[7, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559064067689102}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559064067689102}, {"parameter": "[7, 7, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 617673412286497}, {"parameter": "[7, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 617673412286497}, {"parameter": "[7, 7, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 617673410692174}, {"parameter": "[7, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 617673410692174}, {"parameter": "[7, 7, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 617676884721991}, {"parameter": "[7, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 617676884721991}, {"parameter": "[7, 8, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 68630393433286}, {"parameter": "[7, 8, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 68630391720865}, {"parameter": "[7, 8, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 68633864332534}, {"parameter": "[8, 3, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 620225722476139}, {"parameter": "[8, 3, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 620225722665559}, {"parameter": "[8, 3, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 620225770908619}, {"parameter": "[8, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 5581937746453933}, {"parameter": "[8, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5581937746431793}, {"parameter": "[8, 4, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5581937746631053}, {"parameter": "[8, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5581937746453933}, {"parameter": "[8, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5581937746431793}, {"parameter": "[8, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5581937746631053}, {"parameter": "[8, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 50237447997221056}, {"parameter": "[8, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 50237447997198916}, {"parameter": "[8, 5, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 50237447997198916}, {"parameter": "[8, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 50237436245466223}, {"parameter": "[8, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 50237436245444083}, {"parameter": "[8, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50237436245444083}, {"parameter": "[8, 5, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 50237436245466223}, {"parameter": "[8, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50237436245444083}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50237436245444083}, {"parameter": "[8, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5581937407431484}, {"parameter": "[8, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5581937407431484}, {"parameter": "[8, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5581937359070353}, {"parameter": "[8, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5581937359070353}, {"parameter": "[8, 6, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5581937373419260}, {"parameter": "[8, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5581937373419260}, {"parameter": "[8, 7, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 620215262312356}, {"parameter": "[8, 7, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 620215262172388}, {"parameter": "[8, 7, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 620215276468807}, {"parameter": "[9, 3, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5561696962998898}, {"parameter": "[9, 3, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5561696962984378}, {"parameter": "[9, 3, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5561696963278408}, {"parameter": "[9, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 50055269194446898}, {"parameter": "[9, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 50055269194414228}, {"parameter": "[9, 4, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50055269194414228}, {"parameter": "[9, 4, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 50055269194446898}, {"parameter": "[9, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50055269194414228}, {"parameter": "[9, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50055269194414228}, {"parameter": "[9, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 50055269251514611}, {"parameter": "[9, 5, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 50055269251514611}, {"parameter": "[9, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 50055269180124370}, {"parameter": "[9, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50055269180124370}, {"parameter": "[9, 5, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50055269180124370}, {"parameter": "[9, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50055269180124370}, {"parameter": "[9, 6, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5561696575857919}, {"parameter": "[9, 6, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5561696575564132}, {"parameter": "[9, 6, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5561696575623181}, {"parameter": "[10, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 50034170662018297}, {"parameter": "[10, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50034170662003777}, {"parameter": "[10, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50034170662003777}, {"parameter": "[10, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 50034170647713919}, {"parameter": "[10, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50034170647713919}, {"parameter": "[10, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50034170647713919}, {"parameter": "[10, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50034170647713919}, {"parameter": "[10, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 50034170647948900}, {"parameter": "[10, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50034170647655113}, {"parameter": "[10, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50034170647655113}, {"parameter": "[11, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559443338058914}, {"parameter": "[11, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559443338058914}, {"parameter": "[11, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559443338000108}, {"parameter": "[11, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559443338000108}, {"parameter": "[12, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 617716902171424}, {"parameter": "[5, 3, 3, 7],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 620508152006692}, {"parameter": "[5, 3, 3, 7],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 620508152090776}, {"parameter": "[5, 3, 3, 7],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 620508173505988}, {"parameter": "[5, 3, 4, 6],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 5581948206794368}, {"parameter": "[5, 3, 4, 6],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5581948206784540}, {"parameter": "[5, 3, 4, 6],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5581948206872992}, {"parameter": "[5, 3, 4, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5581948206794368}, {"parameter": "[5, 3, 4, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5581948206784540}, {"parameter": "[5, 3, 4, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5581948206872992}, {"parameter": "[5, 3, 5, 5],[0, 2, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 50237441454106696}, {"parameter": "[5, 3, 5, 5],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 50237441454096868}, {"parameter": "[5, 3, 5, 5],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 50237441454096868}, {"parameter": "[5, 3, 5, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 50237436632873944}, {"parameter": "[5, 3, 5, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 50237436632864116}, {"parameter": "[5, 3, 5, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50237436632864116}, {"parameter": "[5, 3, 5, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 50237436632873944}, {"parameter": "[5, 3, 5, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50237436632864116}, {"parameter": "[5, 3, 5, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50237436632864116}, {"parameter": "[5, 3, 6, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5581937380504684}, {"parameter": "[5, 3, 6, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5581937380504684}, {"parameter": "[5, 3, 6, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 5581937360664220}, {"parameter": "[5, 3, 6, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5581937360664220}, {"parameter": "[5, 3, 6, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5581937762433616}, {"parameter": "[5, 3, 6, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5581937762433616}, {"parameter": "[5, 3, 7, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 620215262201092}, {"parameter": "[5, 3, 7, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 620215263772816}, {"parameter": "[5, 3, 7, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 620215664072548}, {"parameter": "[5, 4, 3, 6],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559165557518234}, {"parameter": "[5, 4, 3, 6],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559165557508826}, {"parameter": "[5, 4, 3, 6],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559165557699338}, {"parameter": "[5, 4, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 5559165557518234}, {"parameter": "[5, 4, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559165557508826}, {"parameter": "[5, 4, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559165557699338}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 50032392789400498}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 50032392789379330}, {"parameter": "[5, 4, 4, 5],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50032392789379330}, {"parameter": "[5, 4, 4, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 50032392789400498}, {"parameter": "[5, 4, 4, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50032392789379330}, {"parameter": "[5, 4, 4, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50032392789379330}, {"parameter": "[5, 4, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 50032392789400498}, {"parameter": "[5, 4, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 50032392789379330}, {"parameter": "[5, 4, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50032392789379330}, {"parameter": "[5, 4, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 50032392789400498}, {"parameter": "[5, 4, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50032392789379330}, {"parameter": "[5, 4, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50032392789379330}, {"parameter": "[5, 4, 5, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 50032392433904350}, {"parameter": "[5, 4, 5, 4],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 50032392433904350}, {"parameter": "[5, 4, 5, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 50032392389263306}, {"parameter": "[5, 4, 5, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50032392389263306}, {"parameter": "[5, 4, 5, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50032392389263306}, {"parameter": "[5, 4, 5, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50032392389263306}, {"parameter": "[5, 4, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 50032392433904350}, {"parameter": "[5, 4, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 50032392433904350}, {"parameter": "[5, 4, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 50032392389263306}, {"parameter": "[5, 4, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50032392389263306}, {"parameter": "[5, 4, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50032392389263306}, {"parameter": "[5, 4, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50032392389263306}, {"parameter": "[5, 4, 6, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559154709925646}, {"parameter": "[5, 4, 6, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559154709741938}, {"parameter": "[5, 4, 6, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559154711395310}, {"parameter": "[5, 4, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559154709925646}, {"parameter": "[5, 4, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559154709741938}, {"parameter": "[5, 4, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559154711395310}, {"parameter": "[5, 5, 3, 5],[0, 0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 50031643130742523}, {"parameter": "[5, 5, 3, 5],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50031643130733115}, {"parameter": "[5, 5, 3, 5],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031643130733115}, {"parameter": "[5, 5, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 50031548987563696}, {"parameter": "[5, 5, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50031548987554288}, {"parameter": "[5, 5, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031548987554288}, {"parameter": "[5, 5, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 50031548987563696}, {"parameter": "[5, 5, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50031548987554288}, {"parameter": "[5, 5, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031548987554288}, {"parameter": "[5, 5, 4, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 50031642730617091}, {"parameter": "[5, 5, 4, 4],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031642730617091}, {"parameter": "[5, 5, 4, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50031642730617091}, {"parameter": "[5, 5, 4, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031642730617091}, {"parameter": "[5, 5, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 50031548587438264}, {"parameter": "[5, 5, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031548587438264}, {"parameter": "[5, 5, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50031548587438264}, {"parameter": "[5, 5, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031548587438264}, {"parameter": "[5, 5, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 50031548587438264}, {"parameter": "[5, 5, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031548587438264}, {"parameter": "[5, 5, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 50031548587438264}, {"parameter": "[5, 5, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031548587438264}, {"parameter": "[5, 5, 5, 3],[0, 0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031642729154231}, {"parameter": "[5, 5, 5, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031642728970523}, {"parameter": "[5, 5, 5, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031642728970523}, {"parameter": "[5, 5, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031548585975404}, {"parameter": "[5, 5, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031548585791696}, {"parameter": "[5, 5, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031548585791696}, {"parameter": "[5, 5, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031548585975404}, {"parameter": "[5, 5, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031548585791696}, {"parameter": "[5, 5, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 50031548585791696}, {"parameter": "[5, 6, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559060969980839}, {"parameter": "[5, 6, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060969980839}, {"parameter": "[5, 6, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559060582560350}, {"parameter": "[5, 6, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060582560350}, {"parameter": "[5, 6, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 5559064069344751}, {"parameter": "[5, 6, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559064069344751}, {"parameter": "[5, 6, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060968334271}, {"parameter": "[5, 6, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060968334271}, {"parameter": "[5, 6, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060580913782}, {"parameter": "[5, 6, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559060580913782}, {"parameter": "[5, 6, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559064067698183}, {"parameter": "[5, 6, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 5559064067698183}, {"parameter": "[5, 7, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 617673397951711}, {"parameter": "[5, 7, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 617673410706295}, {"parameter": "[5, 7, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 617676884736112}, {"parameter": "[6, 3, 3, 6],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 23006190913666}, {"parameter": "[6, 3, 3, 6],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 23006190899470}, {"parameter": "[6, 3, 3, 6],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 23006191186939}, {"parameter": "[6, 3, 4, 5],[0, 2, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 206739726487753}, {"parameter": "[6, 3, 4, 5],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 206739726455812}, {"parameter": "[6, 3, 4, 5],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 206739726455812}, {"parameter": "[6, 3, 4, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 206739726487753}, {"parameter": "[6, 3, 4, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 206739726455812}, {"parameter": "[6, 3, 4, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 206739726455812}, {"parameter": "[6, 3, 5, 4],[0, 2, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 206738490560242}, {"parameter": "[6, 3, 5, 4],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 206738490560242}, {"parameter": "[6, 3, 5, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 206738426078734}, {"parameter": "[6, 3, 5, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 206738426078734}, {"parameter": "[6, 3, 5, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 206738426078734}, {"parameter": "[6, 3, 5, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 206738426078734}, {"parameter": "[6, 3, 6, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22970935922440}, {"parameter": "[6, 3, 6, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22970935657084}, {"parameter": "[6, 3, 6, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22970941030543}, {"parameter": "[6, 4, 3, 5],[0, 1, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 205895924662711}, {"parameter": "[6, 4, 3, 5],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 205895924632135}, {"parameter": "[6, 4, 3, 5],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205895924632135}, {"parameter": "[6, 4, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 205895924662711}, {"parameter": "[6, 4, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 205895924632135}, {"parameter": "[6, 4, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205895924632135}, {"parameter": "[6, 4, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894624255057}, {"parameter": "[6, 4, 4, 4],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 205894624255057}, {"parameter": "[6, 4, 4, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894624255057}, {"parameter": "[6, 4, 4, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205894624255057}, {"parameter": "[6, 4, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894624255057}, {"parameter": "[6, 4, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 205894624255057}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 205894624255057}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205894624255057}, {"parameter": "[6, 4, 5, 3],[0, 1, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 205894619500762}, {"parameter": "[6, 4, 5, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 205894618903711}, {"parameter": "[6, 4, 5, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205894618903711}, {"parameter": "[6, 4, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 205894619500762}, {"parameter": "[6, 4, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 205894618903711}, {"parameter": "[6, 4, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205894618903711}, {"parameter": "[6, 5, 3, 4],[0, 0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 205892443221193}, {"parameter": "[6, 5, 3, 4],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205892443221193}, {"parameter": "[6, 5, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891151819563}, {"parameter": "[6, 5, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891151819563}, {"parameter": "[6, 5, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 205891151819563}, {"parameter": "[6, 5, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891151819563}, {"parameter": "[6, 5, 4, 3],[0, 0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 205892437869847}, {"parameter": "[6, 5, 4, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205892437869847}, {"parameter": "[6, 5, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891146468217}, {"parameter": "[6, 5, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891146468217}, {"parameter": "[6, 5, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891146468217}, {"parameter": "[6, 5, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 205891146468217}, {"parameter": "[6, 6, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22876797858814}, {"parameter": "[6, 6, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22876792544404}, {"parameter": "[6, 6, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22876806893311}, {"parameter": "[7, 3, 3, 5],[0, 2, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 854663993440}, {"parameter": "[7, 3, 3, 5],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 854663951164}, {"parameter": "[7, 3, 3, 5],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 854663951164}, {"parameter": "[7, 3, 4, 4],[0, 2, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 850791399646}, {"parameter": "[7, 3, 4, 4],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 850791399646}, {"parameter": "[7, 3, 4, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 850791399646}, {"parameter": "[7, 3, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 850791399646}, {"parameter": "[7, 3, 5, 3],[0, 2, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 850776253456}, {"parameter": "[7, 3, 5, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 850775463220}, {"parameter": "[7, 3, 5, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 850775463220}, {"parameter": "[7, 4, 3, 4],[0, 1, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 847318968217}, {"parameter": "[7, 4, 3, 4],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847318968217}, {"parameter": "[7, 4, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 847318968217}, {"parameter": "[7, 4, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847318968217}, {"parameter": "[7, 4, 4, 3],[0, 1, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 847303031791}, {"parameter": "[7, 4, 4, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847303031791}, {"parameter": "[7, 4, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 847303031791}, {"parameter": "[7, 4, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847303031791}, {"parameter": "[7, 5, 3, 3],[0, 0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847304685163}, {"parameter": "[7, 5, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847288741933}, {"parameter": "[7, 5, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847288741933}, {"parameter": "[8, 3, 3, 4],[0, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 850838173591}, {"parameter": "[8, 3, 3, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 850838173591}, {"parameter": "[8, 3, 4, 3],[0, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 850789952671}, {"parameter": "[8, 3, 4, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 850789952671}, {"parameter": "[8, 4, 3, 3],[0, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 850775675113}, {"parameter": "[8, 4, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 850775675113}, {"parameter": "[9, 3, 3, 3],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847690747648}, {"parameter": "[5, 3, 3, 3, 4],[0, 2, 2, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 851198661808}, {"parameter": "[5, 3, 3, 3, 4],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 851198661808}, {"parameter": "[5, 3, 3, 4, 3],[0, 2, 2, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 851177256424}, {"parameter": "[5, 3, 3, 4, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 851177256424}, {"parameter": "[5, 3, 4, 3, 3],[0, 2, 1, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 850777145860}, {"parameter": "[5, 3, 4, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 850777145860}, {"parameter": "[5, 4, 3, 3, 3],[0, 1, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847304812426}, {"parameter": "[5, 4, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 847304812426}, {"parameter": "[6, 3, 3, 3, 3],[0, 2, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 3506809615}, {"parameter": "", "name": "JohnsonLB", "value": 4047349803916407009}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 68730504057615}], "request": [3, 18, 6, 5], "liftedmrdsizebound": 4052915954488779097, "comments": "", "equal_bound_constraints": []}