
  .___                   ._ ._             
  |   | ____  ____ ._____| || |  ._       
  |   |/ __ \/  _ \|  __ \ || | _| |__ 
  |   / /_/  ) <_> )  | \/ || |/_   _/   
  |___\___  /\____/|__|  |_||_|  |_|    
     /_____/                v0.8

Welcome to IgorII. 
Running IgorII in batch mode with file: tests/pow2-accum.bat

      [1m- - - - START SYNTHESIS WITH - - - -[0m

Targets              'pow2'
Background           <none>
Simplified           True
Greedy rule-splitting False
Accumulators         True
Enhanced             False
Use paramorphisms    False
Compare rec args     AWise
DumpLog              False
Debug                False
Maximal tiers        0
Maximal loops        -1

      [1m- - - - - - - FINISHED - - - - - - -[0m

             pow2         in 16     loops
             

                 [1mHYPOTHESIS 1 of 1[0m

pow2 a0 = fun3 a0 (S Z)
fun3 (Z) a0 = a0
fun3 (S a0) a1 = fun3 a0 (fun3 a0 (S a1))

Testing 1. hypothesis of: 'pow2'
  let toNat x = iterate S Z !! x in pow2 (toNat 4) == (toNat 16)  ==  True

Testing 1. hypothesis of: 'pow2'
  let toNat x = iterate S Z !! x in pow2 (toNat 5) == (toNat 32)  ==  True

Testing 1. hypothesis of: 'pow2'
  let toNat x = iterate S Z !! x in pow2 (toNat 6) == (toNat 64)  ==  True

...batch processing finished.
Bye.
