{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 13683724173517586537843062217540223464981705729828207270226321609406882235342}, {"parameter": "", "name": "singleton", "value": 48442204698869551020727053080024292969884004201593285092853285278206}, {"parameter": "8", "name": "ilp_2", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "10", "name": "ilp_3", "value": 290653236424826571803057141860589996861920568626137620459254998712104}, {"parameter": "", "name": "anticode", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "", "name": "linear_programming_bound", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "", "name": "sphere_packing", "value": 13683724173517586537843062217540223464981705729828207270226321609406882235342}, {"parameter": "1", "name": "ilp_1", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "2", "name": "ilp_1", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "3", "name": "ilp_1", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "4", "name": "ilp_1", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "5", "name": "ilp_1", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "6", "name": "ilp_1", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "7", "name": "ilp_1", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "11", "name": "ilp_4", "value": 290653193208877637401292949213667454500705146696317194207992365952459}, {"parameter": "12", "name": "ilp_4", "value": 290653193208877637401292949213667454500705146696317194207992365952459}, {"parameter": "13", "name": "ilp_4", "value": 290653193208877637401292949213667454500705146696317194207992365952459}, {"parameter": "14", "name": "ilp_4", "value": 290653193208877637401292949213027240475030404382328542037118903158847}, {"parameter": "15", "name": "ilp_4", "value": 290653193208877637401292949213027240424632029904425010916107164108022}, {"parameter": "16", "name": "ilp_4", "value": 290653193208877637401292949213027240424632029893398342437560423868147}, {"parameter": "17", "name": "ilp_4", "value": 290653193208877637401292949213027240424632029893398342164309631460873}, {"parameter": "18", "name": "ilp_4", "value": 290653193208877637401292949213027240475014987309596216879211378614914}, {"parameter": "", "name": "johnson_1", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "", "name": "johnson_2", "value": 290653193208877637401292949213027240475014987309596216879211378614914}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 13683724173517586537843062217540223464981705729828207270226321609406882235342}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 290653236424826571803057141860589996861920568626137620459254998712104}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 290653193208877637401292949213667454500705146696317194207992365952459}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 290653193208877637401292949213667454500705146696317194207992365952459}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 290653193208877637401292949213667454500705146696317194207992365952459}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 290653193208877637401292949213027240475030404382328542037118903158847}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 290653193208877637401292949213027240424632029904425010916107164108022}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 290653193208877637401292949213027240424632029893398342437560423868147}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 290653193208877637401292949213027240424632029893398342164309631460873}, {"parameter": "0, 18", "name": "Ahlswede_Aydinian", "value": 290653193208877637401292949213027240475014987309596216879211378614914}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 41521890917832348666940560866670903257851755933510487220627691601462}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 41521891799790380460574177129592788733538613679652830220166720771400}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 41521897973497652091661518036100175528936994579503899941540350981093}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 41521941189499958278459288811053898499615978050036954183962875043637}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 41522243704034956623668856480195700949583515707748516003132350481466}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 41524361429211164509147750741216857029820123971237350065700991981040}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 41539191556087080283087143744826027757962470510618855269669404541290}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 41643299790076424376098872038329380862764684620650198598600965400357}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 42386930030600041860083970800479659304377816911913197617976021299133}, {"parameter": "1, 18", "name": "Ahlswede_Aydinian", "value": 48442204698869551020727053080024292969884004201593285092853285278206}, {"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": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "0, 18, o", "name": "Ahlswede_Aydinian", "value": 41521890791838347183521970141463519836364117903063915382659569399806}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 290653236424826571803057141860589996861920568626137620459254998712104}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 290653242598533581165373531477508065379477678018510821269544979469508}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 290653285814489990233024238127058623935094453887918503647192497640971}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 290653588326544687182601745815919846945312610975299274642989472348290}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 290655705928559555587253275390999801037517428739958859418337587111231}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 290670530006682390939901457954855488370371610496404006893248831203000}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 290774340908050260776696299760468711247741699589806472478830163407941}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 291503098639162319978041838997083560424628455013359601989106981844486}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 296708511001991045138845972769891388523728899617983149897642363796106}, {"parameter": "1, 18, o", "name": "Ahlswede_Aydinian", "value": 339095440094744983737724144382264772141866097866894601729977608112048}, {"parameter": "", "name": "improved_johnson", "value": 41521890791838347183521970141463519836364117903063915382659569399806}], "known_codes": [], "upper_bound": 41521890791838347183521970141463519836364117903063915382659569399806, "classified": false, "lower_bound": 40553499771898134480982178003920834382400027150097709434199076454452, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 40536215597144386832065866109016673800875222251012083746192454448001}, {"parameter": "", "name": "sphere_covering", "value": 6173707140496789605410811742574515386483937410725151138259272}, {"parameter": "", "name": "graham_sloane", "value": 7202658126592634772822094721352678068455741606080004611164606}, {"parameter": "", "name": "multicomponent", "value": 40536215597144561083564099799937986215850615060340910355153731474302}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 40536625753216448462657614642627471776897569706824105202897517574402}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 40553499771898134480982178003920834382400027150097709434199076454452}, {"parameter": "", "name": "two_pivot_block_construction", "value": 40553105686976525598537903185027802877404377818341526587313754210304}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 7035152762324593144409193941765348126436705157116660399720001}, {"parameter": "(10,),(7,),(6,)", "name": "CKMP2019_Cor_45", "value": 40536215600620670273105730523659874089340833883911974184535549821603}, {"parameter": "(10,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 40536215600620670273105730523659874091992564269785091111574612226403}, {"parameter": "(10,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 40536215600620670273105730523659880456146594332953423381230728068803}, {"parameter": "(10,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 40536215600620670273105730523659874219275644871048457756967734543251}, {"parameter": "(10,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 40536215600620670273105730523659874089341937851599681560441894144003}, {"parameter": "(10,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 40536215600620670273105730523659874089340833423929347460844171832851}, {"parameter": "(9,),(7,),(6,)", "name": "CKMP2019_Cor_45", "value": 417187748540514145028528161539452904862719607734500810911437651}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 417187748540514145028528161539452905967147278068600408633748803}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 417187748540514145028528161539582839674166726844796934474148051}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 417187748540514145028528161545819710623628631810421197467673603}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 417187748540514145028528161539455556593565463478151541351831203}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 417187748540514145028528161539452904863179590361224502289426403}, {"parameter": "(9, 10)", "name": "CKMP2019_Lem_41", "value": 40536215600620670273105730523659874089340833423925437639795588844802}, {"parameter": "(10, 9)", "name": "CKMP2019_Lem_41", "value": 417187748540514145028528161539452904862719603824679762328449602}, {"parameter": "(9, 10)", "name": "CKMP2019_Cor_42", "value": 40536215600620670273105730523659874089340833423925437639795588844802}, {"parameter": "(10, 9)", "name": "CKMP2019_Cor_42", "value": 417187748540514145028528161539452904862719603824679762328449602}, {"parameter": "9", "name": "linkage_GLT", "value": 40536215597144386832065866109016673800875222251012083746192454448002}, {"parameter": "10", "name": "linkage_GLT", "value": 7031676478883553279994550741476882515263791803223057265323202}, {"parameter": "9", "name": "improved_linkage", "value": 40536215597144561169705323889177109744891473926127357923679183722447}, {"parameter": "10", "name": "improved_linkage", "value": 7031676478883557600243028555029441257736657268361058780203365}, {"parameter": "11", "name": "improved_linkage", "value": 7178168667939627745436414688962098657179113670463984176617428}, {"parameter": "12", "name": "improved_linkage", "value": 7055156868875295062386089229127015382736183819155174093052954}, {"parameter": "13", "name": "improved_linkage", "value": 7035223742568495854143154488863204270754417224579843177416408}, {"parameter": "14", "name": "improved_linkage", "value": 7034674905026967700570879529527717204187254611075320095826602}, {"parameter": "15", "name": "improved_linkage", "value": 7035142825080867830045975238860461256007022902091514863441756}, {"parameter": "16", "name": "improved_linkage", "value": 7035151367623507723907255149081508129038106885224411038433637}, {"parameter": "17", "name": "improved_linkage", "value": 7035152587986953686629033505821710693453855547720856389026723}, {"parameter": "9,0", "name": "generalized_linkage", "value": 40536215600620670273105730523659874089340833423925437639795588844802}, {"parameter": "9,1", "name": "generalized_linkage", "value": 40536215597217017341112212349058918330805246808578222816287436972986}, {"parameter": "9,2", "name": "generalized_linkage", "value": 40536215597145844270274942592514443191859597252861508052198960093654}, {"parameter": "9,3", "name": "generalized_linkage", "value": 40536215597144416491672333488027600665820249954631833710532169475400}, {"parameter": "9,4", "name": "generalized_linkage", "value": 40536215597144387437074848170365875625901897143066788081306803052854}, {"parameter": "9,5", "name": "generalized_linkage", "value": 40536215597144386844378559014873777637555890319800526693730615435686}, {"parameter": "9,6", "name": "generalized_linkage", "value": 40536215597144386832312120272252046296723543204343596612278802617349}, {"parameter": "9,7", "name": "generalized_linkage", "value": 40536215597144561169705323889177109744891473926127357923679183722447}, {"parameter": "10,0", "name": "generalized_linkage", "value": 417187748540514145028528161539452904862719603824679762328449602}, {"parameter": "10,1", "name": "generalized_linkage", "value": 7031676686917887530530613906721958313774666665311610107480602}, {"parameter": "10,2", "name": "generalized_linkage", "value": 7031676479502955076208852452749397375070926760877443115192386}, {"parameter": "10,3", "name": "generalized_linkage", "value": 7031676478885328169685132557313690458615568723243150261040060}, {"parameter": "10,4", "name": "generalized_linkage", "value": 7031676478883558437881005329644005661644209860122842639359158}, {"parameter": "10,5", "name": "generalized_linkage", "value": 7031676478883553294987257754268625215149280168710321318507154}, {"parameter": "10,6", "name": "generalized_linkage", "value": 7031676478883553280037374603362480316917039037629973994997201}, {"parameter": "10,7", "name": "generalized_linkage", "value": 7031676478883557600243028555029441257736657268361058780203365}, {"parameter": "11,1", "name": "generalized_linkage", "value": 7181666554186283259994443549393167168838740280949291371166044}, {"parameter": "11,2", "name": "generalized_linkage", "value": 7178168667939880562489831857850011202791244042704469831561244}, {"parameter": "11,3", "name": "generalized_linkage", "value": 7178168667939627852926535818269235866281748784115478885656028}, {"parameter": "11,4", "name": "generalized_linkage", "value": 7178168667939627745480291423220380310587316341908675816181344}, {"parameter": "11,5", "name": "generalized_linkage", "value": 7178168667939627745436325843288533021196253491911351139846000}, {"parameter": "11,6", "name": "generalized_linkage", "value": 7178168667939627745436307636738049973125347658750869104549696}, {"parameter": "11,7", "name": "generalized_linkage", "value": 7178168667939627745436414688962098657179113670463984176617428}, {"parameter": "12,2", "name": "generalized_linkage", "value": 7055156869482344911724593323135849538741783083141013968584102}, {"parameter": "12,3", "name": "generalized_linkage", "value": 7055156868875295062392354644026376120544122278735572323679586}, {"parameter": "12,4", "name": "generalized_linkage", "value": 7055156868875295062386089609521462333025862363179257821178202}, {"parameter": "12,5", "name": "generalized_linkage", "value": 7055156868875295062386089229146543089832987713109587798809508}, {"parameter": "12,6", "name": "generalized_linkage", "value": 7055156868875295062386089229124363810285308355825900656956109}, {"parameter": "12,7", "name": "generalized_linkage", "value": 7055156868875295062386089229127015382736183819155174093052954}, {"parameter": "13,3", "name": "generalized_linkage", "value": 7035223742568495856292210058385725557338520751861173982029954}, {"parameter": "13,4", "name": "generalized_linkage", "value": 7035223742568495854143154488866371633840019771761431390978658}, {"parameter": "13,5", "name": "generalized_linkage", "value": 7035223742568495854143154488863204298091601447818027573375958}, {"parameter": "13,6", "name": "generalized_linkage", "value": 7035223742568495854143154488863204270688895969878878682413950}, {"parameter": "13,7", "name": "generalized_linkage", "value": 7035223742568495854143154488863204270754417224579843177416408}, {"parameter": "14,4", "name": "generalized_linkage", "value": 7034674905026967700570879529682918186507767218839758102644054}, {"parameter": "14,5", "name": "generalized_linkage", "value": 7034674905026967700570879529527717204187287204852038200673454}, {"parameter": "14,6", "name": "generalized_linkage", "value": 7034674905026967700570879529527717204187254609481048333633653}, {"parameter": "14,7", "name": "generalized_linkage", "value": 7034674905026967700570879529527717204187254611075320095826602}, {"parameter": "15,5", "name": "generalized_linkage", "value": 7035142825080867830045975238860461256007251069970346750412256}, {"parameter": "15,6", "name": "generalized_linkage", "value": 7035142825080867830045975238860461256007022902091514828973056}, {"parameter": "15,7", "name": "generalized_linkage", "value": 7035142825080867830045975238860461256007022902091514863441756}, {"parameter": "16,6", "name": "generalized_linkage", "value": 7035151367623507723907255149081508129038106885224411045159237}, {"parameter": "16,7", "name": "generalized_linkage", "value": 7035151367623507723907255149081508129038106885224411038433637}, {"parameter": "17,7", "name": "generalized_linkage", "value": 7035152587986953686629033505821710693453855547720856389026723}, {"parameter": "[9, 10],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 40536215600620670273105730523659874089340833423925437639795588844802}, {"parameter": "[9, 10],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 40536215597217017341112212349058918330805246808578222816287436972986}, {"parameter": "[9, 10],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 40536215597145844270274942592514443191859597252861508052198960093654}, {"parameter": "[9, 10],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 40536215597144416491672333488027600665820249954631833710532169475400}, {"parameter": "[9, 10],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 40536215597144387437074848170365875625901897143066788081306803052854}, {"parameter": "[9, 10],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 40536215597144386844378559014873777637555890319800526693730615435686}, {"parameter": "[9, 10],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 40536215597144386832312120272252046296723543204343596612278802617349}, {"parameter": "[9, 10],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 40536215597144561169705323889177109744891473926127357923679183722447}, {"parameter": "[10, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 417187748540514145028528161539452904862719603824679762328449602}, {"parameter": "[10, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7031676686917887530530613906721958313774666665311610107480602}, {"parameter": "[10, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7031676479502955076208852452749397375070926760877443115192386}, {"parameter": "[10, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7031676478885328169685132557313690458615568723243150261040060}, {"parameter": "[10, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883558437881005329644005661644209860122842639359158}, {"parameter": "[10, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883553294987257754268625215149280168710321318507154}, {"parameter": "[10, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883553280037374603362480316917039037629973994997201}, {"parameter": "[10, 9],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883557600243028555029441257736657268361058780203365}, {"parameter": "[11, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7181666554186283259994443549393167168838740280949291371166044}, {"parameter": "[11, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7178168667939880562489831857850011202791244042704469831561244}, {"parameter": "[11, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7178168667939627852926535818269235866281748784115478885656028}, {"parameter": "[11, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7178168667939627745480291423220380310587316341908675816181344}, {"parameter": "[11, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 7178168667939627745436325843288533021196253491911351139846000}, {"parameter": "[11, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7178168667939627745436307636738049973125347658750869104549696}, {"parameter": "[11, 8],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 7178168667939627745436414688962098657179113670463984176617428}, {"parameter": "[12, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7055156869482344911724593323135849538741783083141013968584102}, {"parameter": "[12, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7055156868875295062392354644026376120544122278735572323679586}, {"parameter": "[12, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7055156868875295062386089609521462333025862363179257821178202}, {"parameter": "[12, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 7055156868875295062386089229146543089832987713109587798809508}, {"parameter": "[12, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7055156868875295062386089229124363810285308355825900656956109}, {"parameter": "[12, 7],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 7055156868875295062386089229127015382736183819155174093052954}, {"parameter": "[13, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7035223742568495856292210058385725557338520751861173982029954}, {"parameter": "[13, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7035223742568495854143154488866371633840019771761431390978658}, {"parameter": "[13, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035223742568495854143154488863204298091601447818027573375958}, {"parameter": "[13, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035223742568495854143154488863204270688895969878878682413950}, {"parameter": "[13, 6],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 7035223742568495854143154488863204270754417224579843177416408}, {"parameter": "[14, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7034674905026967700570879529682918186507767218839758102644054}, {"parameter": "[14, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 7034674905026967700570879529527717204187287204852038200673454}, {"parameter": "[14, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7034674905026967700570879529527717204187254609481048333633653}, {"parameter": "[14, 5],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 7034674905026967700570879529527717204187254611075320095826602}, {"parameter": "[15, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035142825080867830045975238860461256007251069970346750412256}, {"parameter": "[15, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035142825080867830045975238860461256007022902091514828973056}, {"parameter": "[15, 4],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 7035142825080867830045975238860461256007022902091514863441756}, {"parameter": "[16, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035151367623507723907255149081508129038106885224411045159237}, {"parameter": "[16, 3],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 7035151367623507723907255149081508129038106885224411038433637}, {"parameter": "[17, 2],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 7035152587986953686629033505821710693453855547720856389026723}, {"parameter": "[9, 2, 8],[0, 7, 1]", "name": "generalized_linkage_multipleblocks", "value": 7035152936576091378100008247275899921146965265061702418468345}, {"parameter": "[9, 2, 8],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 7035152936576091378100008247275899921146965265061702418468345}, {"parameter": "[9, 3, 7],[0, 6, 2]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324839276939535538649498138143274497617650877904395}, {"parameter": "[9, 3, 7],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324839276939535538649498138143274497617650877904395}, {"parameter": "[9, 3, 7],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324597462523761338201912161729802864844747951968851}, {"parameter": "[9, 3, 7],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324597462523761338201912161729802864844747951968851}, {"parameter": "[9, 4, 6],[0, 5, 3]", "name": "generalized_linkage_multipleblocks", "value": 7035152762336899770621411115270017914732913082369496560024509}, {"parameter": "[9, 4, 6],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 7035152762336899770621411115270017914732913082369496560024509}, {"parameter": "[9, 4, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593144415293335317493214338017466238601853454001}, {"parameter": "[9, 4, 6],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593144415293335317493214338017466238601853454001}, {"parameter": "[9, 4, 6],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324597552483823845694237216218406460659634012504909}, {"parameter": "[9, 4, 6],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324597552483823845694237216218406460659634012504909}, {"parameter": "[9, 5, 5],[0, 4, 4]", "name": "generalized_linkage_multipleblocks", "value": 7035152762929344250339335294786259593831119216132425817167203}, {"parameter": "[9, 5, 5],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035152762929344250339335294786259593831119216132425817167203}, {"parameter": "[9, 5, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593144714163611817821341648167872115295472238703}, {"parameter": "[9, 5, 5],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593144714163611817821341648167872115295472238703}, {"parameter": "[9, 5, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593144415420405087561775062418282512719838706359}, {"parameter": "[9, 5, 5],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593144415420405087561775062418282512719838706359}, {"parameter": "[9, 5, 5],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324597476942942080656652119143283064367339047932151}, {"parameter": "[9, 5, 5],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324597476942942080656652119143283064367339047932151}, {"parameter": "[9, 6, 4],[0, 3, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035152791969244800288064845634945297230297194772830195396009}, {"parameter": "[9, 6, 4],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035152791969244800288064845634945297230297194772830195396009}, {"parameter": "[9, 6, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593159395490109296080955869064633542499086600345}, {"parameter": "[9, 6, 4],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593159395490109296080955869064633542499086600345}, {"parameter": "[9, 6, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593144720517100163859253877153633802548423719745}, {"parameter": "[9, 6, 4],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593144720517100163859253877153633802548423719745}, {"parameter": "[9, 6, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593144415313702599712122803314572600652036172301}, {"parameter": "[9, 6, 4],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593144415313702599712122803314572600652036172301}, {"parameter": "[9, 6, 4],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324597464702116818341821961356615148924026496369395}, {"parameter": "[9, 6, 4],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324597464702116818341821961356615148924026496369395}, {"parameter": "[9, 7, 3],[0, 2, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035154214912276828756805676164982269399413075002972814685555}, {"parameter": "[9, 7, 3],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 7035154214912276828756805676164982269399413075002972814685555}, {"parameter": "[9, 7, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593879031297385427048649752927441622529668263203}, {"parameter": "[9, 7, 3],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593879031297385427048649752927441622529668263203}, {"parameter": "[9, 7, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593159707702330381201844946137917664891021205551}, {"parameter": "[9, 7, 3],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593159707702330381201844946137917664891021205551}, {"parameter": "[9, 7, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593144715181975903539607642924865173379635110403}, {"parameter": "[9, 7, 3],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593144715181975903539607642924865173379635110403}, {"parameter": "[9, 7, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593144415296412273225275039767838350323923772945}, {"parameter": "[9, 7, 3],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593144415296412273225275039767838350323923772945}, {"parameter": "[9, 7, 3],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324597464365078646815612636756451188174335075365799}, {"parameter": "[9, 7, 3],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324597464365078646815612636756451188174335075365799}, {"parameter": "[9, 8, 2],[0, 1, 7]", "name": "generalized_linkage_multipleblocks", "value": 7035223910588967534472435757645624768307539980907989165742397}, {"parameter": "[9, 8, 2],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324629140886130547397943358868694271812353349455881}, {"parameter": "[9, 8, 2],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593894335812657939509051613628721120304854973245}, {"parameter": "[9, 8, 2],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593159445532809582718269638054427423307765623445}, {"parameter": "[9, 8, 2],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593144714317459600613222879637742066792841570959}, {"parameter": "[9, 8, 2],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593144415295936202380431010546306571373835558749}, {"parameter": "[9, 8, 2],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324597464652425825996968074159632891106137874305297}, {"parameter": "[10, 2, 7],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882094300338992499923138177459169837129834634123593}, {"parameter": "[10, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882089982267227865256013355508614649555722195797544}, {"parameter": "[10, 3, 6],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882089982224532110390997740199428485702132019659551}, {"parameter": "[10, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882089997210741696639225481925162929131838274256645}, {"parameter": "[10, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882089982224425104547266480509933518113356434515144}, {"parameter": "[10, 4, 5],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882089982224534339685209469334944289496414791330645}, {"parameter": "[10, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882095137510197185891916269255639768885663286098445}, {"parameter": "[10, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882089982224425474861469901859904201441572412237187}, {"parameter": "[10, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882089982224425104569364076015873153356409619651944}, {"parameter": "[10, 5, 4],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882089982224532467711738422804082820901466233391451}, {"parameter": "[10, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 410156072235883858964873830976396993567242519157840997998721303}, {"parameter": "[10, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882089982224552856273879683535450264287375508694587}, {"parameter": "[10, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882089982224425482598390336650282331950982609850593}, {"parameter": "[10, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882089982224425104550808376932551745567821155195144}, {"parameter": "[10, 6, 3],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882089982224532164372677250036301299247951705103743}, {"parameter": "[10, 7, 2],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 410156072236488851015978245056302827403856741911057872972006539}, {"parameter": "[10, 7, 2],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882089982268262142624261955560781184194470528858081}, {"parameter": "[10, 7, 2],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882089982224555517770825199330258594103580996958793}, {"parameter": "[10, 7, 2],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882089982224425476101576356098335764981712078830287}, {"parameter": "[10, 7, 2],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882089982224425104547801567046409297072234096377544}, {"parameter": "[10, 7, 2],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 410156072235882089982224532156020557165053332500444812229871915}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 827622444327439032735546245512179031263677735850375432430017662903}], "request": [7, 19, 4, 9], "liftedmrdsizebound": 40556801761304282001965469665496223377817149919919373040588816593406, "comments": "", "equal_bound_constraints": []}