Iteration:  0
Benchmark: timing 500000 iterations of Lazy, Negated...
      Lazy: 184 wallclock secs (183.51 usr +  0.00 sys = 183.51 CPU)
   Negated: 49 wallclock secs (49.59 usr +  0.00 sys = 49.59 CPU)
Iteration:  1
Benchmark: timing 500000 iterations of Lazy, Negated...
      Lazy: 18 wallclock secs (17.96 usr +  0.00 sys = 17.96 CPU)
   Negated: 17 wallclock secs (17.03 usr +  0.00 sys = 17.03 CPU)
Iteration:  2
Benchmark: timing 500000 iterations of Lazy, Negated...
      Lazy:  2 wallclock secs ( 2.26 usr +  0.00 sys =  2.26 CPU)
   Negated:  1 wallclock secs ( 1.92 usr +  0.00 sys =  1.92 CPU)
Iteration:  3
Benchmark: timing 500000 iterations of Lazy, Negated...
      Lazy: 199 wallclock secs (198.66 usr +  0.00 sys = 198.66 CPU)
   Negated: 64 wallclock secs (64.59 usr +  0.00 sys = 64.59 CPU)