Step:    0
Elapsed: 0.031 seconds
Depth:   2
Size:    29

Step:    1715
Elapsed: 0.536 seconds
Depth:   6
Size:    14

Step:    5234
Elapsed: 1.047 seconds
Depth:   10
Size:    1

Prover took 5235 steps and 1.047 seconds
641917 atoms allocated
Target proved !!!