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

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

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

Targets              'pepper'
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

             pepper       in 458     loops
             

                 [1mHYPOTHESIS 1 of 2[0m

pepper a0 a1 = fun1 a0 a1 : fun35 a0 a1 []
fun1 a0 [] = (a0, Nothing)
fun1 a0 (a1 : _) = (a0, Just (a1, S a0))
fun35 _ [] a1 = a1
fun35 a0 (a1 : a2) a3 = (S a0, fun376 a0 (a1 : a2) a3) : fun35 (S a0) a2 a3
fun376 _ [_] _ = Nothing
fun376 a0 (_ : (a2 : _)) _ = Just (a2, S (S a0))



                 [1mHYPOTHESIS 2 of 2[0m

pepper a0 a1 = fun4 a0 a1 []
fun379 _ [_] _ = Nothing
fun379 a0 (_ : (a2 : _)) _ = Just (a2, S (S a0))
fun4 a0 a1 a2 = fun8 a0 a1 a2 : fun9 a0 a1 a2
fun8 a0 [] _ = (a0, Nothing)
fun8 a0 (a1 : _) _ = (a0, Just (a1, S a0))
fun9 _ [] a1 = a1
fun9 a0 (a1 : a2) a3 = (S a0, fun379 a0 (a1 : a2) a3) : fun9 (S a0) a2 a3

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)]

Testing 2. 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.
