b in [1/8, 193/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [193/1536, 97/768]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [97/768, 65/512]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [65/512, 49/384]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [49/384, 197/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [197/1536, 33/256]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [33/256, 199/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [199/1536, 25/192]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [25/192, 67/512]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [67/512, 101/768]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [101/768, 203/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [203/1536, 17/128]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [17/128, 205/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [205/1536, 103/768]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [103/768, 69/512]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [69/512, 13/96]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [13/96, 209/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [209/1536, 35/256]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [35/256, 211/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [211/1536, 53/384]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [53/384, 71/512]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [71/512, 107/768]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [107/768, 215/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [215/1536, 9/64]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [9/64, 217/1536]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [217/1536, 109/768]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [109/768, 73/512]  DP_float_lam 0.17157  cert@1/54 True  cert@1/20 True  
b in [73/512, 55/384]  DP_float_lam 0.16384  cert@1/54 True  cert@1/20 True  
b in [55/384, 221/1536]  DP_float_lam 0.15434  cert@1/54 True  cert@1/20 True  
b in [221/1536, 37/256]  DP_float_lam 0.15221  cert@1/54 True  cert@1/20 True  
b in [37/256, 223/1536]  DP_float_lam 0.14941  cert@1/54 True  cert@1/20 True  
b in [223/1536, 7/48]  DP_float_lam 0.14536  cert@1/54 True  cert@1/20 True  
b in [7/48, 75/512]  DP_float_lam 0.14194  cert@1/54 True  cert@1/20 True  
b in [75/512, 113/768]  DP_float_lam 0.13311  cert@1/54 True  cert@1/20 True  
b in [113/768, 227/1536]  DP_float_lam 0.13139  cert@1/54 True  cert@1/20 True  
b in [227/1536, 19/128]  DP_float_lam 0.13139  cert@1/54 True  cert@1/20 True  
b in [19/128, 229/1536]  DP_float_lam 0.13139  cert@1/54 True  cert@1/20 True  
b in [229/1536, 115/768]  DP_float_lam 0.12616  cert@1/54 True  cert@1/20 True  
b in [115/768, 77/512]  DP_float_lam 0.11302  cert@1/54 True  cert@1/20 True  
b in [77/512, 29/192]  DP_float_lam 0.10281  cert@1/54 True  cert@1/20 True  
b in [29/192, 233/1536]  DP_float_lam 0.09955  cert@1/54 True  cert@1/20 True  
b in [233/1536, 39/256]  DP_float_lam 0.09955  cert@1/54 True  cert@1/20 True  
b in [39/256, 235/1536]  DP_float_lam 0.09955  cert@1/54 True  cert@1/20 True  
b in [235/1536, 59/384]  DP_float_lam 0.09955  cert@1/54 True  cert@1/20 True  
b in [59/384, 79/512]  DP_float_lam 0.09955  cert@1/54 True  cert@1/20 True  
b in [79/512, 119/768]  DP_float_lam 0.09955  cert@1/54 True  cert@1/20 True  
b in [119/768, 239/1536]  DP_float_lam 0.09955  cert@1/54 True  cert@1/20 True  
b in [239/1536, 5/32]  DP_float_lam 0.09955  cert@1/54 True  cert@1/20 True  
b in [5/32, 241/1536]  DP_float_lam 0.09955  cert@1/54 True  cert@1/20 True  
b in [241/1536, 121/768]  DP_float_lam 0.09955  cert@1/54 True  cert@1/20 True  
b in [121/768, 81/512]  DP_float_lam 0.09955  cert@1/54 True  cert@1/20 True  
b in [81/512, 61/384]  DP_float_lam 0.09955  cert@1/54 True  cert@1/20 True  
b in [61/384, 245/1536]  DP_float_lam 0.09955  cert@1/54 True  cert@1/20 True  
b in [245/1536, 41/256]  DP_float_lam 0.09955  cert@1/54 True  cert@1/20 True  
b in [41/256, 247/1536]  DP_float_lam 0.09955  cert@1/54 True  cert@1/20 True  
b in [247/1536, 31/192]  DP_float_lam 0.09577  cert@1/54 True  cert@1/20 True  
b in [31/192, 83/512]  DP_float_lam 0.09084  cert@1/54 True  cert@1/20 True  
b in [83/512, 125/768]  DP_float_lam 0.08031  cert@1/54 True  cert@1/20 True  
b in [125/768, 251/1536]  DP_float_lam 0.08031  cert@1/54 True  cert@1/20 True  
b in [251/1536, 21/128]  DP_float_lam 0.08031  cert@1/54 True  cert@1/20 True  
b in [21/128, 253/1536]  DP_float_lam 0.08031  cert@1/54 True  cert@1/20 True  
b in [253/1536, 127/768]  DP_float_lam 0.07775  cert@1/54 True  cert@1/20 True  
b in [127/768, 85/512]  DP_float_lam 0.07372  cert@1/54 True  cert@1/20 True  
b in [85/512, 1/6]  DP_float_lam 0.06971  cert@1/54 True  cert@1/20 True  
ALL certified at 1/54: True | ALL certified at 1/20 : True | min float DP lambda over intervals 0.06971 | time 112s
