{"upper_bound_constraints": [{"parameter": "", "name": "trivial_3", "value": 274233129946126302944172557067080024027112256221723188128237029276023731781632}, {"parameter": "", "name": "cdc_upper_bound", "value": 527376766031386756559313862321990928155072728050869180595816734341088}, {"parameter": "", "name": "relax_d", "value": 224384992517708719472523093298570420971408321696723352971792224732784491888640}, {"parameter": "", "name": "improved_cdc_upper_bound", "value": 527376766031386756559313862321990928155072728050869180595816734341086}, {"parameter": "", "name": "special_improved_cdc_upper_bound", "value": 527376766031386756559313862321990928155072728050869180595816734341084}], "known_codes": [], "upper_bound": 527376766031386756559313862321990928155072728050869180595816734341084, "classified": false, "lower_bound": 507616764232917425308935754448863710040386807337585623145058143856875, "lower_bound_constraints": [{"parameter": "", "name": "trivial_2", "value": 0}, {"parameter": "", "name": "gilbert_varshamov", "value": 12710039425543507530514923248672201369060304988665756088932990}, {"parameter": "", "name": "trivial_4", "value": 2}, {"parameter": "", "name": "cdc_lower_bound", "value": 507616764229322781602958975385022100019528978613045117526000385192731}, {"parameter": "", "name": "cdc_average_argument", "value": 62667554423372358357753846164303812672099242687304970725001920222878}, {"parameter": "", "name": "layer_construction", "value": 507616764232917425308935754448863710040386807337585623145058143856875}, {"parameter": "", "name": "improved_cdc_lower_bound", "value": 507616764232917425308935754448863710040386807337585623145058143856875}], "request": [9, 18, 3], "comments": "", "equal_bound_constraints": []}