{"upper_bound_constraints": [{"parameter": "", "name": "trivial_3", "value": 763284346273718863235332092234852978970191401293294075904}, {"parameter": "", "name": "cdc_upper_bound", "value": 763284346273718863235332092234852978970191401293294075904}, {"parameter": "", "name": "relax_d", "value": 763284346273718863235332092234852978970191401293294075904}, {"parameter": "", "name": "improved_cdc_upper_bound", "value": 763284346273718863235332092234852978970191401293294075904}, {"parameter": "", "name": "special_improved_cdc_upper_bound", "value": 763284346273718863235332092234852978970191401293294075902}], "known_codes": [{"nrisotypes": "1", "details": "", "file": "", "size": 545700103157547923454032782855873119865046931321370312704}], "upper_bound": 545700103157547923454032782855873119865046931321370312704, "classified": true, "lower_bound": 545700103157547923454032782855873119865046931321370312704, "lower_bound_constraints": [{"parameter": "", "name": "trivial_2", "value": 0}, {"parameter": "", "name": "gilbert_varshamov", "value": 527249351098192671380883628299274720434677122834015}, {"parameter": "", "name": "trivial_4", "value": 2}, {"parameter": "", "name": "cdc_lower_bound", "value": 543959438081999965602054955428186322207689611643379103556}, {"parameter": "", "name": "cdc_average_argument", "value": 50907589125497474057188733698375705075497018228189}, {"parameter": "", "name": "layer_construction", "value": 545700103157547923454032782855873119865046931321370312704}, {"parameter": "", "name": "improved_cdc_lower_bound", "value": 545700103157547923454032782855873119865046931321370312704}], "request": [5, 18, 2], "comments": "", "equal_bound_constraints": [{"parameter": "", "name": "d2", "value": 545700103157547923454032782855873119865046931321370312704}]}