{"upper_bound_constraints": [{"parameter": "", "name": "trivial_3", "value": 201069312609841845828101079279279809006}, {"parameter": "", "name": "cdc_upper_bound", "value": 82762757936956469236919056184714}, {"parameter": "", "name": "relax_d", "value": 100534656304920922914050539639639904503}, {"parameter": "", "name": "improved_cdc_upper_bound", "value": 82762757936956469236919056184712}], "known_codes": [], "upper_bound": 82762757936956469236919056184712, "classified": false, "lower_bound": 81152544935873260758028589090426, "lower_bound_constraints": [{"parameter": "", "name": "trivial_2", "value": 0}, {"parameter": "", "name": "gilbert_varshamov", "value": 2179631798989213709949642627}, {"parameter": "", "name": "trivial_4", "value": 2}, {"parameter": "", "name": "cdc_lower_bound", "value": 40576272467936630379014294545213}, {"parameter": "", "name": "cdc_average_argument", "value": 81152544935873260758028589090426}, {"parameter": "", "name": "layer_construction", "value": 40576274886483936496155181058505}, {"parameter": "", "name": "improved_cdc_lower_bound", "value": 40576274886483936496155181058505}], "request": [8, 13, 3], "comments": "", "equal_bound_constraints": []}