{"upper_bound_constraints": [{"parameter": "", "name": "all_subs", "value": 7608481579300344488889504665693103}, {"parameter": "", "name": "singleton", "value": 1319738336534843578720956303}, {"parameter": "4", "name": "ilp_2", "value": 1131271626030200793786236303}, {"parameter": "6", "name": "ilp_3", "value": 388029456308667099596567965406}, {"parameter": "", "name": "anticode", "value": 1131271626030200793786236303}, {"parameter": "", "name": "linear_programming_bound", "value": 1131271626030200793786236303}, {"parameter": "", "name": "sphere_packing", "value": 7608481579300344488889504665693103}, {"parameter": "1", "name": "ilp_1", "value": 1131271626030000717939391904}, {"parameter": "2", "name": "ilp_1", "value": 1131271626030000717939391904}, {"parameter": "3", "name": "ilp_1", "value": 1131271626030200793786236303}, {"parameter": "7", "name": "ilp_4", "value": 387890931910209281868654403035}, {"parameter": "8", "name": "ilp_4", "value": 387890924989756403043455672966}, {"parameter": "9", "name": "ilp_4", "value": 387890924989345843347950207463}, {"parameter": "10", "name": "ilp_4", "value": 387890924989345843347950207463}, {"parameter": "11", "name": "ilp_4", "value": 55432375611446734876104713535}, {"parameter": "12", "name": "ilp_4", "value": 7918844865658548045474311991}, {"parameter": "", "name": "johnson_1", "value": 1131271626030000717939391904}, {"parameter": "", "name": "johnson_2", "value": 7918844865658548045474311991}, {"parameter": "0, 5", "name": "Ahlswede_Aydinian", "value": 7608481579300344488889504665693103}, {"parameter": "0, 6", "name": "Ahlswede_Aydinian", "value": 388029456308667099596567965406}, {"parameter": "0, 7", "name": "Ahlswede_Aydinian", "value": 387890931910209281868654403035}, {"parameter": "0, 8", "name": "Ahlswede_Aydinian", "value": 387890924989756403043455672966}, {"parameter": "0, 9", "name": "Ahlswede_Aydinian", "value": 387890924989345843347950207463}, {"parameter": "0, 10", "name": "Ahlswede_Aydinian", "value": 387890924989345843347950207463}, {"parameter": "0, 11", "name": "Ahlswede_Aydinian", "value": 55432375611446734876104713535}, {"parameter": "0, 12", "name": "Ahlswede_Aydinian", "value": 7918844865658548045474311991}, {"parameter": "1, 4", "name": "Ahlswede_Aydinian", "value": 1131271626030200793786236303}, {"parameter": "1, 5", "name": "Ahlswede_Aydinian", "value": 1131271794173971555172669762}, {"parameter": "1, 6", "name": "Ahlswede_Aydinian", "value": 1131272971181766417897888712}, {"parameter": "1, 7", "name": "Ahlswede_Aydinian", "value": 1131281210304908155957394214}, {"parameter": "1, 8", "name": "Ahlswede_Aydinian", "value": 1131338887527406865302975119}, {"parameter": "1, 9", "name": "Ahlswede_Aydinian", "value": 1131742792818104312308144278}, {"parameter": "1, 10", "name": "Ahlswede_Aydinian", "value": 1134578225304992938382989290}, {"parameter": "1, 11", "name": "Ahlswede_Aydinian", "value": 1154831166872104449096798435}, {"parameter": "1, 12", "name": "Ahlswede_Aydinian", "value": 1319738336534843578720956303}, {"parameter": "0, 8, o", "name": "Ahlswede_Aydinian", "value": 7608481579300344488889504665693103}, {"parameter": "0, 9, o", "name": "Ahlswede_Aydinian", "value": 1131271626030200793786236303}, {"parameter": "0, 10, o", "name": "Ahlswede_Aydinian", "value": 1131271626030200793786236303}, {"parameter": "0, 11, o", "name": "Ahlswede_Aydinian", "value": 1131271626030000717939391904}, {"parameter": "0, 12, o", "name": "Ahlswede_Aydinian", "value": 1131271626030000717939391904}, {"parameter": "1, 7, o", "name": "Ahlswede_Aydinian", "value": 388029456308667099596567965406}, {"parameter": "1, 8, o", "name": "Ahlswede_Aydinian", "value": 388049246641325194648304572450}, {"parameter": "1, 9, o", "name": "Ahlswede_Aydinian", "value": 388187835513680579789779321041}, {"parameter": "1, 10, o", "name": "Ahlswede_Aydinian", "value": 389160736341525501753440641807}, {"parameter": "1, 11, o", "name": "Ahlswede_Aydinian", "value": 396110027821320452296281149652}, {"parameter": "1, 12, o", "name": "Ahlswede_Aydinian", "value": 452697105941691435357049202400}, {"parameter": "", "name": "improved_johnson", "value": 1131271626030000717939391898}, {"parameter": "", "name": "HKK_lemma_2_4_upper_bound", "value": 55432375611446734292793895799}], "known_codes": [], "upper_bound": 1131271626030000717939391898, "classified": false, "lower_bound": 1104962749271386404355326654, "lower_bound_constraints": [{"parameter": "", "name": "trivial_1", "value": 0}, {"parameter": "", "name": "LMRD", "value": 1104427674243920646305299201}, {"parameter": "", "name": "sphere_covering", "value": 403881397420196913663931}, {"parameter": "", "name": "graham_sloane", "value": 471166846317330802827903}, {"parameter": "", "name": "multicomponent", "value": 1104427865825156774433240353}, {"parameter": "", "name": "construction_ST_B", "value": 1104888040269357356894136924}, {"parameter": "", "name": "EF_special", "value": 1104898620939789578683671514}, {"parameter": "", "name": "LiuChangFeng2019_Theo_2_6", "value": 1104427678898147360404339202}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_12", "value": 1104887857015923480931730404}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_14", "value": 1104888040269326769304840663}, {"parameter": "", "name": "LiuChangFeng2019_Theo_3_16", "value": 1104897721458262626069908209}, {"parameter": "", "name": "EF_Kurz2020_special", "value": 1104898620940893642387898640}, {"parameter": "", "name": "two_pivot_block_construction", "value": 1104887852441522338367799296}, {"parameter": "", "name": "ChenHeWengXu2019_T31", "value": 22550483487598441295157649}, {"parameter": "", "name": "construction_ST_B_recursive", "value": 1104888044102579159979370508}, {"parameter": "(8,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 1104438817440860062725778501}, {"parameter": "(8,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 1104438817440826843636496101}, {"parameter": "(7,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 460019767490864503229153}, {"parameter": "(7,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 460019767458309795732401}, {"parameter": "(6,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 3285809794387455273629201}, {"parameter": "(6,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 3285809794420009981125953}, {"parameter": "(5,),(3,),(2,)", "name": "CKMP2019_Cor_45", "value": 22550519851813966588930501}, {"parameter": "(5,),(2,),(1,)", "name": "CKMP2019_Cor_45", "value": 22550519851847185678212901}, {"parameter": "(5, 8)", "name": "CKMP2019_Lem_41", "value": 1104438817440826829795208900}, {"parameter": "(6, 7)", "name": "CKMP2019_Lem_41", "value": 460019767457631572659552}, {"parameter": "(7, 6)", "name": "CKMP2019_Lem_41", "value": 3285809794386777050556352}, {"parameter": "(8, 5)", "name": "CKMP2019_Lem_41", "value": 22550519851813952747643300}, {"parameter": "(5, 8)", "name": "CKMP2019_Cor_42", "value": 1104438817440826829795208900}, {"parameter": "(6, 7)", "name": "CKMP2019_Cor_42", "value": 460019767457631572659552}, {"parameter": "(7, 6)", "name": "CKMP2019_Cor_42", "value": 3285809794386777050556352}, {"parameter": "(8, 5)", "name": "CKMP2019_Cor_42", "value": 22550519851813952747643300}, {"parameter": "5", "name": "linkage_GLT", "value": 1104427674243920646587914500}, {"parameter": "6", "name": "linkage_GLT", "value": 459986536544739960993952}, {"parameter": "7", "name": "linkage_GLT", "value": 3285809699408094573391552}, {"parameter": "8", "name": "linkage_GLT", "value": 22550515197587238648603300}, {"parameter": "5", "name": "improved_linkage", "value": 1104427865918229459221835632}, {"parameter": "6", "name": "improved_linkage", "value": 459986616376435151328010}, {"parameter": "7", "name": "improved_linkage", "value": 3285809699412844198283886}, {"parameter": "8", "name": "improved_linkage", "value": 22550515197587238931218598}, {"parameter": "9", "name": "improved_linkage", "value": 22549136325516811407004056}, {"parameter": "10", "name": "improved_linkage", "value": 22550477976986560159726042}, {"parameter": "11", "name": "improved_linkage", "value": 3221470108218688227795818}, {"parameter": "5,0", "name": "generalized_linkage", "value": 1104438817440826829795208900}, {"parameter": "5,1", "name": "generalized_linkage", "value": 1104427901737183826588920036}, {"parameter": "5,2", "name": "generalized_linkage", "value": 1104427678794327272155318114}, {"parameter": "5,3", "name": "generalized_linkage", "value": 1104427865918229459221835632}, {"parameter": "6,0", "name": "generalized_linkage", "value": 460019767457631572659552}, {"parameter": "6,1", "name": "generalized_linkage", "value": 459987201730801978501800}, {"parameter": "6,2", "name": "generalized_linkage", "value": 459986538444589917910801}, {"parameter": "6,3", "name": "generalized_linkage", "value": 459986616376435151328010}, {"parameter": "7,0", "name": "generalized_linkage", "value": 3285809794386777050556352}, {"parameter": "7,1", "name": "generalized_linkage", "value": 3285809699690684781171102}, {"parameter": "7,2", "name": "generalized_linkage", "value": 3285809699408886178844050}, {"parameter": "7,3", "name": "generalized_linkage", "value": 3285809699412844198283886}, {"parameter": "8,0", "name": "generalized_linkage", "value": 22550519851813952747643300}, {"parameter": "8,1", "name": "generalized_linkage", "value": 22550515197587353985660400}, {"parameter": "8,2", "name": "generalized_linkage", "value": 22550515197587238696643250}, {"parameter": "8,3", "name": "generalized_linkage", "value": 22550515197587238931218598}, {"parameter": "9,1", "name": "generalized_linkage", "value": 22549136325517618767226906}, {"parameter": "9,2", "name": "generalized_linkage", "value": 22549136325516811406989706}, {"parameter": "9,3", "name": "generalized_linkage", "value": 22549136325516811407004056}, {"parameter": "10,2", "name": "generalized_linkage", "value": 22550477976986560159728842}, {"parameter": "10,3", "name": "generalized_linkage", "value": 22550477976986560159726042}, {"parameter": "11,3", "name": "generalized_linkage", "value": 3221470108218688227795818}, {"parameter": "[5, 8],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 1104438817440826829795208900}, {"parameter": "[5, 8],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 1104427901737183826588920036}, {"parameter": "[5, 8],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 1104427678794327272155318114}, {"parameter": "[5, 8],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1104427865918229459221835632}, {"parameter": "[6, 7],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 460019767457631572659552}, {"parameter": "[6, 7],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 459987201730801978501800}, {"parameter": "[6, 7],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 459986538444589917910801}, {"parameter": "[6, 7],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 459986616376435151328010}, {"parameter": "[7, 6],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 3285809794386777050556352}, {"parameter": "[7, 6],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 3285809699690684781171102}, {"parameter": "[7, 6],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 3285809699408886178844050}, {"parameter": "[7, 6],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3285809699412844198283886}, {"parameter": "[8, 5],[0, 0]", "name": "generalized_linkage_multipleblocks", "value": 22550519851813952747643300}, {"parameter": "[8, 5],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22550515197587353985660400}, {"parameter": "[8, 5],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22550515197587238696643250}, {"parameter": "[8, 5],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22550515197587238931218598}, {"parameter": "[9, 4],[0, 1]", "name": "generalized_linkage_multipleblocks", "value": 22549136325517618767226906}, {"parameter": "[9, 4],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22549136325516811406989706}, {"parameter": "[9, 4],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22549136325516811407004056}, {"parameter": "[10, 3],[0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22550477976986560159728842}, {"parameter": "[10, 3],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22550477976986560159726042}, {"parameter": "[11, 2],[0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3221470108218688227795818}, {"parameter": "[5, 2, 6],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 3220097999725282338048015}, {"parameter": "[5, 2, 6],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 3220098013288807558694759}, {"parameter": "[5, 2, 6],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 3231240533950743783161707}, {"parameter": "[5, 3, 5],[0, 2, 0]", "name": "generalized_linkage_multipleblocks", "value": 22550482513746843938236955}, {"parameter": "[5, 3, 5],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539345501532159096543313}, {"parameter": "[5, 3, 5],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539345515095684317190057}, {"parameter": "[5, 3, 5],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22550488035757620541657005}, {"parameter": "[5, 3, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 22550478045379931271964899}, {"parameter": "[5, 3, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539341033165246430271257}, {"parameter": "[5, 3, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539341046728771650918001}, {"parameter": "[5, 3, 5],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22550483567390707875384949}, {"parameter": "[5, 4, 4],[0, 1, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539605455718544360017235}, {"parameter": "[5, 4, 4],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539567685440834359323300}, {"parameter": "[5, 4, 4],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539568361369650805681243}, {"parameter": "[5, 4, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539378061556009913708743}, {"parameter": "[5, 4, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340291278299913014808}, {"parameter": "[5, 4, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539340967207116359372751}, {"parameter": "[5, 4, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 22539378142710826364674385}, {"parameter": "[5, 4, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340372433116363980450}, {"parameter": "[5, 4, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539341048361932810338393}, {"parameter": "[5, 5, 3],[0, 0, 2]", "name": "generalized_linkage_multipleblocks", "value": 22550477967835109560332155}, {"parameter": "[5, 5, 3],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 22550477965627093826738499}, {"parameter": "[5, 5, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340306469448205195655}, {"parameter": "[5, 5, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539340304261432471601999}, {"parameter": "[5, 5, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340293215852454591649}, {"parameter": "[5, 5, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539340291007836720997993}, {"parameter": "[5, 5, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 22539340372771529630076957}, {"parameter": "[5, 5, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 22539340370563513896483301}, {"parameter": "[5, 6, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 3219906418533330624019215}, {"parameter": "[5, 6, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 3219905769659276372894765}, {"parameter": "[5, 6, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 3219905756123353753049909}, {"parameter": "[5, 6, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 3219905835679554144697553}, {"parameter": "[6, 2, 5],[0, 3, 0]", "name": "generalized_linkage_multipleblocks", "value": 1373712807765450988815}, {"parameter": "[6, 2, 5],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1341150349479845138409}, {"parameter": "[6, 2, 5],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1374379324821874195559}, {"parameter": "[6, 3, 4],[0, 2, 1]", "name": "generalized_linkage_multipleblocks", "value": 1373634914523757354014}, {"parameter": "[6, 3, 4],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341072456238151503608}, {"parameter": "[6, 3, 4],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1374301431580180560758}, {"parameter": "[6, 3, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1373633020246714886757}, {"parameter": "[6, 3, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341070561961109036351}, {"parameter": "[6, 3, 4],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1374299537303138093501}, {"parameter": "[6, 4, 3],[0, 1, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341748976489717275564}, {"parameter": "[6, 4, 3],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1341735413642638896357}, {"parameter": "[6, 4, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341084120173616005215}, {"parameter": "[6, 4, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1341070557326537626008}, {"parameter": "[6, 4, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1341084124905358901214}, {"parameter": "[6, 4, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1341070562058280522007}, {"parameter": "[6, 5, 2],[0, 0, 3]", "name": "generalized_linkage_multipleblocks", "value": 1373634953048736002415}, {"parameter": "[6, 5, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1341070596771852345315}, {"parameter": "[6, 5, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1341070557328850269208}, {"parameter": "[6, 5, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1341070561963462856701}, {"parameter": "[7, 2, 4],[0, 3, 1]", "name": "generalized_linkage_multipleblocks", "value": 1368612142700382103895}, {"parameter": "[7, 2, 4],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1368612142700382103895}, {"parameter": "[7, 3, 3],[0, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 1368612138744033766401}, {"parameter": "[7, 3, 3],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1368612138744033766401}, {"parameter": "[7, 3, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1368612137953103069201}, {"parameter": "[7, 3, 3],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1368612137953103069201}, {"parameter": "[7, 4, 2],[0, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1368612414875077147559}, {"parameter": "[7, 4, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1368612137952867670359}, {"parameter": "[7, 4, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1368612137953108850809}, {"parameter": "[8, 2, 3],[0, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 1346387742367813933207}, {"parameter": "[8, 3, 2],[0, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1346387742367578534365}, {"parameter": "[8, 3, 2],[0, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 1346387742367531474765}, {"parameter": "[5, 2, 3, 3],[0, 3, 2, 2]", "name": "generalized_linkage_multipleblocks", "value": 12479485988059193798464}, {"parameter": "[5, 2, 3, 3],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 12479485988059193798464}, {"parameter": "[5, 2, 4, 2],[0, 3, 1, 3]", "name": "generalized_linkage_multipleblocks", "value": 1342473773374352104822}, {"parameter": "[5, 2, 4, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 1342473773374352104822}, {"parameter": "[5, 3, 2, 3],[0, 2, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 23616418681088743946856}, {"parameter": "[5, 3, 2, 3],[0, 3, 3, 2]", "name": "generalized_linkage_multipleblocks", "value": 23616418415225299390048}, {"parameter": "[5, 3, 3, 2],[0, 2, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 12479406466403902253214}, {"parameter": "[5, 3, 3, 2],[0, 2, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 12479406466403902253214}, {"parameter": "[5, 3, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 12479406200540457696406}, {"parameter": "[5, 3, 3, 2],[0, 3, 3, 3]", "name": "generalized_linkage_multipleblocks", "value": 12479406200540457696406}, {"parameter": "[6, 2, 3, 2],[0, 3, 2, 3]", "name": "generalized_linkage_multipleblocks", "value": 65208588684236073958}, {"parameter": "", "name": "JohnsonLB", "value": 1104962749271386404355326654}, {"parameter": "", "name": "HKK_lemma_2_4_lower_bound", "value": 460218585550627492462657}], "request": [7, 13, 4, 5], "liftedmrdsizebound": 1104988286060340274219359110, "comments": "", "equal_bound_constraints": []}