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

Welcome to IgorII. 
Running IgorII in batch mode with file: tests/pepper.bat

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

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

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

             pepper       in 25     loops
             

                 [1mHYPOTHESIS 1 of 1[0m

pepper a0 a1 = fun1 a0 a1 : fun2 a0 a1
fun1 a0 [] = (a0, Nothing)
fun1 a0 (a1 : _) = (a0, Just (a1, S a0))
fun2 _ [] = []
fun2 a0 (a1 : a2) = fun7 a0 (a1 : a2) : fun2 (S a0) a2
fun7 a0 [_] = (S a0, Nothing)
fun7 a0 (_ : (a2 : _)) = (S a0, Just (a2, S (S a0)))

Testing 1. hypothesis of: 'pepper'
  pepper Z [0, 1, 2, 3]  ==  [(Z,Just (0,S Z)),(S Z,Just (1,S (S Z))),(S (S Z),Just (2,S (S (S Z)))),(S (S (S Z)),Just (3,S (S (S (S Z))))),(S (S (S (S Z))),Nothing)]

...batch processing finished.
Bye.
