{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 1066968301301093995246996371}, {"parameter": "", "name": "singleton", "value": 518946525150879134496915}, {"parameter": "7", "name": "ilp_2", "value": 260553919731646885286201}, {"parameter": "9", "name": "ilp_3", "value": 2088000589630320930033261}, {"parameter": "", "name": "anticode", "value": 260553919731646885286201}, {"parameter": "", "name": "linear_programming_bound", "value": 260553919731646885286201}, {"parameter": "", "name": "sphere_packing", "value": 1066968301301093995246996371}, {"parameter": "1", "name": "ilp_1", "value": 260426657296346692403069}, {"parameter": "2", "name": "ilp_1", "value": 260426657296346692404105}, {"parameter": "3", "name": "ilp_1", "value": 260426657296346694559728}, {"parameter": "4", "name": "ilp_1", "value": 260426657296351251651823}, {"parameter": "5", "name": "ilp_1", "value": 260426657306306219332483}, {"parameter": "6", "name": "ilp_1", "value": 260426680605908075917242}, {"parameter": "10", "name": "ilp_4", "value": 2088000589630320930033261}, {"parameter": "11", "name": "ilp_4", "value": 2087976659317142438990020}, {"parameter": "12", "name": "ilp_4", "value": 2087976659317142438990020}, {"parameter": "13", "name": "ilp_4", "value": 2087976658867675140388533}, {"parameter": "14", "name": "ilp_4", "value": 2087976658862572233867147}, {"parameter": "15", "name": "ilp_4", "value": 2087976658862569917337269}, {"parameter": "16", "name": "ilp_4", "value": 2087976658867034824277019}, {"parameter": "17", "name": "ilp_4", "value": 1040941701653817954598746}, {"parameter": "18", "name": "ilp_4", "value": 521235125208155346969710}, {"parameter": "", "name": "johnson_1", "value": 260426657296346692403069}, {"parameter": "", "name": "johnson_2", "value": 521235125208155346969710}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1066968301301093995246996371}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 2087976659317142438990020}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 2087976659317142438990020}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 2087976658867675140388533}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 2087976658862572233867147}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 2087976658862569917337269}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 2087976658867034824277019}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 1040941701653817954598746}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 521235125208155346969710}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 260553919731646885286201}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 260617312963462556707019}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 260744192014263053685644}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 260998321096208218535795}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 261508068253321000550726}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 262533559413537468278589}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 264608860949209431016407}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 268859475488606811079792}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 277783988883388178923977}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 297536847320113785280665}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 346867431894596095004588}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 518946525150879134496915}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1066968301301093995246996371}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 260553919731646885286201}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 260426680605908075917242}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 260426657306306219332483}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 260426657296351251651823}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 260426657296346694559728}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 260426657296346692404105}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 260426657296346692403069}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 2088000589630320930033261}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 2092092704455717072859879}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 2100325242420838778618090}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 2116986234074352796389050}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 2151113988659160455962070}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 2222780498461047789233365}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 2381462070640058060372319}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 2778114430964275648895731}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 4165817792093527797314451}, {"parameter": "", "name": "improved_johnson", "value": 260426657296346692403069}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 1044000294815160465016630}], "known_codes": [], "upper_bound": 260426657296346692403069, "classified": false, "lower_bound": 168534060204346081643054, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 151115727451828646838272}, {"parameter": "", "name": "sphere_covering", "value": 1022028678288088457675}, {"parameter": "", "name": "graham_sloane", "value": 2035084412356388762733}, {"parameter": "", "name": "multicomponent", "value": 151124951105344773357569}, {"parameter": "", "name": "construction_ST_B", "value": 161859100954667937431552}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 151494499497984359628800}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 161575645134266629586944}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 161859102667217609648320}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 168534060204346081643054}, {"parameter": "", "name": "two_pivot_block_construction", "value": 161190099674271351570432}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 5653562476863537513226}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 161868939208791416732918}, {"parameter": "(11,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 152046923445891258712064}, {"parameter": "(11,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 152046923446372295049216}, {"parameter": "(11,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 152046923445959978188800}, {"parameter": "(11,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 152046923445824686718976}, {"parameter": "(11,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 152046923445822541332480}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 1296954982878026760192}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1296954983013318230016}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1296954983150757183488}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1296954982893059145728}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1296954982875946385408}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 3156694991530326196224}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 3156694991547438956544}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 3156694991805136994304}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 3156694991667698040832}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 3156694991532406571008}, {"parameter": "(8,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 7406260962298674774016}, {"parameter": "(8,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 7406260962300820160512}, {"parameter": "(8,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 7406260962436111630336}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 7406260962848428490752}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 7406260962367392153600}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 152046923445822539235328}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1296954982875879276544}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 3156694991530259087360}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 7406260962298672676864}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 152046923445822539235328}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1296954982875879276544}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 3156694991530259087360}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 7406260962298672676864}, {"parameter": "8", "name": "linkage_GLT", "value": 151115727451828646935798}, {"parameter": "9", "name": "linkage_GLT", "value": 1180591620717411303765}, {"parameter": "10", "name": "linkage_GLT", "value": 3145169864567478550529}, {"parameter": "11", "name": "linkage_GLT", "value": 7027488916142959886337}, {"parameter": "8", "name": "improved_linkage", "value": 151126157821623845138153}, {"parameter": "9", "name": "improved_linkage", "value": 1180673226494044043573}, {"parameter": "10", "name": "improved_linkage", "value": 3145170182099683347183}, {"parameter": "11", "name": "improved_linkage", "value": 7027488917373667305666}, {"parameter": "12", "name": "improved_linkage", "value": 5538525977320102673901}, {"parameter": "13", "name": "improved_linkage", "value": 5274164939772933193341}, {"parameter": "14", "name": "improved_linkage", "value": 5285848116966908329206}, {"parameter": "15", "name": "improved_linkage", "value": 5327306386829717012821}, {"parameter": "16", "name": "improved_linkage", "value": 5348116177403258404865}, {"parameter": "17", "name": "improved_linkage", "value": 2670174667570764769537}, {"parameter": "8,0", "name": "generalized_linkage", "value": 152046923445822539235328}, {"parameter": "8,1", "name": "generalized_linkage", "value": 151318564467641169982464}, {"parameter": "8,2", "name": "generalized_linkage", "value": 151165531616781290773696}, {"parameter": "8,3", "name": "generalized_linkage", "value": 151127937024457357838352}, {"parameter": "8,4", "name": "generalized_linkage", "value": 151118561744288661780802}, {"parameter": "8,5", "name": "generalized_linkage", "value": 151116298692265076019315}, {"parameter": "8,6", "name": "generalized_linkage", "value": 151126157821623845138153}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1296954982875879276544}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1216858805681263687680}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1184281209756119592896}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1181019004668571214088}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1180640265658867741004}, {"parameter": "9,5", "name": "generalized_linkage", "value": 1180596383700483253249}, {"parameter": "9,6", "name": "generalized_linkage", "value": 1180673226494044043573}, {"parameter": "10,0", "name": "generalized_linkage", "value": 3156694991530259087360}, {"parameter": "10,1", "name": "generalized_linkage", "value": 3147320288579892896768}, {"parameter": "10,2", "name": "generalized_linkage", "value": 3145480099499535456384}, {"parameter": "10,3", "name": "generalized_linkage", "value": 3145184693618289861320}, {"parameter": "10,4", "name": "generalized_linkage", "value": 3145170660869220954942}, {"parameter": "10,5", "name": "generalized_linkage", "value": 3145169902719408549758}, {"parameter": "10,6", "name": "generalized_linkage", "value": 3145170182099683347183}, {"parameter": "11,0", "name": "generalized_linkage", "value": 7406260962298672676864}, {"parameter": "11,1", "name": "generalized_linkage", "value": 7027592749302820328448}, {"parameter": "11,2", "name": "generalized_linkage", "value": 7027497847601251686336}, {"parameter": "11,3", "name": "generalized_linkage", "value": 7027489520451503529712}, {"parameter": "11,4", "name": "generalized_linkage", "value": 7027488929524874050878}, {"parameter": "11,5", "name": "generalized_linkage", "value": 7027488916445159865683}, {"parameter": "11,6", "name": "generalized_linkage", "value": 7027488917373667305666}, {"parameter": "12,1", "name": "generalized_linkage", "value": 5540211113569793233920}, {"parameter": "12,2", "name": "generalized_linkage", "value": 5538526189866169813184}, {"parameter": "12,3", "name": "generalized_linkage", "value": 5538525985883440976648}, {"parameter": "12,4", "name": "generalized_linkage", "value": 5538525977583768204708}, {"parameter": "12,5", "name": "generalized_linkage", "value": 5538525977317804802051}, {"parameter": "12,6", "name": "generalized_linkage", "value": 5538525977320102673901}, {"parameter": "13,2", "name": "generalized_linkage", "value": 5274166652322585733312}, {"parameter": "13,3", "name": "generalized_linkage", "value": 5274164939874103137000}, {"parameter": "13,4", "name": "generalized_linkage", "value": 5274164939774794556430}, {"parameter": "13,5", "name": "generalized_linkage", "value": 5274164939772938385674}, {"parameter": "13,6", "name": "generalized_linkage", "value": 5274164939772933193341}, {"parameter": "14,3", "name": "generalized_linkage", "value": 5285848117373035703016}, {"parameter": "14,4", "name": "generalized_linkage", "value": 5285848116966919274966}, {"parameter": "14,5", "name": "generalized_linkage", "value": 5285848116966908318635}, {"parameter": "14,6", "name": "generalized_linkage", "value": 5285848116966908329206}, {"parameter": "15,4", "name": "generalized_linkage", "value": 5327306386829739109846}, {"parameter": "15,5", "name": "generalized_linkage", "value": 5327306386829717012735}, {"parameter": "15,6", "name": "generalized_linkage", "value": 5327306386829717012821}, {"parameter": "16,5", "name": "generalized_linkage", "value": 5348116177403258405119}, {"parameter": "16,6", "name": "generalized_linkage", "value": 5348116177403258404865}, {"parameter": "17,6", "name": "generalized_linkage", "value": 2670174667570764769537}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 152046923445822539235328}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 151318564467641169982464}, {"parameter": "[8, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 151165531616781290773696}, {"parameter": "[8, 11],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 151127937024457357838352}, {"parameter": "[8, 11],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 151118561744288661780802}, {"parameter": "[8, 11],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 151116298692265076019315}, {"parameter": "[8, 11],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 151126157821623845138153}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1296954982875879276544}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1216858805681263687680}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1184281209756119592896}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1181019004668571214088}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1180640265658867741004}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1180596383700483253249}, {"parameter": "[9, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1180673226494044043573}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3156694991530259087360}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3147320288579892896768}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3145480099499535456384}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3145184693618289861320}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 3145170660869220954942}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 3145169902719408549758}, {"parameter": "[10, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 3145170182099683347183}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7406260962298672676864}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7027592749302820328448}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7027497847601251686336}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7027489520451503529712}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7027488929524874050878}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 7027488916445159865683}, {"parameter": "[11, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7027488917373667305666}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5540211113569793233920}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5538526189866169813184}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5538525985883440976648}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5538525977583768204708}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5538525977317804802051}, {"parameter": "[12, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5538525977320102673901}, {"parameter": "[13, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5274166652322585733312}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5274164939874103137000}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5274164939774794556430}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5274164939772938385674}, {"parameter": "[13, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5274164939772933193341}, {"parameter": "[14, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5285848117373035703016}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5285848116966919274966}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5285848116966908318635}, {"parameter": "[14, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5285848116966908329206}, {"parameter": "[15, 4],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5327306386829739109846}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5327306386829717012735}, {"parameter": "[15, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5327306386829717012821}, {"parameter": "[16, 3],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5348116177403258405119}, {"parameter": "[16, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5348116177403258404865}, {"parameter": "[17, 2],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 2670174667570764769537}, {"parameter": "[8, 2, 9],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 2372850948053865070592}, {"parameter": "[8, 2, 9],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 2373662543520607076352}, {"parameter": "[8, 2, 9],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 3301602607465569779712}, {"parameter": "[8, 3, 8],[0, 5, 0]", "name": "generalized_linkage_multipleblocks", "value": 5348620539067958820864}, {"parameter": "[8, 3, 8],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 4725315220610098397184}, {"parameter": "[8, 3, 8],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 4726126816076840402944}, {"parameter": "[8, 3, 8],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 5654066880021803106304}, {"parameter": "[8, 3, 8],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 5348188193503731253248}, {"parameter": "[8, 3, 8],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 4724882875045870829568}, {"parameter": "[8, 3, 8],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 4725694470512612835328}, {"parameter": "[8, 3, 8],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 5653634534457575538688}, {"parameter": "[8, 4, 7],[0, 4, 1]", "name": "generalized_linkage_multipleblocks", "value": 5350628581551812640768}, {"parameter": "[8, 4, 7],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 4727323263093952217088}, {"parameter": "[8, 4, 7],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4728134858560694222848}, {"parameter": "[8, 4, 7],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 5656074922505656926208}, {"parameter": "[8, 4, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 5348118106234530299904}, {"parameter": "[8, 4, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 4724812787776669876224}, {"parameter": "[8, 4, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 4725624383243411881984}, {"parameter": "[8, 4, 7],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 5653564447188374585344}, {"parameter": "[8, 4, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 5348212118876751659008}, {"parameter": "[8, 4, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 4724906800418891235328}, {"parameter": "[8, 4, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 4725718395885633241088}, {"parameter": "[8, 4, 7],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 5653658459830595944448}, {"parameter": "[8, 5, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 5359024144478254399488}, {"parameter": "[8, 5, 6],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 4735718826020393975808}, {"parameter": "[8, 5, 6],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4736530421487135981568}, {"parameter": "[8, 5, 6],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 5664470485432098684928}, {"parameter": "[8, 5, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 5348125950150482853888}, {"parameter": "[8, 5, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 4724820631692622430208}, {"parameter": "[8, 5, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4725632227159364435968}, {"parameter": "[8, 5, 6],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 5653572291104327139328}, {"parameter": "[8, 5, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 5348118760443948826624}, {"parameter": "[8, 5, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 4724813441986088402944}, {"parameter": "[8, 5, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 4725625037452830408704}, {"parameter": "[8, 5, 6],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 5653565101397793112064}, {"parameter": "[8, 5, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 5348223366880703807488}, {"parameter": "[8, 5, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 4724918048422843383808}, {"parameter": "[8, 5, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 4725729643889585389568}, {"parameter": "[8, 5, 6],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 5653669707834548092928}, {"parameter": "[8, 6, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 5392709644449038204928}, {"parameter": "[8, 6, 5],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4769404325991177781248}, {"parameter": "[8, 6, 5],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 4770215921457919787008}, {"parameter": "[8, 6, 5],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 5698155985402882490368}, {"parameter": "[8, 6, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 5348158745318164267008}, {"parameter": "[8, 6, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4724853426860303843328}, {"parameter": "[8, 6, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 4725665022327045849088}, {"parameter": "[8, 6, 5],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 5653605086272008552448}, {"parameter": "[8, 6, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 5348129208785120002048}, {"parameter": "[8, 6, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4724823890327259578368}, {"parameter": "[8, 6, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 4725635485794001584128}, {"parameter": "[8, 6, 5],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 5653575549738964287488}, {"parameter": "[8, 6, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 5348119068006556893184}, {"parameter": "[8, 6, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 4724813749548696469504}, {"parameter": "[8, 6, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 4725625345015438475264}, {"parameter": "[8, 6, 5],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 5653565408960401178624}, {"parameter": "[8, 6, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 5348200647109298356224}, {"parameter": "[8, 6, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 4724895328651437932544}, {"parameter": "[8, 6, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 4725706924118179938304}, {"parameter": "[8, 6, 5],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 5653646988063142641664}, {"parameter": "[8, 7, 4],[0, 1, 4]", "name": "generalized_linkage_multipleblocks", "value": 4912366404547423961088}, {"parameter": "[8, 7, 4],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 4895341996109765181440}, {"parameter": "[8, 7, 4],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 4898569281612809863168}, {"parameter": "[8, 7, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 4739593729245920821248}, {"parameter": "[8, 7, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 4722569320808262041600}, {"parameter": "[8, 7, 4],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 4725796606311306723328}, {"parameter": "[8, 7, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 4739476292916816314368}, {"parameter": "[8, 7, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 4722451884479157534720}, {"parameter": "[8, 7, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 4725679169982202216448}, {"parameter": "[8, 7, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 4739434140706204745728}, {"parameter": "[8, 7, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 4722409732268545966080}, {"parameter": "[8, 7, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 4725637017771590647808}, {"parameter": "[8, 7, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 4739421846706303205376}, {"parameter": "[8, 7, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 4722397438268644425728}, {"parameter": "[8, 7, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 4725624723771689107456}, {"parameter": "[8, 7, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 4739500013223485833216}, {"parameter": "[8, 7, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 4722475604785827053568}, {"parameter": "[8, 7, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 4725702890288871735296}, {"parameter": "[8, 8, 3],[0, 0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5348182973183425019904}, {"parameter": "[8, 8, 3],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5348125684091654995968}, {"parameter": "[8, 8, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 4723108893849213763584}, {"parameter": "[8, 8, 3],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 4723051604757443739648}, {"parameter": "[8, 8, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 4722665351186039209984}, {"parameter": "[8, 8, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 4722608062094269186048}, {"parameter": "[8, 8, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 4722496728425398042624}, {"parameter": "[8, 8, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 4722439439333628018688}, {"parameter": "[8, 8, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 4722444830564636590080}, {"parameter": "[8, 8, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 4722387541472866566144}, {"parameter": "[8, 8, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 4722435520696470962176}, {"parameter": "[8, 8, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 4722378231604700938240}, {"parameter": "[8, 8, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 4722513975784810119168}, {"parameter": "[8, 8, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 4722456686693040095232}, {"parameter": "[8, 9, 2],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 2363637124198971965440}, {"parameter": "[8, 9, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 2362092674904637276160}, {"parameter": "[8, 9, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 2361452011797258567680}, {"parameter": "[8, 9, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 2361242763145215502336}, {"parameter": "[8, 9, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 2361203750630689146368}, {"parameter": "[8, 9, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 2361194995044479716864}, {"parameter": "[8, 9, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 2361274077861212221184}, {"parameter": "[9, 2, 8],[0, 6, 0]", "name": "generalized_linkage_multipleblocks", "value": 105876633669412585472}, {"parameter": "[9, 2, 8],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 18860043199003983872}, {"parameter": "[9, 2, 8],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 134882163826215452672}, {"parameter": "[9, 3, 7],[0, 5, 1]", "name": "generalized_linkage_multipleblocks", "value": 105808798200025317376}, {"parameter": "[9, 3, 7],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 18792207729616715776}, {"parameter": "[9, 3, 7],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 134814328356828184576}, {"parameter": "[9, 3, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 105804857550351368192}, {"parameter": "[9, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 18788267079942766592}, {"parameter": "[9, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 134810387707154235392}, {"parameter": "[9, 4, 6],[0, 4, 2]", "name": "generalized_linkage_multipleblocks", "value": 105848035371974131712}, {"parameter": "[9, 4, 6],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 18831444901565530112}, {"parameter": "[9, 4, 6],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 134853565528776998912}, {"parameter": "[9, 4, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 105804592568049074176}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 18788002097640472576}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 134810122724851941376}, {"parameter": "[9, 4, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 105804951008839729152}, {"parameter": "[9, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 18788360538431127552}, {"parameter": "[9, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 134810481165642596352}, {"parameter": "[9, 5, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 106187245876057997312}, {"parameter": "[9, 5, 5],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 19170655405649395712}, {"parameter": "[9, 5, 5],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 135192776032860864512}, {"parameter": "[9, 5, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 105804745838251999232}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 18788155367843397632}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 134810275995054866432}, {"parameter": "[9, 5, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 105804598044132376576}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 18788007573723774976}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 134810128200935243776}, {"parameter": "[9, 5, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 105804994946355167232}, {"parameter": "[9, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 18788404475946565632}, {"parameter": "[9, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 134810525103158034432}, {"parameter": "[9, 6, 4],[0, 2, 4]", "name": "generalized_linkage_multipleblocks", "value": 108950465736869937152}, {"parameter": "[9, 6, 4],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 21933875266461335552}, {"parameter": "[9, 6, 4],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 137955995893672804352}, {"parameter": "[9, 6, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 105806070879283576832}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 18789480408874975232}, {"parameter": "[9, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 134811601036086444032}, {"parameter": "[9, 6, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 105804802204832366592}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 18788211734423764992}, {"parameter": "[9, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 134810332361635233792}, {"parameter": "[9, 6, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 105804600618596171776}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 18788010148187570176}, {"parameter": "[9, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 134810130775399038976}, {"parameter": "[9, 6, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 105804906197248114688}, {"parameter": "[9, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 18788315726839513088}, {"parameter": "[9, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 134810436354050981888}, {"parameter": "[9, 7, 3],[0, 1, 5]", "name": "generalized_linkage_multipleblocks", "value": 43841469567659835392}, {"parameter": "[9, 7, 3],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 43158986505146826752}, {"parameter": "[9, 7, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 19482757298969280512}, {"parameter": "[9, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 18800274236456271872}, {"parameter": "[9, 7, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 19472459792998367232}, {"parameter": "[9, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 18789976730485358592}, {"parameter": "[9, 7, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 19470721296482598912}, {"parameter": "[9, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 18788238233969590272}, {"parameter": "[9, 7, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 19470488010557587456}, {"parameter": "[9, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 18788004948044578816}, {"parameter": "[9, 7, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 19470783032206786560}, {"parameter": "[9, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 18788299969693777920}, {"parameter": "[9, 8, 2],[0, 0, 6]", "name": "generalized_linkage_multipleblocks", "value": 106145817606631161856}, {"parameter": "[9, 8, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 18883184827232387072}, {"parameter": "[9, 8, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 18804354446130757632}, {"parameter": "[9, 8, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 18790210065507151872}, {"parameter": "[9, 8, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 18788184707706080768}, {"parameter": "[9, 8, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 18788004024774320896}, {"parameter": "[9, 8, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 18788300666065404416}, {"parameter": "[10, 2, 7],[0, 6, 1]", "name": "generalized_linkage_multipleblocks", "value": 36097048004690673664}, {"parameter": "[10, 2, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 36097048004690673664}, {"parameter": "[10, 3, 6],[0, 5, 2]", "name": "generalized_linkage_multipleblocks", "value": 36096800614574424064}, {"parameter": "[10, 3, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 36096800614574424064}, {"parameter": "[10, 3, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 36096767629225590784}, {"parameter": "[10, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 36096767629225590784}, {"parameter": "[10, 4, 5],[0, 4, 3]", "name": "generalized_linkage_multipleblocks", "value": 36097479520054902784}, {"parameter": "[10, 4, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36097479520054902784}, {"parameter": "[10, 4, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 36096766662857949184}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 36096766662857949184}, {"parameter": "[10, 4, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 36096767994297810944}, {"parameter": "[10, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 36096767994297810944}, {"parameter": "[10, 5, 4],[0, 3, 4]", "name": "generalized_linkage_multipleblocks", "value": 36109410365422403584}, {"parameter": "[10, 5, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 36109410365422403584}, {"parameter": "[10, 5, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 36096769314832482304}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 36096769314832482304}, {"parameter": "[10, 5, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 36096766707065913344}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 36096766707065913344}, {"parameter": "[10, 5, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 36096768165928730624}, {"parameter": "[10, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 36096768165928730624}, {"parameter": "[10, 6, 3],[0, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 36305239721552871424}, {"parameter": "[10, 6, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 36305239721552871424}, {"parameter": "[10, 6, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 36096815919697199104}, {"parameter": "[10, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 36096815919697199104}, {"parameter": "[10, 6, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 36096770239578865664}, {"parameter": "[10, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 36096770239578865664}, {"parameter": "[10, 6, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 36096766727849345024}, {"parameter": "[10, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 36096766727849345024}, {"parameter": "[10, 6, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 36096767819252531200}, {"parameter": "[10, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 36096767819252531200}, {"parameter": "[10, 7, 2],[0, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 37711161096218574848}, {"parameter": "[10, 7, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 36097580878119583744}, {"parameter": "[10, 7, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 36096832318715070464}, {"parameter": "[10, 7, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 36096770674328658944}, {"parameter": "[10, 7, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 36096766685869024000}, {"parameter": "[10, 7, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 36096767757701180672}, {"parameter": "[11, 2, 6],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 406223175833907855360}, {"parameter": "[11, 3, 5],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 406223175004979167232}, {"parameter": "[11, 3, 5],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 406223174738691194880}, {"parameter": "[11, 4, 4],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 406223186144345948160}, {"parameter": "[11, 4, 4],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 406223174735453192192}, {"parameter": "[11, 4, 4],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 406223174740117258240}, {"parameter": "[11, 5, 3],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 406223580820616478720}, {"parameter": "[11, 5, 3],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 406223174778966343680}, {"parameter": "[11, 5, 3],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 406223174735804137472}, {"parameter": "[11, 5, 3],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 406223174740787691520}, {"parameter": "[11, 6, 2],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 406229879876105027584}, {"parameter": "[11, 6, 2],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 406223176320670525440}, {"parameter": "[11, 6, 2],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 406223174793765015040}, {"parameter": "[11, 6, 2],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 406223174735969126912}, {"parameter": "[11, 6, 2],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 406223174739433487616}, {"parameter": "[8, 2, 6, 3],[0, 6, 2, 5]", "name": "generalized_linkage_multipleblocks", "value": 646712789289983279104}, {"parameter": "[8, 2, 6, 3],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 646712789289983279104}, {"parameter": "[8, 2, 7, 2],[0, 6, 1, 6]", "name": "generalized_linkage_multipleblocks", "value": 23407470832122855424}, {"parameter": "[8, 2, 7, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 23407470832122855424}, {"parameter": "[8, 3, 5, 3],[0, 5, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1269948020478642749440}, {"parameter": "[8, 3, 5, 3],[0, 6, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 1269946331628782485504}, {"parameter": "[8, 3, 6, 2],[0, 5, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 646642702020782325760}, {"parameter": "[8, 3, 6, 2],[0, 5, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 646642702020782325760}, {"parameter": "[8, 3, 6, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 646641013170922061824}, {"parameter": "[8, 3, 6, 2],[0, 6, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 646641013170922061824}, {"parameter": "[9, 2, 6, 2],[0, 6, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 174788003072344850432}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 10534735848890297728184}], "request": [2, 19, 4, 8], "liftedmrdsizebound": 189001969990852428478895, "comments": "", "equal_bound_constraints": []}