{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 2207498667862417763177484010791369279003449860843419129261743334890182948865169033}, {"parameter": "", "name": "singleton", "value": 1914699752773601179916275049971104096031183830202122303905453705}, {"parameter": "7", "name": "ilp_2", "value": 1649184858796900175517010098845798323740831757686612565111388322}, {"parameter": "8", "name": "ilp_2", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "10", "name": "ilp_3", "value": 14391253413099961127473366635863624130271163914515727962691272894779735744}, {"parameter": "11", "name": "ilp_3", "value": 105547831059764765912036744874371805354190889276643487499816538751}, {"parameter": "", "name": "anticode", "value": 1649184858796900175517010098845798323740831757686612565111388322}, {"parameter": "", "name": "linear_programming_bound", "value": 1649184858796900175517010098845798323740831757686612565111388322}, {"parameter": "", "name": "sphere_packing", "value": 93820294963440004101360795185256649345354211875693558051992396074}, {"parameter": "1", "name": "ilp_1", "value": 1649184848045438544678925719295706239824608628779661597480733997}, {"parameter": "2", "name": "ilp_1", "value": 1649184848045438544678925719295706239824608628779661598439708974}, {"parameter": "3", "name": "ilp_1", "value": 1649184848045438544678925719295706239824608629646893620191683909}, {"parameter": "4", "name": "ilp_1", "value": 1649184848045438544678925719295706259457913966191550264468869192}, {"parameter": "5", "name": "ilp_1", "value": 1649184848045438544678925719295706259457913966191550264468869192}, {"parameter": "6", "name": "ilp_1", "value": 1649184848045438554516299059114903287216611694750856351970985071}, {"parameter": "12", "name": "ilp_4", "value": 105547831059764765912036744874371805354190889276643487499816538751}, {"parameter": "13", "name": "ilp_4", "value": 105547831059764765912036744874371805354190889276643487499816538751}, {"parameter": "14", "name": "ilp_4", "value": 105547831059764765912035742994971958608252995032916221860311284526}, {"parameter": "15", "name": "ilp_4", "value": 105547831059764765912035742994967059830380261044898020380918195072}, {"parameter": "16", "name": "ilp_4", "value": 105547831059764765912035742994967059830341939684093935326701876420}, {"parameter": "17", "name": "ilp_4", "value": 105547831059764765912035742994967059830341939684078635055499219519}, {"parameter": "18", "name": "ilp_4", "value": 105547831059764765912035742994967059830378207461132794744876601919}, {"parameter": "", "name": "johnson_1", "value": 1649184848045438544678925719295706239824608628779661597480733997}, {"parameter": "", "name": "johnson_2", "value": 105547831059764765912035742994967059830378207461132794744876601919}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 2207498667862417763177484010791369279003449860843419129261743334890182948865169033}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 14391253413099961127473366635863624130271163914515727962691272894779735744}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 105547831059764765912036744874371805354190889276643487499816538751}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 105547831059764765912036744874371805354190889276643487499816538751}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 105547831059764765912036744874371805354190889276643487499816538751}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 105547831059764765912035742994971958608252995032916221860311284526}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 105547831059764765912035742994967059830380261044898020380918195072}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 105547831059764765912035742994967059830341939684093935326701876420}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 105547831059764765912035742994967059830341939684078635055499219519}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 105547831059764765912035742994967059830378207461132794744876601919}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 93820294963440004101360795185256649345354211875693558051992396074}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 93820295575078687354720957647537455657303032050316252884655424451}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 93820300468186143716446711243459074966558171802594544872337352815}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 93820339613082542778592168200403089840981124983928846160860544016}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 93820652773429681393200215322528634102222894236318623908088590283}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 93823158131469634180225369821017201243002102576664123858616659403}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 93843205813785235815414556438269829631488560382903115442539634547}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 94003896226302192538303977495115349175133065924311513241530083509}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 11913687529351909454787595796302682480771703258882832982237451382}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 1675362383731318531236030375425130228897301064847913389063742017}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 1649184858796900175517010098845798323740831757686612565111388322}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 1649184860308823836551563555704217561928891122783677306359060986}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 1649184872404213214769612419556381098799575511825987593424448765}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 1649184969167333996778103721553561434264905172372626123235319933}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 1649185743272668653924083526636921572722249025081968167354448666}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 1649191936138923670007094917260417368795967125908083706687811482}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 1649241480577986409693422523827598339540130080316293977691902917}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 1649637932691513899888441096849422799472873193517319749853164338}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 1652815744161169599565401165456425510537162887690758376588398659}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 1678640979198777721988513135020913735712831086878894404674915855}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 1914699752773601179916275049971104096031183830202122303905453705}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 2207498667862417763177484010791369279003449860843419129261743334890182948865169033}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1798906675171553042881882414037998226362064859395148088716360674350015041}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1649184858796900175517010098845798323740831757686612565111388322}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 1649184848045438554516299059114903287216611694750856351970985071}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 1649184848045438544678925719295706259457913966191550264468869192}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 1649184848045438544678925719295706259457913966191550264468869192}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 1649184848045438544678925719295706239824608629646893620191683909}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 1649184848045438544678925719295706239824608604568308378198187990}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 1649184848045438544678925719295706239824608604568308377239297685}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 14391253413099961127473366635863624130271163914515727962691272894779735744}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 93820294963440004101360795185256649345354211875693558051992396074}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 93820294963440008088791370168662550464445703385541474599714016779}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 93820334108335896761509791847268590478229815108845589104742510121}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 93820647268678952299033302874322481567783251916971478349817746646}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 93823152626686242922793257441262333445547351817581789530325671274}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 93843200308740704362026607866985735720231456923552552486542585459}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 94003890719178641743971913952459517224796040459020898897343051382}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 95309500303853856655166777892946107112067467024244444025801338436}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 107223187753071699611430532672104706297916360232376487550181846839}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 105547831059764765912036744874371805354190889276643487499816538751}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 105547831833869968727155193332207289844179363038571306391239263698}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 105547838026711959649287093500197112113530125333328205982873225968}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 105547887569471464713378267007957182918913169616546827753303967381}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 105548283913056482951297400059957380584782068918612143159923108153}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 105551454758314149859127826241536745589192100605484896927244786723}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 105576827702845853085889608720259712601833939891330329807792222888}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 105780207711335082044468184004899738413239852965094258457761617651}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 107433023369105415493681773255581826401188734616963839968733485421}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 122540791367385816847328484466902844685204927676575001337492657801}, {"parameter": "", "name": "improved_johnson", "value": 1649184848045438544678925719295706239824608628779661597480733965}], "known_codes": [], "upper_bound": 1649184848045438544678925719295706239824608604568308377239297685, "classified": false, "lower_bound": 1645504569581170369082080049424126722185209334583492840817426432, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1645504557321206042154969182557350504982735865633579863348609024}, {"parameter": "", "name": "sphere_covering", "value": 322981897892878362412888433526612330784258140506477}, {"parameter": "", "name": "graham_sloane", "value": 744010362660453612781973648426334183004739582478}, {"parameter": "", "name": "multicomponent", "value": 1645504557321206042155012738700316385106059177601345528189157377}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1645504557349059833659864921652497413392024700464278244956307456}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1645504569581170369082080049424126722185209334583492840817426432}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 784637723721919791138381634635235733830468771226268467199}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 1645504557321212840739664841465307239260172405674403401257975808}, {"parameter": "(10,),(6,),(4,)", "name": "CKMP2019_Cor_45", "value": 1645504557321212840739664841465307239260172405674403401257975808}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 1645504557321212840739664841465307240498107722593300806511886336}, {"parameter": "(10,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 1645504557321212840739664841465307240498107722593300806511886336}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 1645504557321212840739664841465307239262585534947149789962174464}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 1645504557321212840739664841465307239279510496421754598408060928}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1645504557321212840739664841465307239260167683452035719688617984}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 1645504557321212840739664841465307239260167684460842036219609088}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 784665570714839991218568824809367590848778050444218859520}, {"parameter": "(9,),(6,),(4,)", "name": "CKMP2019_Cor_45", "value": 784665570714839991218568824809367590847769244127687868416}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 784665570714839991218568824809386933660738963006407311360}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 784665570714839991218568824809370008699264358197961424896}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 784665570714839991218568824810605530886910509214511136768}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 784665570714839991218568824810605530886910509214511136768}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 784665570714839991218568824809367595569991611809257226240}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 784665570714839991218568824809367595569991611809257226240}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 1645504557321212840739664841465307239260167683307920531612762112}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 784665570714839991218568824809367590847625128939612012544}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 1645504557321212840739664841465307239260167683307920531612762112}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 784665570714839991218568824809367590847625128939612012544}, {"parameter": "9", "name": "linkage_GLT", "value": 1645504557321206042154969182557350504982735865633579863348609025}, {"parameter": "10", "name": "linkage_GLT", "value": 784637716923335095479473677900958302012794430558004314113}, {"parameter": "9", "name": "improved_linkage", "value": 1645504557321206042155012738700640903659717604310114285700251648}, {"parameter": "10", "name": "improved_linkage", "value": 784637716923335095479474002419514383013547875611209517432}, {"parameter": "11", "name": "improved_linkage", "value": 5846006549323611672814741748716791611068682150464}, {"parameter": "12", "name": "improved_linkage", "value": 5857446875166600848366470477650968453809896198145}, {"parameter": "13", "name": "improved_linkage", "value": 5846028862416009380802518068413595293085511975425}, {"parameter": "14", "name": "improved_linkage", "value": 5846006598413704681406961997995351689835703173121}, {"parameter": "15", "name": "improved_linkage", "value": 5846006592964825607822588140388819373906596986881}, {"parameter": "16", "name": "improved_linkage", "value": 5846006592879754638694862654177081829890061238273}, {"parameter": "9,0", "name": "generalized_linkage", "value": 1645504557321212840739664841465307239260167683307920531612762112}, {"parameter": "9,1", "name": "generalized_linkage", "value": 1645504557321206042154969281513519930900740997029796136835874816}, {"parameter": "9,2", "name": "generalized_linkage", "value": 1645504557321206042154969182751002501382181658259536764452381184}, {"parameter": "9,3", "name": "generalized_linkage", "value": 1645504557321206042154969182557727903914060479480266419977177464}, {"parameter": "9,4", "name": "generalized_linkage", "value": 1645504557321206042154969182557351240650371053272943177105167424}, {"parameter": "9,5", "name": "generalized_linkage", "value": 1645504557321206042154969182557675023538816866387024916553812344}, {"parameter": "9,6", "name": "generalized_linkage", "value": 1645504557321206042155012738700640903659717604310114285700251648}, {"parameter": "10,0", "name": "generalized_linkage", "value": 784665570714839991218568824809367590847625128939612012544}, {"parameter": "10,1", "name": "generalized_linkage", "value": 784637716923338338866882735329122345184001202059260723200}, {"parameter": "10,2", "name": "generalized_linkage", "value": 784637716923335095479473683800645636162086444365034463744}, {"parameter": "10,3", "name": "generalized_linkage", "value": 784637716923335095479473677902401128086910712741208303992}, {"parameter": "10,4", "name": "generalized_linkage", "value": 784637716923335095479473677900958340391409973608388563457}, {"parameter": "10,5", "name": "generalized_linkage", "value": 784637716923335095479473677900960719864453963002956292672}, {"parameter": "10,6", "name": "generalized_linkage", "value": 784637716923335095479474002419514383013547875611209517432}, {"parameter": "11,1", "name": "generalized_linkage", "value": 5847667214344150666999949899543770391366273335296}, {"parameter": "11,2", "name": "generalized_linkage", "value": 5846006549323635838671343690792448204052245684736}, {"parameter": "11,3", "name": "generalized_linkage", "value": 5846006549323611672814739336358494183142224902520}, {"parameter": "11,4", "name": "generalized_linkage", "value": 5846006549323611672814739330865132365125180228609}, {"parameter": "11,5", "name": "generalized_linkage", "value": 5846006549323611672814739330865150093090997178369}, {"parameter": "11,6", "name": "generalized_linkage", "value": 5846006549323611672814741748716791611068682150464}, {"parameter": "12,2", "name": "generalized_linkage", "value": 5857446875168147469087444603363824638932220289536}, {"parameter": "12,3", "name": "generalized_linkage", "value": 5857446875166600848366473290263056261007873751416}, {"parameter": "12,4", "name": "generalized_linkage", "value": 5857446875166600848366470477650950439342631322113}, {"parameter": "12,5", "name": "generalized_linkage", "value": 5857446875166600848366470477650950439342763672065}, {"parameter": "12,6", "name": "generalized_linkage", "value": 5857446875166600848366470477650968453809896198145}, {"parameter": "13,3", "name": "generalized_linkage", "value": 5846028862416009380802540569310588555560703048056}, {"parameter": "13,4", "name": "generalized_linkage", "value": 5846028862416009380802518068413595293085379625473}, {"parameter": "13,5", "name": "generalized_linkage", "value": 5846028862416009380802518068413595293085377495041}, {"parameter": "13,6", "name": "generalized_linkage", "value": 5846028862416009380802518068413595293085511975425}, {"parameter": "14,4", "name": "generalized_linkage", "value": 5846006598413704681406961997995351689835720216641}, {"parameter": "14,5", "name": "generalized_linkage", "value": 5846006598413704681406961997995351689835703173121}, {"parameter": "14,6", "name": "generalized_linkage", "value": 5846006598413704681406961997995351689835703173121}, {"parameter": "15,5", "name": "generalized_linkage", "value": 5846006592964825607822588140388819373906596986881}, {"parameter": "15,6", "name": "generalized_linkage", "value": 5846006592964825607822588140388819373906596986881}, {"parameter": "16,6", "name": "generalized_linkage", "value": 5846006592879754638694862654177081829890061238273}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321212840739664841465307239260167683307920531612762112}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321206042154969281513519930900740997029796136835874816}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321206042154969182751002501382181658259536764452381184}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321206042154969182557727903914060479480266419977177464}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321206042154969182557351240650371053272943177105167424}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321206042154969182557675023538816866387024916553812344}, {"parameter": "[9, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 1645504557321206042155012738700640903659717604310114285700251648}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 784665570714839991218568824809367590847625128939612012544}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 784637716923338338866882735329122345184001202059260723200}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 784637716923335095479473683800645636162086444365034463744}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 784637716923335095479473677902401128086910712741208303992}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 784637716923335095479473677900958340391409973608388563457}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 784637716923335095479473677900960719864453963002956292672}, {"parameter": "[10, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 784637716923335095479474002419514383013547875611209517432}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 5847667214344150666999949899543770391366273335296}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323635838671343690792448204052245684736}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323611672814739336358494183142224902520}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323611672814739330865132365125180228609}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323611672814739330865150093090997178369}, {"parameter": "[11, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5846006549323611672814741748716791611068682150464}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 5857446875168147469087444603363824638932220289536}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5857446875166600848366473290263056261007873751416}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5857446875166600848366470477650950439342631322113}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5857446875166600848366470477650950439342763672065}, {"parameter": "[12, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5857446875166600848366470477650968453809896198145}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 5846028862416009380802540569310588555560703048056}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846028862416009380802518068413595293085379625473}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5846028862416009380802518068413595293085377495041}, {"parameter": "[13, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5846028862416009380802518068413595293085511975425}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 5846006598413704681406961997995351689835720216641}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5846006598413704681406961997995351689835703173121}, {"parameter": "[14, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5846006598413704681406961997995351689835703173121}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 5846006592964825607822588140388819373906596986881}, {"parameter": "[15, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5846006592964825607822588140388819373906596986881}, {"parameter": "[16, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 5846006592879754638694862654177081829890061238273}, {"parameter": "[9, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 12644591288538662595429140085994756170558325391360}, {"parameter": "[9, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 12644591288538662595429140085994756170558325391360}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519954067570421109533202448014901248}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519954067570421109533202448014901248}, {"parameter": "[9, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519954067570421109533202448014901248}, {"parameter": "[9, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519954067570421109533202448014901248}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519630284684391692896710975943606272}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519630284684391692896710975943606272}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519629549019180534445648550343737344}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519629549019180534445648550343737344}, {"parameter": "[9, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519629549019180534445648550343737344}, {"parameter": "[9, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519629549019180534445648550343737344}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982520006946507633028700311450588020736}, {"parameter": "[9, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982520006946507633028700311450588020736}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519629549016768163957381779530186752}, {"parameter": "[9, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519629549016768163957381779530186752}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519629549016762682824433690503806976}, {"parameter": "[9, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519629549016762682824433690503806976}, {"parameter": "[9, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519629549019185266053517855353208832}, {"parameter": "[9, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519629549019185266053517855353208832}, {"parameter": "[9, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982712903318863553311383331003632189440}, {"parameter": "[9, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519629549019574513229225628679536640}, {"parameter": "[9, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519629549016762682806460129751334912}, {"parameter": "[9, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519629549016762682824468943729590272}, {"parameter": "[9, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 12644591244982519629549019180543674127269087936512}, {"parameter": "[10, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 27853791504939295238437307086270573507232803959341056}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 27853791504939295238112788535029998419678906288177152}, {"parameter": "[10, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 27853791504939295238112788535029998419678906288177152}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 27853791504939295238112788532650525249509399170383872}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 27853791504939295238112788532612146798464046448246784}, {"parameter": "[10, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 27853791504939295238112788532612146798464046448246784}, {"parameter": "[10, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 27853791504939295238112789972620201241678342640369664}, {"parameter": "[10, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 27853791504939295238112788532612146780735589815681024}, {"parameter": "[10, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 27853791504939295238112788532612146780449648072982528}, {"parameter": "[10, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 27853791504939295238112788532612146798499299674030080}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 3213876112463223763052640476253022713485799456093593864765440}], "request": [8, 19, 6, 9], "liftedmrdsizebound": 1645504571614677857952124309675399484129092650690911683599699969, "comments": "", "equal_bound_constraints": []}