{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 13683724173517586537843062217540223464981705729828207270226321609406882235342}, {"parameter": "", "name": "singleton", "value": 607103165780393916662042480418363450775178254934200}, {"parameter": "6", "name": "ilp_2", "value": 508268815853654995342908677236025319036448215760102}, {"parameter": "7", "name": "ilp_2", "value": 143993165462836481336002808090727931152637137631756383060071}, {"parameter": "8", "name": "ilp_2", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "10", "name": "ilp_3", "value": 290653236424826571803057141860589996861920568626137620459254998712104}, {"parameter": "11", "name": "ilp_3", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "12", "name": "ilp_3", "value": 174336204453177705031744800404702901452809419500220008}, {"parameter": "", "name": "anticode", "value": 508268815853654995342908677236025319036448215760102}, {"parameter": "", "name": "linear_programming_bound", "value": 508268815853654995342908677236025319036448215760102}, {"parameter": "", "name": "sphere_packing", "value": 6173707140496789605410811742574515386483937410725151138259271}, {"parameter": "1", "name": "ilp_1", "value": 508268767255756324525055224054432063132888015994445}, {"parameter": "2", "name": "ilp_1", "value": 508268767255756324525055224054432063132888190183600}, {"parameter": "3", "name": "ilp_1", "value": 508268767255756324525055224054432122855164785523154}, {"parameter": "4", "name": "ilp_1", "value": 508268767255756324525055601982043847898300911106855}, {"parameter": "5", "name": "ilp_1", "value": 508268767255756324525055601982043847898300911106855}, {"parameter": "13", "name": "ilp_4", "value": 174336178531895705882021554883585935260498134091337046}, {"parameter": "14", "name": "ilp_4", "value": 174336178531894404327442206942549100352346237206033573}, {"parameter": "15", "name": "ilp_4", "value": 174336178531894404327401791115478490347196732074824721}, {"parameter": "16", "name": "ilp_4", "value": 174336178531894404327401791114440746409164859646462818}, {"parameter": "17", "name": "ilp_4", "value": 174336178531894404327401791114440746407874833340602388}, {"parameter": "18", "name": "ilp_4", "value": 174336178531894404327401791115426432042226941856543503}, {"parameter": "", "name": "johnson_1", "value": 508268767255756324525055224054432063132888015994445}, {"parameter": "", "name": "johnson_2", "value": 174336178531894404327401791115426432042226941856543503}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 13683724173517586537843062217540223464981705729828207270226321609406882235342}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 290653236424826571803057141860589996861920568626137620459254998712104}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 174336204453177705031744800404702901452809419500220008}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 174336178531895705882021554883585935260498134091337046}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 174336178531894404327442206942549100352346237206033573}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 174336178531894404327401791115478490347196732074824721}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 174336178531894404327401791114440746409164859646462818}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 174336178531894404327401791114440746407874833340602388}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 174336178531894404327401791115426432042226941856543503}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 6173707140496789605410811742574515386483937410725151138259271}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1049075808009556338976210623171027141244511350515018243}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1049071583749252638420466632822518501458416262961735545}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1049072675623232281643000957962321385177414332752201749}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 1049080318804729920395193621097394792755953972880417687}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 1049133824193765076976120017268601667574314212649401907}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 1049508514789528534074288791220320663284934931063773177}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 1052138861552151219260891673444663603274881174782558002}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 21855744860340123829018861219975306291679868346197822}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 509754958516814311961475336900927930969351347387025}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 143993165462836481336002808090727931152637137631756383060071}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 149867991217930664506524991731234113196816268264199103}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 149866902978600090704829354121842551137503079240227232}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 149866928443621391896316844936457621717446656637153202}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 149867106708077726808997315898138868607442175242991983}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 149868354569847808198463899705326943680745501142642909}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 149877090120479232625875446447872415304214004980500477}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 149938264379277415450562014080595848965103463519596834}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 21481257973364773438040944328185399828277793247947789}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 3131378114507688396409593050535950763203178931799009}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 520374774233877319463352073862946535947722412335800}, {"parameter": "3, 6", "name": "Ahlswede_Aydinian", "value": 508268815853654995342908677236025319036448215760102}, {"parameter": "3, 7", "name": "Ahlswede_Aydinian", "value": 508268817647735340118992264816160256666662579376644}, {"parameter": "3, 8", "name": "Ahlswede_Aydinian", "value": 508268830206298064632312637691872870683473472958367}, {"parameter": "3, 9", "name": "Ahlswede_Aydinian", "value": 508268918116252379184226942274219441363518562706725}, {"parameter": "3, 10", "name": "Ahlswede_Aydinian", "value": 508269533486679486929420694043760812980488585386279}, {"parameter": "3, 11", "name": "Ahlswede_Aydinian", "value": 508273841116267940416351159712262911210198643692271}, {"parameter": "3, 12", "name": "Ahlswede_Aydinian", "value": 508303996316830079933074071484300681755707931237975}, {"parameter": "3, 13", "name": "Ahlswede_Aydinian", "value": 508515170636083987498798315127339842988220260210748}, {"parameter": "3, 14", "name": "Ahlswede_Aydinian", "value": 509997711316687772975702772714473662936773487739849}, {"parameter": "3, 15", "name": "Ahlswede_Aydinian", "value": 520591608081252407113960004908502756954887754492520}, {"parameter": "3, 16", "name": "Ahlswede_Aydinian", "value": 607103165780393916662042480418363450775178254934200}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 13683724173517586537843062217540223464981705729828207270226321609406882235342}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 143993165462836481336002808090727931152637137631756383060071}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 508268815853654995342908677236025319036448215760102}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 508268767255756324525055601982043847898300911106855}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 508268767255756324525055601982043847898300911106855}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 508268767255756324525055224054432122855164785523154}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 508268767255756324525055224054430467287245865609960}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 508268767255756324525055224054430467287245691467845}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 290653236424826571803057141860589996861920568626137620459254998712104}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 6173707140496789605410811742574515386483937410725151138259271}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 149867991217930664506524991731234113196816268264199103}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 149868147200595128781481508008580337933296671554090657}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 149869239088337866795647913098738975695431105725550336}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 149876882748046379370644680944193394574050717316741468}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 149930410205033241931615319848303399163948362139579375}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 150306175636138704863758712644049073130724356444997539}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 152990214428585177169611336521691892009992778404269055}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 174845958805348756617056698786957283188549007279086752}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 1049075808009556338976210623171027141244511350515018243}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 1049075986275228147683867103727379226010466362938111226}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 1049077234136256086834543064796003691710057704622635794}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 1049085969238781104474754837800749522586423470171878829}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 1049147118584174915142284545522300236600969879476181299}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 1049575341834182324683639840200093735258123784183117278}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 1052581643832793833099979817947907475775945498923809753}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 1074062898601531769077051355338954144734294295157434980}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 178488551895065667735607691920376642777813252133274588}, {"parameter": "3, 7, o", "name": "Ahlswede_Aydinian", "value": 174336204453177705031744800404702901452809419500220008}, {"parameter": "3, 8, o", "name": "Ahlswede_Aydinian", "value": 174336208760791619771504753210014502165953173688754632}, {"parameter": "3, 9, o", "name": "Ahlswede_Aydinian", "value": 174336238914094251353867426085908855711180995315864927}, {"parameter": "3, 10, o", "name": "Ahlswede_Aydinian", "value": 174336449987468864539579697461928864229852714437376380}, {"parameter": "3, 11, o", "name": "Ahlswede_Aydinian", "value": 174337927513644676885753070024404154871321848345726377}, {"parameter": "3, 12, o", "name": "Ahlswede_Aydinian", "value": 174348270812034444712003975839115451143665068938128674}, {"parameter": "3, 13, o", "name": "Ahlswede_Aydinian", "value": 174420704056116543789808753445547995987485583610892071}, {"parameter": "3, 14, o", "name": "Ahlswede_Aydinian", "value": 174929218697265354417760712310137258480500897419824986}, {"parameter": "3, 15, o", "name": "Ahlswede_Aydinian", "value": 178562948595742836662061125300653758785255430463246297}, {"parameter": "3, 16, o", "name": "Ahlswede_Aydinian", "value": 208236637980093164825596972398144064919402131047044800}, {"parameter": "", "name": "improved_johnson", "value": 508268767255756324525055224054432063132888015994417}], "known_codes": [], "upper_bound": 508268767255756324525055224054430467287245691467845, "classified": false, "lower_bound": 508021860739638638374792724238783200605413176246272, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 508021860739623365322188197652216501772434524836001}, {"parameter": "", "name": "sphere_covering", "value": 261312267971047686824947089609240704}, {"parameter": "", "name": "graham_sloane", "value": 55432859342115234154187756252}, {"parameter": "", "name": "multicomponent", "value": 508021860739623365322188197717928864135968804975545}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 508021860739623372930066473309585332631562356191202}, {"parameter": "", "name": "two_pivot_block_construction", "value": 508021860739638638374792724238783200605413176246272}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 4318114567396591817623016095285299264536325745}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 508021860739623365477441785375214159135877806524899}, {"parameter": "(10,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 508021860739623365477441785376555147963275473813705}, {"parameter": "(10,),(5,),(2,)", "name": "CKMP2019_Cor_45", "value": 508021860739623365477441785375214159135877806524899}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 508021860739623365477441785375214079376844439482499}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 508021860739623365477441785375214637889475592196905}, {"parameter": "(10,),(4,),(1,)", "name": "CKMP2019_Cor_45", "value": 508021860739623365477441785375214079576242022900105}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 4318114567404044442310950466538819845897591257}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 4318114567404044442310950467097133079466888057}, {"parameter": "(9,),(5,),(2,)", "name": "CKMP2019_Cor_45", "value": 4318114567404044442310950466538620448314173651}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 4318114567404044442310950466618379481681216051}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 4318114567404044442310951807607206879348504857}, {"parameter": "(9,),(4,),(1,)", "name": "CKMP2019_Cor_45", "value": 4318114567404044442310950466618379481681216051}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 508021860739623365477441785375214079343611508912898}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 4318114567404044442310950466538587215383604050}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 508021860739623365477441785375214079343611508912898}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 4318114567404044442310950466538587215383604050}, {"parameter": "9", "name": "linkage_GLT", "value": 508021860739623365322188197652216501772434524836002}, {"parameter": "10", "name": "linkage_GLT", "value": 4318114567396436564035293097707728087552248850}, {"parameter": "9", "name": "improved_linkage", "value": 508021860739623365322188197717928864136647350894400}, {"parameter": "10", "name": "improved_linkage", "value": 4318114567396436564035293097709356501432634891}, {"parameter": "11", "name": "improved_linkage", "value": 107006904423598033356356300384978155222}, {"parameter": "12", "name": "improved_linkage", "value": 2651730845859653471779023381602}, {"parameter": "13", "name": "improved_linkage", "value": 2652835339246259755959608820346}, {"parameter": "14", "name": "improved_linkage", "value": 2651731305846750190796665552859}, {"parameter": "15", "name": "improved_linkage", "value": 2651730845887035247119992295194}, {"parameter": "9,0", "name": "generalized_linkage", "value": 508021860739623365477441785375214079343611508912898}, {"parameter": "9,1", "name": "generalized_linkage", "value": 508021860739623365322188197653818903554238261695814}, {"parameter": "9,2", "name": "generalized_linkage", "value": 508021860739623365322188197652216501772434530620052}, {"parameter": "9,3", "name": "generalized_linkage", "value": 508021860739623365322188197652216501772533472723166}, {"parameter": "9,4", "name": "generalized_linkage", "value": 508021860739623365322188197652216503400848405222043}, {"parameter": "9,5", "name": "generalized_linkage", "value": 508021860739623365322188197717928864136647350894400}, {"parameter": "10,0", "name": "generalized_linkage", "value": 4318114567404044442310950466538587215383604050}, {"parameter": "10,1", "name": "generalized_linkage", "value": 4318114567396436564039140693218653112339142262}, {"parameter": "10,2", "name": "generalized_linkage", "value": 4318114567396436564035293097707728087834864148}, {"parameter": "10,3", "name": "generalized_linkage", "value": 4318114567396436564035293097707728087552266000}, {"parameter": "10,4", "name": "generalized_linkage", "value": 4318114567396436564035293097707728087592619264}, {"parameter": "10,5", "name": "generalized_linkage", "value": 4318114567396436564035293097709356501432634891}, {"parameter": "11,1", "name": "generalized_linkage", "value": 107006904423624966525504857594077504904}, {"parameter": "11,2", "name": "generalized_linkage", "value": 107006904423598033356356300398792385554}, {"parameter": "11,3", "name": "generalized_linkage", "value": 107006904423598033356356300384937904907}, {"parameter": "11,4", "name": "generalized_linkage", "value": 107006904423598033356356300384937784808}, {"parameter": "11,5", "name": "generalized_linkage", "value": 107006904423598033356356300384978155222}, {"parameter": "12,2", "name": "generalized_linkage", "value": 2651730845859653471792877982348}, {"parameter": "12,3", "name": "generalized_linkage", "value": 2651730845859653471779024222295}, {"parameter": "12,4", "name": "generalized_linkage", "value": 2651730845859653471779023381602}, {"parameter": "12,5", "name": "generalized_linkage", "value": 2651730845859653471779023381602}, {"parameter": "13,3", "name": "generalized_linkage", "value": 2652835339246259755959609661039}, {"parameter": "13,4", "name": "generalized_linkage", "value": 2652835339246259755959608820346}, {"parameter": "13,5", "name": "generalized_linkage", "value": 2652835339246259755959608820346}, {"parameter": "14,4", "name": "generalized_linkage", "value": 2651731305846750190796665552859}, {"parameter": "14,5", "name": "generalized_linkage", "value": 2651731305846750190796665552859}, {"parameter": "15,5", "name": "generalized_linkage", "value": 2651730845887035247119992295194}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 508021860739623365477441785375214079343611508912898}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 508021860739623365322188197653818903554238261695814}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 508021860739623365322188197652216501772434530620052}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 508021860739623365322188197652216501772533472723166}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 508021860739623365322188197652216503400848405222043}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 508021860739623365322188197717928864136647350894400}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 4318114567404044442310950466538587215383604050}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396436564039140693218653112339142262}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396436564035293097707728087834864148}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396436564035293097707728087552266000}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396436564035293097707728087592619264}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396436564035293097709356501432634891}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 107006904423624966525504857594077504904}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 107006904423598033356356300398792385554}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 107006904423598033356356300384937904907}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 107006904423598033356356300384937784808}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 107006904423598033356356300384978155222}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471792877982348}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471779024222295}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471779023381602}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 2651730845859653471779023381602}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 2652835339246259755959609661039}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2652835339246259755959608820346}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 2652835339246259755959608820346}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 2651731305846750190796665552859}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 2651731305846750190796665552859}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 2651730845887035247119992295194}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 157905318634569593406490287598041}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 157905318634569593406490287598041}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 157905318568857232671369605368947}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 157905318568857232671369605368947}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 157905318568857232671369605368947}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 157905318568857232671369605368947}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 157905318568857231043054914149255}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 157905318568857231042956047812105}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 157905318568857231042956047812105}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 7607878275723081194851075709405193}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 7607878275723081193222662151848351}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 7607878275723081193222662151848351}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 211587613802431752490973019293145632921735921664}], "request": [7, 19, 8, 9], "liftedmrdsizebound": 508021860739641640869137946504036764949585747806006, "comments": "", "equal_bound_constraints": []}