{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1440058191955372430686340745}, {"parameter": "", "name": "singleton", "value": 1338539252338766985}, {"parameter": "2", "name": "ilp_2", "value": 1173513865198604865}, {"parameter": "4", "name": "ilp_3", "value": 2461637934966448599463830}, {"parameter": "", "name": "anticode", "value": 1173513865198604865}, {"parameter": "", "name": "linear_programming_bound", "value": 1173513865198604865}, {"parameter": "", "name": "sphere_packing", "value": 1440058191955372430686340745}, {"parameter": "1", "name": "ilp_1", "value": 1173513865198604865}, {"parameter": "5", "name": "ilp_4", "value": 2427981701717601620107777}, {"parameter": "6", "name": "ilp_4", "value": 2427981701717601620107777}, {"parameter": "7", "name": "ilp_4", "value": 307639007040241920676424}, {"parameter": "8", "name": "ilp_4", "value": 38445634171908248633871}, {"parameter": "9", "name": "ilp_4", "value": 4806715083314271130120}, {"parameter": "10", "name": "ilp_4", "value": 600837129206606926264}, {"parameter": "11", "name": "ilp_4", "value": 75104887923540533823}, {"parameter": "12", "name": "ilp_4", "value": 9388110439611138631}, {"parameter": "", "name": "johnson_1", "value": 1173513865198604865}, {"parameter": "", "name": "johnson_2", "value": 9388110439611138631}, {"parameter": "0, 3", "name": "Ahlswede_Aydinian", "value": 1440058191955372430686340745}, {"parameter": "0, 4", "name": "Ahlswede_Aydinian", "value": 2461637934966448599463830}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 2427981701717601620107777}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 2427981701717601620107777}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 307639007040241920676424}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 38445634171908248633871}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 4806715083314271130120}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 600837129206606926264}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 75104887923540533823}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 9388110439611138631}, {"parameter": "1, 2", "name": "Ahlswede_Aydinian", "value": 1173513865198604865}, {"parameter": "1, 3", "name": "Ahlswede_Aydinian", "value": 1173513866141809757}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 1173513873687448955}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1173513934052566032}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1173514416973726219}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1173518280357316347}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1173549188341817394}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1173796510841836302}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1175778850006085548}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1191881908169238453}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1338539252338766985}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1440058191955372430686340745}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1173513865198604865}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1173513865198604865}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 2461637934966448599463830}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 2465853068389207017591505}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 2500101027445630551097082}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 2812613653548502301460105}, {"parameter": "", "name": "improved_johnson", "value": 1173513865198604865}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 307704725822753217516160}], "known_codes": [], "upper_bound": 1173513865198604865, "classified": false, "lower_bound": 1155458627707417737, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1152921504606846976}, {"parameter": "", "name": "sphere_covering", "value": 16075532412901504}, {"parameter": "", "name": "graham_sloane", "value": 18336154141626945}, {"parameter": "", "name": "multicomponent", "value": 1153203048319812097}, {"parameter": "", "name": "construction_ST_A_1", "value": 1153248296413803657}, {"parameter": "", "name": "construction_ST_B", "value": 1153203115982069698}, {"parameter": "[(0, 1, 2), (2, 3, 4), (1, 3, 5), (0, 4, 5), (0, 3, 6), (1, 4, 6), (2, 5, 6), (4, 7, 8), (5, 7, 9), (1, 8, 9), (1, 7, 10), (6, 7, 11), (5, 8, 10), (3, 7, 12), (0, 9, 10), (0, 8, 11), (2, 8, 12), (3, 9, 11), (2, 10, 11), (6, 9, 12), (4, 10, 12), (5, 11, 12)]", "name": "ef_computation", "value": 1153247578543436937}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1152921504606846976}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1153203048319815680}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 1153207456044683338}, {"parameter": "(3, 10)", "name": "CKMP2019_Lem_41", "value": 1152925912331714633}, {"parameter": "(4, 9)", "name": "CKMP2019_Lem_41", "value": 18014467267006465}, {"parameter": "(5, 8)", "name": "CKMP2019_Lem_41", "value": 144396664126612617}, {"parameter": "(6, 7)", "name": "CKMP2019_Lem_41", "value": 1153559221367771192}, {"parameter": "(7, 6)", "name": "CKMP2019_Lem_41", "value": 1155458627688202385}, {"parameter": "(8, 5)", "name": "CKMP2019_Lem_41", "value": 1153248206662926849}, {"parameter": "(9, 4)", "name": "CKMP2019_Lem_41", "value": 1153559839843024897}, {"parameter": "(10, 3)", "name": "CKMP2019_Lem_41", "value": 1155458627707076609}, {"parameter": "(3, 3, 7)", "name": "CKMP2019_Lem_41", "value": 1152925902670172216}, {"parameter": "(3, 4, 6)", "name": "CKMP2019_Lem_41", "value": 1152921573326586001}, {"parameter": "(3, 5, 5)", "name": "CKMP2019_Lem_41", "value": 1152922055436403201}, {"parameter": "(3, 6, 4)", "name": "CKMP2019_Lem_41", "value": 1152925905086054401}, {"parameter": "(3, 7, 3)", "name": "CKMP2019_Lem_41", "value": 1152925912331714561}, {"parameter": "(4, 3, 6)", "name": "CKMP2019_Lem_41", "value": 18014467229221009}, {"parameter": "(4, 4, 5)", "name": "CKMP2019_Lem_41", "value": 18014399583224321}, {"parameter": "(4, 5, 4)", "name": "CKMP2019_Lem_41", "value": 18014407116193793}, {"parameter": "(4, 6, 3)", "name": "CKMP2019_Lem_41", "value": 18014467266969601}, {"parameter": "(5, 3, 5)", "name": "CKMP2019_Lem_41", "value": 144396664126308865}, {"parameter": "(5, 4, 4)", "name": "CKMP2019_Lem_41", "value": 144396663069343745}, {"parameter": "(5, 5, 3)", "name": "CKMP2019_Lem_41", "value": 144396663187046401}, {"parameter": "(6, 3, 4)", "name": "CKMP2019_Lem_41", "value": 1153559221367734273}, {"parameter": "(6, 4, 3)", "name": "CKMP2019_Lem_41", "value": 1153559221351219201}, {"parameter": "(7, 3, 3)", "name": "CKMP2019_Lem_41", "value": 1155458627688202241}, {"parameter": "(3, 3, 3, 4)", "name": "CKMP2019_Lem_41", "value": 1152925902670135297}, {"parameter": "(3, 3, 4, 3)", "name": "CKMP2019_Lem_41", "value": 1152925902653620225}, {"parameter": "(3, 4, 3, 3)", "name": "CKMP2019_Lem_41", "value": 1152921573326585857}, {"parameter": "(4, 3, 3, 3)", "name": "CKMP2019_Lem_41", "value": 18014467229220865}, {"parameter": "(3, 10)", "name": "CKMP2019_Cor_42", "value": 1152925912331714633}, {"parameter": "(4, 9)", "name": "CKMP2019_Cor_42", "value": 18014467267006465}, {"parameter": "(5, 8)", "name": "CKMP2019_Cor_42", "value": 144396664126612617}, {"parameter": "(6, 7)", "name": "CKMP2019_Cor_42", "value": 1153559221367771192}, {"parameter": "(7, 6)", "name": "CKMP2019_Cor_42", "value": 1155458627688202385}, {"parameter": "(8, 5)", "name": "CKMP2019_Cor_42", "value": 1153248206662926849}, {"parameter": "(9, 4)", "name": "CKMP2019_Cor_42", "value": 1153559839843024897}, {"parameter": "(10, 3)", "name": "CKMP2019_Cor_42", "value": 1155458627707076609}, {"parameter": "(3, 3, 7)", "name": "CKMP2019_Cor_42", "value": 1152925902670172216}, {"parameter": "(3, 4, 6)", "name": "CKMP2019_Cor_42", "value": 1152921573326586001}, {"parameter": "(3, 5, 5)", "name": "CKMP2019_Cor_42", "value": 1152922055436403201}, {"parameter": "(3, 6, 4)", "name": "CKMP2019_Cor_42", "value": 1152925905086054401}, {"parameter": "(3, 7, 3)", "name": "CKMP2019_Cor_42", "value": 1152925912331714561}, {"parameter": "(4, 3, 6)", "name": "CKMP2019_Cor_42", "value": 18014467229221009}, {"parameter": "(4, 4, 5)", "name": "CKMP2019_Cor_42", "value": 18014399583224321}, {"parameter": "(4, 5, 4)", "name": "CKMP2019_Cor_42", "value": 18014407116193793}, {"parameter": "(4, 6, 3)", "name": "CKMP2019_Cor_42", "value": 18014467266969601}, {"parameter": "(5, 3, 5)", "name": "CKMP2019_Cor_42", "value": 144396664126308865}, {"parameter": "(5, 4, 4)", "name": "CKMP2019_Cor_42", "value": 144396663069343745}, {"parameter": "(5, 5, 3)", "name": "CKMP2019_Cor_42", "value": 144396663187046401}, {"parameter": "(6, 3, 4)", "name": "CKMP2019_Cor_42", "value": 1153559221367734273}, {"parameter": "(6, 4, 3)", "name": "CKMP2019_Cor_42", "value": 1153559221351219201}, {"parameter": "(7, 3, 3)", "name": "CKMP2019_Cor_42", "value": 1155458627688202241}, {"parameter": "(3, 3, 3, 4)", "name": "CKMP2019_Cor_42", "value": 1152925902670135297}, {"parameter": "(3, 3, 4, 3)", "name": "CKMP2019_Cor_42", "value": 1152925902653620225}, {"parameter": "(3, 4, 3, 3)", "name": "CKMP2019_Cor_42", "value": 1152921573326585857}, {"parameter": "(4, 3, 3, 3)", "name": "CKMP2019_Cor_42", "value": 18014467229220865}, {"parameter": "", "name": "construction_1", "value": 1153248296413803657}, {"parameter": "3", "name": "linkage_ST", "value": 1155458627707076609}, {"parameter": "4", "name": "linkage_ST", "value": 1153559839843024897}, {"parameter": "5", "name": "linkage_ST", "value": 1153248206662926849}, {"parameter": "6", "name": "linkage_ST", "value": 1155458627688202385}, {"parameter": "7", "name": "linkage_ST", "value": 1153559221367771192}, {"parameter": "8", "name": "linkage_ST", "value": 144396664126612617}, {"parameter": "9", "name": "linkage_ST", "value": 18014467267006465}, {"parameter": "10", "name": "linkage_ST", "value": 1152925912331714633}, {"parameter": "11", "name": "linkage_ST", "value": 282094391530121}, {"parameter": "12", "name": "linkage_ST", "value": 18054041057928329}, {"parameter": "3", "name": "construction_D", "value": 1155458627707076608}, {"parameter": "4", "name": "construction_D", "value": 1153559839843024896}, {"parameter": "5", "name": "construction_D", "value": 1153248206662926336}, {"parameter": "6", "name": "construction_D", "value": 1155458627687940096}, {"parameter": "7", "name": "construction_D", "value": 1153559221350957056}, {"parameter": "8", "name": "construction_D", "value": 144396663052566528}, {"parameter": "9", "name": "construction_D", "value": 18014398509481984}, {"parameter": "10", "name": "construction_D", "value": 1152921504606846976}, {"parameter": "11", "name": "construction_D", "value": 0}, {"parameter": "12", "name": "construction_D", "value": 0}, {"parameter": "13", "name": "construction_D", "value": 0}, {"parameter": "3", "name": "linkage_GLT", "value": 1152925912331714633}, {"parameter": "4", "name": "linkage_GLT", "value": 18014467267006465}, {"parameter": "5", "name": "linkage_GLT", "value": 144396664126612617}, {"parameter": "6", "name": "linkage_GLT", "value": 1153559221367771192}, {"parameter": "7", "name": "linkage_GLT", "value": 1155458627688202385}, {"parameter": "8", "name": "linkage_GLT", "value": 1153248206662926849}, {"parameter": "9", "name": "linkage_GLT", "value": 1153559839843024897}, {"parameter": "10", "name": "linkage_GLT", "value": 1155458627707076609}, {"parameter": "3", "name": "improved_linkage", "value": 1153203598998377097}, {"parameter": "4", "name": "improved_linkage", "value": 18018806234349641}, {"parameter": "5", "name": "improved_linkage", "value": 144396731810091009}, {"parameter": "6", "name": "improved_linkage", "value": 1153559222425003145}, {"parameter": "7", "name": "improved_linkage", "value": 1155458627704754232}, {"parameter": "8", "name": "improved_linkage", "value": 1153248206663188625}, {"parameter": "9", "name": "improved_linkage", "value": 1153559839843025409}, {"parameter": "10", "name": "improved_linkage", "value": 1155458627707076609}, {"parameter": "11", "name": "improved_linkage", "value": 144432328463421953}, {"parameter": "3,0", "name": "generalized_linkage", "value": 1153243268522185937}, {"parameter": "3,1", "name": "generalized_linkage", "value": 1153203598998377097}, {"parameter": "4,0", "name": "generalized_linkage", "value": 18019417808769097}, {"parameter": "4,1", "name": "generalized_linkage", "value": 18018806234349641}, {"parameter": "5,0", "name": "generalized_linkage", "value": 144396741457931025}, {"parameter": "5,1", "name": "generalized_linkage", "value": 144396731810091009}, {"parameter": "6,0", "name": "generalized_linkage", "value": 1153559222578388984}, {"parameter": "6,1", "name": "generalized_linkage", "value": 1153559222425003145}, {"parameter": "7,0", "name": "generalized_linkage", "value": 1155458627707087193}, {"parameter": "7,1", "name": "generalized_linkage", "value": 1155458627704754232}, {"parameter": "8,0", "name": "generalized_linkage", "value": 1153248206662963785}, {"parameter": "8,1", "name": "generalized_linkage", "value": 1153248206663188625}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1153559839843024969}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1153559839843025409}, {"parameter": "10,0", "name": "generalized_linkage", "value": 1155458627707076681}, {"parameter": "10,1", "name": "generalized_linkage", "value": 1155458627707076609}, {"parameter": "11,1", "name": "generalized_linkage", "value": 144432328463421953}, {"parameter": "[3, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153243268522185937}, {"parameter": "[3, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203598998377097}, {"parameter": "[4, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18019417808769097}, {"parameter": "[4, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18018806234349641}, {"parameter": "[5, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 144396741457931025}, {"parameter": "[5, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144396731810091009}, {"parameter": "[6, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153559222578388984}, {"parameter": "[6, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153559222425003145}, {"parameter": "[7, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155458627707087193}, {"parameter": "[7, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155458627704754232}, {"parameter": "[8, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153248206662963785}, {"parameter": "[8, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153248206663188625}, {"parameter": "[9, 4],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153559839843024969}, {"parameter": "[9, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153559839843025409}, {"parameter": "[10, 3],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155458627707076681}, {"parameter": "[10, 3],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155458627707076609}, {"parameter": "[11, 2],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144432328463421953}, {"parameter": "[3, 2, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144397368700847001}, {"parameter": "[3, 2, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144401682351853641}, {"parameter": "[3, 3, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153242651604688312}, {"parameter": "[3, 3, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153242640407522065}, {"parameter": "[3, 3, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152925992255888824}, {"parameter": "[3, 3, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152925981058722577}, {"parameter": "[3, 4, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152926522526386785}, {"parameter": "[3, 4, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152926522356080632}, {"parameter": "[3, 4, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152956759096150625}, {"parameter": "[3, 4, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152956758925844472}, {"parameter": "[3, 5, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152961715167147729}, {"parameter": "[3, 5, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152961715183561049}, {"parameter": "[3, 5, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153203135278855889}, {"parameter": "[3, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203135295269209}, {"parameter": "[3, 6, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153242739588994257}, {"parameter": "[3, 6, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153242739589026377}, {"parameter": "[3, 6, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153203598998377681}, {"parameter": "[3, 6, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203598998409801}, {"parameter": "[3, 7, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153243268522185937}, {"parameter": "[3, 7, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153243268522180681}, {"parameter": "[3, 7, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153203059344807121}, {"parameter": "[3, 7, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153203059344801865}, {"parameter": "[3, 8, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144155331622478409}, {"parameter": "[3, 8, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144150391928390217}, {"parameter": "[4, 2, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2256208907083704}, {"parameter": "[4, 2, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256276265560849}, {"parameter": "[4, 3, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18019416429021793}, {"parameter": "[4, 3, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18019416258715640}, {"parameter": "[4, 3, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18014468626696801}, {"parameter": "[4, 3, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014468456390648}, {"parameter": "[4, 4, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18014476895368913}, {"parameter": "[4, 4, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014476911782233}, {"parameter": "[4, 4, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18014949341771473}, {"parameter": "[4, 4, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014949358184793}, {"parameter": "[4, 5, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18015026799449297}, {"parameter": "[4, 5, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18015026799481417}, {"parameter": "[4, 5, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18018798988694737}, {"parameter": "[4, 5, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18018798988726857}, {"parameter": "[4, 6, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18019417806083281}, {"parameter": "[4, 6, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18019417806078025}, {"parameter": "[4, 6, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18018806234354897}, {"parameter": "[4, 6, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18018806234349641}, {"parameter": "[4, 7, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2252428258832457}, {"parameter": "[4, 7, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2252349725282889}, {"parameter": "[5, 2, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18049651773371425}, {"parameter": "[5, 2, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049652828479480}, {"parameter": "[5, 3, 5],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 144396741438453457}, {"parameter": "[5, 3, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144396741454866777}, {"parameter": "[5, 3, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144396664129042129}, {"parameter": "[5, 3, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144396664145455449}, {"parameter": "[5, 4, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 144396664277308625}, {"parameter": "[5, 4, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144396664277340745}, {"parameter": "[5, 4, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144396671659283665}, {"parameter": "[5, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144396671659315785}, {"parameter": "[5, 5, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 144396672869602513}, {"parameter": "[5, 5, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144396672869597257}, {"parameter": "[5, 5, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144396731810059473}, {"parameter": "[5, 5, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144396731810054217}, {"parameter": "[5, 6, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049592684884553}, {"parameter": "[5, 6, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049591490408521}, {"parameter": "[6, 2, 5],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144194903742948497}, {"parameter": "[6, 2, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144194903761758553}, {"parameter": "[6, 3, 4],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153559222575699153}, {"parameter": "[6, 3, 4],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153559222575731273}, {"parameter": "[6, 3, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153559221367739601}, {"parameter": "[6, 3, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153559221367771721}, {"parameter": "[6, 4, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153559221370098897}, {"parameter": "[6, 4, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153559221370093641}, {"parameter": "[6, 4, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153559221485442257}, {"parameter": "[6, 4, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153559221485437001}, {"parameter": "[6, 5, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144194902688043593}, {"parameter": "[6, 5, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144194902803161673}, {"parameter": "[7, 2, 4],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144432328477770385}, {"parameter": "[7, 2, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144432328477807177}, {"parameter": "[7, 3, 3],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155458627707081937}, {"parameter": "[7, 3, 3],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155458627707076681}, {"parameter": "[7, 3, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1155458627688207569}, {"parameter": "[7, 3, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1155458627688202313}, {"parameter": "[7, 4, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144432328461029961}, {"parameter": "[7, 4, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144432328461255241}, {"parameter": "[8, 2, 3],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144156025833128593}, {"parameter": "[8, 2, 3],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144156025833128009}, {"parameter": "[8, 3, 2],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144156025832903241}, {"parameter": "[8, 3, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144156025832866377}, {"parameter": "[9, 2, 2],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18024372497547849}, {"parameter": "[3, 2, 2, 6],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18054600954287401}, {"parameter": "[3, 2, 2, 6],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18054610450259896}, {"parameter": "[3, 2, 3, 5],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 144397368525548889}, {"parameter": "[3, 2, 3, 5],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144397368673268769}, {"parameter": "[3, 2, 3, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144396741460323673}, {"parameter": "[3, 2, 3, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144396741608043553}, {"parameter": "[3, 2, 4, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 144396674075245401}, {"parameter": "[3, 2, 4, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144396674075534481}, {"parameter": "[3, 2, 4, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144397291342576473}, {"parameter": "[3, 2, 4, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144397291342865553}, {"parameter": "[3, 2, 5, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 144396751405890393}, {"parameter": "[3, 2, 5, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144396751405843089}, {"parameter": "[3, 2, 5, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144401682349210457}, {"parameter": "[3, 2, 5, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144401682349163153}, {"parameter": "[3, 2, 6, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049671111394449}, {"parameter": "[3, 2, 6, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18050211326718609}, {"parameter": "[3, 3, 2, 5],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144155398658026841}, {"parameter": "[3, 3, 2, 5],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144155400031160929}, {"parameter": "[3, 3, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144115816239426905}, {"parameter": "[3, 3, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144115817612560993}, {"parameter": "[3, 3, 3, 4],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153242651408330649}, {"parameter": "[3, 3, 3, 4],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153242651410675409}, {"parameter": "[3, 3, 3, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153242563227283353}, {"parameter": "[3, 3, 3, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153242563229628113}, {"parameter": "[3, 3, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152925992059531161}, {"parameter": "[3, 3, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152925992061875921}, {"parameter": "[3, 3, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152925903878483865}, {"parameter": "[3, 3, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152925903880828625}, {"parameter": "[3, 3, 4, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153242563399511961}, {"parameter": "[3, 3, 4, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153242563399128273}, {"parameter": "[3, 3, 4, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1153242571819577241}, {"parameter": "[3, 3, 4, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1153242571819193553}, {"parameter": "[3, 3, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152925904050712473}, {"parameter": "[3, 3, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152925904050328785}, {"parameter": "[3, 3, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152925912470777753}, {"parameter": "[3, 3, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152925912470394065}, {"parameter": "[3, 3, 5, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144155321649968849}, {"parameter": "[3, 3, 5, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144155330053588689}, {"parameter": "[3, 3, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144115739231368913}, {"parameter": "[3, 3, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144115747634988753}, {"parameter": "[3, 4, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144115816365865817}, {"parameter": "[3, 4, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144115816368551633}, {"parameter": "[3, 4, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144119595937086297}, {"parameter": "[3, 4, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144119595939772113}, {"parameter": "[3, 4, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152926522526003097}, {"parameter": "[3, 4, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152926522525619409}, {"parameter": "[3, 4, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152926521148174233}, {"parameter": "[3, 4, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152926521147790545}, {"parameter": "[3, 4, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152956759095766937}, {"parameter": "[3, 4, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152956759095383249}, {"parameter": "[3, 4, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1152956757717938073}, {"parameter": "[3, 4, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1152956757717554385}, {"parameter": "[3, 4, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144115815143814865}, {"parameter": "[3, 4, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144115815160260305}, {"parameter": "[3, 4, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144119594715035345}, {"parameter": "[3, 4, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144119594731480785}, {"parameter": "[3, 5, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144120214414736217}, {"parameter": "[3, 5, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144120214414693585}, {"parameter": "[3, 5, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 144150391928699737}, {"parameter": "[3, 5, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144150391928657105}, {"parameter": "[3, 5, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144120214398285521}, {"parameter": "[3, 5, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144120214395594449}, {"parameter": "[3, 5, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 144150391912249041}, {"parameter": "[3, 5, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 144150391909557969}, {"parameter": "[3, 6, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18019417806120657}, {"parameter": "[3, 6, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18018806234392273}, {"parameter": "[4, 2, 2, 5],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 282103118711065}, {"parameter": "[4, 2, 2, 5],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282103288001569}, {"parameter": "[4, 2, 3, 4],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2256208882875225}, {"parameter": "[4, 2, 3, 4],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256208883164305}, {"parameter": "[4, 2, 3, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2256199084981081}, {"parameter": "[4, 2, 3, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256199085270161}, {"parameter": "[4, 2, 4, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2256198032472921}, {"parameter": "[4, 2, 4, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256198032425617}, {"parameter": "[4, 2, 4, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2256207677274969}, {"parameter": "[4, 2, 4, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256207677227665}, {"parameter": "[4, 2, 5, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 282024905090193}, {"parameter": "[4, 2, 5, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 282034535838865}, {"parameter": "[4, 3, 2, 4],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2252428103695193}, {"parameter": "[4, 3, 2, 4],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2252428106381009}, {"parameter": "[4, 3, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2251809628404569}, {"parameter": "[4, 3, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2251809631090385}, {"parameter": "[4, 3, 3, 3],[0, 0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18019416428638105}, {"parameter": "[4, 3, 3, 3],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18019416428254417}, {"parameter": "[4, 3, 3, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18019415050809241}, {"parameter": "[4, 3, 3, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18019415050425553}, {"parameter": "[4, 3, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18014468626313113}, {"parameter": "[4, 3, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014468625929425}, {"parameter": "[4, 3, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18014467248484249}, {"parameter": "[4, 3, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014467248100561}, {"parameter": "[4, 3, 4, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2252426881644241}, {"parameter": "[4, 3, 4, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2252426898089681}, {"parameter": "[4, 3, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2251808406353617}, {"parameter": "[4, 3, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2251808422799057}, {"parameter": "[4, 4, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2251809630763865}, {"parameter": "[4, 4, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2251809630721233}, {"parameter": "[4, 4, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2251868686564185}, {"parameter": "[4, 4, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2251868686521553}, {"parameter": "[4, 4, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2251809614313169}, {"parameter": "[4, 4, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2251809611622097}, {"parameter": "[4, 4, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2251868670113489}, {"parameter": "[4, 4, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2251868667422417}, {"parameter": "[4, 5, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 281484793784017}, {"parameter": "[4, 5, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 281543734240977}, {"parameter": "[5, 2, 2, 4],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2256207674873625}, {"parameter": "[5, 2, 2, 4],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256207675204753}, {"parameter": "[5, 2, 3, 3],[0, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18049651773324121}, {"parameter": "[5, 2, 3, 3],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049651773276817}, {"parameter": "[5, 2, 3, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18049651620232025}, {"parameter": "[5, 2, 3, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049651620184721}, {"parameter": "[5, 2, 4, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256206450467985}, {"parameter": "[5, 2, 4, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256206469305489}, {"parameter": "[5, 3, 2, 3],[0, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18049592698649433}, {"parameter": "[5, 3, 2, 3],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049592698606801}, {"parameter": "[5, 3, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18049583034973017}, {"parameter": "[5, 3, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049583034930385}, {"parameter": "[5, 3, 3, 2],[0, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049592682198737}, {"parameter": "[5, 3, 3, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049592679507665}, {"parameter": "[5, 3, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049583018522321}, {"parameter": "[5, 3, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049583015831249}, {"parameter": "[5, 4, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256197879375569}, {"parameter": "[5, 4, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256197994718929}, {"parameter": "[6, 2, 2, 3],[0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18024362986968857}, {"parameter": "[6, 2, 2, 3],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18024362986963601}, {"parameter": "[6, 2, 3, 2],[0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18024362968163473}, {"parameter": "[6, 2, 3, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18024362967864465}, {"parameter": "[6, 3, 2, 2],[0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18024362852787921}, {"parameter": "[6, 3, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18024362833913553}, {"parameter": "[7, 2, 2, 2],[0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256755132503185}, {"parameter": "[3, 2, 2, 2, 4],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2256835948105697}, {"parameter": "[3, 2, 2, 2, 4],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256835951085849}, {"parameter": "[3, 2, 2, 3, 3],[0, 1, 1, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 18054600953861665}, {"parameter": "[3, 2, 2, 3, 3],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18054600953435929}, {"parameter": "[3, 2, 2, 3, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18054599576032801}, {"parameter": "[3, 2, 2, 3, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18054599575607065}, {"parameter": "[3, 2, 2, 4, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256824928454937}, {"parameter": "[3, 2, 2, 4, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256825097992473}, {"parameter": "[3, 2, 3, 2, 3],[0, 1, 0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18049671235278369}, {"parameter": "[3, 2, 3, 2, 3],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049671234894681}, {"parameter": "[3, 2, 3, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18049592852125217}, {"parameter": "[3, 2, 3, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049592851741529}, {"parameter": "[3, 2, 3, 3, 2],[0, 1, 0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049671087222105}, {"parameter": "[3, 2, 3, 3, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049671063002457}, {"parameter": "[3, 2, 3, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049592704068953}, {"parameter": "[3, 2, 3, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18049592679849305}, {"parameter": "[3, 2, 4, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256198032809305}, {"parameter": "[3, 2, 4, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2256207677611353}, {"parameter": "[3, 3, 2, 2, 3],[0, 0, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18019426226574881}, {"parameter": "[3, 3, 2, 2, 3],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18019426226191193}, {"parameter": "[3, 3, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 18014478424249889}, {"parameter": "[3, 3, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014478423866201}, {"parameter": "[3, 3, 2, 3, 2],[0, 0, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18019424853781849}, {"parameter": "[3, 3, 2, 3, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18019424831954265}, {"parameter": "[3, 3, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014477051456857}, {"parameter": "[3, 3, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014477029629273}, {"parameter": "[3, 3, 3, 2, 2],[0, 0, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18019416431366553}, {"parameter": "[3, 3, 3, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18019415053537689}, {"parameter": "[3, 3, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014468629041561}, {"parameter": "[3, 3, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 18014467251212697}, {"parameter": "[3, 4, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2251809633492313}, {"parameter": "[3, 4, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2251868689292633}, {"parameter": "[4, 2, 2, 2, 3],[0, 1, 1, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 35263061741537}, {"parameter": "[4, 2, 2, 2, 3],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 35263061694233}, {"parameter": "[4, 2, 2, 3, 2],[0, 1, 1, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 35262892493081}, {"parameter": "[4, 2, 2, 3, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 35262889802009}, {"parameter": "[4, 2, 3, 2, 2],[0, 1, 0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 35253264178521}, {"parameter": "[4, 2, 3, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 35253111086425}, {"parameter": "[4, 3, 2, 2, 2],[0, 0, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 35194191895897}, {"parameter": "[4, 3, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 35184528219481}, {"parameter": "[5, 2, 2, 2, 2],[0, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 35253245262105}, {"parameter": "[3, 2, 2, 2, 2, 2],[0, 1, 1, 1, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 35263064768993}, {"parameter": "", "name": "JohnsonLB", "value": 1152971117634892458}, {"parameter": "", "name": "EF_Kurz2020_linkage_special", "value": 1155458627707417737}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 69810262024}], "request": [8, 13, 4, 3], "liftedmrdsizebound": 1153248296413803657, "comments": "", "equal_bound_constraints": []}