{"upper_bound_constraints": [{"parameter": "", "name": "trivial_3", "value": 763284346273718863235332092234852978970191401293294075904}, {"parameter": "", "name": "cdc_upper_bound", "value": 55800240348915783822307089177851047776}, {"parameter": "", "name": "relax_d", "value": 55800240348915783822307089177851047770}, {"parameter": "", "name": "improved_cdc_upper_bound", "value": 55800240348915783822307089177851047770}], "known_codes": [], "upper_bound": 55800240348915783822307089177851047770, "classified": false, "lower_bound": 55511151231735878357960212196595688877, "lower_bound_constraints": [{"parameter": "", "name": "trivial_2", "value": 0}, {"parameter": "", "name": "gilbert_varshamov", "value": 1677040739623995365021}, {"parameter": "", "name": "trivial_4", "value": 2}, {"parameter": "", "name": "cdc_lower_bound", "value": 55511151231735878357960212196595688875}, {"parameter": "", "name": "cdc_average_argument", "value": 54569672793152813306118562305}, {"parameter": "", "name": "layer_construction", "value": 55511151231735878357960212196595688877}, {"parameter": "", "name": "improved_cdc_lower_bound", "value": 55511151231735878357960212196595688877}], "request": [5, 18, 8], "comments": "", "equal_bound_constraints": []}