{"upper_bound_constraints": [{"parameter": "", "name": "trivial_3", "value": 274233129946126302944172557067080024027112256221723188128237029276023731781632}, {"parameter": "", "name": "cdc_upper_bound", "value": 8728353743328747591777436352561296225693508}, {"parameter": "", "name": "relax_d", "value": 8728353743328747591777436352561296225693500}, {"parameter": "", "name": "improved_cdc_upper_bound", "value": 8728353743328747591777436352561296225693500}], "known_codes": [], "upper_bound": 8728353743328747591777436352561296225693500, "classified": false, "lower_bound": 8727963568087713208609497751335124787527680, "lower_bound_constraints": [{"parameter": "", "name": "trivial_2", "value": 0}, {"parameter": "", "name": "gilbert_varshamov", "value": 35394386055826353090}, {"parameter": "", "name": "trivial_4", "value": 2}, {"parameter": "", "name": "cdc_lower_bound", "value": 8727963568087713208609497751335124787527680}, {"parameter": "", "name": "cdc_average_argument", "value": 423911582533324057193730209521}, {"parameter": "", "name": "layer_construction", "value": 8727963568087713208609497751335124787527680}, {"parameter": "", "name": "improved_cdc_lower_bound", "value": 8727963568087713208609497751335124787527680}], "request": [9, 18, 10], "comments": "", "equal_bound_constraints": []}