{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 13683724173517586537843062217540223464981705729828207270226321609406882235342}, {"parameter": "", "name": "singleton", "value": 171491826159143031020360524101727238074282639984054670660600}, {"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": "", "name": "anticode", "value": 143993165462836481336002808090727931152637137631756383060071}, {"parameter": "", "name": "linear_programming_bound", "value": 143993165462836481336002808090727931152637137631756383060071}, {"parameter": "", "name": "sphere_packing", "value": 6173707140496789605410811742574515386483937410725151138259271}, {"parameter": "1", "name": "ilp_1", "value": 143993162404306578869001948655844264438732873248576281000545}, {"parameter": "2", "name": "ilp_1", "value": 143993162404306578869001948655844264438732873248576529971555}, {"parameter": "3", "name": "ilp_1", "value": 143993162404306578869001948655844264438732930510062563095732}, {"parameter": "4", "name": "ilp_1", "value": 143993162404306578869001948655844576320742606516534123043446}, {"parameter": "5", "name": "ilp_1", "value": 143993162404306578869001948655844576320742606516534123043446}, {"parameter": "6", "name": "ilp_1", "value": 143993162404306589444710467693926592697256709044006593486122}, {"parameter": "12", "name": "ilp_4", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "13", "name": "ilp_4", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "14", "name": "ilp_4", "value": 7055665132147226806960622399121003755342632323809151222689452}, {"parameter": "15", "name": "ilp_4", "value": 7055665132147226806960622399086253698422107833400230922958477}, {"parameter": "16", "name": "ilp_4", "value": 7055665132147226806960622399086253697513659626351151239315327}, {"parameter": "17", "name": "ilp_4", "value": 7055665132147226806960622399086253697513659625008362500948380}, {"parameter": "18", "name": "ilp_4", "value": 7055665132147226806960622399086253698367920508113523214764013}, {"parameter": "", "name": "johnson_1", "value": 143993162404306578869001948655844264438732873248576281000545}, {"parameter": "", "name": "johnson_2", "value": 7055665132147226806960622399086253698367920508113523214764013}, {"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": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 7055665132147226806960622399121003755342632323809151222689452}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 7055665132147226806960622399086253698422107833400230922958477}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 7055665132147226806960622399086253697513659626351151239315327}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 7055665132147226806960622399086253697513659625008362500948380}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 7055665132147226806960622399086253698367920508113523214764013}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 6173707140496789605410811742574515386483937410725151138259271}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 6173707271631246108797440872509800794536966091157181376083225}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 6173708189571505737567815812428632025509169726420260390077321}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 6173714615168609428249826414943619281943113026310287625978184}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 6173759594722852728098728370614326287431863287925897054284589}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 6174074469955000384633752717171261201678302002557229756620459}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 6176279496223420582485860666249706849958984568380183266022846}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 6191758891148770105972008378913562329986778776434063375004897}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 900332132356054023390148635978434977623499708731416835141263}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 146993019423401550356598736821284419679033514638806068682158}, {"parameter": "2, 7", "name": "Ahlswede_Aydinian", "value": 143993165462836481336002808090727931152637137631756383060071}, {"parameter": "2, 8", "name": "Ahlswede_Aydinian", "value": 143993165962187782457869212055369735959501070548242498537449}, {"parameter": "2, 9", "name": "Ahlswede_Aydinian", "value": 143993169457646976679033477305936913896293200443517256934965}, {"parameter": "2, 10", "name": "Ahlswede_Aydinian", "value": 143993193925865568264789581703914541878397859721449659911760}, {"parameter": "2, 11", "name": "Ahlswede_Aydinian", "value": 143993365203603079459485664410530986480848135751875836932029}, {"parameter": "2, 12", "name": "Ahlswede_Aydinian", "value": 143994564157926878781001816301453689789084090177988044898612}, {"parameter": "2, 13", "name": "Ahlswede_Aydinian", "value": 144002957336122914944653144894605759981002897524899770661988}, {"parameter": "2, 14", "name": "Ahlswede_Aydinian", "value": 144061733992199586147354242617481167236011131568803086637811}, {"parameter": "2, 15", "name": "Ahlswede_Aydinian", "value": 144474370106945645227830609173726443760381591799780200710647}, {"parameter": "2, 16", "name": "Ahlswede_Aydinian", "value": 147422823499205273790765879245638392545788225827204040847735}, {"parameter": "2, 17", "name": "Ahlswede_Aydinian", "value": 171491826159143031020360524101727238074282639984054670660600}, {"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": 143993162404306589444710467693926592697256709044006593486122}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 143993162404306578869001948655844576320742606516534123043446}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 143993162404306578869001948655844576320742606516534123043446}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 143993162404306578869001948655844264438732930510062563095732}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 143993162404306578869001948655844264438731436987498437855279}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 143993162404306578869001948655844264438731436987498188926605}, {"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": 6173707140496792390811806973398969160497721596572165388992263}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 6173713566093623114158112466839369023505941010297348334775424}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 6173758545645955674477825622211296085229273294021143965800982}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 6174073420864729713756400568834498773421441472485046149620560}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 6176278447039611083138656588978110628418066004326359119684182}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 6191757841313964285909718782924422051288755581983262954822143}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 6302324943225680792465209375130760165274200199909467108178836}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 7202657055661137090060960441539646255011907073791326480513504}, {"parameter": "2, 8, o", "name": "Ahlswede_Aydinian", "value": 7055665132147226806962762864058973946437521702245104103307697}, {"parameter": "2, 9, o", "name": "Ahlswede_Aydinian", "value": 7055665303424880122974741143409683312181226783535157213378223}, {"parameter": "2, 10, o", "name": "Ahlswede_Aydinian", "value": 7055666502368660705290764276695965449835218581042923803945349}, {"parameter": "2, 11, o", "name": "Ahlswede_Aydinian", "value": 7055674894985285935212709222757605575464513559468348560990159}, {"parameter": "2, 12, o", "name": "Ahlswede_Aydinian", "value": 7055733643799563306769006162239241050668849414516914827611162}, {"parameter": "2, 13, o", "name": "Ahlswede_Aydinian", "value": 7056144909898093337924566781992188671511730259001389288494140}, {"parameter": "2, 14, o", "name": "Ahlswede_Aydinian", "value": 7059024968616566930908328988968022452725078562385038182485863}, {"parameter": "2, 15, o", "name": "Ahlswede_Aydinian", "value": 7079244156344734066475070673389224311027699723588864366781707}, {"parameter": "2, 16, o", "name": "Ahlswede_Aydinian", "value": 7223718504898638249044756123634181538827186129218725153439558}, {"parameter": "2, 17, o", "name": "Ahlswede_Aydinian", "value": 8403100909706635989964618390064768734975720085968387305788806}, {"parameter": "", "name": "improved_johnson", "value": 143993162404306578869001948655844264438732873248576281000517}], "known_codes": [], "upper_bound": 143993162404306578869001948655844264438731436987498188926605, "classified": false, "lower_bound": 143503605166021543789387535636979551511008687311855223308288, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 143503601609868434285603076356671071740077383739246066639249}, {"parameter": "", "name": "sphere_covering", "value": 178265698314250001433136615845768556856005965596}, {"parameter": "", "name": "graham_sloane", "value": 631873353466303993748813267135350419446554070}, {"parameter": "", "name": "multicomponent", "value": 143503601609868434285710083261094669773433741668044602334506}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 143503601622251417428510278672777310962057758177713098136946}, {"parameter": "", "name": "two_pivot_block_construction", "value": 143503605166021543789387535636979551511008687311855223308288}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 174251503388975551318884922599369466772818993479502027}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 143503601609873589570340089731041876399475629844578093807335}, {"parameter": "(10,),(6,),(4,)", "name": "CKMP2019_Cor_45", "value": 143503601609873589570340089731041876399475629844578093807335}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 143503601609873589570340089731041898938624339305455615256183}, {"parameter": "(10,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 143503601609873589570340089731041898938624339305455615256183}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 143503601609873589570340089731041876464996410976731807532477}, {"parameter": "(10,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 143503601609873589570340089731041876859270585157937488369735}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 143503601609873589570340089731041876399284060012092712766077}, {"parameter": "(10,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 143503601609873589570340089731041876399284128405463825004935}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 174263881216833721507826658033932240562175775347858041}, {"parameter": "(9,),(6,),(4,)", "name": "CKMP2019_Cor_45", "value": 174263881216833721507826658033932240493782404235619183}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 174263881216833721507826658034392227018928249011222841}, {"parameter": "(9,),(5,),(3,)", "name": "CKMP2019_Cor_45", "value": 174263881216833721507826658033997952844747043330385583}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 174263881216833721507826658056471580773075767138109289}, {"parameter": "(9,),(4,),(2,)", "name": "CKMP2019_Cor_45", "value": 174263881216833721507826658056471580773075767138109289}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 174263881216833721507826658033932432063614889616660441}, {"parameter": "(9,),(3,),(1,)", "name": "CKMP2019_Cor_45", "value": 174263881216833721507826658033932432063614889616660441}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 143503601609873589570340089731041876399284048613197527392934}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 174263881216833721507826658033932240482383509050246040}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 143503601609873589570340089731041876399284048613197527392934}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 174263881216833721507826658033932240482383509050246040}, {"parameter": "9", "name": "linkage_GLT", "value": 143503601609868434285603076356671071740077383739246066639250}, {"parameter": "10", "name": "linkage_GLT", "value": 174251498233690814305510551794710260107945042018748344}, {"parameter": "9", "name": "improved_linkage", "value": 143503601609868434285710083263746400694487100896181772984721}, {"parameter": "10", "name": "improved_linkage", "value": 174251498233690814305513203525622023706955859635667089}, {"parameter": "11", "name": "improved_linkage", "value": 4318114567396436564035358810071957735817505795}, {"parameter": "12", "name": "improved_linkage", "value": 4330740633070090166785109646660676479047492396}, {"parameter": "13", "name": "improved_linkage", "value": 4318151306068594454132140368508489747273376396}, {"parameter": "14", "name": "improved_linkage", "value": 4318114690023194965729095771582686987630015679}, {"parameter": "15", "name": "improved_linkage", "value": 4318114674715317635755414433423119095417376955}, {"parameter": "16", "name": "improved_linkage", "value": 4318114674403344021970643132140818132583317505}, {"parameter": "9,0", "name": "generalized_linkage", "value": 143503601609873589570340089731041876399284048613197527392934}, {"parameter": "9,1", "name": "generalized_linkage", "value": 143503601609868434285603448965346492041907609709870343436146}, {"parameter": "9,2", "name": "generalized_linkage", "value": 143503601609868434285603077446170149505191836142500983177249}, {"parameter": "9,3", "name": "generalized_linkage", "value": 143503601609868434285603076359836936220743758713442743057645}, {"parameter": "9,4", "name": "generalized_linkage", "value": 143503601609868434285603076356680274756687745978795301926549}, {"parameter": "9,5", "name": "generalized_linkage", "value": 143503601609868434285603076359322802651840982750063683557995}, {"parameter": "9,6", "name": "generalized_linkage", "value": 143503601609868434285710083263746400694487100896181772984721}, {"parameter": "10,0", "name": "generalized_linkage", "value": 174263881216833721507826658033932240482383509050246040}, {"parameter": "10,1", "name": "generalized_linkage", "value": 174251498233697079347778625345697105617883770525342028}, {"parameter": "10,2", "name": "generalized_linkage", "value": 174251498233690814305510616456762889637567975865710040}, {"parameter": "10,3", "name": "generalized_linkage", "value": 174251498233690814305510551821709329197224024863369543}, {"parameter": "10,4", "name": "generalized_linkage", "value": 174251498233690814305510551794711629117133803466158367}, {"parameter": "10,5", "name": "generalized_linkage", "value": 174251498233690814305510551794775972472174690284005289}, {"parameter": "10,6", "name": "generalized_linkage", "value": 174251498233690814305513203525622023706955859635667089}, {"parameter": "11,1", "name": "generalized_linkage", "value": 4320263604706740887708190982806453589997464946}, {"parameter": "11,2", "name": "generalized_linkage", "value": 4318114567396591826857323811825859059583715146}, {"parameter": "11,3", "name": "generalized_linkage", "value": 4318114567396436564035293326540542340138733650}, {"parameter": "11,4", "name": "generalized_linkage", "value": 4318114567396436564035293097707762111783539249}, {"parameter": "11,5", "name": "generalized_linkage", "value": 4318114567396436564035293097709356515004760045}, {"parameter": "11,6", "name": "generalized_linkage", "value": 4318114567396436564035358810071957735817505795}, {"parameter": "12,2", "name": "generalized_linkage", "value": 4330740633077698109700922404282381640440811601}, {"parameter": "12,3", "name": "generalized_linkage", "value": 4330740633070090166785188136979548358098181801}, {"parameter": "12,4", "name": "generalized_linkage", "value": 4330740633070090166785109646659048051595821894}, {"parameter": "12,5", "name": "generalized_linkage", "value": 4330740633070090166785109646659048051635452800}, {"parameter": "12,6", "name": "generalized_linkage", "value": 4330740633070090166785109646660676479047492396}, {"parameter": "13,3", "name": "generalized_linkage", "value": 4318151306068594454132689800763662272919149597}, {"parameter": "13,4", "name": "generalized_linkage", "value": 4318151306068594454132140368508489747233745490}, {"parameter": "13,5", "name": "generalized_linkage", "value": 4318151306068594454132140368508489747232904797}, {"parameter": "13,6", "name": "generalized_linkage", "value": 4318151306068594454132140368508489747273376396}, {"parameter": "14,4", "name": "generalized_linkage", "value": 4318114690023194965729095771582686987635900579}, {"parameter": "14,5", "name": "generalized_linkage", "value": 4318114690023194965729095771582686987630015679}, {"parameter": "14,6", "name": "generalized_linkage", "value": 4318114690023194965729095771582686987630015679}, {"parameter": "15,5", "name": "generalized_linkage", "value": 4318114674715317635755414433423119095417376955}, {"parameter": "15,6", "name": "generalized_linkage", "value": 4318114674715317635755414433423119095417376955}, {"parameter": "16,6", "name": "generalized_linkage", "value": 4318114674403344021970643132140818132583317505}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 143503601609873589570340089731041876399284048613197527392934}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 143503601609868434285603448965346492041907609709870343436146}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 143503601609868434285603077446170149505191836142500983177249}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 143503601609868434285603076359836936220743758713442743057645}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 143503601609868434285603076356680274756687745978795301926549}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 143503601609868434285603076359322802651840982750063683557995}, {"parameter": "[9, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 143503601609868434285710083263746400694487100896181772984721}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 174263881216833721507826658033932240482383509050246040}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 174251498233697079347778625345697105617883770525342028}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 174251498233690814305510616456762889637567975865710040}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 174251498233690814305510551821709329197224024863369543}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 174251498233690814305510551794711629117133803466158367}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 174251498233690814305510551794775972472174690284005289}, {"parameter": "[10, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 174251498233690814305513203525622023706955859635667089}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 4320263604706740887708190982806453589997464946}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396591826857323811825859059583715146}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396436564035293326540542340138733650}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396436564035293097707762111783539249}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396436564035293097709356515004760045}, {"parameter": "[11, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 4318114567396436564035358810071957735817505795}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 4330740633077698109700922404282381640440811601}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4330740633070090166785188136979548358098181801}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4330740633070090166785109646659048051595821894}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4330740633070090166785109646659048051635452800}, {"parameter": "[12, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 4330740633070090166785109646660676479047492396}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 4318151306068594454132689800763662272919149597}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4318151306068594454132140368508489747233745490}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4318151306068594454132140368508489747232904797}, {"parameter": "[13, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 4318151306068594454132140368508489747273376396}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 4318114690023194965729095771582686987635900579}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4318114690023194965729095771582686987630015679}, {"parameter": "[14, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 4318114690023194965729095771582686987630015679}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 4318114674715317635755414433423119095417376955}, {"parameter": "[15, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 4318114674715317635755414433423119095417376955}, {"parameter": "[16, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 4318114674403344021970643132140818132583317505}, {"parameter": "[9, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 9473399411416715358437985660728902423950787341}, {"parameter": "[9, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 9473399411416715358437985660728902423950787341}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409813586570798164026073818036384135}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409813586570798164026073818036384135}, {"parameter": "[9, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409813586570798164026073818036384135}, {"parameter": "[9, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409813586570798164026073818036384135}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409810944042968653385577972555999684}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409810944042968653385577972555999684}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409810934840018016734965573293142077}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409810934840018016734965573293142077}, {"parameter": "[9, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409810934840018016734965573293142077}, {"parameter": "[9, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409810934840018016734965573293142077}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409814100677497912430362340118369783}, {"parameter": "[9, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409814100677497912430362340118369783}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409810934839952532431926426371384984}, {"parameter": "[9, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409810934839952532431926426371384984}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409810934839952304374230452610912983}, {"parameter": "[9, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409810934839952304374230452610912983}, {"parameter": "[9, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409810934840018208876371231540750934}, {"parameter": "[9, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409810934840018208876371231540750934}, {"parameter": "[9, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 9473399304410897257535644984348740890810875419}, {"parameter": "[9, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409810934840030756778247166541758541}, {"parameter": "[9, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409810934839952304372607690535662884}, {"parameter": "[9, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409810934839952304374235214054063734}, {"parameter": "[9, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 9473399304409810934840018017294048686979486506}, {"parameter": "[10, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 12382983143014209223181568101196384210630992664105}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 12382983143014209220529837321049093102386249422047}, {"parameter": "[10, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 12382983143014209220529837321049093102386249422047}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 12382983143014209220529837256705728280133696294110}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 12382983143014209220529837255336732367265567192953}, {"parameter": "[10, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 12382983143014209220529837255336732367265567192953}, {"parameter": "[10, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 12382983143014209220529864175691334822011198756653}, {"parameter": "[10, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 12382983143014209220529837255336730772777004565762}, {"parameter": "[10, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 12382983143014209220529837255336730738852009636111}, {"parameter": "[10, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 12382983143014209220529837255336732372027010343704}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 418377857626885285270032866996248677752771391532006522678}], "request": [7, 19, 6, 9], "liftedmrdsizebound": 143503605871973577460949941248486759617002131494042556432236, "comments": "", "equal_bound_constraints": []}