{"upper_bound_constraints": [{"parameter": "", "name": "trivial_3", "value": 274233129946126302944172557067080024027112256221723188128237029276023731781632}, {"parameter": "", "name": "cdc_upper_bound", "value": 527376766031386756559313862321990928155072728050869180595816734341088}, {"parameter": "", "name": "relax_d", "value": 527376766031386756559313862321990928155072728050869180595816734341084}, {"parameter": "", "name": "improved_cdc_upper_bound", "value": 527376766031386756559313862321990928155072728050869180595816734341086}, {"parameter": "", "name": "special_improved_cdc_upper_bound", "value": 527376766031386756559313862321990928155072728050869180595816734341084}], "known_codes": [], "upper_bound": 527376766031386756559313862321990928155072728050869180595816734341084, "classified": false, "lower_bound": 507616764229322781686464606428623128671087643432560964680967751721845, "lower_bound_constraints": [{"parameter": "", "name": "trivial_2", "value": 0}, {"parameter": "", "name": "gilbert_varshamov", "value": 809859229077532212630540169854371199687592161950523520}, {"parameter": "", "name": "trivial_4", "value": 2}, {"parameter": "", "name": "cdc_lower_bound", "value": 507616764229322781602958975385022100019528978613045117526000385192731}, {"parameter": "", "name": "cdc_average_argument", "value": 17970103036251496897420141259500578996050464975501629222892}, {"parameter": "", "name": "layer_construction", "value": 507616764229322781686464606428623128671087643432560964680967751721845}, {"parameter": "", "name": "improved_cdc_lower_bound", "value": 507616764229322781686464606428623128671087643432560964680967751721845}], "request": [9, 18, 4], "comments": "", "equal_bound_constraints": []}