b in [1/8, 385/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [385/3072, 193/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [193/1536, 129/1024]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [129/1024, 97/768]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [97/768, 389/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [389/3072, 65/512]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [65/512, 391/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [391/3072, 49/384]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [49/384, 131/1024]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [131/1024, 197/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [197/1536, 395/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [395/3072, 33/256]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [33/256, 397/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [397/3072, 199/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [199/1536, 133/1024]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [133/1024, 25/192]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [25/192, 401/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [401/3072, 67/512]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [67/512, 403/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [403/3072, 101/768]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [101/768, 135/1024]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [135/1024, 203/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [203/1536, 407/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [407/3072, 17/128]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [17/128, 409/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [409/3072, 205/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [205/1536, 137/1024]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [137/1024, 103/768]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [103/768, 413/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [413/3072, 69/512]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [69/512, 415/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [415/3072, 13/96]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [13/96, 139/1024]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [139/1024, 209/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [209/1536, 419/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [419/3072, 35/256]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [35/256, 421/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [421/3072, 211/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [211/1536, 141/1024]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [141/1024, 53/384]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [53/384, 425/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [425/3072, 71/512]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [71/512, 427/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [427/3072, 107/768]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [107/768, 143/1024]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [143/1024, 215/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [215/1536, 431/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [431/3072, 9/64]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [9/64, 433/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [433/3072, 217/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [217/1536, 145/1024]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [145/1024, 109/768]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [109/768, 437/3072]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [437/3072, 73/512]  DP_float_lam 0.17157  cert@1/54 True  cert@1/16 True  
b in [73/512, 439/3072]  DP_float_lam 0.16885  cert@1/54 True  cert@1/16 True  
b in [439/3072, 55/384]  DP_float_lam 0.16445  cert@1/54 True  cert@1/16 True  
b in [55/384, 147/1024]  DP_float_lam 0.16129  cert@1/54 True  cert@1/16 True  
b in [147/1024, 221/1536]  DP_float_lam 0.15434  cert@1/54 True  cert@1/16 True  
b in [221/1536, 443/3072]  DP_float_lam 0.15221  cert@1/54 True  cert@1/16 True  
b in [443/3072, 37/256]  DP_float_lam 0.15221  cert@1/54 True  cert@1/16 True  
b in [37/256, 445/3072]  DP_float_lam 0.15221  cert@1/54 True  cert@1/16 True  
b in [445/3072, 223/1536]  DP_float_lam 0.14997  cert@1/54 True  cert@1/16 True  
b in [223/1536, 149/1024]  DP_float_lam 0.14729  cert@1/54 True  cert@1/16 True  
b in [149/1024, 7/48]  DP_float_lam 0.14546  cert@1/54 True  cert@1/16 True  
b in [7/48, 449/3072]  DP_float_lam 0.14242  cert@1/54 True  cert@1/16 True  
b in [449/3072, 75/512]  DP_float_lam 0.14194  cert@1/54 True  cert@1/16 True  
b in [75/512, 451/3072]  DP_float_lam 0.13966  cert@1/54 True  cert@1/16 True  
b in [451/3072, 113/768]  DP_float_lam 0.13432  cert@1/54 True  cert@1/16 True  
b in [113/768, 151/1024]  DP_float_lam 0.13139  cert@1/54 True  cert@1/16 True  
b in [151/1024, 227/1536]  DP_float_lam 0.13139  cert@1/54 True  cert@1/16 True  
b in [227/1536, 455/3072]  DP_float_lam 0.13139  cert@1/54 True  cert@1/16 True  
b in [455/3072, 19/128]  DP_float_lam 0.13139  cert@1/54 True  cert@1/16 True  
b in [19/128, 457/3072]  DP_float_lam 0.13139  cert@1/54 True  cert@1/16 True  
b in [457/3072, 229/1536]  DP_float_lam 0.13139  cert@1/54 True  cert@1/16 True  
b in [229/1536, 153/1024]  DP_float_lam 0.13139  cert@1/54 True  cert@1/16 True  
b in [153/1024, 115/768]  DP_float_lam 0.12616  cert@1/54 True  cert@1/16 True  
b in [115/768, 461/3072]  DP_float_lam 0.11367  cert@1/54 True  cert@1/16 True  
b in [461/3072, 77/512]  DP_float_lam 0.11302  cert@1/54 True  cert@1/16 True  
b in [77/512, 463/3072]  DP_float_lam 0.10988  cert@1/54 True  cert@1/16 True  
b in [463/3072, 29/192]  DP_float_lam 0.10361  cert@1/54 True  cert@1/16 True  
b in [29/192, 155/1024]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [155/1024, 233/1536]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [233/1536, 467/3072]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [467/3072, 39/256]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [39/256, 469/3072]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [469/3072, 235/1536]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [235/1536, 157/1024]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [157/1024, 59/384]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [59/384, 473/3072]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [473/3072, 79/512]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [79/512, 475/3072]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [475/3072, 119/768]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [119/768, 159/1024]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [159/1024, 239/1536]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [239/1536, 479/3072]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [479/3072, 5/32]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [5/32, 481/3072]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [481/3072, 241/1536]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [241/1536, 161/1024]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [161/1024, 121/768]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [121/768, 485/3072]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [485/3072, 81/512]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [81/512, 487/3072]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [487/3072, 61/384]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [61/384, 163/1024]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [163/1024, 245/1536]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [245/1536, 491/3072]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [491/3072, 41/256]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [41/256, 493/3072]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [493/3072, 247/1536]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [247/1536, 165/1024]  DP_float_lam 0.09955  cert@1/54 True  cert@1/16 True  
b in [165/1024, 31/192]  DP_float_lam 0.09638  cert@1/54 True  cert@1/16 True  
b in [31/192, 497/3072]  DP_float_lam 0.09084  cert@1/54 True  cert@1/16 True  
b in [497/3072, 83/512]  DP_float_lam 0.09084  cert@1/54 True  cert@1/16 True  
b in [83/512, 499/3072]  DP_float_lam 0.08813  cert@1/54 True  cert@1/16 True  
b in [499/3072, 125/768]  DP_float_lam 0.08031  cert@1/54 True  cert@1/16 True  
b in [125/768, 167/1024]  DP_float_lam 0.08031  cert@1/54 True  cert@1/16 True  
b in [167/1024, 251/1536]  DP_float_lam 0.08031  cert@1/54 True  cert@1/16 True  
b in [251/1536, 503/3072]  DP_float_lam 0.08031  cert@1/54 True  cert@1/16 True  
b in [503/3072, 21/128]  DP_float_lam 0.08031  cert@1/54 True  cert@1/16 True  
b in [21/128, 505/3072]  DP_float_lam 0.08031  cert@1/54 True  cert@1/16 True  
b in [505/3072, 253/1536]  DP_float_lam 0.08031  cert@1/54 True  cert@1/16 True  
b in [253/1536, 169/1024]  DP_float_lam 0.08031  cert@1/54 True  cert@1/16 True  
b in [169/1024, 127/768]  DP_float_lam 0.07921  cert@1/54 True  cert@1/16 True  
b in [127/768, 509/3072]  DP_float_lam 0.07372  cert@1/54 True  cert@1/16 True  
b in [509/3072, 85/512]  DP_float_lam 0.07372  cert@1/54 True  cert@1/16 True  
b in [85/512, 511/3072]  DP_float_lam 0.07269  cert@1/54 True  cert@1/16 True  
b in [511/3072, 1/6]  DP_float_lam 0.06971  cert@1/54 True  cert@1/16 True  
ALL certified at 1/54: True | ALL certified at 1/16 : True | min float DP lambda over intervals 0.06971 | time 458s
