{"upper_bound_constraints": [{"parameter": "", "name": "trivial_3", "value": 9133566775022038782236112988332802999061405421111764559241}, {"parameter": "", "name": "cdc_upper_bound", "value": 392840373172662539080288071227853343441999420847107}, {"parameter": "", "name": "relax_d", "value": 392840373172662539080288071227853343441999420847103}, {"parameter": "", "name": "improved_cdc_upper_bound", "value": 392840373172662539080288071227853343441999420847105}, {"parameter": "", "name": "special_improved_cdc_upper_bound", "value": 392840373172662539080288071227853343441999420847103}], "known_codes": [], "upper_bound": 392840373172662539080288071227853343441999420847103, "classified": false, "lower_bound": 374250235688030933246748192573932463292553063720068, "lower_bound_constraints": [{"parameter": "", "name": "trivial_2", "value": 0}, {"parameter": "", "name": "gilbert_varshamov", "value": 229677686896914819327887775428558956075}, {"parameter": "", "name": "trivial_4", "value": 2}, {"parameter": "", "name": "cdc_lower_bound", "value": 374250235688030932597524653763562060440696193548288}, {"parameter": "", "name": "cdc_average_argument", "value": 392005284421291369700511248311516001205825}, {"parameter": "", "name": "layer_construction", "value": 374250235688030933246748192573932463292553063720068}, {"parameter": "", "name": "improved_cdc_lower_bound", "value": 374250235688030933246748192573932463292553063720068}], "request": [8, 16, 4], "comments": "", "equal_bound_constraints": []}