{ "cases": [ { "name": "Z_le_3r2", "gamma": "4334301/10000000", "parameters": [ "21614991423/100000000000", "54077811/1250000000", "194276795171/4000000000000", "0", "0" ] }, { "name": "d_ge_23Z20", "gamma": "338629/781250", "parameters": [ "10136512413/50000000000", "981625653/25000000000", "48176352919/1000000000000", "0", "0" ] }, { "name": "r_le_7q8", "gamma": "43336741/100000000", "parameters": [ "15013790669/100000000000", "597340637/50000000000", "678786743/12500000000", "271/20000000000", "519/2000000000" ] } ] }