{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 339095440094744983737724144382264772141866097866894601729977608112048}, {"parameter": "", "name": "singleton", "value": 8403100909706635989964618390064768734975720085968387305788806}, {"parameter": "8", "name": "ilp_2", "value": 7202658126592634772822094721352678068455741606080004611164606}, {"parameter": "10", "name": "ilp_3", "value": 7202658126592634772822094721352678068455741606080004611164606}, {"parameter": "", "name": "anticode", "value": 7202658126592634772822094721352678068455741606080004611164606}, {"parameter": "", "name": "linear_programming_bound", "value": 7202658126592634772822094721352678068455741606080004611164606}, {"parameter": "", "name": "sphere_packing", "value": 339095440094744983737724144382264772141866097866894601729977608112048}, {"parameter": "1", "name": "ilp_1", "value": 7202657055661137090060960441539646255011907073791326480513504}, {"parameter": "2", "name": "ilp_1", "value": 7202657055661137090060960441539646255011907073791326487329601}, {"parameter": "3", "name": "ilp_1", "value": 7202657055661137090060960441539646255011907074066380935105825}, {"parameter": "4", "name": "ilp_1", "value": 7202657055661137090060960441539646255012289123224422923877896}, {"parameter": "5", "name": "ilp_1", "value": 7202657055661137090060960441555511355334257849811647731014064}, {"parameter": "6", "name": "ilp_1", "value": 7202657055661137090060960441555511355334257849811647731014064}, {"parameter": "7", "name": "ilp_1", "value": 7202657055661137090060960441555511355334257849811647731014064}, {"parameter": "11", "name": "ilp_4", "value": 7202657055661137090060960441555511355334257849811647731014064}, {"parameter": "12", "name": "ilp_4", "value": 7202657055661137090060960441555511355334257849811647731014064}, {"parameter": "13", "name": "ilp_4", "value": 7202657055661137090060960441555511355334257849811647731014064}, {"parameter": "14", "name": "ilp_4", "value": 7202657055661137090060960441539646255012289123224422923877896}, {"parameter": "15", "name": "ilp_4", "value": 7202657055661137090060960441539646253763370425585161627976350}, {"parameter": "16", "name": "ilp_4", "value": 7202657055661137090060960441539646253763370425311910504736961}, {"parameter": "17", "name": "ilp_4", "value": 7202657055661137090060960441539646253763370425311910497965552}, {"parameter": "", "name": "johnson_1", "value": 7202657055661137090060960441539646255011907073791326480513504}, {"parameter": "", "name": "johnson_2", "value": 7202657055661137090060960441539646253763370425311910497965552}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 339095440094744983737724144382264772141866097866894601729977608112048}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 7202658126592634772822094721352678068455741606080004611164606}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 7202657055661137090060960441555511355334257849811647731014064}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 7202657055661137090060960441555511355334257849811647731014064}, {"parameter": "0, 13", "name": "Ahlswede_Aydinian", "value": 7202657055661137090060960441555511355334257849811647731014064}, {"parameter": "0, 14", "name": "Ahlswede_Aydinian", "value": 7202657055661137090060960441539646255012289123224422923877896}, {"parameter": "0, 15", "name": "Ahlswede_Aydinian", "value": 7202657055661137090060960441539646253763370425585161627976350}, {"parameter": "0, 16", "name": "Ahlswede_Aydinian", "value": 7202657055661137090060960441539646253763370425311910504736961}, {"parameter": "0, 17", "name": "Ahlswede_Aydinian", "value": 7202657055661137090060960441539646253763370425311910497965552}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 7202658126592634772822094721352678068455741606080004611164606}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 7202658279582829693927888740923123349308806097743887255849325}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 7202659350514376121176206677438845054725318689300151337575604}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 7202666847044118118590708617048497129813750119990429012939932}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 7202719323189249130705076652596276131604514146764734703934526}, {"parameter": "1, 13", "name": "Ahlswede_Aydinian", "value": 7203086677616350926313388267577926841494933736564866641291172}, {"parameter": "1, 14", "name": "Ahlswede_Aydinian", "value": 7205659208189984806214513251625938210339493544548228152944416}, {"parameter": "1, 15", "name": "Ahlswede_Aydinian", "value": 7223718501758104015072575156605548676821448436818950082129919}, {"parameter": "1, 16", "name": "Ahlswede_Aydinian", "value": 7352713455424512993293715511433241424903584933611257627104896}, {"parameter": "1, 17", "name": "Ahlswede_Aydinian", "value": 8403100909706635989964618390064768734975720085968387305788806}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 339095440094744983737724144382264772141866097866894601729977608112048}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 7202658126592634772822094721352678068455741606080004611164606}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 7202657055661137090060960441555511355334257849811647731014064}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 7202657055661137090060960441555511355334257849811647731014064}, {"parameter": "0, 13, o", "name": "Ahlswede_Aydinian", "value": 7202657055661137090060960441555511355334257849811647731014064}, {"parameter": "0, 14, o", "name": "Ahlswede_Aydinian", "value": 7202657055661137090060960441539646255012289123224422923877896}, {"parameter": "0, 15, o", "name": "Ahlswede_Aydinian", "value": 7202657055661137090060960441539646253763370425585161627976350}, {"parameter": "0, 16, o", "name": "Ahlswede_Aydinian", "value": 7202657055661137090060960441539646253763370425311910504736961}, {"parameter": "0, 17, o", "name": "Ahlswede_Aydinian", "value": 7202657055661137090060960441539646253763370425311910497965552}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 7202658126592634772822094721352678068455741606080004611164606}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 7202658279582829693927888740923123349308806097743887255849325}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 7202659350514376121176206677438845054725318689300151337575604}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 7202666847044118118590708617048497129813750119990429012939932}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 7202719323189249130705076652596276131604514146764734703934526}, {"parameter": "1, 13, o", "name": "Ahlswede_Aydinian", "value": 7203086677616350926313388267577926841494933736564866641291172}, {"parameter": "1, 14, o", "name": "Ahlswede_Aydinian", "value": 7205659208189984806214513251625938210339493544548228152944416}, {"parameter": "1, 15, o", "name": "Ahlswede_Aydinian", "value": 7223718501758104015072575156605548676821448436818950082129919}, {"parameter": "1, 16, o", "name": "Ahlswede_Aydinian", "value": 7352713455424512993293715511433241424903584933611257627104896}, {"parameter": "1, 17, o", "name": "Ahlswede_Aydinian", "value": 8403100909706635989964618390064768734975720085968387305788806}, {"parameter": "", "name": "improved_johnson", "value": 7202657055661137090060960441539646255011907073791326480513504}], "known_codes": [], "upper_bound": 7202657055661137090060960441539646253763370425311910497965552, "classified": false, "lower_bound": 7035152762324593144409193941765726945128970821898343117345945, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 7031676478883553279994550741476882515263791803223057265323201}, {"parameter": "", "name": "sphere_covering", "value": 1070931546427275375676893223508668347900627185249896219}, {"parameter": "", "name": "graham_sloane", "value": 1249420075574901929205229152021472688459473002631049227}, {"parameter": "", "name": "multicomponent", "value": 7031676478883557598109118137916098281402749166051337438864101}, {"parameter": "", "name": "CossidentePavese14_theorem311", "value": 7035152762324593144409193941765349469170908750653095567348446}, {"parameter": "", "name": "XuChen2018", "value": 7035152762324593144409193941765348126436705157116660399720001}, {"parameter": "", "name": "ChenHeWengXu2019_T41", "value": 7035152762324593144409193941765348126436705157116660399720001}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 7035152762324593144409193941765348126436705157116660399720002}, {"parameter": "", "name": "two_pivot_block_construction", "value": 7034606344083088763175469579738972809092322637085617082597376}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 7035152762324593144409193941765348126436705157116660399720001}, {"parameter": "(9,),(7,),(6,)", "name": "CKMP2019_Cor_45", "value": 7035152762324593144409193941765348126436705715662524483004009}, {"parameter": "(9,),(6,),(5,)", "name": "CKMP2019_Cor_45", "value": 7035152762324593144409193941765348148976045447808918487583251}, {"parameter": "(9,),(5,),(4,)", "name": "CKMP2019_Cor_45", "value": 7035152762324593144409193941765726945128970821898343117345945}, {"parameter": "(9,),(4,),(3,)", "name": "CKMP2019_Cor_45", "value": 7035152762324593144409193941765726945128970821898343117345945}, {"parameter": "(9,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 7035152762324593144409193941765348148976045447808918487583251}, {"parameter": "(9,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 7035152762324593144409193941765348126436705715662524483004009}, {"parameter": "(9, 9)", "name": "CKMP2019_Lem_41", "value": 7035152762324593144409193941765348126436705157116660399720002}, {"parameter": "(9, 9)", "name": "CKMP2019_Cor_42", "value": 7035152762324593144409193941765348126436705157116660399720002}, {"parameter": "9", "name": "linkage_GLT", "value": 7031676478883553279994550741476882515263791803223057265323202}, {"parameter": "9", "name": "improved_linkage", "value": 7031676478883557600243028555029441257736657268361058780203365}, {"parameter": "10", "name": "improved_linkage", "value": 174251498233690921365165265789214393226031059310572528}, {"parameter": "11", "name": "improved_linkage", "value": 177881711241813594146278291351783439967640090349817602}, {"parameter": "12", "name": "improved_linkage", "value": 174833364186633801097039212111249821848874762526580394}, {"parameter": "13", "name": "improved_linkage", "value": 174339402734642676530580140924284767672803164868504300}, {"parameter": "14", "name": "improved_linkage", "value": 174325802028724909289295490475677111198194863004534080}, {"parameter": "15", "name": "improved_linkage", "value": 174337397523866152288343771570666811916144767482409066}, {"parameter": "16", "name": "improved_linkage", "value": 174337609216036319229338164221144051113896878790151549}, {"parameter": "9,0", "name": "generalized_linkage", "value": 7035152762324593144409193941765348126436705157116660399720002}, {"parameter": "9,1", "name": "generalized_linkage", "value": 7031676478885316400311760305004668665341445130987160825912686}, {"parameter": "9,2", "name": "generalized_linkage", "value": 7031676478883590026392607948366651338555556567138657146518398}, {"parameter": "9,3", "name": "generalized_linkage", "value": 7031676478883554017069726868048701155518345724373008398388102}, {"parameter": "9,4", "name": "generalized_linkage", "value": 7031676478883553294988407032731526533398192060579960590757752}, {"parameter": "9,5", "name": "generalized_linkage", "value": 7031676478883553280299650455770495077239285232382721051517554}, {"parameter": "9,6", "name": "generalized_linkage", "value": 7031676478883553280000653141795580201999379534126042899301746}, {"parameter": "9,7", "name": "generalized_linkage", "value": 7031676478883557600243028555029441257736657268361058780203365}, {"parameter": "10,1", "name": "generalized_linkage", "value": 382285832484226877470755627593221134970033594860905744}, {"parameter": "10,2", "name": "generalized_linkage", "value": 174251498248726918358211960935564837536195006926622028}, {"parameter": "10,3", "name": "generalized_linkage", "value": 174251498233735564609620583203526167855932897039609034}, {"parameter": "10,4", "name": "generalized_linkage", "value": 174251498233690942484893887098589692555185189681741286}, {"parameter": "10,5", "name": "generalized_linkage", "value": 174251498233690814677072794723345069827170066271162594}, {"parameter": "10,6", "name": "generalized_linkage", "value": 174251498233690814306571696430261901251304256901969543}, {"parameter": "10,7", "name": "generalized_linkage", "value": 174251498233690921365165265789214393226031059310572528}, {"parameter": "11,2", "name": "generalized_linkage", "value": 177881964058867118374818265030310824355108195259377550}, {"parameter": "11,3", "name": "generalized_linkage", "value": 177881711241813596755622698146865302859087366578996834}, {"parameter": "11,4", "name": "generalized_linkage", "value": 177881711241813594147384602142394428558404495280915898}, {"parameter": "11,5", "name": "generalized_linkage", "value": 177881711241813594146276091128478135460567362907945692}, {"parameter": "11,6", "name": "generalized_linkage", "value": 177881711241813594146275638674347740597254207510881300}, {"parameter": "11,7", "name": "generalized_linkage", "value": 177881711241813594146278291351783439967640090349817602}, {"parameter": "12,3", "name": "generalized_linkage", "value": 174833364186640066511941225710580893899092040581206128}, {"parameter": "12,4", "name": "generalized_linkage", "value": 174833364186633801097039221345400717417140509939810444}, {"parameter": "12,5", "name": "generalized_linkage", "value": 174833364186633801097039212111743315144160419466922986}, {"parameter": "12,6", "name": "generalized_linkage", "value": 174833364186633801097039212111184108373208487523601835}, {"parameter": "12,7", "name": "generalized_linkage", "value": 174833364186633801097039212111249821848874762526580394}, {"parameter": "13,4", "name": "generalized_linkage", "value": 174339402734642676530583308287436115730572420048681752}, {"parameter": "13,5", "name": "generalized_linkage", "value": 174339402734642676530580140924284768336380982960824752}, {"parameter": "13,6", "name": "generalized_linkage", "value": 174339402734642676530580140924284767671174967828082908}, {"parameter": "13,7", "name": "generalized_linkage", "value": 174339402734642676530580140924284767672803164868504300}, {"parameter": "14,5", "name": "generalized_linkage", "value": 174325802028724909289295490475677143793605432314780380}, {"parameter": "14,6", "name": "generalized_linkage", "value": 174325802028724909289295490475677111198194862964300579}, {"parameter": "14,7", "name": "generalized_linkage", "value": 174325802028724909289295490475677111198194863004534080}, {"parameter": "15,6", "name": "generalized_linkage", "value": 174337397523866152288343771570666811916144767489134666}, {"parameter": "15,7", "name": "generalized_linkage", "value": 174337397523866152288343771570666811916144767482409066}, {"parameter": "16,7", "name": "generalized_linkage", "value": 174337609216036319229338164221144051113896878790151549}, {"parameter": "[9, 9],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 7035152762324593144409193941765348126436705157116660399720002}, {"parameter": "[9, 9],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 7031676478885316400311760305004668665341445130987160825912686}, {"parameter": "[9, 9],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883590026392607948366651338555556567138657146518398}, {"parameter": "[9, 9],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883554017069726868048701155518345724373008398388102}, {"parameter": "[9, 9],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883553294988407032731526533398192060579960590757752}, {"parameter": "[9, 9],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883553280299650455770495077239285232382721051517554}, {"parameter": "[9, 9],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883553280000653141795580201999379534126042899301746}, {"parameter": "[9, 9],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 7031676478883557600243028555029441257736657268361058780203365}, {"parameter": "[10, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 382285832484226877470755627593221134970033594860905744}, {"parameter": "[10, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 174251498248726918358211960935564837536195006926622028}, {"parameter": "[10, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 174251498233735564609620583203526167855932897039609034}, {"parameter": "[10, 8],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 174251498233690942484893887098589692555185189681741286}, {"parameter": "[10, 8],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 174251498233690814677072794723345069827170066271162594}, {"parameter": "[10, 8],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 174251498233690814306571696430261901251304256901969543}, {"parameter": "[10, 8],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 174251498233690921365165265789214393226031059310572528}, {"parameter": "[11, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 177881964058867118374818265030310824355108195259377550}, {"parameter": "[11, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 177881711241813596755622698146865302859087366578996834}, {"parameter": "[11, 7],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 177881711241813594147384602142394428558404495280915898}, {"parameter": "[11, 7],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 177881711241813594146276091128478135460567362907945692}, {"parameter": "[11, 7],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 177881711241813594146275638674347740597254207510881300}, {"parameter": "[11, 7],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 177881711241813594146278291351783439967640090349817602}, {"parameter": "[12, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 174833364186640066511941225710580893899092040581206128}, {"parameter": "[12, 6],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 174833364186633801097039221345400717417140509939810444}, {"parameter": "[12, 6],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 174833364186633801097039212111743315144160419466922986}, {"parameter": "[12, 6],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 174833364186633801097039212111184108373208487523601835}, {"parameter": "[12, 6],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 174833364186633801097039212111249821848874762526580394}, {"parameter": "[13, 5],[0, 4]", "name": "generalized_linkage_multipleblocks", "value": 174339402734642676530583308287436115730572420048681752}, {"parameter": "[13, 5],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 174339402734642676530580140924284768336380982960824752}, {"parameter": "[13, 5],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 174339402734642676530580140924284767671174967828082908}, {"parameter": "[13, 5],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 174339402734642676530580140924284767672803164868504300}, {"parameter": "[14, 4],[0, 5]", "name": "generalized_linkage_multipleblocks", "value": 174325802028724909289295490475677143793605432314780380}, {"parameter": "[14, 4],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 174325802028724909289295490475677111198194862964300579}, {"parameter": "[14, 4],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 174325802028724909289295490475677111198194863004534080}, {"parameter": "[15, 3],[0, 6]", "name": "generalized_linkage_multipleblocks", "value": 174337397523866152288343771570666811916144767489134666}, {"parameter": "[15, 3],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 174337397523866152288343771570666811916144767482409066}, {"parameter": "[16, 2],[0, 7]", "name": "generalized_linkage_multipleblocks", "value": 174337609216036319229338164221144051113896878790151549}, {"parameter": "[9, 2, 7],[0, 7, 2]", "name": "generalized_linkage_multipleblocks", "value": 3476457692542416220024902235581441176271169566732705393993}, {"parameter": "[9, 3, 6],[0, 6, 3]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538098111556899351162493784485770960586606879143}, {"parameter": "[9, 3, 6],[0, 7, 3]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538098105564512703441003916529818139030090929951}, {"parameter": "[9, 4, 5],[0, 5, 4]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538098410427175851490621094636176837280225663845}, {"parameter": "[9, 4, 5],[0, 6, 4]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538098105457505950166064097173709730049485896401}, {"parameter": "[9, 4, 5],[0, 7, 4]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538098105566741997652733052045621933312862601045}, {"parameter": "[9, 5, 4],[0, 4, 5]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538113091753673329750235315532938264483840025487}, {"parameter": "[9, 5, 4],[0, 5, 5]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538098105457513356450129368665482699697673149987}, {"parameter": "[9, 5, 4],[0, 6, 5]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538098105457505953314971456770107752184564778395}, {"parameter": "[9, 5, 4],[0, 7, 5]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538098105564870024181686521184153338364304661851}, {"parameter": "[9, 6, 3],[0, 3, 6]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538832727560949460717929199395746344514421688345}, {"parameter": "[9, 6, 3],[0, 4, 6]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538098105457877173406999624640722308309647469993}, {"parameter": "[9, 6, 3],[0, 5, 6]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538098105457513513895493448211388694811361184193}, {"parameter": "[9, 6, 3],[0, 6, 6]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538098105457505950670784337396807142310708593301}, {"parameter": "[9, 6, 3],[0, 7, 6]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538098105564566685120513753402631684849776374143}, {"parameter": "[9, 7, 2],[0, 2, 7]", "name": "generalized_linkage_multipleblocks", "value": 3476457692574094582394111431612638315162576534338102881023}, {"parameter": "[9, 7, 2],[0, 3, 7]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538098105475710419571986337419430884789764353487}, {"parameter": "[9, 7, 2],[0, 4, 7]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538098105457884910316889368100063553152620798051}, {"parameter": "[9, 7, 2],[0, 5, 7]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538098105457513381686140754667878836355123823087}, {"parameter": "[9, 7, 2],[0, 6, 7]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538098105457505950242313928621508231689552711793}, {"parameter": "[9, 7, 2],[0, 7, 7]", "name": "generalized_linkage_multipleblocks", "value": 3476457692538098105564558333000428770433832881710301142315}, {"parameter": "", "name": "JohnsonLB", "value": 1004953525674504094475148576288714841313092648734039015512135}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 1004953529235800717656159993912842505344642090564056747066758}], "request": [7, 18, 4, 9], "liftedmrdsizebound": 7035247488648116278161161578065991267677372265937535759709205, "comments": "", "equal_bound_constraints": []}