12.27/4.96	YES
14.46/5.57	proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
14.46/5.57	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
14.46/5.57	
14.46/5.57	
14.46/5.57	H-Termination with start terms of the given HASKELL could be proven:
14.46/5.57	
14.46/5.57	(0) HASKELL
14.46/5.57	(1) BR [EQUIVALENT, 0 ms]
14.46/5.57	(2) HASKELL
14.46/5.57	(3) COR [EQUIVALENT, 0 ms]
14.46/5.57	(4) HASKELL
14.46/5.57	(5) Narrow [SOUND, 0 ms]
14.46/5.57	(6) AND
14.46/5.57	    (7) QDP
14.46/5.57	        (8) QDPSizeChangeProof [EQUIVALENT, 0 ms]
14.46/5.57	        (9) YES
14.46/5.57	    (10) QDP
14.46/5.57	        (11) QDPSizeChangeProof [EQUIVALENT, 0 ms]
14.46/5.57	        (12) YES
14.46/5.57	    (13) QDP
14.46/5.57	        (14) QDPSizeChangeProof [EQUIVALENT, 0 ms]
14.46/5.57	        (15) YES
14.46/5.57	    (16) QDP
14.46/5.57	        (17) QDPSizeChangeProof [EQUIVALENT, 0 ms]
14.46/5.57	        (18) YES
14.46/5.57	    (19) QDP
14.46/5.57	        (20) QDPSizeChangeProof [EQUIVALENT, 0 ms]
14.46/5.57	        (21) YES
14.46/5.57	    (22) QDP
14.46/5.57	        (23) QDPSizeChangeProof [EQUIVALENT, 0 ms]
14.46/5.57	        (24) YES
14.46/5.57	    (25) QDP
14.46/5.57	        (26) QDPSizeChangeProof [EQUIVALENT, 0 ms]
14.46/5.57	        (27) YES
14.46/5.57	    (28) QDP
14.46/5.57	        (29) QDPSizeChangeProof [EQUIVALENT, 0 ms]
14.46/5.57	        (30) YES
14.46/5.57	    (31) QDP
14.46/5.57	        (32) QDPSizeChangeProof [EQUIVALENT, 0 ms]
14.46/5.57	        (33) YES
14.46/5.57	    (34) QDP
14.46/5.57	        (35) QDPSizeChangeProof [EQUIVALENT, 0 ms]
14.46/5.57	        (36) YES
14.46/5.57	    (37) QDP
14.46/5.57	        (38) QDPSizeChangeProof [EQUIVALENT, 0 ms]
14.46/5.57	        (39) YES
14.46/5.57	
14.46/5.57	
14.46/5.57	----------------------------------------
14.46/5.57	
14.46/5.57	(0)
14.46/5.57	Obligation:
14.46/5.57	mainModule Main 
14.46/5.57	module Main where {
14.46/5.57	import qualified Prelude;
14.46/5.57	data List a = Cons a (List a)  | Nil ;
14.46/5.57	
14.46/5.57	data MyBool = MyTrue  | MyFalse ;
14.46/5.57	
14.46/5.57	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
14.46/5.57	
14.46/5.57	data Main.Nat = Succ Main.Nat  | Zero ;
14.46/5.57	
14.46/5.57	data Ordering = LT  | EQ  | GT ;
14.46/5.57	
14.46/5.57	data Tup2 a b = Tup2 a b ;
14.46/5.57	
14.46/5.57	data Main.WHNF a = WHNF a ;
14.46/5.57	
14.46/5.57	asAs :: MyBool  ->  MyBool  ->  MyBool;
14.46/5.57	asAs MyFalse x = MyFalse;
14.46/5.57	asAs MyTrue x = x;
14.46/5.57	
14.46/5.57	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
14.46/5.57	compareMyInt = primCmpInt;
14.46/5.57	
14.46/5.57	dsEm :: (a  ->  b)  ->  a  ->  b;
14.46/5.57	dsEm f x = Main.seq x (f x);
14.46/5.57	
14.46/5.57	enforceWHNF :: Main.WHNF a  ->  b  ->  b;
14.46/5.57	enforceWHNF (Main.WHNF x) y = y;
14.46/5.57	
14.46/5.57	enumFromToMyInt :: MyInt  ->  MyInt  ->  List MyInt;
14.46/5.57	enumFromToMyInt = numericEnumFromTo;
14.46/5.57	
14.46/5.57	error :: a;
14.46/5.57	error = stop MyTrue;
14.46/5.57	
14.46/5.57	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
14.46/5.57	esEsOrdering LT LT = MyTrue;
14.46/5.57	esEsOrdering LT EQ = MyFalse;
14.46/5.57	esEsOrdering LT GT = MyFalse;
14.46/5.57	esEsOrdering EQ LT = MyFalse;
14.46/5.57	esEsOrdering EQ EQ = MyTrue;
14.46/5.57	esEsOrdering EQ GT = MyFalse;
14.46/5.57	esEsOrdering GT LT = MyFalse;
14.46/5.57	esEsOrdering GT EQ = MyFalse;
14.46/5.57	esEsOrdering GT GT = MyTrue;
14.46/5.57	
14.46/5.57	flip :: (c  ->  a  ->  b)  ->  a  ->  c  ->  b;
14.46/5.57	flip f x y = f y x;
14.46/5.57	
14.46/5.57	fromIntMyInt :: MyInt  ->  MyInt;
14.46/5.57	fromIntMyInt x = x;
14.46/5.57	
14.46/5.57	fsEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
14.46/5.57	fsEsOrdering x y = not (esEsOrdering x y);
14.46/5.57	
14.46/5.57	inRangeMyInt :: Tup2 MyInt MyInt  ->  MyInt  ->  MyBool;
14.46/5.57	inRangeMyInt (Tup2 m n) i = asAs (ltEsMyInt m i) (ltEsMyInt i n);
14.46/5.57	
14.46/5.57	index0 vx vy i MyTrue = Main.error;
14.46/5.57	
14.46/5.57	index1 vx vy i MyTrue = msMyInt i vx;
14.46/5.57	index1 vx vy i MyFalse = index0 vx vy i otherwise;
14.46/5.57	
14.46/5.57	index2 (Tup2 vx vy) i = index1 vx vy i (inRangeMyInt (Tup2 vx vy) i);
14.46/5.57	
14.46/5.57	indexMyInt :: Tup2 MyInt MyInt  ->  MyInt  ->  MyInt;
14.46/5.57	indexMyInt (Tup2 vx vy) i = index2 (Tup2 vx vy) i;
14.46/5.57	
14.46/5.57	ltEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
14.46/5.57	ltEsMyInt x y = fsEsOrdering (compareMyInt x y) GT;
14.46/5.57	
14.46/5.57	msMyInt :: MyInt  ->  MyInt  ->  MyInt;
14.46/5.57	msMyInt = primMinusInt;
14.46/5.57	
14.46/5.57	not :: MyBool  ->  MyBool;
14.46/5.57	not MyTrue = MyFalse;
14.46/5.57	not MyFalse = MyTrue;
14.46/5.57	
14.46/5.57	null :: List a  ->  MyBool;
14.46/5.57	null Nil = MyTrue;
14.46/5.57	null (Cons vz wu) = MyFalse;
14.46/5.57	
14.46/5.57	numericEnumFrom n = Cons n (dsEm numericEnumFrom (psMyInt n (fromIntMyInt (Main.Pos (Main.Succ Main.Zero)))));
14.46/5.57	
14.46/5.57	numericEnumFromTo n m = takeWhile (flip ltEsMyInt m) (numericEnumFrom n);
14.46/5.57	
14.46/5.57	otherwise :: MyBool;
14.46/5.57	otherwise = MyTrue;
14.46/5.57	
14.46/5.57	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
14.46/5.57	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
14.46/5.57	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
14.46/5.57	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
14.46/5.57	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
14.46/5.57	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
14.46/5.57	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
14.46/5.57	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
14.46/5.57	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
14.46/5.57	
14.46/5.57	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
14.46/5.57	primCmpNat Main.Zero Main.Zero = EQ;
14.46/5.58	primCmpNat Main.Zero (Main.Succ y) = LT;
14.46/5.58	primCmpNat (Main.Succ x) Main.Zero = GT;
14.46/5.58	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
14.46/5.58	
14.46/5.58	primMinusInt :: MyInt  ->  MyInt  ->  MyInt;
14.46/5.58	primMinusInt (Main.Pos x) (Main.Neg y) = Main.Pos (primPlusNat x y);
14.46/5.58	primMinusInt (Main.Neg x) (Main.Pos y) = Main.Neg (primPlusNat x y);
14.46/5.58	primMinusInt (Main.Neg x) (Main.Neg y) = primMinusNat y x;
14.46/5.58	primMinusInt (Main.Pos x) (Main.Pos y) = primMinusNat x y;
14.46/5.58	
14.46/5.58	primMinusNat :: Main.Nat  ->  Main.Nat  ->  MyInt;
14.46/5.58	primMinusNat Main.Zero Main.Zero = Main.Pos Main.Zero;
14.46/5.58	primMinusNat Main.Zero (Main.Succ y) = Main.Neg (Main.Succ y);
14.46/5.58	primMinusNat (Main.Succ x) Main.Zero = Main.Pos (Main.Succ x);
14.46/5.58	primMinusNat (Main.Succ x) (Main.Succ y) = primMinusNat x y;
14.46/5.58	
14.46/5.58	primPlusInt :: MyInt  ->  MyInt  ->  MyInt;
14.46/5.58	primPlusInt (Main.Pos x) (Main.Neg y) = primMinusNat x y;
14.46/5.58	primPlusInt (Main.Neg x) (Main.Pos y) = primMinusNat y x;
14.46/5.58	primPlusInt (Main.Neg x) (Main.Neg y) = Main.Neg (primPlusNat x y);
14.46/5.58	primPlusInt (Main.Pos x) (Main.Pos y) = Main.Pos (primPlusNat x y);
14.46/5.58	
14.46/5.58	primPlusNat :: Main.Nat  ->  Main.Nat  ->  Main.Nat;
14.46/5.58	primPlusNat Main.Zero Main.Zero = Main.Zero;
14.46/5.58	primPlusNat Main.Zero (Main.Succ y) = Main.Succ y;
14.46/5.58	primPlusNat (Main.Succ x) Main.Zero = Main.Succ x;
14.46/5.58	primPlusNat (Main.Succ x) (Main.Succ y) = Main.Succ (Main.Succ (primPlusNat x y));
14.46/5.58	
14.46/5.58	psMyInt :: MyInt  ->  MyInt  ->  MyInt;
14.46/5.58	psMyInt = primPlusInt;
14.46/5.58	
14.46/5.58	rangeMyInt :: Tup2 MyInt MyInt  ->  List MyInt;
14.46/5.58	rangeMyInt (Tup2 m n) = enumFromToMyInt m n;
14.46/5.58	
14.46/5.58	rangeSize0 vv vw MyTrue = psMyInt (indexMyInt (Tup2 vv vw) vw) (Main.Pos (Main.Succ Main.Zero));
14.46/5.58	
14.46/5.58	rangeSize1 vv vw MyTrue = Main.Pos Main.Zero;
14.46/5.58	rangeSize1 vv vw MyFalse = rangeSize0 vv vw otherwise;
14.46/5.58	
14.46/5.58	rangeSize2 (Tup2 vv vw) = rangeSize1 vv vw (null (rangeMyInt (Tup2 vv vw)));
14.46/5.58	
14.46/5.58	rangeSizeMyInt :: Tup2 MyInt MyInt  ->  MyInt;
14.46/5.58	rangeSizeMyInt (Tup2 vv vw) = rangeSize2 (Tup2 vv vw);
14.46/5.58	
14.46/5.58	seq :: a  ->  b  ->  b;
14.46/5.58	seq x y = Main.enforceWHNF (Main.WHNF x) y;
14.46/5.58	
14.46/5.58	stop :: MyBool  ->  a;
14.46/5.58	stop MyFalse = stop MyFalse;
14.46/5.58	
14.46/5.58	takeWhile :: (a  ->  MyBool)  ->  List a  ->  List a;
14.46/5.58	takeWhile p Nil = takeWhile3 p Nil;
14.46/5.58	takeWhile p (Cons x xs) = takeWhile2 p (Cons x xs);
14.46/5.58	
14.46/5.58	takeWhile0 p x xs MyTrue = Nil;
14.46/5.58	
14.46/5.58	takeWhile1 p x xs MyTrue = Cons x (takeWhile p xs);
14.46/5.58	takeWhile1 p x xs MyFalse = takeWhile0 p x xs otherwise;
14.46/5.58	
14.46/5.58	takeWhile2 p (Cons x xs) = takeWhile1 p x xs (p x);
14.46/5.58	
14.46/5.58	takeWhile3 p Nil = Nil;
14.46/5.58	takeWhile3 wz xu = takeWhile2 wz xu;
14.46/5.58	
14.46/5.58	}
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(1) BR (EQUIVALENT)
14.46/5.58	Replaced joker patterns by fresh variables and removed binding patterns.
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(2)
14.46/5.58	Obligation:
14.46/5.58	mainModule Main 
14.46/5.58	module Main where {
14.46/5.58	import qualified Prelude;
14.46/5.58	data List a = Cons a (List a)  | Nil ;
14.46/5.58	
14.46/5.58	data MyBool = MyTrue  | MyFalse ;
14.46/5.58	
14.46/5.58	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
14.46/5.58	
14.46/5.58	data Main.Nat = Succ Main.Nat  | Zero ;
14.46/5.58	
14.46/5.58	data Ordering = LT  | EQ  | GT ;
14.46/5.58	
14.46/5.58	data Tup2 b a = Tup2 b a ;
14.46/5.58	
14.46/5.58	data Main.WHNF a = WHNF a ;
14.46/5.58	
14.46/5.58	asAs :: MyBool  ->  MyBool  ->  MyBool;
14.46/5.58	asAs MyFalse x = MyFalse;
14.46/5.58	asAs MyTrue x = x;
14.46/5.58	
14.46/5.58	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
14.46/5.58	compareMyInt = primCmpInt;
14.46/5.58	
14.46/5.58	dsEm :: (b  ->  a)  ->  b  ->  a;
14.46/5.58	dsEm f x = Main.seq x (f x);
14.46/5.58	
14.46/5.58	enforceWHNF :: Main.WHNF a  ->  b  ->  b;
14.46/5.58	enforceWHNF (Main.WHNF x) y = y;
14.46/5.58	
14.46/5.58	enumFromToMyInt :: MyInt  ->  MyInt  ->  List MyInt;
14.46/5.58	enumFromToMyInt = numericEnumFromTo;
14.46/5.58	
14.46/5.58	error :: a;
14.46/5.58	error = stop MyTrue;
14.46/5.58	
14.46/5.58	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
14.46/5.58	esEsOrdering LT LT = MyTrue;
14.46/5.58	esEsOrdering LT EQ = MyFalse;
14.46/5.58	esEsOrdering LT GT = MyFalse;
14.46/5.58	esEsOrdering EQ LT = MyFalse;
14.46/5.58	esEsOrdering EQ EQ = MyTrue;
14.46/5.58	esEsOrdering EQ GT = MyFalse;
14.46/5.58	esEsOrdering GT LT = MyFalse;
14.46/5.58	esEsOrdering GT EQ = MyFalse;
14.46/5.58	esEsOrdering GT GT = MyTrue;
14.46/5.58	
14.46/5.58	flip :: (c  ->  b  ->  a)  ->  b  ->  c  ->  a;
14.46/5.58	flip f x y = f y x;
14.46/5.58	
14.46/5.58	fromIntMyInt :: MyInt  ->  MyInt;
14.46/5.58	fromIntMyInt x = x;
14.46/5.58	
14.46/5.58	fsEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
14.46/5.58	fsEsOrdering x y = not (esEsOrdering x y);
14.46/5.58	
14.46/5.58	inRangeMyInt :: Tup2 MyInt MyInt  ->  MyInt  ->  MyBool;
14.46/5.58	inRangeMyInt (Tup2 m n) i = asAs (ltEsMyInt m i) (ltEsMyInt i n);
14.46/5.58	
14.46/5.58	index0 vx vy i MyTrue = Main.error;
14.46/5.58	
14.46/5.58	index1 vx vy i MyTrue = msMyInt i vx;
14.46/5.58	index1 vx vy i MyFalse = index0 vx vy i otherwise;
14.46/5.58	
14.46/5.58	index2 (Tup2 vx vy) i = index1 vx vy i (inRangeMyInt (Tup2 vx vy) i);
14.46/5.58	
14.46/5.58	indexMyInt :: Tup2 MyInt MyInt  ->  MyInt  ->  MyInt;
14.46/5.58	indexMyInt (Tup2 vx vy) i = index2 (Tup2 vx vy) i;
14.46/5.58	
14.46/5.58	ltEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
14.46/5.58	ltEsMyInt x y = fsEsOrdering (compareMyInt x y) GT;
14.46/5.58	
14.46/5.58	msMyInt :: MyInt  ->  MyInt  ->  MyInt;
14.46/5.58	msMyInt = primMinusInt;
14.46/5.58	
14.46/5.58	not :: MyBool  ->  MyBool;
14.46/5.58	not MyTrue = MyFalse;
14.46/5.58	not MyFalse = MyTrue;
14.46/5.58	
14.46/5.58	null :: List a  ->  MyBool;
14.46/5.58	null Nil = MyTrue;
14.46/5.58	null (Cons vz wu) = MyFalse;
14.46/5.58	
14.46/5.58	numericEnumFrom n = Cons n (dsEm numericEnumFrom (psMyInt n (fromIntMyInt (Main.Pos (Main.Succ Main.Zero)))));
14.46/5.58	
14.46/5.58	numericEnumFromTo n m = takeWhile (flip ltEsMyInt m) (numericEnumFrom n);
14.46/5.58	
14.46/5.58	otherwise :: MyBool;
14.46/5.58	otherwise = MyTrue;
14.46/5.58	
14.46/5.58	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
14.46/5.58	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
14.46/5.58	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
14.46/5.58	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
14.46/5.58	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
14.46/5.58	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
14.46/5.58	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
14.46/5.58	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
14.46/5.58	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
14.46/5.58	
14.46/5.58	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
14.46/5.58	primCmpNat Main.Zero Main.Zero = EQ;
14.46/5.58	primCmpNat Main.Zero (Main.Succ y) = LT;
14.46/5.58	primCmpNat (Main.Succ x) Main.Zero = GT;
14.46/5.58	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
14.46/5.58	
14.46/5.58	primMinusInt :: MyInt  ->  MyInt  ->  MyInt;
14.46/5.58	primMinusInt (Main.Pos x) (Main.Neg y) = Main.Pos (primPlusNat x y);
14.46/5.58	primMinusInt (Main.Neg x) (Main.Pos y) = Main.Neg (primPlusNat x y);
14.46/5.58	primMinusInt (Main.Neg x) (Main.Neg y) = primMinusNat y x;
14.46/5.58	primMinusInt (Main.Pos x) (Main.Pos y) = primMinusNat x y;
14.46/5.58	
14.46/5.58	primMinusNat :: Main.Nat  ->  Main.Nat  ->  MyInt;
14.46/5.58	primMinusNat Main.Zero Main.Zero = Main.Pos Main.Zero;
14.46/5.58	primMinusNat Main.Zero (Main.Succ y) = Main.Neg (Main.Succ y);
14.46/5.58	primMinusNat (Main.Succ x) Main.Zero = Main.Pos (Main.Succ x);
14.46/5.58	primMinusNat (Main.Succ x) (Main.Succ y) = primMinusNat x y;
14.46/5.58	
14.46/5.58	primPlusInt :: MyInt  ->  MyInt  ->  MyInt;
14.46/5.58	primPlusInt (Main.Pos x) (Main.Neg y) = primMinusNat x y;
14.46/5.58	primPlusInt (Main.Neg x) (Main.Pos y) = primMinusNat y x;
14.46/5.58	primPlusInt (Main.Neg x) (Main.Neg y) = Main.Neg (primPlusNat x y);
14.46/5.58	primPlusInt (Main.Pos x) (Main.Pos y) = Main.Pos (primPlusNat x y);
14.46/5.58	
14.46/5.58	primPlusNat :: Main.Nat  ->  Main.Nat  ->  Main.Nat;
14.46/5.58	primPlusNat Main.Zero Main.Zero = Main.Zero;
14.46/5.58	primPlusNat Main.Zero (Main.Succ y) = Main.Succ y;
14.46/5.58	primPlusNat (Main.Succ x) Main.Zero = Main.Succ x;
14.46/5.58	primPlusNat (Main.Succ x) (Main.Succ y) = Main.Succ (Main.Succ (primPlusNat x y));
14.46/5.58	
14.46/5.58	psMyInt :: MyInt  ->  MyInt  ->  MyInt;
14.46/5.58	psMyInt = primPlusInt;
14.46/5.58	
14.46/5.58	rangeMyInt :: Tup2 MyInt MyInt  ->  List MyInt;
14.46/5.58	rangeMyInt (Tup2 m n) = enumFromToMyInt m n;
14.46/5.58	
14.46/5.58	rangeSize0 vv vw MyTrue = psMyInt (indexMyInt (Tup2 vv vw) vw) (Main.Pos (Main.Succ Main.Zero));
14.46/5.58	
14.46/5.58	rangeSize1 vv vw MyTrue = Main.Pos Main.Zero;
14.46/5.58	rangeSize1 vv vw MyFalse = rangeSize0 vv vw otherwise;
14.46/5.58	
14.46/5.58	rangeSize2 (Tup2 vv vw) = rangeSize1 vv vw (null (rangeMyInt (Tup2 vv vw)));
14.46/5.58	
14.46/5.58	rangeSizeMyInt :: Tup2 MyInt MyInt  ->  MyInt;
14.46/5.58	rangeSizeMyInt (Tup2 vv vw) = rangeSize2 (Tup2 vv vw);
14.46/5.58	
14.46/5.58	seq :: a  ->  b  ->  b;
14.46/5.58	seq x y = Main.enforceWHNF (Main.WHNF x) y;
14.46/5.58	
14.46/5.58	stop :: MyBool  ->  a;
14.46/5.58	stop MyFalse = stop MyFalse;
14.46/5.58	
14.46/5.58	takeWhile :: (a  ->  MyBool)  ->  List a  ->  List a;
14.46/5.58	takeWhile p Nil = takeWhile3 p Nil;
14.46/5.58	takeWhile p (Cons x xs) = takeWhile2 p (Cons x xs);
14.46/5.58	
14.46/5.58	takeWhile0 p x xs MyTrue = Nil;
14.46/5.58	
14.46/5.58	takeWhile1 p x xs MyTrue = Cons x (takeWhile p xs);
14.46/5.58	takeWhile1 p x xs MyFalse = takeWhile0 p x xs otherwise;
14.46/5.58	
14.46/5.58	takeWhile2 p (Cons x xs) = takeWhile1 p x xs (p x);
14.46/5.58	
14.46/5.58	takeWhile3 p Nil = Nil;
14.46/5.58	takeWhile3 wz xu = takeWhile2 wz xu;
14.46/5.58	
14.46/5.58	}
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(3) COR (EQUIVALENT)
14.46/5.58	Cond Reductions:
14.46/5.58	The following Function with conditions
14.46/5.58	"undefined |Falseundefined;
14.46/5.58	"
14.46/5.58	is transformed to
14.46/5.58	"undefined  = undefined1;
14.46/5.58	"
14.46/5.58	"undefined0 True = undefined;
14.46/5.58	"
14.46/5.58	"undefined1  = undefined0 False;
14.46/5.58	"
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(4)
14.46/5.58	Obligation:
14.46/5.58	mainModule Main 
14.46/5.58	module Main where {
14.46/5.58	import qualified Prelude;
14.46/5.58	data List a = Cons a (List a)  | Nil ;
14.46/5.58	
14.46/5.58	data MyBool = MyTrue  | MyFalse ;
14.46/5.58	
14.46/5.58	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
14.46/5.58	
14.46/5.58	data Main.Nat = Succ Main.Nat  | Zero ;
14.46/5.58	
14.46/5.58	data Ordering = LT  | EQ  | GT ;
14.46/5.58	
14.46/5.58	data Tup2 a b = Tup2 a b ;
14.46/5.58	
14.46/5.58	data Main.WHNF a = WHNF a ;
14.46/5.58	
14.46/5.58	asAs :: MyBool  ->  MyBool  ->  MyBool;
14.46/5.58	asAs MyFalse x = MyFalse;
14.46/5.58	asAs MyTrue x = x;
14.46/5.58	
14.46/5.58	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
14.46/5.58	compareMyInt = primCmpInt;
14.46/5.58	
14.46/5.58	dsEm :: (b  ->  a)  ->  b  ->  a;
14.46/5.58	dsEm f x = Main.seq x (f x);
14.46/5.58	
14.46/5.58	enforceWHNF :: Main.WHNF b  ->  a  ->  a;
14.46/5.58	enforceWHNF (Main.WHNF x) y = y;
14.46/5.58	
14.46/5.58	enumFromToMyInt :: MyInt  ->  MyInt  ->  List MyInt;
14.46/5.58	enumFromToMyInt = numericEnumFromTo;
14.46/5.58	
14.46/5.58	error :: a;
14.46/5.58	error = stop MyTrue;
14.46/5.58	
14.46/5.58	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
14.46/5.58	esEsOrdering LT LT = MyTrue;
14.46/5.58	esEsOrdering LT EQ = MyFalse;
14.46/5.58	esEsOrdering LT GT = MyFalse;
14.46/5.58	esEsOrdering EQ LT = MyFalse;
14.46/5.58	esEsOrdering EQ EQ = MyTrue;
14.46/5.58	esEsOrdering EQ GT = MyFalse;
14.46/5.58	esEsOrdering GT LT = MyFalse;
14.46/5.58	esEsOrdering GT EQ = MyFalse;
14.46/5.58	esEsOrdering GT GT = MyTrue;
14.46/5.58	
14.46/5.58	flip :: (c  ->  a  ->  b)  ->  a  ->  c  ->  b;
14.46/5.58	flip f x y = f y x;
14.46/5.58	
14.46/5.58	fromIntMyInt :: MyInt  ->  MyInt;
14.46/5.58	fromIntMyInt x = x;
14.46/5.58	
14.46/5.58	fsEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
14.46/5.58	fsEsOrdering x y = not (esEsOrdering x y);
14.46/5.58	
14.46/5.58	inRangeMyInt :: Tup2 MyInt MyInt  ->  MyInt  ->  MyBool;
14.46/5.58	inRangeMyInt (Tup2 m n) i = asAs (ltEsMyInt m i) (ltEsMyInt i n);
14.46/5.58	
14.46/5.58	index0 vx vy i MyTrue = Main.error;
14.46/5.58	
14.46/5.58	index1 vx vy i MyTrue = msMyInt i vx;
14.46/5.58	index1 vx vy i MyFalse = index0 vx vy i otherwise;
14.46/5.58	
14.46/5.58	index2 (Tup2 vx vy) i = index1 vx vy i (inRangeMyInt (Tup2 vx vy) i);
14.46/5.58	
14.46/5.58	indexMyInt :: Tup2 MyInt MyInt  ->  MyInt  ->  MyInt;
14.46/5.58	indexMyInt (Tup2 vx vy) i = index2 (Tup2 vx vy) i;
14.46/5.58	
14.46/5.58	ltEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
14.46/5.58	ltEsMyInt x y = fsEsOrdering (compareMyInt x y) GT;
14.46/5.58	
14.46/5.58	msMyInt :: MyInt  ->  MyInt  ->  MyInt;
14.46/5.58	msMyInt = primMinusInt;
14.46/5.58	
14.46/5.58	not :: MyBool  ->  MyBool;
14.46/5.58	not MyTrue = MyFalse;
14.46/5.58	not MyFalse = MyTrue;
14.46/5.58	
14.46/5.58	null :: List a  ->  MyBool;
14.46/5.58	null Nil = MyTrue;
14.46/5.58	null (Cons vz wu) = MyFalse;
14.46/5.58	
14.46/5.58	numericEnumFrom n = Cons n (dsEm numericEnumFrom (psMyInt n (fromIntMyInt (Main.Pos (Main.Succ Main.Zero)))));
14.46/5.58	
14.46/5.58	numericEnumFromTo n m = takeWhile (flip ltEsMyInt m) (numericEnumFrom n);
14.46/5.58	
14.46/5.58	otherwise :: MyBool;
14.46/5.58	otherwise = MyTrue;
14.46/5.58	
14.46/5.58	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
14.46/5.58	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
14.46/5.58	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
14.46/5.58	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
14.46/5.58	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
14.46/5.58	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
14.46/5.58	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
14.46/5.58	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
14.46/5.58	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
14.46/5.58	
14.46/5.58	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
14.46/5.58	primCmpNat Main.Zero Main.Zero = EQ;
14.46/5.58	primCmpNat Main.Zero (Main.Succ y) = LT;
14.46/5.58	primCmpNat (Main.Succ x) Main.Zero = GT;
14.46/5.58	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
14.46/5.58	
14.46/5.58	primMinusInt :: MyInt  ->  MyInt  ->  MyInt;
14.46/5.58	primMinusInt (Main.Pos x) (Main.Neg y) = Main.Pos (primPlusNat x y);
14.46/5.58	primMinusInt (Main.Neg x) (Main.Pos y) = Main.Neg (primPlusNat x y);
14.46/5.58	primMinusInt (Main.Neg x) (Main.Neg y) = primMinusNat y x;
14.46/5.58	primMinusInt (Main.Pos x) (Main.Pos y) = primMinusNat x y;
14.46/5.58	
14.46/5.58	primMinusNat :: Main.Nat  ->  Main.Nat  ->  MyInt;
14.46/5.58	primMinusNat Main.Zero Main.Zero = Main.Pos Main.Zero;
14.46/5.58	primMinusNat Main.Zero (Main.Succ y) = Main.Neg (Main.Succ y);
14.46/5.58	primMinusNat (Main.Succ x) Main.Zero = Main.Pos (Main.Succ x);
14.46/5.58	primMinusNat (Main.Succ x) (Main.Succ y) = primMinusNat x y;
14.46/5.58	
14.46/5.58	primPlusInt :: MyInt  ->  MyInt  ->  MyInt;
14.46/5.58	primPlusInt (Main.Pos x) (Main.Neg y) = primMinusNat x y;
14.46/5.58	primPlusInt (Main.Neg x) (Main.Pos y) = primMinusNat y x;
14.46/5.58	primPlusInt (Main.Neg x) (Main.Neg y) = Main.Neg (primPlusNat x y);
14.46/5.58	primPlusInt (Main.Pos x) (Main.Pos y) = Main.Pos (primPlusNat x y);
14.46/5.58	
14.46/5.58	primPlusNat :: Main.Nat  ->  Main.Nat  ->  Main.Nat;
14.46/5.58	primPlusNat Main.Zero Main.Zero = Main.Zero;
14.46/5.58	primPlusNat Main.Zero (Main.Succ y) = Main.Succ y;
14.46/5.58	primPlusNat (Main.Succ x) Main.Zero = Main.Succ x;
14.46/5.58	primPlusNat (Main.Succ x) (Main.Succ y) = Main.Succ (Main.Succ (primPlusNat x y));
14.46/5.58	
14.46/5.58	psMyInt :: MyInt  ->  MyInt  ->  MyInt;
14.46/5.58	psMyInt = primPlusInt;
14.46/5.58	
14.46/5.58	rangeMyInt :: Tup2 MyInt MyInt  ->  List MyInt;
14.46/5.58	rangeMyInt (Tup2 m n) = enumFromToMyInt m n;
14.46/5.58	
14.46/5.58	rangeSize0 vv vw MyTrue = psMyInt (indexMyInt (Tup2 vv vw) vw) (Main.Pos (Main.Succ Main.Zero));
14.46/5.58	
14.46/5.58	rangeSize1 vv vw MyTrue = Main.Pos Main.Zero;
14.46/5.58	rangeSize1 vv vw MyFalse = rangeSize0 vv vw otherwise;
14.46/5.58	
14.46/5.58	rangeSize2 (Tup2 vv vw) = rangeSize1 vv vw (null (rangeMyInt (Tup2 vv vw)));
14.46/5.58	
14.46/5.58	rangeSizeMyInt :: Tup2 MyInt MyInt  ->  MyInt;
14.46/5.58	rangeSizeMyInt (Tup2 vv vw) = rangeSize2 (Tup2 vv vw);
14.46/5.58	
14.46/5.58	seq :: a  ->  b  ->  b;
14.46/5.58	seq x y = Main.enforceWHNF (Main.WHNF x) y;
14.46/5.58	
14.46/5.58	stop :: MyBool  ->  a;
14.46/5.58	stop MyFalse = stop MyFalse;
14.46/5.58	
14.46/5.58	takeWhile :: (a  ->  MyBool)  ->  List a  ->  List a;
14.46/5.58	takeWhile p Nil = takeWhile3 p Nil;
14.46/5.58	takeWhile p (Cons x xs) = takeWhile2 p (Cons x xs);
14.46/5.58	
14.46/5.58	takeWhile0 p x xs MyTrue = Nil;
14.46/5.58	
14.46/5.58	takeWhile1 p x xs MyTrue = Cons x (takeWhile p xs);
14.46/5.58	takeWhile1 p x xs MyFalse = takeWhile0 p x xs otherwise;
14.46/5.58	
14.46/5.58	takeWhile2 p (Cons x xs) = takeWhile1 p x xs (p x);
14.46/5.58	
14.46/5.58	takeWhile3 p Nil = Nil;
14.46/5.58	takeWhile3 wz xu = takeWhile2 wz xu;
14.46/5.58	
14.46/5.58	}
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(5) Narrow (SOUND)
14.46/5.58	Haskell To QDPs
14.46/5.58	
14.46/5.58	digraph dp_graph {
14.46/5.58	node [outthreshold=100, inthreshold=100];1[label="rangeSizeMyInt",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
14.46/5.58	3[label="rangeSizeMyInt wx3",fontsize=16,color="burlywood",shape="triangle"];2522[label="wx3/Tup2 wx30 wx31",fontsize=10,color="white",style="solid",shape="box"];3 -> 2522[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2522 -> 4[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	4[label="rangeSizeMyInt (Tup2 wx30 wx31)",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3];
14.46/5.58	5[label="rangeSize2 (Tup2 wx30 wx31)",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
14.46/5.58	6[label="rangeSize1 wx30 wx31 (null (rangeMyInt (Tup2 wx30 wx31)))",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
14.46/5.58	7[label="rangeSize1 wx30 wx31 (null (enumFromToMyInt wx30 wx31))",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
14.46/5.58	8[label="rangeSize1 wx30 wx31 (null (numericEnumFromTo wx30 wx31))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
14.46/5.58	9[label="rangeSize1 wx30 wx31 (null (takeWhile (flip ltEsMyInt wx31) (numericEnumFrom wx30)))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
14.46/5.58	10[label="rangeSize1 wx30 wx31 (null (takeWhile (flip ltEsMyInt wx31) (Cons wx30 (dsEm numericEnumFrom (psMyInt wx30 (fromIntMyInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3];
14.46/5.58	11[label="rangeSize1 wx30 wx31 (null (takeWhile2 (flip ltEsMyInt wx31) (Cons wx30 (dsEm numericEnumFrom (psMyInt wx30 (fromIntMyInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
14.46/5.58	12[label="rangeSize1 wx30 wx31 (null (takeWhile1 (flip ltEsMyInt wx31) wx30 (dsEm numericEnumFrom (psMyInt wx30 (fromIntMyInt (Pos (Succ Zero))))) (flip ltEsMyInt wx31 wx30)))",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3];
14.46/5.58	13[label="rangeSize1 wx30 wx31 (null (takeWhile1 (flip ltEsMyInt wx31) wx30 (dsEm numericEnumFrom (psMyInt wx30 (fromIntMyInt (Pos (Succ Zero))))) (ltEsMyInt wx30 wx31)))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3];
14.46/5.58	14[label="rangeSize1 wx30 wx31 (null (takeWhile1 (flip ltEsMyInt wx31) wx30 (dsEm numericEnumFrom (psMyInt wx30 (fromIntMyInt (Pos (Succ Zero))))) (fsEsOrdering (compareMyInt wx30 wx31) GT)))",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3];
14.46/5.58	15[label="rangeSize1 wx30 wx31 (null (takeWhile1 (flip ltEsMyInt wx31) wx30 (dsEm numericEnumFrom (psMyInt wx30 (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (compareMyInt wx30 wx31) GT))))",fontsize=16,color="black",shape="box"];15 -> 16[label="",style="solid", color="black", weight=3];
14.46/5.58	16[label="rangeSize1 wx30 wx31 (null (takeWhile1 (flip ltEsMyInt wx31) wx30 (dsEm numericEnumFrom (psMyInt wx30 (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt wx30 wx31) GT))))",fontsize=16,color="burlywood",shape="box"];2523[label="wx30/Pos wx300",fontsize=10,color="white",style="solid",shape="box"];16 -> 2523[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2523 -> 17[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2524[label="wx30/Neg wx300",fontsize=10,color="white",style="solid",shape="box"];16 -> 2524[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2524 -> 18[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	17[label="rangeSize1 (Pos wx300) wx31 (null (takeWhile1 (flip ltEsMyInt wx31) (Pos wx300) (dsEm numericEnumFrom (psMyInt (Pos wx300) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Pos wx300) wx31) GT))))",fontsize=16,color="burlywood",shape="box"];2525[label="wx300/Succ wx3000",fontsize=10,color="white",style="solid",shape="box"];17 -> 2525[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2525 -> 19[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2526[label="wx300/Zero",fontsize=10,color="white",style="solid",shape="box"];17 -> 2526[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2526 -> 20[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	18[label="rangeSize1 (Neg wx300) wx31 (null (takeWhile1 (flip ltEsMyInt wx31) (Neg wx300) (dsEm numericEnumFrom (psMyInt (Neg wx300) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Neg wx300) wx31) GT))))",fontsize=16,color="burlywood",shape="box"];2527[label="wx300/Succ wx3000",fontsize=10,color="white",style="solid",shape="box"];18 -> 2527[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2527 -> 21[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2528[label="wx300/Zero",fontsize=10,color="white",style="solid",shape="box"];18 -> 2528[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2528 -> 22[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	19[label="rangeSize1 (Pos (Succ wx3000)) wx31 (null (takeWhile1 (flip ltEsMyInt wx31) (Pos (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Pos (Succ wx3000)) wx31) GT))))",fontsize=16,color="burlywood",shape="box"];2529[label="wx31/Pos wx310",fontsize=10,color="white",style="solid",shape="box"];19 -> 2529[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2529 -> 23[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2530[label="wx31/Neg wx310",fontsize=10,color="white",style="solid",shape="box"];19 -> 2530[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2530 -> 24[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	20[label="rangeSize1 (Pos Zero) wx31 (null (takeWhile1 (flip ltEsMyInt wx31) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Pos Zero) wx31) GT))))",fontsize=16,color="burlywood",shape="box"];2531[label="wx31/Pos wx310",fontsize=10,color="white",style="solid",shape="box"];20 -> 2531[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2531 -> 25[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2532[label="wx31/Neg wx310",fontsize=10,color="white",style="solid",shape="box"];20 -> 2532[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2532 -> 26[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	21[label="rangeSize1 (Neg (Succ wx3000)) wx31 (null (takeWhile1 (flip ltEsMyInt wx31) (Neg (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Neg (Succ wx3000)) wx31) GT))))",fontsize=16,color="burlywood",shape="box"];2533[label="wx31/Pos wx310",fontsize=10,color="white",style="solid",shape="box"];21 -> 2533[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2533 -> 27[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2534[label="wx31/Neg wx310",fontsize=10,color="white",style="solid",shape="box"];21 -> 2534[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2534 -> 28[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	22[label="rangeSize1 (Neg Zero) wx31 (null (takeWhile1 (flip ltEsMyInt wx31) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Neg Zero) wx31) GT))))",fontsize=16,color="burlywood",shape="box"];2535[label="wx31/Pos wx310",fontsize=10,color="white",style="solid",shape="box"];22 -> 2535[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2535 -> 29[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2536[label="wx31/Neg wx310",fontsize=10,color="white",style="solid",shape="box"];22 -> 2536[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2536 -> 30[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	23[label="rangeSize1 (Pos (Succ wx3000)) (Pos wx310) (null (takeWhile1 (flip ltEsMyInt (Pos wx310)) (Pos (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Pos (Succ wx3000)) (Pos wx310)) GT))))",fontsize=16,color="black",shape="box"];23 -> 31[label="",style="solid", color="black", weight=3];
14.46/5.58	24[label="rangeSize1 (Pos (Succ wx3000)) (Neg wx310) (null (takeWhile1 (flip ltEsMyInt (Neg wx310)) (Pos (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Pos (Succ wx3000)) (Neg wx310)) GT))))",fontsize=16,color="black",shape="box"];24 -> 32[label="",style="solid", color="black", weight=3];
14.46/5.58	25[label="rangeSize1 (Pos Zero) (Pos wx310) (null (takeWhile1 (flip ltEsMyInt (Pos wx310)) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos wx310)) GT))))",fontsize=16,color="burlywood",shape="box"];2537[label="wx310/Succ wx3100",fontsize=10,color="white",style="solid",shape="box"];25 -> 2537[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2537 -> 33[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2538[label="wx310/Zero",fontsize=10,color="white",style="solid",shape="box"];25 -> 2538[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2538 -> 34[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	26[label="rangeSize1 (Pos Zero) (Neg wx310) (null (takeWhile1 (flip ltEsMyInt (Neg wx310)) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg wx310)) GT))))",fontsize=16,color="burlywood",shape="box"];2539[label="wx310/Succ wx3100",fontsize=10,color="white",style="solid",shape="box"];26 -> 2539[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2539 -> 35[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2540[label="wx310/Zero",fontsize=10,color="white",style="solid",shape="box"];26 -> 2540[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2540 -> 36[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	27[label="rangeSize1 (Neg (Succ wx3000)) (Pos wx310) (null (takeWhile1 (flip ltEsMyInt (Pos wx310)) (Neg (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Neg (Succ wx3000)) (Pos wx310)) GT))))",fontsize=16,color="black",shape="box"];27 -> 37[label="",style="solid", color="black", weight=3];
14.46/5.58	28[label="rangeSize1 (Neg (Succ wx3000)) (Neg wx310) (null (takeWhile1 (flip ltEsMyInt (Neg wx310)) (Neg (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Neg (Succ wx3000)) (Neg wx310)) GT))))",fontsize=16,color="black",shape="box"];28 -> 38[label="",style="solid", color="black", weight=3];
14.46/5.58	29[label="rangeSize1 (Neg Zero) (Pos wx310) (null (takeWhile1 (flip ltEsMyInt (Pos wx310)) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos wx310)) GT))))",fontsize=16,color="burlywood",shape="box"];2541[label="wx310/Succ wx3100",fontsize=10,color="white",style="solid",shape="box"];29 -> 2541[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2541 -> 39[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2542[label="wx310/Zero",fontsize=10,color="white",style="solid",shape="box"];29 -> 2542[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2542 -> 40[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	30[label="rangeSize1 (Neg Zero) (Neg wx310) (null (takeWhile1 (flip ltEsMyInt (Neg wx310)) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg wx310)) GT))))",fontsize=16,color="burlywood",shape="box"];2543[label="wx310/Succ wx3100",fontsize=10,color="white",style="solid",shape="box"];30 -> 2543[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2543 -> 41[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2544[label="wx310/Zero",fontsize=10,color="white",style="solid",shape="box"];30 -> 2544[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2544 -> 42[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	31[label="rangeSize1 (Pos (Succ wx3000)) (Pos wx310) (null (takeWhile1 (flip ltEsMyInt (Pos wx310)) (Pos (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat (Succ wx3000) wx310) GT))))",fontsize=16,color="burlywood",shape="box"];2545[label="wx310/Succ wx3100",fontsize=10,color="white",style="solid",shape="box"];31 -> 2545[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2545 -> 43[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2546[label="wx310/Zero",fontsize=10,color="white",style="solid",shape="box"];31 -> 2546[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2546 -> 44[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	32[label="rangeSize1 (Pos (Succ wx3000)) (Neg wx310) (null (takeWhile1 (flip ltEsMyInt (Neg wx310)) (Pos (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering GT GT))))",fontsize=16,color="black",shape="box"];32 -> 45[label="",style="solid", color="black", weight=3];
14.46/5.58	33[label="rangeSize1 (Pos Zero) (Pos (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx3100))) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ wx3100))) GT))))",fontsize=16,color="black",shape="box"];33 -> 46[label="",style="solid", color="black", weight=3];
14.46/5.58	34[label="rangeSize1 (Pos Zero) (Pos Zero) (null (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) GT))))",fontsize=16,color="black",shape="box"];34 -> 47[label="",style="solid", color="black", weight=3];
14.46/5.58	35[label="rangeSize1 (Pos Zero) (Neg (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx3100))) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg (Succ wx3100))) GT))))",fontsize=16,color="black",shape="box"];35 -> 48[label="",style="solid", color="black", weight=3];
14.46/5.58	36[label="rangeSize1 (Pos Zero) (Neg Zero) (null (takeWhile1 (flip ltEsMyInt (Neg Zero)) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg Zero)) GT))))",fontsize=16,color="black",shape="box"];36 -> 49[label="",style="solid", color="black", weight=3];
14.46/5.58	37[label="rangeSize1 (Neg (Succ wx3000)) (Pos wx310) (null (takeWhile1 (flip ltEsMyInt (Pos wx310)) (Neg (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering LT GT))))",fontsize=16,color="black",shape="box"];37 -> 50[label="",style="solid", color="black", weight=3];
14.46/5.58	38[label="rangeSize1 (Neg (Succ wx3000)) (Neg wx310) (null (takeWhile1 (flip ltEsMyInt (Neg wx310)) (Neg (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat wx310 (Succ wx3000)) GT))))",fontsize=16,color="burlywood",shape="box"];2547[label="wx310/Succ wx3100",fontsize=10,color="white",style="solid",shape="box"];38 -> 2547[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2547 -> 51[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2548[label="wx310/Zero",fontsize=10,color="white",style="solid",shape="box"];38 -> 2548[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2548 -> 52[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	39[label="rangeSize1 (Neg Zero) (Pos (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx3100))) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos (Succ wx3100))) GT))))",fontsize=16,color="black",shape="box"];39 -> 53[label="",style="solid", color="black", weight=3];
14.46/5.58	40[label="rangeSize1 (Neg Zero) (Pos Zero) (null (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos Zero)) GT))))",fontsize=16,color="black",shape="box"];40 -> 54[label="",style="solid", color="black", weight=3];
14.46/5.58	41[label="rangeSize1 (Neg Zero) (Neg (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx3100))) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg (Succ wx3100))) GT))))",fontsize=16,color="black",shape="box"];41 -> 55[label="",style="solid", color="black", weight=3];
14.46/5.58	42[label="rangeSize1 (Neg Zero) (Neg Zero) (null (takeWhile1 (flip ltEsMyInt (Neg Zero)) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg Zero)) GT))))",fontsize=16,color="black",shape="box"];42 -> 56[label="",style="solid", color="black", weight=3];
14.46/5.58	43[label="rangeSize1 (Pos (Succ wx3000)) (Pos (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx3100))) (Pos (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat (Succ wx3000) (Succ wx3100)) GT))))",fontsize=16,color="black",shape="box"];43 -> 57[label="",style="solid", color="black", weight=3];
14.46/5.58	44[label="rangeSize1 (Pos (Succ wx3000)) (Pos Zero) (null (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat (Succ wx3000) Zero) GT))))",fontsize=16,color="black",shape="box"];44 -> 58[label="",style="solid", color="black", weight=3];
14.46/5.58	45[label="rangeSize1 (Pos (Succ wx3000)) (Neg wx310) (null (takeWhile1 (flip ltEsMyInt (Neg wx310)) (Pos (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not MyTrue)))",fontsize=16,color="black",shape="box"];45 -> 59[label="",style="solid", color="black", weight=3];
14.46/5.58	46[label="rangeSize1 (Pos Zero) (Pos (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx3100))) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat Zero (Succ wx3100)) GT))))",fontsize=16,color="black",shape="box"];46 -> 60[label="",style="solid", color="black", weight=3];
14.46/5.58	47[label="rangeSize1 (Pos Zero) (Pos Zero) (null (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering EQ GT))))",fontsize=16,color="black",shape="box"];47 -> 61[label="",style="solid", color="black", weight=3];
14.46/5.58	48[label="rangeSize1 (Pos Zero) (Neg (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx3100))) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering GT GT))))",fontsize=16,color="black",shape="box"];48 -> 62[label="",style="solid", color="black", weight=3];
14.46/5.58	49[label="rangeSize1 (Pos Zero) (Neg Zero) (null (takeWhile1 (flip ltEsMyInt (Neg Zero)) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering EQ GT))))",fontsize=16,color="black",shape="box"];49 -> 63[label="",style="solid", color="black", weight=3];
14.46/5.58	50[label="rangeSize1 (Neg (Succ wx3000)) (Pos wx310) (null (takeWhile1 (flip ltEsMyInt (Pos wx310)) (Neg (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not MyFalse)))",fontsize=16,color="black",shape="box"];50 -> 64[label="",style="solid", color="black", weight=3];
14.46/5.58	51[label="rangeSize1 (Neg (Succ wx3000)) (Neg (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx3100))) (Neg (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat (Succ wx3100) (Succ wx3000)) GT))))",fontsize=16,color="black",shape="box"];51 -> 65[label="",style="solid", color="black", weight=3];
14.46/5.58	52[label="rangeSize1 (Neg (Succ wx3000)) (Neg Zero) (null (takeWhile1 (flip ltEsMyInt (Neg Zero)) (Neg (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat Zero (Succ wx3000)) GT))))",fontsize=16,color="black",shape="box"];52 -> 66[label="",style="solid", color="black", weight=3];
14.46/5.58	53[label="rangeSize1 (Neg Zero) (Pos (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx3100))) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering LT GT))))",fontsize=16,color="black",shape="box"];53 -> 67[label="",style="solid", color="black", weight=3];
14.46/5.58	54[label="rangeSize1 (Neg Zero) (Pos Zero) (null (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering EQ GT))))",fontsize=16,color="black",shape="box"];54 -> 68[label="",style="solid", color="black", weight=3];
14.46/5.58	55[label="rangeSize1 (Neg Zero) (Neg (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx3100))) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat (Succ wx3100) Zero) GT))))",fontsize=16,color="black",shape="box"];55 -> 69[label="",style="solid", color="black", weight=3];
14.46/5.58	56[label="rangeSize1 (Neg Zero) (Neg Zero) (null (takeWhile1 (flip ltEsMyInt (Neg Zero)) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering EQ GT))))",fontsize=16,color="black",shape="box"];56 -> 70[label="",style="solid", color="black", weight=3];
14.46/5.58	57 -> 778[label="",style="dashed", color="red", weight=0];
14.46/5.58	57[label="rangeSize1 (Pos (Succ wx3000)) (Pos (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx3100))) (Pos (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat wx3000 wx3100) GT))))",fontsize=16,color="magenta"];57 -> 779[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	57 -> 780[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	57 -> 781[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	57 -> 782[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	58[label="rangeSize1 (Pos (Succ wx3000)) (Pos Zero) (null (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering GT GT))))",fontsize=16,color="black",shape="box"];58 -> 73[label="",style="solid", color="black", weight=3];
14.46/5.58	59[label="rangeSize1 (Pos (Succ wx3000)) (Neg wx310) (null (takeWhile1 (flip ltEsMyInt (Neg wx310)) (Pos (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) MyFalse))",fontsize=16,color="black",shape="box"];59 -> 74[label="",style="solid", color="black", weight=3];
14.46/5.58	60[label="rangeSize1 (Pos Zero) (Pos (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx3100))) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering LT GT))))",fontsize=16,color="black",shape="box"];60 -> 75[label="",style="solid", color="black", weight=3];
14.46/5.58	61[label="rangeSize1 (Pos Zero) (Pos Zero) (null (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) (not MyFalse)))",fontsize=16,color="black",shape="box"];61 -> 76[label="",style="solid", color="black", weight=3];
14.46/5.58	62[label="rangeSize1 (Pos Zero) (Neg (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx3100))) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) (not MyTrue)))",fontsize=16,color="black",shape="box"];62 -> 77[label="",style="solid", color="black", weight=3];
14.46/5.58	63[label="rangeSize1 (Pos Zero) (Neg Zero) (null (takeWhile1 (flip ltEsMyInt (Neg Zero)) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) (not MyFalse)))",fontsize=16,color="black",shape="box"];63 -> 78[label="",style="solid", color="black", weight=3];
14.46/5.58	64[label="rangeSize1 (Neg (Succ wx3000)) (Pos wx310) (null (takeWhile1 (flip ltEsMyInt (Pos wx310)) (Neg (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) MyTrue))",fontsize=16,color="black",shape="box"];64 -> 79[label="",style="solid", color="black", weight=3];
14.46/5.58	65 -> 913[label="",style="dashed", color="red", weight=0];
14.46/5.58	65[label="rangeSize1 (Neg (Succ wx3000)) (Neg (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx3100))) (Neg (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat wx3100 wx3000) GT))))",fontsize=16,color="magenta"];65 -> 914[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	65 -> 915[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	65 -> 916[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	65 -> 917[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	66[label="rangeSize1 (Neg (Succ wx3000)) (Neg Zero) (null (takeWhile1 (flip ltEsMyInt (Neg Zero)) (Neg (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering LT GT))))",fontsize=16,color="black",shape="box"];66 -> 82[label="",style="solid", color="black", weight=3];
14.46/5.58	67[label="rangeSize1 (Neg Zero) (Pos (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx3100))) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) (not MyFalse)))",fontsize=16,color="black",shape="box"];67 -> 83[label="",style="solid", color="black", weight=3];
14.46/5.58	68[label="rangeSize1 (Neg Zero) (Pos Zero) (null (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) (not MyFalse)))",fontsize=16,color="black",shape="box"];68 -> 84[label="",style="solid", color="black", weight=3];
14.46/5.58	69[label="rangeSize1 (Neg Zero) (Neg (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx3100))) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering GT GT))))",fontsize=16,color="black",shape="box"];69 -> 85[label="",style="solid", color="black", weight=3];
14.46/5.58	70[label="rangeSize1 (Neg Zero) (Neg Zero) (null (takeWhile1 (flip ltEsMyInt (Neg Zero)) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) (not MyFalse)))",fontsize=16,color="black",shape="box"];70 -> 86[label="",style="solid", color="black", weight=3];
14.46/5.58	779[label="wx3100",fontsize=16,color="green",shape="box"];780[label="wx3100",fontsize=16,color="green",shape="box"];781[label="wx3000",fontsize=16,color="green",shape="box"];782[label="wx3000",fontsize=16,color="green",shape="box"];778[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat wx47 wx48) GT))))",fontsize=16,color="burlywood",shape="triangle"];2549[label="wx47/Succ wx470",fontsize=10,color="white",style="solid",shape="box"];778 -> 2549[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2549 -> 815[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2550[label="wx47/Zero",fontsize=10,color="white",style="solid",shape="box"];778 -> 2550[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2550 -> 816[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	73[label="rangeSize1 (Pos (Succ wx3000)) (Pos Zero) (null (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not MyTrue)))",fontsize=16,color="black",shape="box"];73 -> 91[label="",style="solid", color="black", weight=3];
14.46/5.58	74[label="rangeSize1 (Pos (Succ wx3000)) (Neg wx310) (null (takeWhile0 (flip ltEsMyInt (Neg wx310)) (Pos (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) otherwise))",fontsize=16,color="black",shape="box"];74 -> 92[label="",style="solid", color="black", weight=3];
14.46/5.58	75[label="rangeSize1 (Pos Zero) (Pos (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx3100))) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) (not MyFalse)))",fontsize=16,color="black",shape="box"];75 -> 93[label="",style="solid", color="black", weight=3];
14.46/5.58	76[label="rangeSize1 (Pos Zero) (Pos Zero) (null (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) MyTrue))",fontsize=16,color="black",shape="box"];76 -> 94[label="",style="solid", color="black", weight=3];
14.46/5.58	77[label="rangeSize1 (Pos Zero) (Neg (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx3100))) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) MyFalse))",fontsize=16,color="black",shape="box"];77 -> 95[label="",style="solid", color="black", weight=3];
14.46/5.58	78[label="rangeSize1 (Pos Zero) (Neg Zero) (null (takeWhile1 (flip ltEsMyInt (Neg Zero)) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) MyTrue))",fontsize=16,color="black",shape="box"];78 -> 96[label="",style="solid", color="black", weight=3];
14.46/5.58	79[label="rangeSize1 (Neg (Succ wx3000)) (Pos wx310) (null (Cons (Neg (Succ wx3000)) (takeWhile (flip ltEsMyInt (Pos wx310)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];79 -> 97[label="",style="solid", color="black", weight=3];
14.46/5.58	914[label="wx3100",fontsize=16,color="green",shape="box"];915[label="wx3100",fontsize=16,color="green",shape="box"];916[label="wx3000",fontsize=16,color="green",shape="box"];917[label="wx3000",fontsize=16,color="green",shape="box"];913[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat wx55 wx56) GT))))",fontsize=16,color="burlywood",shape="triangle"];2551[label="wx55/Succ wx550",fontsize=10,color="white",style="solid",shape="box"];913 -> 2551[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2551 -> 954[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2552[label="wx55/Zero",fontsize=10,color="white",style="solid",shape="box"];913 -> 2552[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2552 -> 955[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	82[label="rangeSize1 (Neg (Succ wx3000)) (Neg Zero) (null (takeWhile1 (flip ltEsMyInt (Neg Zero)) (Neg (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) (not MyFalse)))",fontsize=16,color="black",shape="box"];82 -> 102[label="",style="solid", color="black", weight=3];
14.46/5.58	83[label="rangeSize1 (Neg Zero) (Pos (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx3100))) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) MyTrue))",fontsize=16,color="black",shape="box"];83 -> 103[label="",style="solid", color="black", weight=3];
14.46/5.58	84[label="rangeSize1 (Neg Zero) (Pos Zero) (null (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) MyTrue))",fontsize=16,color="black",shape="box"];84 -> 104[label="",style="solid", color="black", weight=3];
14.46/5.58	85[label="rangeSize1 (Neg Zero) (Neg (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx3100))) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) (not MyTrue)))",fontsize=16,color="black",shape="box"];85 -> 105[label="",style="solid", color="black", weight=3];
14.46/5.58	86[label="rangeSize1 (Neg Zero) (Neg Zero) (null (takeWhile1 (flip ltEsMyInt (Neg Zero)) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) MyTrue))",fontsize=16,color="black",shape="box"];86 -> 106[label="",style="solid", color="black", weight=3];
14.46/5.58	815[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat (Succ wx470) wx48) GT))))",fontsize=16,color="burlywood",shape="box"];2553[label="wx48/Succ wx480",fontsize=10,color="white",style="solid",shape="box"];815 -> 2553[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2553 -> 846[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2554[label="wx48/Zero",fontsize=10,color="white",style="solid",shape="box"];815 -> 2554[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2554 -> 847[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	816[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat Zero wx48) GT))))",fontsize=16,color="burlywood",shape="box"];2555[label="wx48/Succ wx480",fontsize=10,color="white",style="solid",shape="box"];816 -> 2555[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2555 -> 848[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2556[label="wx48/Zero",fontsize=10,color="white",style="solid",shape="box"];816 -> 2556[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2556 -> 849[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	91[label="rangeSize1 (Pos (Succ wx3000)) (Pos Zero) (null (takeWhile1 (flip ltEsMyInt (Pos Zero)) (Pos (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) MyFalse))",fontsize=16,color="black",shape="box"];91 -> 111[label="",style="solid", color="black", weight=3];
14.46/5.58	92[label="rangeSize1 (Pos (Succ wx3000)) (Neg wx310) (null (takeWhile0 (flip ltEsMyInt (Neg wx310)) (Pos (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) MyTrue))",fontsize=16,color="black",shape="box"];92 -> 112[label="",style="solid", color="black", weight=3];
14.46/5.58	93[label="rangeSize1 (Pos Zero) (Pos (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx3100))) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) MyTrue))",fontsize=16,color="black",shape="box"];93 -> 113[label="",style="solid", color="black", weight=3];
14.46/5.58	94[label="rangeSize1 (Pos Zero) (Pos Zero) (null (Cons (Pos Zero) (takeWhile (flip ltEsMyInt (Pos Zero)) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];94 -> 114[label="",style="solid", color="black", weight=3];
14.46/5.58	95[label="rangeSize1 (Pos Zero) (Neg (Succ wx3100)) (null (takeWhile0 (flip ltEsMyInt (Neg (Succ wx3100))) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) otherwise))",fontsize=16,color="black",shape="box"];95 -> 115[label="",style="solid", color="black", weight=3];
14.46/5.58	96[label="rangeSize1 (Pos Zero) (Neg Zero) (null (Cons (Pos Zero) (takeWhile (flip ltEsMyInt (Neg Zero)) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];96 -> 116[label="",style="solid", color="black", weight=3];
14.46/5.58	97[label="rangeSize1 (Neg (Succ wx3000)) (Pos wx310) MyFalse",fontsize=16,color="black",shape="box"];97 -> 117[label="",style="solid", color="black", weight=3];
14.46/5.58	954[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat (Succ wx550) wx56) GT))))",fontsize=16,color="burlywood",shape="box"];2557[label="wx56/Succ wx560",fontsize=10,color="white",style="solid",shape="box"];954 -> 2557[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2557 -> 974[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2558[label="wx56/Zero",fontsize=10,color="white",style="solid",shape="box"];954 -> 2558[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2558 -> 975[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	955[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat Zero wx56) GT))))",fontsize=16,color="burlywood",shape="box"];2559[label="wx56/Succ wx560",fontsize=10,color="white",style="solid",shape="box"];955 -> 2559[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2559 -> 976[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2560[label="wx56/Zero",fontsize=10,color="white",style="solid",shape="box"];955 -> 2560[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2560 -> 977[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	102[label="rangeSize1 (Neg (Succ wx3000)) (Neg Zero) (null (takeWhile1 (flip ltEsMyInt (Neg Zero)) (Neg (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) MyTrue))",fontsize=16,color="black",shape="box"];102 -> 122[label="",style="solid", color="black", weight=3];
14.46/5.58	103[label="rangeSize1 (Neg Zero) (Pos (Succ wx3100)) (null (Cons (Neg Zero) (takeWhile (flip ltEsMyInt (Pos (Succ wx3100))) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];103 -> 123[label="",style="solid", color="black", weight=3];
14.46/5.58	104[label="rangeSize1 (Neg Zero) (Pos Zero) (null (Cons (Neg Zero) (takeWhile (flip ltEsMyInt (Pos Zero)) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];104 -> 124[label="",style="solid", color="black", weight=3];
14.46/5.58	105[label="rangeSize1 (Neg Zero) (Neg (Succ wx3100)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx3100))) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) MyFalse))",fontsize=16,color="black",shape="box"];105 -> 125[label="",style="solid", color="black", weight=3];
14.46/5.58	106[label="rangeSize1 (Neg Zero) (Neg Zero) (null (Cons (Neg Zero) (takeWhile (flip ltEsMyInt (Neg Zero)) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];106 -> 126[label="",style="solid", color="black", weight=3];
14.46/5.58	846[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat (Succ wx470) (Succ wx480)) GT))))",fontsize=16,color="black",shape="box"];846 -> 869[label="",style="solid", color="black", weight=3];
14.46/5.58	847[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat (Succ wx470) Zero) GT))))",fontsize=16,color="black",shape="box"];847 -> 870[label="",style="solid", color="black", weight=3];
14.46/5.58	848[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat Zero (Succ wx480)) GT))))",fontsize=16,color="black",shape="box"];848 -> 871[label="",style="solid", color="black", weight=3];
14.46/5.58	849[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat Zero Zero) GT))))",fontsize=16,color="black",shape="box"];849 -> 872[label="",style="solid", color="black", weight=3];
14.46/5.58	111[label="rangeSize1 (Pos (Succ wx3000)) (Pos Zero) (null (takeWhile0 (flip ltEsMyInt (Pos Zero)) (Pos (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) otherwise))",fontsize=16,color="black",shape="box"];111 -> 132[label="",style="solid", color="black", weight=3];
14.46/5.58	112[label="rangeSize1 (Pos (Succ wx3000)) (Neg wx310) (null Nil)",fontsize=16,color="black",shape="box"];112 -> 133[label="",style="solid", color="black", weight=3];
14.46/5.58	113[label="rangeSize1 (Pos Zero) (Pos (Succ wx3100)) (null (Cons (Pos Zero) (takeWhile (flip ltEsMyInt (Pos (Succ wx3100))) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];113 -> 134[label="",style="solid", color="black", weight=3];
14.46/5.58	114[label="rangeSize1 (Pos Zero) (Pos Zero) MyFalse",fontsize=16,color="black",shape="box"];114 -> 135[label="",style="solid", color="black", weight=3];
14.46/5.58	115[label="rangeSize1 (Pos Zero) (Neg (Succ wx3100)) (null (takeWhile0 (flip ltEsMyInt (Neg (Succ wx3100))) (Pos Zero) (dsEm numericEnumFrom (psMyInt (Pos Zero) (fromIntMyInt (Pos (Succ Zero))))) MyTrue))",fontsize=16,color="black",shape="box"];115 -> 136[label="",style="solid", color="black", weight=3];
14.46/5.58	116[label="rangeSize1 (Pos Zero) (Neg Zero) MyFalse",fontsize=16,color="black",shape="box"];116 -> 137[label="",style="solid", color="black", weight=3];
14.46/5.58	117[label="rangeSize0 (Neg (Succ wx3000)) (Pos wx310) otherwise",fontsize=16,color="black",shape="box"];117 -> 138[label="",style="solid", color="black", weight=3];
14.46/5.58	974[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat (Succ wx550) (Succ wx560)) GT))))",fontsize=16,color="black",shape="box"];974 -> 996[label="",style="solid", color="black", weight=3];
14.46/5.58	975[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat (Succ wx550) Zero) GT))))",fontsize=16,color="black",shape="box"];975 -> 997[label="",style="solid", color="black", weight=3];
14.46/5.58	976[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat Zero (Succ wx560)) GT))))",fontsize=16,color="black",shape="box"];976 -> 998[label="",style="solid", color="black", weight=3];
14.46/5.58	977[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat Zero Zero) GT))))",fontsize=16,color="black",shape="box"];977 -> 999[label="",style="solid", color="black", weight=3];
14.46/5.58	122[label="rangeSize1 (Neg (Succ wx3000)) (Neg Zero) (null (Cons (Neg (Succ wx3000)) (takeWhile (flip ltEsMyInt (Neg Zero)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];122 -> 144[label="",style="solid", color="black", weight=3];
14.46/5.58	123[label="rangeSize1 (Neg Zero) (Pos (Succ wx3100)) MyFalse",fontsize=16,color="black",shape="box"];123 -> 145[label="",style="solid", color="black", weight=3];
14.46/5.58	124[label="rangeSize1 (Neg Zero) (Pos Zero) MyFalse",fontsize=16,color="black",shape="box"];124 -> 146[label="",style="solid", color="black", weight=3];
14.46/5.58	125[label="rangeSize1 (Neg Zero) (Neg (Succ wx3100)) (null (takeWhile0 (flip ltEsMyInt (Neg (Succ wx3100))) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) otherwise))",fontsize=16,color="black",shape="box"];125 -> 147[label="",style="solid", color="black", weight=3];
14.46/5.58	126[label="rangeSize1 (Neg Zero) (Neg Zero) MyFalse",fontsize=16,color="black",shape="box"];126 -> 148[label="",style="solid", color="black", weight=3];
14.46/5.58	869 -> 778[label="",style="dashed", color="red", weight=0];
14.46/5.58	869[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat wx470 wx480) GT))))",fontsize=16,color="magenta"];869 -> 893[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	869 -> 894[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	870[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering GT GT))))",fontsize=16,color="black",shape="box"];870 -> 895[label="",style="solid", color="black", weight=3];
14.46/5.58	871[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering LT GT))))",fontsize=16,color="black",shape="box"];871 -> 896[label="",style="solid", color="black", weight=3];
14.46/5.58	872[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering EQ GT))))",fontsize=16,color="black",shape="box"];872 -> 897[label="",style="solid", color="black", weight=3];
14.46/5.58	132[label="rangeSize1 (Pos (Succ wx3000)) (Pos Zero) (null (takeWhile0 (flip ltEsMyInt (Pos Zero)) (Pos (Succ wx3000)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx3000)) (fromIntMyInt (Pos (Succ Zero))))) MyTrue))",fontsize=16,color="black",shape="box"];132 -> 156[label="",style="solid", color="black", weight=3];
14.46/5.58	133[label="rangeSize1 (Pos (Succ wx3000)) (Neg wx310) MyTrue",fontsize=16,color="black",shape="box"];133 -> 157[label="",style="solid", color="black", weight=3];
14.46/5.58	134[label="rangeSize1 (Pos Zero) (Pos (Succ wx3100)) MyFalse",fontsize=16,color="black",shape="box"];134 -> 158[label="",style="solid", color="black", weight=3];
14.46/5.58	135[label="rangeSize0 (Pos Zero) (Pos Zero) otherwise",fontsize=16,color="black",shape="box"];135 -> 159[label="",style="solid", color="black", weight=3];
14.46/5.58	136[label="rangeSize1 (Pos Zero) (Neg (Succ wx3100)) (null Nil)",fontsize=16,color="black",shape="box"];136 -> 160[label="",style="solid", color="black", weight=3];
14.46/5.58	137[label="rangeSize0 (Pos Zero) (Neg Zero) otherwise",fontsize=16,color="black",shape="box"];137 -> 161[label="",style="solid", color="black", weight=3];
14.46/5.58	138[label="rangeSize0 (Neg (Succ wx3000)) (Pos wx310) MyTrue",fontsize=16,color="black",shape="box"];138 -> 162[label="",style="solid", color="black", weight=3];
14.46/5.58	996 -> 913[label="",style="dashed", color="red", weight=0];
14.46/5.58	996[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering (primCmpNat wx550 wx560) GT))))",fontsize=16,color="magenta"];996 -> 1020[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	996 -> 1021[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	997[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering GT GT))))",fontsize=16,color="black",shape="box"];997 -> 1022[label="",style="solid", color="black", weight=3];
14.46/5.58	998[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering LT GT))))",fontsize=16,color="black",shape="box"];998 -> 1023[label="",style="solid", color="black", weight=3];
14.46/5.58	999[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) (not (esEsOrdering EQ GT))))",fontsize=16,color="black",shape="box"];999 -> 1024[label="",style="solid", color="black", weight=3];
14.46/5.58	144[label="rangeSize1 (Neg (Succ wx3000)) (Neg Zero) MyFalse",fontsize=16,color="black",shape="box"];144 -> 170[label="",style="solid", color="black", weight=3];
14.46/5.58	145[label="rangeSize0 (Neg Zero) (Pos (Succ wx3100)) otherwise",fontsize=16,color="black",shape="box"];145 -> 171[label="",style="solid", color="black", weight=3];
14.46/5.58	146[label="rangeSize0 (Neg Zero) (Pos Zero) otherwise",fontsize=16,color="black",shape="box"];146 -> 172[label="",style="solid", color="black", weight=3];
14.46/5.58	147[label="rangeSize1 (Neg Zero) (Neg (Succ wx3100)) (null (takeWhile0 (flip ltEsMyInt (Neg (Succ wx3100))) (Neg Zero) (dsEm numericEnumFrom (psMyInt (Neg Zero) (fromIntMyInt (Pos (Succ Zero))))) MyTrue))",fontsize=16,color="black",shape="box"];147 -> 173[label="",style="solid", color="black", weight=3];
14.46/5.58	148[label="rangeSize0 (Neg Zero) (Neg Zero) otherwise",fontsize=16,color="black",shape="box"];148 -> 174[label="",style="solid", color="black", weight=3];
14.46/5.58	893[label="wx480",fontsize=16,color="green",shape="box"];894[label="wx470",fontsize=16,color="green",shape="box"];895[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) (not MyTrue)))",fontsize=16,color="black",shape="box"];895 -> 956[label="",style="solid", color="black", weight=3];
14.46/5.58	896[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) (not MyFalse)))",fontsize=16,color="black",shape="triangle"];896 -> 957[label="",style="solid", color="black", weight=3];
14.46/5.58	897 -> 896[label="",style="dashed", color="red", weight=0];
14.46/5.58	897[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) (not MyFalse)))",fontsize=16,color="magenta"];156[label="rangeSize1 (Pos (Succ wx3000)) (Pos Zero) (null Nil)",fontsize=16,color="black",shape="box"];156 -> 182[label="",style="solid", color="black", weight=3];
14.46/5.58	157[label="Pos Zero",fontsize=16,color="green",shape="box"];158[label="rangeSize0 (Pos Zero) (Pos (Succ wx3100)) otherwise",fontsize=16,color="black",shape="box"];158 -> 183[label="",style="solid", color="black", weight=3];
14.46/5.58	159[label="rangeSize0 (Pos Zero) (Pos Zero) MyTrue",fontsize=16,color="black",shape="box"];159 -> 184[label="",style="solid", color="black", weight=3];
14.46/5.58	160[label="rangeSize1 (Pos Zero) (Neg (Succ wx3100)) MyTrue",fontsize=16,color="black",shape="box"];160 -> 185[label="",style="solid", color="black", weight=3];
14.46/5.58	161[label="rangeSize0 (Pos Zero) (Neg Zero) MyTrue",fontsize=16,color="black",shape="box"];161 -> 186[label="",style="solid", color="black", weight=3];
14.46/5.58	162[label="psMyInt (indexMyInt (Tup2 (Neg (Succ wx3000)) (Pos wx310)) (Pos wx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];162 -> 187[label="",style="solid", color="black", weight=3];
14.46/5.58	1020[label="wx550",fontsize=16,color="green",shape="box"];1021[label="wx560",fontsize=16,color="green",shape="box"];1022[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) (not MyTrue)))",fontsize=16,color="black",shape="box"];1022 -> 1045[label="",style="solid", color="black", weight=3];
14.46/5.58	1023[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) (not MyFalse)))",fontsize=16,color="black",shape="triangle"];1023 -> 1046[label="",style="solid", color="black", weight=3];
14.46/5.58	1024 -> 1023[label="",style="dashed", color="red", weight=0];
14.46/5.58	1024[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) (not MyFalse)))",fontsize=16,color="magenta"];170[label="rangeSize0 (Neg (Succ wx3000)) (Neg Zero) otherwise",fontsize=16,color="black",shape="box"];170 -> 195[label="",style="solid", color="black", weight=3];
14.46/5.58	171[label="rangeSize0 (Neg Zero) (Pos (Succ wx3100)) MyTrue",fontsize=16,color="black",shape="box"];171 -> 196[label="",style="solid", color="black", weight=3];
14.46/5.58	172[label="rangeSize0 (Neg Zero) (Pos Zero) MyTrue",fontsize=16,color="black",shape="box"];172 -> 197[label="",style="solid", color="black", weight=3];
14.46/5.58	173[label="rangeSize1 (Neg Zero) (Neg (Succ wx3100)) (null Nil)",fontsize=16,color="black",shape="box"];173 -> 198[label="",style="solid", color="black", weight=3];
14.46/5.58	174[label="rangeSize0 (Neg Zero) (Neg Zero) MyTrue",fontsize=16,color="black",shape="box"];174 -> 199[label="",style="solid", color="black", weight=3];
14.46/5.58	956[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) MyFalse))",fontsize=16,color="black",shape="box"];956 -> 978[label="",style="solid", color="black", weight=3];
14.46/5.58	957[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile1 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) MyTrue))",fontsize=16,color="black",shape="box"];957 -> 979[label="",style="solid", color="black", weight=3];
14.46/5.58	182[label="rangeSize1 (Pos (Succ wx3000)) (Pos Zero) MyTrue",fontsize=16,color="black",shape="box"];182 -> 208[label="",style="solid", color="black", weight=3];
14.46/5.58	183[label="rangeSize0 (Pos Zero) (Pos (Succ wx3100)) MyTrue",fontsize=16,color="black",shape="box"];183 -> 209[label="",style="solid", color="black", weight=3];
14.46/5.58	184[label="psMyInt (indexMyInt (Tup2 (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];184 -> 210[label="",style="solid", color="black", weight=3];
14.46/5.58	185[label="Pos Zero",fontsize=16,color="green",shape="box"];186[label="psMyInt (indexMyInt (Tup2 (Pos Zero) (Neg Zero)) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];186 -> 211[label="",style="solid", color="black", weight=3];
14.46/5.58	187[label="primPlusInt (indexMyInt (Tup2 (Neg (Succ wx3000)) (Pos wx310)) (Pos wx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];187 -> 212[label="",style="solid", color="black", weight=3];
14.46/5.58	1045[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) MyFalse))",fontsize=16,color="black",shape="box"];1045 -> 1067[label="",style="solid", color="black", weight=3];
14.46/5.58	1046[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile1 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) MyTrue))",fontsize=16,color="black",shape="box"];1046 -> 1068[label="",style="solid", color="black", weight=3];
14.46/5.58	195[label="rangeSize0 (Neg (Succ wx3000)) (Neg Zero) MyTrue",fontsize=16,color="black",shape="box"];195 -> 221[label="",style="solid", color="black", weight=3];
14.46/5.58	196[label="psMyInt (indexMyInt (Tup2 (Neg Zero) (Pos (Succ wx3100))) (Pos (Succ wx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];196 -> 222[label="",style="solid", color="black", weight=3];
14.46/5.58	197[label="psMyInt (indexMyInt (Tup2 (Neg Zero) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];197 -> 223[label="",style="solid", color="black", weight=3];
14.46/5.58	198[label="rangeSize1 (Neg Zero) (Neg (Succ wx3100)) MyTrue",fontsize=16,color="black",shape="box"];198 -> 224[label="",style="solid", color="black", weight=3];
14.46/5.58	199[label="psMyInt (indexMyInt (Tup2 (Neg Zero) (Neg Zero)) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];199 -> 225[label="",style="solid", color="black", weight=3];
14.46/5.58	978[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile0 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) otherwise))",fontsize=16,color="black",shape="box"];978 -> 1000[label="",style="solid", color="black", weight=3];
14.46/5.58	979[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (Cons (Pos (Succ wx45)) (takeWhile (flip ltEsMyInt (Pos (Succ wx46))) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];979 -> 1001[label="",style="solid", color="black", weight=3];
14.46/5.58	208[label="Pos Zero",fontsize=16,color="green",shape="box"];209[label="psMyInt (indexMyInt (Tup2 (Pos Zero) (Pos (Succ wx3100))) (Pos (Succ wx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];209 -> 236[label="",style="solid", color="black", weight=3];
14.46/5.58	210[label="primPlusInt (indexMyInt (Tup2 (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];210 -> 237[label="",style="solid", color="black", weight=3];
14.46/5.58	211[label="primPlusInt (indexMyInt (Tup2 (Pos Zero) (Neg Zero)) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];211 -> 238[label="",style="solid", color="black", weight=3];
14.46/5.58	212[label="primPlusInt (index2 (Tup2 (Neg (Succ wx3000)) (Pos wx310)) (Pos wx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];212 -> 239[label="",style="solid", color="black", weight=3];
14.46/5.58	1067[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile0 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) otherwise))",fontsize=16,color="black",shape="box"];1067 -> 1091[label="",style="solid", color="black", weight=3];
14.46/5.58	1068[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (Cons (Neg (Succ wx53)) (takeWhile (flip ltEsMyInt (Neg (Succ wx54))) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1068 -> 1092[label="",style="solid", color="black", weight=3];
14.46/5.58	221[label="psMyInt (indexMyInt (Tup2 (Neg (Succ wx3000)) (Neg Zero)) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];221 -> 250[label="",style="solid", color="black", weight=3];
14.46/5.58	222[label="primPlusInt (indexMyInt (Tup2 (Neg Zero) (Pos (Succ wx3100))) (Pos (Succ wx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];222 -> 251[label="",style="solid", color="black", weight=3];
14.46/5.58	223[label="primPlusInt (indexMyInt (Tup2 (Neg Zero) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];223 -> 252[label="",style="solid", color="black", weight=3];
14.46/5.58	224[label="Pos Zero",fontsize=16,color="green",shape="box"];225[label="primPlusInt (indexMyInt (Tup2 (Neg Zero) (Neg Zero)) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];225 -> 253[label="",style="solid", color="black", weight=3];
14.46/5.58	1000[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null (takeWhile0 (flip ltEsMyInt (Pos (Succ wx46))) (Pos (Succ wx45)) (dsEm numericEnumFrom (psMyInt (Pos (Succ wx45)) (fromIntMyInt (Pos (Succ Zero))))) MyTrue))",fontsize=16,color="black",shape="box"];1000 -> 1025[label="",style="solid", color="black", weight=3];
14.46/5.58	1001[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) MyFalse",fontsize=16,color="black",shape="box"];1001 -> 1026[label="",style="solid", color="black", weight=3];
14.46/5.58	236[label="primPlusInt (indexMyInt (Tup2 (Pos Zero) (Pos (Succ wx3100))) (Pos (Succ wx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];236 -> 264[label="",style="solid", color="black", weight=3];
14.46/5.58	237[label="primPlusInt (index2 (Tup2 (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];237 -> 265[label="",style="solid", color="black", weight=3];
14.46/5.58	238[label="primPlusInt (index2 (Tup2 (Pos Zero) (Neg Zero)) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];238 -> 266[label="",style="solid", color="black", weight=3];
14.46/5.58	239[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos wx310) (Pos wx310) (inRangeMyInt (Tup2 (Neg (Succ wx3000)) (Pos wx310)) (Pos wx310))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];239 -> 267[label="",style="solid", color="black", weight=3];
14.46/5.58	1091[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null (takeWhile0 (flip ltEsMyInt (Neg (Succ wx54))) (Neg (Succ wx53)) (dsEm numericEnumFrom (psMyInt (Neg (Succ wx53)) (fromIntMyInt (Pos (Succ Zero))))) MyTrue))",fontsize=16,color="black",shape="box"];1091 -> 1107[label="",style="solid", color="black", weight=3];
14.46/5.58	1092[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) MyFalse",fontsize=16,color="black",shape="box"];1092 -> 1108[label="",style="solid", color="black", weight=3];
14.46/5.58	250[label="primPlusInt (indexMyInt (Tup2 (Neg (Succ wx3000)) (Neg Zero)) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];250 -> 278[label="",style="solid", color="black", weight=3];
14.46/5.58	251[label="primPlusInt (index2 (Tup2 (Neg Zero) (Pos (Succ wx3100))) (Pos (Succ wx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];251 -> 279[label="",style="solid", color="black", weight=3];
14.46/5.58	252[label="primPlusInt (index2 (Tup2 (Neg Zero) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];252 -> 280[label="",style="solid", color="black", weight=3];
14.46/5.58	253[label="primPlusInt (index2 (Tup2 (Neg Zero) (Neg Zero)) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];253 -> 281[label="",style="solid", color="black", weight=3];
14.46/5.58	1025[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) (null Nil)",fontsize=16,color="black",shape="box"];1025 -> 1047[label="",style="solid", color="black", weight=3];
14.46/5.58	1026[label="rangeSize0 (Pos (Succ wx45)) (Pos (Succ wx46)) otherwise",fontsize=16,color="black",shape="box"];1026 -> 1048[label="",style="solid", color="black", weight=3];
14.46/5.58	264[label="primPlusInt (index2 (Tup2 (Pos Zero) (Pos (Succ wx3100))) (Pos (Succ wx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];264 -> 293[label="",style="solid", color="black", weight=3];
14.46/5.58	265[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (inRangeMyInt (Tup2 (Pos Zero) (Pos Zero)) (Pos Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];265 -> 294[label="",style="solid", color="black", weight=3];
14.46/5.58	266[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (inRangeMyInt (Tup2 (Pos Zero) (Neg Zero)) (Neg Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];266 -> 295[label="",style="solid", color="black", weight=3];
14.46/5.58	267[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos wx310) (Pos wx310) (asAs (ltEsMyInt (Neg (Succ wx3000)) (Pos wx310)) (ltEsMyInt (Pos wx310) (Pos wx310)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];267 -> 296[label="",style="solid", color="black", weight=3];
14.46/5.58	1107[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) (null Nil)",fontsize=16,color="black",shape="box"];1107 -> 1132[label="",style="solid", color="black", weight=3];
14.46/5.58	1108[label="rangeSize0 (Neg (Succ wx53)) (Neg (Succ wx54)) otherwise",fontsize=16,color="black",shape="box"];1108 -> 1133[label="",style="solid", color="black", weight=3];
14.46/5.58	278[label="primPlusInt (index2 (Tup2 (Neg (Succ wx3000)) (Neg Zero)) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];278 -> 308[label="",style="solid", color="black", weight=3];
14.46/5.58	279[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (inRangeMyInt (Tup2 (Neg Zero) (Pos (Succ wx3100))) (Pos (Succ wx3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];279 -> 309[label="",style="solid", color="black", weight=3];
14.46/5.58	280[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (inRangeMyInt (Tup2 (Neg Zero) (Pos Zero)) (Pos Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];280 -> 310[label="",style="solid", color="black", weight=3];
14.46/5.58	281[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (inRangeMyInt (Tup2 (Neg Zero) (Neg Zero)) (Neg Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];281 -> 311[label="",style="solid", color="black", weight=3];
14.46/5.58	1047[label="rangeSize1 (Pos (Succ wx45)) (Pos (Succ wx46)) MyTrue",fontsize=16,color="black",shape="box"];1047 -> 1069[label="",style="solid", color="black", weight=3];
14.46/5.58	1048[label="rangeSize0 (Pos (Succ wx45)) (Pos (Succ wx46)) MyTrue",fontsize=16,color="black",shape="box"];1048 -> 1070[label="",style="solid", color="black", weight=3];
14.46/5.58	293[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (inRangeMyInt (Tup2 (Pos Zero) (Pos (Succ wx3100))) (Pos (Succ wx3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];293 -> 324[label="",style="solid", color="black", weight=3];
14.46/5.58	294[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (asAs (ltEsMyInt (Pos Zero) (Pos Zero)) (ltEsMyInt (Pos Zero) (Pos Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];294 -> 325[label="",style="solid", color="black", weight=3];
14.46/5.58	295[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (asAs (ltEsMyInt (Pos Zero) (Neg Zero)) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];295 -> 326[label="",style="solid", color="black", weight=3];
14.46/5.58	296[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos wx310) (Pos wx310) (asAs (fsEsOrdering (compareMyInt (Neg (Succ wx3000)) (Pos wx310)) GT) (ltEsMyInt (Pos wx310) (Pos wx310)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];296 -> 327[label="",style="solid", color="black", weight=3];
14.46/5.58	1132[label="rangeSize1 (Neg (Succ wx53)) (Neg (Succ wx54)) MyTrue",fontsize=16,color="black",shape="box"];1132 -> 1153[label="",style="solid", color="black", weight=3];
14.46/5.58	1133[label="rangeSize0 (Neg (Succ wx53)) (Neg (Succ wx54)) MyTrue",fontsize=16,color="black",shape="box"];1133 -> 1154[label="",style="solid", color="black", weight=3];
14.46/5.58	308[label="primPlusInt (index1 (Neg (Succ wx3000)) (Neg Zero) (Neg Zero) (inRangeMyInt (Tup2 (Neg (Succ wx3000)) (Neg Zero)) (Neg Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];308 -> 340[label="",style="solid", color="black", weight=3];
14.46/5.58	309[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (asAs (ltEsMyInt (Neg Zero) (Pos (Succ wx3100))) (ltEsMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];309 -> 341[label="",style="solid", color="black", weight=3];
14.46/5.58	310[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (asAs (ltEsMyInt (Neg Zero) (Pos Zero)) (ltEsMyInt (Pos Zero) (Pos Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];310 -> 342[label="",style="solid", color="black", weight=3];
14.46/5.58	311[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (asAs (ltEsMyInt (Neg Zero) (Neg Zero)) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];311 -> 343[label="",style="solid", color="black", weight=3];
14.46/5.58	1069[label="Pos Zero",fontsize=16,color="green",shape="box"];1070[label="psMyInt (indexMyInt (Tup2 (Pos (Succ wx45)) (Pos (Succ wx46))) (Pos (Succ wx46))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1070 -> 1093[label="",style="solid", color="black", weight=3];
14.46/5.58	324[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (asAs (ltEsMyInt (Pos Zero) (Pos (Succ wx3100))) (ltEsMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];324 -> 356[label="",style="solid", color="black", weight=3];
14.46/5.58	325[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (asAs (fsEsOrdering (compareMyInt (Pos Zero) (Pos Zero)) GT) (ltEsMyInt (Pos Zero) (Pos Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];325 -> 357[label="",style="solid", color="black", weight=3];
14.46/5.58	326[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (asAs (fsEsOrdering (compareMyInt (Pos Zero) (Neg Zero)) GT) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];326 -> 358[label="",style="solid", color="black", weight=3];
14.46/5.58	327[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos wx310) (Pos wx310) (asAs (not (esEsOrdering (compareMyInt (Neg (Succ wx3000)) (Pos wx310)) GT)) (ltEsMyInt (Pos wx310) (Pos wx310)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];327 -> 359[label="",style="solid", color="black", weight=3];
14.46/5.58	1153[label="Pos Zero",fontsize=16,color="green",shape="box"];1154[label="psMyInt (indexMyInt (Tup2 (Neg (Succ wx53)) (Neg (Succ wx54))) (Neg (Succ wx54))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1154 -> 1179[label="",style="solid", color="black", weight=3];
14.46/5.58	340[label="primPlusInt (index1 (Neg (Succ wx3000)) (Neg Zero) (Neg Zero) (asAs (ltEsMyInt (Neg (Succ wx3000)) (Neg Zero)) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];340 -> 372[label="",style="solid", color="black", weight=3];
14.46/5.58	341[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (asAs (fsEsOrdering (compareMyInt (Neg Zero) (Pos (Succ wx3100))) GT) (ltEsMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];341 -> 373[label="",style="solid", color="black", weight=3];
14.46/5.58	342[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (asAs (fsEsOrdering (compareMyInt (Neg Zero) (Pos Zero)) GT) (ltEsMyInt (Pos Zero) (Pos Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];342 -> 374[label="",style="solid", color="black", weight=3];
14.46/5.58	343[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (asAs (fsEsOrdering (compareMyInt (Neg Zero) (Neg Zero)) GT) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];343 -> 375[label="",style="solid", color="black", weight=3];
14.46/5.58	1093[label="primPlusInt (indexMyInt (Tup2 (Pos (Succ wx45)) (Pos (Succ wx46))) (Pos (Succ wx46))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1093 -> 1109[label="",style="solid", color="black", weight=3];
14.46/5.58	356[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (asAs (fsEsOrdering (compareMyInt (Pos Zero) (Pos (Succ wx3100))) GT) (ltEsMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];356 -> 389[label="",style="solid", color="black", weight=3];
14.46/5.58	357[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (asAs (not (esEsOrdering (compareMyInt (Pos Zero) (Pos Zero)) GT)) (ltEsMyInt (Pos Zero) (Pos Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];357 -> 390[label="",style="solid", color="black", weight=3];
14.46/5.58	358[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (asAs (not (esEsOrdering (compareMyInt (Pos Zero) (Neg Zero)) GT)) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];358 -> 391[label="",style="solid", color="black", weight=3];
14.46/5.58	359[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos wx310) (Pos wx310) (asAs (not (esEsOrdering (primCmpInt (Neg (Succ wx3000)) (Pos wx310)) GT)) (ltEsMyInt (Pos wx310) (Pos wx310)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];359 -> 392[label="",style="solid", color="black", weight=3];
14.46/5.58	1179[label="primPlusInt (indexMyInt (Tup2 (Neg (Succ wx53)) (Neg (Succ wx54))) (Neg (Succ wx54))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1179 -> 1203[label="",style="solid", color="black", weight=3];
14.46/5.58	372[label="primPlusInt (index1 (Neg (Succ wx3000)) (Neg Zero) (Neg Zero) (asAs (fsEsOrdering (compareMyInt (Neg (Succ wx3000)) (Neg Zero)) GT) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];372 -> 406[label="",style="solid", color="black", weight=3];
14.46/5.58	373[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (asAs (not (esEsOrdering (compareMyInt (Neg Zero) (Pos (Succ wx3100))) GT)) (ltEsMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];373 -> 407[label="",style="solid", color="black", weight=3];
14.46/5.58	374[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (asAs (not (esEsOrdering (compareMyInt (Neg Zero) (Pos Zero)) GT)) (ltEsMyInt (Pos Zero) (Pos Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];374 -> 408[label="",style="solid", color="black", weight=3];
14.46/5.58	375[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (asAs (not (esEsOrdering (compareMyInt (Neg Zero) (Neg Zero)) GT)) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];375 -> 409[label="",style="solid", color="black", weight=3];
14.46/5.58	1109[label="primPlusInt (index2 (Tup2 (Pos (Succ wx45)) (Pos (Succ wx46))) (Pos (Succ wx46))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1109 -> 1134[label="",style="solid", color="black", weight=3];
14.46/5.58	389[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (asAs (not (esEsOrdering (compareMyInt (Pos Zero) (Pos (Succ wx3100))) GT)) (ltEsMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];389 -> 424[label="",style="solid", color="black", weight=3];
14.46/5.58	390[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) GT)) (ltEsMyInt (Pos Zero) (Pos Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];390 -> 425[label="",style="solid", color="black", weight=3];
14.46/5.58	391[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (Neg Zero)) GT)) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];391 -> 426[label="",style="solid", color="black", weight=3];
14.46/5.58	392[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos wx310) (Pos wx310) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (Pos wx310) (Pos wx310)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];392 -> 427[label="",style="solid", color="black", weight=3];
14.46/5.58	1203[label="primPlusInt (index2 (Tup2 (Neg (Succ wx53)) (Neg (Succ wx54))) (Neg (Succ wx54))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1203 -> 1226[label="",style="solid", color="black", weight=3];
14.46/5.58	406[label="primPlusInt (index1 (Neg (Succ wx3000)) (Neg Zero) (Neg Zero) (asAs (not (esEsOrdering (compareMyInt (Neg (Succ wx3000)) (Neg Zero)) GT)) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];406 -> 442[label="",style="solid", color="black", weight=3];
14.46/5.58	407[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (Pos (Succ wx3100))) GT)) (ltEsMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];407 -> 443[label="",style="solid", color="black", weight=3];
14.46/5.58	408[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (Pos Zero)) GT)) (ltEsMyInt (Pos Zero) (Pos Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];408 -> 444[label="",style="solid", color="black", weight=3];
14.46/5.58	409[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (Neg Zero)) GT)) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];409 -> 445[label="",style="solid", color="black", weight=3];
14.46/5.58	1134[label="primPlusInt (index1 (Pos (Succ wx45)) (Pos (Succ wx46)) (Pos (Succ wx46)) (inRangeMyInt (Tup2 (Pos (Succ wx45)) (Pos (Succ wx46))) (Pos (Succ wx46)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1134 -> 1155[label="",style="solid", color="black", weight=3];
14.46/5.58	424[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ wx3100))) GT)) (ltEsMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];424 -> 460[label="",style="solid", color="black", weight=3];
14.46/5.58	425[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (Pos Zero) (Pos Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];425 -> 461[label="",style="solid", color="black", weight=3];
14.46/5.58	426[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];426 -> 462[label="",style="solid", color="black", weight=3];
14.46/5.58	427[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos wx310) (Pos wx310) (asAs (not MyFalse) (ltEsMyInt (Pos wx310) (Pos wx310)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];427 -> 463[label="",style="solid", color="black", weight=3];
14.46/5.58	1226[label="primPlusInt (index1 (Neg (Succ wx53)) (Neg (Succ wx54)) (Neg (Succ wx54)) (inRangeMyInt (Tup2 (Neg (Succ wx53)) (Neg (Succ wx54))) (Neg (Succ wx54)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1226 -> 1251[label="",style="solid", color="black", weight=3];
14.46/5.58	442[label="primPlusInt (index1 (Neg (Succ wx3000)) (Neg Zero) (Neg Zero) (asAs (not (esEsOrdering (primCmpInt (Neg (Succ wx3000)) (Neg Zero)) GT)) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];442 -> 478[label="",style="solid", color="black", weight=3];
14.46/5.58	443[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];443 -> 479[label="",style="solid", color="black", weight=3];
14.46/5.58	444[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (Pos Zero) (Pos Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];444 -> 480[label="",style="solid", color="black", weight=3];
14.46/5.58	445[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];445 -> 481[label="",style="solid", color="black", weight=3];
14.46/5.58	1155[label="primPlusInt (index1 (Pos (Succ wx45)) (Pos (Succ wx46)) (Pos (Succ wx46)) (asAs (ltEsMyInt (Pos (Succ wx45)) (Pos (Succ wx46))) (ltEsMyInt (Pos (Succ wx46)) (Pos (Succ wx46))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1155 -> 1180[label="",style="solid", color="black", weight=3];
14.46/5.58	460[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (asAs (not (esEsOrdering (primCmpNat Zero (Succ wx3100)) GT)) (ltEsMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];460 -> 504[label="",style="solid", color="black", weight=3];
14.46/5.58	461[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (asAs (not MyFalse) (ltEsMyInt (Pos Zero) (Pos Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];461 -> 505[label="",style="solid", color="black", weight=3];
14.46/5.58	462[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (asAs (not MyFalse) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];462 -> 506[label="",style="solid", color="black", weight=3];
14.46/5.58	463[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos wx310) (Pos wx310) (asAs MyTrue (ltEsMyInt (Pos wx310) (Pos wx310)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];463 -> 507[label="",style="solid", color="black", weight=3];
14.46/5.58	1251[label="primPlusInt (index1 (Neg (Succ wx53)) (Neg (Succ wx54)) (Neg (Succ wx54)) (asAs (ltEsMyInt (Neg (Succ wx53)) (Neg (Succ wx54))) (ltEsMyInt (Neg (Succ wx54)) (Neg (Succ wx54))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1251 -> 1297[label="",style="solid", color="black", weight=3];
14.46/5.58	478[label="primPlusInt (index1 (Neg (Succ wx3000)) (Neg Zero) (Neg Zero) (asAs (not (esEsOrdering (primCmpNat Zero (Succ wx3000)) GT)) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];478 -> 528[label="",style="solid", color="black", weight=3];
14.46/5.58	479[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (asAs (not MyFalse) (ltEsMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];479 -> 529[label="",style="solid", color="black", weight=3];
14.46/5.58	480[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (asAs (not MyFalse) (ltEsMyInt (Pos Zero) (Pos Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];480 -> 530[label="",style="solid", color="black", weight=3];
14.46/5.58	481[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (asAs (not MyFalse) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];481 -> 531[label="",style="solid", color="black", weight=3];
14.46/5.58	1180[label="primPlusInt (index1 (Pos (Succ wx45)) (Pos (Succ wx46)) (Pos (Succ wx46)) (asAs (fsEsOrdering (compareMyInt (Pos (Succ wx45)) (Pos (Succ wx46))) GT) (ltEsMyInt (Pos (Succ wx46)) (Pos (Succ wx46))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1180 -> 1204[label="",style="solid", color="black", weight=3];
14.46/5.58	504[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];504 -> 555[label="",style="solid", color="black", weight=3];
14.46/5.58	505[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (asAs MyTrue (ltEsMyInt (Pos Zero) (Pos Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];505 -> 556[label="",style="solid", color="black", weight=3];
14.46/5.58	506[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (asAs MyTrue (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];506 -> 557[label="",style="solid", color="black", weight=3];
14.46/5.58	507[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos wx310) (Pos wx310) (ltEsMyInt (Pos wx310) (Pos wx310))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];507 -> 558[label="",style="solid", color="black", weight=3];
14.46/5.58	1297[label="primPlusInt (index1 (Neg (Succ wx53)) (Neg (Succ wx54)) (Neg (Succ wx54)) (asAs (fsEsOrdering (compareMyInt (Neg (Succ wx53)) (Neg (Succ wx54))) GT) (ltEsMyInt (Neg (Succ wx54)) (Neg (Succ wx54))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1297 -> 1322[label="",style="solid", color="black", weight=3];
14.46/5.58	528[label="primPlusInt (index1 (Neg (Succ wx3000)) (Neg Zero) (Neg Zero) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];528 -> 585[label="",style="solid", color="black", weight=3];
14.46/5.58	529[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (asAs MyTrue (ltEsMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];529 -> 586[label="",style="solid", color="black", weight=3];
14.46/5.58	530[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (asAs MyTrue (ltEsMyInt (Pos Zero) (Pos Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];530 -> 587[label="",style="solid", color="black", weight=3];
14.46/5.58	531[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (asAs MyTrue (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];531 -> 588[label="",style="solid", color="black", weight=3];
14.46/5.58	1204[label="primPlusInt (index1 (Pos (Succ wx45)) (Pos (Succ wx46)) (Pos (Succ wx46)) (asAs (not (esEsOrdering (compareMyInt (Pos (Succ wx45)) (Pos (Succ wx46))) GT)) (ltEsMyInt (Pos (Succ wx46)) (Pos (Succ wx46))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1204 -> 1227[label="",style="solid", color="black", weight=3];
14.46/5.58	555[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (asAs (not MyFalse) (ltEsMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];555 -> 604[label="",style="solid", color="black", weight=3];
14.46/5.58	556[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (ltEsMyInt (Pos Zero) (Pos Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];556 -> 605[label="",style="solid", color="black", weight=3];
14.46/5.58	557[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (ltEsMyInt (Neg Zero) (Neg Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];557 -> 606[label="",style="solid", color="black", weight=3];
14.46/5.58	558[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos wx310) (Pos wx310) (fsEsOrdering (compareMyInt (Pos wx310) (Pos wx310)) GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];558 -> 607[label="",style="solid", color="black", weight=3];
14.46/5.58	1322[label="primPlusInt (index1 (Neg (Succ wx53)) (Neg (Succ wx54)) (Neg (Succ wx54)) (asAs (not (esEsOrdering (compareMyInt (Neg (Succ wx53)) (Neg (Succ wx54))) GT)) (ltEsMyInt (Neg (Succ wx54)) (Neg (Succ wx54))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1322 -> 1334[label="",style="solid", color="black", weight=3];
14.46/5.58	585[label="primPlusInt (index1 (Neg (Succ wx3000)) (Neg Zero) (Neg Zero) (asAs (not MyFalse) (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];585 -> 623[label="",style="solid", color="black", weight=3];
14.46/5.58	586[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (ltEsMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];586 -> 624[label="",style="solid", color="black", weight=3];
14.46/5.58	587[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (ltEsMyInt (Pos Zero) (Pos Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];587 -> 625[label="",style="solid", color="black", weight=3];
14.46/5.58	588[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (ltEsMyInt (Neg Zero) (Neg Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];588 -> 626[label="",style="solid", color="black", weight=3];
14.46/5.58	1227[label="primPlusInt (index1 (Pos (Succ wx45)) (Pos (Succ wx46)) (Pos (Succ wx46)) (asAs (not (esEsOrdering (primCmpInt (Pos (Succ wx45)) (Pos (Succ wx46))) GT)) (ltEsMyInt (Pos (Succ wx46)) (Pos (Succ wx46))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1227 -> 1252[label="",style="solid", color="black", weight=3];
14.46/5.58	604[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (asAs MyTrue (ltEsMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];604 -> 637[label="",style="solid", color="black", weight=3];
14.46/5.58	605[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (fsEsOrdering (compareMyInt (Pos Zero) (Pos Zero)) GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];605 -> 638[label="",style="solid", color="black", weight=3];
14.46/5.58	606[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (fsEsOrdering (compareMyInt (Neg Zero) (Neg Zero)) GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];606 -> 639[label="",style="solid", color="black", weight=3];
14.46/5.58	607[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos wx310) (Pos wx310) (not (esEsOrdering (compareMyInt (Pos wx310) (Pos wx310)) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];607 -> 640[label="",style="solid", color="black", weight=3];
14.46/5.58	1334[label="primPlusInt (index1 (Neg (Succ wx53)) (Neg (Succ wx54)) (Neg (Succ wx54)) (asAs (not (esEsOrdering (primCmpInt (Neg (Succ wx53)) (Neg (Succ wx54))) GT)) (ltEsMyInt (Neg (Succ wx54)) (Neg (Succ wx54))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1334 -> 1364[label="",style="solid", color="black", weight=3];
14.46/5.58	623[label="primPlusInt (index1 (Neg (Succ wx3000)) (Neg Zero) (Neg Zero) (asAs MyTrue (ltEsMyInt (Neg Zero) (Neg Zero)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];623 -> 671[label="",style="solid", color="black", weight=3];
14.46/5.58	624[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (fsEsOrdering (compareMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))) GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];624 -> 672[label="",style="solid", color="black", weight=3];
14.46/5.58	625[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (fsEsOrdering (compareMyInt (Pos Zero) (Pos Zero)) GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];625 -> 673[label="",style="solid", color="black", weight=3];
14.46/5.58	626[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (fsEsOrdering (compareMyInt (Neg Zero) (Neg Zero)) GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];626 -> 674[label="",style="solid", color="black", weight=3];
14.46/5.58	1252 -> 2076[label="",style="dashed", color="red", weight=0];
14.46/5.58	1252[label="primPlusInt (index1 (Pos (Succ wx45)) (Pos (Succ wx46)) (Pos (Succ wx46)) (asAs (not (esEsOrdering (primCmpNat (Succ wx45) (Succ wx46)) GT)) (ltEsMyInt (Pos (Succ wx46)) (Pos (Succ wx46))))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1252 -> 2077[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	1252 -> 2078[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	1252 -> 2079[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	1252 -> 2080[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	637[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (ltEsMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];637 -> 703[label="",style="solid", color="black", weight=3];
14.46/5.58	638[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not (esEsOrdering (compareMyInt (Pos Zero) (Pos Zero)) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];638 -> 704[label="",style="solid", color="black", weight=3];
14.46/5.58	639[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not (esEsOrdering (compareMyInt (Neg Zero) (Neg Zero)) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];639 -> 705[label="",style="solid", color="black", weight=3];
14.46/5.58	640[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos wx310) (Pos wx310) (not (esEsOrdering (primCmpInt (Pos wx310) (Pos wx310)) GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2561[label="wx310/Succ wx3100",fontsize=10,color="white",style="solid",shape="box"];640 -> 2561[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2561 -> 706[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2562[label="wx310/Zero",fontsize=10,color="white",style="solid",shape="box"];640 -> 2562[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2562 -> 707[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	1364 -> 2123[label="",style="dashed", color="red", weight=0];
14.46/5.58	1364[label="primPlusInt (index1 (Neg (Succ wx53)) (Neg (Succ wx54)) (Neg (Succ wx54)) (asAs (not (esEsOrdering (primCmpNat (Succ wx54) (Succ wx53)) GT)) (ltEsMyInt (Neg (Succ wx54)) (Neg (Succ wx54))))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1364 -> 2124[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	1364 -> 2125[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	1364 -> 2126[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	1364 -> 2127[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	671[label="primPlusInt (index1 (Neg (Succ wx3000)) (Neg Zero) (Neg Zero) (ltEsMyInt (Neg Zero) (Neg Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];671 -> 714[label="",style="solid", color="black", weight=3];
14.46/5.58	672[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (not (esEsOrdering (compareMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];672 -> 715[label="",style="solid", color="black", weight=3];
14.46/5.58	673[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not (esEsOrdering (compareMyInt (Pos Zero) (Pos Zero)) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];673 -> 716[label="",style="solid", color="black", weight=3];
14.46/5.58	674[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not (esEsOrdering (compareMyInt (Neg Zero) (Neg Zero)) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];674 -> 717[label="",style="solid", color="black", weight=3];
14.46/5.58	2077[label="wx45",fontsize=16,color="green",shape="box"];2078[label="Succ wx46",fontsize=16,color="green",shape="box"];2079[label="wx46",fontsize=16,color="green",shape="box"];2080[label="Succ wx45",fontsize=16,color="green",shape="box"];2076[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (asAs (not (esEsOrdering (primCmpNat wx109 wx110) GT)) (ltEsMyInt (Pos (Succ wx108)) (Pos (Succ wx108))))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2563[label="wx109/Succ wx1090",fontsize=10,color="white",style="solid",shape="box"];2076 -> 2563[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2563 -> 2121[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2564[label="wx109/Zero",fontsize=10,color="white",style="solid",shape="box"];2076 -> 2564[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2564 -> 2122[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	703[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (fsEsOrdering (compareMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))) GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];703 -> 732[label="",style="solid", color="black", weight=3];
14.46/5.58	704[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];704 -> 733[label="",style="solid", color="black", weight=3];
14.46/5.58	705[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg Zero)) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];705 -> 734[label="",style="solid", color="black", weight=3];
14.46/5.58	706[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (not (esEsOrdering (primCmpInt (Pos (Succ wx3100)) (Pos (Succ wx3100))) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];706 -> 735[label="",style="solid", color="black", weight=3];
14.46/5.58	707[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos Zero) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];707 -> 736[label="",style="solid", color="black", weight=3];
14.46/5.58	2124[label="wx54",fontsize=16,color="green",shape="box"];2125[label="Succ wx54",fontsize=16,color="green",shape="box"];2126[label="Succ wx53",fontsize=16,color="green",shape="box"];2127[label="wx53",fontsize=16,color="green",shape="box"];2123[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (asAs (not (esEsOrdering (primCmpNat wx114 wx115) GT)) (ltEsMyInt (Neg (Succ wx113)) (Neg (Succ wx113))))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2565[label="wx114/Succ wx1140",fontsize=10,color="white",style="solid",shape="box"];2123 -> 2565[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2565 -> 2168[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2566[label="wx114/Zero",fontsize=10,color="white",style="solid",shape="box"];2123 -> 2566[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2566 -> 2169[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	714[label="primPlusInt (index1 (Neg (Succ wx3000)) (Neg Zero) (Neg Zero) (fsEsOrdering (compareMyInt (Neg Zero) (Neg Zero)) GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];714 -> 745[label="",style="solid", color="black", weight=3];
14.46/5.58	715[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (not (esEsOrdering (primCmpInt (Pos (Succ wx3100)) (Pos (Succ wx3100))) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];715 -> 746[label="",style="solid", color="black", weight=3];
14.46/5.58	716[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];716 -> 747[label="",style="solid", color="black", weight=3];
14.46/5.58	717[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg Zero)) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];717 -> 748[label="",style="solid", color="black", weight=3];
14.46/5.58	2121[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (asAs (not (esEsOrdering (primCmpNat (Succ wx1090) wx110) GT)) (ltEsMyInt (Pos (Succ wx108)) (Pos (Succ wx108))))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2567[label="wx110/Succ wx1100",fontsize=10,color="white",style="solid",shape="box"];2121 -> 2567[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2567 -> 2170[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2568[label="wx110/Zero",fontsize=10,color="white",style="solid",shape="box"];2121 -> 2568[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2568 -> 2171[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2122[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (asAs (not (esEsOrdering (primCmpNat Zero wx110) GT)) (ltEsMyInt (Pos (Succ wx108)) (Pos (Succ wx108))))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2569[label="wx110/Succ wx1100",fontsize=10,color="white",style="solid",shape="box"];2122 -> 2569[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2569 -> 2172[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2570[label="wx110/Zero",fontsize=10,color="white",style="solid",shape="box"];2122 -> 2570[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2570 -> 2173[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	732[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (not (esEsOrdering (compareMyInt (Pos (Succ wx3100)) (Pos (Succ wx3100))) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];732 -> 761[label="",style="solid", color="black", weight=3];
14.46/5.58	733[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not (esEsOrdering EQ GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];733 -> 762[label="",style="solid", color="black", weight=3];
14.46/5.58	734[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not (esEsOrdering EQ GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];734 -> 763[label="",style="solid", color="black", weight=3];
14.46/5.58	735 -> 1266[label="",style="dashed", color="red", weight=0];
14.46/5.58	735[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (not (esEsOrdering (primCmpNat (Succ wx3100) (Succ wx3100)) GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];735 -> 1267[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	735 -> 1268[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	735 -> 1269[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	736[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos Zero) (Pos Zero) (not (esEsOrdering EQ GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];736 -> 765[label="",style="solid", color="black", weight=3];
14.46/5.58	2168[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (asAs (not (esEsOrdering (primCmpNat (Succ wx1140) wx115) GT)) (ltEsMyInt (Neg (Succ wx113)) (Neg (Succ wx113))))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2571[label="wx115/Succ wx1150",fontsize=10,color="white",style="solid",shape="box"];2168 -> 2571[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2571 -> 2174[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2572[label="wx115/Zero",fontsize=10,color="white",style="solid",shape="box"];2168 -> 2572[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2572 -> 2175[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2169[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (asAs (not (esEsOrdering (primCmpNat Zero wx115) GT)) (ltEsMyInt (Neg (Succ wx113)) (Neg (Succ wx113))))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2573[label="wx115/Succ wx1150",fontsize=10,color="white",style="solid",shape="box"];2169 -> 2573[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2573 -> 2176[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2574[label="wx115/Zero",fontsize=10,color="white",style="solid",shape="box"];2169 -> 2574[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2574 -> 2177[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	745[label="primPlusInt (index1 (Neg (Succ wx3000)) (Neg Zero) (Neg Zero) (not (esEsOrdering (compareMyInt (Neg Zero) (Neg Zero)) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];745 -> 774[label="",style="solid", color="black", weight=3];
14.46/5.58	746 -> 1301[label="",style="dashed", color="red", weight=0];
14.46/5.58	746[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (not (esEsOrdering (primCmpNat (Succ wx3100) (Succ wx3100)) GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];746 -> 1302[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	746 -> 1303[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	747[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not (esEsOrdering EQ GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];747 -> 776[label="",style="solid", color="black", weight=3];
14.46/5.58	748[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not (esEsOrdering EQ GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];748 -> 777[label="",style="solid", color="black", weight=3];
14.46/5.58	2170[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (asAs (not (esEsOrdering (primCmpNat (Succ wx1090) (Succ wx1100)) GT)) (ltEsMyInt (Pos (Succ wx108)) (Pos (Succ wx108))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2170 -> 2178[label="",style="solid", color="black", weight=3];
14.46/5.58	2171[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (asAs (not (esEsOrdering (primCmpNat (Succ wx1090) Zero) GT)) (ltEsMyInt (Pos (Succ wx108)) (Pos (Succ wx108))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2171 -> 2179[label="",style="solid", color="black", weight=3];
14.46/5.58	2172[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (asAs (not (esEsOrdering (primCmpNat Zero (Succ wx1100)) GT)) (ltEsMyInt (Pos (Succ wx108)) (Pos (Succ wx108))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2172 -> 2180[label="",style="solid", color="black", weight=3];
14.46/5.58	2173[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (asAs (not (esEsOrdering (primCmpNat Zero Zero) GT)) (ltEsMyInt (Pos (Succ wx108)) (Pos (Succ wx108))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2173 -> 2181[label="",style="solid", color="black", weight=3];
14.46/5.58	761[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (not (esEsOrdering (primCmpInt (Pos (Succ wx3100)) (Pos (Succ wx3100))) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];761 -> 819[label="",style="solid", color="black", weight=3];
14.46/5.58	762[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not MyFalse)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];762 -> 820[label="",style="solid", color="black", weight=3];
14.46/5.58	763[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not MyFalse)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];763 -> 821[label="",style="solid", color="black", weight=3];
14.46/5.58	1267[label="Succ wx3100",fontsize=16,color="green",shape="box"];1268[label="wx3100",fontsize=16,color="green",shape="box"];1269[label="wx3000",fontsize=16,color="green",shape="box"];1266[label="primPlusInt (index1 (Neg (Succ wx62)) (Pos (Succ wx63)) (Pos (Succ wx63)) (not (esEsOrdering (primCmpNat wx64 wx64) GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2575[label="wx64/Succ wx640",fontsize=10,color="white",style="solid",shape="box"];1266 -> 2575[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2575 -> 1299[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2576[label="wx64/Zero",fontsize=10,color="white",style="solid",shape="box"];1266 -> 2576[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2576 -> 1300[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	765[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos Zero) (Pos Zero) (not MyFalse)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];765 -> 824[label="",style="solid", color="black", weight=3];
14.46/5.58	2174[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (asAs (not (esEsOrdering (primCmpNat (Succ wx1140) (Succ wx1150)) GT)) (ltEsMyInt (Neg (Succ wx113)) (Neg (Succ wx113))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2174 -> 2182[label="",style="solid", color="black", weight=3];
14.46/5.58	2175[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (asAs (not (esEsOrdering (primCmpNat (Succ wx1140) Zero) GT)) (ltEsMyInt (Neg (Succ wx113)) (Neg (Succ wx113))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2175 -> 2183[label="",style="solid", color="black", weight=3];
14.46/5.58	2176[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (asAs (not (esEsOrdering (primCmpNat Zero (Succ wx1150)) GT)) (ltEsMyInt (Neg (Succ wx113)) (Neg (Succ wx113))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2176 -> 2184[label="",style="solid", color="black", weight=3];
14.46/5.58	2177[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (asAs (not (esEsOrdering (primCmpNat Zero Zero) GT)) (ltEsMyInt (Neg (Succ wx113)) (Neg (Succ wx113))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2177 -> 2185[label="",style="solid", color="black", weight=3];
14.46/5.58	774[label="primPlusInt (index1 (Neg (Succ wx3000)) (Neg Zero) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg Zero)) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];774 -> 854[label="",style="solid", color="black", weight=3];
14.46/5.58	1302[label="wx3100",fontsize=16,color="green",shape="box"];1303[label="Succ wx3100",fontsize=16,color="green",shape="box"];1301[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx66)) (Pos (Succ wx66)) (not (esEsOrdering (primCmpNat wx67 wx67) GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2577[label="wx67/Succ wx670",fontsize=10,color="white",style="solid",shape="box"];1301 -> 2577[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2577 -> 1325[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2578[label="wx67/Zero",fontsize=10,color="white",style="solid",shape="box"];1301 -> 2578[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2578 -> 1326[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	776[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not MyFalse)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];776 -> 857[label="",style="solid", color="black", weight=3];
14.46/5.58	777[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not MyFalse)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];777 -> 858[label="",style="solid", color="black", weight=3];
14.46/5.58	2178 -> 2076[label="",style="dashed", color="red", weight=0];
14.46/5.58	2178[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (asAs (not (esEsOrdering (primCmpNat wx1090 wx1100) GT)) (ltEsMyInt (Pos (Succ wx108)) (Pos (Succ wx108))))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2178 -> 2186[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2178 -> 2187[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2179[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (asAs (not (esEsOrdering GT GT)) (ltEsMyInt (Pos (Succ wx108)) (Pos (Succ wx108))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2179 -> 2188[label="",style="solid", color="black", weight=3];
14.46/5.58	2180[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (Pos (Succ wx108)) (Pos (Succ wx108))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2180 -> 2189[label="",style="solid", color="black", weight=3];
14.46/5.58	2181[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (Pos (Succ wx108)) (Pos (Succ wx108))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2181 -> 2190[label="",style="solid", color="black", weight=3];
14.46/5.58	819 -> 1343[label="",style="dashed", color="red", weight=0];
14.46/5.58	819[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx3100)) (Pos (Succ wx3100)) (not (esEsOrdering (primCmpNat (Succ wx3100) (Succ wx3100)) GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];819 -> 1344[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	819 -> 1345[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	820[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) MyTrue) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];820 -> 860[label="",style="solid", color="black", weight=3];
14.46/5.58	821[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) MyTrue) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];821 -> 861[label="",style="solid", color="black", weight=3];
14.46/5.58	1299[label="primPlusInt (index1 (Neg (Succ wx62)) (Pos (Succ wx63)) (Pos (Succ wx63)) (not (esEsOrdering (primCmpNat (Succ wx640) (Succ wx640)) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1299 -> 1327[label="",style="solid", color="black", weight=3];
14.46/5.58	1300[label="primPlusInt (index1 (Neg (Succ wx62)) (Pos (Succ wx63)) (Pos (Succ wx63)) (not (esEsOrdering (primCmpNat Zero Zero) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1300 -> 1328[label="",style="solid", color="black", weight=3];
14.46/5.58	824[label="primPlusInt (index1 (Neg (Succ wx3000)) (Pos Zero) (Pos Zero) MyTrue) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];824 -> 864[label="",style="solid", color="black", weight=3];
14.46/5.58	2182 -> 2123[label="",style="dashed", color="red", weight=0];
14.46/5.58	2182[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (asAs (not (esEsOrdering (primCmpNat wx1140 wx1150) GT)) (ltEsMyInt (Neg (Succ wx113)) (Neg (Succ wx113))))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2182 -> 2191[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2182 -> 2192[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2183[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (asAs (not (esEsOrdering GT GT)) (ltEsMyInt (Neg (Succ wx113)) (Neg (Succ wx113))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2183 -> 2193[label="",style="solid", color="black", weight=3];
14.46/5.58	2184[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (Neg (Succ wx113)) (Neg (Succ wx113))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2184 -> 2194[label="",style="solid", color="black", weight=3];
14.46/5.58	2185[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (Neg (Succ wx113)) (Neg (Succ wx113))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2185 -> 2195[label="",style="solid", color="black", weight=3];
14.46/5.58	854[label="primPlusInt (index1 (Neg (Succ wx3000)) (Neg Zero) (Neg Zero) (not (esEsOrdering EQ GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];854 -> 876[label="",style="solid", color="black", weight=3];
14.46/5.58	1325[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx66)) (Pos (Succ wx66)) (not (esEsOrdering (primCmpNat (Succ wx670) (Succ wx670)) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1325 -> 1339[label="",style="solid", color="black", weight=3];
14.46/5.58	1326[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx66)) (Pos (Succ wx66)) (not (esEsOrdering (primCmpNat Zero Zero) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1326 -> 1340[label="",style="solid", color="black", weight=3];
14.46/5.58	857[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) MyTrue) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];857 -> 879[label="",style="solid", color="black", weight=3];
14.46/5.58	858[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) MyTrue) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];858 -> 880[label="",style="solid", color="black", weight=3];
14.46/5.58	2186[label="wx1100",fontsize=16,color="green",shape="box"];2187[label="wx1090",fontsize=16,color="green",shape="box"];2188[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (asAs (not MyTrue) (ltEsMyInt (Pos (Succ wx108)) (Pos (Succ wx108))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2188 -> 2196[label="",style="solid", color="black", weight=3];
14.46/5.58	2189[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (asAs (not MyFalse) (ltEsMyInt (Pos (Succ wx108)) (Pos (Succ wx108))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];2189 -> 2197[label="",style="solid", color="black", weight=3];
14.46/5.58	2190 -> 2189[label="",style="dashed", color="red", weight=0];
14.46/5.58	2190[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (asAs (not MyFalse) (ltEsMyInt (Pos (Succ wx108)) (Pos (Succ wx108))))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1344[label="Succ wx3100",fontsize=16,color="green",shape="box"];1345[label="wx3100",fontsize=16,color="green",shape="box"];1343[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx69)) (Pos (Succ wx69)) (not (esEsOrdering (primCmpNat wx70 wx70) GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2579[label="wx70/Succ wx700",fontsize=10,color="white",style="solid",shape="box"];1343 -> 2579[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2579 -> 1369[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2580[label="wx70/Zero",fontsize=10,color="white",style="solid",shape="box"];1343 -> 2580[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2580 -> 1370[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	860[label="primPlusInt (msMyInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];860 -> 883[label="",style="solid", color="black", weight=3];
14.46/5.58	861[label="primPlusInt (msMyInt (Neg Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];861 -> 884[label="",style="solid", color="black", weight=3];
14.46/5.58	1327 -> 1266[label="",style="dashed", color="red", weight=0];
14.46/5.58	1327[label="primPlusInt (index1 (Neg (Succ wx62)) (Pos (Succ wx63)) (Pos (Succ wx63)) (not (esEsOrdering (primCmpNat wx640 wx640) GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1327 -> 1341[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	1328[label="primPlusInt (index1 (Neg (Succ wx62)) (Pos (Succ wx63)) (Pos (Succ wx63)) (not (esEsOrdering EQ GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1328 -> 1342[label="",style="solid", color="black", weight=3];
14.46/5.58	864[label="primPlusInt (msMyInt (Pos Zero) (Neg (Succ wx3000))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];864 -> 888[label="",style="solid", color="black", weight=3];
14.46/5.58	2191[label="wx1140",fontsize=16,color="green",shape="box"];2192[label="wx1150",fontsize=16,color="green",shape="box"];2193[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (asAs (not MyTrue) (ltEsMyInt (Neg (Succ wx113)) (Neg (Succ wx113))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2193 -> 2198[label="",style="solid", color="black", weight=3];
14.46/5.58	2194[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (asAs (not MyFalse) (ltEsMyInt (Neg (Succ wx113)) (Neg (Succ wx113))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];2194 -> 2199[label="",style="solid", color="black", weight=3];
14.46/5.58	2195 -> 2194[label="",style="dashed", color="red", weight=0];
14.46/5.58	2195[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (asAs (not MyFalse) (ltEsMyInt (Neg (Succ wx113)) (Neg (Succ wx113))))) (Pos (Succ Zero))",fontsize=16,color="magenta"];876[label="primPlusInt (index1 (Neg (Succ wx3000)) (Neg Zero) (Neg Zero) (not MyFalse)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];876 -> 899[label="",style="solid", color="black", weight=3];
14.46/5.58	1339 -> 1301[label="",style="dashed", color="red", weight=0];
14.46/5.58	1339[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx66)) (Pos (Succ wx66)) (not (esEsOrdering (primCmpNat wx670 wx670) GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1339 -> 1371[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	1340[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx66)) (Pos (Succ wx66)) (not (esEsOrdering EQ GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1340 -> 1372[label="",style="solid", color="black", weight=3];
14.46/5.58	879[label="primPlusInt (msMyInt (Pos Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];879 -> 903[label="",style="solid", color="black", weight=3];
14.46/5.58	880[label="primPlusInt (msMyInt (Neg Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];880 -> 904[label="",style="solid", color="black", weight=3];
14.46/5.58	2196[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (asAs MyFalse (ltEsMyInt (Pos (Succ wx108)) (Pos (Succ wx108))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2196 -> 2200[label="",style="solid", color="black", weight=3];
14.46/5.58	2197[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (asAs MyTrue (ltEsMyInt (Pos (Succ wx108)) (Pos (Succ wx108))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2197 -> 2201[label="",style="solid", color="black", weight=3];
14.46/5.58	1369[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx69)) (Pos (Succ wx69)) (not (esEsOrdering (primCmpNat (Succ wx700) (Succ wx700)) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1369 -> 1380[label="",style="solid", color="black", weight=3];
14.46/5.58	1370[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx69)) (Pos (Succ wx69)) (not (esEsOrdering (primCmpNat Zero Zero) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1370 -> 1381[label="",style="solid", color="black", weight=3];
14.46/5.58	883[label="primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];883 -> 907[label="",style="solid", color="black", weight=3];
14.46/5.58	884[label="primPlusInt (primMinusInt (Neg Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];884 -> 908[label="",style="solid", color="black", weight=3];
14.46/5.58	1341[label="wx640",fontsize=16,color="green",shape="box"];1342[label="primPlusInt (index1 (Neg (Succ wx62)) (Pos (Succ wx63)) (Pos (Succ wx63)) (not MyFalse)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1342 -> 1373[label="",style="solid", color="black", weight=3];
14.46/5.58	888[label="primPlusInt (primMinusInt (Pos Zero) (Neg (Succ wx3000))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];888 -> 912[label="",style="solid", color="black", weight=3];
14.46/5.58	2198[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (asAs MyFalse (ltEsMyInt (Neg (Succ wx113)) (Neg (Succ wx113))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2198 -> 2202[label="",style="solid", color="black", weight=3];
14.46/5.58	2199[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (asAs MyTrue (ltEsMyInt (Neg (Succ wx113)) (Neg (Succ wx113))))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2199 -> 2203[label="",style="solid", color="black", weight=3];
14.46/5.58	899[label="primPlusInt (index1 (Neg (Succ wx3000)) (Neg Zero) (Neg Zero) MyTrue) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];899 -> 958[label="",style="solid", color="black", weight=3];
14.46/5.58	1371[label="wx670",fontsize=16,color="green",shape="box"];1372[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx66)) (Pos (Succ wx66)) (not MyFalse)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1372 -> 1382[label="",style="solid", color="black", weight=3];
14.46/5.58	903[label="primPlusInt (primMinusInt (Pos Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];903 -> 962[label="",style="solid", color="black", weight=3];
14.46/5.58	904[label="primPlusInt (primMinusInt (Neg Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];904 -> 963[label="",style="solid", color="black", weight=3];
14.46/5.58	2200[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) MyFalse) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2200 -> 2204[label="",style="solid", color="black", weight=3];
14.46/5.58	2201[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (ltEsMyInt (Pos (Succ wx108)) (Pos (Succ wx108)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2201 -> 2205[label="",style="solid", color="black", weight=3];
14.46/5.58	1380 -> 1343[label="",style="dashed", color="red", weight=0];
14.46/5.58	1380[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx69)) (Pos (Succ wx69)) (not (esEsOrdering (primCmpNat wx700 wx700) GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1380 -> 1393[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	1381[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx69)) (Pos (Succ wx69)) (not (esEsOrdering EQ GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1381 -> 1394[label="",style="solid", color="black", weight=3];
14.46/5.58	907[label="primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];907 -> 967[label="",style="solid", color="black", weight=3];
14.46/5.58	908[label="primPlusInt (Neg (primPlusNat Zero Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];908 -> 968[label="",style="solid", color="black", weight=3];
14.46/5.58	1373[label="primPlusInt (index1 (Neg (Succ wx62)) (Pos (Succ wx63)) (Pos (Succ wx63)) MyTrue) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1373 -> 1383[label="",style="solid", color="black", weight=3];
14.46/5.58	912 -> 1098[label="",style="dashed", color="red", weight=0];
14.46/5.58	912[label="primPlusInt (Pos (primPlusNat Zero (Succ wx3000))) (Pos (Succ Zero))",fontsize=16,color="magenta"];912 -> 1099[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2202[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) MyFalse) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2202 -> 2206[label="",style="solid", color="black", weight=3];
14.46/5.58	2203[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (ltEsMyInt (Neg (Succ wx113)) (Neg (Succ wx113)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2203 -> 2207[label="",style="solid", color="black", weight=3];
14.46/5.58	958[label="primPlusInt (msMyInt (Neg Zero) (Neg (Succ wx3000))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];958 -> 980[label="",style="solid", color="black", weight=3];
14.46/5.58	1382[label="primPlusInt (index1 (Neg Zero) (Pos (Succ wx66)) (Pos (Succ wx66)) MyTrue) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1382 -> 1395[label="",style="solid", color="black", weight=3];
14.46/5.58	962 -> 1098[label="",style="dashed", color="red", weight=0];
14.46/5.58	962[label="primPlusInt (Pos (primPlusNat Zero Zero)) (Pos (Succ Zero))",fontsize=16,color="magenta"];962 -> 1100[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	963 -> 907[label="",style="dashed", color="red", weight=0];
14.46/5.58	963[label="primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="magenta"];2204[label="primPlusInt (index0 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) otherwise) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2204 -> 2208[label="",style="solid", color="black", weight=3];
14.46/5.58	2205[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (fsEsOrdering (compareMyInt (Pos (Succ wx108)) (Pos (Succ wx108))) GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2205 -> 2209[label="",style="solid", color="black", weight=3];
14.46/5.58	1393[label="wx700",fontsize=16,color="green",shape="box"];1394[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx69)) (Pos (Succ wx69)) (not MyFalse)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1394 -> 1408[label="",style="solid", color="black", weight=3];
14.46/5.58	967 -> 1098[label="",style="dashed", color="red", weight=0];
14.46/5.58	967[label="primPlusInt (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="magenta"];967 -> 1101[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	968[label="primMinusNat (Succ Zero) (primPlusNat Zero Zero)",fontsize=16,color="black",shape="box"];968 -> 990[label="",style="solid", color="black", weight=3];
14.46/5.58	1383[label="primPlusInt (msMyInt (Pos (Succ wx63)) (Neg (Succ wx62))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1383 -> 1396[label="",style="solid", color="black", weight=3];
14.46/5.58	1099[label="primPlusNat Zero (Succ wx3000)",fontsize=16,color="black",shape="box"];1099 -> 1110[label="",style="solid", color="black", weight=3];
14.46/5.58	1098[label="primPlusInt (Pos wx57) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];1098 -> 1111[label="",style="solid", color="black", weight=3];
14.46/5.58	2206[label="primPlusInt (index0 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) otherwise) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2206 -> 2210[label="",style="solid", color="black", weight=3];
14.46/5.58	2207[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (fsEsOrdering (compareMyInt (Neg (Succ wx113)) (Neg (Succ wx113))) GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2207 -> 2211[label="",style="solid", color="black", weight=3];
14.46/5.58	980[label="primPlusInt (primMinusInt (Neg Zero) (Neg (Succ wx3000))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];980 -> 1002[label="",style="solid", color="black", weight=3];
14.46/5.58	1395[label="primPlusInt (msMyInt (Pos (Succ wx66)) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1395 -> 1409[label="",style="solid", color="black", weight=3];
14.46/5.58	1100[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1100 -> 1112[label="",style="solid", color="black", weight=3];
14.46/5.58	2208[label="primPlusInt (index0 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) MyTrue) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2208 -> 2212[label="",style="solid", color="black", weight=3];
14.46/5.58	2209[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (not (esEsOrdering (compareMyInt (Pos (Succ wx108)) (Pos (Succ wx108))) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2209 -> 2213[label="",style="solid", color="black", weight=3];
14.46/5.58	1408[label="primPlusInt (index1 (Pos Zero) (Pos (Succ wx69)) (Pos (Succ wx69)) MyTrue) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1408 -> 1423[label="",style="solid", color="black", weight=3];
14.46/5.58	1101[label="Zero",fontsize=16,color="green",shape="box"];990[label="primMinusNat (Succ Zero) Zero",fontsize=16,color="black",shape="box"];990 -> 1013[label="",style="solid", color="black", weight=3];
14.46/5.58	1396[label="primPlusInt (primMinusInt (Pos (Succ wx63)) (Neg (Succ wx62))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1396 -> 1410[label="",style="solid", color="black", weight=3];
14.46/5.58	1110[label="Succ wx3000",fontsize=16,color="green",shape="box"];1111[label="Pos (primPlusNat wx57 (Succ Zero))",fontsize=16,color="green",shape="box"];1111 -> 1135[label="",style="dashed", color="green", weight=3];
14.46/5.58	2210[label="primPlusInt (index0 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) MyTrue) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2210 -> 2214[label="",style="solid", color="black", weight=3];
14.46/5.58	2211[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (not (esEsOrdering (compareMyInt (Neg (Succ wx113)) (Neg (Succ wx113))) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2211 -> 2215[label="",style="solid", color="black", weight=3];
14.46/5.58	1002[label="primPlusInt (primMinusNat (Succ wx3000) Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];1002 -> 1027[label="",style="solid", color="black", weight=3];
14.46/5.58	1409[label="primPlusInt (primMinusInt (Pos (Succ wx66)) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1409 -> 1424[label="",style="solid", color="black", weight=3];
14.46/5.58	1112[label="Zero",fontsize=16,color="green",shape="box"];2212[label="primPlusInt error (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];2212 -> 2216[label="",style="solid", color="black", weight=3];
14.46/5.58	2213[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (not (esEsOrdering (primCmpInt (Pos (Succ wx108)) (Pos (Succ wx108))) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2213 -> 2217[label="",style="solid", color="black", weight=3];
14.46/5.58	1423[label="primPlusInt (msMyInt (Pos (Succ wx69)) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1423 -> 1441[label="",style="solid", color="black", weight=3];
14.46/5.58	1013[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];1410 -> 1098[label="",style="dashed", color="red", weight=0];
14.46/5.58	1410[label="primPlusInt (Pos (primPlusNat (Succ wx63) (Succ wx62))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1410 -> 1425[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	1135[label="primPlusNat wx57 (Succ Zero)",fontsize=16,color="burlywood",shape="box"];2581[label="wx57/Succ wx570",fontsize=10,color="white",style="solid",shape="box"];1135 -> 2581[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2581 -> 1156[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2582[label="wx57/Zero",fontsize=10,color="white",style="solid",shape="box"];1135 -> 2582[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2582 -> 1157[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2214 -> 2212[label="",style="dashed", color="red", weight=0];
14.46/5.58	2214[label="primPlusInt error (Pos (Succ Zero))",fontsize=16,color="magenta"];2215[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (not (esEsOrdering (primCmpInt (Neg (Succ wx113)) (Neg (Succ wx113))) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2215 -> 2218[label="",style="solid", color="black", weight=3];
14.46/5.58	1027 -> 1098[label="",style="dashed", color="red", weight=0];
14.46/5.58	1027[label="primPlusInt (Pos (Succ wx3000)) (Pos (Succ Zero))",fontsize=16,color="magenta"];1027 -> 1103[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	1424 -> 1098[label="",style="dashed", color="red", weight=0];
14.46/5.58	1424[label="primPlusInt (Pos (primPlusNat (Succ wx66) Zero)) (Pos (Succ Zero))",fontsize=16,color="magenta"];1424 -> 1442[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2216[label="primPlusInt (stop MyTrue) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2216 -> 2219[label="",style="solid", color="black", weight=3];
14.46/5.58	2217 -> 2417[label="",style="dashed", color="red", weight=0];
14.46/5.58	2217[label="primPlusInt (index1 (Pos (Succ wx107)) (Pos (Succ wx108)) (Pos (Succ wx108)) (not (esEsOrdering (primCmpNat (Succ wx108) (Succ wx108)) GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2217 -> 2418[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2217 -> 2419[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2217 -> 2420[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	1441[label="primPlusInt (primMinusInt (Pos (Succ wx69)) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1441 -> 1461[label="",style="solid", color="black", weight=3];
14.46/5.58	1425[label="primPlusNat (Succ wx63) (Succ wx62)",fontsize=16,color="black",shape="box"];1425 -> 1443[label="",style="solid", color="black", weight=3];
14.46/5.58	1156[label="primPlusNat (Succ wx570) (Succ Zero)",fontsize=16,color="black",shape="box"];1156 -> 1181[label="",style="solid", color="black", weight=3];
14.46/5.58	1157[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];1157 -> 1182[label="",style="solid", color="black", weight=3];
14.46/5.58	2218 -> 2450[label="",style="dashed", color="red", weight=0];
14.46/5.58	2218[label="primPlusInt (index1 (Neg (Succ wx112)) (Neg (Succ wx113)) (Neg (Succ wx113)) (not (esEsOrdering (primCmpNat (Succ wx113) (Succ wx113)) GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2218 -> 2451[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2218 -> 2452[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2218 -> 2453[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	1103[label="Succ wx3000",fontsize=16,color="green",shape="box"];1442 -> 1205[label="",style="dashed", color="red", weight=0];
14.46/5.58	1442[label="primPlusNat (Succ wx66) Zero",fontsize=16,color="magenta"];1442 -> 1462[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2219[label="error []",fontsize=16,color="red",shape="box"];2418[label="wx107",fontsize=16,color="green",shape="box"];2419[label="Succ wx108",fontsize=16,color="green",shape="box"];2420[label="wx108",fontsize=16,color="green",shape="box"];2417[label="primPlusInt (index1 (Pos (Succ wx120)) (Pos (Succ wx121)) (Pos (Succ wx121)) (not (esEsOrdering (primCmpNat wx122 wx122) GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2583[label="wx122/Succ wx1220",fontsize=10,color="white",style="solid",shape="box"];2417 -> 2583[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2583 -> 2448[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2584[label="wx122/Zero",fontsize=10,color="white",style="solid",shape="box"];2417 -> 2584[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2584 -> 2449[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	1461 -> 1002[label="",style="dashed", color="red", weight=0];
14.46/5.58	1461[label="primPlusInt (primMinusNat (Succ wx69) Zero) (Pos (Succ Zero))",fontsize=16,color="magenta"];1461 -> 1482[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	1443[label="Succ (Succ (primPlusNat wx63 wx62))",fontsize=16,color="green",shape="box"];1443 -> 1463[label="",style="dashed", color="green", weight=3];
14.46/5.58	1181[label="Succ (Succ (primPlusNat wx570 Zero))",fontsize=16,color="green",shape="box"];1181 -> 1205[label="",style="dashed", color="green", weight=3];
14.46/5.58	1182[label="Succ Zero",fontsize=16,color="green",shape="box"];2451[label="wx113",fontsize=16,color="green",shape="box"];2452[label="Succ wx113",fontsize=16,color="green",shape="box"];2453[label="wx112",fontsize=16,color="green",shape="box"];2450[label="primPlusInt (index1 (Neg (Succ wx124)) (Neg (Succ wx125)) (Neg (Succ wx125)) (not (esEsOrdering (primCmpNat wx126 wx126) GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2585[label="wx126/Succ wx1260",fontsize=10,color="white",style="solid",shape="box"];2450 -> 2585[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2585 -> 2481[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2586[label="wx126/Zero",fontsize=10,color="white",style="solid",shape="box"];2450 -> 2586[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2586 -> 2482[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	1462[label="Succ wx66",fontsize=16,color="green",shape="box"];1205[label="primPlusNat wx570 Zero",fontsize=16,color="burlywood",shape="triangle"];2587[label="wx570/Succ wx5700",fontsize=10,color="white",style="solid",shape="box"];1205 -> 2587[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2587 -> 1228[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2588[label="wx570/Zero",fontsize=10,color="white",style="solid",shape="box"];1205 -> 2588[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2588 -> 1229[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2448[label="primPlusInt (index1 (Pos (Succ wx120)) (Pos (Succ wx121)) (Pos (Succ wx121)) (not (esEsOrdering (primCmpNat (Succ wx1220) (Succ wx1220)) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2448 -> 2483[label="",style="solid", color="black", weight=3];
14.46/5.58	2449[label="primPlusInt (index1 (Pos (Succ wx120)) (Pos (Succ wx121)) (Pos (Succ wx121)) (not (esEsOrdering (primCmpNat Zero Zero) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2449 -> 2484[label="",style="solid", color="black", weight=3];
14.46/5.58	1482[label="wx69",fontsize=16,color="green",shape="box"];1463[label="primPlusNat wx63 wx62",fontsize=16,color="burlywood",shape="triangle"];2589[label="wx63/Succ wx630",fontsize=10,color="white",style="solid",shape="box"];1463 -> 2589[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2589 -> 1483[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2590[label="wx63/Zero",fontsize=10,color="white",style="solid",shape="box"];1463 -> 2590[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2590 -> 1484[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2481[label="primPlusInt (index1 (Neg (Succ wx124)) (Neg (Succ wx125)) (Neg (Succ wx125)) (not (esEsOrdering (primCmpNat (Succ wx1260) (Succ wx1260)) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2481 -> 2485[label="",style="solid", color="black", weight=3];
14.46/5.58	2482[label="primPlusInt (index1 (Neg (Succ wx124)) (Neg (Succ wx125)) (Neg (Succ wx125)) (not (esEsOrdering (primCmpNat Zero Zero) GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2482 -> 2486[label="",style="solid", color="black", weight=3];
14.46/5.58	1228[label="primPlusNat (Succ wx5700) Zero",fontsize=16,color="black",shape="box"];1228 -> 1254[label="",style="solid", color="black", weight=3];
14.46/5.58	1229[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1229 -> 1255[label="",style="solid", color="black", weight=3];
14.46/5.58	2483 -> 2417[label="",style="dashed", color="red", weight=0];
14.46/5.58	2483[label="primPlusInt (index1 (Pos (Succ wx120)) (Pos (Succ wx121)) (Pos (Succ wx121)) (not (esEsOrdering (primCmpNat wx1220 wx1220) GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2483 -> 2487[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2484[label="primPlusInt (index1 (Pos (Succ wx120)) (Pos (Succ wx121)) (Pos (Succ wx121)) (not (esEsOrdering EQ GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2484 -> 2488[label="",style="solid", color="black", weight=3];
14.46/5.58	1483[label="primPlusNat (Succ wx630) wx62",fontsize=16,color="burlywood",shape="box"];2591[label="wx62/Succ wx620",fontsize=10,color="white",style="solid",shape="box"];1483 -> 2591[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2591 -> 1506[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2592[label="wx62/Zero",fontsize=10,color="white",style="solid",shape="box"];1483 -> 2592[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2592 -> 1507[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	1484[label="primPlusNat Zero wx62",fontsize=16,color="burlywood",shape="box"];2593[label="wx62/Succ wx620",fontsize=10,color="white",style="solid",shape="box"];1484 -> 2593[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2593 -> 1508[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2594[label="wx62/Zero",fontsize=10,color="white",style="solid",shape="box"];1484 -> 2594[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2594 -> 1509[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2485 -> 2450[label="",style="dashed", color="red", weight=0];
14.46/5.58	2485[label="primPlusInt (index1 (Neg (Succ wx124)) (Neg (Succ wx125)) (Neg (Succ wx125)) (not (esEsOrdering (primCmpNat wx1260 wx1260) GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2485 -> 2489[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2486[label="primPlusInt (index1 (Neg (Succ wx124)) (Neg (Succ wx125)) (Neg (Succ wx125)) (not (esEsOrdering EQ GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2486 -> 2490[label="",style="solid", color="black", weight=3];
14.46/5.58	1254[label="Succ wx5700",fontsize=16,color="green",shape="box"];1255[label="Zero",fontsize=16,color="green",shape="box"];2487[label="wx1220",fontsize=16,color="green",shape="box"];2488[label="primPlusInt (index1 (Pos (Succ wx120)) (Pos (Succ wx121)) (Pos (Succ wx121)) (not MyFalse)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2488 -> 2491[label="",style="solid", color="black", weight=3];
14.46/5.58	1506[label="primPlusNat (Succ wx630) (Succ wx620)",fontsize=16,color="black",shape="box"];1506 -> 1532[label="",style="solid", color="black", weight=3];
14.46/5.58	1507[label="primPlusNat (Succ wx630) Zero",fontsize=16,color="black",shape="box"];1507 -> 1533[label="",style="solid", color="black", weight=3];
14.46/5.58	1508[label="primPlusNat Zero (Succ wx620)",fontsize=16,color="black",shape="box"];1508 -> 1534[label="",style="solid", color="black", weight=3];
14.46/5.58	1509[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1509 -> 1535[label="",style="solid", color="black", weight=3];
14.46/5.58	2489[label="wx1260",fontsize=16,color="green",shape="box"];2490[label="primPlusInt (index1 (Neg (Succ wx124)) (Neg (Succ wx125)) (Neg (Succ wx125)) (not MyFalse)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2490 -> 2492[label="",style="solid", color="black", weight=3];
14.46/5.58	2491[label="primPlusInt (index1 (Pos (Succ wx120)) (Pos (Succ wx121)) (Pos (Succ wx121)) MyTrue) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2491 -> 2493[label="",style="solid", color="black", weight=3];
14.46/5.58	1532[label="Succ (Succ (primPlusNat wx630 wx620))",fontsize=16,color="green",shape="box"];1532 -> 1559[label="",style="dashed", color="green", weight=3];
14.46/5.58	1533[label="Succ wx630",fontsize=16,color="green",shape="box"];1534[label="Succ wx620",fontsize=16,color="green",shape="box"];1535[label="Zero",fontsize=16,color="green",shape="box"];2492[label="primPlusInt (index1 (Neg (Succ wx124)) (Neg (Succ wx125)) (Neg (Succ wx125)) MyTrue) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2492 -> 2494[label="",style="solid", color="black", weight=3];
14.46/5.58	2493[label="primPlusInt (msMyInt (Pos (Succ wx121)) (Pos (Succ wx120))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2493 -> 2495[label="",style="solid", color="black", weight=3];
14.46/5.58	1559 -> 1463[label="",style="dashed", color="red", weight=0];
14.46/5.58	1559[label="primPlusNat wx630 wx620",fontsize=16,color="magenta"];1559 -> 1585[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	1559 -> 1586[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2494[label="primPlusInt (msMyInt (Neg (Succ wx125)) (Neg (Succ wx124))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2494 -> 2496[label="",style="solid", color="black", weight=3];
14.46/5.58	2495[label="primPlusInt (primMinusInt (Pos (Succ wx121)) (Pos (Succ wx120))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2495 -> 2497[label="",style="solid", color="black", weight=3];
14.46/5.58	1585[label="wx630",fontsize=16,color="green",shape="box"];1586[label="wx620",fontsize=16,color="green",shape="box"];2496[label="primPlusInt (primMinusInt (Neg (Succ wx125)) (Neg (Succ wx124))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2496 -> 2498[label="",style="solid", color="black", weight=3];
14.46/5.58	2497[label="primPlusInt (primMinusNat (Succ wx121) (Succ wx120)) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];2497 -> 2499[label="",style="solid", color="black", weight=3];
14.46/5.58	2498 -> 2497[label="",style="dashed", color="red", weight=0];
14.46/5.58	2498[label="primPlusInt (primMinusNat (Succ wx124) (Succ wx125)) (Pos (Succ Zero))",fontsize=16,color="magenta"];2498 -> 2500[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2498 -> 2501[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2499[label="primPlusInt (primMinusNat wx121 wx120) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2595[label="wx121/Succ wx1210",fontsize=10,color="white",style="solid",shape="box"];2499 -> 2595[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2595 -> 2502[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2596[label="wx121/Zero",fontsize=10,color="white",style="solid",shape="box"];2499 -> 2596[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2596 -> 2503[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2500[label="wx125",fontsize=16,color="green",shape="box"];2501[label="wx124",fontsize=16,color="green",shape="box"];2502[label="primPlusInt (primMinusNat (Succ wx1210) wx120) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2597[label="wx120/Succ wx1200",fontsize=10,color="white",style="solid",shape="box"];2502 -> 2597[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2597 -> 2504[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2598[label="wx120/Zero",fontsize=10,color="white",style="solid",shape="box"];2502 -> 2598[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2598 -> 2505[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2503[label="primPlusInt (primMinusNat Zero wx120) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2599[label="wx120/Succ wx1200",fontsize=10,color="white",style="solid",shape="box"];2503 -> 2599[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2599 -> 2506[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2600[label="wx120/Zero",fontsize=10,color="white",style="solid",shape="box"];2503 -> 2600[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2600 -> 2507[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2504[label="primPlusInt (primMinusNat (Succ wx1210) (Succ wx1200)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2504 -> 2508[label="",style="solid", color="black", weight=3];
14.46/5.58	2505[label="primPlusInt (primMinusNat (Succ wx1210) Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2505 -> 2509[label="",style="solid", color="black", weight=3];
14.46/5.58	2506[label="primPlusInt (primMinusNat Zero (Succ wx1200)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2506 -> 2510[label="",style="solid", color="black", weight=3];
14.46/5.58	2507[label="primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2507 -> 2511[label="",style="solid", color="black", weight=3];
14.46/5.58	2508 -> 2499[label="",style="dashed", color="red", weight=0];
14.46/5.58	2508[label="primPlusInt (primMinusNat wx1210 wx1200) (Pos (Succ Zero))",fontsize=16,color="magenta"];2508 -> 2512[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2508 -> 2513[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2509 -> 1098[label="",style="dashed", color="red", weight=0];
14.46/5.58	2509[label="primPlusInt (Pos (Succ wx1210)) (Pos (Succ Zero))",fontsize=16,color="magenta"];2509 -> 2514[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2510[label="primPlusInt (Neg (Succ wx1200)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2510 -> 2515[label="",style="solid", color="black", weight=3];
14.46/5.58	2511 -> 1098[label="",style="dashed", color="red", weight=0];
14.46/5.58	2511[label="primPlusInt (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="magenta"];2511 -> 2516[label="",style="dashed", color="magenta", weight=3];
14.46/5.58	2512[label="wx1200",fontsize=16,color="green",shape="box"];2513[label="wx1210",fontsize=16,color="green",shape="box"];2514[label="Succ wx1210",fontsize=16,color="green",shape="box"];2515[label="primMinusNat (Succ Zero) (Succ wx1200)",fontsize=16,color="black",shape="box"];2515 -> 2517[label="",style="solid", color="black", weight=3];
14.46/5.58	2516[label="Zero",fontsize=16,color="green",shape="box"];2517[label="primMinusNat Zero wx1200",fontsize=16,color="burlywood",shape="box"];2601[label="wx1200/Succ wx12000",fontsize=10,color="white",style="solid",shape="box"];2517 -> 2601[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2601 -> 2518[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2602[label="wx1200/Zero",fontsize=10,color="white",style="solid",shape="box"];2517 -> 2602[label="",style="solid", color="burlywood", weight=9];
14.46/5.58	2602 -> 2519[label="",style="solid", color="burlywood", weight=3];
14.46/5.58	2518[label="primMinusNat Zero (Succ wx12000)",fontsize=16,color="black",shape="box"];2518 -> 2520[label="",style="solid", color="black", weight=3];
14.46/5.58	2519[label="primMinusNat Zero Zero",fontsize=16,color="black",shape="box"];2519 -> 2521[label="",style="solid", color="black", weight=3];
14.46/5.58	2520[label="Neg (Succ wx12000)",fontsize=16,color="green",shape="box"];2521[label="Pos Zero",fontsize=16,color="green",shape="box"];}
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(6)
14.46/5.58	Complex Obligation (AND)
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(7)
14.46/5.58	Obligation:
14.46/5.58	Q DP problem:
14.46/5.58	The TRS P consists of the following rules:
14.46/5.58	
14.46/5.58	   new_primPlusInt6(wx107, wx108, Main.Succ(wx1090), Main.Succ(wx1100)) -> new_primPlusInt6(wx107, wx108, wx1090, wx1100)
14.46/5.58	
14.46/5.58	R is empty.
14.46/5.58	Q is empty.
14.46/5.58	We have to consider all minimal (P,Q,R)-chains.
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(8) QDPSizeChangeProof (EQUIVALENT)
14.46/5.58	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
14.46/5.58	
14.46/5.58	From the DPs we obtained the following set of size-change graphs:
14.46/5.58	*new_primPlusInt6(wx107, wx108, Main.Succ(wx1090), Main.Succ(wx1100)) -> new_primPlusInt6(wx107, wx108, wx1090, wx1100)
14.46/5.58	The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4
14.46/5.58	
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(9)
14.46/5.58	YES
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(10)
14.46/5.58	Obligation:
14.46/5.58	Q DP problem:
14.46/5.58	The TRS P consists of the following rules:
14.46/5.58	
14.46/5.58	   new_primPlusInt3(wx124, wx125, Main.Succ(wx1260)) -> new_primPlusInt3(wx124, wx125, wx1260)
14.46/5.58	
14.46/5.58	R is empty.
14.46/5.58	Q is empty.
14.46/5.58	We have to consider all minimal (P,Q,R)-chains.
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(11) QDPSizeChangeProof (EQUIVALENT)
14.46/5.58	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
14.46/5.58	
14.46/5.58	From the DPs we obtained the following set of size-change graphs:
14.46/5.58	*new_primPlusInt3(wx124, wx125, Main.Succ(wx1260)) -> new_primPlusInt3(wx124, wx125, wx1260)
14.46/5.58	The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3
14.46/5.58	
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(12)
14.46/5.58	YES
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(13)
14.46/5.58	Obligation:
14.46/5.58	Q DP problem:
14.46/5.58	The TRS P consists of the following rules:
14.46/5.58	
14.46/5.58	   new_rangeSize10(wx45, wx46, Main.Succ(wx470), Main.Succ(wx480)) -> new_rangeSize10(wx45, wx46, wx470, wx480)
14.46/5.58	
14.46/5.58	R is empty.
14.46/5.58	Q is empty.
14.46/5.58	We have to consider all minimal (P,Q,R)-chains.
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(14) QDPSizeChangeProof (EQUIVALENT)
14.46/5.58	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
14.46/5.58	
14.46/5.58	From the DPs we obtained the following set of size-change graphs:
14.46/5.58	*new_rangeSize10(wx45, wx46, Main.Succ(wx470), Main.Succ(wx480)) -> new_rangeSize10(wx45, wx46, wx470, wx480)
14.46/5.58	The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4
14.46/5.58	
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(15)
14.46/5.58	YES
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(16)
14.46/5.58	Obligation:
14.46/5.58	Q DP problem:
14.46/5.58	The TRS P consists of the following rules:
14.46/5.58	
14.46/5.58	   new_primPlusInt1(wx69, Main.Succ(wx700)) -> new_primPlusInt1(wx69, wx700)
14.46/5.58	
14.46/5.58	R is empty.
14.46/5.58	Q is empty.
14.46/5.58	We have to consider all minimal (P,Q,R)-chains.
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(17) QDPSizeChangeProof (EQUIVALENT)
14.46/5.58	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
14.46/5.58	
14.46/5.58	From the DPs we obtained the following set of size-change graphs:
14.46/5.58	*new_primPlusInt1(wx69, Main.Succ(wx700)) -> new_primPlusInt1(wx69, wx700)
14.46/5.58	The graph contains the following edges 1 >= 1, 2 > 2
14.46/5.58	
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(18)
14.46/5.58	YES
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(19)
14.46/5.58	Obligation:
14.46/5.58	Q DP problem:
14.46/5.58	The TRS P consists of the following rules:
14.46/5.58	
14.46/5.58	   new_primPlusInt5(wx112, wx113, Main.Succ(wx1140), Main.Succ(wx1150)) -> new_primPlusInt5(wx112, wx113, wx1140, wx1150)
14.46/5.58	
14.46/5.58	R is empty.
14.46/5.58	Q is empty.
14.46/5.58	We have to consider all minimal (P,Q,R)-chains.
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(20) QDPSizeChangeProof (EQUIVALENT)
14.46/5.58	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
14.46/5.58	
14.46/5.58	From the DPs we obtained the following set of size-change graphs:
14.46/5.58	*new_primPlusInt5(wx112, wx113, Main.Succ(wx1140), Main.Succ(wx1150)) -> new_primPlusInt5(wx112, wx113, wx1140, wx1150)
14.46/5.58	The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4
14.46/5.58	
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(21)
14.46/5.58	YES
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(22)
14.46/5.58	Obligation:
14.46/5.58	Q DP problem:
14.46/5.58	The TRS P consists of the following rules:
14.46/5.58	
14.46/5.58	   new_primPlusInt0(wx62, wx63, Main.Succ(wx640)) -> new_primPlusInt0(wx62, wx63, wx640)
14.46/5.58	
14.46/5.58	R is empty.
14.46/5.58	Q is empty.
14.46/5.58	We have to consider all minimal (P,Q,R)-chains.
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(23) QDPSizeChangeProof (EQUIVALENT)
14.46/5.58	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
14.46/5.58	
14.46/5.58	From the DPs we obtained the following set of size-change graphs:
14.46/5.58	*new_primPlusInt0(wx62, wx63, Main.Succ(wx640)) -> new_primPlusInt0(wx62, wx63, wx640)
14.46/5.58	The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3
14.46/5.58	
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(24)
14.46/5.58	YES
14.46/5.58	
14.46/5.58	----------------------------------------
14.46/5.58	
14.46/5.58	(25)
14.46/5.58	Obligation:
14.46/5.58	Q DP problem:
14.46/5.58	The TRS P consists of the following rules:
14.46/5.59	
14.46/5.59	   new_primPlusInt(wx66, Main.Succ(wx670)) -> new_primPlusInt(wx66, wx670)
14.46/5.59	
14.46/5.59	R is empty.
14.46/5.59	Q is empty.
14.46/5.59	We have to consider all minimal (P,Q,R)-chains.
14.46/5.59	----------------------------------------
14.46/5.59	
14.46/5.59	(26) QDPSizeChangeProof (EQUIVALENT)
14.46/5.59	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
14.46/5.59	
14.46/5.59	From the DPs we obtained the following set of size-change graphs:
14.46/5.59	*new_primPlusInt(wx66, Main.Succ(wx670)) -> new_primPlusInt(wx66, wx670)
14.46/5.59	The graph contains the following edges 1 >= 1, 2 > 2
14.46/5.59	
14.46/5.59	
14.46/5.59	----------------------------------------
14.46/5.59	
14.46/5.59	(27)
14.46/5.59	YES
14.46/5.59	
14.46/5.59	----------------------------------------
14.46/5.59	
14.46/5.59	(28)
14.46/5.59	Obligation:
14.46/5.59	Q DP problem:
14.46/5.59	The TRS P consists of the following rules:
14.46/5.59	
14.46/5.59	   new_primPlusInt4(wx120, wx121, Main.Succ(wx1220)) -> new_primPlusInt4(wx120, wx121, wx1220)
14.46/5.59	
14.46/5.59	R is empty.
14.46/5.59	Q is empty.
14.46/5.59	We have to consider all minimal (P,Q,R)-chains.
14.46/5.59	----------------------------------------
14.46/5.59	
14.46/5.59	(29) QDPSizeChangeProof (EQUIVALENT)
14.46/5.59	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
14.46/5.59	
14.46/5.59	From the DPs we obtained the following set of size-change graphs:
14.46/5.59	*new_primPlusInt4(wx120, wx121, Main.Succ(wx1220)) -> new_primPlusInt4(wx120, wx121, wx1220)
14.46/5.59	The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3
14.46/5.59	
14.46/5.59	
14.46/5.59	----------------------------------------
14.46/5.59	
14.46/5.59	(30)
14.46/5.59	YES
14.46/5.59	
14.46/5.59	----------------------------------------
14.46/5.59	
14.46/5.59	(31)
14.46/5.59	Obligation:
14.46/5.59	Q DP problem:
14.46/5.59	The TRS P consists of the following rules:
14.46/5.59	
14.46/5.59	   new_rangeSize1(wx53, wx54, Main.Succ(wx550), Main.Succ(wx560)) -> new_rangeSize1(wx53, wx54, wx550, wx560)
14.46/5.59	
14.46/5.59	R is empty.
14.46/5.59	Q is empty.
14.46/5.59	We have to consider all minimal (P,Q,R)-chains.
14.46/5.59	----------------------------------------
14.46/5.59	
14.46/5.59	(32) QDPSizeChangeProof (EQUIVALENT)
14.46/5.59	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
14.46/5.59	
14.46/5.59	From the DPs we obtained the following set of size-change graphs:
14.46/5.59	*new_rangeSize1(wx53, wx54, Main.Succ(wx550), Main.Succ(wx560)) -> new_rangeSize1(wx53, wx54, wx550, wx560)
14.46/5.59	The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4
14.46/5.59	
14.46/5.59	
14.46/5.59	----------------------------------------
14.46/5.59	
14.46/5.59	(33)
14.46/5.59	YES
14.46/5.59	
14.46/5.59	----------------------------------------
14.46/5.59	
14.46/5.59	(34)
14.46/5.59	Obligation:
14.46/5.59	Q DP problem:
14.46/5.59	The TRS P consists of the following rules:
14.46/5.59	
14.46/5.59	   new_primPlusNat(Main.Succ(wx630), Main.Succ(wx620)) -> new_primPlusNat(wx630, wx620)
14.46/5.59	
14.46/5.59	R is empty.
14.46/5.59	Q is empty.
14.46/5.59	We have to consider all minimal (P,Q,R)-chains.
14.46/5.59	----------------------------------------
14.46/5.59	
14.46/5.59	(35) QDPSizeChangeProof (EQUIVALENT)
14.46/5.59	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
14.46/5.59	
14.46/5.59	From the DPs we obtained the following set of size-change graphs:
14.46/5.59	*new_primPlusNat(Main.Succ(wx630), Main.Succ(wx620)) -> new_primPlusNat(wx630, wx620)
14.46/5.59	The graph contains the following edges 1 > 1, 2 > 2
14.46/5.59	
14.46/5.59	
14.46/5.59	----------------------------------------
14.46/5.59	
14.46/5.59	(36)
14.46/5.59	YES
14.46/5.59	
14.46/5.59	----------------------------------------
14.46/5.59	
14.46/5.59	(37)
14.46/5.59	Obligation:
14.46/5.59	Q DP problem:
14.46/5.59	The TRS P consists of the following rules:
14.46/5.59	
14.46/5.59	   new_primPlusInt2(Main.Succ(wx1210), Main.Succ(wx1200)) -> new_primPlusInt2(wx1210, wx1200)
14.46/5.59	
14.46/5.59	R is empty.
14.46/5.59	Q is empty.
14.46/5.59	We have to consider all minimal (P,Q,R)-chains.
14.46/5.59	----------------------------------------
14.46/5.59	
14.46/5.59	(38) QDPSizeChangeProof (EQUIVALENT)
14.46/5.59	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
14.46/5.59	
14.46/5.59	From the DPs we obtained the following set of size-change graphs:
14.46/5.59	*new_primPlusInt2(Main.Succ(wx1210), Main.Succ(wx1200)) -> new_primPlusInt2(wx1210, wx1200)
14.46/5.59	The graph contains the following edges 1 > 1, 2 > 2
14.46/5.59	
14.46/5.59	
14.46/5.59	----------------------------------------
14.46/5.59	
14.46/5.59	(39)
14.46/5.59	YES
14.72/5.67	EOF