10.26/4.35	YES
12.41/4.94	proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
12.41/4.94	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
12.41/4.94	
12.41/4.94	
12.41/4.94	H-Termination with start terms of the given HASKELL could be proven:
12.41/4.94	
12.41/4.94	(0) HASKELL
12.41/4.94	(1) BR [EQUIVALENT, 0 ms]
12.41/4.94	(2) HASKELL
12.41/4.94	(3) COR [EQUIVALENT, 0 ms]
12.41/4.94	(4) HASKELL
12.41/4.94	(5) Narrow [SOUND, 0 ms]
12.41/4.94	(6) AND
12.41/4.94	    (7) QDP
12.41/4.94	        (8) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.41/4.94	        (9) YES
12.41/4.94	    (10) QDP
12.41/4.94	        (11) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.41/4.94	        (12) YES
12.41/4.94	    (13) QDP
12.41/4.94	        (14) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.41/4.94	        (15) YES
12.41/4.94	    (16) QDP
12.41/4.94	        (17) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.41/4.94	        (18) YES
12.41/4.94	    (19) QDP
12.41/4.94	        (20) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.41/4.94	        (21) YES
12.41/4.94	    (22) QDP
12.41/4.94	        (23) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.41/4.94	        (24) YES
12.41/4.94	    (25) QDP
12.41/4.94	        (26) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.41/4.94	        (27) YES
12.41/4.94	    (28) QDP
12.41/4.94	        (29) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.41/4.94	        (30) YES
12.41/4.94	    (31) QDP
12.41/4.94	        (32) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.41/4.94	        (33) YES
12.41/4.94	
12.41/4.94	
12.41/4.94	----------------------------------------
12.41/4.94	
12.41/4.94	(0)
12.41/4.94	Obligation:
12.41/4.94	mainModule Main 
12.41/4.94	module Main where {
12.41/4.94	import qualified Prelude;
12.41/4.94	data Main.Char = Char MyInt ;
12.41/4.94	
12.41/4.94	data MyBool = MyTrue  | MyFalse ;
12.41/4.94	
12.41/4.94	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
12.41/4.94	
12.41/4.94	data Main.Nat = Succ Main.Nat  | Zero ;
12.41/4.94	
12.41/4.94	data Ordering = LT  | EQ  | GT ;
12.41/4.94	
12.41/4.94	data Tup2 a b = Tup2 a b ;
12.41/4.94	
12.41/4.94	asAs :: MyBool  ->  MyBool  ->  MyBool;
12.41/4.94	asAs MyFalse x = MyFalse;
12.41/4.94	asAs MyTrue x = x;
12.41/4.94	
12.41/4.94	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
12.41/4.94	compareMyInt = primCmpInt;
12.41/4.94	
12.41/4.94	error :: a;
12.41/4.94	error = stop MyTrue;
12.41/4.94	
12.41/4.94	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
12.41/4.94	esEsOrdering LT LT = MyTrue;
12.41/4.94	esEsOrdering LT EQ = MyFalse;
12.41/4.94	esEsOrdering LT GT = MyFalse;
12.41/4.94	esEsOrdering EQ LT = MyFalse;
12.41/4.94	esEsOrdering EQ EQ = MyTrue;
12.41/4.94	esEsOrdering EQ GT = MyFalse;
12.41/4.94	esEsOrdering GT LT = MyFalse;
12.41/4.94	esEsOrdering GT EQ = MyFalse;
12.41/4.94	esEsOrdering GT GT = MyTrue;
12.41/4.94	
12.41/4.94	fromEnumChar :: Main.Char  ->  MyInt;
12.41/4.94	fromEnumChar = primCharToInt;
12.41/4.94	
12.41/4.94	fsEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
12.41/4.94	fsEsOrdering x y = not (esEsOrdering x y);
12.41/4.94	
12.41/4.94	inRangeChar :: Tup2 Main.Char Main.Char  ->  Main.Char  ->  MyBool;
12.41/4.94	inRangeChar (Tup2 c c') ci = asAs (ltEsMyInt (fromEnumChar c) (inRangeI ci)) (ltEsMyInt (inRangeI ci) (fromEnumChar c'));
12.41/4.94	
12.41/4.94	inRangeI vy = fromEnumChar vy;
12.41/4.94	
12.41/4.94	index0 vv vw ci MyTrue = Main.error;
12.41/4.94	
12.41/4.94	index1 vv vw ci MyTrue = msMyInt (fromEnumChar ci) (fromEnumChar vv);
12.41/4.94	index1 vv vw ci MyFalse = index0 vv vw ci otherwise;
12.41/4.94	
12.41/4.94	index2 (Tup2 vv vw) ci = index1 vv vw ci (inRangeChar (Tup2 vv vw) ci);
12.41/4.94	
12.41/4.94	indexChar :: Tup2 Main.Char Main.Char  ->  Main.Char  ->  MyInt;
12.41/4.94	indexChar (Tup2 vv vw) ci = index2 (Tup2 vv vw) ci;
12.41/4.94	
12.41/4.94	ltEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
12.41/4.94	ltEsMyInt x y = fsEsOrdering (compareMyInt x y) GT;
12.41/4.94	
12.41/4.94	msMyInt :: MyInt  ->  MyInt  ->  MyInt;
12.41/4.94	msMyInt = primMinusInt;
12.41/4.94	
12.41/4.94	not :: MyBool  ->  MyBool;
12.41/4.94	not MyTrue = MyFalse;
12.41/4.94	not MyFalse = MyTrue;
12.41/4.94	
12.41/4.94	otherwise :: MyBool;
12.41/4.94	otherwise = MyTrue;
12.41/4.94	
12.41/4.94	primCharToInt :: Main.Char  ->  MyInt;
12.41/4.94	primCharToInt (Main.Char x) = x;
12.41/4.94	
12.41/4.94	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
12.41/4.94	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
12.41/4.94	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
12.41/4.94	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
12.41/4.94	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
12.41/4.94	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
12.41/4.94	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
12.41/4.94	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
12.41/4.94	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
12.41/4.94	
12.41/4.94	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
12.41/4.94	primCmpNat Main.Zero Main.Zero = EQ;
12.41/4.94	primCmpNat Main.Zero (Main.Succ y) = LT;
12.41/4.94	primCmpNat (Main.Succ x) Main.Zero = GT;
12.41/4.94	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
12.41/4.94	
12.41/4.94	primMinusInt :: MyInt  ->  MyInt  ->  MyInt;
12.41/4.94	primMinusInt (Main.Pos x) (Main.Neg y) = Main.Pos (primPlusNat x y);
12.41/4.94	primMinusInt (Main.Neg x) (Main.Pos y) = Main.Neg (primPlusNat x y);
12.41/4.94	primMinusInt (Main.Neg x) (Main.Neg y) = primMinusNat y x;
12.41/4.94	primMinusInt (Main.Pos x) (Main.Pos y) = primMinusNat x y;
12.41/4.94	
12.41/4.94	primMinusNat :: Main.Nat  ->  Main.Nat  ->  MyInt;
12.41/4.94	primMinusNat Main.Zero Main.Zero = Main.Pos Main.Zero;
12.41/4.94	primMinusNat Main.Zero (Main.Succ y) = Main.Neg (Main.Succ y);
12.41/4.94	primMinusNat (Main.Succ x) Main.Zero = Main.Pos (Main.Succ x);
12.41/4.94	primMinusNat (Main.Succ x) (Main.Succ y) = primMinusNat x y;
12.41/4.94	
12.41/4.94	primPlusNat :: Main.Nat  ->  Main.Nat  ->  Main.Nat;
12.41/4.94	primPlusNat Main.Zero Main.Zero = Main.Zero;
12.41/4.94	primPlusNat Main.Zero (Main.Succ y) = Main.Succ y;
12.41/4.94	primPlusNat (Main.Succ x) Main.Zero = Main.Succ x;
12.41/4.94	primPlusNat (Main.Succ x) (Main.Succ y) = Main.Succ (Main.Succ (primPlusNat x y));
12.41/4.94	
12.41/4.94	stop :: MyBool  ->  a;
12.41/4.94	stop MyFalse = stop MyFalse;
12.41/4.94	
12.41/4.94	}
12.41/4.94	
12.41/4.94	----------------------------------------
12.41/4.94	
12.41/4.94	(1) BR (EQUIVALENT)
12.41/4.94	Replaced joker patterns by fresh variables and removed binding patterns.
12.41/4.94	----------------------------------------
12.41/4.94	
12.41/4.94	(2)
12.41/4.94	Obligation:
12.41/4.94	mainModule Main 
12.41/4.94	module Main where {
12.41/4.94	import qualified Prelude;
12.41/4.94	data Main.Char = Char MyInt ;
12.41/4.94	
12.41/4.94	data MyBool = MyTrue  | MyFalse ;
12.41/4.94	
12.41/4.94	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
12.41/4.94	
12.41/4.94	data Main.Nat = Succ Main.Nat  | Zero ;
12.41/4.94	
12.41/4.94	data Ordering = LT  | EQ  | GT ;
12.41/4.94	
12.41/4.94	data Tup2 a b = Tup2 a b ;
12.41/4.94	
12.41/4.94	asAs :: MyBool  ->  MyBool  ->  MyBool;
12.41/4.94	asAs MyFalse x = MyFalse;
12.41/4.94	asAs MyTrue x = x;
12.41/4.94	
12.41/4.94	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
12.41/4.94	compareMyInt = primCmpInt;
12.41/4.94	
12.41/4.94	error :: a;
12.41/4.94	error = stop MyTrue;
12.41/4.94	
12.41/4.94	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
12.41/4.94	esEsOrdering LT LT = MyTrue;
12.41/4.94	esEsOrdering LT EQ = MyFalse;
12.41/4.94	esEsOrdering LT GT = MyFalse;
12.41/4.94	esEsOrdering EQ LT = MyFalse;
12.41/4.94	esEsOrdering EQ EQ = MyTrue;
12.41/4.94	esEsOrdering EQ GT = MyFalse;
12.41/4.94	esEsOrdering GT LT = MyFalse;
12.41/4.94	esEsOrdering GT EQ = MyFalse;
12.41/4.94	esEsOrdering GT GT = MyTrue;
12.41/4.94	
12.41/4.94	fromEnumChar :: Main.Char  ->  MyInt;
12.41/4.94	fromEnumChar = primCharToInt;
12.41/4.94	
12.41/4.94	fsEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
12.41/4.94	fsEsOrdering x y = not (esEsOrdering x y);
12.41/4.94	
12.41/4.94	inRangeChar :: Tup2 Main.Char Main.Char  ->  Main.Char  ->  MyBool;
12.41/4.94	inRangeChar (Tup2 c c') ci = asAs (ltEsMyInt (fromEnumChar c) (inRangeI ci)) (ltEsMyInt (inRangeI ci) (fromEnumChar c'));
12.41/4.94	
12.41/4.94	inRangeI vy = fromEnumChar vy;
12.41/4.94	
12.41/4.94	index0 vv vw ci MyTrue = Main.error;
12.41/4.94	
12.41/4.94	index1 vv vw ci MyTrue = msMyInt (fromEnumChar ci) (fromEnumChar vv);
12.41/4.94	index1 vv vw ci MyFalse = index0 vv vw ci otherwise;
12.41/4.94	
12.41/4.94	index2 (Tup2 vv vw) ci = index1 vv vw ci (inRangeChar (Tup2 vv vw) ci);
12.41/4.94	
12.41/4.94	indexChar :: Tup2 Main.Char Main.Char  ->  Main.Char  ->  MyInt;
12.41/4.94	indexChar (Tup2 vv vw) ci = index2 (Tup2 vv vw) ci;
12.41/4.94	
12.41/4.94	ltEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
12.41/4.94	ltEsMyInt x y = fsEsOrdering (compareMyInt x y) GT;
12.41/4.94	
12.41/4.94	msMyInt :: MyInt  ->  MyInt  ->  MyInt;
12.41/4.94	msMyInt = primMinusInt;
12.41/4.94	
12.41/4.94	not :: MyBool  ->  MyBool;
12.41/4.94	not MyTrue = MyFalse;
12.41/4.94	not MyFalse = MyTrue;
12.41/4.94	
12.41/4.94	otherwise :: MyBool;
12.41/4.94	otherwise = MyTrue;
12.41/4.94	
12.41/4.94	primCharToInt :: Main.Char  ->  MyInt;
12.41/4.94	primCharToInt (Main.Char x) = x;
12.41/4.94	
12.41/4.94	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
12.41/4.94	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
12.41/4.94	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
12.41/4.94	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
12.41/4.94	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
12.41/4.94	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
12.41/4.94	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
12.41/4.94	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
12.41/4.94	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
12.41/4.94	
12.41/4.94	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
12.41/4.94	primCmpNat Main.Zero Main.Zero = EQ;
12.41/4.94	primCmpNat Main.Zero (Main.Succ y) = LT;
12.41/4.94	primCmpNat (Main.Succ x) Main.Zero = GT;
12.41/4.94	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
12.41/4.94	
12.41/4.94	primMinusInt :: MyInt  ->  MyInt  ->  MyInt;
12.41/4.94	primMinusInt (Main.Pos x) (Main.Neg y) = Main.Pos (primPlusNat x y);
12.41/4.94	primMinusInt (Main.Neg x) (Main.Pos y) = Main.Neg (primPlusNat x y);
12.41/4.94	primMinusInt (Main.Neg x) (Main.Neg y) = primMinusNat y x;
12.41/4.94	primMinusInt (Main.Pos x) (Main.Pos y) = primMinusNat x y;
12.41/4.94	
12.41/4.94	primMinusNat :: Main.Nat  ->  Main.Nat  ->  MyInt;
12.41/4.94	primMinusNat Main.Zero Main.Zero = Main.Pos Main.Zero;
12.41/4.94	primMinusNat Main.Zero (Main.Succ y) = Main.Neg (Main.Succ y);
12.41/4.94	primMinusNat (Main.Succ x) Main.Zero = Main.Pos (Main.Succ x);
12.41/4.94	primMinusNat (Main.Succ x) (Main.Succ y) = primMinusNat x y;
12.41/4.94	
12.41/4.94	primPlusNat :: Main.Nat  ->  Main.Nat  ->  Main.Nat;
12.41/4.94	primPlusNat Main.Zero Main.Zero = Main.Zero;
12.41/4.94	primPlusNat Main.Zero (Main.Succ y) = Main.Succ y;
12.41/4.94	primPlusNat (Main.Succ x) Main.Zero = Main.Succ x;
12.41/4.94	primPlusNat (Main.Succ x) (Main.Succ y) = Main.Succ (Main.Succ (primPlusNat x y));
12.41/4.94	
12.41/4.94	stop :: MyBool  ->  a;
12.41/4.94	stop MyFalse = stop MyFalse;
12.41/4.94	
12.41/4.94	}
12.41/4.94	
12.41/4.94	----------------------------------------
12.41/4.94	
12.41/4.94	(3) COR (EQUIVALENT)
12.41/4.94	Cond Reductions:
12.41/4.94	The following Function with conditions
12.41/4.94	"undefined |Falseundefined;
12.41/4.94	"
12.41/4.94	is transformed to
12.41/4.94	"undefined  = undefined1;
12.41/4.94	"
12.41/4.94	"undefined0 True = undefined;
12.41/4.94	"
12.41/4.94	"undefined1  = undefined0 False;
12.41/4.94	"
12.41/4.94	
12.41/4.94	----------------------------------------
12.41/4.94	
12.41/4.94	(4)
12.41/4.94	Obligation:
12.41/4.94	mainModule Main 
12.41/4.94	module Main where {
12.41/4.94	import qualified Prelude;
12.41/4.94	data Main.Char = Char MyInt ;
12.41/4.94	
12.41/4.94	data MyBool = MyTrue  | MyFalse ;
12.41/4.94	
12.41/4.94	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
12.41/4.94	
12.41/4.94	data Main.Nat = Succ Main.Nat  | Zero ;
12.41/4.94	
12.41/4.94	data Ordering = LT  | EQ  | GT ;
12.41/4.94	
12.41/4.94	data Tup2 b a = Tup2 b a ;
12.41/4.94	
12.41/4.94	asAs :: MyBool  ->  MyBool  ->  MyBool;
12.41/4.94	asAs MyFalse x = MyFalse;
12.41/4.94	asAs MyTrue x = x;
12.41/4.94	
12.41/4.94	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
12.41/4.94	compareMyInt = primCmpInt;
12.41/4.94	
12.41/4.94	error :: a;
12.41/4.94	error = stop MyTrue;
12.41/4.94	
12.41/4.94	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
12.41/4.94	esEsOrdering LT LT = MyTrue;
12.41/4.94	esEsOrdering LT EQ = MyFalse;
12.41/4.94	esEsOrdering LT GT = MyFalse;
12.41/4.94	esEsOrdering EQ LT = MyFalse;
12.41/4.94	esEsOrdering EQ EQ = MyTrue;
12.41/4.94	esEsOrdering EQ GT = MyFalse;
12.41/4.94	esEsOrdering GT LT = MyFalse;
12.41/4.94	esEsOrdering GT EQ = MyFalse;
12.41/4.94	esEsOrdering GT GT = MyTrue;
12.41/4.94	
12.41/4.94	fromEnumChar :: Main.Char  ->  MyInt;
12.41/4.94	fromEnumChar = primCharToInt;
12.41/4.94	
12.41/4.94	fsEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
12.41/4.94	fsEsOrdering x y = not (esEsOrdering x y);
12.41/4.94	
12.41/4.94	inRangeChar :: Tup2 Main.Char Main.Char  ->  Main.Char  ->  MyBool;
12.41/4.94	inRangeChar (Tup2 c c') ci = asAs (ltEsMyInt (fromEnumChar c) (inRangeI ci)) (ltEsMyInt (inRangeI ci) (fromEnumChar c'));
12.41/4.94	
12.41/4.94	inRangeI vy = fromEnumChar vy;
12.41/4.94	
12.41/4.94	index0 vv vw ci MyTrue = Main.error;
12.41/4.94	
12.41/4.94	index1 vv vw ci MyTrue = msMyInt (fromEnumChar ci) (fromEnumChar vv);
12.41/4.94	index1 vv vw ci MyFalse = index0 vv vw ci otherwise;
12.41/4.94	
12.41/4.94	index2 (Tup2 vv vw) ci = index1 vv vw ci (inRangeChar (Tup2 vv vw) ci);
12.41/4.94	
12.41/4.94	indexChar :: Tup2 Main.Char Main.Char  ->  Main.Char  ->  MyInt;
12.41/4.94	indexChar (Tup2 vv vw) ci = index2 (Tup2 vv vw) ci;
12.41/4.94	
12.41/4.94	ltEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
12.41/4.94	ltEsMyInt x y = fsEsOrdering (compareMyInt x y) GT;
12.41/4.94	
12.41/4.94	msMyInt :: MyInt  ->  MyInt  ->  MyInt;
12.41/4.94	msMyInt = primMinusInt;
12.41/4.94	
12.41/4.94	not :: MyBool  ->  MyBool;
12.41/4.94	not MyTrue = MyFalse;
12.41/4.94	not MyFalse = MyTrue;
12.41/4.94	
12.41/4.94	otherwise :: MyBool;
12.41/4.94	otherwise = MyTrue;
12.41/4.94	
12.41/4.94	primCharToInt :: Main.Char  ->  MyInt;
12.41/4.94	primCharToInt (Main.Char x) = x;
12.41/4.94	
12.41/4.94	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
12.41/4.94	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
12.41/4.94	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
12.41/4.94	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
12.41/4.94	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
12.41/4.94	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
12.41/4.94	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
12.41/4.94	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
12.41/4.94	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
12.41/4.94	
12.41/4.94	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
12.41/4.94	primCmpNat Main.Zero Main.Zero = EQ;
12.41/4.94	primCmpNat Main.Zero (Main.Succ y) = LT;
12.41/4.94	primCmpNat (Main.Succ x) Main.Zero = GT;
12.41/4.94	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
12.41/4.94	
12.41/4.94	primMinusInt :: MyInt  ->  MyInt  ->  MyInt;
12.41/4.94	primMinusInt (Main.Pos x) (Main.Neg y) = Main.Pos (primPlusNat x y);
12.41/4.94	primMinusInt (Main.Neg x) (Main.Pos y) = Main.Neg (primPlusNat x y);
12.41/4.94	primMinusInt (Main.Neg x) (Main.Neg y) = primMinusNat y x;
12.41/4.94	primMinusInt (Main.Pos x) (Main.Pos y) = primMinusNat x y;
12.41/4.94	
12.41/4.94	primMinusNat :: Main.Nat  ->  Main.Nat  ->  MyInt;
12.41/4.94	primMinusNat Main.Zero Main.Zero = Main.Pos Main.Zero;
12.41/4.94	primMinusNat Main.Zero (Main.Succ y) = Main.Neg (Main.Succ y);
12.41/4.94	primMinusNat (Main.Succ x) Main.Zero = Main.Pos (Main.Succ x);
12.41/4.94	primMinusNat (Main.Succ x) (Main.Succ y) = primMinusNat x y;
12.41/4.94	
12.41/4.94	primPlusNat :: Main.Nat  ->  Main.Nat  ->  Main.Nat;
12.41/4.94	primPlusNat Main.Zero Main.Zero = Main.Zero;
12.41/4.94	primPlusNat Main.Zero (Main.Succ y) = Main.Succ y;
12.41/4.94	primPlusNat (Main.Succ x) Main.Zero = Main.Succ x;
12.41/4.94	primPlusNat (Main.Succ x) (Main.Succ y) = Main.Succ (Main.Succ (primPlusNat x y));
12.41/4.94	
12.41/4.94	stop :: MyBool  ->  a;
12.41/4.94	stop MyFalse = stop MyFalse;
12.41/4.94	
12.41/4.94	}
12.41/4.94	
12.41/4.94	----------------------------------------
12.41/4.94	
12.41/4.94	(5) Narrow (SOUND)
12.41/4.94	Haskell To QDPs
12.41/4.94	
12.41/4.94	digraph dp_graph {
12.41/4.94	node [outthreshold=100, inthreshold=100];1[label="indexChar",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
12.41/4.94	3[label="indexChar wu3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
12.41/4.94	4[label="indexChar wu3 wu4",fontsize=16,color="burlywood",shape="triangle"];2248[label="wu3/Tup2 wu30 wu31",fontsize=10,color="white",style="solid",shape="box"];4 -> 2248[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2248 -> 5[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	5[label="indexChar (Tup2 wu30 wu31) wu4",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
12.41/4.94	6[label="index2 (Tup2 wu30 wu31) wu4",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
12.41/4.94	7[label="index1 wu30 wu31 wu4 (inRangeChar (Tup2 wu30 wu31) wu4)",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
12.41/4.94	8[label="index1 wu30 wu31 wu4 (asAs (ltEsMyInt (fromEnumChar wu30) (inRangeI wu4)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
12.41/4.94	9[label="index1 wu30 wu31 wu4 (asAs (fsEsOrdering (compareMyInt (fromEnumChar wu30) (inRangeI wu4)) GT) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
12.41/4.94	10[label="index1 wu30 wu31 wu4 (asAs (not (esEsOrdering (compareMyInt (fromEnumChar wu30) (inRangeI wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3];
12.41/4.94	11[label="index1 wu30 wu31 wu4 (asAs (not (esEsOrdering (primCmpInt (fromEnumChar wu30) (inRangeI wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
12.41/4.94	12[label="index1 wu30 wu31 wu4 (asAs (not (esEsOrdering (primCmpInt (primCharToInt wu30) (inRangeI wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2249[label="wu30/Char wu300",fontsize=10,color="white",style="solid",shape="box"];12 -> 2249[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2249 -> 13[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	13[label="index1 (Char wu300) wu31 wu4 (asAs (not (esEsOrdering (primCmpInt (primCharToInt (Char wu300)) (inRangeI wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3];
12.41/4.94	14[label="index1 (Char wu300) wu31 wu4 (asAs (not (esEsOrdering (primCmpInt wu300 (inRangeI wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2250[label="wu300/Pos wu3000",fontsize=10,color="white",style="solid",shape="box"];14 -> 2250[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2250 -> 15[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2251[label="wu300/Neg wu3000",fontsize=10,color="white",style="solid",shape="box"];14 -> 2251[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2251 -> 16[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	15[label="index1 (Char (Pos wu3000)) wu31 wu4 (asAs (not (esEsOrdering (primCmpInt (Pos wu3000) (inRangeI wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2252[label="wu3000/Succ wu30000",fontsize=10,color="white",style="solid",shape="box"];15 -> 2252[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2252 -> 17[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2253[label="wu3000/Zero",fontsize=10,color="white",style="solid",shape="box"];15 -> 2253[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2253 -> 18[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	16[label="index1 (Char (Neg wu3000)) wu31 wu4 (asAs (not (esEsOrdering (primCmpInt (Neg wu3000) (inRangeI wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2254[label="wu3000/Succ wu30000",fontsize=10,color="white",style="solid",shape="box"];16 -> 2254[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2254 -> 19[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2255[label="wu3000/Zero",fontsize=10,color="white",style="solid",shape="box"];16 -> 2255[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2255 -> 20[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	17[label="index1 (Char (Pos (Succ wu30000))) wu31 wu4 (asAs (not (esEsOrdering (primCmpInt (Pos (Succ wu30000)) (inRangeI wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];17 -> 21[label="",style="solid", color="black", weight=3];
12.41/4.94	18[label="index1 (Char (Pos Zero)) wu31 wu4 (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (inRangeI wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];18 -> 22[label="",style="solid", color="black", weight=3];
12.41/4.94	19[label="index1 (Char (Neg (Succ wu30000))) wu31 wu4 (asAs (not (esEsOrdering (primCmpInt (Neg (Succ wu30000)) (inRangeI wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];19 -> 23[label="",style="solid", color="black", weight=3];
12.41/4.94	20[label="index1 (Char (Neg Zero)) wu31 wu4 (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (inRangeI wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];20 -> 24[label="",style="solid", color="black", weight=3];
12.41/4.94	21[label="index1 (Char (Pos (Succ wu30000))) wu31 wu4 (asAs (not (esEsOrdering (primCmpInt (Pos (Succ wu30000)) (fromEnumChar wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];21 -> 25[label="",style="solid", color="black", weight=3];
12.41/4.94	22[label="index1 (Char (Pos Zero)) wu31 wu4 (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (fromEnumChar wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];22 -> 26[label="",style="solid", color="black", weight=3];
12.41/4.94	23[label="index1 (Char (Neg (Succ wu30000))) wu31 wu4 (asAs (not (esEsOrdering (primCmpInt (Neg (Succ wu30000)) (fromEnumChar wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];23 -> 27[label="",style="solid", color="black", weight=3];
12.41/4.94	24[label="index1 (Char (Neg Zero)) wu31 wu4 (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (fromEnumChar wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];24 -> 28[label="",style="solid", color="black", weight=3];
12.41/4.94	25[label="index1 (Char (Pos (Succ wu30000))) wu31 wu4 (asAs (not (esEsOrdering (primCmpInt (Pos (Succ wu30000)) (primCharToInt wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2256[label="wu4/Char wu40",fontsize=10,color="white",style="solid",shape="box"];25 -> 2256[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2256 -> 29[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	26[label="index1 (Char (Pos Zero)) wu31 wu4 (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (primCharToInt wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2257[label="wu4/Char wu40",fontsize=10,color="white",style="solid",shape="box"];26 -> 2257[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2257 -> 30[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	27[label="index1 (Char (Neg (Succ wu30000))) wu31 wu4 (asAs (not (esEsOrdering (primCmpInt (Neg (Succ wu30000)) (primCharToInt wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2258[label="wu4/Char wu40",fontsize=10,color="white",style="solid",shape="box"];27 -> 2258[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2258 -> 31[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	28[label="index1 (Char (Neg Zero)) wu31 wu4 (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (primCharToInt wu4)) GT)) (ltEsMyInt (inRangeI wu4) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2259[label="wu4/Char wu40",fontsize=10,color="white",style="solid",shape="box"];28 -> 2259[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2259 -> 32[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	29[label="index1 (Char (Pos (Succ wu30000))) wu31 (Char wu40) (asAs (not (esEsOrdering (primCmpInt (Pos (Succ wu30000)) (primCharToInt (Char wu40))) GT)) (ltEsMyInt (inRangeI (Char wu40)) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];29 -> 33[label="",style="solid", color="black", weight=3];
12.41/4.94	30[label="index1 (Char (Pos Zero)) wu31 (Char wu40) (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (primCharToInt (Char wu40))) GT)) (ltEsMyInt (inRangeI (Char wu40)) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];30 -> 34[label="",style="solid", color="black", weight=3];
12.41/4.94	31[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char wu40) (asAs (not (esEsOrdering (primCmpInt (Neg (Succ wu30000)) (primCharToInt (Char wu40))) GT)) (ltEsMyInt (inRangeI (Char wu40)) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];31 -> 35[label="",style="solid", color="black", weight=3];
12.41/4.94	32[label="index1 (Char (Neg Zero)) wu31 (Char wu40) (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (primCharToInt (Char wu40))) GT)) (ltEsMyInt (inRangeI (Char wu40)) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];32 -> 36[label="",style="solid", color="black", weight=3];
12.41/4.94	33[label="index1 (Char (Pos (Succ wu30000))) wu31 (Char wu40) (asAs (not (esEsOrdering (primCmpInt (Pos (Succ wu30000)) wu40) GT)) (ltEsMyInt (inRangeI (Char wu40)) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2260[label="wu40/Pos wu400",fontsize=10,color="white",style="solid",shape="box"];33 -> 2260[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2260 -> 37[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2261[label="wu40/Neg wu400",fontsize=10,color="white",style="solid",shape="box"];33 -> 2261[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2261 -> 38[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	34[label="index1 (Char (Pos Zero)) wu31 (Char wu40) (asAs (not (esEsOrdering (primCmpInt (Pos Zero) wu40) GT)) (ltEsMyInt (inRangeI (Char wu40)) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2262[label="wu40/Pos wu400",fontsize=10,color="white",style="solid",shape="box"];34 -> 2262[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2262 -> 39[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2263[label="wu40/Neg wu400",fontsize=10,color="white",style="solid",shape="box"];34 -> 2263[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2263 -> 40[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	35[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char wu40) (asAs (not (esEsOrdering (primCmpInt (Neg (Succ wu30000)) wu40) GT)) (ltEsMyInt (inRangeI (Char wu40)) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2264[label="wu40/Pos wu400",fontsize=10,color="white",style="solid",shape="box"];35 -> 2264[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2264 -> 41[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2265[label="wu40/Neg wu400",fontsize=10,color="white",style="solid",shape="box"];35 -> 2265[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2265 -> 42[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	36[label="index1 (Char (Neg Zero)) wu31 (Char wu40) (asAs (not (esEsOrdering (primCmpInt (Neg Zero) wu40) GT)) (ltEsMyInt (inRangeI (Char wu40)) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2266[label="wu40/Pos wu400",fontsize=10,color="white",style="solid",shape="box"];36 -> 2266[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2266 -> 43[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2267[label="wu40/Neg wu400",fontsize=10,color="white",style="solid",shape="box"];36 -> 2267[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2267 -> 44[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	37[label="index1 (Char (Pos (Succ wu30000))) wu31 (Char (Pos wu400)) (asAs (not (esEsOrdering (primCmpInt (Pos (Succ wu30000)) (Pos wu400)) GT)) (ltEsMyInt (inRangeI (Char (Pos wu400))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];37 -> 45[label="",style="solid", color="black", weight=3];
12.41/4.94	38[label="index1 (Char (Pos (Succ wu30000))) wu31 (Char (Neg wu400)) (asAs (not (esEsOrdering (primCmpInt (Pos (Succ wu30000)) (Neg wu400)) GT)) (ltEsMyInt (inRangeI (Char (Neg wu400))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];38 -> 46[label="",style="solid", color="black", weight=3];
12.41/4.94	39[label="index1 (Char (Pos Zero)) wu31 (Char (Pos wu400)) (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (Pos wu400)) GT)) (ltEsMyInt (inRangeI (Char (Pos wu400))) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2268[label="wu400/Succ wu4000",fontsize=10,color="white",style="solid",shape="box"];39 -> 2268[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2268 -> 47[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2269[label="wu400/Zero",fontsize=10,color="white",style="solid",shape="box"];39 -> 2269[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2269 -> 48[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	40[label="index1 (Char (Pos Zero)) wu31 (Char (Neg wu400)) (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (Neg wu400)) GT)) (ltEsMyInt (inRangeI (Char (Neg wu400))) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2270[label="wu400/Succ wu4000",fontsize=10,color="white",style="solid",shape="box"];40 -> 2270[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2270 -> 49[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2271[label="wu400/Zero",fontsize=10,color="white",style="solid",shape="box"];40 -> 2271[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2271 -> 50[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	41[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Pos wu400)) (asAs (not (esEsOrdering (primCmpInt (Neg (Succ wu30000)) (Pos wu400)) GT)) (ltEsMyInt (inRangeI (Char (Pos wu400))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];41 -> 51[label="",style="solid", color="black", weight=3];
12.41/4.94	42[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Neg wu400)) (asAs (not (esEsOrdering (primCmpInt (Neg (Succ wu30000)) (Neg wu400)) GT)) (ltEsMyInt (inRangeI (Char (Neg wu400))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];42 -> 52[label="",style="solid", color="black", weight=3];
12.41/4.94	43[label="index1 (Char (Neg Zero)) wu31 (Char (Pos wu400)) (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (Pos wu400)) GT)) (ltEsMyInt (inRangeI (Char (Pos wu400))) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2272[label="wu400/Succ wu4000",fontsize=10,color="white",style="solid",shape="box"];43 -> 2272[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2272 -> 53[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2273[label="wu400/Zero",fontsize=10,color="white",style="solid",shape="box"];43 -> 2273[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2273 -> 54[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	44[label="index1 (Char (Neg Zero)) wu31 (Char (Neg wu400)) (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (Neg wu400)) GT)) (ltEsMyInt (inRangeI (Char (Neg wu400))) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2274[label="wu400/Succ wu4000",fontsize=10,color="white",style="solid",shape="box"];44 -> 2274[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2274 -> 55[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2275[label="wu400/Zero",fontsize=10,color="white",style="solid",shape="box"];44 -> 2275[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2275 -> 56[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	45[label="index1 (Char (Pos (Succ wu30000))) wu31 (Char (Pos wu400)) (asAs (not (esEsOrdering (primCmpNat (Succ wu30000) wu400) GT)) (ltEsMyInt (inRangeI (Char (Pos wu400))) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2276[label="wu400/Succ wu4000",fontsize=10,color="white",style="solid",shape="box"];45 -> 2276[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2276 -> 57[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2277[label="wu400/Zero",fontsize=10,color="white",style="solid",shape="box"];45 -> 2277[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2277 -> 58[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	46[label="index1 (Char (Pos (Succ wu30000))) wu31 (Char (Neg wu400)) (asAs (not (esEsOrdering GT GT)) (ltEsMyInt (inRangeI (Char (Neg wu400))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];46 -> 59[label="",style="solid", color="black", weight=3];
12.41/4.94	47[label="index1 (Char (Pos Zero)) wu31 (Char (Pos (Succ wu4000))) (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ wu4000))) GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];47 -> 60[label="",style="solid", color="black", weight=3];
12.41/4.94	48[label="index1 (Char (Pos Zero)) wu31 (Char (Pos Zero)) (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) GT)) (ltEsMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];48 -> 61[label="",style="solid", color="black", weight=3];
12.41/4.94	49[label="index1 (Char (Pos Zero)) wu31 (Char (Neg (Succ wu4000))) (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (Neg (Succ wu4000))) GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];49 -> 62[label="",style="solid", color="black", weight=3];
12.41/4.94	50[label="index1 (Char (Pos Zero)) wu31 (Char (Neg Zero)) (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (Neg Zero)) GT)) (ltEsMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];50 -> 63[label="",style="solid", color="black", weight=3];
12.41/4.94	51[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Pos wu400)) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (inRangeI (Char (Pos wu400))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];51 -> 64[label="",style="solid", color="black", weight=3];
12.41/4.94	52[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Neg wu400)) (asAs (not (esEsOrdering (primCmpNat wu400 (Succ wu30000)) GT)) (ltEsMyInt (inRangeI (Char (Neg wu400))) (fromEnumChar wu31)))",fontsize=16,color="burlywood",shape="box"];2278[label="wu400/Succ wu4000",fontsize=10,color="white",style="solid",shape="box"];52 -> 2278[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2278 -> 65[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2279[label="wu400/Zero",fontsize=10,color="white",style="solid",shape="box"];52 -> 2279[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2279 -> 66[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	53[label="index1 (Char (Neg Zero)) wu31 (Char (Pos (Succ wu4000))) (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (Pos (Succ wu4000))) GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];53 -> 67[label="",style="solid", color="black", weight=3];
12.41/4.94	54[label="index1 (Char (Neg Zero)) wu31 (Char (Pos Zero)) (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (Pos Zero)) GT)) (ltEsMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];54 -> 68[label="",style="solid", color="black", weight=3];
12.41/4.94	55[label="index1 (Char (Neg Zero)) wu31 (Char (Neg (Succ wu4000))) (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (Neg (Succ wu4000))) GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];55 -> 69[label="",style="solid", color="black", weight=3];
12.41/4.94	56[label="index1 (Char (Neg Zero)) wu31 (Char (Neg Zero)) (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (Neg Zero)) GT)) (ltEsMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];56 -> 70[label="",style="solid", color="black", weight=3];
12.41/4.94	57[label="index1 (Char (Pos (Succ wu30000))) wu31 (Char (Pos (Succ wu4000))) (asAs (not (esEsOrdering (primCmpNat (Succ wu30000) (Succ wu4000)) GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];57 -> 71[label="",style="solid", color="black", weight=3];
12.41/4.94	58[label="index1 (Char (Pos (Succ wu30000))) wu31 (Char (Pos Zero)) (asAs (not (esEsOrdering (primCmpNat (Succ wu30000) Zero) GT)) (ltEsMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];58 -> 72[label="",style="solid", color="black", weight=3];
12.41/4.94	59[label="index1 (Char (Pos (Succ wu30000))) wu31 (Char (Neg wu400)) (asAs (not MyTrue) (ltEsMyInt (inRangeI (Char (Neg wu400))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];59 -> 73[label="",style="solid", color="black", weight=3];
12.41/4.94	60[label="index1 (Char (Pos Zero)) wu31 (Char (Pos (Succ wu4000))) (asAs (not (esEsOrdering (primCmpNat Zero (Succ wu4000)) GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];60 -> 74[label="",style="solid", color="black", weight=3];
12.41/4.94	61[label="index1 (Char (Pos Zero)) wu31 (Char (Pos Zero)) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];61 -> 75[label="",style="solid", color="black", weight=3];
12.41/4.94	62[label="index1 (Char (Pos Zero)) wu31 (Char (Neg (Succ wu4000))) (asAs (not (esEsOrdering GT GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];62 -> 76[label="",style="solid", color="black", weight=3];
12.41/4.94	63[label="index1 (Char (Pos Zero)) wu31 (Char (Neg Zero)) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];63 -> 77[label="",style="solid", color="black", weight=3];
12.41/4.94	64[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Pos wu400)) (asAs (not MyFalse) (ltEsMyInt (inRangeI (Char (Pos wu400))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];64 -> 78[label="",style="solid", color="black", weight=3];
12.41/4.94	65[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Neg (Succ wu4000))) (asAs (not (esEsOrdering (primCmpNat (Succ wu4000) (Succ wu30000)) GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];65 -> 79[label="",style="solid", color="black", weight=3];
12.41/4.94	66[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Neg Zero)) (asAs (not (esEsOrdering (primCmpNat Zero (Succ wu30000)) GT)) (ltEsMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];66 -> 80[label="",style="solid", color="black", weight=3];
12.41/4.94	67[label="index1 (Char (Neg Zero)) wu31 (Char (Pos (Succ wu4000))) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];67 -> 81[label="",style="solid", color="black", weight=3];
12.41/4.94	68[label="index1 (Char (Neg Zero)) wu31 (Char (Pos Zero)) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];68 -> 82[label="",style="solid", color="black", weight=3];
12.41/4.94	69[label="index1 (Char (Neg Zero)) wu31 (Char (Neg (Succ wu4000))) (asAs (not (esEsOrdering (primCmpNat (Succ wu4000) Zero) GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];69 -> 83[label="",style="solid", color="black", weight=3];
12.41/4.94	70[label="index1 (Char (Neg Zero)) wu31 (Char (Neg Zero)) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];70 -> 84[label="",style="solid", color="black", weight=3];
12.41/4.94	71 -> 917[label="",style="dashed", color="red", weight=0];
12.41/4.94	71[label="index1 (Char (Pos (Succ wu30000))) wu31 (Char (Pos (Succ wu4000))) (asAs (not (esEsOrdering (primCmpNat wu30000 wu4000) GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="magenta"];71 -> 918[label="",style="dashed", color="magenta", weight=3];
12.41/4.94	71 -> 919[label="",style="dashed", color="magenta", weight=3];
12.41/4.94	71 -> 920[label="",style="dashed", color="magenta", weight=3];
12.41/4.94	71 -> 921[label="",style="dashed", color="magenta", weight=3];
12.41/4.94	71 -> 922[label="",style="dashed", color="magenta", weight=3];
12.41/4.94	72[label="index1 (Char (Pos (Succ wu30000))) wu31 (Char (Pos Zero)) (asAs (not (esEsOrdering GT GT)) (ltEsMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];72 -> 87[label="",style="solid", color="black", weight=3];
12.41/4.94	73[label="index1 (Char (Pos (Succ wu30000))) wu31 (Char (Neg wu400)) (asAs MyFalse (ltEsMyInt (inRangeI (Char (Neg wu400))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];73 -> 88[label="",style="solid", color="black", weight=3];
12.41/4.94	74[label="index1 (Char (Pos Zero)) wu31 (Char (Pos (Succ wu4000))) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];74 -> 89[label="",style="solid", color="black", weight=3];
12.41/4.94	75[label="index1 (Char (Pos Zero)) wu31 (Char (Pos Zero)) (asAs (not MyFalse) (ltEsMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];75 -> 90[label="",style="solid", color="black", weight=3];
12.41/4.94	76[label="index1 (Char (Pos Zero)) wu31 (Char (Neg (Succ wu4000))) (asAs (not MyTrue) (ltEsMyInt (inRangeI (Char (Neg (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];76 -> 91[label="",style="solid", color="black", weight=3];
12.41/4.94	77[label="index1 (Char (Pos Zero)) wu31 (Char (Neg Zero)) (asAs (not MyFalse) (ltEsMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];77 -> 92[label="",style="solid", color="black", weight=3];
12.41/4.94	78[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Pos wu400)) (asAs MyTrue (ltEsMyInt (inRangeI (Char (Pos wu400))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];78 -> 93[label="",style="solid", color="black", weight=3];
12.41/4.94	79 -> 1142[label="",style="dashed", color="red", weight=0];
12.41/4.94	79[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Neg (Succ wu4000))) (asAs (not (esEsOrdering (primCmpNat wu4000 wu30000) GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="magenta"];79 -> 1143[label="",style="dashed", color="magenta", weight=3];
12.41/4.94	79 -> 1144[label="",style="dashed", color="magenta", weight=3];
12.41/4.94	79 -> 1145[label="",style="dashed", color="magenta", weight=3];
12.41/4.94	79 -> 1146[label="",style="dashed", color="magenta", weight=3];
12.41/4.94	79 -> 1147[label="",style="dashed", color="magenta", weight=3];
12.41/4.94	80[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Neg Zero)) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];80 -> 96[label="",style="solid", color="black", weight=3];
12.41/4.94	81[label="index1 (Char (Neg Zero)) wu31 (Char (Pos (Succ wu4000))) (asAs (not MyFalse) (ltEsMyInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];81 -> 97[label="",style="solid", color="black", weight=3];
12.41/4.94	82[label="index1 (Char (Neg Zero)) wu31 (Char (Pos Zero)) (asAs (not MyFalse) (ltEsMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];82 -> 98[label="",style="solid", color="black", weight=3];
12.41/4.94	83[label="index1 (Char (Neg Zero)) wu31 (Char (Neg (Succ wu4000))) (asAs (not (esEsOrdering GT GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];83 -> 99[label="",style="solid", color="black", weight=3];
12.41/4.94	84[label="index1 (Char (Neg Zero)) wu31 (Char (Neg Zero)) (asAs (not MyFalse) (ltEsMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];84 -> 100[label="",style="solid", color="black", weight=3];
12.41/4.94	918[label="wu30000",fontsize=16,color="green",shape="box"];919[label="wu4000",fontsize=16,color="green",shape="box"];920[label="wu4000",fontsize=16,color="green",shape="box"];921[label="wu30000",fontsize=16,color="green",shape="box"];922[label="wu31",fontsize=16,color="green",shape="box"];917[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (asAs (not (esEsOrdering (primCmpNat wu61 wu62) GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)))",fontsize=16,color="burlywood",shape="triangle"];2280[label="wu61/Succ wu610",fontsize=10,color="white",style="solid",shape="box"];917 -> 2280[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2280 -> 958[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2281[label="wu61/Zero",fontsize=10,color="white",style="solid",shape="box"];917 -> 2281[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2281 -> 959[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	87[label="index1 (Char (Pos (Succ wu30000))) wu31 (Char (Pos Zero)) (asAs (not MyTrue) (ltEsMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];87 -> 105[label="",style="solid", color="black", weight=3];
12.41/4.94	88[label="index1 (Char (Pos (Succ wu30000))) wu31 (Char (Neg wu400)) MyFalse",fontsize=16,color="black",shape="box"];88 -> 106[label="",style="solid", color="black", weight=3];
12.41/4.94	89[label="index1 (Char (Pos Zero)) wu31 (Char (Pos (Succ wu4000))) (asAs (not MyFalse) (ltEsMyInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];89 -> 107[label="",style="solid", color="black", weight=3];
12.41/4.94	90[label="index1 (Char (Pos Zero)) wu31 (Char (Pos Zero)) (asAs MyTrue (ltEsMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];90 -> 108[label="",style="solid", color="black", weight=3];
12.41/4.94	91[label="index1 (Char (Pos Zero)) wu31 (Char (Neg (Succ wu4000))) (asAs MyFalse (ltEsMyInt (inRangeI (Char (Neg (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];91 -> 109[label="",style="solid", color="black", weight=3];
12.41/4.94	92[label="index1 (Char (Pos Zero)) wu31 (Char (Neg Zero)) (asAs MyTrue (ltEsMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];92 -> 110[label="",style="solid", color="black", weight=3];
12.41/4.94	93[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Pos wu400)) (ltEsMyInt (inRangeI (Char (Pos wu400))) (fromEnumChar wu31))",fontsize=16,color="black",shape="box"];93 -> 111[label="",style="solid", color="black", weight=3];
12.41/4.94	1143[label="wu31",fontsize=16,color="green",shape="box"];1144[label="wu4000",fontsize=16,color="green",shape="box"];1145[label="wu4000",fontsize=16,color="green",shape="box"];1146[label="wu30000",fontsize=16,color="green",shape="box"];1147[label="wu30000",fontsize=16,color="green",shape="box"];1142[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (asAs (not (esEsOrdering (primCmpNat wu76 wu77) GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)))",fontsize=16,color="burlywood",shape="triangle"];2282[label="wu76/Succ wu760",fontsize=10,color="white",style="solid",shape="box"];1142 -> 2282[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2282 -> 1188[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2283[label="wu76/Zero",fontsize=10,color="white",style="solid",shape="box"];1142 -> 2283[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2283 -> 1189[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	96[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Neg Zero)) (asAs (not MyFalse) (ltEsMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];96 -> 116[label="",style="solid", color="black", weight=3];
12.41/4.94	97[label="index1 (Char (Neg Zero)) wu31 (Char (Pos (Succ wu4000))) (asAs MyTrue (ltEsMyInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];97 -> 117[label="",style="solid", color="black", weight=3];
12.41/4.94	98[label="index1 (Char (Neg Zero)) wu31 (Char (Pos Zero)) (asAs MyTrue (ltEsMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];98 -> 118[label="",style="solid", color="black", weight=3];
12.41/4.94	99[label="index1 (Char (Neg Zero)) wu31 (Char (Neg (Succ wu4000))) (asAs (not MyTrue) (ltEsMyInt (inRangeI (Char (Neg (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];99 -> 119[label="",style="solid", color="black", weight=3];
12.41/4.94	100[label="index1 (Char (Neg Zero)) wu31 (Char (Neg Zero)) (asAs MyTrue (ltEsMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];100 -> 120[label="",style="solid", color="black", weight=3];
12.41/4.94	958[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (asAs (not (esEsOrdering (primCmpNat (Succ wu610) wu62) GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)))",fontsize=16,color="burlywood",shape="box"];2284[label="wu62/Succ wu620",fontsize=10,color="white",style="solid",shape="box"];958 -> 2284[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2284 -> 1005[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2285[label="wu62/Zero",fontsize=10,color="white",style="solid",shape="box"];958 -> 2285[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2285 -> 1006[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	959[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (asAs (not (esEsOrdering (primCmpNat Zero wu62) GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)))",fontsize=16,color="burlywood",shape="box"];2286[label="wu62/Succ wu620",fontsize=10,color="white",style="solid",shape="box"];959 -> 2286[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2286 -> 1007[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2287[label="wu62/Zero",fontsize=10,color="white",style="solid",shape="box"];959 -> 2287[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2287 -> 1008[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	105[label="index1 (Char (Pos (Succ wu30000))) wu31 (Char (Pos Zero)) (asAs MyFalse (ltEsMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];105 -> 125[label="",style="solid", color="black", weight=3];
12.41/4.94	106[label="index0 (Char (Pos (Succ wu30000))) wu31 (Char (Neg wu400)) otherwise",fontsize=16,color="black",shape="box"];106 -> 126[label="",style="solid", color="black", weight=3];
12.41/4.94	107[label="index1 (Char (Pos Zero)) wu31 (Char (Pos (Succ wu4000))) (asAs MyTrue (ltEsMyInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];107 -> 127[label="",style="solid", color="black", weight=3];
12.41/4.94	108[label="index1 (Char (Pos Zero)) wu31 (Char (Pos Zero)) (ltEsMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31))",fontsize=16,color="black",shape="box"];108 -> 128[label="",style="solid", color="black", weight=3];
12.41/4.94	109[label="index1 (Char (Pos Zero)) wu31 (Char (Neg (Succ wu4000))) MyFalse",fontsize=16,color="black",shape="box"];109 -> 129[label="",style="solid", color="black", weight=3];
12.41/4.94	110[label="index1 (Char (Pos Zero)) wu31 (Char (Neg Zero)) (ltEsMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31))",fontsize=16,color="black",shape="box"];110 -> 130[label="",style="solid", color="black", weight=3];
12.41/4.94	111[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Pos wu400)) (fsEsOrdering (compareMyInt (inRangeI (Char (Pos wu400))) (fromEnumChar wu31)) GT)",fontsize=16,color="black",shape="box"];111 -> 131[label="",style="solid", color="black", weight=3];
12.41/4.94	1188[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (asAs (not (esEsOrdering (primCmpNat (Succ wu760) wu77) GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)))",fontsize=16,color="burlywood",shape="box"];2288[label="wu77/Succ wu770",fontsize=10,color="white",style="solid",shape="box"];1188 -> 2288[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2288 -> 1224[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2289[label="wu77/Zero",fontsize=10,color="white",style="solid",shape="box"];1188 -> 2289[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2289 -> 1225[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	1189[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (asAs (not (esEsOrdering (primCmpNat Zero wu77) GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)))",fontsize=16,color="burlywood",shape="box"];2290[label="wu77/Succ wu770",fontsize=10,color="white",style="solid",shape="box"];1189 -> 2290[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2290 -> 1226[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2291[label="wu77/Zero",fontsize=10,color="white",style="solid",shape="box"];1189 -> 2291[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2291 -> 1227[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	116[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Neg Zero)) (asAs MyTrue (ltEsMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];116 -> 136[label="",style="solid", color="black", weight=3];
12.41/4.94	117[label="index1 (Char (Neg Zero)) wu31 (Char (Pos (Succ wu4000))) (ltEsMyInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31))",fontsize=16,color="black",shape="box"];117 -> 137[label="",style="solid", color="black", weight=3];
12.41/4.94	118[label="index1 (Char (Neg Zero)) wu31 (Char (Pos Zero)) (ltEsMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31))",fontsize=16,color="black",shape="box"];118 -> 138[label="",style="solid", color="black", weight=3];
12.41/4.94	119[label="index1 (Char (Neg Zero)) wu31 (Char (Neg (Succ wu4000))) (asAs MyFalse (ltEsMyInt (inRangeI (Char (Neg (Succ wu4000)))) (fromEnumChar wu31)))",fontsize=16,color="black",shape="box"];119 -> 139[label="",style="solid", color="black", weight=3];
12.41/4.94	120[label="index1 (Char (Neg Zero)) wu31 (Char (Neg Zero)) (ltEsMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31))",fontsize=16,color="black",shape="box"];120 -> 140[label="",style="solid", color="black", weight=3];
12.41/4.94	1005[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (asAs (not (esEsOrdering (primCmpNat (Succ wu610) (Succ wu620)) GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)))",fontsize=16,color="black",shape="box"];1005 -> 1053[label="",style="solid", color="black", weight=3];
12.41/4.94	1006[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (asAs (not (esEsOrdering (primCmpNat (Succ wu610) Zero) GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)))",fontsize=16,color="black",shape="box"];1006 -> 1054[label="",style="solid", color="black", weight=3];
12.41/4.94	1007[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (asAs (not (esEsOrdering (primCmpNat Zero (Succ wu620)) GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)))",fontsize=16,color="black",shape="box"];1007 -> 1055[label="",style="solid", color="black", weight=3];
12.41/4.94	1008[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (asAs (not (esEsOrdering (primCmpNat Zero Zero) GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)))",fontsize=16,color="black",shape="box"];1008 -> 1056[label="",style="solid", color="black", weight=3];
12.41/4.94	125[label="index1 (Char (Pos (Succ wu30000))) wu31 (Char (Pos Zero)) MyFalse",fontsize=16,color="black",shape="box"];125 -> 146[label="",style="solid", color="black", weight=3];
12.41/4.94	126[label="index0 (Char (Pos (Succ wu30000))) wu31 (Char (Neg wu400)) MyTrue",fontsize=16,color="black",shape="box"];126 -> 147[label="",style="solid", color="black", weight=3];
12.41/4.94	127[label="index1 (Char (Pos Zero)) wu31 (Char (Pos (Succ wu4000))) (ltEsMyInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31))",fontsize=16,color="black",shape="box"];127 -> 148[label="",style="solid", color="black", weight=3];
12.41/4.94	128[label="index1 (Char (Pos Zero)) wu31 (Char (Pos Zero)) (fsEsOrdering (compareMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)) GT)",fontsize=16,color="black",shape="box"];128 -> 149[label="",style="solid", color="black", weight=3];
12.41/4.94	129[label="index0 (Char (Pos Zero)) wu31 (Char (Neg (Succ wu4000))) otherwise",fontsize=16,color="black",shape="box"];129 -> 150[label="",style="solid", color="black", weight=3];
12.41/4.94	130[label="index1 (Char (Pos Zero)) wu31 (Char (Neg Zero)) (fsEsOrdering (compareMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)) GT)",fontsize=16,color="black",shape="box"];130 -> 151[label="",style="solid", color="black", weight=3];
12.41/4.94	131[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Pos wu400)) (not (esEsOrdering (compareMyInt (inRangeI (Char (Pos wu400))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];131 -> 152[label="",style="solid", color="black", weight=3];
12.41/4.94	1224[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (asAs (not (esEsOrdering (primCmpNat (Succ wu760) (Succ wu770)) GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)))",fontsize=16,color="black",shape="box"];1224 -> 1258[label="",style="solid", color="black", weight=3];
12.41/4.94	1225[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (asAs (not (esEsOrdering (primCmpNat (Succ wu760) Zero) GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)))",fontsize=16,color="black",shape="box"];1225 -> 1259[label="",style="solid", color="black", weight=3];
12.41/4.94	1226[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (asAs (not (esEsOrdering (primCmpNat Zero (Succ wu770)) GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)))",fontsize=16,color="black",shape="box"];1226 -> 1260[label="",style="solid", color="black", weight=3];
12.41/4.94	1227[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (asAs (not (esEsOrdering (primCmpNat Zero Zero) GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)))",fontsize=16,color="black",shape="box"];1227 -> 1261[label="",style="solid", color="black", weight=3];
12.41/4.94	136[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Neg Zero)) (ltEsMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31))",fontsize=16,color="black",shape="box"];136 -> 158[label="",style="solid", color="black", weight=3];
12.41/4.94	137[label="index1 (Char (Neg Zero)) wu31 (Char (Pos (Succ wu4000))) (fsEsOrdering (compareMyInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)) GT)",fontsize=16,color="black",shape="box"];137 -> 159[label="",style="solid", color="black", weight=3];
12.41/4.94	138[label="index1 (Char (Neg Zero)) wu31 (Char (Pos Zero)) (fsEsOrdering (compareMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)) GT)",fontsize=16,color="black",shape="box"];138 -> 160[label="",style="solid", color="black", weight=3];
12.41/4.94	139[label="index1 (Char (Neg Zero)) wu31 (Char (Neg (Succ wu4000))) MyFalse",fontsize=16,color="black",shape="box"];139 -> 161[label="",style="solid", color="black", weight=3];
12.41/4.94	140[label="index1 (Char (Neg Zero)) wu31 (Char (Neg Zero)) (fsEsOrdering (compareMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)) GT)",fontsize=16,color="black",shape="box"];140 -> 162[label="",style="solid", color="black", weight=3];
12.41/4.94	1053 -> 917[label="",style="dashed", color="red", weight=0];
12.41/4.94	1053[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (asAs (not (esEsOrdering (primCmpNat wu610 wu620) GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)))",fontsize=16,color="magenta"];1053 -> 1081[label="",style="dashed", color="magenta", weight=3];
12.41/4.94	1053 -> 1082[label="",style="dashed", color="magenta", weight=3];
12.41/4.94	1054[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (asAs (not (esEsOrdering GT GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)))",fontsize=16,color="black",shape="box"];1054 -> 1083[label="",style="solid", color="black", weight=3];
12.41/4.94	1055[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)))",fontsize=16,color="black",shape="box"];1055 -> 1084[label="",style="solid", color="black", weight=3];
12.41/4.94	1056[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)))",fontsize=16,color="black",shape="box"];1056 -> 1085[label="",style="solid", color="black", weight=3];
12.41/4.94	146[label="index0 (Char (Pos (Succ wu30000))) wu31 (Char (Pos Zero)) otherwise",fontsize=16,color="black",shape="box"];146 -> 170[label="",style="solid", color="black", weight=3];
12.41/4.94	147[label="error",fontsize=16,color="black",shape="triangle"];147 -> 171[label="",style="solid", color="black", weight=3];
12.41/4.94	148[label="index1 (Char (Pos Zero)) wu31 (Char (Pos (Succ wu4000))) (fsEsOrdering (compareMyInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)) GT)",fontsize=16,color="black",shape="box"];148 -> 172[label="",style="solid", color="black", weight=3];
12.41/4.94	149[label="index1 (Char (Pos Zero)) wu31 (Char (Pos Zero)) (not (esEsOrdering (compareMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];149 -> 173[label="",style="solid", color="black", weight=3];
12.41/4.94	150[label="index0 (Char (Pos Zero)) wu31 (Char (Neg (Succ wu4000))) MyTrue",fontsize=16,color="black",shape="box"];150 -> 174[label="",style="solid", color="black", weight=3];
12.41/4.94	151[label="index1 (Char (Pos Zero)) wu31 (Char (Neg Zero)) (not (esEsOrdering (compareMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];151 -> 175[label="",style="solid", color="black", weight=3];
12.41/4.94	152[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Pos wu400)) (not (esEsOrdering (primCmpInt (inRangeI (Char (Pos wu400))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];152 -> 176[label="",style="solid", color="black", weight=3];
12.41/4.94	1258 -> 1142[label="",style="dashed", color="red", weight=0];
12.41/4.94	1258[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (asAs (not (esEsOrdering (primCmpNat wu760 wu770) GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)))",fontsize=16,color="magenta"];1258 -> 1291[label="",style="dashed", color="magenta", weight=3];
12.41/4.94	1258 -> 1292[label="",style="dashed", color="magenta", weight=3];
12.41/4.94	1259[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (asAs (not (esEsOrdering GT GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)))",fontsize=16,color="black",shape="box"];1259 -> 1293[label="",style="solid", color="black", weight=3];
12.41/4.94	1260[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)))",fontsize=16,color="black",shape="box"];1260 -> 1294[label="",style="solid", color="black", weight=3];
12.41/4.94	1261[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)))",fontsize=16,color="black",shape="box"];1261 -> 1295[label="",style="solid", color="black", weight=3];
12.41/4.94	158[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Neg Zero)) (fsEsOrdering (compareMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)) GT)",fontsize=16,color="black",shape="box"];158 -> 184[label="",style="solid", color="black", weight=3];
12.41/4.94	159[label="index1 (Char (Neg Zero)) wu31 (Char (Pos (Succ wu4000))) (not (esEsOrdering (compareMyInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];159 -> 185[label="",style="solid", color="black", weight=3];
12.41/4.94	160[label="index1 (Char (Neg Zero)) wu31 (Char (Pos Zero)) (not (esEsOrdering (compareMyInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];160 -> 186[label="",style="solid", color="black", weight=3];
12.41/4.94	161[label="index0 (Char (Neg Zero)) wu31 (Char (Neg (Succ wu4000))) otherwise",fontsize=16,color="black",shape="box"];161 -> 187[label="",style="solid", color="black", weight=3];
12.41/4.94	162[label="index1 (Char (Neg Zero)) wu31 (Char (Neg Zero)) (not (esEsOrdering (compareMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];162 -> 188[label="",style="solid", color="black", weight=3];
12.41/4.94	1081[label="wu610",fontsize=16,color="green",shape="box"];1082[label="wu620",fontsize=16,color="green",shape="box"];1083[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (asAs (not MyTrue) (ltEsMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)))",fontsize=16,color="black",shape="box"];1083 -> 1103[label="",style="solid", color="black", weight=3];
12.41/4.94	1084[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (asAs (not MyFalse) (ltEsMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)))",fontsize=16,color="black",shape="triangle"];1084 -> 1104[label="",style="solid", color="black", weight=3];
12.41/4.94	1085 -> 1084[label="",style="dashed", color="red", weight=0];
12.41/4.94	1085[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (asAs (not MyFalse) (ltEsMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)))",fontsize=16,color="magenta"];170[label="index0 (Char (Pos (Succ wu30000))) wu31 (Char (Pos Zero)) MyTrue",fontsize=16,color="black",shape="box"];170 -> 196[label="",style="solid", color="black", weight=3];
12.41/4.94	171[label="stop MyTrue",fontsize=16,color="black",shape="box"];171 -> 197[label="",style="solid", color="black", weight=3];
12.41/4.94	172[label="index1 (Char (Pos Zero)) wu31 (Char (Pos (Succ wu4000))) (not (esEsOrdering (compareMyInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];172 -> 198[label="",style="solid", color="black", weight=3];
12.41/4.94	173[label="index1 (Char (Pos Zero)) wu31 (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];173 -> 199[label="",style="solid", color="black", weight=3];
12.41/4.94	174 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.94	174[label="error",fontsize=16,color="magenta"];175[label="index1 (Char (Pos Zero)) wu31 (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];175 -> 200[label="",style="solid", color="black", weight=3];
12.41/4.94	176[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Pos wu400)) (not (esEsOrdering (primCmpInt (fromEnumChar (Char (Pos wu400))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];176 -> 201[label="",style="solid", color="black", weight=3];
12.41/4.94	1291[label="wu760",fontsize=16,color="green",shape="box"];1292[label="wu770",fontsize=16,color="green",shape="box"];1293[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (asAs (not MyTrue) (ltEsMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)))",fontsize=16,color="black",shape="box"];1293 -> 1327[label="",style="solid", color="black", weight=3];
12.41/4.94	1294[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (asAs (not MyFalse) (ltEsMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)))",fontsize=16,color="black",shape="triangle"];1294 -> 1328[label="",style="solid", color="black", weight=3];
12.41/4.94	1295 -> 1294[label="",style="dashed", color="red", weight=0];
12.41/4.94	1295[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (asAs (not MyFalse) (ltEsMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)))",fontsize=16,color="magenta"];184[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Neg Zero)) (not (esEsOrdering (compareMyInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];184 -> 209[label="",style="solid", color="black", weight=3];
12.41/4.94	185[label="index1 (Char (Neg Zero)) wu31 (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];185 -> 210[label="",style="solid", color="black", weight=3];
12.41/4.94	186[label="index1 (Char (Neg Zero)) wu31 (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (inRangeI (Char (Pos Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];186 -> 211[label="",style="solid", color="black", weight=3];
12.41/4.94	187[label="index0 (Char (Neg Zero)) wu31 (Char (Neg (Succ wu4000))) MyTrue",fontsize=16,color="black",shape="box"];187 -> 212[label="",style="solid", color="black", weight=3];
12.41/4.94	188[label="index1 (Char (Neg Zero)) wu31 (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];188 -> 213[label="",style="solid", color="black", weight=3];
12.41/4.94	1103[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (asAs MyFalse (ltEsMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)))",fontsize=16,color="black",shape="box"];1103 -> 1190[label="",style="solid", color="black", weight=3];
12.41/4.94	1104[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (asAs MyTrue (ltEsMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)))",fontsize=16,color="black",shape="box"];1104 -> 1191[label="",style="solid", color="black", weight=3];
12.41/4.94	196 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.94	196[label="error",fontsize=16,color="magenta"];197[label="error []",fontsize=16,color="red",shape="box"];198[label="index1 (Char (Pos Zero)) wu31 (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (inRangeI (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];198 -> 222[label="",style="solid", color="black", weight=3];
12.41/4.94	199[label="index1 (Char (Pos Zero)) wu31 (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (fromEnumChar (Char (Pos Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];199 -> 223[label="",style="solid", color="black", weight=3];
12.41/4.94	200[label="index1 (Char (Pos Zero)) wu31 (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (fromEnumChar (Char (Neg Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];200 -> 224[label="",style="solid", color="black", weight=3];
12.41/4.94	201[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Pos wu400)) (not (esEsOrdering (primCmpInt (primCharToInt (Char (Pos wu400))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];201 -> 225[label="",style="solid", color="black", weight=3];
12.41/4.94	1327[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (asAs MyFalse (ltEsMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)))",fontsize=16,color="black",shape="box"];1327 -> 1357[label="",style="solid", color="black", weight=3];
12.41/4.94	1328[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (asAs MyTrue (ltEsMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)))",fontsize=16,color="black",shape="box"];1328 -> 1358[label="",style="solid", color="black", weight=3];
12.41/4.94	209[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (inRangeI (Char (Neg Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];209 -> 234[label="",style="solid", color="black", weight=3];
12.41/4.94	210[label="index1 (Char (Neg Zero)) wu31 (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (fromEnumChar (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];210 -> 235[label="",style="solid", color="black", weight=3];
12.41/4.94	211[label="index1 (Char (Neg Zero)) wu31 (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (fromEnumChar (Char (Pos Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];211 -> 236[label="",style="solid", color="black", weight=3];
12.41/4.94	212 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.94	212[label="error",fontsize=16,color="magenta"];213[label="index1 (Char (Neg Zero)) wu31 (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (fromEnumChar (Char (Neg Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];213 -> 237[label="",style="solid", color="black", weight=3];
12.41/4.94	1190[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) MyFalse",fontsize=16,color="black",shape="triangle"];1190 -> 1228[label="",style="solid", color="black", weight=3];
12.41/4.94	1191[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (ltEsMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59))",fontsize=16,color="black",shape="box"];1191 -> 1229[label="",style="solid", color="black", weight=3];
12.41/4.94	222[label="index1 (Char (Pos Zero)) wu31 (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (fromEnumChar (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];222 -> 248[label="",style="solid", color="black", weight=3];
12.41/4.94	223[label="index1 (Char (Pos Zero)) wu31 (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (primCharToInt (Char (Pos Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];223 -> 249[label="",style="solid", color="black", weight=3];
12.41/4.94	224[label="index1 (Char (Pos Zero)) wu31 (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (primCharToInt (Char (Neg Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];224 -> 250[label="",style="solid", color="black", weight=3];
12.41/4.94	225[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Pos wu400)) (not (esEsOrdering (primCmpInt (Pos wu400) (fromEnumChar wu31)) GT))",fontsize=16,color="burlywood",shape="box"];2292[label="wu400/Succ wu4000",fontsize=10,color="white",style="solid",shape="box"];225 -> 2292[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2292 -> 251[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2293[label="wu400/Zero",fontsize=10,color="white",style="solid",shape="box"];225 -> 2293[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2293 -> 252[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	1357[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) MyFalse",fontsize=16,color="black",shape="triangle"];1357 -> 1389[label="",style="solid", color="black", weight=3];
12.41/4.94	1358[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (ltEsMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74))",fontsize=16,color="black",shape="box"];1358 -> 1390[label="",style="solid", color="black", weight=3];
12.41/4.94	234[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (fromEnumChar (Char (Neg Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];234 -> 263[label="",style="solid", color="black", weight=3];
12.41/4.94	235[label="index1 (Char (Neg Zero)) wu31 (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (primCharToInt (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];235 -> 264[label="",style="solid", color="black", weight=3];
12.41/4.94	236[label="index1 (Char (Neg Zero)) wu31 (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (primCharToInt (Char (Pos Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];236 -> 265[label="",style="solid", color="black", weight=3];
12.41/4.94	237[label="index1 (Char (Neg Zero)) wu31 (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (primCharToInt (Char (Neg Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];237 -> 266[label="",style="solid", color="black", weight=3];
12.41/4.94	1228[label="index0 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) otherwise",fontsize=16,color="black",shape="box"];1228 -> 1262[label="",style="solid", color="black", weight=3];
12.41/4.94	1229[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (fsEsOrdering (compareMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)) GT)",fontsize=16,color="black",shape="box"];1229 -> 1263[label="",style="solid", color="black", weight=3];
12.41/4.94	248[label="index1 (Char (Pos Zero)) wu31 (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (primCharToInt (Char (Pos (Succ wu4000)))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];248 -> 277[label="",style="solid", color="black", weight=3];
12.41/4.94	249[label="index1 (Char (Pos Zero)) wu31 (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];249 -> 278[label="",style="solid", color="black", weight=3];
12.41/4.94	250[label="index1 (Char (Pos Zero)) wu31 (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];250 -> 279[label="",style="solid", color="black", weight=3];
12.41/4.94	251[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];251 -> 280[label="",style="solid", color="black", weight=3];
12.41/4.94	252[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];252 -> 281[label="",style="solid", color="black", weight=3];
12.41/4.94	1389[label="index0 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) otherwise",fontsize=16,color="black",shape="box"];1389 -> 1423[label="",style="solid", color="black", weight=3];
12.41/4.94	1390[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (fsEsOrdering (compareMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)) GT)",fontsize=16,color="black",shape="box"];1390 -> 1424[label="",style="solid", color="black", weight=3];
12.41/4.94	263[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (primCharToInt (Char (Neg Zero))) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];263 -> 292[label="",style="solid", color="black", weight=3];
12.41/4.94	264[label="index1 (Char (Neg Zero)) wu31 (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];264 -> 293[label="",style="solid", color="black", weight=3];
12.41/4.94	265[label="index1 (Char (Neg Zero)) wu31 (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];265 -> 294[label="",style="solid", color="black", weight=3];
12.41/4.94	266[label="index1 (Char (Neg Zero)) wu31 (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];266 -> 295[label="",style="solid", color="black", weight=3];
12.41/4.94	1262[label="index0 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) MyTrue",fontsize=16,color="black",shape="box"];1262 -> 1296[label="",style="solid", color="black", weight=3];
12.41/4.94	1263[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (not (esEsOrdering (compareMyInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)) GT))",fontsize=16,color="black",shape="box"];1263 -> 1297[label="",style="solid", color="black", weight=3];
12.41/4.94	277[label="index1 (Char (Pos Zero)) wu31 (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];277 -> 306[label="",style="solid", color="black", weight=3];
12.41/4.94	278[label="index1 (Char (Pos Zero)) wu31 (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (primCharToInt wu31)) GT))",fontsize=16,color="burlywood",shape="box"];2294[label="wu31/Char wu310",fontsize=10,color="white",style="solid",shape="box"];278 -> 2294[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2294 -> 307[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	279[label="index1 (Char (Pos Zero)) wu31 (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (primCharToInt wu31)) GT))",fontsize=16,color="burlywood",shape="box"];2295[label="wu31/Char wu310",fontsize=10,color="white",style="solid",shape="box"];279 -> 2295[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2295 -> 308[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	280[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) (primCharToInt wu31)) GT))",fontsize=16,color="burlywood",shape="box"];2296[label="wu31/Char wu310",fontsize=10,color="white",style="solid",shape="box"];280 -> 2296[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2296 -> 309[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	281[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (primCharToInt wu31)) GT))",fontsize=16,color="burlywood",shape="box"];2297[label="wu31/Char wu310",fontsize=10,color="white",style="solid",shape="box"];281 -> 2297[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2297 -> 310[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	1423[label="index0 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) MyTrue",fontsize=16,color="black",shape="box"];1423 -> 1449[label="",style="solid", color="black", weight=3];
12.41/4.94	1424[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (not (esEsOrdering (compareMyInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)) GT))",fontsize=16,color="black",shape="box"];1424 -> 1450[label="",style="solid", color="black", weight=3];
12.41/4.94	292[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (fromEnumChar wu31)) GT))",fontsize=16,color="black",shape="box"];292 -> 321[label="",style="solid", color="black", weight=3];
12.41/4.94	293[label="index1 (Char (Neg Zero)) wu31 (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) (primCharToInt wu31)) GT))",fontsize=16,color="burlywood",shape="box"];2298[label="wu31/Char wu310",fontsize=10,color="white",style="solid",shape="box"];293 -> 2298[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2298 -> 322[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	294[label="index1 (Char (Neg Zero)) wu31 (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (primCharToInt wu31)) GT))",fontsize=16,color="burlywood",shape="box"];2299[label="wu31/Char wu310",fontsize=10,color="white",style="solid",shape="box"];294 -> 2299[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2299 -> 323[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	295[label="index1 (Char (Neg Zero)) wu31 (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (primCharToInt wu31)) GT))",fontsize=16,color="burlywood",shape="box"];2300[label="wu31/Char wu310",fontsize=10,color="white",style="solid",shape="box"];295 -> 2300[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2300 -> 324[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	1296 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.94	1296[label="error",fontsize=16,color="magenta"];1297[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (not (esEsOrdering (primCmpInt (inRangeI (Char (Pos (Succ wu60)))) (fromEnumChar wu59)) GT))",fontsize=16,color="black",shape="box"];1297 -> 1329[label="",style="solid", color="black", weight=3];
12.41/4.94	306[label="index1 (Char (Pos Zero)) wu31 (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) (primCharToInt wu31)) GT))",fontsize=16,color="burlywood",shape="box"];2301[label="wu31/Char wu310",fontsize=10,color="white",style="solid",shape="box"];306 -> 2301[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2301 -> 337[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	307[label="index1 (Char (Pos Zero)) (Char wu310) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (primCharToInt (Char wu310))) GT))",fontsize=16,color="black",shape="box"];307 -> 338[label="",style="solid", color="black", weight=3];
12.41/4.94	308[label="index1 (Char (Pos Zero)) (Char wu310) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (primCharToInt (Char wu310))) GT))",fontsize=16,color="black",shape="box"];308 -> 339[label="",style="solid", color="black", weight=3];
12.41/4.94	309[label="index1 (Char (Neg (Succ wu30000))) (Char wu310) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) (primCharToInt (Char wu310))) GT))",fontsize=16,color="black",shape="box"];309 -> 340[label="",style="solid", color="black", weight=3];
12.41/4.94	310[label="index1 (Char (Neg (Succ wu30000))) (Char wu310) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (primCharToInt (Char wu310))) GT))",fontsize=16,color="black",shape="box"];310 -> 341[label="",style="solid", color="black", weight=3];
12.41/4.94	1449 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.94	1449[label="error",fontsize=16,color="magenta"];1450[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (not (esEsOrdering (primCmpInt (inRangeI (Char (Neg (Succ wu75)))) (fromEnumChar wu74)) GT))",fontsize=16,color="black",shape="box"];1450 -> 1455[label="",style="solid", color="black", weight=3];
12.41/4.94	321[label="index1 (Char (Neg (Succ wu30000))) wu31 (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (primCharToInt wu31)) GT))",fontsize=16,color="burlywood",shape="box"];2302[label="wu31/Char wu310",fontsize=10,color="white",style="solid",shape="box"];321 -> 2302[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2302 -> 354[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	322[label="index1 (Char (Neg Zero)) (Char wu310) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) (primCharToInt (Char wu310))) GT))",fontsize=16,color="black",shape="box"];322 -> 355[label="",style="solid", color="black", weight=3];
12.41/4.94	323[label="index1 (Char (Neg Zero)) (Char wu310) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (primCharToInt (Char wu310))) GT))",fontsize=16,color="black",shape="box"];323 -> 356[label="",style="solid", color="black", weight=3];
12.41/4.94	324[label="index1 (Char (Neg Zero)) (Char wu310) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (primCharToInt (Char wu310))) GT))",fontsize=16,color="black",shape="box"];324 -> 357[label="",style="solid", color="black", weight=3];
12.41/4.94	1329[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (not (esEsOrdering (primCmpInt (fromEnumChar (Char (Pos (Succ wu60)))) (fromEnumChar wu59)) GT))",fontsize=16,color="black",shape="box"];1329 -> 1359[label="",style="solid", color="black", weight=3];
12.41/4.94	337[label="index1 (Char (Pos Zero)) (Char wu310) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) (primCharToInt (Char wu310))) GT))",fontsize=16,color="black",shape="box"];337 -> 370[label="",style="solid", color="black", weight=3];
12.41/4.94	338[label="index1 (Char (Pos Zero)) (Char wu310) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) wu310) GT))",fontsize=16,color="burlywood",shape="box"];2303[label="wu310/Pos wu3100",fontsize=10,color="white",style="solid",shape="box"];338 -> 2303[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2303 -> 371[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2304[label="wu310/Neg wu3100",fontsize=10,color="white",style="solid",shape="box"];338 -> 2304[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2304 -> 372[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	339[label="index1 (Char (Pos Zero)) (Char wu310) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) wu310) GT))",fontsize=16,color="burlywood",shape="box"];2305[label="wu310/Pos wu3100",fontsize=10,color="white",style="solid",shape="box"];339 -> 2305[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2305 -> 373[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2306[label="wu310/Neg wu3100",fontsize=10,color="white",style="solid",shape="box"];339 -> 2306[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2306 -> 374[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	340[label="index1 (Char (Neg (Succ wu30000))) (Char wu310) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) wu310) GT))",fontsize=16,color="burlywood",shape="box"];2307[label="wu310/Pos wu3100",fontsize=10,color="white",style="solid",shape="box"];340 -> 2307[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2307 -> 375[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2308[label="wu310/Neg wu3100",fontsize=10,color="white",style="solid",shape="box"];340 -> 2308[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2308 -> 376[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	341[label="index1 (Char (Neg (Succ wu30000))) (Char wu310) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) wu310) GT))",fontsize=16,color="burlywood",shape="box"];2309[label="wu310/Pos wu3100",fontsize=10,color="white",style="solid",shape="box"];341 -> 2309[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2309 -> 377[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2310[label="wu310/Neg wu3100",fontsize=10,color="white",style="solid",shape="box"];341 -> 2310[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2310 -> 378[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	1455[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (not (esEsOrdering (primCmpInt (fromEnumChar (Char (Neg (Succ wu75)))) (fromEnumChar wu74)) GT))",fontsize=16,color="black",shape="box"];1455 -> 1460[label="",style="solid", color="black", weight=3];
12.41/4.94	354[label="index1 (Char (Neg (Succ wu30000))) (Char wu310) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (primCharToInt (Char wu310))) GT))",fontsize=16,color="black",shape="box"];354 -> 391[label="",style="solid", color="black", weight=3];
12.41/4.94	355[label="index1 (Char (Neg Zero)) (Char wu310) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) wu310) GT))",fontsize=16,color="burlywood",shape="box"];2311[label="wu310/Pos wu3100",fontsize=10,color="white",style="solid",shape="box"];355 -> 2311[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2311 -> 392[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2312[label="wu310/Neg wu3100",fontsize=10,color="white",style="solid",shape="box"];355 -> 2312[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2312 -> 393[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	356[label="index1 (Char (Neg Zero)) (Char wu310) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) wu310) GT))",fontsize=16,color="burlywood",shape="box"];2313[label="wu310/Pos wu3100",fontsize=10,color="white",style="solid",shape="box"];356 -> 2313[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2313 -> 394[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2314[label="wu310/Neg wu3100",fontsize=10,color="white",style="solid",shape="box"];356 -> 2314[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2314 -> 395[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	357[label="index1 (Char (Neg Zero)) (Char wu310) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) wu310) GT))",fontsize=16,color="burlywood",shape="box"];2315[label="wu310/Pos wu3100",fontsize=10,color="white",style="solid",shape="box"];357 -> 2315[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2315 -> 396[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2316[label="wu310/Neg wu3100",fontsize=10,color="white",style="solid",shape="box"];357 -> 2316[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2316 -> 397[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	1359[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (not (esEsOrdering (primCmpInt (primCharToInt (Char (Pos (Succ wu60)))) (fromEnumChar wu59)) GT))",fontsize=16,color="black",shape="box"];1359 -> 1391[label="",style="solid", color="black", weight=3];
12.41/4.94	370[label="index1 (Char (Pos Zero)) (Char wu310) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) wu310) GT))",fontsize=16,color="burlywood",shape="box"];2317[label="wu310/Pos wu3100",fontsize=10,color="white",style="solid",shape="box"];370 -> 2317[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2317 -> 410[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2318[label="wu310/Neg wu3100",fontsize=10,color="white",style="solid",shape="box"];370 -> 2318[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2318 -> 411[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	371[label="index1 (Char (Pos Zero)) (Char (Pos wu3100)) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos wu3100)) GT))",fontsize=16,color="burlywood",shape="box"];2319[label="wu3100/Succ wu31000",fontsize=10,color="white",style="solid",shape="box"];371 -> 2319[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2319 -> 412[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2320[label="wu3100/Zero",fontsize=10,color="white",style="solid",shape="box"];371 -> 2320[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2320 -> 413[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	372[label="index1 (Char (Pos Zero)) (Char (Neg wu3100)) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg wu3100)) GT))",fontsize=16,color="burlywood",shape="box"];2321[label="wu3100/Succ wu31000",fontsize=10,color="white",style="solid",shape="box"];372 -> 2321[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2321 -> 414[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2322[label="wu3100/Zero",fontsize=10,color="white",style="solid",shape="box"];372 -> 2322[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2322 -> 415[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	373[label="index1 (Char (Pos Zero)) (Char (Pos wu3100)) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos wu3100)) GT))",fontsize=16,color="burlywood",shape="box"];2323[label="wu3100/Succ wu31000",fontsize=10,color="white",style="solid",shape="box"];373 -> 2323[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2323 -> 416[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2324[label="wu3100/Zero",fontsize=10,color="white",style="solid",shape="box"];373 -> 2324[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2324 -> 417[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	374[label="index1 (Char (Pos Zero)) (Char (Neg wu3100)) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg wu3100)) GT))",fontsize=16,color="burlywood",shape="box"];2325[label="wu3100/Succ wu31000",fontsize=10,color="white",style="solid",shape="box"];374 -> 2325[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2325 -> 418[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2326[label="wu3100/Zero",fontsize=10,color="white",style="solid",shape="box"];374 -> 2326[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2326 -> 419[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	375[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos wu3100)) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) (Pos wu3100)) GT))",fontsize=16,color="black",shape="box"];375 -> 420[label="",style="solid", color="black", weight=3];
12.41/4.94	376[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) (Neg wu3100)) GT))",fontsize=16,color="black",shape="box"];376 -> 421[label="",style="solid", color="black", weight=3];
12.41/4.94	377[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos wu3100)) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos wu3100)) GT))",fontsize=16,color="burlywood",shape="box"];2327[label="wu3100/Succ wu31000",fontsize=10,color="white",style="solid",shape="box"];377 -> 2327[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2327 -> 422[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2328[label="wu3100/Zero",fontsize=10,color="white",style="solid",shape="box"];377 -> 2328[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2328 -> 423[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	378[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg wu3100)) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg wu3100)) GT))",fontsize=16,color="burlywood",shape="box"];2329[label="wu3100/Succ wu31000",fontsize=10,color="white",style="solid",shape="box"];378 -> 2329[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2329 -> 424[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2330[label="wu3100/Zero",fontsize=10,color="white",style="solid",shape="box"];378 -> 2330[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2330 -> 425[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	1460[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (not (esEsOrdering (primCmpInt (primCharToInt (Char (Neg (Succ wu75)))) (fromEnumChar wu74)) GT))",fontsize=16,color="black",shape="box"];1460 -> 1474[label="",style="solid", color="black", weight=3];
12.41/4.94	391[label="index1 (Char (Neg (Succ wu30000))) (Char wu310) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) wu310) GT))",fontsize=16,color="burlywood",shape="box"];2331[label="wu310/Pos wu3100",fontsize=10,color="white",style="solid",shape="box"];391 -> 2331[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2331 -> 438[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2332[label="wu310/Neg wu3100",fontsize=10,color="white",style="solid",shape="box"];391 -> 2332[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2332 -> 439[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	392[label="index1 (Char (Neg Zero)) (Char (Pos wu3100)) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) (Pos wu3100)) GT))",fontsize=16,color="black",shape="box"];392 -> 440[label="",style="solid", color="black", weight=3];
12.41/4.94	393[label="index1 (Char (Neg Zero)) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) (Neg wu3100)) GT))",fontsize=16,color="black",shape="box"];393 -> 441[label="",style="solid", color="black", weight=3];
12.41/4.94	394[label="index1 (Char (Neg Zero)) (Char (Pos wu3100)) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos wu3100)) GT))",fontsize=16,color="burlywood",shape="box"];2333[label="wu3100/Succ wu31000",fontsize=10,color="white",style="solid",shape="box"];394 -> 2333[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2333 -> 442[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2334[label="wu3100/Zero",fontsize=10,color="white",style="solid",shape="box"];394 -> 2334[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2334 -> 443[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	395[label="index1 (Char (Neg Zero)) (Char (Neg wu3100)) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg wu3100)) GT))",fontsize=16,color="burlywood",shape="box"];2335[label="wu3100/Succ wu31000",fontsize=10,color="white",style="solid",shape="box"];395 -> 2335[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2335 -> 444[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2336[label="wu3100/Zero",fontsize=10,color="white",style="solid",shape="box"];395 -> 2336[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2336 -> 445[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	396[label="index1 (Char (Neg Zero)) (Char (Pos wu3100)) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos wu3100)) GT))",fontsize=16,color="burlywood",shape="box"];2337[label="wu3100/Succ wu31000",fontsize=10,color="white",style="solid",shape="box"];396 -> 2337[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2337 -> 446[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2338[label="wu3100/Zero",fontsize=10,color="white",style="solid",shape="box"];396 -> 2338[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2338 -> 447[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	397[label="index1 (Char (Neg Zero)) (Char (Neg wu3100)) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg wu3100)) GT))",fontsize=16,color="burlywood",shape="box"];2339[label="wu3100/Succ wu31000",fontsize=10,color="white",style="solid",shape="box"];397 -> 2339[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2339 -> 448[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2340[label="wu3100/Zero",fontsize=10,color="white",style="solid",shape="box"];397 -> 2340[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2340 -> 449[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	1391[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (not (esEsOrdering (primCmpInt (Pos (Succ wu60)) (fromEnumChar wu59)) GT))",fontsize=16,color="black",shape="box"];1391 -> 1425[label="",style="solid", color="black", weight=3];
12.41/4.94	410[label="index1 (Char (Pos Zero)) (Char (Pos wu3100)) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) (Pos wu3100)) GT))",fontsize=16,color="black",shape="box"];410 -> 464[label="",style="solid", color="black", weight=3];
12.41/4.94	411[label="index1 (Char (Pos Zero)) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpInt (Pos (Succ wu4000)) (Neg wu3100)) GT))",fontsize=16,color="black",shape="box"];411 -> 465[label="",style="solid", color="black", weight=3];
12.41/4.94	412[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu31000))) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ wu31000))) GT))",fontsize=16,color="black",shape="box"];412 -> 466[label="",style="solid", color="black", weight=3];
12.41/4.94	413[label="index1 (Char (Pos Zero)) (Char (Pos Zero)) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) GT))",fontsize=16,color="black",shape="box"];413 -> 467[label="",style="solid", color="black", weight=3];
12.41/4.94	414[label="index1 (Char (Pos Zero)) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg (Succ wu31000))) GT))",fontsize=16,color="black",shape="box"];414 -> 468[label="",style="solid", color="black", weight=3];
12.41/4.94	415[label="index1 (Char (Pos Zero)) (Char (Neg Zero)) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg Zero)) GT))",fontsize=16,color="black",shape="box"];415 -> 469[label="",style="solid", color="black", weight=3];
12.41/4.94	416[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu31000))) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos (Succ wu31000))) GT))",fontsize=16,color="black",shape="box"];416 -> 470[label="",style="solid", color="black", weight=3];
12.41/4.94	417[label="index1 (Char (Pos Zero)) (Char (Pos Zero)) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos Zero)) GT))",fontsize=16,color="black",shape="box"];417 -> 471[label="",style="solid", color="black", weight=3];
12.41/4.94	418[label="index1 (Char (Pos Zero)) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg (Succ wu31000))) GT))",fontsize=16,color="black",shape="box"];418 -> 472[label="",style="solid", color="black", weight=3];
12.41/4.94	419[label="index1 (Char (Pos Zero)) (Char (Neg Zero)) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg Zero)) GT))",fontsize=16,color="black",shape="box"];419 -> 473[label="",style="solid", color="black", weight=3];
12.41/4.94	420[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos wu3100)) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpNat (Succ wu4000) wu3100) GT))",fontsize=16,color="burlywood",shape="box"];2341[label="wu3100/Succ wu31000",fontsize=10,color="white",style="solid",shape="box"];420 -> 2341[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2341 -> 474[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	2342[label="wu3100/Zero",fontsize=10,color="white",style="solid",shape="box"];420 -> 2342[label="",style="solid", color="burlywood", weight=9];
12.41/4.94	2342 -> 475[label="",style="solid", color="burlywood", weight=3];
12.41/4.94	421[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];421 -> 476[label="",style="solid", color="black", weight=3];
12.41/4.94	422[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos (Succ wu31000))) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ wu31000))) GT))",fontsize=16,color="black",shape="box"];422 -> 477[label="",style="solid", color="black", weight=3];
12.41/4.94	423[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos Zero)) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) GT))",fontsize=16,color="black",shape="box"];423 -> 478[label="",style="solid", color="black", weight=3];
12.41/4.94	424[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg (Succ wu31000))) GT))",fontsize=16,color="black",shape="box"];424 -> 479[label="",style="solid", color="black", weight=3];
12.41/4.95	425[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg Zero)) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg Zero)) GT))",fontsize=16,color="black",shape="box"];425 -> 480[label="",style="solid", color="black", weight=3];
12.41/4.95	1474[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (not (esEsOrdering (primCmpInt (Neg (Succ wu75)) (fromEnumChar wu74)) GT))",fontsize=16,color="black",shape="box"];1474 -> 1479[label="",style="solid", color="black", weight=3];
12.41/4.95	438[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos wu3100)) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos wu3100)) GT))",fontsize=16,color="burlywood",shape="box"];2343[label="wu3100/Succ wu31000",fontsize=10,color="white",style="solid",shape="box"];438 -> 2343[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2343 -> 495[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2344[label="wu3100/Zero",fontsize=10,color="white",style="solid",shape="box"];438 -> 2344[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2344 -> 496[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	439[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg wu3100)) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg wu3100)) GT))",fontsize=16,color="burlywood",shape="box"];2345[label="wu3100/Succ wu31000",fontsize=10,color="white",style="solid",shape="box"];439 -> 2345[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2345 -> 497[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2346[label="wu3100/Zero",fontsize=10,color="white",style="solid",shape="box"];439 -> 2346[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2346 -> 498[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	440[label="index1 (Char (Neg Zero)) (Char (Pos wu3100)) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpNat (Succ wu4000) wu3100) GT))",fontsize=16,color="burlywood",shape="box"];2347[label="wu3100/Succ wu31000",fontsize=10,color="white",style="solid",shape="box"];440 -> 2347[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2347 -> 499[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2348[label="wu3100/Zero",fontsize=10,color="white",style="solid",shape="box"];440 -> 2348[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2348 -> 500[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	441[label="index1 (Char (Neg Zero)) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];441 -> 501[label="",style="solid", color="black", weight=3];
12.41/4.95	442[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu31000))) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ wu31000))) GT))",fontsize=16,color="black",shape="box"];442 -> 502[label="",style="solid", color="black", weight=3];
12.41/4.95	443[label="index1 (Char (Neg Zero)) (Char (Pos Zero)) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) GT))",fontsize=16,color="black",shape="box"];443 -> 503[label="",style="solid", color="black", weight=3];
12.41/4.95	444[label="index1 (Char (Neg Zero)) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg (Succ wu31000))) GT))",fontsize=16,color="black",shape="box"];444 -> 504[label="",style="solid", color="black", weight=3];
12.41/4.95	445[label="index1 (Char (Neg Zero)) (Char (Neg Zero)) (Char (Pos Zero)) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg Zero)) GT))",fontsize=16,color="black",shape="box"];445 -> 505[label="",style="solid", color="black", weight=3];
12.41/4.95	446[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu31000))) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos (Succ wu31000))) GT))",fontsize=16,color="black",shape="box"];446 -> 506[label="",style="solid", color="black", weight=3];
12.41/4.95	447[label="index1 (Char (Neg Zero)) (Char (Pos Zero)) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos Zero)) GT))",fontsize=16,color="black",shape="box"];447 -> 507[label="",style="solid", color="black", weight=3];
12.41/4.95	448[label="index1 (Char (Neg Zero)) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg (Succ wu31000))) GT))",fontsize=16,color="black",shape="box"];448 -> 508[label="",style="solid", color="black", weight=3];
12.41/4.95	449[label="index1 (Char (Neg Zero)) (Char (Neg Zero)) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg Zero)) GT))",fontsize=16,color="black",shape="box"];449 -> 509[label="",style="solid", color="black", weight=3];
12.41/4.95	1425[label="index1 (Char (Pos (Succ wu58))) wu59 (Char (Pos (Succ wu60))) (not (esEsOrdering (primCmpInt (Pos (Succ wu60)) (primCharToInt wu59)) GT))",fontsize=16,color="burlywood",shape="box"];2349[label="wu59/Char wu590",fontsize=10,color="white",style="solid",shape="box"];1425 -> 2349[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2349 -> 1451[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	464[label="index1 (Char (Pos Zero)) (Char (Pos wu3100)) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpNat (Succ wu4000) wu3100) GT))",fontsize=16,color="burlywood",shape="box"];2350[label="wu3100/Succ wu31000",fontsize=10,color="white",style="solid",shape="box"];464 -> 2350[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2350 -> 524[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2351[label="wu3100/Zero",fontsize=10,color="white",style="solid",shape="box"];464 -> 2351[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2351 -> 525[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	465[label="index1 (Char (Pos Zero)) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];465 -> 526[label="",style="solid", color="black", weight=3];
12.41/4.95	466[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu31000))) (Char (Pos Zero)) (not (esEsOrdering (primCmpNat Zero (Succ wu31000)) GT))",fontsize=16,color="black",shape="box"];466 -> 527[label="",style="solid", color="black", weight=3];
12.41/4.95	467[label="index1 (Char (Pos Zero)) (Char (Pos Zero)) (Char (Pos Zero)) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];467 -> 528[label="",style="solid", color="black", weight=3];
12.41/4.95	468[label="index1 (Char (Pos Zero)) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];468 -> 529[label="",style="solid", color="black", weight=3];
12.41/4.95	469[label="index1 (Char (Pos Zero)) (Char (Neg Zero)) (Char (Pos Zero)) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];469 -> 530[label="",style="solid", color="black", weight=3];
12.41/4.95	470[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu31000))) (Char (Neg Zero)) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];470 -> 531[label="",style="solid", color="black", weight=3];
12.41/4.95	471[label="index1 (Char (Pos Zero)) (Char (Pos Zero)) (Char (Neg Zero)) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];471 -> 532[label="",style="solid", color="black", weight=3];
12.41/4.95	472[label="index1 (Char (Pos Zero)) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) (not (esEsOrdering (primCmpNat (Succ wu31000) Zero) GT))",fontsize=16,color="black",shape="box"];472 -> 533[label="",style="solid", color="black", weight=3];
12.41/4.95	473[label="index1 (Char (Pos Zero)) (Char (Neg Zero)) (Char (Neg Zero)) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];473 -> 534[label="",style="solid", color="black", weight=3];
12.41/4.95	474[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos (Succ wu31000))) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpNat (Succ wu4000) (Succ wu31000)) GT))",fontsize=16,color="black",shape="box"];474 -> 535[label="",style="solid", color="black", weight=3];
12.41/4.95	475[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpNat (Succ wu4000) Zero) GT))",fontsize=16,color="black",shape="box"];475 -> 536[label="",style="solid", color="black", weight=3];
12.41/4.95	476[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) (not MyTrue)",fontsize=16,color="black",shape="box"];476 -> 537[label="",style="solid", color="black", weight=3];
12.41/4.95	477[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos (Succ wu31000))) (Char (Pos Zero)) (not (esEsOrdering (primCmpNat Zero (Succ wu31000)) GT))",fontsize=16,color="black",shape="box"];477 -> 538[label="",style="solid", color="black", weight=3];
12.41/4.95	478[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos Zero)) (Char (Pos Zero)) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];478 -> 539[label="",style="solid", color="black", weight=3];
12.41/4.95	479[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];479 -> 540[label="",style="solid", color="black", weight=3];
12.41/4.95	480[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg Zero)) (Char (Pos Zero)) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];480 -> 541[label="",style="solid", color="black", weight=3];
12.41/4.95	1479[label="index1 (Char (Neg (Succ wu73))) wu74 (Char (Neg (Succ wu75))) (not (esEsOrdering (primCmpInt (Neg (Succ wu75)) (primCharToInt wu74)) GT))",fontsize=16,color="burlywood",shape="box"];2352[label="wu74/Char wu740",fontsize=10,color="white",style="solid",shape="box"];1479 -> 2352[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2352 -> 1485[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	495[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos (Succ wu31000))) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos (Succ wu31000))) GT))",fontsize=16,color="black",shape="box"];495 -> 556[label="",style="solid", color="black", weight=3];
12.41/4.95	496[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos Zero)) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos Zero)) GT))",fontsize=16,color="black",shape="box"];496 -> 557[label="",style="solid", color="black", weight=3];
12.41/4.95	497[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg (Succ wu31000))) GT))",fontsize=16,color="black",shape="box"];497 -> 558[label="",style="solid", color="black", weight=3];
12.41/4.95	498[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg Zero)) (Char (Neg Zero)) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg Zero)) GT))",fontsize=16,color="black",shape="box"];498 -> 559[label="",style="solid", color="black", weight=3];
12.41/4.95	499[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu31000))) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpNat (Succ wu4000) (Succ wu31000)) GT))",fontsize=16,color="black",shape="box"];499 -> 560[label="",style="solid", color="black", weight=3];
12.41/4.95	500[label="index1 (Char (Neg Zero)) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpNat (Succ wu4000) Zero) GT))",fontsize=16,color="black",shape="box"];500 -> 561[label="",style="solid", color="black", weight=3];
12.41/4.95	501[label="index1 (Char (Neg Zero)) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) (not MyTrue)",fontsize=16,color="black",shape="box"];501 -> 562[label="",style="solid", color="black", weight=3];
12.41/4.95	502[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu31000))) (Char (Pos Zero)) (not (esEsOrdering (primCmpNat Zero (Succ wu31000)) GT))",fontsize=16,color="black",shape="box"];502 -> 563[label="",style="solid", color="black", weight=3];
12.41/4.95	503[label="index1 (Char (Neg Zero)) (Char (Pos Zero)) (Char (Pos Zero)) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];503 -> 564[label="",style="solid", color="black", weight=3];
12.41/4.95	504[label="index1 (Char (Neg Zero)) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];504 -> 565[label="",style="solid", color="black", weight=3];
12.41/4.95	505[label="index1 (Char (Neg Zero)) (Char (Neg Zero)) (Char (Pos Zero)) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];505 -> 566[label="",style="solid", color="black", weight=3];
12.41/4.95	506[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu31000))) (Char (Neg Zero)) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];506 -> 567[label="",style="solid", color="black", weight=3];
12.41/4.95	507[label="index1 (Char (Neg Zero)) (Char (Pos Zero)) (Char (Neg Zero)) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];507 -> 568[label="",style="solid", color="black", weight=3];
12.41/4.95	508[label="index1 (Char (Neg Zero)) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) (not (esEsOrdering (primCmpNat (Succ wu31000) Zero) GT))",fontsize=16,color="black",shape="box"];508 -> 569[label="",style="solid", color="black", weight=3];
12.41/4.95	509[label="index1 (Char (Neg Zero)) (Char (Neg Zero)) (Char (Neg Zero)) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];509 -> 570[label="",style="solid", color="black", weight=3];
12.41/4.95	1451[label="index1 (Char (Pos (Succ wu58))) (Char wu590) (Char (Pos (Succ wu60))) (not (esEsOrdering (primCmpInt (Pos (Succ wu60)) (primCharToInt (Char wu590))) GT))",fontsize=16,color="black",shape="box"];1451 -> 1456[label="",style="solid", color="black", weight=3];
12.41/4.95	524[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu31000))) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpNat (Succ wu4000) (Succ wu31000)) GT))",fontsize=16,color="black",shape="box"];524 -> 598[label="",style="solid", color="black", weight=3];
12.41/4.95	525[label="index1 (Char (Pos Zero)) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpNat (Succ wu4000) Zero) GT))",fontsize=16,color="black",shape="box"];525 -> 599[label="",style="solid", color="black", weight=3];
12.41/4.95	526[label="index1 (Char (Pos Zero)) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) (not MyTrue)",fontsize=16,color="black",shape="box"];526 -> 600[label="",style="solid", color="black", weight=3];
12.41/4.95	527[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu31000))) (Char (Pos Zero)) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];527 -> 601[label="",style="solid", color="black", weight=3];
12.41/4.95	528[label="index1 (Char (Pos Zero)) (Char (Pos Zero)) (Char (Pos Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];528 -> 602[label="",style="solid", color="black", weight=3];
12.41/4.95	529[label="index1 (Char (Pos Zero)) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) (not MyTrue)",fontsize=16,color="black",shape="box"];529 -> 603[label="",style="solid", color="black", weight=3];
12.41/4.95	530[label="index1 (Char (Pos Zero)) (Char (Neg Zero)) (Char (Pos Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];530 -> 604[label="",style="solid", color="black", weight=3];
12.41/4.95	531[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu31000))) (Char (Neg Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];531 -> 605[label="",style="solid", color="black", weight=3];
12.41/4.95	532[label="index1 (Char (Pos Zero)) (Char (Pos Zero)) (Char (Neg Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];532 -> 606[label="",style="solid", color="black", weight=3];
12.41/4.95	533[label="index1 (Char (Pos Zero)) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];533 -> 607[label="",style="solid", color="black", weight=3];
12.41/4.95	534[label="index1 (Char (Pos Zero)) (Char (Neg Zero)) (Char (Neg Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];534 -> 608[label="",style="solid", color="black", weight=3];
12.41/4.95	535 -> 1526[label="",style="dashed", color="red", weight=0];
12.41/4.95	535[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos (Succ wu31000))) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpNat wu4000 wu31000) GT))",fontsize=16,color="magenta"];535 -> 1527[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	535 -> 1528[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	535 -> 1529[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	535 -> 1530[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	535 -> 1531[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	536[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];536 -> 611[label="",style="solid", color="black", weight=3];
12.41/4.95	537[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) MyFalse",fontsize=16,color="black",shape="box"];537 -> 612[label="",style="solid", color="black", weight=3];
12.41/4.95	538[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos (Succ wu31000))) (Char (Pos Zero)) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];538 -> 613[label="",style="solid", color="black", weight=3];
12.41/4.95	539[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos Zero)) (Char (Pos Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];539 -> 614[label="",style="solid", color="black", weight=3];
12.41/4.95	540[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) (not MyTrue)",fontsize=16,color="black",shape="box"];540 -> 615[label="",style="solid", color="black", weight=3];
12.41/4.95	541[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg Zero)) (Char (Pos Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];541 -> 616[label="",style="solid", color="black", weight=3];
12.41/4.95	1485[label="index1 (Char (Neg (Succ wu73))) (Char wu740) (Char (Neg (Succ wu75))) (not (esEsOrdering (primCmpInt (Neg (Succ wu75)) (primCharToInt (Char wu740))) GT))",fontsize=16,color="black",shape="box"];1485 -> 1498[label="",style="solid", color="black", weight=3];
12.41/4.95	556[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos (Succ wu31000))) (Char (Neg Zero)) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];556 -> 641[label="",style="solid", color="black", weight=3];
12.41/4.95	557[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos Zero)) (Char (Neg Zero)) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];557 -> 642[label="",style="solid", color="black", weight=3];
12.41/4.95	558[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) (not (esEsOrdering (primCmpNat (Succ wu31000) Zero) GT))",fontsize=16,color="black",shape="box"];558 -> 643[label="",style="solid", color="black", weight=3];
12.41/4.95	559[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg Zero)) (Char (Neg Zero)) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];559 -> 644[label="",style="solid", color="black", weight=3];
12.41/4.95	560 -> 1572[label="",style="dashed", color="red", weight=0];
12.41/4.95	560[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu31000))) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpNat wu4000 wu31000) GT))",fontsize=16,color="magenta"];560 -> 1573[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	560 -> 1574[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	560 -> 1575[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	560 -> 1576[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	561[label="index1 (Char (Neg Zero)) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];561 -> 647[label="",style="solid", color="black", weight=3];
12.41/4.95	562[label="index1 (Char (Neg Zero)) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) MyFalse",fontsize=16,color="black",shape="box"];562 -> 648[label="",style="solid", color="black", weight=3];
12.41/4.95	563[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu31000))) (Char (Pos Zero)) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];563 -> 649[label="",style="solid", color="black", weight=3];
12.41/4.95	564[label="index1 (Char (Neg Zero)) (Char (Pos Zero)) (Char (Pos Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];564 -> 650[label="",style="solid", color="black", weight=3];
12.41/4.95	565[label="index1 (Char (Neg Zero)) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) (not MyTrue)",fontsize=16,color="black",shape="box"];565 -> 651[label="",style="solid", color="black", weight=3];
12.41/4.95	566[label="index1 (Char (Neg Zero)) (Char (Neg Zero)) (Char (Pos Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];566 -> 652[label="",style="solid", color="black", weight=3];
12.41/4.95	567[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu31000))) (Char (Neg Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];567 -> 653[label="",style="solid", color="black", weight=3];
12.41/4.95	568[label="index1 (Char (Neg Zero)) (Char (Pos Zero)) (Char (Neg Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];568 -> 654[label="",style="solid", color="black", weight=3];
12.41/4.95	569[label="index1 (Char (Neg Zero)) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];569 -> 655[label="",style="solid", color="black", weight=3];
12.41/4.95	570[label="index1 (Char (Neg Zero)) (Char (Neg Zero)) (Char (Neg Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];570 -> 656[label="",style="solid", color="black", weight=3];
12.41/4.95	1456[label="index1 (Char (Pos (Succ wu58))) (Char wu590) (Char (Pos (Succ wu60))) (not (esEsOrdering (primCmpInt (Pos (Succ wu60)) wu590) GT))",fontsize=16,color="burlywood",shape="box"];2353[label="wu590/Pos wu5900",fontsize=10,color="white",style="solid",shape="box"];1456 -> 2353[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2353 -> 1461[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2354[label="wu590/Neg wu5900",fontsize=10,color="white",style="solid",shape="box"];1456 -> 2354[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2354 -> 1462[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	598 -> 1617[label="",style="dashed", color="red", weight=0];
12.41/4.95	598[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu31000))) (Char (Pos (Succ wu4000))) (not (esEsOrdering (primCmpNat wu4000 wu31000) GT))",fontsize=16,color="magenta"];598 -> 1618[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	598 -> 1619[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	598 -> 1620[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	598 -> 1621[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	599[label="index1 (Char (Pos Zero)) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];599 -> 689[label="",style="solid", color="black", weight=3];
12.41/4.95	600[label="index1 (Char (Pos Zero)) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) MyFalse",fontsize=16,color="black",shape="box"];600 -> 690[label="",style="solid", color="black", weight=3];
12.41/4.95	601[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu31000))) (Char (Pos Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];601 -> 691[label="",style="solid", color="black", weight=3];
12.41/4.95	602[label="index1 (Char (Pos Zero)) (Char (Pos Zero)) (Char (Pos Zero)) MyTrue",fontsize=16,color="black",shape="box"];602 -> 692[label="",style="solid", color="black", weight=3];
12.41/4.95	603[label="index1 (Char (Pos Zero)) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) MyFalse",fontsize=16,color="black",shape="box"];603 -> 693[label="",style="solid", color="black", weight=3];
12.41/4.95	604[label="index1 (Char (Pos Zero)) (Char (Neg Zero)) (Char (Pos Zero)) MyTrue",fontsize=16,color="black",shape="box"];604 -> 694[label="",style="solid", color="black", weight=3];
12.41/4.95	605[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu31000))) (Char (Neg Zero)) MyTrue",fontsize=16,color="black",shape="box"];605 -> 695[label="",style="solid", color="black", weight=3];
12.41/4.95	606[label="index1 (Char (Pos Zero)) (Char (Pos Zero)) (Char (Neg Zero)) MyTrue",fontsize=16,color="black",shape="box"];606 -> 696[label="",style="solid", color="black", weight=3];
12.41/4.95	607[label="index1 (Char (Pos Zero)) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) (not MyTrue)",fontsize=16,color="black",shape="box"];607 -> 697[label="",style="solid", color="black", weight=3];
12.41/4.95	608[label="index1 (Char (Pos Zero)) (Char (Neg Zero)) (Char (Neg Zero)) MyTrue",fontsize=16,color="black",shape="box"];608 -> 698[label="",style="solid", color="black", weight=3];
12.41/4.95	1527[label="wu4000",fontsize=16,color="green",shape="box"];1528[label="wu4000",fontsize=16,color="green",shape="box"];1529[label="wu30000",fontsize=16,color="green",shape="box"];1530[label="wu31000",fontsize=16,color="green",shape="box"];1531[label="wu31000",fontsize=16,color="green",shape="box"];1526[label="index1 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) (not (esEsOrdering (primCmpNat wu109 wu110) GT))",fontsize=16,color="burlywood",shape="triangle"];2355[label="wu109/Succ wu1090",fontsize=10,color="white",style="solid",shape="box"];1526 -> 2355[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2355 -> 1562[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2356[label="wu109/Zero",fontsize=10,color="white",style="solid",shape="box"];1526 -> 2356[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2356 -> 1563[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	611[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) (not MyTrue)",fontsize=16,color="black",shape="box"];611 -> 703[label="",style="solid", color="black", weight=3];
12.41/4.95	612[label="index0 (Char (Neg (Succ wu30000))) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) otherwise",fontsize=16,color="black",shape="box"];612 -> 704[label="",style="solid", color="black", weight=3];
12.41/4.95	613[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos (Succ wu31000))) (Char (Pos Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];613 -> 705[label="",style="solid", color="black", weight=3];
12.41/4.95	614[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos Zero)) (Char (Pos Zero)) MyTrue",fontsize=16,color="black",shape="box"];614 -> 706[label="",style="solid", color="black", weight=3];
12.41/4.95	615[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) MyFalse",fontsize=16,color="black",shape="box"];615 -> 707[label="",style="solid", color="black", weight=3];
12.41/4.95	616[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg Zero)) (Char (Pos Zero)) MyTrue",fontsize=16,color="black",shape="box"];616 -> 708[label="",style="solid", color="black", weight=3];
12.41/4.95	1498[label="index1 (Char (Neg (Succ wu73))) (Char wu740) (Char (Neg (Succ wu75))) (not (esEsOrdering (primCmpInt (Neg (Succ wu75)) wu740) GT))",fontsize=16,color="burlywood",shape="box"];2357[label="wu740/Pos wu7400",fontsize=10,color="white",style="solid",shape="box"];1498 -> 2357[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2357 -> 1505[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2358[label="wu740/Neg wu7400",fontsize=10,color="white",style="solid",shape="box"];1498 -> 2358[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2358 -> 1506[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	641[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos (Succ wu31000))) (Char (Neg Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];641 -> 742[label="",style="solid", color="black", weight=3];
12.41/4.95	642[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos Zero)) (Char (Neg Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];642 -> 743[label="",style="solid", color="black", weight=3];
12.41/4.95	643[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];643 -> 744[label="",style="solid", color="black", weight=3];
12.41/4.95	644[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg Zero)) (Char (Neg Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];644 -> 745[label="",style="solid", color="black", weight=3];
12.41/4.95	1573[label="wu31000",fontsize=16,color="green",shape="box"];1574[label="wu4000",fontsize=16,color="green",shape="box"];1575[label="wu4000",fontsize=16,color="green",shape="box"];1576[label="wu31000",fontsize=16,color="green",shape="box"];1572[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) (not (esEsOrdering (primCmpNat wu114 wu115) GT))",fontsize=16,color="burlywood",shape="triangle"];2359[label="wu114/Succ wu1140",fontsize=10,color="white",style="solid",shape="box"];1572 -> 2359[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2359 -> 1601[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2360[label="wu114/Zero",fontsize=10,color="white",style="solid",shape="box"];1572 -> 2360[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2360 -> 1602[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	647[label="index1 (Char (Neg Zero)) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) (not MyTrue)",fontsize=16,color="black",shape="box"];647 -> 750[label="",style="solid", color="black", weight=3];
12.41/4.95	648[label="index0 (Char (Neg Zero)) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) otherwise",fontsize=16,color="black",shape="box"];648 -> 751[label="",style="solid", color="black", weight=3];
12.41/4.95	649[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu31000))) (Char (Pos Zero)) (not MyFalse)",fontsize=16,color="black",shape="box"];649 -> 752[label="",style="solid", color="black", weight=3];
12.41/4.95	650[label="index1 (Char (Neg Zero)) (Char (Pos Zero)) (Char (Pos Zero)) MyTrue",fontsize=16,color="black",shape="box"];650 -> 753[label="",style="solid", color="black", weight=3];
12.41/4.95	651[label="index1 (Char (Neg Zero)) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) MyFalse",fontsize=16,color="black",shape="box"];651 -> 754[label="",style="solid", color="black", weight=3];
12.41/4.95	652[label="index1 (Char (Neg Zero)) (Char (Neg Zero)) (Char (Pos Zero)) MyTrue",fontsize=16,color="black",shape="box"];652 -> 755[label="",style="solid", color="black", weight=3];
12.41/4.95	653[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu31000))) (Char (Neg Zero)) MyTrue",fontsize=16,color="black",shape="box"];653 -> 756[label="",style="solid", color="black", weight=3];
12.41/4.95	654[label="index1 (Char (Neg Zero)) (Char (Pos Zero)) (Char (Neg Zero)) MyTrue",fontsize=16,color="black",shape="box"];654 -> 757[label="",style="solid", color="black", weight=3];
12.41/4.95	655[label="index1 (Char (Neg Zero)) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) (not MyTrue)",fontsize=16,color="black",shape="box"];655 -> 758[label="",style="solid", color="black", weight=3];
12.41/4.95	656[label="index1 (Char (Neg Zero)) (Char (Neg Zero)) (Char (Neg Zero)) MyTrue",fontsize=16,color="black",shape="box"];656 -> 759[label="",style="solid", color="black", weight=3];
12.41/4.95	1461[label="index1 (Char (Pos (Succ wu58))) (Char (Pos wu5900)) (Char (Pos (Succ wu60))) (not (esEsOrdering (primCmpInt (Pos (Succ wu60)) (Pos wu5900)) GT))",fontsize=16,color="black",shape="box"];1461 -> 1475[label="",style="solid", color="black", weight=3];
12.41/4.95	1462[label="index1 (Char (Pos (Succ wu58))) (Char (Neg wu5900)) (Char (Pos (Succ wu60))) (not (esEsOrdering (primCmpInt (Pos (Succ wu60)) (Neg wu5900)) GT))",fontsize=16,color="black",shape="box"];1462 -> 1476[label="",style="solid", color="black", weight=3];
12.41/4.95	1618[label="wu31000",fontsize=16,color="green",shape="box"];1619[label="wu31000",fontsize=16,color="green",shape="box"];1620[label="wu4000",fontsize=16,color="green",shape="box"];1621[label="wu4000",fontsize=16,color="green",shape="box"];1617[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) (not (esEsOrdering (primCmpNat wu119 wu120) GT))",fontsize=16,color="burlywood",shape="triangle"];2361[label="wu119/Succ wu1190",fontsize=10,color="white",style="solid",shape="box"];1617 -> 2361[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2361 -> 1646[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2362[label="wu119/Zero",fontsize=10,color="white",style="solid",shape="box"];1617 -> 2362[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2362 -> 1647[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	689[label="index1 (Char (Pos Zero)) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) (not MyTrue)",fontsize=16,color="black",shape="box"];689 -> 783[label="",style="solid", color="black", weight=3];
12.41/4.95	690[label="index0 (Char (Pos Zero)) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) otherwise",fontsize=16,color="black",shape="box"];690 -> 784[label="",style="solid", color="black", weight=3];
12.41/4.95	691[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu31000))) (Char (Pos Zero)) MyTrue",fontsize=16,color="black",shape="box"];691 -> 785[label="",style="solid", color="black", weight=3];
12.41/4.95	692[label="msMyInt (fromEnumChar (Char (Pos Zero))) (fromEnumChar (Char (Pos Zero)))",fontsize=16,color="black",shape="triangle"];692 -> 786[label="",style="solid", color="black", weight=3];
12.41/4.95	693[label="index0 (Char (Pos Zero)) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) otherwise",fontsize=16,color="black",shape="box"];693 -> 787[label="",style="solid", color="black", weight=3];
12.41/4.95	694 -> 692[label="",style="dashed", color="red", weight=0];
12.41/4.95	694[label="msMyInt (fromEnumChar (Char (Pos Zero))) (fromEnumChar (Char (Pos Zero)))",fontsize=16,color="magenta"];695[label="msMyInt (fromEnumChar (Char (Neg Zero))) (fromEnumChar (Char (Pos Zero)))",fontsize=16,color="black",shape="triangle"];695 -> 788[label="",style="solid", color="black", weight=3];
12.41/4.95	696 -> 695[label="",style="dashed", color="red", weight=0];
12.41/4.95	696[label="msMyInt (fromEnumChar (Char (Neg Zero))) (fromEnumChar (Char (Pos Zero)))",fontsize=16,color="magenta"];697[label="index1 (Char (Pos Zero)) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) MyFalse",fontsize=16,color="black",shape="box"];697 -> 789[label="",style="solid", color="black", weight=3];
12.41/4.95	698 -> 695[label="",style="dashed", color="red", weight=0];
12.41/4.95	698[label="msMyInt (fromEnumChar (Char (Neg Zero))) (fromEnumChar (Char (Pos Zero)))",fontsize=16,color="magenta"];1562[label="index1 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) (not (esEsOrdering (primCmpNat (Succ wu1090) wu110) GT))",fontsize=16,color="burlywood",shape="box"];2363[label="wu110/Succ wu1100",fontsize=10,color="white",style="solid",shape="box"];1562 -> 2363[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2363 -> 1603[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2364[label="wu110/Zero",fontsize=10,color="white",style="solid",shape="box"];1562 -> 2364[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2364 -> 1604[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	1563[label="index1 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) (not (esEsOrdering (primCmpNat Zero wu110) GT))",fontsize=16,color="burlywood",shape="box"];2365[label="wu110/Succ wu1100",fontsize=10,color="white",style="solid",shape="box"];1563 -> 2365[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2365 -> 1605[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2366[label="wu110/Zero",fontsize=10,color="white",style="solid",shape="box"];1563 -> 2366[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2366 -> 1606[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	703[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) MyFalse",fontsize=16,color="black",shape="box"];703 -> 794[label="",style="solid", color="black", weight=3];
12.41/4.95	704[label="index0 (Char (Neg (Succ wu30000))) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) MyTrue",fontsize=16,color="black",shape="box"];704 -> 795[label="",style="solid", color="black", weight=3];
12.41/4.95	705[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos (Succ wu31000))) (Char (Pos Zero)) MyTrue",fontsize=16,color="black",shape="box"];705 -> 796[label="",style="solid", color="black", weight=3];
12.41/4.95	706[label="msMyInt (fromEnumChar (Char (Pos Zero))) (fromEnumChar (Char (Neg (Succ wu30000))))",fontsize=16,color="black",shape="triangle"];706 -> 797[label="",style="solid", color="black", weight=3];
12.41/4.95	707[label="index0 (Char (Neg (Succ wu30000))) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) otherwise",fontsize=16,color="black",shape="box"];707 -> 798[label="",style="solid", color="black", weight=3];
12.41/4.95	708 -> 706[label="",style="dashed", color="red", weight=0];
12.41/4.95	708[label="msMyInt (fromEnumChar (Char (Pos Zero))) (fromEnumChar (Char (Neg (Succ wu30000))))",fontsize=16,color="magenta"];1505[label="index1 (Char (Neg (Succ wu73))) (Char (Pos wu7400)) (Char (Neg (Succ wu75))) (not (esEsOrdering (primCmpInt (Neg (Succ wu75)) (Pos wu7400)) GT))",fontsize=16,color="black",shape="box"];1505 -> 1514[label="",style="solid", color="black", weight=3];
12.41/4.95	1506[label="index1 (Char (Neg (Succ wu73))) (Char (Neg wu7400)) (Char (Neg (Succ wu75))) (not (esEsOrdering (primCmpInt (Neg (Succ wu75)) (Neg wu7400)) GT))",fontsize=16,color="black",shape="box"];1506 -> 1515[label="",style="solid", color="black", weight=3];
12.41/4.95	742[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos (Succ wu31000))) (Char (Neg Zero)) MyTrue",fontsize=16,color="black",shape="box"];742 -> 819[label="",style="solid", color="black", weight=3];
12.41/4.95	743[label="index1 (Char (Neg (Succ wu30000))) (Char (Pos Zero)) (Char (Neg Zero)) MyTrue",fontsize=16,color="black",shape="box"];743 -> 820[label="",style="solid", color="black", weight=3];
12.41/4.95	744[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) (not MyTrue)",fontsize=16,color="black",shape="box"];744 -> 821[label="",style="solid", color="black", weight=3];
12.41/4.95	745[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg Zero)) (Char (Neg Zero)) MyTrue",fontsize=16,color="black",shape="box"];745 -> 822[label="",style="solid", color="black", weight=3];
12.41/4.95	1601[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) (not (esEsOrdering (primCmpNat (Succ wu1140) wu115) GT))",fontsize=16,color="burlywood",shape="box"];2367[label="wu115/Succ wu1150",fontsize=10,color="white",style="solid",shape="box"];1601 -> 2367[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2367 -> 1648[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2368[label="wu115/Zero",fontsize=10,color="white",style="solid",shape="box"];1601 -> 2368[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2368 -> 1649[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	1602[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) (not (esEsOrdering (primCmpNat Zero wu115) GT))",fontsize=16,color="burlywood",shape="box"];2369[label="wu115/Succ wu1150",fontsize=10,color="white",style="solid",shape="box"];1602 -> 2369[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2369 -> 1650[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2370[label="wu115/Zero",fontsize=10,color="white",style="solid",shape="box"];1602 -> 2370[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2370 -> 1651[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	750[label="index1 (Char (Neg Zero)) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) MyFalse",fontsize=16,color="black",shape="box"];750 -> 827[label="",style="solid", color="black", weight=3];
12.41/4.95	751[label="index0 (Char (Neg Zero)) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) MyTrue",fontsize=16,color="black",shape="box"];751 -> 828[label="",style="solid", color="black", weight=3];
12.41/4.95	752[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu31000))) (Char (Pos Zero)) MyTrue",fontsize=16,color="black",shape="box"];752 -> 829[label="",style="solid", color="black", weight=3];
12.41/4.95	753[label="msMyInt (fromEnumChar (Char (Pos Zero))) (fromEnumChar (Char (Neg Zero)))",fontsize=16,color="black",shape="triangle"];753 -> 830[label="",style="solid", color="black", weight=3];
12.41/4.95	754[label="index0 (Char (Neg Zero)) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) otherwise",fontsize=16,color="black",shape="box"];754 -> 831[label="",style="solid", color="black", weight=3];
12.41/4.95	755 -> 753[label="",style="dashed", color="red", weight=0];
12.41/4.95	755[label="msMyInt (fromEnumChar (Char (Pos Zero))) (fromEnumChar (Char (Neg Zero)))",fontsize=16,color="magenta"];756[label="msMyInt (fromEnumChar (Char (Neg Zero))) (fromEnumChar (Char (Neg Zero)))",fontsize=16,color="black",shape="triangle"];756 -> 832[label="",style="solid", color="black", weight=3];
12.41/4.95	757 -> 756[label="",style="dashed", color="red", weight=0];
12.41/4.95	757[label="msMyInt (fromEnumChar (Char (Neg Zero))) (fromEnumChar (Char (Neg Zero)))",fontsize=16,color="magenta"];758[label="index1 (Char (Neg Zero)) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) MyFalse",fontsize=16,color="black",shape="box"];758 -> 833[label="",style="solid", color="black", weight=3];
12.41/4.95	759 -> 756[label="",style="dashed", color="red", weight=0];
12.41/4.95	759[label="msMyInt (fromEnumChar (Char (Neg Zero))) (fromEnumChar (Char (Neg Zero)))",fontsize=16,color="magenta"];1475[label="index1 (Char (Pos (Succ wu58))) (Char (Pos wu5900)) (Char (Pos (Succ wu60))) (not (esEsOrdering (primCmpNat (Succ wu60) wu5900) GT))",fontsize=16,color="burlywood",shape="box"];2371[label="wu5900/Succ wu59000",fontsize=10,color="white",style="solid",shape="box"];1475 -> 2371[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2371 -> 1480[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2372[label="wu5900/Zero",fontsize=10,color="white",style="solid",shape="box"];1475 -> 2372[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2372 -> 1481[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	1476[label="index1 (Char (Pos (Succ wu58))) (Char (Neg wu5900)) (Char (Pos (Succ wu60))) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];1476 -> 1482[label="",style="solid", color="black", weight=3];
12.41/4.95	1646[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) (not (esEsOrdering (primCmpNat (Succ wu1190) wu120) GT))",fontsize=16,color="burlywood",shape="box"];2373[label="wu120/Succ wu1200",fontsize=10,color="white",style="solid",shape="box"];1646 -> 2373[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2373 -> 1668[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2374[label="wu120/Zero",fontsize=10,color="white",style="solid",shape="box"];1646 -> 2374[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2374 -> 1669[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	1647[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) (not (esEsOrdering (primCmpNat Zero wu120) GT))",fontsize=16,color="burlywood",shape="box"];2375[label="wu120/Succ wu1200",fontsize=10,color="white",style="solid",shape="box"];1647 -> 2375[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2375 -> 1670[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2376[label="wu120/Zero",fontsize=10,color="white",style="solid",shape="box"];1647 -> 2376[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2376 -> 1671[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	783[label="index1 (Char (Pos Zero)) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) MyFalse",fontsize=16,color="black",shape="box"];783 -> 854[label="",style="solid", color="black", weight=3];
12.41/4.95	784[label="index0 (Char (Pos Zero)) (Char (Neg wu3100)) (Char (Pos (Succ wu4000))) MyTrue",fontsize=16,color="black",shape="box"];784 -> 855[label="",style="solid", color="black", weight=3];
12.41/4.95	785 -> 692[label="",style="dashed", color="red", weight=0];
12.41/4.95	785[label="msMyInt (fromEnumChar (Char (Pos Zero))) (fromEnumChar (Char (Pos Zero)))",fontsize=16,color="magenta"];786[label="primMinusInt (fromEnumChar (Char (Pos Zero))) (fromEnumChar (Char (Pos Zero)))",fontsize=16,color="black",shape="box"];786 -> 856[label="",style="solid", color="black", weight=3];
12.41/4.95	787[label="index0 (Char (Pos Zero)) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) MyTrue",fontsize=16,color="black",shape="box"];787 -> 857[label="",style="solid", color="black", weight=3];
12.41/4.95	788[label="primMinusInt (fromEnumChar (Char (Neg Zero))) (fromEnumChar (Char (Pos Zero)))",fontsize=16,color="black",shape="box"];788 -> 858[label="",style="solid", color="black", weight=3];
12.41/4.95	789[label="index0 (Char (Pos Zero)) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) otherwise",fontsize=16,color="black",shape="box"];789 -> 859[label="",style="solid", color="black", weight=3];
12.41/4.95	1603[label="index1 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) (not (esEsOrdering (primCmpNat (Succ wu1090) (Succ wu1100)) GT))",fontsize=16,color="black",shape="box"];1603 -> 1652[label="",style="solid", color="black", weight=3];
12.41/4.95	1604[label="index1 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) (not (esEsOrdering (primCmpNat (Succ wu1090) Zero) GT))",fontsize=16,color="black",shape="box"];1604 -> 1653[label="",style="solid", color="black", weight=3];
12.41/4.95	1605[label="index1 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) (not (esEsOrdering (primCmpNat Zero (Succ wu1100)) GT))",fontsize=16,color="black",shape="box"];1605 -> 1654[label="",style="solid", color="black", weight=3];
12.41/4.95	1606[label="index1 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) (not (esEsOrdering (primCmpNat Zero Zero) GT))",fontsize=16,color="black",shape="box"];1606 -> 1655[label="",style="solid", color="black", weight=3];
12.41/4.95	794[label="index0 (Char (Neg (Succ wu30000))) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) otherwise",fontsize=16,color="black",shape="box"];794 -> 865[label="",style="solid", color="black", weight=3];
12.41/4.95	795 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.95	795[label="error",fontsize=16,color="magenta"];796 -> 706[label="",style="dashed", color="red", weight=0];
12.41/4.95	796[label="msMyInt (fromEnumChar (Char (Pos Zero))) (fromEnumChar (Char (Neg (Succ wu30000))))",fontsize=16,color="magenta"];797[label="primMinusInt (fromEnumChar (Char (Pos Zero))) (fromEnumChar (Char (Neg (Succ wu30000))))",fontsize=16,color="black",shape="box"];797 -> 866[label="",style="solid", color="black", weight=3];
12.41/4.95	798[label="index0 (Char (Neg (Succ wu30000))) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) MyTrue",fontsize=16,color="black",shape="box"];798 -> 867[label="",style="solid", color="black", weight=3];
12.41/4.95	1514[label="index1 (Char (Neg (Succ wu73))) (Char (Pos wu7400)) (Char (Neg (Succ wu75))) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];1514 -> 1564[label="",style="solid", color="black", weight=3];
12.41/4.95	1515[label="index1 (Char (Neg (Succ wu73))) (Char (Neg wu7400)) (Char (Neg (Succ wu75))) (not (esEsOrdering (primCmpNat wu7400 (Succ wu75)) GT))",fontsize=16,color="burlywood",shape="box"];2377[label="wu7400/Succ wu74000",fontsize=10,color="white",style="solid",shape="box"];1515 -> 2377[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2377 -> 1565[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2378[label="wu7400/Zero",fontsize=10,color="white",style="solid",shape="box"];1515 -> 2378[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2378 -> 1566[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	819[label="msMyInt (fromEnumChar (Char (Neg Zero))) (fromEnumChar (Char (Neg (Succ wu30000))))",fontsize=16,color="black",shape="triangle"];819 -> 905[label="",style="solid", color="black", weight=3];
12.41/4.95	820 -> 819[label="",style="dashed", color="red", weight=0];
12.41/4.95	820[label="msMyInt (fromEnumChar (Char (Neg Zero))) (fromEnumChar (Char (Neg (Succ wu30000))))",fontsize=16,color="magenta"];821[label="index1 (Char (Neg (Succ wu30000))) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) MyFalse",fontsize=16,color="black",shape="box"];821 -> 906[label="",style="solid", color="black", weight=3];
12.41/4.95	822 -> 819[label="",style="dashed", color="red", weight=0];
12.41/4.95	822[label="msMyInt (fromEnumChar (Char (Neg Zero))) (fromEnumChar (Char (Neg (Succ wu30000))))",fontsize=16,color="magenta"];1648[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) (not (esEsOrdering (primCmpNat (Succ wu1140) (Succ wu1150)) GT))",fontsize=16,color="black",shape="box"];1648 -> 1672[label="",style="solid", color="black", weight=3];
12.41/4.95	1649[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) (not (esEsOrdering (primCmpNat (Succ wu1140) Zero) GT))",fontsize=16,color="black",shape="box"];1649 -> 1673[label="",style="solid", color="black", weight=3];
12.41/4.95	1650[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) (not (esEsOrdering (primCmpNat Zero (Succ wu1150)) GT))",fontsize=16,color="black",shape="box"];1650 -> 1674[label="",style="solid", color="black", weight=3];
12.41/4.95	1651[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) (not (esEsOrdering (primCmpNat Zero Zero) GT))",fontsize=16,color="black",shape="box"];1651 -> 1675[label="",style="solid", color="black", weight=3];
12.41/4.95	827[label="index0 (Char (Neg Zero)) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) otherwise",fontsize=16,color="black",shape="box"];827 -> 912[label="",style="solid", color="black", weight=3];
12.41/4.95	828 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.95	828[label="error",fontsize=16,color="magenta"];829 -> 753[label="",style="dashed", color="red", weight=0];
12.41/4.95	829[label="msMyInt (fromEnumChar (Char (Pos Zero))) (fromEnumChar (Char (Neg Zero)))",fontsize=16,color="magenta"];830[label="primMinusInt (fromEnumChar (Char (Pos Zero))) (fromEnumChar (Char (Neg Zero)))",fontsize=16,color="black",shape="box"];830 -> 913[label="",style="solid", color="black", weight=3];
12.41/4.95	831[label="index0 (Char (Neg Zero)) (Char (Neg (Succ wu31000))) (Char (Pos Zero)) MyTrue",fontsize=16,color="black",shape="box"];831 -> 914[label="",style="solid", color="black", weight=3];
12.41/4.95	832[label="primMinusInt (fromEnumChar (Char (Neg Zero))) (fromEnumChar (Char (Neg Zero)))",fontsize=16,color="black",shape="box"];832 -> 915[label="",style="solid", color="black", weight=3];
12.41/4.95	833[label="index0 (Char (Neg Zero)) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) otherwise",fontsize=16,color="black",shape="box"];833 -> 916[label="",style="solid", color="black", weight=3];
12.41/4.95	1480[label="index1 (Char (Pos (Succ wu58))) (Char (Pos (Succ wu59000))) (Char (Pos (Succ wu60))) (not (esEsOrdering (primCmpNat (Succ wu60) (Succ wu59000)) GT))",fontsize=16,color="black",shape="box"];1480 -> 1486[label="",style="solid", color="black", weight=3];
12.41/4.95	1481[label="index1 (Char (Pos (Succ wu58))) (Char (Pos Zero)) (Char (Pos (Succ wu60))) (not (esEsOrdering (primCmpNat (Succ wu60) Zero) GT))",fontsize=16,color="black",shape="box"];1481 -> 1487[label="",style="solid", color="black", weight=3];
12.41/4.95	1482[label="index1 (Char (Pos (Succ wu58))) (Char (Neg wu5900)) (Char (Pos (Succ wu60))) (not MyTrue)",fontsize=16,color="black",shape="box"];1482 -> 1488[label="",style="solid", color="black", weight=3];
12.41/4.95	1668[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) (not (esEsOrdering (primCmpNat (Succ wu1190) (Succ wu1200)) GT))",fontsize=16,color="black",shape="box"];1668 -> 1693[label="",style="solid", color="black", weight=3];
12.41/4.95	1669[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) (not (esEsOrdering (primCmpNat (Succ wu1190) Zero) GT))",fontsize=16,color="black",shape="box"];1669 -> 1694[label="",style="solid", color="black", weight=3];
12.41/4.95	1670[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) (not (esEsOrdering (primCmpNat Zero (Succ wu1200)) GT))",fontsize=16,color="black",shape="box"];1670 -> 1695[label="",style="solid", color="black", weight=3];
12.41/4.95	1671[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) (not (esEsOrdering (primCmpNat Zero Zero) GT))",fontsize=16,color="black",shape="box"];1671 -> 1696[label="",style="solid", color="black", weight=3];
12.41/4.95	854[label="index0 (Char (Pos Zero)) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) otherwise",fontsize=16,color="black",shape="box"];854 -> 967[label="",style="solid", color="black", weight=3];
12.41/4.95	855 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.95	855[label="error",fontsize=16,color="magenta"];856[label="primMinusInt (primCharToInt (Char (Pos Zero))) (fromEnumChar (Char (Pos Zero)))",fontsize=16,color="black",shape="box"];856 -> 968[label="",style="solid", color="black", weight=3];
12.41/4.95	857 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.95	857[label="error",fontsize=16,color="magenta"];858[label="primMinusInt (primCharToInt (Char (Neg Zero))) (fromEnumChar (Char (Pos Zero)))",fontsize=16,color="black",shape="box"];858 -> 969[label="",style="solid", color="black", weight=3];
12.41/4.95	859[label="index0 (Char (Pos Zero)) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) MyTrue",fontsize=16,color="black",shape="box"];859 -> 970[label="",style="solid", color="black", weight=3];
12.41/4.95	1652 -> 1526[label="",style="dashed", color="red", weight=0];
12.41/4.95	1652[label="index1 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) (not (esEsOrdering (primCmpNat wu1090 wu1100) GT))",fontsize=16,color="magenta"];1652 -> 1676[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1652 -> 1677[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1653[label="index1 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];1653 -> 1678[label="",style="solid", color="black", weight=3];
12.41/4.95	1654[label="index1 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];1654 -> 1679[label="",style="solid", color="black", weight=3];
12.41/4.95	1655[label="index1 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];1655 -> 1680[label="",style="solid", color="black", weight=3];
12.41/4.95	865[label="index0 (Char (Neg (Succ wu30000))) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) MyTrue",fontsize=16,color="black",shape="box"];865 -> 978[label="",style="solid", color="black", weight=3];
12.41/4.95	866[label="primMinusInt (primCharToInt (Char (Pos Zero))) (fromEnumChar (Char (Neg (Succ wu30000))))",fontsize=16,color="black",shape="box"];866 -> 979[label="",style="solid", color="black", weight=3];
12.41/4.95	867 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.95	867[label="error",fontsize=16,color="magenta"];1564[label="index1 (Char (Neg (Succ wu73))) (Char (Pos wu7400)) (Char (Neg (Succ wu75))) (not MyFalse)",fontsize=16,color="black",shape="box"];1564 -> 1607[label="",style="solid", color="black", weight=3];
12.41/4.95	1565[label="index1 (Char (Neg (Succ wu73))) (Char (Neg (Succ wu74000))) (Char (Neg (Succ wu75))) (not (esEsOrdering (primCmpNat (Succ wu74000) (Succ wu75)) GT))",fontsize=16,color="black",shape="box"];1565 -> 1608[label="",style="solid", color="black", weight=3];
12.41/4.95	1566[label="index1 (Char (Neg (Succ wu73))) (Char (Neg Zero)) (Char (Neg (Succ wu75))) (not (esEsOrdering (primCmpNat Zero (Succ wu75)) GT))",fontsize=16,color="black",shape="box"];1566 -> 1609[label="",style="solid", color="black", weight=3];
12.41/4.95	905[label="primMinusInt (fromEnumChar (Char (Neg Zero))) (fromEnumChar (Char (Neg (Succ wu30000))))",fontsize=16,color="black",shape="box"];905 -> 992[label="",style="solid", color="black", weight=3];
12.41/4.95	906[label="index0 (Char (Neg (Succ wu30000))) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) otherwise",fontsize=16,color="black",shape="box"];906 -> 993[label="",style="solid", color="black", weight=3];
12.41/4.95	1672 -> 1572[label="",style="dashed", color="red", weight=0];
12.41/4.95	1672[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) (not (esEsOrdering (primCmpNat wu1140 wu1150) GT))",fontsize=16,color="magenta"];1672 -> 1697[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1672 -> 1698[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1673[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];1673 -> 1699[label="",style="solid", color="black", weight=3];
12.41/4.95	1674[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];1674 -> 1700[label="",style="solid", color="black", weight=3];
12.41/4.95	1675[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];1675 -> 1701[label="",style="solid", color="black", weight=3];
12.41/4.95	912[label="index0 (Char (Neg Zero)) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) MyTrue",fontsize=16,color="black",shape="box"];912 -> 1001[label="",style="solid", color="black", weight=3];
12.41/4.95	913[label="primMinusInt (primCharToInt (Char (Pos Zero))) (fromEnumChar (Char (Neg Zero)))",fontsize=16,color="black",shape="box"];913 -> 1002[label="",style="solid", color="black", weight=3];
12.41/4.95	914 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.95	914[label="error",fontsize=16,color="magenta"];915[label="primMinusInt (primCharToInt (Char (Neg Zero))) (fromEnumChar (Char (Neg Zero)))",fontsize=16,color="black",shape="box"];915 -> 1003[label="",style="solid", color="black", weight=3];
12.41/4.95	916[label="index0 (Char (Neg Zero)) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) MyTrue",fontsize=16,color="black",shape="box"];916 -> 1004[label="",style="solid", color="black", weight=3];
12.41/4.95	1486 -> 1940[label="",style="dashed", color="red", weight=0];
12.41/4.95	1486[label="index1 (Char (Pos (Succ wu58))) (Char (Pos (Succ wu59000))) (Char (Pos (Succ wu60))) (not (esEsOrdering (primCmpNat wu60 wu59000) GT))",fontsize=16,color="magenta"];1486 -> 1941[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1486 -> 1942[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1486 -> 1943[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1486 -> 1944[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1486 -> 1945[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1487[label="index1 (Char (Pos (Succ wu58))) (Char (Pos Zero)) (Char (Pos (Succ wu60))) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];1487 -> 1501[label="",style="solid", color="black", weight=3];
12.41/4.95	1488 -> 1190[label="",style="dashed", color="red", weight=0];
12.41/4.95	1488[label="index1 (Char (Pos (Succ wu58))) (Char (Neg wu5900)) (Char (Pos (Succ wu60))) MyFalse",fontsize=16,color="magenta"];1488 -> 1502[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1693 -> 1617[label="",style="dashed", color="red", weight=0];
12.41/4.95	1693[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) (not (esEsOrdering (primCmpNat wu1190 wu1200) GT))",fontsize=16,color="magenta"];1693 -> 1718[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1693 -> 1719[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1694[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];1694 -> 1720[label="",style="solid", color="black", weight=3];
12.41/4.95	1695[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];1695 -> 1721[label="",style="solid", color="black", weight=3];
12.41/4.95	1696[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];1696 -> 1722[label="",style="solid", color="black", weight=3];
12.41/4.95	967[label="index0 (Char (Pos Zero)) (Char (Pos Zero)) (Char (Pos (Succ wu4000))) MyTrue",fontsize=16,color="black",shape="box"];967 -> 1018[label="",style="solid", color="black", weight=3];
12.41/4.95	968[label="primMinusInt (Pos Zero) (fromEnumChar (Char (Pos Zero)))",fontsize=16,color="black",shape="box"];968 -> 1019[label="",style="solid", color="black", weight=3];
12.41/4.95	969[label="primMinusInt (Neg Zero) (fromEnumChar (Char (Pos Zero)))",fontsize=16,color="black",shape="box"];969 -> 1020[label="",style="solid", color="black", weight=3];
12.41/4.95	970 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.95	970[label="error",fontsize=16,color="magenta"];1676[label="wu1090",fontsize=16,color="green",shape="box"];1677[label="wu1100",fontsize=16,color="green",shape="box"];1678[label="index1 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) (not MyTrue)",fontsize=16,color="black",shape="box"];1678 -> 1702[label="",style="solid", color="black", weight=3];
12.41/4.95	1679[label="index1 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) (not MyFalse)",fontsize=16,color="black",shape="triangle"];1679 -> 1703[label="",style="solid", color="black", weight=3];
12.41/4.95	1680 -> 1679[label="",style="dashed", color="red", weight=0];
12.41/4.95	1680[label="index1 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) (not MyFalse)",fontsize=16,color="magenta"];978 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.95	978[label="error",fontsize=16,color="magenta"];979[label="primMinusInt (Pos Zero) (fromEnumChar (Char (Neg (Succ wu30000))))",fontsize=16,color="black",shape="box"];979 -> 1028[label="",style="solid", color="black", weight=3];
12.41/4.95	1607[label="index1 (Char (Neg (Succ wu73))) (Char (Pos wu7400)) (Char (Neg (Succ wu75))) MyTrue",fontsize=16,color="black",shape="box"];1607 -> 1656[label="",style="solid", color="black", weight=3];
12.41/4.95	1608 -> 2174[label="",style="dashed", color="red", weight=0];
12.41/4.95	1608[label="index1 (Char (Neg (Succ wu73))) (Char (Neg (Succ wu74000))) (Char (Neg (Succ wu75))) (not (esEsOrdering (primCmpNat wu74000 wu75) GT))",fontsize=16,color="magenta"];1608 -> 2175[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1608 -> 2176[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1608 -> 2177[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1608 -> 2178[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1608 -> 2179[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1609[label="index1 (Char (Neg (Succ wu73))) (Char (Neg Zero)) (Char (Neg (Succ wu75))) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];1609 -> 1659[label="",style="solid", color="black", weight=3];
12.41/4.95	992[label="primMinusInt (primCharToInt (Char (Neg Zero))) (fromEnumChar (Char (Neg (Succ wu30000))))",fontsize=16,color="black",shape="box"];992 -> 1042[label="",style="solid", color="black", weight=3];
12.41/4.95	993[label="index0 (Char (Neg (Succ wu30000))) (Char (Neg (Succ wu31000))) (Char (Neg Zero)) MyTrue",fontsize=16,color="black",shape="box"];993 -> 1043[label="",style="solid", color="black", weight=3];
12.41/4.95	1697[label="wu1140",fontsize=16,color="green",shape="box"];1698[label="wu1150",fontsize=16,color="green",shape="box"];1699[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) (not MyTrue)",fontsize=16,color="black",shape="box"];1699 -> 1723[label="",style="solid", color="black", weight=3];
12.41/4.95	1700[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) (not MyFalse)",fontsize=16,color="black",shape="triangle"];1700 -> 1724[label="",style="solid", color="black", weight=3];
12.41/4.95	1701 -> 1700[label="",style="dashed", color="red", weight=0];
12.41/4.95	1701[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) (not MyFalse)",fontsize=16,color="magenta"];1001 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.95	1001[label="error",fontsize=16,color="magenta"];1002[label="primMinusInt (Pos Zero) (fromEnumChar (Char (Neg Zero)))",fontsize=16,color="black",shape="box"];1002 -> 1051[label="",style="solid", color="black", weight=3];
12.41/4.95	1003[label="primMinusInt (Neg Zero) (fromEnumChar (Char (Neg Zero)))",fontsize=16,color="black",shape="box"];1003 -> 1052[label="",style="solid", color="black", weight=3];
12.41/4.95	1004 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.95	1004[label="error",fontsize=16,color="magenta"];1941[label="wu59000",fontsize=16,color="green",shape="box"];1942[label="wu60",fontsize=16,color="green",shape="box"];1943[label="wu59000",fontsize=16,color="green",shape="box"];1944[label="wu58",fontsize=16,color="green",shape="box"];1945[label="wu60",fontsize=16,color="green",shape="box"];1940[label="index1 (Char (Pos (Succ wu133))) (Char (Pos (Succ wu134))) (Char (Pos (Succ wu135))) (not (esEsOrdering (primCmpNat wu136 wu137) GT))",fontsize=16,color="burlywood",shape="triangle"];2379[label="wu136/Succ wu1360",fontsize=10,color="white",style="solid",shape="box"];1940 -> 2379[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2379 -> 1976[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2380[label="wu136/Zero",fontsize=10,color="white",style="solid",shape="box"];1940 -> 2380[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2380 -> 1977[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	1501[label="index1 (Char (Pos (Succ wu58))) (Char (Pos Zero)) (Char (Pos (Succ wu60))) (not MyTrue)",fontsize=16,color="black",shape="box"];1501 -> 1511[label="",style="solid", color="black", weight=3];
12.41/4.95	1502[label="Char (Neg wu5900)",fontsize=16,color="green",shape="box"];1718[label="wu1200",fontsize=16,color="green",shape="box"];1719[label="wu1190",fontsize=16,color="green",shape="box"];1720[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) (not MyTrue)",fontsize=16,color="black",shape="box"];1720 -> 1742[label="",style="solid", color="black", weight=3];
12.41/4.95	1721[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) (not MyFalse)",fontsize=16,color="black",shape="triangle"];1721 -> 1743[label="",style="solid", color="black", weight=3];
12.41/4.95	1722 -> 1721[label="",style="dashed", color="red", weight=0];
12.41/4.95	1722[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) (not MyFalse)",fontsize=16,color="magenta"];1018 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.95	1018[label="error",fontsize=16,color="magenta"];1019[label="primMinusInt (Pos Zero) (primCharToInt (Char (Pos Zero)))",fontsize=16,color="black",shape="box"];1019 -> 1066[label="",style="solid", color="black", weight=3];
12.41/4.95	1020[label="primMinusInt (Neg Zero) (primCharToInt (Char (Pos Zero)))",fontsize=16,color="black",shape="box"];1020 -> 1067[label="",style="solid", color="black", weight=3];
12.41/4.95	1702[label="index1 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) MyFalse",fontsize=16,color="black",shape="box"];1702 -> 1725[label="",style="solid", color="black", weight=3];
12.41/4.95	1703[label="index1 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) MyTrue",fontsize=16,color="black",shape="box"];1703 -> 1726[label="",style="solid", color="black", weight=3];
12.41/4.95	1028[label="primMinusInt (Pos Zero) (primCharToInt (Char (Neg (Succ wu30000))))",fontsize=16,color="black",shape="box"];1028 -> 1075[label="",style="solid", color="black", weight=3];
12.41/4.95	1656[label="msMyInt (fromEnumChar (Char (Neg (Succ wu75)))) (fromEnumChar (Char (Neg (Succ wu73))))",fontsize=16,color="black",shape="triangle"];1656 -> 1681[label="",style="solid", color="black", weight=3];
12.41/4.95	2175[label="wu74000",fontsize=16,color="green",shape="box"];2176[label="wu75",fontsize=16,color="green",shape="box"];2177[label="wu73",fontsize=16,color="green",shape="box"];2178[label="wu74000",fontsize=16,color="green",shape="box"];2179[label="wu75",fontsize=16,color="green",shape="box"];2174[label="index1 (Char (Neg (Succ wu167))) (Char (Neg (Succ wu168))) (Char (Neg (Succ wu169))) (not (esEsOrdering (primCmpNat wu170 wu171) GT))",fontsize=16,color="burlywood",shape="triangle"];2381[label="wu170/Succ wu1700",fontsize=10,color="white",style="solid",shape="box"];2174 -> 2381[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2381 -> 2225[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2382[label="wu170/Zero",fontsize=10,color="white",style="solid",shape="box"];2174 -> 2382[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2382 -> 2226[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	1659[label="index1 (Char (Neg (Succ wu73))) (Char (Neg Zero)) (Char (Neg (Succ wu75))) (not MyFalse)",fontsize=16,color="black",shape="box"];1659 -> 1686[label="",style="solid", color="black", weight=3];
12.41/4.95	1042[label="primMinusInt (Neg Zero) (fromEnumChar (Char (Neg (Succ wu30000))))",fontsize=16,color="black",shape="box"];1042 -> 1113[label="",style="solid", color="black", weight=3];
12.41/4.95	1043 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.95	1043[label="error",fontsize=16,color="magenta"];1723[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) MyFalse",fontsize=16,color="black",shape="box"];1723 -> 1744[label="",style="solid", color="black", weight=3];
12.41/4.95	1724[label="index1 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) MyTrue",fontsize=16,color="black",shape="box"];1724 -> 1745[label="",style="solid", color="black", weight=3];
12.41/4.95	1051[label="primMinusInt (Pos Zero) (primCharToInt (Char (Neg Zero)))",fontsize=16,color="black",shape="box"];1051 -> 1121[label="",style="solid", color="black", weight=3];
12.41/4.95	1052[label="primMinusInt (Neg Zero) (primCharToInt (Char (Neg Zero)))",fontsize=16,color="black",shape="box"];1052 -> 1122[label="",style="solid", color="black", weight=3];
12.41/4.95	1976[label="index1 (Char (Pos (Succ wu133))) (Char (Pos (Succ wu134))) (Char (Pos (Succ wu135))) (not (esEsOrdering (primCmpNat (Succ wu1360) wu137) GT))",fontsize=16,color="burlywood",shape="box"];2383[label="wu137/Succ wu1370",fontsize=10,color="white",style="solid",shape="box"];1976 -> 2383[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2383 -> 1990[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2384[label="wu137/Zero",fontsize=10,color="white",style="solid",shape="box"];1976 -> 2384[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2384 -> 1991[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	1977[label="index1 (Char (Pos (Succ wu133))) (Char (Pos (Succ wu134))) (Char (Pos (Succ wu135))) (not (esEsOrdering (primCmpNat Zero wu137) GT))",fontsize=16,color="burlywood",shape="box"];2385[label="wu137/Succ wu1370",fontsize=10,color="white",style="solid",shape="box"];1977 -> 2385[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2385 -> 1992[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2386[label="wu137/Zero",fontsize=10,color="white",style="solid",shape="box"];1977 -> 2386[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2386 -> 1993[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	1511 -> 1190[label="",style="dashed", color="red", weight=0];
12.41/4.95	1511[label="index1 (Char (Pos (Succ wu58))) (Char (Pos Zero)) (Char (Pos (Succ wu60))) MyFalse",fontsize=16,color="magenta"];1511 -> 1520[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1742[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) MyFalse",fontsize=16,color="black",shape="box"];1742 -> 1763[label="",style="solid", color="black", weight=3];
12.41/4.95	1743[label="index1 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) MyTrue",fontsize=16,color="black",shape="box"];1743 -> 1764[label="",style="solid", color="black", weight=3];
12.41/4.95	1066[label="primMinusInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1066 -> 1130[label="",style="solid", color="black", weight=3];
12.41/4.95	1067[label="primMinusInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1067 -> 1131[label="",style="solid", color="black", weight=3];
12.41/4.95	1725[label="index0 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) otherwise",fontsize=16,color="black",shape="box"];1725 -> 1746[label="",style="solid", color="black", weight=3];
12.41/4.95	1726[label="msMyInt (fromEnumChar (Char (Pos (Succ wu108)))) (fromEnumChar (Char (Neg (Succ wu106))))",fontsize=16,color="black",shape="box"];1726 -> 1747[label="",style="solid", color="black", weight=3];
12.41/4.95	1075[label="primMinusInt (Pos Zero) (Neg (Succ wu30000))",fontsize=16,color="black",shape="box"];1075 -> 1141[label="",style="solid", color="black", weight=3];
12.41/4.95	1681[label="primMinusInt (fromEnumChar (Char (Neg (Succ wu75)))) (fromEnumChar (Char (Neg (Succ wu73))))",fontsize=16,color="black",shape="box"];1681 -> 1704[label="",style="solid", color="black", weight=3];
12.41/4.95	2225[label="index1 (Char (Neg (Succ wu167))) (Char (Neg (Succ wu168))) (Char (Neg (Succ wu169))) (not (esEsOrdering (primCmpNat (Succ wu1700) wu171) GT))",fontsize=16,color="burlywood",shape="box"];2387[label="wu171/Succ wu1710",fontsize=10,color="white",style="solid",shape="box"];2225 -> 2387[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2387 -> 2227[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2388[label="wu171/Zero",fontsize=10,color="white",style="solid",shape="box"];2225 -> 2388[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2388 -> 2228[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2226[label="index1 (Char (Neg (Succ wu167))) (Char (Neg (Succ wu168))) (Char (Neg (Succ wu169))) (not (esEsOrdering (primCmpNat Zero wu171) GT))",fontsize=16,color="burlywood",shape="box"];2389[label="wu171/Succ wu1710",fontsize=10,color="white",style="solid",shape="box"];2226 -> 2389[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2389 -> 2229[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2390[label="wu171/Zero",fontsize=10,color="white",style="solid",shape="box"];2226 -> 2390[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2390 -> 2230[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	1686[label="index1 (Char (Neg (Succ wu73))) (Char (Neg Zero)) (Char (Neg (Succ wu75))) MyTrue",fontsize=16,color="black",shape="box"];1686 -> 1709[label="",style="solid", color="black", weight=3];
12.41/4.95	1113[label="primMinusInt (Neg Zero) (primCharToInt (Char (Neg (Succ wu30000))))",fontsize=16,color="black",shape="box"];1113 -> 1192[label="",style="solid", color="black", weight=3];
12.41/4.95	1744[label="index0 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) otherwise",fontsize=16,color="black",shape="box"];1744 -> 1765[label="",style="solid", color="black", weight=3];
12.41/4.95	1745[label="msMyInt (fromEnumChar (Char (Pos (Succ wu113)))) (fromEnumChar (Char (Neg Zero)))",fontsize=16,color="black",shape="box"];1745 -> 1766[label="",style="solid", color="black", weight=3];
12.41/4.95	1121[label="primMinusInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1121 -> 1202[label="",style="solid", color="black", weight=3];
12.41/4.95	1122[label="primMinusInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1122 -> 1203[label="",style="solid", color="black", weight=3];
12.41/4.95	1990[label="index1 (Char (Pos (Succ wu133))) (Char (Pos (Succ wu134))) (Char (Pos (Succ wu135))) (not (esEsOrdering (primCmpNat (Succ wu1360) (Succ wu1370)) GT))",fontsize=16,color="black",shape="box"];1990 -> 2003[label="",style="solid", color="black", weight=3];
12.41/4.95	1991[label="index1 (Char (Pos (Succ wu133))) (Char (Pos (Succ wu134))) (Char (Pos (Succ wu135))) (not (esEsOrdering (primCmpNat (Succ wu1360) Zero) GT))",fontsize=16,color="black",shape="box"];1991 -> 2004[label="",style="solid", color="black", weight=3];
12.41/4.95	1992[label="index1 (Char (Pos (Succ wu133))) (Char (Pos (Succ wu134))) (Char (Pos (Succ wu135))) (not (esEsOrdering (primCmpNat Zero (Succ wu1370)) GT))",fontsize=16,color="black",shape="box"];1992 -> 2005[label="",style="solid", color="black", weight=3];
12.41/4.95	1993[label="index1 (Char (Pos (Succ wu133))) (Char (Pos (Succ wu134))) (Char (Pos (Succ wu135))) (not (esEsOrdering (primCmpNat Zero Zero) GT))",fontsize=16,color="black",shape="box"];1993 -> 2006[label="",style="solid", color="black", weight=3];
12.41/4.95	1520[label="Char (Pos Zero)",fontsize=16,color="green",shape="box"];1763[label="index0 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) otherwise",fontsize=16,color="black",shape="box"];1763 -> 1787[label="",style="solid", color="black", weight=3];
12.41/4.95	1764[label="msMyInt (fromEnumChar (Char (Pos (Succ wu118)))) (fromEnumChar (Char (Pos Zero)))",fontsize=16,color="black",shape="box"];1764 -> 1788[label="",style="solid", color="black", weight=3];
12.41/4.95	1130[label="primMinusNat Zero Zero",fontsize=16,color="black",shape="triangle"];1130 -> 1213[label="",style="solid", color="black", weight=3];
12.41/4.95	1131[label="Neg (primPlusNat Zero Zero)",fontsize=16,color="green",shape="box"];1131 -> 1214[label="",style="dashed", color="green", weight=3];
12.41/4.95	1746[label="index0 (Char (Neg (Succ wu106))) (Char (Pos (Succ wu107))) (Char (Pos (Succ wu108))) MyTrue",fontsize=16,color="black",shape="box"];1746 -> 1767[label="",style="solid", color="black", weight=3];
12.41/4.95	1747[label="primMinusInt (fromEnumChar (Char (Pos (Succ wu108)))) (fromEnumChar (Char (Neg (Succ wu106))))",fontsize=16,color="black",shape="box"];1747 -> 1768[label="",style="solid", color="black", weight=3];
12.41/4.95	1141[label="Pos (primPlusNat Zero (Succ wu30000))",fontsize=16,color="green",shape="box"];1141 -> 1223[label="",style="dashed", color="green", weight=3];
12.41/4.95	1704[label="primMinusInt (primCharToInt (Char (Neg (Succ wu75)))) (fromEnumChar (Char (Neg (Succ wu73))))",fontsize=16,color="black",shape="box"];1704 -> 1727[label="",style="solid", color="black", weight=3];
12.41/4.95	2227[label="index1 (Char (Neg (Succ wu167))) (Char (Neg (Succ wu168))) (Char (Neg (Succ wu169))) (not (esEsOrdering (primCmpNat (Succ wu1700) (Succ wu1710)) GT))",fontsize=16,color="black",shape="box"];2227 -> 2231[label="",style="solid", color="black", weight=3];
12.41/4.95	2228[label="index1 (Char (Neg (Succ wu167))) (Char (Neg (Succ wu168))) (Char (Neg (Succ wu169))) (not (esEsOrdering (primCmpNat (Succ wu1700) Zero) GT))",fontsize=16,color="black",shape="box"];2228 -> 2232[label="",style="solid", color="black", weight=3];
12.41/4.95	2229[label="index1 (Char (Neg (Succ wu167))) (Char (Neg (Succ wu168))) (Char (Neg (Succ wu169))) (not (esEsOrdering (primCmpNat Zero (Succ wu1710)) GT))",fontsize=16,color="black",shape="box"];2229 -> 2233[label="",style="solid", color="black", weight=3];
12.41/4.95	2230[label="index1 (Char (Neg (Succ wu167))) (Char (Neg (Succ wu168))) (Char (Neg (Succ wu169))) (not (esEsOrdering (primCmpNat Zero Zero) GT))",fontsize=16,color="black",shape="box"];2230 -> 2234[label="",style="solid", color="black", weight=3];
12.41/4.95	1709 -> 1656[label="",style="dashed", color="red", weight=0];
12.41/4.95	1709[label="msMyInt (fromEnumChar (Char (Neg (Succ wu75)))) (fromEnumChar (Char (Neg (Succ wu73))))",fontsize=16,color="magenta"];1192[label="primMinusInt (Neg Zero) (Neg (Succ wu30000))",fontsize=16,color="black",shape="box"];1192 -> 1230[label="",style="solid", color="black", weight=3];
12.41/4.95	1765[label="index0 (Char (Neg Zero)) (Char (Pos (Succ wu112))) (Char (Pos (Succ wu113))) MyTrue",fontsize=16,color="black",shape="box"];1765 -> 1789[label="",style="solid", color="black", weight=3];
12.41/4.95	1766[label="primMinusInt (fromEnumChar (Char (Pos (Succ wu113)))) (fromEnumChar (Char (Neg Zero)))",fontsize=16,color="black",shape="box"];1766 -> 1790[label="",style="solid", color="black", weight=3];
12.41/4.95	1202[label="Pos (primPlusNat Zero Zero)",fontsize=16,color="green",shape="box"];1202 -> 1239[label="",style="dashed", color="green", weight=3];
12.41/4.95	1203 -> 1130[label="",style="dashed", color="red", weight=0];
12.41/4.95	1203[label="primMinusNat Zero Zero",fontsize=16,color="magenta"];2003 -> 1940[label="",style="dashed", color="red", weight=0];
12.41/4.95	2003[label="index1 (Char (Pos (Succ wu133))) (Char (Pos (Succ wu134))) (Char (Pos (Succ wu135))) (not (esEsOrdering (primCmpNat wu1360 wu1370) GT))",fontsize=16,color="magenta"];2003 -> 2012[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	2003 -> 2013[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	2004[label="index1 (Char (Pos (Succ wu133))) (Char (Pos (Succ wu134))) (Char (Pos (Succ wu135))) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];2004 -> 2014[label="",style="solid", color="black", weight=3];
12.41/4.95	2005[label="index1 (Char (Pos (Succ wu133))) (Char (Pos (Succ wu134))) (Char (Pos (Succ wu135))) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];2005 -> 2015[label="",style="solid", color="black", weight=3];
12.41/4.95	2006[label="index1 (Char (Pos (Succ wu133))) (Char (Pos (Succ wu134))) (Char (Pos (Succ wu135))) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];2006 -> 2016[label="",style="solid", color="black", weight=3];
12.41/4.95	1787[label="index0 (Char (Pos Zero)) (Char (Pos (Succ wu117))) (Char (Pos (Succ wu118))) MyTrue",fontsize=16,color="black",shape="box"];1787 -> 1810[label="",style="solid", color="black", weight=3];
12.41/4.95	1788[label="primMinusInt (fromEnumChar (Char (Pos (Succ wu118)))) (fromEnumChar (Char (Pos Zero)))",fontsize=16,color="black",shape="box"];1788 -> 1811[label="",style="solid", color="black", weight=3];
12.41/4.95	1213[label="Pos Zero",fontsize=16,color="green",shape="box"];1214[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="triangle"];1214 -> 1248[label="",style="solid", color="black", weight=3];
12.41/4.95	1767 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.95	1767[label="error",fontsize=16,color="magenta"];1768[label="primMinusInt (primCharToInt (Char (Pos (Succ wu108)))) (fromEnumChar (Char (Neg (Succ wu106))))",fontsize=16,color="black",shape="box"];1768 -> 1791[label="",style="solid", color="black", weight=3];
12.41/4.95	1223[label="primPlusNat Zero (Succ wu30000)",fontsize=16,color="black",shape="box"];1223 -> 1257[label="",style="solid", color="black", weight=3];
12.41/4.95	1727[label="primMinusInt (Neg (Succ wu75)) (fromEnumChar (Char (Neg (Succ wu73))))",fontsize=16,color="black",shape="box"];1727 -> 1748[label="",style="solid", color="black", weight=3];
12.41/4.95	2231 -> 2174[label="",style="dashed", color="red", weight=0];
12.41/4.95	2231[label="index1 (Char (Neg (Succ wu167))) (Char (Neg (Succ wu168))) (Char (Neg (Succ wu169))) (not (esEsOrdering (primCmpNat wu1700 wu1710) GT))",fontsize=16,color="magenta"];2231 -> 2235[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	2231 -> 2236[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	2232[label="index1 (Char (Neg (Succ wu167))) (Char (Neg (Succ wu168))) (Char (Neg (Succ wu169))) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];2232 -> 2237[label="",style="solid", color="black", weight=3];
12.41/4.95	2233[label="index1 (Char (Neg (Succ wu167))) (Char (Neg (Succ wu168))) (Char (Neg (Succ wu169))) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];2233 -> 2238[label="",style="solid", color="black", weight=3];
12.41/4.95	2234[label="index1 (Char (Neg (Succ wu167))) (Char (Neg (Succ wu168))) (Char (Neg (Succ wu169))) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];2234 -> 2239[label="",style="solid", color="black", weight=3];
12.41/4.95	1230[label="primMinusNat (Succ wu30000) Zero",fontsize=16,color="black",shape="triangle"];1230 -> 1264[label="",style="solid", color="black", weight=3];
12.41/4.95	1789 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.95	1789[label="error",fontsize=16,color="magenta"];1790[label="primMinusInt (primCharToInt (Char (Pos (Succ wu113)))) (fromEnumChar (Char (Neg Zero)))",fontsize=16,color="black",shape="box"];1790 -> 1812[label="",style="solid", color="black", weight=3];
12.41/4.95	1239 -> 1214[label="",style="dashed", color="red", weight=0];
12.41/4.95	1239[label="primPlusNat Zero Zero",fontsize=16,color="magenta"];2012[label="wu1370",fontsize=16,color="green",shape="box"];2013[label="wu1360",fontsize=16,color="green",shape="box"];2014[label="index1 (Char (Pos (Succ wu133))) (Char (Pos (Succ wu134))) (Char (Pos (Succ wu135))) (not MyTrue)",fontsize=16,color="black",shape="box"];2014 -> 2023[label="",style="solid", color="black", weight=3];
12.41/4.95	2015[label="index1 (Char (Pos (Succ wu133))) (Char (Pos (Succ wu134))) (Char (Pos (Succ wu135))) (not MyFalse)",fontsize=16,color="black",shape="triangle"];2015 -> 2024[label="",style="solid", color="black", weight=3];
12.41/4.95	2016 -> 2015[label="",style="dashed", color="red", weight=0];
12.41/4.95	2016[label="index1 (Char (Pos (Succ wu133))) (Char (Pos (Succ wu134))) (Char (Pos (Succ wu135))) (not MyFalse)",fontsize=16,color="magenta"];1810 -> 147[label="",style="dashed", color="red", weight=0];
12.41/4.95	1810[label="error",fontsize=16,color="magenta"];1811[label="primMinusInt (primCharToInt (Char (Pos (Succ wu118)))) (fromEnumChar (Char (Pos Zero)))",fontsize=16,color="black",shape="box"];1811 -> 1831[label="",style="solid", color="black", weight=3];
12.41/4.95	1248[label="Zero",fontsize=16,color="green",shape="box"];1791[label="primMinusInt (Pos (Succ wu108)) (fromEnumChar (Char (Neg (Succ wu106))))",fontsize=16,color="black",shape="box"];1791 -> 1813[label="",style="solid", color="black", weight=3];
12.41/4.95	1257[label="Succ wu30000",fontsize=16,color="green",shape="box"];1748[label="primMinusInt (Neg (Succ wu75)) (primCharToInt (Char (Neg (Succ wu73))))",fontsize=16,color="black",shape="box"];1748 -> 1769[label="",style="solid", color="black", weight=3];
12.41/4.95	2235[label="wu1700",fontsize=16,color="green",shape="box"];2236[label="wu1710",fontsize=16,color="green",shape="box"];2237[label="index1 (Char (Neg (Succ wu167))) (Char (Neg (Succ wu168))) (Char (Neg (Succ wu169))) (not MyTrue)",fontsize=16,color="black",shape="box"];2237 -> 2240[label="",style="solid", color="black", weight=3];
12.41/4.95	2238[label="index1 (Char (Neg (Succ wu167))) (Char (Neg (Succ wu168))) (Char (Neg (Succ wu169))) (not MyFalse)",fontsize=16,color="black",shape="triangle"];2238 -> 2241[label="",style="solid", color="black", weight=3];
12.41/4.95	2239 -> 2238[label="",style="dashed", color="red", weight=0];
12.41/4.95	2239[label="index1 (Char (Neg (Succ wu167))) (Char (Neg (Succ wu168))) (Char (Neg (Succ wu169))) (not MyFalse)",fontsize=16,color="magenta"];1264[label="Pos (Succ wu30000)",fontsize=16,color="green",shape="box"];1812[label="primMinusInt (Pos (Succ wu113)) (fromEnumChar (Char (Neg Zero)))",fontsize=16,color="black",shape="box"];1812 -> 1832[label="",style="solid", color="black", weight=3];
12.41/4.95	2023 -> 1190[label="",style="dashed", color="red", weight=0];
12.41/4.95	2023[label="index1 (Char (Pos (Succ wu133))) (Char (Pos (Succ wu134))) (Char (Pos (Succ wu135))) MyFalse",fontsize=16,color="magenta"];2023 -> 2028[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	2023 -> 2029[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	2023 -> 2030[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	2024[label="index1 (Char (Pos (Succ wu133))) (Char (Pos (Succ wu134))) (Char (Pos (Succ wu135))) MyTrue",fontsize=16,color="black",shape="box"];2024 -> 2031[label="",style="solid", color="black", weight=3];
12.41/4.95	1831[label="primMinusInt (Pos (Succ wu118)) (fromEnumChar (Char (Pos Zero)))",fontsize=16,color="black",shape="box"];1831 -> 1853[label="",style="solid", color="black", weight=3];
12.41/4.95	1813[label="primMinusInt (Pos (Succ wu108)) (primCharToInt (Char (Neg (Succ wu106))))",fontsize=16,color="black",shape="box"];1813 -> 1833[label="",style="solid", color="black", weight=3];
12.41/4.95	1769[label="primMinusInt (Neg (Succ wu75)) (Neg (Succ wu73))",fontsize=16,color="black",shape="box"];1769 -> 1792[label="",style="solid", color="black", weight=3];
12.41/4.95	2240 -> 1357[label="",style="dashed", color="red", weight=0];
12.41/4.95	2240[label="index1 (Char (Neg (Succ wu167))) (Char (Neg (Succ wu168))) (Char (Neg (Succ wu169))) MyFalse",fontsize=16,color="magenta"];2240 -> 2242[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	2240 -> 2243[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	2240 -> 2244[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	2241[label="index1 (Char (Neg (Succ wu167))) (Char (Neg (Succ wu168))) (Char (Neg (Succ wu169))) MyTrue",fontsize=16,color="black",shape="box"];2241 -> 2245[label="",style="solid", color="black", weight=3];
12.41/4.95	1832[label="primMinusInt (Pos (Succ wu113)) (primCharToInt (Char (Neg Zero)))",fontsize=16,color="black",shape="box"];1832 -> 1854[label="",style="solid", color="black", weight=3];
12.41/4.95	2028[label="wu135",fontsize=16,color="green",shape="box"];2029[label="wu133",fontsize=16,color="green",shape="box"];2030[label="Char (Pos (Succ wu134))",fontsize=16,color="green",shape="box"];2031[label="msMyInt (fromEnumChar (Char (Pos (Succ wu135)))) (fromEnumChar (Char (Pos (Succ wu133))))",fontsize=16,color="black",shape="box"];2031 -> 2056[label="",style="solid", color="black", weight=3];
12.41/4.95	1853[label="primMinusInt (Pos (Succ wu118)) (primCharToInt (Char (Pos Zero)))",fontsize=16,color="black",shape="box"];1853 -> 1877[label="",style="solid", color="black", weight=3];
12.41/4.95	1833[label="primMinusInt (Pos (Succ wu108)) (Neg (Succ wu106))",fontsize=16,color="black",shape="box"];1833 -> 1855[label="",style="solid", color="black", weight=3];
12.41/4.95	1792[label="primMinusNat (Succ wu73) (Succ wu75)",fontsize=16,color="black",shape="triangle"];1792 -> 1814[label="",style="solid", color="black", weight=3];
12.41/4.95	2242[label="Char (Neg (Succ wu168))",fontsize=16,color="green",shape="box"];2243[label="wu169",fontsize=16,color="green",shape="box"];2244[label="wu167",fontsize=16,color="green",shape="box"];2245 -> 1656[label="",style="dashed", color="red", weight=0];
12.41/4.95	2245[label="msMyInt (fromEnumChar (Char (Neg (Succ wu169)))) (fromEnumChar (Char (Neg (Succ wu167))))",fontsize=16,color="magenta"];2245 -> 2246[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	2245 -> 2247[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1854[label="primMinusInt (Pos (Succ wu113)) (Neg Zero)",fontsize=16,color="black",shape="box"];1854 -> 1878[label="",style="solid", color="black", weight=3];
12.41/4.95	2056[label="primMinusInt (fromEnumChar (Char (Pos (Succ wu135)))) (fromEnumChar (Char (Pos (Succ wu133))))",fontsize=16,color="black",shape="box"];2056 -> 2064[label="",style="solid", color="black", weight=3];
12.41/4.95	1877[label="primMinusInt (Pos (Succ wu118)) (Pos Zero)",fontsize=16,color="black",shape="box"];1877 -> 1896[label="",style="solid", color="black", weight=3];
12.41/4.95	1855[label="Pos (primPlusNat (Succ wu108) (Succ wu106))",fontsize=16,color="green",shape="box"];1855 -> 1879[label="",style="dashed", color="green", weight=3];
12.41/4.95	1814[label="primMinusNat wu73 wu75",fontsize=16,color="burlywood",shape="triangle"];2391[label="wu73/Succ wu730",fontsize=10,color="white",style="solid",shape="box"];1814 -> 2391[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2391 -> 1834[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2392[label="wu73/Zero",fontsize=10,color="white",style="solid",shape="box"];1814 -> 2392[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2392 -> 1835[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2246[label="wu169",fontsize=16,color="green",shape="box"];2247[label="wu167",fontsize=16,color="green",shape="box"];1878[label="Pos (primPlusNat (Succ wu113) Zero)",fontsize=16,color="green",shape="box"];1878 -> 1897[label="",style="dashed", color="green", weight=3];
12.41/4.95	2064[label="primMinusInt (primCharToInt (Char (Pos (Succ wu135)))) (fromEnumChar (Char (Pos (Succ wu133))))",fontsize=16,color="black",shape="box"];2064 -> 2100[label="",style="solid", color="black", weight=3];
12.41/4.95	1896 -> 1814[label="",style="dashed", color="red", weight=0];
12.41/4.95	1896[label="primMinusNat (Succ wu118) Zero",fontsize=16,color="magenta"];1896 -> 1912[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1896 -> 1913[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1879[label="primPlusNat (Succ wu108) (Succ wu106)",fontsize=16,color="black",shape="box"];1879 -> 1898[label="",style="solid", color="black", weight=3];
12.41/4.95	1834[label="primMinusNat (Succ wu730) wu75",fontsize=16,color="burlywood",shape="box"];2393[label="wu75/Succ wu750",fontsize=10,color="white",style="solid",shape="box"];1834 -> 2393[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2393 -> 1856[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2394[label="wu75/Zero",fontsize=10,color="white",style="solid",shape="box"];1834 -> 2394[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2394 -> 1857[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	1835[label="primMinusNat Zero wu75",fontsize=16,color="burlywood",shape="box"];2395[label="wu75/Succ wu750",fontsize=10,color="white",style="solid",shape="box"];1835 -> 2395[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2395 -> 1858[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2396[label="wu75/Zero",fontsize=10,color="white",style="solid",shape="box"];1835 -> 2396[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2396 -> 1859[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	1897[label="primPlusNat (Succ wu113) Zero",fontsize=16,color="black",shape="box"];1897 -> 1914[label="",style="solid", color="black", weight=3];
12.41/4.95	2100[label="primMinusInt (Pos (Succ wu135)) (fromEnumChar (Char (Pos (Succ wu133))))",fontsize=16,color="black",shape="box"];2100 -> 2106[label="",style="solid", color="black", weight=3];
12.41/4.95	1912[label="Zero",fontsize=16,color="green",shape="box"];1913[label="Succ wu118",fontsize=16,color="green",shape="box"];1898[label="Succ (Succ (primPlusNat wu108 wu106))",fontsize=16,color="green",shape="box"];1898 -> 1915[label="",style="dashed", color="green", weight=3];
12.41/4.95	1856[label="primMinusNat (Succ wu730) (Succ wu750)",fontsize=16,color="black",shape="box"];1856 -> 1880[label="",style="solid", color="black", weight=3];
12.41/4.95	1857[label="primMinusNat (Succ wu730) Zero",fontsize=16,color="black",shape="box"];1857 -> 1881[label="",style="solid", color="black", weight=3];
12.41/4.95	1858[label="primMinusNat Zero (Succ wu750)",fontsize=16,color="black",shape="box"];1858 -> 1882[label="",style="solid", color="black", weight=3];
12.41/4.95	1859[label="primMinusNat Zero Zero",fontsize=16,color="black",shape="box"];1859 -> 1883[label="",style="solid", color="black", weight=3];
12.41/4.95	1914[label="Succ wu113",fontsize=16,color="green",shape="box"];2106[label="primMinusInt (Pos (Succ wu135)) (primCharToInt (Char (Pos (Succ wu133))))",fontsize=16,color="black",shape="box"];2106 -> 2140[label="",style="solid", color="black", weight=3];
12.41/4.95	1915[label="primPlusNat wu108 wu106",fontsize=16,color="burlywood",shape="triangle"];2397[label="wu108/Succ wu1080",fontsize=10,color="white",style="solid",shape="box"];1915 -> 2397[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2397 -> 1926[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2398[label="wu108/Zero",fontsize=10,color="white",style="solid",shape="box"];1915 -> 2398[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2398 -> 1927[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	1880 -> 1814[label="",style="dashed", color="red", weight=0];
12.41/4.95	1880[label="primMinusNat wu730 wu750",fontsize=16,color="magenta"];1880 -> 1899[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1880 -> 1900[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1881[label="Pos (Succ wu730)",fontsize=16,color="green",shape="box"];1882[label="Neg (Succ wu750)",fontsize=16,color="green",shape="box"];1883[label="Pos Zero",fontsize=16,color="green",shape="box"];2140[label="primMinusInt (Pos (Succ wu135)) (Pos (Succ wu133))",fontsize=16,color="black",shape="box"];2140 -> 2148[label="",style="solid", color="black", weight=3];
12.41/4.95	1926[label="primPlusNat (Succ wu1080) wu106",fontsize=16,color="burlywood",shape="box"];2399[label="wu106/Succ wu1060",fontsize=10,color="white",style="solid",shape="box"];1926 -> 2399[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2399 -> 1978[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2400[label="wu106/Zero",fontsize=10,color="white",style="solid",shape="box"];1926 -> 2400[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2400 -> 1979[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	1927[label="primPlusNat Zero wu106",fontsize=16,color="burlywood",shape="box"];2401[label="wu106/Succ wu1060",fontsize=10,color="white",style="solid",shape="box"];1927 -> 2401[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2401 -> 1980[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	2402[label="wu106/Zero",fontsize=10,color="white",style="solid",shape="box"];1927 -> 2402[label="",style="solid", color="burlywood", weight=9];
12.41/4.95	2402 -> 1981[label="",style="solid", color="burlywood", weight=3];
12.41/4.95	1899[label="wu750",fontsize=16,color="green",shape="box"];1900[label="wu730",fontsize=16,color="green",shape="box"];2148 -> 1814[label="",style="dashed", color="red", weight=0];
12.41/4.95	2148[label="primMinusNat (Succ wu135) (Succ wu133)",fontsize=16,color="magenta"];2148 -> 2153[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	2148 -> 2154[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	1978[label="primPlusNat (Succ wu1080) (Succ wu1060)",fontsize=16,color="black",shape="box"];1978 -> 1994[label="",style="solid", color="black", weight=3];
12.41/4.95	1979[label="primPlusNat (Succ wu1080) Zero",fontsize=16,color="black",shape="box"];1979 -> 1995[label="",style="solid", color="black", weight=3];
12.41/4.95	1980[label="primPlusNat Zero (Succ wu1060)",fontsize=16,color="black",shape="box"];1980 -> 1996[label="",style="solid", color="black", weight=3];
12.41/4.95	1981[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1981 -> 1997[label="",style="solid", color="black", weight=3];
12.41/4.95	2153[label="Succ wu133",fontsize=16,color="green",shape="box"];2154[label="Succ wu135",fontsize=16,color="green",shape="box"];1994[label="Succ (Succ (primPlusNat wu1080 wu1060))",fontsize=16,color="green",shape="box"];1994 -> 2007[label="",style="dashed", color="green", weight=3];
12.41/4.95	1995[label="Succ wu1080",fontsize=16,color="green",shape="box"];1996[label="Succ wu1060",fontsize=16,color="green",shape="box"];1997[label="Zero",fontsize=16,color="green",shape="box"];2007 -> 1915[label="",style="dashed", color="red", weight=0];
12.41/4.95	2007[label="primPlusNat wu1080 wu1060",fontsize=16,color="magenta"];2007 -> 2017[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	2007 -> 2018[label="",style="dashed", color="magenta", weight=3];
12.41/4.95	2017[label="wu1080",fontsize=16,color="green",shape="box"];2018[label="wu1060",fontsize=16,color="green",shape="box"];}
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(6)
12.41/4.95	Complex Obligation (AND)
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(7)
12.41/4.95	Obligation:
12.41/4.95	Q DP problem:
12.41/4.95	The TRS P consists of the following rules:
12.41/4.95	
12.41/4.95	   new_index13(wu117, wu118, Main.Succ(wu1190), Main.Succ(wu1200)) -> new_index13(wu117, wu118, wu1190, wu1200)
12.41/4.95	
12.41/4.95	R is empty.
12.41/4.95	Q is empty.
12.41/4.95	We have to consider all minimal (P,Q,R)-chains.
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(8) QDPSizeChangeProof (EQUIVALENT)
12.41/4.95	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. 
12.41/4.95	
12.41/4.95	From the DPs we obtained the following set of size-change graphs:
12.41/4.95	*new_index13(wu117, wu118, Main.Succ(wu1190), Main.Succ(wu1200)) -> new_index13(wu117, wu118, wu1190, wu1200)
12.41/4.95	The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4
12.41/4.95	
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(9)
12.41/4.95	YES
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(10)
12.41/4.95	Obligation:
12.41/4.95	Q DP problem:
12.41/4.95	The TRS P consists of the following rules:
12.41/4.95	
12.41/4.95	   new_index11(wu73, wu74, wu75, Main.Succ(wu760), Main.Succ(wu770)) -> new_index11(wu73, wu74, wu75, wu760, wu770)
12.41/4.95	
12.41/4.95	R is empty.
12.41/4.95	Q is empty.
12.41/4.95	We have to consider all minimal (P,Q,R)-chains.
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(11) QDPSizeChangeProof (EQUIVALENT)
12.41/4.95	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. 
12.41/4.95	
12.41/4.95	From the DPs we obtained the following set of size-change graphs:
12.41/4.95	*new_index11(wu73, wu74, wu75, Main.Succ(wu760), Main.Succ(wu770)) -> new_index11(wu73, wu74, wu75, wu760, wu770)
12.41/4.95	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5
12.41/4.95	
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(12)
12.41/4.95	YES
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(13)
12.41/4.95	Obligation:
12.41/4.95	Q DP problem:
12.41/4.95	The TRS P consists of the following rules:
12.41/4.95	
12.41/4.95	   new_index10(wu167, wu168, wu169, Main.Succ(wu1700), Main.Succ(wu1710)) -> new_index10(wu167, wu168, wu169, wu1700, wu1710)
12.41/4.95	
12.41/4.95	R is empty.
12.41/4.95	Q is empty.
12.41/4.95	We have to consider all minimal (P,Q,R)-chains.
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(14) QDPSizeChangeProof (EQUIVALENT)
12.41/4.95	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. 
12.41/4.95	
12.41/4.95	From the DPs we obtained the following set of size-change graphs:
12.41/4.95	*new_index10(wu167, wu168, wu169, Main.Succ(wu1700), Main.Succ(wu1710)) -> new_index10(wu167, wu168, wu169, wu1700, wu1710)
12.41/4.95	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5
12.41/4.95	
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(15)
12.41/4.95	YES
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(16)
12.41/4.95	Obligation:
12.41/4.95	Q DP problem:
12.41/4.95	The TRS P consists of the following rules:
12.41/4.95	
12.41/4.95	   new_index15(wu58, wu59, wu60, Main.Succ(wu610), Main.Succ(wu620)) -> new_index15(wu58, wu59, wu60, wu610, wu620)
12.41/4.95	
12.41/4.95	R is empty.
12.41/4.95	Q is empty.
12.41/4.95	We have to consider all minimal (P,Q,R)-chains.
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(17) QDPSizeChangeProof (EQUIVALENT)
12.41/4.95	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. 
12.41/4.95	
12.41/4.95	From the DPs we obtained the following set of size-change graphs:
12.41/4.95	*new_index15(wu58, wu59, wu60, Main.Succ(wu610), Main.Succ(wu620)) -> new_index15(wu58, wu59, wu60, wu610, wu620)
12.41/4.95	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5
12.41/4.95	
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(18)
12.41/4.95	YES
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(19)
12.41/4.95	Obligation:
12.41/4.95	Q DP problem:
12.41/4.95	The TRS P consists of the following rules:
12.41/4.95	
12.41/4.95	   new_primPlusNat(Main.Succ(wu1080), Main.Succ(wu1060)) -> new_primPlusNat(wu1080, wu1060)
12.41/4.95	
12.41/4.95	R is empty.
12.41/4.95	Q is empty.
12.41/4.95	We have to consider all minimal (P,Q,R)-chains.
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(20) QDPSizeChangeProof (EQUIVALENT)
12.41/4.95	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. 
12.41/4.95	
12.41/4.95	From the DPs we obtained the following set of size-change graphs:
12.41/4.95	*new_primPlusNat(Main.Succ(wu1080), Main.Succ(wu1060)) -> new_primPlusNat(wu1080, wu1060)
12.41/4.95	The graph contains the following edges 1 > 1, 2 > 2
12.41/4.95	
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(21)
12.41/4.95	YES
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(22)
12.41/4.95	Obligation:
12.41/4.95	Q DP problem:
12.41/4.95	The TRS P consists of the following rules:
12.41/4.95	
12.41/4.95	   new_primMinusNat(Main.Succ(wu730), Main.Succ(wu750)) -> new_primMinusNat(wu730, wu750)
12.41/4.95	
12.41/4.95	R is empty.
12.41/4.95	Q is empty.
12.41/4.95	We have to consider all minimal (P,Q,R)-chains.
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(23) QDPSizeChangeProof (EQUIVALENT)
12.41/4.95	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. 
12.41/4.95	
12.41/4.95	From the DPs we obtained the following set of size-change graphs:
12.41/4.95	*new_primMinusNat(Main.Succ(wu730), Main.Succ(wu750)) -> new_primMinusNat(wu730, wu750)
12.41/4.95	The graph contains the following edges 1 > 1, 2 > 2
12.41/4.95	
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(24)
12.41/4.95	YES
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(25)
12.41/4.95	Obligation:
12.41/4.95	Q DP problem:
12.41/4.95	The TRS P consists of the following rules:
12.41/4.95	
12.41/4.95	   new_index12(wu106, wu107, wu108, Main.Succ(wu1090), Main.Succ(wu1100)) -> new_index12(wu106, wu107, wu108, wu1090, wu1100)
12.41/4.95	
12.41/4.95	R is empty.
12.41/4.95	Q is empty.
12.41/4.95	We have to consider all minimal (P,Q,R)-chains.
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(26) QDPSizeChangeProof (EQUIVALENT)
12.41/4.95	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. 
12.41/4.95	
12.41/4.95	From the DPs we obtained the following set of size-change graphs:
12.41/4.95	*new_index12(wu106, wu107, wu108, Main.Succ(wu1090), Main.Succ(wu1100)) -> new_index12(wu106, wu107, wu108, wu1090, wu1100)
12.41/4.95	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5
12.41/4.95	
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(27)
12.41/4.95	YES
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(28)
12.41/4.95	Obligation:
12.41/4.95	Q DP problem:
12.41/4.95	The TRS P consists of the following rules:
12.41/4.95	
12.41/4.95	   new_index14(wu133, wu134, wu135, Main.Succ(wu1360), Main.Succ(wu1370)) -> new_index14(wu133, wu134, wu135, wu1360, wu1370)
12.41/4.95	
12.41/4.95	R is empty.
12.41/4.95	Q is empty.
12.41/4.95	We have to consider all minimal (P,Q,R)-chains.
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(29) QDPSizeChangeProof (EQUIVALENT)
12.41/4.95	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. 
12.41/4.95	
12.41/4.95	From the DPs we obtained the following set of size-change graphs:
12.41/4.95	*new_index14(wu133, wu134, wu135, Main.Succ(wu1360), Main.Succ(wu1370)) -> new_index14(wu133, wu134, wu135, wu1360, wu1370)
12.41/4.95	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5
12.41/4.95	
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(30)
12.41/4.95	YES
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(31)
12.41/4.95	Obligation:
12.41/4.95	Q DP problem:
12.41/4.95	The TRS P consists of the following rules:
12.41/4.95	
12.41/4.95	   new_index1(wu112, wu113, Main.Succ(wu1140), Main.Succ(wu1150)) -> new_index1(wu112, wu113, wu1140, wu1150)
12.41/4.95	
12.41/4.95	R is empty.
12.41/4.95	Q is empty.
12.41/4.95	We have to consider all minimal (P,Q,R)-chains.
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(32) QDPSizeChangeProof (EQUIVALENT)
12.41/4.95	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. 
12.41/4.95	
12.41/4.95	From the DPs we obtained the following set of size-change graphs:
12.41/4.95	*new_index1(wu112, wu113, Main.Succ(wu1140), Main.Succ(wu1150)) -> new_index1(wu112, wu113, wu1140, wu1150)
12.41/4.95	The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4
12.41/4.95	
12.41/4.95	
12.41/4.95	----------------------------------------
12.41/4.95	
12.41/4.95	(33)
12.41/4.95	YES
12.52/5.00	EOF