10.96/4.47	YES
13.21/5.11	proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
13.21/5.11	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
13.21/5.11	
13.21/5.11	
13.21/5.11	H-Termination with start terms of the given HASKELL could be proven:
13.21/5.11	
13.21/5.11	(0) HASKELL
13.21/5.11	(1) BR [EQUIVALENT, 0 ms]
13.21/5.11	(2) HASKELL
13.21/5.11	(3) COR [EQUIVALENT, 0 ms]
13.21/5.11	(4) HASKELL
13.21/5.11	(5) Narrow [EQUIVALENT, 403 ms]
13.21/5.11	(6) YES
13.21/5.11	
13.21/5.11	
13.21/5.11	----------------------------------------
13.21/5.11	
13.21/5.11	(0)
13.21/5.11	Obligation:
13.21/5.11	mainModule Main 
13.21/5.11	module Main where {
13.21/5.11	import qualified Prelude;
13.21/5.11	data Main.Char = Char MyInt ;
13.21/5.11	
13.21/5.11	data List a = Cons a (List a)  | Nil ;
13.21/5.11	
13.21/5.11	data MyBool = MyTrue  | MyFalse ;
13.21/5.11	
13.21/5.11	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
13.21/5.11	
13.21/5.11	data Main.Nat = Succ Main.Nat  | Zero ;
13.21/5.11	
13.21/5.11	data Ordering = LT  | EQ  | GT ;
13.21/5.11	
13.21/5.11	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
13.21/5.11	compareMyInt = primCmpInt;
13.21/5.11	
13.21/5.11	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
13.21/5.11	esEsOrdering LT LT = MyTrue;
13.21/5.11	esEsOrdering LT EQ = MyFalse;
13.21/5.11	esEsOrdering LT GT = MyFalse;
13.21/5.11	esEsOrdering EQ LT = MyFalse;
13.21/5.11	esEsOrdering EQ EQ = MyTrue;
13.21/5.11	esEsOrdering EQ GT = MyFalse;
13.21/5.11	esEsOrdering GT LT = MyFalse;
13.21/5.11	esEsOrdering GT EQ = MyFalse;
13.21/5.11	esEsOrdering GT GT = MyTrue;
13.21/5.11	
13.21/5.11	gtMyInt :: MyInt  ->  MyInt  ->  MyBool;
13.21/5.11	gtMyInt x y = esEsOrdering (compareMyInt x y) GT;
13.21/5.11	
13.21/5.11	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
13.21/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
13.21/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
13.21/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
13.21/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
13.21/5.11	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
13.21/5.11	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
13.21/5.11	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
13.21/5.11	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
13.21/5.11	
13.21/5.11	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
13.21/5.11	primCmpNat Main.Zero Main.Zero = EQ;
13.21/5.11	primCmpNat Main.Zero (Main.Succ y) = LT;
13.21/5.11	primCmpNat (Main.Succ x) Main.Zero = GT;
13.21/5.11	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
13.21/5.11	
13.21/5.11	psPs :: List a  ->  List a  ->  List a;
13.21/5.11	psPs Nil ys = ys;
13.21/5.11	psPs (Cons x xs) ys = Cons x (psPs xs ys);
13.21/5.11	
13.21/5.11	pt :: (c  ->  a)  ->  (b  ->  c)  ->  b  ->  a;
13.21/5.11	pt f g x = f (g x);
13.21/5.11	
13.21/5.11	showChar :: Main.Char  ->  List Main.Char  ->  List Main.Char;
13.21/5.11	showChar = Cons;
13.21/5.11	
13.21/5.11	showParen :: MyBool  ->  (List Main.Char  ->  List Main.Char)  ->  List Main.Char  ->  List Main.Char;
13.21/5.11	showParen b p = showParen0 p b;
13.21/5.11	
13.21/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.21/5.11	showParen0 p MyFalse = p;
13.21/5.11	
13.21/5.11	showString :: List Main.Char  ->  List Main.Char  ->  List Main.Char;
13.21/5.11	showString = psPs;
13.21/5.11	
13.21/5.11	showsOrdering :: Ordering  ->  List Main.Char  ->  List Main.Char;
13.21/5.11	showsOrdering = showsPrecOrdering (Main.Pos Main.Zero);
13.21/5.11	
13.21/5.11	showsPrecOrdering :: MyInt  ->  Ordering  ->  List Main.Char  ->  List Main.Char;
13.21/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.21/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.21/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.21/5.11	
13.21/5.11	}
13.21/5.11	
13.21/5.11	----------------------------------------
13.21/5.11	
13.21/5.11	(1) BR (EQUIVALENT)
13.21/5.11	Replaced joker patterns by fresh variables and removed binding patterns.
13.21/5.11	----------------------------------------
13.21/5.11	
13.21/5.11	(2)
13.21/5.11	Obligation:
13.21/5.11	mainModule Main 
13.21/5.11	module Main where {
13.21/5.11	import qualified Prelude;
13.21/5.11	data Main.Char = Char MyInt ;
13.21/5.11	
13.21/5.11	data List a = Cons a (List a)  | Nil ;
13.21/5.11	
13.21/5.11	data MyBool = MyTrue  | MyFalse ;
13.21/5.11	
13.21/5.11	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
13.21/5.11	
13.21/5.11	data Main.Nat = Succ Main.Nat  | Zero ;
13.21/5.11	
13.21/5.11	data Ordering = LT  | EQ  | GT ;
13.21/5.11	
13.21/5.11	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
13.21/5.11	compareMyInt = primCmpInt;
13.21/5.11	
13.21/5.11	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
13.21/5.11	esEsOrdering LT LT = MyTrue;
13.21/5.11	esEsOrdering LT EQ = MyFalse;
13.21/5.11	esEsOrdering LT GT = MyFalse;
13.21/5.11	esEsOrdering EQ LT = MyFalse;
13.21/5.11	esEsOrdering EQ EQ = MyTrue;
13.21/5.11	esEsOrdering EQ GT = MyFalse;
13.21/5.11	esEsOrdering GT LT = MyFalse;
13.21/5.11	esEsOrdering GT EQ = MyFalse;
13.21/5.11	esEsOrdering GT GT = MyTrue;
13.21/5.11	
13.21/5.11	gtMyInt :: MyInt  ->  MyInt  ->  MyBool;
13.21/5.11	gtMyInt x y = esEsOrdering (compareMyInt x y) GT;
13.21/5.11	
13.21/5.11	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
13.21/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
13.21/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
13.21/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
13.21/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
13.21/5.11	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
13.21/5.11	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
13.21/5.11	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
13.21/5.11	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
13.21/5.11	
13.21/5.11	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
13.21/5.11	primCmpNat Main.Zero Main.Zero = EQ;
13.21/5.11	primCmpNat Main.Zero (Main.Succ y) = LT;
13.21/5.11	primCmpNat (Main.Succ x) Main.Zero = GT;
13.21/5.11	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
13.21/5.11	
13.21/5.11	psPs :: List a  ->  List a  ->  List a;
13.21/5.11	psPs Nil ys = ys;
13.21/5.11	psPs (Cons x xs) ys = Cons x (psPs xs ys);
13.21/5.11	
13.21/5.11	pt :: (c  ->  a)  ->  (b  ->  c)  ->  b  ->  a;
13.21/5.11	pt f g x = f (g x);
13.21/5.11	
13.21/5.11	showChar :: Main.Char  ->  List Main.Char  ->  List Main.Char;
13.21/5.11	showChar = Cons;
13.21/5.11	
13.21/5.11	showParen :: MyBool  ->  (List Main.Char  ->  List Main.Char)  ->  List Main.Char  ->  List Main.Char;
13.21/5.11	showParen b p = showParen0 p b;
13.21/5.11	
13.21/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.21/5.11	showParen0 p MyFalse = p;
13.21/5.11	
13.21/5.11	showString :: List Main.Char  ->  List Main.Char  ->  List Main.Char;
13.21/5.11	showString = psPs;
13.21/5.11	
13.21/5.11	showsOrdering :: Ordering  ->  List Main.Char  ->  List Main.Char;
13.21/5.11	showsOrdering = showsPrecOrdering (Main.Pos Main.Zero);
13.21/5.11	
13.21/5.11	showsPrecOrdering :: MyInt  ->  Ordering  ->  List Main.Char  ->  List Main.Char;
13.21/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.21/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.21/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.21/5.11	
13.21/5.11	}
13.21/5.11	
13.21/5.11	----------------------------------------
13.21/5.11	
13.21/5.11	(3) COR (EQUIVALENT)
13.21/5.11	Cond Reductions:
13.21/5.11	The following Function with conditions
13.21/5.11	"undefined |Falseundefined;
13.21/5.11	"
13.21/5.11	is transformed to
13.21/5.11	"undefined  = undefined1;
13.21/5.11	"
13.21/5.11	"undefined0 True = undefined;
13.21/5.11	"
13.21/5.11	"undefined1  = undefined0 False;
13.21/5.11	"
13.21/5.11	
13.21/5.11	----------------------------------------
13.21/5.11	
13.21/5.11	(4)
13.21/5.11	Obligation:
13.21/5.11	mainModule Main 
13.21/5.11	module Main where {
13.21/5.11	import qualified Prelude;
13.21/5.11	data Main.Char = Char MyInt ;
13.21/5.11	
13.21/5.11	data List a = Cons a (List a)  | Nil ;
13.21/5.11	
13.21/5.11	data MyBool = MyTrue  | MyFalse ;
13.21/5.11	
13.21/5.11	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
13.21/5.11	
13.21/5.11	data Main.Nat = Succ Main.Nat  | Zero ;
13.21/5.11	
13.21/5.11	data Ordering = LT  | EQ  | GT ;
13.21/5.11	
13.21/5.11	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
13.21/5.11	compareMyInt = primCmpInt;
13.21/5.11	
13.21/5.11	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
13.21/5.11	esEsOrdering LT LT = MyTrue;
13.21/5.11	esEsOrdering LT EQ = MyFalse;
13.21/5.11	esEsOrdering LT GT = MyFalse;
13.21/5.11	esEsOrdering EQ LT = MyFalse;
13.21/5.11	esEsOrdering EQ EQ = MyTrue;
13.21/5.11	esEsOrdering EQ GT = MyFalse;
13.21/5.11	esEsOrdering GT LT = MyFalse;
13.21/5.11	esEsOrdering GT EQ = MyFalse;
13.21/5.11	esEsOrdering GT GT = MyTrue;
13.21/5.11	
13.21/5.11	gtMyInt :: MyInt  ->  MyInt  ->  MyBool;
13.21/5.11	gtMyInt x y = esEsOrdering (compareMyInt x y) GT;
13.21/5.11	
13.21/5.11	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
13.21/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
13.21/5.11	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
13.21/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
13.21/5.11	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
13.21/5.11	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
13.21/5.11	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
13.21/5.11	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
13.21/5.11	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
13.21/5.11	
13.21/5.11	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
13.21/5.11	primCmpNat Main.Zero Main.Zero = EQ;
13.21/5.11	primCmpNat Main.Zero (Main.Succ y) = LT;
13.21/5.11	primCmpNat (Main.Succ x) Main.Zero = GT;
13.21/5.11	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
13.21/5.11	
13.21/5.11	psPs :: List a  ->  List a  ->  List a;
13.21/5.11	psPs Nil ys = ys;
13.21/5.11	psPs (Cons x xs) ys = Cons x (psPs xs ys);
13.21/5.11	
13.21/5.11	pt :: (c  ->  a)  ->  (b  ->  c)  ->  b  ->  a;
13.21/5.11	pt f g x = f (g x);
13.21/5.11	
13.21/5.11	showChar :: Main.Char  ->  List Main.Char  ->  List Main.Char;
13.21/5.11	showChar = Cons;
13.21/5.11	
13.21/5.11	showParen :: MyBool  ->  (List Main.Char  ->  List Main.Char)  ->  List Main.Char  ->  List Main.Char;
13.21/5.11	showParen b p = showParen0 p b;
13.21/5.11	
13.21/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.21/5.11	showParen0 p MyFalse = p;
13.21/5.11	
13.21/5.11	showString :: List Main.Char  ->  List Main.Char  ->  List Main.Char;
13.21/5.11	showString = psPs;
13.21/5.11	
13.21/5.11	showsOrdering :: Ordering  ->  List Main.Char  ->  List Main.Char;
13.21/5.11	showsOrdering = showsPrecOrdering (Main.Pos Main.Zero);
13.21/5.11	
13.21/5.11	showsPrecOrdering :: MyInt  ->  Ordering  ->  List Main.Char  ->  List Main.Char;
13.21/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.21/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.21/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.21/5.11	
13.21/5.11	}
13.21/5.11	
13.21/5.11	----------------------------------------
13.21/5.11	
13.21/5.11	(5) Narrow (EQUIVALENT)
13.21/5.11	Haskell To QDPs
13.21/5.11	
13.21/5.11	digraph dp_graph {
13.21/5.11	node [outthreshold=100, inthreshold=100];1[label="showsOrdering",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
13.21/5.11	3[label="showsOrdering vx3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
13.21/5.11	4[label="showsOrdering vx3 vx4",fontsize=16,color="black",shape="triangle"];4 -> 5[label="",style="solid", color="black", weight=3];
13.21/5.11	5[label="showsPrecOrdering (Pos Zero) vx3 vx4",fontsize=16,color="burlywood",shape="box"];91[label="vx3/LT",fontsize=10,color="white",style="solid",shape="box"];5 -> 91[label="",style="solid", color="burlywood", weight=9];
13.21/5.11	91 -> 6[label="",style="solid", color="burlywood", weight=3];
13.21/5.11	92[label="vx3/EQ",fontsize=10,color="white",style="solid",shape="box"];5 -> 92[label="",style="solid", color="burlywood", weight=9];
13.21/5.11	92 -> 7[label="",style="solid", color="burlywood", weight=3];
13.21/5.11	93[label="vx3/GT",fontsize=10,color="white",style="solid",shape="box"];5 -> 93[label="",style="solid", color="burlywood", weight=9];
13.21/5.11	93 -> 8[label="",style="solid", color="burlywood", weight=3];
13.21/5.11	6[label="showsPrecOrdering (Pos Zero) LT vx4",fontsize=16,color="black",shape="box"];6 -> 9[label="",style="solid", color="black", weight=3];
13.21/5.11	7[label="showsPrecOrdering (Pos Zero) EQ vx4",fontsize=16,color="black",shape="box"];7 -> 10[label="",style="solid", color="black", weight=3];
13.21/5.11	8[label="showsPrecOrdering (Pos Zero) GT vx4",fontsize=16,color="black",shape="box"];8 -> 11[label="",style="solid", color="black", weight=3];
13.21/5.11	9 -> 55[label="",style="dashed", color="red", weight=0];
13.21/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 (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)))) vx4",fontsize=16,color="magenta"];9 -> 56[label="",style="dashed", color="magenta", weight=3];
13.21/5.11	9 -> 57[label="",style="dashed", color="magenta", weight=3];
13.21/5.11	9 -> 58[label="",style="dashed", color="magenta", weight=3];
13.21/5.11	9 -> 59[label="",style="dashed", color="magenta", weight=3];
13.21/5.11	9 -> 60[label="",style="dashed", color="magenta", weight=3];
13.21/5.11	10 -> 55[label="",style="dashed", color="red", weight=0];
13.21/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 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)))) vx4",fontsize=16,color="magenta"];10 -> 61[label="",style="dashed", color="magenta", weight=3];
13.21/5.11	10 -> 62[label="",style="dashed", color="magenta", weight=3];
13.21/5.11	10 -> 63[label="",style="dashed", color="magenta", weight=3];
13.21/5.11	10 -> 64[label="",style="dashed", color="magenta", weight=3];
13.21/5.11	10 -> 65[label="",style="dashed", color="magenta", weight=3];
13.21/5.11	11 -> 55[label="",style="dashed", color="red", weight=0];
13.21/5.11	11[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)))) vx4",fontsize=16,color="magenta"];11 -> 66[label="",style="dashed", color="magenta", weight=3];
13.21/5.11	11 -> 67[label="",style="dashed", color="magenta", weight=3];
13.21/5.11	11 -> 68[label="",style="dashed", color="magenta", weight=3];
13.21/5.11	11 -> 69[label="",style="dashed", color="magenta", weight=3];
13.21/5.11	11 -> 70[label="",style="dashed", color="magenta", weight=3];
13.21/5.11	56[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"];57[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))",fontsize=16,color="green",shape="box"];58[label="vx4",fontsize=16,color="green",shape="box"];59[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"];60[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"];55[label="showParen (gtMyInt (Pos Zero) (Pos (Succ vx24))) (showString (Cons (Char (Pos (Succ vx25))) (Cons (Char (Pos (Succ vx26))) (Cons (Char (Pos (Succ vx27))) Nil)))) vx28",fontsize=16,color="black",shape="triangle"];55 -> 76[label="",style="solid", color="black", weight=3];
13.21/5.11	61[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"];62[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))",fontsize=16,color="green",shape="box"];63[label="vx4",fontsize=16,color="green",shape="box"];64[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"];65[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"];66[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"];67[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))",fontsize=16,color="green",shape="box"];68[label="vx4",fontsize=16,color="green",shape="box"];69[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"];70[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"];76[label="showParen0 (showString (Cons (Char (Pos (Succ vx25))) (Cons (Char (Pos (Succ vx26))) (Cons (Char (Pos (Succ vx27))) Nil)))) (gtMyInt (Pos Zero) (Pos (Succ vx24))) vx28",fontsize=16,color="black",shape="box"];76 -> 77[label="",style="solid", color="black", weight=3];
13.21/5.11	77[label="showParen0 (showString (Cons (Char (Pos (Succ vx25))) (Cons (Char (Pos (Succ vx26))) (Cons (Char (Pos (Succ vx27))) Nil)))) (esEsOrdering (compareMyInt (Pos Zero) (Pos (Succ vx24))) GT) vx28",fontsize=16,color="black",shape="box"];77 -> 78[label="",style="solid", color="black", weight=3];
13.21/5.11	78[label="showParen0 (showString (Cons (Char (Pos (Succ vx25))) (Cons (Char (Pos (Succ vx26))) (Cons (Char (Pos (Succ vx27))) Nil)))) (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ vx24))) GT) vx28",fontsize=16,color="black",shape="box"];78 -> 79[label="",style="solid", color="black", weight=3];
13.21/5.11	79[label="showParen0 (showString (Cons (Char (Pos (Succ vx25))) (Cons (Char (Pos (Succ vx26))) (Cons (Char (Pos (Succ vx27))) Nil)))) (esEsOrdering (primCmpNat Zero (Succ vx24)) GT) vx28",fontsize=16,color="black",shape="box"];79 -> 80[label="",style="solid", color="black", weight=3];
13.21/5.11	80[label="showParen0 (showString (Cons (Char (Pos (Succ vx25))) (Cons (Char (Pos (Succ vx26))) (Cons (Char (Pos (Succ vx27))) Nil)))) (esEsOrdering LT GT) vx28",fontsize=16,color="black",shape="box"];80 -> 81[label="",style="solid", color="black", weight=3];
13.21/5.11	81[label="showParen0 (showString (Cons (Char (Pos (Succ vx25))) (Cons (Char (Pos (Succ vx26))) (Cons (Char (Pos (Succ vx27))) Nil)))) MyFalse vx28",fontsize=16,color="black",shape="box"];81 -> 82[label="",style="solid", color="black", weight=3];
13.21/5.11	82[label="showString (Cons (Char (Pos (Succ vx25))) (Cons (Char (Pos (Succ vx26))) (Cons (Char (Pos (Succ vx27))) Nil))) vx28",fontsize=16,color="black",shape="box"];82 -> 83[label="",style="solid", color="black", weight=3];
13.21/5.11	83[label="psPs (Cons (Char (Pos (Succ vx25))) (Cons (Char (Pos (Succ vx26))) (Cons (Char (Pos (Succ vx27))) Nil))) vx28",fontsize=16,color="black",shape="box"];83 -> 84[label="",style="solid", color="black", weight=3];
13.21/5.11	84[label="Cons (Char (Pos (Succ vx25))) (psPs (Cons (Char (Pos (Succ vx26))) (Cons (Char (Pos (Succ vx27))) Nil)) vx28)",fontsize=16,color="green",shape="box"];84 -> 85[label="",style="dashed", color="green", weight=3];
13.21/5.11	85[label="psPs (Cons (Char (Pos (Succ vx26))) (Cons (Char (Pos (Succ vx27))) Nil)) vx28",fontsize=16,color="black",shape="box"];85 -> 86[label="",style="solid", color="black", weight=3];
13.21/5.11	86[label="Cons (Char (Pos (Succ vx26))) (psPs (Cons (Char (Pos (Succ vx27))) Nil) vx28)",fontsize=16,color="green",shape="box"];86 -> 87[label="",style="dashed", color="green", weight=3];
13.21/5.11	87[label="psPs (Cons (Char (Pos (Succ vx27))) Nil) vx28",fontsize=16,color="black",shape="box"];87 -> 88[label="",style="solid", color="black", weight=3];
13.21/5.11	88[label="Cons (Char (Pos (Succ vx27))) (psPs Nil vx28)",fontsize=16,color="green",shape="box"];88 -> 89[label="",style="dashed", color="green", weight=3];
13.21/5.11	89[label="psPs Nil vx28",fontsize=16,color="black",shape="box"];89 -> 90[label="",style="solid", color="black", weight=3];
13.21/5.11	90[label="vx28",fontsize=16,color="green",shape="box"];}
13.21/5.11	
13.21/5.11	----------------------------------------
13.21/5.11	
13.21/5.11	(6)
13.21/5.11	YES
13.21/5.16	EOF