{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 579000252913277034724666671128579290474420179812795955722564434314244}, {"parameter": "", "name": "singleton", "value": 25696504083440779881815469635549047}, {"parameter": "3", "name": "ilp_2", "value": 22532257735650261092479326250257440}, {"parameter": "4", "name": "ilp_2", "value": 6372516557474480965096086648549180037473526732}, {"parameter": "5", "name": "ilp_2", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "7", "name": "ilp_3", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "8", "name": "ilp_3", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "9", "name": "ilp_3", "value": 3381971801629792765898137708091713120248611218731740}, {"parameter": "", "name": "anticode", "value": 22532257735650261092479326250257440}, {"parameter": "", "name": "linear_programming_bound", "value": 22532257735650261092479326250257440}, {"parameter": "", "name": "sphere_packing", "value": 27431645849314822674310346842984264239824927330517052}, {"parameter": "1", "name": "ilp_1", "value": 22532257735650261092476787823448615}, {"parameter": "2", "name": "ilp_1", "value": 22532257735650261092479326250257440}, {"parameter": "10", "name": "ilp_4", "value": 3381691760541342744793486066791757711645751179828539}, {"parameter": "11", "name": "ilp_4", "value": 3381691760229982075610447149869204213959531962479009}, {"parameter": "12", "name": "ilp_4", "value": 3381691760229982075610447149869204213959531962479009}, {"parameter": "13", "name": "ilp_4", "value": 4638848760918698880009372011207469780685639620733}, {"parameter": "14", "name": "ilp_4", "value": 6363775126601178338139960715337858466640921158}, {"parameter": "15", "name": "ilp_4", "value": 8729458132770404410445678621628137701787132}, {"parameter": "16", "name": "ilp_4", "value": 11974565432588306985909640599867740847898}, {"parameter": "17", "name": "ilp_4", "value": 16426015704020492095036722857244225953}, {"parameter": "", "name": "johnson_1", "value": 22532257735650261092476787823448615}, {"parameter": "", "name": "johnson_2", "value": 16426015704020492095036722857244225953}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 579000252913277034724666671128579290474420179812795955722564434314244}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 3381971801629792765898137708091713120248611218731740}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 3381691760541342744793486066791757711645751179828539}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 3381691760229982075610447149869204213959531962479009}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 3381691760229982075610447149869204213959531962479009}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 4638848760918698880009372011207469780685639620733}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 6363775126601178338139960715337858466640921158}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 8729458132770404410445678621628137701787132}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 11974565432588306985909640599867740847898}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 16426015704020492095036722857244225953}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 27431645849314822674310346842984264239824927330517052}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 458822151435540947083027215668209714212639212255}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 458510917460215445390591358767033966255691175688}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 458510916796136401203146032588192965430909983334}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 458510926263968656834717208388566374441713435949}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 5664461662186025550201499123816243380587639014}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 69931611019039174333226498473452861552408027}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 863366839792991034612715139842959732534751}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 10660304033054248568815481411294657383377}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 131769383377463545670365462018938255572}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1644857598189501746641485086019230793}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 22563166182475460655083994523524484}, {"parameter": "2, 4", "name": "Ahlswede_Aydinian", "value": 6372516557474480965096086648549180037473526732}, {"parameter": "2, 5", "name": "Ahlswede_Aydinian", "value": 863367640901878146106586653572944103625132}, {"parameter": "2, 6", "name": "Ahlswede_Aydinian", "value": 863367640929047185783601363808936680716277}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 863367641173568542946755276449842243426827}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 863367643374260763086883666728087618521093}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 95915299651912501483903233610056665395462}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 10658683959656116758419543426488276114609}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 1184298217441376046714663124950756758514}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 131591108902226422223143549257556687618}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 14623435018729727144162602172964066170}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1627030196903260831601485137026871072}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 183012692243912674104188057973338795}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 22844818874189863548698688127341388}, {"parameter": "3, 3", "name": "Ahlswede_Aydinian", "value": 22532257735650261092479326250257440}, {"parameter": "3, 4", "name": "Ahlswede_Aydinian", "value": 22532257735729834599199123259327411}, {"parameter": "3, 5", "name": "Ahlswede_Aydinian", "value": 22532257736445996159700083779793590}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 22532257742891450206054511010269352}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 22532257800900536772752742718617895}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 22532258322982327983216426390866560}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 22532263021719429802141845140746079}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 22532305310432801226706264998937967}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 22532685915289112283966883999217115}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 22536111880388697623763679851608071}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 22566987857032463834451506527497766}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 22848339956860787964854054060851865}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 25696504083440779881815469635549047}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 579000252913277034724666671128579290474420179812795955722564434314244}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1822284233764248491688153676911903438897112830041993324884}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 6372516557474480965096086648549180037473526732}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 22532257735650261092479326250257440}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 22532257735650261092479326250257440}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 22532257735650261092476787823448615}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 968436757951593294748644224470796025353998069504618815300565564}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 27431645849314822674310346842984264239824927330517052}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 863367640901878146106586653572944103625132}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 863484627284937764481064205878139210366114}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 864538943069138552511676711154541814415719}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 874144931325186817211219432057425130972844}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 971272145913779151648543133916499223550831}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1799787315645128446020777842252875062915823680883688820519}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 458822151435540947083027215668209714212639212255}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 458829825830614694507208675985348927473219992224}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 458898905900731169251640453462168700744950419564}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 459521479372151013421619020912701682398446141671}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 465194584054291700937291915911835671397280099947}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 522626014167796987333721908341359424390012284056}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 3381971801629792765898137708091713120248611218731740}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 3381978156688878904270955018877342333327277040547155}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 3382035353189134269682166730269567137303453179823183}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 3382550200150280447696747115666143735767189918424702}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 3387190186696751783945506913763216005853319578213670}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 3429471984539328898428416903283884291264986869610038}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 3857567937595016308705834953070576178084351138070085}, {"parameter": "", "name": "improved_johnson", "value": 22532257735650261092476787823448615}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 107771111565959055242656529612522042249001}], "known_codes": [], "upper_bound": 22532257735650261092476787823448615, "classified": false, "lower_bound": 22528399545018940854917023871959216, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 22528399544939174411840147874772641}, {"parameter": "", "name": "sphere_covering", "value": 50997958663000214170087679}, {"parameter": "", "name": "graham_sloane", "value": 1369850683318340116}, {"parameter": "", "name": "multicomponent", "value": 22528399545018940854917020385167444}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 22528399544939174411840147874772642}, {"parameter": "(6, 12)", "name": "CKMP2019_Lem_41", "value": 22528399544939174561934783171778405}, {"parameter": "(7, 11)", "name": "CKMP2019_Lem_41", "value": 30903154382632612362203071340011}, {"parameter": "(8, 10)", "name": "CKMP2019_Lem_41", "value": 42391158275216203514294964643}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 58149737003040059690390170}, {"parameter": "(10, 8)", "name": "CKMP2019_Lem_41", "value": 42391238041659280386804296563}, {"parameter": "(11, 7)", "name": "CKMP2019_Lem_41", "value": 30903154382742031351052154162739}, {"parameter": "(12, 6)", "name": "CKMP2019_Lem_41", "value": 22528399544940171490502425839933445}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Lem_41", "value": 22528399544939174561934783171771763}, {"parameter": "(6, 12)", "name": "CKMP2019_Cor_42", "value": 22528399544939174561934783171778405}, {"parameter": "(7, 11)", "name": "CKMP2019_Cor_42", "value": 30903154382632612362203071340011}, {"parameter": "(8, 10)", "name": "CKMP2019_Cor_42", "value": 42391158275216203514294964643}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 58149737003040059690390170}, {"parameter": "(10, 8)", "name": "CKMP2019_Cor_42", "value": 42391238041659280386804296563}, {"parameter": "(11, 7)", "name": "CKMP2019_Cor_42", "value": 30903154382742031351052154162739}, {"parameter": "(12, 6)", "name": "CKMP2019_Cor_42", "value": 22528399544940171490502425839933445}, {"parameter": "(6, 6, 6)", "name": "CKMP2019_Cor_42", "value": 22528399544939174561934783171771763}, {"parameter": "6", "name": "linkage_GLT", "value": 22528399544939174561934783171778405}, {"parameter": "7", "name": "linkage_GLT", "value": 30903154382632612362203071340011}, {"parameter": "8", "name": "linkage_GLT", "value": 42391158275216203514294964643}, {"parameter": "9", "name": "linkage_GLT", "value": 58149737003040059690390170}, {"parameter": "10", "name": "linkage_GLT", "value": 42391238041659280386804296563}, {"parameter": "11", "name": "linkage_GLT", "value": 30903154382742031351052154162739}, {"parameter": "12", "name": "linkage_GLT", "value": 22528399544940171490502425839933445}, {"parameter": "6", "name": "improved_linkage", "value": 22528399545018940854917023871959216}, {"parameter": "7", "name": "improved_linkage", "value": 30903154382742031351052154694909}, {"parameter": "8", "name": "improved_linkage", "value": 42391158275366298149591438965}, {"parameter": "9", "name": "improved_linkage", "value": 58149737003040342119926651}, {"parameter": "10", "name": "improved_linkage", "value": 42391238041659280386804828004}, {"parameter": "11", "name": "improved_linkage", "value": 30903154382742031351052154162739}, {"parameter": "12", "name": "improved_linkage", "value": 22528399544940171490502425839933445}, {"parameter": "13", "name": "improved_linkage", "value": 30903154382632762662729500433781}, {"parameter": "14", "name": "improved_linkage", "value": 42391158275218056820830604576}, {"parameter": "6,0", "name": "generalized_linkage", "value": 22528399544940171490502425884062893}, {"parameter": "6,1", "name": "generalized_linkage", "value": 22528399544939283830829279387664021}, {"parameter": "6,2", "name": "generalized_linkage", "value": 22528399545018940854917023871959216}, {"parameter": "7,0", "name": "generalized_linkage", "value": 30903154382632614238100052653455}, {"parameter": "7,1", "name": "generalized_linkage", "value": 30903154382632762456555938809293}, {"parameter": "7,2", "name": "generalized_linkage", "value": 30903154382742031351052154694909}, {"parameter": "8,0", "name": "generalized_linkage", "value": 42391158275216203517824802407}, {"parameter": "8,1", "name": "generalized_linkage", "value": 42391158275216203796723969683}, {"parameter": "8,2", "name": "generalized_linkage", "value": 42391158275366298149591438965}, {"parameter": "9,0", "name": "generalized_linkage", "value": 58149737003040059690396812}, {"parameter": "9,1", "name": "generalized_linkage", "value": 58149737003040059690921611}, {"parameter": "9,2", "name": "generalized_linkage", "value": 58149737003040342119926651}, {"parameter": "10,0", "name": "generalized_linkage", "value": 42391238041659280386804303205}, {"parameter": "10,1", "name": "generalized_linkage", "value": 42391238041659280386804296563}, {"parameter": "10,2", "name": "generalized_linkage", "value": 42391238041659280386804828004}, {"parameter": "11,0", "name": "generalized_linkage", "value": 30903154382742031351052154169381}, {"parameter": "11,1", "name": "generalized_linkage", "value": 30903154382742031351052154162739}, {"parameter": "11,2", "name": "generalized_linkage", "value": 30903154382742031351052154162739}, {"parameter": "12,0", "name": "generalized_linkage", "value": 22528399544940171490502425839940087}, {"parameter": "12,1", "name": "generalized_linkage", "value": 22528399544940171490502425839933445}, {"parameter": "12,2", "name": "generalized_linkage", "value": 22528399544940171490502425839933445}, {"parameter": "13,1", "name": "generalized_linkage", "value": 30903154382632762662729500433781}, {"parameter": "13,2", "name": "generalized_linkage", "value": 30903154382632762662729500433781}, {"parameter": "14,2", "name": "generalized_linkage", "value": 42391158275218056820830604576}, {"parameter": "[6, 12],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544940171490502425884062893}, {"parameter": "[6, 12],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939283830829279387664021}, {"parameter": "[6, 12],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399545018940854917023871959216}, {"parameter": "[7, 11],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632614238100052653455}, {"parameter": "[7, 11],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762456555938809293}, {"parameter": "[7, 11],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382742031351052154694909}, {"parameter": "[8, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203517824802407}, {"parameter": "[8, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203796723969683}, {"parameter": "[8, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275366298149591438965}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690396812}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690921611}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040342119926651}, {"parameter": "[10, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391238041659280386804303205}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391238041659280386804296563}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391238041659280386804828004}, {"parameter": "[11, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154382742031351052154169381}, {"parameter": "[11, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382742031351052154162739}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382742031351052154162739}, {"parameter": "[12, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544940171490502425839940087}, {"parameter": "[12, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544940171490502425839933445}, {"parameter": "[12, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544940171490502425839933445}, {"parameter": "[13, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762662729500433781}, {"parameter": "[13, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632762662729500433781}, {"parameter": "[14, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275218056820830604576}, {"parameter": "[6, 4, 8],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391238041659280386804841288}, {"parameter": "[6, 4, 8],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391238041659280386804303205}, {"parameter": "[6, 4, 8],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391238041659280390334665768}, {"parameter": "[6, 5, 7],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154382742031351052159012128}, {"parameter": "[6, 5, 7],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382742031351052154169381}, {"parameter": "[6, 5, 7],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382742031351052154169381}, {"parameter": "[6, 5, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 30903154382742031351052159012128}, {"parameter": "[6, 5, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382742031351052154169381}, {"parameter": "[6, 5, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382742031351052154169381}, {"parameter": "[6, 6, 6],[0, 0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544940171490502425884062893}, {"parameter": "[6, 6, 6],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544940171490502425839940087}, {"parameter": "[6, 6, 6],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544940171490502425839940087}, {"parameter": "[6, 6, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174561934783215901211}, {"parameter": "[6, 6, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174561934783171778405}, {"parameter": "[6, 6, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174561934783171778405}, {"parameter": "[6, 6, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174561934783215901211}, {"parameter": "[6, 6, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174561934783171778405}, {"parameter": "[6, 6, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22528399544939174561934783171778405}, {"parameter": "[6, 7, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632614238100052653455}, {"parameter": "[6, 7, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632614238100052653455}, {"parameter": "[6, 7, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612362203071346653}, {"parameter": "[6, 7, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612362203071346653}, {"parameter": "[6, 7, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612362203071346653}, {"parameter": "[6, 7, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 30903154382632612362203071346653}, {"parameter": "[6, 8, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203517824802407}, {"parameter": "[6, 8, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203514294971285}, {"parameter": "[6, 8, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203796724507766}, {"parameter": "[7, 4, 7],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 58149846422029191203294104}, {"parameter": "[7, 4, 7],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 58149846422029191202756021}, {"parameter": "[7, 4, 7],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149846422029191202756021}, {"parameter": "[7, 5, 6],[0, 1, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158275366298149596281712}, {"parameter": "[7, 5, 6],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275366298149591438965}, {"parameter": "[7, 5, 6],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275366298149591438965}, {"parameter": "[7, 5, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 42391158275366298149596281712}, {"parameter": "[7, 5, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275366298149591438965}, {"parameter": "[7, 5, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275366298149591438965}, {"parameter": "[7, 6, 5],[0, 0, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275218079693705283127}, {"parameter": "[7, 6, 5],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275218079693705283127}, {"parameter": "[7, 6, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203796723976325}, {"parameter": "[7, 6, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203796723976325}, {"parameter": "[7, 6, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203796723976325}, {"parameter": "[7, 6, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 42391158275216203796723976325}, {"parameter": "[7, 7, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040063220759375}, {"parameter": "[7, 7, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690928253}, {"parameter": "[7, 7, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 58149737003040059690928253}, {"parameter": "[8, 4, 6],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 79766593171507807407208}, {"parameter": "[8, 4, 6],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766593171507806869125}, {"parameter": "[8, 4, 6],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766593171507806869125}, {"parameter": "[8, 5, 5],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939406485}, {"parameter": "[8, 5, 5],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939406485}, {"parameter": "[8, 5, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939406485}, {"parameter": "[8, 5, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766443077154939406485}, {"parameter": "[8, 6, 4],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766443076876040232567}, {"parameter": "[8, 6, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872510401445}, {"parameter": "[8, 6, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 79766443076872510401445}, {"parameter": "[9, 4, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 150094917726542245}, {"parameter": "[9, 4, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094917726542245}, {"parameter": "[9, 5, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094635297537205}, {"parameter": "[9, 5, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094635297537205}, {"parameter": "[10, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094917727073686}, {"parameter": "[6, 4, 4, 4],[0, 2, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 150094921257442891}, {"parameter": "", "name": "JohnsonLB", "value": 22528394834810493728466159433174784}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 58149738353894320095518475}], "request": [9, 18, 8, 6], "liftedmrdsizebound": 22528399545020061202759649088084856, "comments": "", "equal_bound_constraints": []}