LazyBIt

Lazy propagation using BIT