{"upper_bound_constraints": [{"parameter": "", "name": "trivial_3", "value": 274233129946126302944172557067080024027112256221723188128237029276023731781632}, {"parameter": "", "name": "cdc_upper_bound", "value": 1315644592069425617323804855494464786085192935879866463277808}, {"parameter": "", "name": "relax_d", "value": 1315644592069425617323804855494464786085192935879866463277802}, {"parameter": "", "name": "improved_cdc_upper_bound", "value": 1315644592069425617323804855494464786085192935879866463277804}, {"parameter": "", "name": "special_improved_cdc_upper_bound", "value": 1315644592069425617323804855494464786085192935879866463277802}], "known_codes": [], "upper_bound": 1315644592069425617323804855494464786085192935879866463277802, "classified": false, "lower_bound": 1310020512493866339206870302329188714066269405535589028965743, "lower_bound_constraints": [{"parameter": "", "name": "trivial_2", "value": 0}, {"parameter": "", "name": "gilbert_varshamov", "value": 34915369451903221989052485834997896129785}, {"parameter": "", "name": "trivial_4", "value": 2}, {"parameter": "", "name": "cdc_lower_bound", "value": 1310020512493866339206870302329188714066269405123241129798163}, {"parameter": "", "name": "cdc_average_argument", "value": 5153775204659557937522482140940800136870075487665}, {"parameter": "", "name": "layer_construction", "value": 1310020512493866339206870302329188714066269405535589028965743}, {"parameter": "", "name": "improved_cdc_lower_bound", "value": 1310020512493866339206870302329188714066269405535589028965743}], "request": [9, 18, 6], "comments": "", "equal_bound_constraints": []}