10.56/4.46	YES
13.04/5.11	proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
13.04/5.11	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
13.04/5.11	
13.04/5.11	
13.04/5.11	H-Termination with start terms of the given HASKELL could be proven:
13.04/5.11	
13.04/5.11	(0) HASKELL
13.04/5.11	(1) BR [EQUIVALENT, 0 ms]
13.04/5.11	(2) HASKELL
13.04/5.11	(3) COR [EQUIVALENT, 0 ms]
13.04/5.11	(4) HASKELL
13.04/5.11	(5) Narrow [EQUIVALENT, 503 ms]
13.04/5.11	(6) YES
13.04/5.11	
13.04/5.11	
13.04/5.11	----------------------------------------
13.04/5.11	
13.04/5.11	(0)
13.04/5.11	Obligation:
13.04/5.11	mainModule Main 
13.04/5.11	module Main where {
13.04/5.11	import qualified Prelude;
13.04/5.11	data Main.Char = Char MyInt ;
13.04/5.11	
13.04/5.11	data List a = Cons a (List a)  | Nil ;
13.04/5.11	
13.04/5.11	data MyBool = MyTrue  | MyFalse ;
13.04/5.11	
13.04/5.11	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
13.04/5.11	
13.04/5.11	data Main.Nat = Succ Main.Nat  | Zero ;
13.04/5.11	
13.04/5.11	data Ordering = LT  | EQ  | GT ;
13.04/5.11	
13.04/5.11	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
13.04/5.11	compareMyInt = primCmpInt;
13.04/5.11	
13.04/5.11	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
13.04/5.11	esEsOrdering LT LT = MyTrue;
13.04/5.11	esEsOrdering LT EQ = MyFalse;
13.04/5.11	esEsOrdering LT GT = MyFalse;
13.04/5.11	esEsOrdering EQ LT = MyFalse;
13.04/5.11	esEsOrdering EQ EQ = MyTrue;
13.04/5.11	esEsOrdering EQ GT = MyFalse;
13.04/5.11	esEsOrdering GT LT = MyFalse;
13.04/5.11	esEsOrdering GT EQ = MyFalse;
13.04/5.11	esEsOrdering GT GT = MyTrue;
13.04/5.11	
13.04/5.11	gtMyInt :: MyInt  ->  MyInt  ->  MyBool;
13.04/5.11	gtMyInt x y = esEsOrdering (compareMyInt x y) GT;
13.04/5.11	
13.04/5.11	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
13.04/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
13.04/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
13.04/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
13.04/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
13.04/5.11	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
13.04/5.11	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
13.04/5.11	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
13.04/5.11	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
13.04/5.11	
13.04/5.11	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
13.04/5.11	primCmpNat Main.Zero Main.Zero = EQ;
13.04/5.11	primCmpNat Main.Zero (Main.Succ y) = LT;
13.04/5.11	primCmpNat (Main.Succ x) Main.Zero = GT;
13.04/5.11	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
13.04/5.11	
13.04/5.11	psPs :: List a  ->  List a  ->  List a;
13.04/5.11	psPs Nil ys = ys;
13.04/5.11	psPs (Cons x xs) ys = Cons x (psPs xs ys);
13.04/5.11	
13.04/5.11	pt :: (a  ->  c)  ->  (b  ->  a)  ->  b  ->  c;
13.04/5.11	pt f g x = f (g x);
13.04/5.11	
13.04/5.11	showChar :: Main.Char  ->  List Main.Char  ->  List Main.Char;
13.04/5.11	showChar = Cons;
13.04/5.11	
13.04/5.11	showOrdering :: Ordering  ->  List Main.Char;
13.04/5.11	showOrdering x = showsPrecOrdering (Main.Pos Main.Zero) x Nil;
13.04/5.11	
13.04/5.11	showParen :: MyBool  ->  (List Main.Char  ->  List Main.Char)  ->  List Main.Char  ->  List Main.Char;
13.04/5.11	showParen b p = showParen0 p b;
13.04/5.11	
13.04/5.11	showParen0 p MyTrue = pt (showChar (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))) (pt p (showChar (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))))))))))))));
13.04/5.11	showParen0 p MyFalse = p;
13.04/5.11	
13.04/5.11	showString :: List Main.Char  ->  List Main.Char  ->  List Main.Char;
13.04/5.11	showString = psPs;
13.04/5.11	
13.04/5.11	showsPrecOrdering :: MyInt  ->  Ordering  ->  List Main.Char  ->  List Main.Char;
13.04/5.11	showsPrecOrdering d LT = showParen (gtMyInt d (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))) (showString (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))) Nil))));
13.04/5.11	showsPrecOrdering d EQ = showParen (gtMyInt d (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))) (showString (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))) Nil))));
13.04/5.11	showsPrecOrdering d GT = showParen (gtMyInt d (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))) (showString (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))) Nil))));
13.04/5.11	
13.04/5.11	}
13.04/5.11	
13.04/5.11	----------------------------------------
13.04/5.11	
13.04/5.11	(1) BR (EQUIVALENT)
13.04/5.11	Replaced joker patterns by fresh variables and removed binding patterns.
13.04/5.11	----------------------------------------
13.04/5.11	
13.04/5.11	(2)
13.04/5.11	Obligation:
13.04/5.11	mainModule Main 
13.04/5.11	module Main where {
13.04/5.11	import qualified Prelude;
13.04/5.11	data Main.Char = Char MyInt ;
13.04/5.11	
13.04/5.11	data List a = Cons a (List a)  | Nil ;
13.04/5.11	
13.04/5.11	data MyBool = MyTrue  | MyFalse ;
13.04/5.11	
13.04/5.11	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
13.04/5.11	
13.04/5.11	data Main.Nat = Succ Main.Nat  | Zero ;
13.04/5.11	
13.04/5.11	data Ordering = LT  | EQ  | GT ;
13.04/5.11	
13.04/5.11	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
13.04/5.11	compareMyInt = primCmpInt;
13.04/5.11	
13.04/5.11	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
13.04/5.11	esEsOrdering LT LT = MyTrue;
13.04/5.11	esEsOrdering LT EQ = MyFalse;
13.04/5.11	esEsOrdering LT GT = MyFalse;
13.04/5.11	esEsOrdering EQ LT = MyFalse;
13.04/5.11	esEsOrdering EQ EQ = MyTrue;
13.04/5.11	esEsOrdering EQ GT = MyFalse;
13.04/5.11	esEsOrdering GT LT = MyFalse;
13.04/5.11	esEsOrdering GT EQ = MyFalse;
13.04/5.11	esEsOrdering GT GT = MyTrue;
13.04/5.11	
13.04/5.11	gtMyInt :: MyInt  ->  MyInt  ->  MyBool;
13.04/5.11	gtMyInt x y = esEsOrdering (compareMyInt x y) GT;
13.04/5.11	
13.04/5.11	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
13.04/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
13.04/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
13.04/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
13.04/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
13.04/5.11	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
13.04/5.11	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
13.04/5.11	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
13.04/5.11	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
13.04/5.11	
13.04/5.11	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
13.04/5.11	primCmpNat Main.Zero Main.Zero = EQ;
13.04/5.11	primCmpNat Main.Zero (Main.Succ y) = LT;
13.04/5.11	primCmpNat (Main.Succ x) Main.Zero = GT;
13.04/5.11	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
13.04/5.11	
13.04/5.11	psPs :: List a  ->  List a  ->  List a;
13.04/5.11	psPs Nil ys = ys;
13.04/5.11	psPs (Cons x xs) ys = Cons x (psPs xs ys);
13.04/5.11	
13.04/5.11	pt :: (a  ->  b)  ->  (c  ->  a)  ->  c  ->  b;
13.04/5.11	pt f g x = f (g x);
13.04/5.11	
13.04/5.11	showChar :: Main.Char  ->  List Main.Char  ->  List Main.Char;
13.04/5.11	showChar = Cons;
13.04/5.11	
13.04/5.11	showOrdering :: Ordering  ->  List Main.Char;
13.04/5.11	showOrdering x = showsPrecOrdering (Main.Pos Main.Zero) x Nil;
13.04/5.11	
13.04/5.11	showParen :: MyBool  ->  (List Main.Char  ->  List Main.Char)  ->  List Main.Char  ->  List Main.Char;
13.04/5.11	showParen b p = showParen0 p b;
13.04/5.11	
13.04/5.11	showParen0 p MyTrue = pt (showChar (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))) (pt p (showChar (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))))))))))))));
13.04/5.11	showParen0 p MyFalse = p;
13.04/5.11	
13.04/5.11	showString :: List Main.Char  ->  List Main.Char  ->  List Main.Char;
13.04/5.11	showString = psPs;
13.04/5.11	
13.04/5.11	showsPrecOrdering :: MyInt  ->  Ordering  ->  List Main.Char  ->  List Main.Char;
13.04/5.11	showsPrecOrdering d LT = showParen (gtMyInt d (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))) (showString (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))) Nil))));
13.04/5.11	showsPrecOrdering d EQ = showParen (gtMyInt d (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))) (showString (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))) Nil))));
13.04/5.11	showsPrecOrdering d GT = showParen (gtMyInt d (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))) (showString (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))) Nil))));
13.04/5.11	
13.04/5.11	}
13.04/5.11	
13.04/5.11	----------------------------------------
13.04/5.11	
13.04/5.11	(3) COR (EQUIVALENT)
13.04/5.11	Cond Reductions:
13.04/5.11	The following Function with conditions
13.04/5.11	"undefined |Falseundefined;
13.04/5.11	"
13.04/5.11	is transformed to
13.04/5.11	"undefined  = undefined1;
13.04/5.11	"
13.04/5.11	"undefined0 True = undefined;
13.04/5.11	"
13.04/5.11	"undefined1  = undefined0 False;
13.04/5.11	"
13.04/5.11	
13.04/5.11	----------------------------------------
13.04/5.11	
13.04/5.11	(4)
13.04/5.11	Obligation:
13.04/5.11	mainModule Main 
13.04/5.11	module Main where {
13.04/5.11	import qualified Prelude;
13.04/5.11	data Main.Char = Char MyInt ;
13.04/5.11	
13.04/5.11	data List a = Cons a (List a)  | Nil ;
13.04/5.11	
13.04/5.11	data MyBool = MyTrue  | MyFalse ;
13.04/5.11	
13.04/5.11	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
13.04/5.11	
13.04/5.11	data Main.Nat = Succ Main.Nat  | Zero ;
13.04/5.11	
13.04/5.11	data Ordering = LT  | EQ  | GT ;
13.04/5.11	
13.04/5.11	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
13.04/5.11	compareMyInt = primCmpInt;
13.04/5.11	
13.04/5.11	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
13.04/5.11	esEsOrdering LT LT = MyTrue;
13.04/5.11	esEsOrdering LT EQ = MyFalse;
13.04/5.11	esEsOrdering LT GT = MyFalse;
13.04/5.11	esEsOrdering EQ LT = MyFalse;
13.04/5.11	esEsOrdering EQ EQ = MyTrue;
13.04/5.11	esEsOrdering EQ GT = MyFalse;
13.04/5.11	esEsOrdering GT LT = MyFalse;
13.04/5.11	esEsOrdering GT EQ = MyFalse;
13.04/5.11	esEsOrdering GT GT = MyTrue;
13.04/5.11	
13.04/5.11	gtMyInt :: MyInt  ->  MyInt  ->  MyBool;
13.04/5.11	gtMyInt x y = esEsOrdering (compareMyInt x y) GT;
13.04/5.11	
13.04/5.11	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
13.04/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
13.04/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
13.04/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
13.04/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
13.04/5.11	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
13.04/5.11	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
13.04/5.11	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
13.04/5.11	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
13.04/5.11	
13.04/5.11	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
13.04/5.11	primCmpNat Main.Zero Main.Zero = EQ;
13.04/5.11	primCmpNat Main.Zero (Main.Succ y) = LT;
13.04/5.11	primCmpNat (Main.Succ x) Main.Zero = GT;
13.04/5.11	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
13.04/5.11	
13.04/5.11	psPs :: List a  ->  List a  ->  List a;
13.04/5.11	psPs Nil ys = ys;
13.04/5.11	psPs (Cons x xs) ys = Cons x (psPs xs ys);
13.04/5.11	
13.04/5.11	pt :: (a  ->  c)  ->  (b  ->  a)  ->  b  ->  c;
13.04/5.11	pt f g x = f (g x);
13.04/5.11	
13.04/5.11	showChar :: Main.Char  ->  List Main.Char  ->  List Main.Char;
13.04/5.11	showChar = Cons;
13.04/5.11	
13.04/5.11	showOrdering :: Ordering  ->  List Main.Char;
13.04/5.11	showOrdering x = showsPrecOrdering (Main.Pos Main.Zero) x Nil;
13.04/5.11	
13.04/5.11	showParen :: MyBool  ->  (List Main.Char  ->  List Main.Char)  ->  List Main.Char  ->  List Main.Char;
13.04/5.11	showParen b p = showParen0 p b;
13.04/5.11	
13.04/5.11	showParen0 p MyTrue = pt (showChar (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))) (pt p (showChar (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))))))))))))));
13.04/5.11	showParen0 p MyFalse = p;
13.04/5.11	
13.04/5.11	showString :: List Main.Char  ->  List Main.Char  ->  List Main.Char;
13.04/5.11	showString = psPs;
13.04/5.11	
13.04/5.11	showsPrecOrdering :: MyInt  ->  Ordering  ->  List Main.Char  ->  List Main.Char;
13.04/5.11	showsPrecOrdering d LT = showParen (gtMyInt d (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))) (showString (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))) Nil))));
13.04/5.11	showsPrecOrdering d EQ = showParen (gtMyInt d (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))) (showString (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))) Nil))));
13.04/5.11	showsPrecOrdering d GT = showParen (gtMyInt d (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))) (showString (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Main.Char (Main.Pos (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ (Main.Succ Main.Zero)))))))))))))))))))))))))))))))))) Nil))));
13.04/5.11	
13.04/5.11	}
13.04/5.11	
13.04/5.11	----------------------------------------
13.04/5.11	
13.04/5.11	(5) Narrow (EQUIVALENT)
13.04/5.11	Haskell To QDPs
13.04/5.11	
13.04/5.11	digraph dp_graph {
13.04/5.11	node [outthreshold=100, inthreshold=100];1[label="showOrdering",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
13.04/5.11	3[label="showOrdering vx3",fontsize=16,color="black",shape="triangle"];3 -> 4[label="",style="solid", color="black", weight=3];
13.04/5.11	4[label="showsPrecOrdering (Pos Zero) vx3 Nil",fontsize=16,color="burlywood",shape="box"];74[label="vx3/LT",fontsize=10,color="white",style="solid",shape="box"];4 -> 74[label="",style="solid", color="burlywood", weight=9];
13.04/5.11	74 -> 5[label="",style="solid", color="burlywood", weight=3];
13.04/5.11	75[label="vx3/EQ",fontsize=10,color="white",style="solid",shape="box"];4 -> 75[label="",style="solid", color="burlywood", weight=9];
13.04/5.11	75 -> 6[label="",style="solid", color="burlywood", weight=3];
13.04/5.11	76[label="vx3/GT",fontsize=10,color="white",style="solid",shape="box"];4 -> 76[label="",style="solid", color="burlywood", weight=9];
13.04/5.11	76 -> 7[label="",style="solid", color="burlywood", weight=3];
13.04/5.11	5[label="showsPrecOrdering (Pos Zero) LT Nil",fontsize=16,color="black",shape="box"];5 -> 8[label="",style="solid", color="black", weight=3];
13.04/5.11	6[label="showsPrecOrdering (Pos Zero) EQ Nil",fontsize=16,color="black",shape="box"];6 -> 9[label="",style="solid", color="black", weight=3];
13.04/5.11	7[label="showsPrecOrdering (Pos Zero) GT Nil",fontsize=16,color="black",shape="box"];7 -> 10[label="",style="solid", color="black", weight=3];
13.04/5.11	8 -> 42[label="",style="dashed", color="red", weight=0];
13.04/5.11	8[label="showParen (gtMyInt (Pos Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))) (showString (Cons (Char (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Char (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Char (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))) Nil)))) Nil",fontsize=16,color="magenta"];8 -> 43[label="",style="dashed", color="magenta", weight=3];
13.04/5.11	8 -> 44[label="",style="dashed", color="magenta", weight=3];
13.04/5.11	8 -> 45[label="",style="dashed", color="magenta", weight=3];
13.04/5.11	8 -> 46[label="",style="dashed", color="magenta", weight=3];
13.04/5.11	9 -> 42[label="",style="dashed", color="red", weight=0];
13.04/5.11	9[label="showParen (gtMyInt (Pos Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))) (showString (Cons (Char (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Char (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Char (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))) Nil)))) Nil",fontsize=16,color="magenta"];9 -> 47[label="",style="dashed", color="magenta", weight=3];
13.04/5.11	9 -> 48[label="",style="dashed", color="magenta", weight=3];
13.04/5.11	9 -> 49[label="",style="dashed", color="magenta", weight=3];
13.04/5.11	9 -> 50[label="",style="dashed", color="magenta", weight=3];
13.04/5.11	10 -> 42[label="",style="dashed", color="red", weight=0];
13.04/5.11	10[label="showParen (gtMyInt (Pos Zero) (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))) (showString (Cons (Char (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Char (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (Cons (Char (Pos (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))) Nil)))) Nil",fontsize=16,color="magenta"];10 -> 51[label="",style="dashed", color="magenta", weight=3];
13.04/5.11	10 -> 52[label="",style="dashed", color="magenta", weight=3];
13.04/5.11	10 -> 53[label="",style="dashed", color="magenta", weight=3];
13.04/5.11	10 -> 54[label="",style="dashed", color="magenta", weight=3];
13.04/5.11	43[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];44[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];45[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))",fontsize=16,color="green",shape="box"];46[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];42[label="showParen (gtMyInt (Pos Zero) (Pos (Succ vx18))) (showString (Cons (Char (Pos (Succ vx19))) (Cons (Char (Pos (Succ vx20))) (Cons (Char (Pos (Succ vx21))) Nil)))) Nil",fontsize=16,color="black",shape="triangle"];42 -> 59[label="",style="solid", color="black", weight=3];
13.04/5.11	47[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];48[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];49[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))",fontsize=16,color="green",shape="box"];50[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];51[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];52[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];53[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))",fontsize=16,color="green",shape="box"];54[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];59[label="showParen0 (showString (Cons (Char (Pos (Succ vx19))) (Cons (Char (Pos (Succ vx20))) (Cons (Char (Pos (Succ vx21))) Nil)))) (gtMyInt (Pos Zero) (Pos (Succ vx18))) Nil",fontsize=16,color="black",shape="box"];59 -> 60[label="",style="solid", color="black", weight=3];
13.04/5.11	60[label="showParen0 (showString (Cons (Char (Pos (Succ vx19))) (Cons (Char (Pos (Succ vx20))) (Cons (Char (Pos (Succ vx21))) Nil)))) (esEsOrdering (compareMyInt (Pos Zero) (Pos (Succ vx18))) GT) Nil",fontsize=16,color="black",shape="box"];60 -> 61[label="",style="solid", color="black", weight=3];
13.04/5.11	61[label="showParen0 (showString (Cons (Char (Pos (Succ vx19))) (Cons (Char (Pos (Succ vx20))) (Cons (Char (Pos (Succ vx21))) Nil)))) (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ vx18))) GT) Nil",fontsize=16,color="black",shape="box"];61 -> 62[label="",style="solid", color="black", weight=3];
13.04/5.11	62[label="showParen0 (showString (Cons (Char (Pos (Succ vx19))) (Cons (Char (Pos (Succ vx20))) (Cons (Char (Pos (Succ vx21))) Nil)))) (esEsOrdering (primCmpNat Zero (Succ vx18)) GT) Nil",fontsize=16,color="black",shape="box"];62 -> 63[label="",style="solid", color="black", weight=3];
13.04/5.11	63[label="showParen0 (showString (Cons (Char (Pos (Succ vx19))) (Cons (Char (Pos (Succ vx20))) (Cons (Char (Pos (Succ vx21))) Nil)))) (esEsOrdering LT GT) Nil",fontsize=16,color="black",shape="box"];63 -> 64[label="",style="solid", color="black", weight=3];
13.04/5.11	64[label="showParen0 (showString (Cons (Char (Pos (Succ vx19))) (Cons (Char (Pos (Succ vx20))) (Cons (Char (Pos (Succ vx21))) Nil)))) MyFalse Nil",fontsize=16,color="black",shape="box"];64 -> 65[label="",style="solid", color="black", weight=3];
13.04/5.11	65[label="showString (Cons (Char (Pos (Succ vx19))) (Cons (Char (Pos (Succ vx20))) (Cons (Char (Pos (Succ vx21))) Nil))) Nil",fontsize=16,color="black",shape="box"];65 -> 66[label="",style="solid", color="black", weight=3];
13.04/5.11	66[label="psPs (Cons (Char (Pos (Succ vx19))) (Cons (Char (Pos (Succ vx20))) (Cons (Char (Pos (Succ vx21))) Nil))) Nil",fontsize=16,color="black",shape="box"];66 -> 67[label="",style="solid", color="black", weight=3];
13.04/5.11	67[label="Cons (Char (Pos (Succ vx19))) (psPs (Cons (Char (Pos (Succ vx20))) (Cons (Char (Pos (Succ vx21))) Nil)) Nil)",fontsize=16,color="green",shape="box"];67 -> 68[label="",style="dashed", color="green", weight=3];
13.04/5.11	68[label="psPs (Cons (Char (Pos (Succ vx20))) (Cons (Char (Pos (Succ vx21))) Nil)) Nil",fontsize=16,color="black",shape="box"];68 -> 69[label="",style="solid", color="black", weight=3];
13.04/5.11	69[label="Cons (Char (Pos (Succ vx20))) (psPs (Cons (Char (Pos (Succ vx21))) Nil) Nil)",fontsize=16,color="green",shape="box"];69 -> 70[label="",style="dashed", color="green", weight=3];
13.04/5.11	70[label="psPs (Cons (Char (Pos (Succ vx21))) Nil) Nil",fontsize=16,color="black",shape="box"];70 -> 71[label="",style="solid", color="black", weight=3];
13.04/5.11	71[label="Cons (Char (Pos (Succ vx21))) (psPs Nil Nil)",fontsize=16,color="green",shape="box"];71 -> 72[label="",style="dashed", color="green", weight=3];
13.04/5.11	72[label="psPs Nil Nil",fontsize=16,color="black",shape="box"];72 -> 73[label="",style="solid", color="black", weight=3];
13.04/5.11	73[label="Nil",fontsize=16,color="green",shape="box"];}
13.04/5.11	
13.04/5.11	----------------------------------------
13.04/5.11	
13.04/5.11	(6)
13.04/5.11	YES
13.08/5.15	EOF