checked 362 blocks at prec=96: 0 failures; coverage of [0.05,1.0]: COMPLETE
