{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 4351606991153454260906164198195951744570749334337228556}, {"parameter": "", "name": "singleton", "value": 1940255363400777181}, {"parameter": "2", "name": "ilp_2", "value": 1490688513244081851}, {"parameter": "3", "name": "ilp_2", "value": 1822604293385686600445456598}, {"parameter": "4", "name": "ilp_2", "value": 2242801165886838335773497751173033537}, {"parameter": "5", "name": "ilp_2", "value": 2851869158189578027305244232923390150444054526}, {"parameter": "7", "name": "ilp_3", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "8", "name": "ilp_3", "value": 13689182222457543190049736479563331217350221424}, {"parameter": "9", "name": "ilp_3", "value": 869099245918198412167464699356442842825866}, {"parameter": "10", "name": "ilp_3", "value": 55533361662598909111440085385062985624}, {"parameter": "", "name": "anticode", "value": 1490688513244081851}, {"parameter": "", "name": "linear_programming_bound", "value": 1490688513244081851}, {"parameter": "", "name": "sphere_packing", "value": 4411220355281545809589558029742}, {"parameter": "1", "name": "ilp_1", "value": 1490688437507187935}, {"parameter": "11", "name": "ilp_4", "value": 55519145121722129033551100728038003724}, {"parameter": "12", "name": "ilp_4", "value": 55519145121722129033551100728038003724}, {"parameter": "13", "name": "ilp_4", "value": 88831769154085455586888614623902641}, {"parameter": "14", "name": "ilp_4", "value": 142140654315051629516810215608223}, {"parameter": "15", "name": "ilp_4", "value": 227426560435960911131994972650}, {"parameter": "16", "name": "ilp_4", "value": 363937634531159590086556967}, {"parameter": "17", "name": "ilp_4", "value": 582300155641477365624989}, {"parameter": "18", "name": "ilp_4", "value": 931680252841308725624}, {"parameter": "", "name": "johnson_1", "value": 1490688437507187935}, {"parameter": "", "name": "johnson_2", "value": 931680252841308725624}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 4351606991153454260906164198195951744570749334337228556}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 13689182222457543190049736479563331217350221424}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 869099245918198412167464699356442842825866}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 55533361662598909111440085385062985624}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 55519145121722129033551100728038003724}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 55519145121722129033551100728038003724}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 88831769154085455586888614623902641}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 142140654315051629516810215608223}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 227426560435960911131994972650}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 363937634531159590086556967}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 582300155641477365624989}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 931680252841308725624}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 2851869158189578027305244232923390150444054526}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 730125232989785075646279446356150860197898}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 224297343315236373845889302757515921056}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 71201132103144527782684679001437499}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 71110000431230079284598560461591020}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 71110029550444259915467002076661236}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 569063384990627623913136153463075}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 4553136301216444654182615007194}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 36454441487869200410149277354}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 291709449804691315992028016}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 2336667917496863687332492}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 18813918276922144501067}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 155527240765227152073}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 1492981875293452646}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 2242801165886838335773497751173033537}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 2871704440010743333471335258479050}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 4411220355281545809589558029742}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 4382988269698665876530881981065}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 4382988700012304643890317360746}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 175711812219521918696284201178}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 7055372303273079693900991346}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 282200443413531950918269740}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 11288911130222228632894818}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 451708795503362046048053}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 18096104435157306136443}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 729440993652893177360}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 30343186148139532434}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 1504540444641097501}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 1822604293385686600445456598}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 11683360864470031911211745}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 11309373686553488080539920}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 11309373914843698002171493}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 2333680567171955948912272}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 466019432810115286988859}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 93318828611969481720159}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 18662854472113041259969}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 3732989850419297595016}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 746831690315419780520}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 149602561340702525087}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 30158324357379304249}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 6279297100159761150}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 1564722062377519501}, {"parameter": "4, 2", "name": "Ahlswede_Aydinian", "value": 1490688513244081851}, {"parameter": "4, 3", "name": "Ahlswede_Aydinian", "value": 1490688514423970389}, {"parameter": "4, 4", "name": "Ahlswede_Aydinian", "value": 1490688520323413101}, {"parameter": "4, 5", "name": "Ahlswede_Aydinian", "value": 1490688549820627245}, {"parameter": "4, 6", "name": "Ahlswede_Aydinian", "value": 1490688697306712496}, {"parameter": "4, 7", "name": "Ahlswede_Aydinian", "value": 1490689434737502084}, {"parameter": "4, 8", "name": "Ahlswede_Aydinian", "value": 1490693121900533345}, {"parameter": "4, 9", "name": "Ahlswede_Aydinian", "value": 1490711557942775446}, {"parameter": "4, 10", "name": "Ahlswede_Aydinian", "value": 1490803743831479808}, {"parameter": "4, 11", "name": "Ahlswede_Aydinian", "value": 1491264815255987845}, {"parameter": "4, 12", "name": "Ahlswede_Aydinian", "value": 1493573727366534896}, {"parameter": "4, 13", "name": "Ahlswede_Aydinian", "value": 1505207850823193886}, {"parameter": "4, 14", "name": "Ahlswede_Aydinian", "value": 1565707001058219354}, {"parameter": "4, 15", "name": "Ahlswede_Aydinian", "value": 1940255363400777181}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 4351606991153454260906164198195951744570749334337228556}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 2851869158189578027305244232923390150444054526}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 2242801165886838335773497751173033537}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1822604293385686600445456598}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1490688513244081851}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 1490688437507187935}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 222805129852718972961249510941372778893592203898276}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 730125232989785075646279446356150860197898}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 2871704440010743333471335258479050}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 11683360864470031911211745}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 11758737385927307696725188}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 12150695297453684391859674}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 14580834346990699091831751}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 13689182222457543190049736479563331217350221424}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 224297343315236373845889302757515921056}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 4411220355281545809589558029742}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 4418005753568911875473578894955}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 4452209668514762049478378859422}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 4630298052196407670795388872865}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 5741569561206377531892381925388}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 869099245918198412167464699356442842825866}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 71201132103144527782684679001437499}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 71223741423649665805628093858345618}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 71336968900722271241211817553115660}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 71907664604727724061166580558871648}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 74879847819469855908762826974336829}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 93450048101071442160706359916710776}, {"parameter": "4, 9, o", "name": "Ahlswede_Aydinian", "value": 55533361662598909111440085385062985624}, {"parameter": "4, 10, o", "name": "Ahlswede_Aydinian", "value": 55536910336790691921271475720502586932}, {"parameter": "4, 11, o", "name": "Ahlswede_Aydinian", "value": 55554659385625617030737645091685063963}, {"parameter": "4, 12, o", "name": "Ahlswede_Aydinian", "value": 55643546804164853341849706094449248594}, {"parameter": "4, 13, o", "name": "Ahlswede_Aydinian", "value": 56091566918313757557918419932768263469}, {"parameter": "4, 14, o", "name": "Ahlswede_Aydinian", "value": 58424975098575751203033005337933734216}, {"parameter": "4, 15, o", "name": "Ahlswede_Aydinian", "value": 73007841108236063781239140920167306681}, {"parameter": "", "name": "improved_johnson", "value": 1490688437507187923}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 2911538055431097838356702}], "known_codes": [], "upper_bound": 1490688437507187923, "classified": false, "lower_bound": 1490116271973046876, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1490116119384765625}, {"parameter": "", "name": "sphere_covering", "value": 2931939038546}, {"parameter": "", "name": "graham_sloane", "value": 132}, {"parameter": "", "name": "multicomponent", "value": 1490116271972656251}, {"parameter": "[(0, 1, 2, 3, 4, 5), (5, 6, 7, 8, 9, 10), (0, 7, 11, 12, 13, 14), (8, 11, 15, 16, 17, 18)]", "name": "ef_computation", "value": 1490116271972671876}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1490116119384765625}, {"parameter": "(6, 13)", "name": "CKMP2019_Lem_41", "value": 1490116125488281251}, {"parameter": "(7, 12)", "name": "CKMP2019_Lem_41", "value": 59604645019531251}, {"parameter": "(8, 11)", "name": "CKMP2019_Lem_41", "value": 2384185791031251}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 95367431640626}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 3814697265626}, {"parameter": "(11, 8)", "name": "CKMP2019_Lem_41", "value": 2384338378906251}, {"parameter": "(12, 7)", "name": "CKMP2019_Lem_41", "value": 1490116125488281251}, {"parameter": "(13, 6)", "name": "CKMP2019_Lem_41", "value": 1490116119628906251}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Lem_41", "value": 1490116125488281251}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Lem_41", "value": 1490116119628906251}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Lem_41", "value": 59604645019531251}, {"parameter": "(6, 13)", "name": "CKMP2019_Cor_42", "value": 1490116125488281251}, {"parameter": "(7, 12)", "name": "CKMP2019_Cor_42", "value": 59604645019531251}, {"parameter": "(8, 11)", "name": "CKMP2019_Cor_42", "value": 2384185791031251}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 95367431640626}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 3814697265626}, {"parameter": "(11, 8)", "name": "CKMP2019_Cor_42", "value": 2384338378906251}, {"parameter": "(12, 7)", "name": "CKMP2019_Cor_42", "value": 1490116125488281251}, {"parameter": "(13, 6)", "name": "CKMP2019_Cor_42", "value": 1490116119628906251}, {"parameter": "(6, 6, 7)", "name": "CKMP2019_Cor_42", "value": 1490116125488281251}, {"parameter": "(6, 7, 6)", "name": "CKMP2019_Cor_42", "value": 1490116119628906251}, {"parameter": "(7, 6, 6)", "name": "CKMP2019_Cor_42", "value": 59604645019531251}, {"parameter": "", "name": "construction_1", "value": 1490116271973046876}, {"parameter": "6", "name": "linkage_GLT", "value": 1490116125488281251}, {"parameter": "7", "name": "linkage_GLT", "value": 59604645019531251}, {"parameter": "8", "name": "linkage_GLT", "value": 2384185791031251}, {"parameter": "9", "name": "linkage_GLT", "value": 95367431640626}, {"parameter": "10", "name": "linkage_GLT", "value": 3814697265626}, {"parameter": "11", "name": "linkage_GLT", "value": 2384338378906251}, {"parameter": "12", "name": "linkage_GLT", "value": 1490116125488281251}, {"parameter": "13", "name": "linkage_GLT", "value": 1490116119628906251}, {"parameter": "6", "name": "improved_linkage", "value": 1490116271972656251}, {"parameter": "7", "name": "improved_linkage", "value": 59604650878906251}, {"parameter": "8", "name": "improved_linkage", "value": 2384186035156251}, {"parameter": "9", "name": "improved_linkage", "value": 95367431656251}, {"parameter": "10", "name": "improved_linkage", "value": 3814697265626}, {"parameter": "11", "name": "improved_linkage", "value": 2384338378906251}, {"parameter": "12", "name": "improved_linkage", "value": 1490116125488281251}, {"parameter": "13", "name": "improved_linkage", "value": 1490116119628906251}, {"parameter": "14", "name": "improved_linkage", "value": 2384185791031251}, {"parameter": "6,0", "name": "generalized_linkage", "value": 1490116125488281251}, {"parameter": "6,1", "name": "generalized_linkage", "value": 1490116271972656251}, {"parameter": "7,0", "name": "generalized_linkage", "value": 59604645019531251}, {"parameter": "7,1", "name": "generalized_linkage", "value": 59604650878906251}, {"parameter": "8,0", "name": "generalized_linkage", "value": 2384185791031251}, {"parameter": "8,1", "name": "generalized_linkage", "value": 2384186035156251}, {"parameter": "9,0", "name": "generalized_linkage", "value": 95367431640626}, {"parameter": "9,1", "name": "generalized_linkage", "value": 95367431656251}, {"parameter": "10,0", "name": "generalized_linkage", "value": 3814697265626}, {"parameter": "10,1", "name": "generalized_linkage", "value": 3814697265626}, {"parameter": "11,0", "name": "generalized_linkage", "value": 2384338378906251}, {"parameter": "11,1", "name": "generalized_linkage", "value": 2384338378906251}, {"parameter": "12,0", "name": "generalized_linkage", "value": 1490116125488281251}, {"parameter": "12,1", "name": "generalized_linkage", "value": 1490116125488281251}, {"parameter": "13,0", "name": "generalized_linkage", "value": 1490116119628906251}, {"parameter": "13,1", "name": "generalized_linkage", "value": 1490116119628906251}, {"parameter": "14,1", "name": "generalized_linkage", "value": 2384185791031251}, {"parameter": "[6, 13],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1490116125488281251}, {"parameter": "[6, 13],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490116271972656251}, {"parameter": "[7, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 59604645019531251}, {"parameter": "[7, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604650878906251}, {"parameter": "[8, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384185791031251}, {"parameter": "[8, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384186035156251}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 95367431640626}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95367431656251}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3814697265626}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3814697265626}, {"parameter": "[11, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384338378906251}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384338378906251}, {"parameter": "[12, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1490116125488281251}, {"parameter": "[12, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490116125488281251}, {"parameter": "[13, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1490116119628906251}, {"parameter": "[13, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490116119628906251}, {"parameter": "[14, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384185791031251}, {"parameter": "[6, 5, 8],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 2384338378906251}, {"parameter": "[6, 5, 8],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384338378906251}, {"parameter": "[6, 6, 7],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1490116125488281251}, {"parameter": "[6, 6, 7],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490116125488281251}, {"parameter": "[6, 6, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1490116125488281251}, {"parameter": "[6, 6, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490116125488281251}, {"parameter": "[6, 7, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1490116119628906251}, {"parameter": "[6, 7, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490116119628906251}, {"parameter": "[6, 7, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 1490116119628906251}, {"parameter": "[6, 7, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 1490116119628906251}, {"parameter": "[6, 8, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384185791031251}, {"parameter": "[6, 8, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 2384185791031251}, {"parameter": "[7, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 95373535156251}, {"parameter": "[7, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95373535156251}, {"parameter": "[7, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 59604645019531251}, {"parameter": "[7, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604645019531251}, {"parameter": "[7, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 59604645019531251}, {"parameter": "[7, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 59604645019531251}, {"parameter": "[7, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 95367431656251}, {"parameter": "[7, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 95367431656251}, {"parameter": "[8, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 3814941406251}, {"parameter": "[8, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3814941406251}, {"parameter": "[8, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3814697281251}, {"parameter": "[8, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 3814697281251}, {"parameter": "[9, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 244156251}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 30527343755}], "request": [5, 19, 10, 6], "liftedmrdsizebound": 1490116272266109404, "comments": "", "equal_bound_constraints": []}