Step:    1075
Elapsed: 0.24 seconds
Depth:   6
Size:    1

Prover took 1076 steps and 0.247 seconds
153657 atoms allocated
Target proved !!!