10.12/4.24	YES
12.07/4.82	proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
12.07/4.82	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
12.07/4.82	
12.07/4.82	
12.07/4.82	H-Termination with start terms of the given HASKELL could be proven:
12.07/4.82	
12.07/4.82	(0) HASKELL
12.07/4.82	(1) BR [EQUIVALENT, 0 ms]
12.07/4.82	(2) HASKELL
12.07/4.82	(3) COR [EQUIVALENT, 0 ms]
12.07/4.82	(4) HASKELL
12.07/4.82	(5) Narrow [SOUND, 0 ms]
12.07/4.82	(6) AND
12.07/4.82	    (7) QDP
12.07/4.82	        (8) QDPSizeChangeProof [EQUIVALENT, 2 ms]
12.07/4.82	        (9) YES
12.07/4.82	    (10) QDP
12.07/4.82	        (11) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.07/4.82	        (12) YES
12.07/4.82	    (13) QDP
12.07/4.82	        (14) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.07/4.82	        (15) YES
12.07/4.82	    (16) QDP
12.07/4.82	        (17) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.07/4.82	        (18) YES
12.07/4.82	    (19) QDP
12.07/4.82	        (20) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.07/4.82	        (21) YES
12.07/4.82	    (22) QDP
12.07/4.82	        (23) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.07/4.82	        (24) YES
12.07/4.82	    (25) QDP
12.07/4.82	        (26) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.07/4.82	        (27) YES
12.07/4.82	    (28) QDP
12.07/4.82	        (29) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.07/4.82	        (30) YES
12.07/4.82	    (31) QDP
12.07/4.82	        (32) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.07/4.82	        (33) YES
12.07/4.82	
12.07/4.82	
12.07/4.82	----------------------------------------
12.07/4.82	
12.07/4.82	(0)
12.07/4.82	Obligation:
12.07/4.82	mainModule Main 
12.07/4.82	module Main where {
12.07/4.82	import qualified Prelude;
12.07/4.82	data MyBool = MyTrue  | MyFalse ;
12.07/4.82	
12.07/4.82	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
12.07/4.82	
12.07/4.82	data Main.Nat = Succ Main.Nat  | Zero ;
12.07/4.82	
12.07/4.82	data Ordering = LT  | EQ  | GT ;
12.07/4.82	
12.07/4.82	data Tup2 a b = Tup2 a b ;
12.07/4.82	
12.07/4.82	asAs :: MyBool  ->  MyBool  ->  MyBool;
12.07/4.82	asAs MyFalse x = MyFalse;
12.07/4.82	asAs MyTrue x = x;
12.07/4.82	
12.07/4.82	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
12.07/4.82	compareMyInt = primCmpInt;
12.07/4.82	
12.07/4.82	error :: a;
12.07/4.82	error = stop MyTrue;
12.07/4.82	
12.07/4.82	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
12.07/4.82	esEsOrdering LT LT = MyTrue;
12.07/4.82	esEsOrdering LT EQ = MyFalse;
12.07/4.82	esEsOrdering LT GT = MyFalse;
12.07/4.82	esEsOrdering EQ LT = MyFalse;
12.07/4.82	esEsOrdering EQ EQ = MyTrue;
12.07/4.82	esEsOrdering EQ GT = MyFalse;
12.07/4.82	esEsOrdering GT LT = MyFalse;
12.07/4.82	esEsOrdering GT EQ = MyFalse;
12.07/4.82	esEsOrdering GT GT = MyTrue;
12.07/4.82	
12.07/4.82	fsEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
12.07/4.82	fsEsOrdering x y = not (esEsOrdering x y);
12.07/4.82	
12.07/4.82	inRangeMyInt :: Tup2 MyInt MyInt  ->  MyInt  ->  MyBool;
12.07/4.82	inRangeMyInt (Tup2 m n) i = asAs (ltEsMyInt m i) (ltEsMyInt i n);
12.07/4.82	
12.07/4.82	index0 vv vw i MyTrue = Main.error;
12.07/4.82	
12.07/4.82	index1 vv vw i MyTrue = msMyInt i vv;
12.07/4.82	index1 vv vw i MyFalse = index0 vv vw i otherwise;
12.07/4.82	
12.07/4.82	index2 (Tup2 vv vw) i = index1 vv vw i (inRangeMyInt (Tup2 vv vw) i);
12.07/4.82	
12.07/4.82	indexMyInt :: Tup2 MyInt MyInt  ->  MyInt  ->  MyInt;
12.07/4.82	indexMyInt (Tup2 vv vw) i = index2 (Tup2 vv vw) i;
12.07/4.82	
12.07/4.82	ltEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
12.07/4.82	ltEsMyInt x y = fsEsOrdering (compareMyInt x y) GT;
12.07/4.82	
12.07/4.82	msMyInt :: MyInt  ->  MyInt  ->  MyInt;
12.07/4.82	msMyInt = primMinusInt;
12.07/4.82	
12.07/4.82	not :: MyBool  ->  MyBool;
12.07/4.82	not MyTrue = MyFalse;
12.07/4.82	not MyFalse = MyTrue;
12.07/4.82	
12.07/4.82	otherwise :: MyBool;
12.07/4.82	otherwise = MyTrue;
12.07/4.82	
12.07/4.82	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
12.07/4.82	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
12.07/4.82	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
12.07/4.82	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
12.07/4.82	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
12.07/4.82	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
12.07/4.82	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
12.07/4.82	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
12.07/4.82	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
12.07/4.82	
12.07/4.82	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
12.07/4.82	primCmpNat Main.Zero Main.Zero = EQ;
12.07/4.82	primCmpNat Main.Zero (Main.Succ y) = LT;
12.07/4.82	primCmpNat (Main.Succ x) Main.Zero = GT;
12.07/4.82	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
12.07/4.82	
12.07/4.82	primMinusInt :: MyInt  ->  MyInt  ->  MyInt;
12.07/4.82	primMinusInt (Main.Pos x) (Main.Neg y) = Main.Pos (primPlusNat x y);
12.07/4.82	primMinusInt (Main.Neg x) (Main.Pos y) = Main.Neg (primPlusNat x y);
12.07/4.82	primMinusInt (Main.Neg x) (Main.Neg y) = primMinusNat y x;
12.07/4.82	primMinusInt (Main.Pos x) (Main.Pos y) = primMinusNat x y;
12.07/4.82	
12.07/4.82	primMinusNat :: Main.Nat  ->  Main.Nat  ->  MyInt;
12.07/4.82	primMinusNat Main.Zero Main.Zero = Main.Pos Main.Zero;
12.07/4.82	primMinusNat Main.Zero (Main.Succ y) = Main.Neg (Main.Succ y);
12.07/4.82	primMinusNat (Main.Succ x) Main.Zero = Main.Pos (Main.Succ x);
12.07/4.82	primMinusNat (Main.Succ x) (Main.Succ y) = primMinusNat x y;
12.07/4.82	
12.07/4.82	primPlusNat :: Main.Nat  ->  Main.Nat  ->  Main.Nat;
12.07/4.82	primPlusNat Main.Zero Main.Zero = Main.Zero;
12.07/4.82	primPlusNat Main.Zero (Main.Succ y) = Main.Succ y;
12.07/4.82	primPlusNat (Main.Succ x) Main.Zero = Main.Succ x;
12.07/4.82	primPlusNat (Main.Succ x) (Main.Succ y) = Main.Succ (Main.Succ (primPlusNat x y));
12.07/4.82	
12.07/4.82	stop :: MyBool  ->  a;
12.07/4.82	stop MyFalse = stop MyFalse;
12.07/4.82	
12.07/4.82	}
12.07/4.82	
12.07/4.82	----------------------------------------
12.07/4.82	
12.07/4.82	(1) BR (EQUIVALENT)
12.07/4.82	Replaced joker patterns by fresh variables and removed binding patterns.
12.07/4.82	----------------------------------------
12.07/4.82	
12.07/4.82	(2)
12.07/4.82	Obligation:
12.07/4.82	mainModule Main 
12.07/4.82	module Main where {
12.07/4.82	import qualified Prelude;
12.07/4.82	data MyBool = MyTrue  | MyFalse ;
12.07/4.82	
12.07/4.82	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
12.07/4.82	
12.07/4.82	data Main.Nat = Succ Main.Nat  | Zero ;
12.07/4.82	
12.07/4.82	data Ordering = LT  | EQ  | GT ;
12.07/4.82	
12.07/4.82	data Tup2 a b = Tup2 a b ;
12.07/4.82	
12.07/4.82	asAs :: MyBool  ->  MyBool  ->  MyBool;
12.07/4.82	asAs MyFalse x = MyFalse;
12.07/4.82	asAs MyTrue x = x;
12.07/4.82	
12.07/4.82	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
12.07/4.82	compareMyInt = primCmpInt;
12.07/4.82	
12.07/4.82	error :: a;
12.07/4.82	error = stop MyTrue;
12.07/4.82	
12.07/4.82	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
12.07/4.82	esEsOrdering LT LT = MyTrue;
12.07/4.82	esEsOrdering LT EQ = MyFalse;
12.07/4.82	esEsOrdering LT GT = MyFalse;
12.07/4.82	esEsOrdering EQ LT = MyFalse;
12.07/4.82	esEsOrdering EQ EQ = MyTrue;
12.07/4.82	esEsOrdering EQ GT = MyFalse;
12.07/4.82	esEsOrdering GT LT = MyFalse;
12.07/4.82	esEsOrdering GT EQ = MyFalse;
12.07/4.82	esEsOrdering GT GT = MyTrue;
12.07/4.82	
12.07/4.82	fsEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
12.07/4.82	fsEsOrdering x y = not (esEsOrdering x y);
12.07/4.82	
12.07/4.82	inRangeMyInt :: Tup2 MyInt MyInt  ->  MyInt  ->  MyBool;
12.07/4.82	inRangeMyInt (Tup2 m n) i = asAs (ltEsMyInt m i) (ltEsMyInt i n);
12.07/4.82	
12.07/4.82	index0 vv vw i MyTrue = Main.error;
12.07/4.82	
12.07/4.82	index1 vv vw i MyTrue = msMyInt i vv;
12.07/4.82	index1 vv vw i MyFalse = index0 vv vw i otherwise;
12.07/4.82	
12.07/4.82	index2 (Tup2 vv vw) i = index1 vv vw i (inRangeMyInt (Tup2 vv vw) i);
12.07/4.82	
12.07/4.82	indexMyInt :: Tup2 MyInt MyInt  ->  MyInt  ->  MyInt;
12.07/4.82	indexMyInt (Tup2 vv vw) i = index2 (Tup2 vv vw) i;
12.07/4.82	
12.07/4.82	ltEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
12.07/4.82	ltEsMyInt x y = fsEsOrdering (compareMyInt x y) GT;
12.07/4.82	
12.07/4.82	msMyInt :: MyInt  ->  MyInt  ->  MyInt;
12.07/4.82	msMyInt = primMinusInt;
12.07/4.82	
12.07/4.82	not :: MyBool  ->  MyBool;
12.07/4.82	not MyTrue = MyFalse;
12.07/4.82	not MyFalse = MyTrue;
12.07/4.82	
12.07/4.82	otherwise :: MyBool;
12.07/4.82	otherwise = MyTrue;
12.07/4.82	
12.07/4.82	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
12.07/4.82	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
12.07/4.82	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
12.07/4.82	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
12.07/4.82	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
12.07/4.82	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
12.07/4.82	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
12.07/4.82	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
12.07/4.82	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
12.07/4.82	
12.07/4.82	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
12.07/4.82	primCmpNat Main.Zero Main.Zero = EQ;
12.07/4.82	primCmpNat Main.Zero (Main.Succ y) = LT;
12.07/4.82	primCmpNat (Main.Succ x) Main.Zero = GT;
12.07/4.82	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
12.07/4.82	
12.07/4.82	primMinusInt :: MyInt  ->  MyInt  ->  MyInt;
12.07/4.82	primMinusInt (Main.Pos x) (Main.Neg y) = Main.Pos (primPlusNat x y);
12.07/4.82	primMinusInt (Main.Neg x) (Main.Pos y) = Main.Neg (primPlusNat x y);
12.07/4.82	primMinusInt (Main.Neg x) (Main.Neg y) = primMinusNat y x;
12.07/4.82	primMinusInt (Main.Pos x) (Main.Pos y) = primMinusNat x y;
12.07/4.82	
12.07/4.82	primMinusNat :: Main.Nat  ->  Main.Nat  ->  MyInt;
12.07/4.82	primMinusNat Main.Zero Main.Zero = Main.Pos Main.Zero;
12.07/4.82	primMinusNat Main.Zero (Main.Succ y) = Main.Neg (Main.Succ y);
12.07/4.82	primMinusNat (Main.Succ x) Main.Zero = Main.Pos (Main.Succ x);
12.07/4.82	primMinusNat (Main.Succ x) (Main.Succ y) = primMinusNat x y;
12.07/4.82	
12.07/4.82	primPlusNat :: Main.Nat  ->  Main.Nat  ->  Main.Nat;
12.07/4.82	primPlusNat Main.Zero Main.Zero = Main.Zero;
12.07/4.82	primPlusNat Main.Zero (Main.Succ y) = Main.Succ y;
12.07/4.82	primPlusNat (Main.Succ x) Main.Zero = Main.Succ x;
12.07/4.82	primPlusNat (Main.Succ x) (Main.Succ y) = Main.Succ (Main.Succ (primPlusNat x y));
12.07/4.82	
12.07/4.82	stop :: MyBool  ->  a;
12.07/4.82	stop MyFalse = stop MyFalse;
12.07/4.82	
12.07/4.82	}
12.07/4.82	
12.07/4.82	----------------------------------------
12.07/4.82	
12.07/4.82	(3) COR (EQUIVALENT)
12.07/4.82	Cond Reductions:
12.07/4.82	The following Function with conditions
12.07/4.82	"undefined |Falseundefined;
12.07/4.82	"
12.07/4.82	is transformed to
12.07/4.82	"undefined  = undefined1;
12.07/4.82	"
12.07/4.82	"undefined0 True = undefined;
12.07/4.82	"
12.07/4.82	"undefined1  = undefined0 False;
12.07/4.82	"
12.07/4.82	
12.07/4.82	----------------------------------------
12.07/4.82	
12.07/4.82	(4)
12.07/4.82	Obligation:
12.07/4.82	mainModule Main 
12.07/4.82	module Main where {
12.07/4.82	import qualified Prelude;
12.07/4.82	data MyBool = MyTrue  | MyFalse ;
12.07/4.82	
12.07/4.82	data MyInt = Pos Main.Nat  | Neg Main.Nat ;
12.07/4.82	
12.07/4.82	data Main.Nat = Succ Main.Nat  | Zero ;
12.07/4.82	
12.07/4.82	data Ordering = LT  | EQ  | GT ;
12.07/4.82	
12.07/4.82	data Tup2 a b = Tup2 a b ;
12.07/4.82	
12.07/4.82	asAs :: MyBool  ->  MyBool  ->  MyBool;
12.07/4.82	asAs MyFalse x = MyFalse;
12.07/4.82	asAs MyTrue x = x;
12.07/4.82	
12.07/4.82	compareMyInt :: MyInt  ->  MyInt  ->  Ordering;
12.07/4.82	compareMyInt = primCmpInt;
12.07/4.82	
12.07/4.82	error :: a;
12.07/4.82	error = stop MyTrue;
12.07/4.82	
12.07/4.82	esEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
12.07/4.82	esEsOrdering LT LT = MyTrue;
12.07/4.82	esEsOrdering LT EQ = MyFalse;
12.07/4.82	esEsOrdering LT GT = MyFalse;
12.07/4.82	esEsOrdering EQ LT = MyFalse;
12.07/4.82	esEsOrdering EQ EQ = MyTrue;
12.07/4.82	esEsOrdering EQ GT = MyFalse;
12.07/4.82	esEsOrdering GT LT = MyFalse;
12.07/4.82	esEsOrdering GT EQ = MyFalse;
12.07/4.82	esEsOrdering GT GT = MyTrue;
12.07/4.82	
12.07/4.82	fsEsOrdering :: Ordering  ->  Ordering  ->  MyBool;
12.07/4.82	fsEsOrdering x y = not (esEsOrdering x y);
12.07/4.82	
12.07/4.82	inRangeMyInt :: Tup2 MyInt MyInt  ->  MyInt  ->  MyBool;
12.07/4.82	inRangeMyInt (Tup2 m n) i = asAs (ltEsMyInt m i) (ltEsMyInt i n);
12.07/4.82	
12.07/4.82	index0 vv vw i MyTrue = Main.error;
12.07/4.82	
12.07/4.82	index1 vv vw i MyTrue = msMyInt i vv;
12.07/4.82	index1 vv vw i MyFalse = index0 vv vw i otherwise;
12.07/4.82	
12.07/4.82	index2 (Tup2 vv vw) i = index1 vv vw i (inRangeMyInt (Tup2 vv vw) i);
12.07/4.82	
12.07/4.82	indexMyInt :: Tup2 MyInt MyInt  ->  MyInt  ->  MyInt;
12.07/4.82	indexMyInt (Tup2 vv vw) i = index2 (Tup2 vv vw) i;
12.07/4.82	
12.07/4.82	ltEsMyInt :: MyInt  ->  MyInt  ->  MyBool;
12.07/4.82	ltEsMyInt x y = fsEsOrdering (compareMyInt x y) GT;
12.07/4.82	
12.07/4.82	msMyInt :: MyInt  ->  MyInt  ->  MyInt;
12.07/4.82	msMyInt = primMinusInt;
12.07/4.82	
12.07/4.82	not :: MyBool  ->  MyBool;
12.07/4.82	not MyTrue = MyFalse;
12.07/4.82	not MyFalse = MyTrue;
12.07/4.82	
12.07/4.82	otherwise :: MyBool;
12.07/4.82	otherwise = MyTrue;
12.07/4.82	
12.07/4.82	primCmpInt :: MyInt  ->  MyInt  ->  Ordering;
12.07/4.82	primCmpInt (Main.Pos Main.Zero) (Main.Pos Main.Zero) = EQ;
12.07/4.82	primCmpInt (Main.Pos Main.Zero) (Main.Neg Main.Zero) = EQ;
12.07/4.82	primCmpInt (Main.Neg Main.Zero) (Main.Pos Main.Zero) = EQ;
12.07/4.82	primCmpInt (Main.Neg Main.Zero) (Main.Neg Main.Zero) = EQ;
12.07/4.82	primCmpInt (Main.Pos x) (Main.Pos y) = primCmpNat x y;
12.07/4.82	primCmpInt (Main.Pos x) (Main.Neg y) = GT;
12.07/4.82	primCmpInt (Main.Neg x) (Main.Pos y) = LT;
12.07/4.82	primCmpInt (Main.Neg x) (Main.Neg y) = primCmpNat y x;
12.07/4.82	
12.07/4.82	primCmpNat :: Main.Nat  ->  Main.Nat  ->  Ordering;
12.07/4.82	primCmpNat Main.Zero Main.Zero = EQ;
12.07/4.82	primCmpNat Main.Zero (Main.Succ y) = LT;
12.07/4.82	primCmpNat (Main.Succ x) Main.Zero = GT;
12.07/4.82	primCmpNat (Main.Succ x) (Main.Succ y) = primCmpNat x y;
12.07/4.82	
12.07/4.82	primMinusInt :: MyInt  ->  MyInt  ->  MyInt;
12.07/4.82	primMinusInt (Main.Pos x) (Main.Neg y) = Main.Pos (primPlusNat x y);
12.07/4.82	primMinusInt (Main.Neg x) (Main.Pos y) = Main.Neg (primPlusNat x y);
12.07/4.82	primMinusInt (Main.Neg x) (Main.Neg y) = primMinusNat y x;
12.07/4.82	primMinusInt (Main.Pos x) (Main.Pos y) = primMinusNat x y;
12.07/4.82	
12.07/4.82	primMinusNat :: Main.Nat  ->  Main.Nat  ->  MyInt;
12.07/4.82	primMinusNat Main.Zero Main.Zero = Main.Pos Main.Zero;
12.07/4.82	primMinusNat Main.Zero (Main.Succ y) = Main.Neg (Main.Succ y);
12.07/4.82	primMinusNat (Main.Succ x) Main.Zero = Main.Pos (Main.Succ x);
12.07/4.82	primMinusNat (Main.Succ x) (Main.Succ y) = primMinusNat x y;
12.07/4.82	
12.07/4.82	primPlusNat :: Main.Nat  ->  Main.Nat  ->  Main.Nat;
12.07/4.82	primPlusNat Main.Zero Main.Zero = Main.Zero;
12.07/4.82	primPlusNat Main.Zero (Main.Succ y) = Main.Succ y;
12.07/4.82	primPlusNat (Main.Succ x) Main.Zero = Main.Succ x;
12.07/4.82	primPlusNat (Main.Succ x) (Main.Succ y) = Main.Succ (Main.Succ (primPlusNat x y));
12.07/4.82	
12.07/4.82	stop :: MyBool  ->  a;
12.07/4.82	stop MyFalse = stop MyFalse;
12.07/4.82	
12.07/4.82	}
12.07/4.82	
12.07/4.82	----------------------------------------
12.07/4.82	
12.07/4.82	(5) Narrow (SOUND)
12.07/4.82	Haskell To QDPs
12.07/4.82	
12.07/4.82	digraph dp_graph {
12.07/4.82	node [outthreshold=100, inthreshold=100];1[label="indexMyInt",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
12.07/4.82	3[label="indexMyInt vz3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
12.07/4.82	4[label="indexMyInt vz3 vz4",fontsize=16,color="burlywood",shape="triangle"];2087[label="vz3/Tup2 vz30 vz31",fontsize=10,color="white",style="solid",shape="box"];4 -> 2087[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2087 -> 5[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	5[label="indexMyInt (Tup2 vz30 vz31) vz4",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
12.07/4.82	6[label="index2 (Tup2 vz30 vz31) vz4",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
12.07/4.82	7[label="index1 vz30 vz31 vz4 (inRangeMyInt (Tup2 vz30 vz31) vz4)",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
12.07/4.82	8[label="index1 vz30 vz31 vz4 (asAs (ltEsMyInt vz30 vz4) (ltEsMyInt vz4 vz31))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
12.07/4.82	9[label="index1 vz30 vz31 vz4 (asAs (fsEsOrdering (compareMyInt vz30 vz4) GT) (ltEsMyInt vz4 vz31))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
12.07/4.82	10[label="index1 vz30 vz31 vz4 (asAs (not (esEsOrdering (compareMyInt vz30 vz4) GT)) (ltEsMyInt vz4 vz31))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3];
12.07/4.82	11[label="index1 vz30 vz31 vz4 (asAs (not (esEsOrdering (primCmpInt vz30 vz4) GT)) (ltEsMyInt vz4 vz31))",fontsize=16,color="burlywood",shape="box"];2088[label="vz30/Pos vz300",fontsize=10,color="white",style="solid",shape="box"];11 -> 2088[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2088 -> 12[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2089[label="vz30/Neg vz300",fontsize=10,color="white",style="solid",shape="box"];11 -> 2089[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2089 -> 13[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	12[label="index1 (Pos vz300) vz31 vz4 (asAs (not (esEsOrdering (primCmpInt (Pos vz300) vz4) GT)) (ltEsMyInt vz4 vz31))",fontsize=16,color="burlywood",shape="box"];2090[label="vz300/Succ vz3000",fontsize=10,color="white",style="solid",shape="box"];12 -> 2090[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2090 -> 14[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2091[label="vz300/Zero",fontsize=10,color="white",style="solid",shape="box"];12 -> 2091[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2091 -> 15[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	13[label="index1 (Neg vz300) vz31 vz4 (asAs (not (esEsOrdering (primCmpInt (Neg vz300) vz4) GT)) (ltEsMyInt vz4 vz31))",fontsize=16,color="burlywood",shape="box"];2092[label="vz300/Succ vz3000",fontsize=10,color="white",style="solid",shape="box"];13 -> 2092[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2092 -> 16[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2093[label="vz300/Zero",fontsize=10,color="white",style="solid",shape="box"];13 -> 2093[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2093 -> 17[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	14[label="index1 (Pos (Succ vz3000)) vz31 vz4 (asAs (not (esEsOrdering (primCmpInt (Pos (Succ vz3000)) vz4) GT)) (ltEsMyInt vz4 vz31))",fontsize=16,color="burlywood",shape="box"];2094[label="vz4/Pos vz40",fontsize=10,color="white",style="solid",shape="box"];14 -> 2094[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2094 -> 18[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2095[label="vz4/Neg vz40",fontsize=10,color="white",style="solid",shape="box"];14 -> 2095[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2095 -> 19[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	15[label="index1 (Pos Zero) vz31 vz4 (asAs (not (esEsOrdering (primCmpInt (Pos Zero) vz4) GT)) (ltEsMyInt vz4 vz31))",fontsize=16,color="burlywood",shape="box"];2096[label="vz4/Pos vz40",fontsize=10,color="white",style="solid",shape="box"];15 -> 2096[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2096 -> 20[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2097[label="vz4/Neg vz40",fontsize=10,color="white",style="solid",shape="box"];15 -> 2097[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2097 -> 21[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	16[label="index1 (Neg (Succ vz3000)) vz31 vz4 (asAs (not (esEsOrdering (primCmpInt (Neg (Succ vz3000)) vz4) GT)) (ltEsMyInt vz4 vz31))",fontsize=16,color="burlywood",shape="box"];2098[label="vz4/Pos vz40",fontsize=10,color="white",style="solid",shape="box"];16 -> 2098[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2098 -> 22[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2099[label="vz4/Neg vz40",fontsize=10,color="white",style="solid",shape="box"];16 -> 2099[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2099 -> 23[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	17[label="index1 (Neg Zero) vz31 vz4 (asAs (not (esEsOrdering (primCmpInt (Neg Zero) vz4) GT)) (ltEsMyInt vz4 vz31))",fontsize=16,color="burlywood",shape="box"];2100[label="vz4/Pos vz40",fontsize=10,color="white",style="solid",shape="box"];17 -> 2100[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2100 -> 24[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2101[label="vz4/Neg vz40",fontsize=10,color="white",style="solid",shape="box"];17 -> 2101[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2101 -> 25[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	18[label="index1 (Pos (Succ vz3000)) vz31 (Pos vz40) (asAs (not (esEsOrdering (primCmpInt (Pos (Succ vz3000)) (Pos vz40)) GT)) (ltEsMyInt (Pos vz40) vz31))",fontsize=16,color="black",shape="box"];18 -> 26[label="",style="solid", color="black", weight=3];
12.07/4.82	19[label="index1 (Pos (Succ vz3000)) vz31 (Neg vz40) (asAs (not (esEsOrdering (primCmpInt (Pos (Succ vz3000)) (Neg vz40)) GT)) (ltEsMyInt (Neg vz40) vz31))",fontsize=16,color="black",shape="box"];19 -> 27[label="",style="solid", color="black", weight=3];
12.07/4.82	20[label="index1 (Pos Zero) vz31 (Pos vz40) (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (Pos vz40)) GT)) (ltEsMyInt (Pos vz40) vz31))",fontsize=16,color="burlywood",shape="box"];2102[label="vz40/Succ vz400",fontsize=10,color="white",style="solid",shape="box"];20 -> 2102[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2102 -> 28[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2103[label="vz40/Zero",fontsize=10,color="white",style="solid",shape="box"];20 -> 2103[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2103 -> 29[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	21[label="index1 (Pos Zero) vz31 (Neg vz40) (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (Neg vz40)) GT)) (ltEsMyInt (Neg vz40) vz31))",fontsize=16,color="burlywood",shape="box"];2104[label="vz40/Succ vz400",fontsize=10,color="white",style="solid",shape="box"];21 -> 2104[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2104 -> 30[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2105[label="vz40/Zero",fontsize=10,color="white",style="solid",shape="box"];21 -> 2105[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2105 -> 31[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	22[label="index1 (Neg (Succ vz3000)) vz31 (Pos vz40) (asAs (not (esEsOrdering (primCmpInt (Neg (Succ vz3000)) (Pos vz40)) GT)) (ltEsMyInt (Pos vz40) vz31))",fontsize=16,color="black",shape="box"];22 -> 32[label="",style="solid", color="black", weight=3];
12.07/4.82	23[label="index1 (Neg (Succ vz3000)) vz31 (Neg vz40) (asAs (not (esEsOrdering (primCmpInt (Neg (Succ vz3000)) (Neg vz40)) GT)) (ltEsMyInt (Neg vz40) vz31))",fontsize=16,color="black",shape="box"];23 -> 33[label="",style="solid", color="black", weight=3];
12.07/4.82	24[label="index1 (Neg Zero) vz31 (Pos vz40) (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (Pos vz40)) GT)) (ltEsMyInt (Pos vz40) vz31))",fontsize=16,color="burlywood",shape="box"];2106[label="vz40/Succ vz400",fontsize=10,color="white",style="solid",shape="box"];24 -> 2106[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2106 -> 34[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2107[label="vz40/Zero",fontsize=10,color="white",style="solid",shape="box"];24 -> 2107[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2107 -> 35[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	25[label="index1 (Neg Zero) vz31 (Neg vz40) (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (Neg vz40)) GT)) (ltEsMyInt (Neg vz40) vz31))",fontsize=16,color="burlywood",shape="box"];2108[label="vz40/Succ vz400",fontsize=10,color="white",style="solid",shape="box"];25 -> 2108[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2108 -> 36[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2109[label="vz40/Zero",fontsize=10,color="white",style="solid",shape="box"];25 -> 2109[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2109 -> 37[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	26[label="index1 (Pos (Succ vz3000)) vz31 (Pos vz40) (asAs (not (esEsOrdering (primCmpNat (Succ vz3000) vz40) GT)) (ltEsMyInt (Pos vz40) vz31))",fontsize=16,color="burlywood",shape="box"];2110[label="vz40/Succ vz400",fontsize=10,color="white",style="solid",shape="box"];26 -> 2110[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2110 -> 38[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2111[label="vz40/Zero",fontsize=10,color="white",style="solid",shape="box"];26 -> 2111[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2111 -> 39[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	27[label="index1 (Pos (Succ vz3000)) vz31 (Neg vz40) (asAs (not (esEsOrdering GT GT)) (ltEsMyInt (Neg vz40) vz31))",fontsize=16,color="black",shape="box"];27 -> 40[label="",style="solid", color="black", weight=3];
12.07/4.82	28[label="index1 (Pos Zero) vz31 (Pos (Succ vz400)) (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ vz400))) GT)) (ltEsMyInt (Pos (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];28 -> 41[label="",style="solid", color="black", weight=3];
12.07/4.82	29[label="index1 (Pos Zero) vz31 (Pos Zero) (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) GT)) (ltEsMyInt (Pos Zero) vz31))",fontsize=16,color="black",shape="box"];29 -> 42[label="",style="solid", color="black", weight=3];
12.07/4.82	30[label="index1 (Pos Zero) vz31 (Neg (Succ vz400)) (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (Neg (Succ vz400))) GT)) (ltEsMyInt (Neg (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];30 -> 43[label="",style="solid", color="black", weight=3];
12.07/4.82	31[label="index1 (Pos Zero) vz31 (Neg Zero) (asAs (not (esEsOrdering (primCmpInt (Pos Zero) (Neg Zero)) GT)) (ltEsMyInt (Neg Zero) vz31))",fontsize=16,color="black",shape="box"];31 -> 44[label="",style="solid", color="black", weight=3];
12.07/4.82	32[label="index1 (Neg (Succ vz3000)) vz31 (Pos vz40) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (Pos vz40) vz31))",fontsize=16,color="black",shape="box"];32 -> 45[label="",style="solid", color="black", weight=3];
12.07/4.82	33[label="index1 (Neg (Succ vz3000)) vz31 (Neg vz40) (asAs (not (esEsOrdering (primCmpNat vz40 (Succ vz3000)) GT)) (ltEsMyInt (Neg vz40) vz31))",fontsize=16,color="burlywood",shape="box"];2112[label="vz40/Succ vz400",fontsize=10,color="white",style="solid",shape="box"];33 -> 2112[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2112 -> 46[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2113[label="vz40/Zero",fontsize=10,color="white",style="solid",shape="box"];33 -> 2113[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2113 -> 47[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	34[label="index1 (Neg Zero) vz31 (Pos (Succ vz400)) (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (Pos (Succ vz400))) GT)) (ltEsMyInt (Pos (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];34 -> 48[label="",style="solid", color="black", weight=3];
12.07/4.82	35[label="index1 (Neg Zero) vz31 (Pos Zero) (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (Pos Zero)) GT)) (ltEsMyInt (Pos Zero) vz31))",fontsize=16,color="black",shape="box"];35 -> 49[label="",style="solid", color="black", weight=3];
12.07/4.82	36[label="index1 (Neg Zero) vz31 (Neg (Succ vz400)) (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (Neg (Succ vz400))) GT)) (ltEsMyInt (Neg (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];36 -> 50[label="",style="solid", color="black", weight=3];
12.07/4.82	37[label="index1 (Neg Zero) vz31 (Neg Zero) (asAs (not (esEsOrdering (primCmpInt (Neg Zero) (Neg Zero)) GT)) (ltEsMyInt (Neg Zero) vz31))",fontsize=16,color="black",shape="box"];37 -> 51[label="",style="solid", color="black", weight=3];
12.07/4.82	38[label="index1 (Pos (Succ vz3000)) vz31 (Pos (Succ vz400)) (asAs (not (esEsOrdering (primCmpNat (Succ vz3000) (Succ vz400)) GT)) (ltEsMyInt (Pos (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];38 -> 52[label="",style="solid", color="black", weight=3];
12.07/4.82	39[label="index1 (Pos (Succ vz3000)) vz31 (Pos Zero) (asAs (not (esEsOrdering (primCmpNat (Succ vz3000) Zero) GT)) (ltEsMyInt (Pos Zero) vz31))",fontsize=16,color="black",shape="box"];39 -> 53[label="",style="solid", color="black", weight=3];
12.07/4.82	40[label="index1 (Pos (Succ vz3000)) vz31 (Neg vz40) (asAs (not MyTrue) (ltEsMyInt (Neg vz40) vz31))",fontsize=16,color="black",shape="box"];40 -> 54[label="",style="solid", color="black", weight=3];
12.07/4.82	41[label="index1 (Pos Zero) vz31 (Pos (Succ vz400)) (asAs (not (esEsOrdering (primCmpNat Zero (Succ vz400)) GT)) (ltEsMyInt (Pos (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];41 -> 55[label="",style="solid", color="black", weight=3];
12.07/4.82	42[label="index1 (Pos Zero) vz31 (Pos Zero) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (Pos Zero) vz31))",fontsize=16,color="black",shape="box"];42 -> 56[label="",style="solid", color="black", weight=3];
12.07/4.82	43[label="index1 (Pos Zero) vz31 (Neg (Succ vz400)) (asAs (not (esEsOrdering GT GT)) (ltEsMyInt (Neg (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];43 -> 57[label="",style="solid", color="black", weight=3];
12.07/4.82	44[label="index1 (Pos Zero) vz31 (Neg Zero) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (Neg Zero) vz31))",fontsize=16,color="black",shape="box"];44 -> 58[label="",style="solid", color="black", weight=3];
12.07/4.82	45[label="index1 (Neg (Succ vz3000)) vz31 (Pos vz40) (asAs (not MyFalse) (ltEsMyInt (Pos vz40) vz31))",fontsize=16,color="black",shape="box"];45 -> 59[label="",style="solid", color="black", weight=3];
12.07/4.82	46[label="index1 (Neg (Succ vz3000)) vz31 (Neg (Succ vz400)) (asAs (not (esEsOrdering (primCmpNat (Succ vz400) (Succ vz3000)) GT)) (ltEsMyInt (Neg (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];46 -> 60[label="",style="solid", color="black", weight=3];
12.07/4.82	47[label="index1 (Neg (Succ vz3000)) vz31 (Neg Zero) (asAs (not (esEsOrdering (primCmpNat Zero (Succ vz3000)) GT)) (ltEsMyInt (Neg Zero) vz31))",fontsize=16,color="black",shape="box"];47 -> 61[label="",style="solid", color="black", weight=3];
12.07/4.82	48[label="index1 (Neg Zero) vz31 (Pos (Succ vz400)) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (Pos (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];48 -> 62[label="",style="solid", color="black", weight=3];
12.07/4.82	49[label="index1 (Neg Zero) vz31 (Pos Zero) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (Pos Zero) vz31))",fontsize=16,color="black",shape="box"];49 -> 63[label="",style="solid", color="black", weight=3];
12.07/4.82	50[label="index1 (Neg Zero) vz31 (Neg (Succ vz400)) (asAs (not (esEsOrdering (primCmpNat (Succ vz400) Zero) GT)) (ltEsMyInt (Neg (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];50 -> 64[label="",style="solid", color="black", weight=3];
12.07/4.82	51[label="index1 (Neg Zero) vz31 (Neg Zero) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (Neg Zero) vz31))",fontsize=16,color="black",shape="box"];51 -> 65[label="",style="solid", color="black", weight=3];
12.07/4.82	52 -> 854[label="",style="dashed", color="red", weight=0];
12.07/4.82	52[label="index1 (Pos (Succ vz3000)) vz31 (Pos (Succ vz400)) (asAs (not (esEsOrdering (primCmpNat vz3000 vz400) GT)) (ltEsMyInt (Pos (Succ vz400)) vz31))",fontsize=16,color="magenta"];52 -> 855[label="",style="dashed", color="magenta", weight=3];
12.07/4.82	52 -> 856[label="",style="dashed", color="magenta", weight=3];
12.07/4.82	52 -> 857[label="",style="dashed", color="magenta", weight=3];
12.07/4.82	52 -> 858[label="",style="dashed", color="magenta", weight=3];
12.07/4.82	52 -> 859[label="",style="dashed", color="magenta", weight=3];
12.07/4.82	53[label="index1 (Pos (Succ vz3000)) vz31 (Pos Zero) (asAs (not (esEsOrdering GT GT)) (ltEsMyInt (Pos Zero) vz31))",fontsize=16,color="black",shape="box"];53 -> 68[label="",style="solid", color="black", weight=3];
12.07/4.82	54[label="index1 (Pos (Succ vz3000)) vz31 (Neg vz40) (asAs MyFalse (ltEsMyInt (Neg vz40) vz31))",fontsize=16,color="black",shape="box"];54 -> 69[label="",style="solid", color="black", weight=3];
12.07/4.82	55[label="index1 (Pos Zero) vz31 (Pos (Succ vz400)) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (Pos (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];55 -> 70[label="",style="solid", color="black", weight=3];
12.07/4.82	56[label="index1 (Pos Zero) vz31 (Pos Zero) (asAs (not MyFalse) (ltEsMyInt (Pos Zero) vz31))",fontsize=16,color="black",shape="box"];56 -> 71[label="",style="solid", color="black", weight=3];
12.07/4.82	57[label="index1 (Pos Zero) vz31 (Neg (Succ vz400)) (asAs (not MyTrue) (ltEsMyInt (Neg (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];57 -> 72[label="",style="solid", color="black", weight=3];
12.07/4.82	58[label="index1 (Pos Zero) vz31 (Neg Zero) (asAs (not MyFalse) (ltEsMyInt (Neg Zero) vz31))",fontsize=16,color="black",shape="box"];58 -> 73[label="",style="solid", color="black", weight=3];
12.07/4.82	59[label="index1 (Neg (Succ vz3000)) vz31 (Pos vz40) (asAs MyTrue (ltEsMyInt (Pos vz40) vz31))",fontsize=16,color="black",shape="box"];59 -> 74[label="",style="solid", color="black", weight=3];
12.07/4.82	60 -> 1102[label="",style="dashed", color="red", weight=0];
12.07/4.82	60[label="index1 (Neg (Succ vz3000)) vz31 (Neg (Succ vz400)) (asAs (not (esEsOrdering (primCmpNat vz400 vz3000) GT)) (ltEsMyInt (Neg (Succ vz400)) vz31))",fontsize=16,color="magenta"];60 -> 1103[label="",style="dashed", color="magenta", weight=3];
12.07/4.82	60 -> 1104[label="",style="dashed", color="magenta", weight=3];
12.07/4.82	60 -> 1105[label="",style="dashed", color="magenta", weight=3];
12.07/4.82	60 -> 1106[label="",style="dashed", color="magenta", weight=3];
12.07/4.82	60 -> 1107[label="",style="dashed", color="magenta", weight=3];
12.07/4.82	61[label="index1 (Neg (Succ vz3000)) vz31 (Neg Zero) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (Neg Zero) vz31))",fontsize=16,color="black",shape="box"];61 -> 77[label="",style="solid", color="black", weight=3];
12.07/4.82	62[label="index1 (Neg Zero) vz31 (Pos (Succ vz400)) (asAs (not MyFalse) (ltEsMyInt (Pos (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];62 -> 78[label="",style="solid", color="black", weight=3];
12.07/4.82	63[label="index1 (Neg Zero) vz31 (Pos Zero) (asAs (not MyFalse) (ltEsMyInt (Pos Zero) vz31))",fontsize=16,color="black",shape="box"];63 -> 79[label="",style="solid", color="black", weight=3];
12.07/4.82	64[label="index1 (Neg Zero) vz31 (Neg (Succ vz400)) (asAs (not (esEsOrdering GT GT)) (ltEsMyInt (Neg (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];64 -> 80[label="",style="solid", color="black", weight=3];
12.07/4.82	65[label="index1 (Neg Zero) vz31 (Neg Zero) (asAs (not MyFalse) (ltEsMyInt (Neg Zero) vz31))",fontsize=16,color="black",shape="box"];65 -> 81[label="",style="solid", color="black", weight=3];
12.07/4.82	855[label="vz400",fontsize=16,color="green",shape="box"];856[label="vz31",fontsize=16,color="green",shape="box"];857[label="vz3000",fontsize=16,color="green",shape="box"];858[label="vz3000",fontsize=16,color="green",shape="box"];859[label="vz400",fontsize=16,color="green",shape="box"];854[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (asAs (not (esEsOrdering (primCmpNat vz38 vz39) GT)) (ltEsMyInt (Pos (Succ vz37)) vz36))",fontsize=16,color="burlywood",shape="triangle"];2114[label="vz38/Succ vz380",fontsize=10,color="white",style="solid",shape="box"];854 -> 2114[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2114 -> 890[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2115[label="vz38/Zero",fontsize=10,color="white",style="solid",shape="box"];854 -> 2115[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2115 -> 891[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	68[label="index1 (Pos (Succ vz3000)) vz31 (Pos Zero) (asAs (not MyTrue) (ltEsMyInt (Pos Zero) vz31))",fontsize=16,color="black",shape="box"];68 -> 86[label="",style="solid", color="black", weight=3];
12.07/4.82	69[label="index1 (Pos (Succ vz3000)) vz31 (Neg vz40) MyFalse",fontsize=16,color="black",shape="box"];69 -> 87[label="",style="solid", color="black", weight=3];
12.07/4.82	70[label="index1 (Pos Zero) vz31 (Pos (Succ vz400)) (asAs (not MyFalse) (ltEsMyInt (Pos (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];70 -> 88[label="",style="solid", color="black", weight=3];
12.07/4.82	71[label="index1 (Pos Zero) vz31 (Pos Zero) (asAs MyTrue (ltEsMyInt (Pos Zero) vz31))",fontsize=16,color="black",shape="box"];71 -> 89[label="",style="solid", color="black", weight=3];
12.07/4.82	72[label="index1 (Pos Zero) vz31 (Neg (Succ vz400)) (asAs MyFalse (ltEsMyInt (Neg (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];72 -> 90[label="",style="solid", color="black", weight=3];
12.07/4.82	73[label="index1 (Pos Zero) vz31 (Neg Zero) (asAs MyTrue (ltEsMyInt (Neg Zero) vz31))",fontsize=16,color="black",shape="box"];73 -> 91[label="",style="solid", color="black", weight=3];
12.07/4.82	74[label="index1 (Neg (Succ vz3000)) vz31 (Pos vz40) (ltEsMyInt (Pos vz40) vz31)",fontsize=16,color="black",shape="box"];74 -> 92[label="",style="solid", color="black", weight=3];
12.07/4.82	1103[label="vz3000",fontsize=16,color="green",shape="box"];1104[label="vz3000",fontsize=16,color="green",shape="box"];1105[label="vz400",fontsize=16,color="green",shape="box"];1106[label="vz400",fontsize=16,color="green",shape="box"];1107[label="vz31",fontsize=16,color="green",shape="box"];1102[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (asAs (not (esEsOrdering (primCmpNat vz61 vz62) GT)) (ltEsMyInt (Neg (Succ vz60)) vz59))",fontsize=16,color="burlywood",shape="triangle"];2116[label="vz61/Succ vz610",fontsize=10,color="white",style="solid",shape="box"];1102 -> 2116[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2116 -> 1143[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2117[label="vz61/Zero",fontsize=10,color="white",style="solid",shape="box"];1102 -> 2117[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2117 -> 1144[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	77[label="index1 (Neg (Succ vz3000)) vz31 (Neg Zero) (asAs (not MyFalse) (ltEsMyInt (Neg Zero) vz31))",fontsize=16,color="black",shape="box"];77 -> 97[label="",style="solid", color="black", weight=3];
12.07/4.82	78[label="index1 (Neg Zero) vz31 (Pos (Succ vz400)) (asAs MyTrue (ltEsMyInt (Pos (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];78 -> 98[label="",style="solid", color="black", weight=3];
12.07/4.82	79[label="index1 (Neg Zero) vz31 (Pos Zero) (asAs MyTrue (ltEsMyInt (Pos Zero) vz31))",fontsize=16,color="black",shape="box"];79 -> 99[label="",style="solid", color="black", weight=3];
12.07/4.82	80[label="index1 (Neg Zero) vz31 (Neg (Succ vz400)) (asAs (not MyTrue) (ltEsMyInt (Neg (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];80 -> 100[label="",style="solid", color="black", weight=3];
12.07/4.82	81[label="index1 (Neg Zero) vz31 (Neg Zero) (asAs MyTrue (ltEsMyInt (Neg Zero) vz31))",fontsize=16,color="black",shape="box"];81 -> 101[label="",style="solid", color="black", weight=3];
12.07/4.82	890[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (asAs (not (esEsOrdering (primCmpNat (Succ vz380) vz39) GT)) (ltEsMyInt (Pos (Succ vz37)) vz36))",fontsize=16,color="burlywood",shape="box"];2118[label="vz39/Succ vz390",fontsize=10,color="white",style="solid",shape="box"];890 -> 2118[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2118 -> 933[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2119[label="vz39/Zero",fontsize=10,color="white",style="solid",shape="box"];890 -> 2119[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2119 -> 934[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	891[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (asAs (not (esEsOrdering (primCmpNat Zero vz39) GT)) (ltEsMyInt (Pos (Succ vz37)) vz36))",fontsize=16,color="burlywood",shape="box"];2120[label="vz39/Succ vz390",fontsize=10,color="white",style="solid",shape="box"];891 -> 2120[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2120 -> 935[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2121[label="vz39/Zero",fontsize=10,color="white",style="solid",shape="box"];891 -> 2121[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2121 -> 936[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	86[label="index1 (Pos (Succ vz3000)) vz31 (Pos Zero) (asAs MyFalse (ltEsMyInt (Pos Zero) vz31))",fontsize=16,color="black",shape="box"];86 -> 106[label="",style="solid", color="black", weight=3];
12.07/4.82	87[label="index0 (Pos (Succ vz3000)) vz31 (Neg vz40) otherwise",fontsize=16,color="black",shape="box"];87 -> 107[label="",style="solid", color="black", weight=3];
12.07/4.82	88[label="index1 (Pos Zero) vz31 (Pos (Succ vz400)) (asAs MyTrue (ltEsMyInt (Pos (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];88 -> 108[label="",style="solid", color="black", weight=3];
12.07/4.82	89[label="index1 (Pos Zero) vz31 (Pos Zero) (ltEsMyInt (Pos Zero) vz31)",fontsize=16,color="black",shape="box"];89 -> 109[label="",style="solid", color="black", weight=3];
12.07/4.82	90[label="index1 (Pos Zero) vz31 (Neg (Succ vz400)) MyFalse",fontsize=16,color="black",shape="box"];90 -> 110[label="",style="solid", color="black", weight=3];
12.07/4.82	91[label="index1 (Pos Zero) vz31 (Neg Zero) (ltEsMyInt (Neg Zero) vz31)",fontsize=16,color="black",shape="box"];91 -> 111[label="",style="solid", color="black", weight=3];
12.07/4.82	92[label="index1 (Neg (Succ vz3000)) vz31 (Pos vz40) (fsEsOrdering (compareMyInt (Pos vz40) vz31) GT)",fontsize=16,color="black",shape="box"];92 -> 112[label="",style="solid", color="black", weight=3];
12.07/4.82	1143[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (asAs (not (esEsOrdering (primCmpNat (Succ vz610) vz62) GT)) (ltEsMyInt (Neg (Succ vz60)) vz59))",fontsize=16,color="burlywood",shape="box"];2122[label="vz62/Succ vz620",fontsize=10,color="white",style="solid",shape="box"];1143 -> 2122[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2122 -> 1175[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2123[label="vz62/Zero",fontsize=10,color="white",style="solid",shape="box"];1143 -> 2123[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2123 -> 1176[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	1144[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (asAs (not (esEsOrdering (primCmpNat Zero vz62) GT)) (ltEsMyInt (Neg (Succ vz60)) vz59))",fontsize=16,color="burlywood",shape="box"];2124[label="vz62/Succ vz620",fontsize=10,color="white",style="solid",shape="box"];1144 -> 2124[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2124 -> 1177[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2125[label="vz62/Zero",fontsize=10,color="white",style="solid",shape="box"];1144 -> 2125[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2125 -> 1178[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	97[label="index1 (Neg (Succ vz3000)) vz31 (Neg Zero) (asAs MyTrue (ltEsMyInt (Neg Zero) vz31))",fontsize=16,color="black",shape="box"];97 -> 117[label="",style="solid", color="black", weight=3];
12.07/4.82	98[label="index1 (Neg Zero) vz31 (Pos (Succ vz400)) (ltEsMyInt (Pos (Succ vz400)) vz31)",fontsize=16,color="black",shape="box"];98 -> 118[label="",style="solid", color="black", weight=3];
12.07/4.82	99[label="index1 (Neg Zero) vz31 (Pos Zero) (ltEsMyInt (Pos Zero) vz31)",fontsize=16,color="black",shape="box"];99 -> 119[label="",style="solid", color="black", weight=3];
12.07/4.82	100[label="index1 (Neg Zero) vz31 (Neg (Succ vz400)) (asAs MyFalse (ltEsMyInt (Neg (Succ vz400)) vz31))",fontsize=16,color="black",shape="box"];100 -> 120[label="",style="solid", color="black", weight=3];
12.07/4.82	101[label="index1 (Neg Zero) vz31 (Neg Zero) (ltEsMyInt (Neg Zero) vz31)",fontsize=16,color="black",shape="box"];101 -> 121[label="",style="solid", color="black", weight=3];
12.07/4.82	933[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (asAs (not (esEsOrdering (primCmpNat (Succ vz380) (Succ vz390)) GT)) (ltEsMyInt (Pos (Succ vz37)) vz36))",fontsize=16,color="black",shape="box"];933 -> 995[label="",style="solid", color="black", weight=3];
12.07/4.82	934[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (asAs (not (esEsOrdering (primCmpNat (Succ vz380) Zero) GT)) (ltEsMyInt (Pos (Succ vz37)) vz36))",fontsize=16,color="black",shape="box"];934 -> 996[label="",style="solid", color="black", weight=3];
12.07/4.82	935[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (asAs (not (esEsOrdering (primCmpNat Zero (Succ vz390)) GT)) (ltEsMyInt (Pos (Succ vz37)) vz36))",fontsize=16,color="black",shape="box"];935 -> 997[label="",style="solid", color="black", weight=3];
12.07/4.82	936[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (asAs (not (esEsOrdering (primCmpNat Zero Zero) GT)) (ltEsMyInt (Pos (Succ vz37)) vz36))",fontsize=16,color="black",shape="box"];936 -> 998[label="",style="solid", color="black", weight=3];
12.07/4.82	106[label="index1 (Pos (Succ vz3000)) vz31 (Pos Zero) MyFalse",fontsize=16,color="black",shape="box"];106 -> 127[label="",style="solid", color="black", weight=3];
12.07/4.82	107[label="index0 (Pos (Succ vz3000)) vz31 (Neg vz40) MyTrue",fontsize=16,color="black",shape="box"];107 -> 128[label="",style="solid", color="black", weight=3];
12.07/4.82	108[label="index1 (Pos Zero) vz31 (Pos (Succ vz400)) (ltEsMyInt (Pos (Succ vz400)) vz31)",fontsize=16,color="black",shape="box"];108 -> 129[label="",style="solid", color="black", weight=3];
12.07/4.82	109[label="index1 (Pos Zero) vz31 (Pos Zero) (fsEsOrdering (compareMyInt (Pos Zero) vz31) GT)",fontsize=16,color="black",shape="box"];109 -> 130[label="",style="solid", color="black", weight=3];
12.07/4.82	110[label="index0 (Pos Zero) vz31 (Neg (Succ vz400)) otherwise",fontsize=16,color="black",shape="box"];110 -> 131[label="",style="solid", color="black", weight=3];
12.07/4.82	111[label="index1 (Pos Zero) vz31 (Neg Zero) (fsEsOrdering (compareMyInt (Neg Zero) vz31) GT)",fontsize=16,color="black",shape="box"];111 -> 132[label="",style="solid", color="black", weight=3];
12.07/4.82	112[label="index1 (Neg (Succ vz3000)) vz31 (Pos vz40) (not (esEsOrdering (compareMyInt (Pos vz40) vz31) GT))",fontsize=16,color="black",shape="box"];112 -> 133[label="",style="solid", color="black", weight=3];
12.07/4.82	1175[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (asAs (not (esEsOrdering (primCmpNat (Succ vz610) (Succ vz620)) GT)) (ltEsMyInt (Neg (Succ vz60)) vz59))",fontsize=16,color="black",shape="box"];1175 -> 1207[label="",style="solid", color="black", weight=3];
12.07/4.82	1176[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (asAs (not (esEsOrdering (primCmpNat (Succ vz610) Zero) GT)) (ltEsMyInt (Neg (Succ vz60)) vz59))",fontsize=16,color="black",shape="box"];1176 -> 1208[label="",style="solid", color="black", weight=3];
12.07/4.82	1177[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (asAs (not (esEsOrdering (primCmpNat Zero (Succ vz620)) GT)) (ltEsMyInt (Neg (Succ vz60)) vz59))",fontsize=16,color="black",shape="box"];1177 -> 1209[label="",style="solid", color="black", weight=3];
12.07/4.82	1178[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (asAs (not (esEsOrdering (primCmpNat Zero Zero) GT)) (ltEsMyInt (Neg (Succ vz60)) vz59))",fontsize=16,color="black",shape="box"];1178 -> 1210[label="",style="solid", color="black", weight=3];
12.07/4.82	117[label="index1 (Neg (Succ vz3000)) vz31 (Neg Zero) (ltEsMyInt (Neg Zero) vz31)",fontsize=16,color="black",shape="box"];117 -> 139[label="",style="solid", color="black", weight=3];
12.07/4.82	118[label="index1 (Neg Zero) vz31 (Pos (Succ vz400)) (fsEsOrdering (compareMyInt (Pos (Succ vz400)) vz31) GT)",fontsize=16,color="black",shape="box"];118 -> 140[label="",style="solid", color="black", weight=3];
12.07/4.82	119[label="index1 (Neg Zero) vz31 (Pos Zero) (fsEsOrdering (compareMyInt (Pos Zero) vz31) GT)",fontsize=16,color="black",shape="box"];119 -> 141[label="",style="solid", color="black", weight=3];
12.07/4.82	120[label="index1 (Neg Zero) vz31 (Neg (Succ vz400)) MyFalse",fontsize=16,color="black",shape="box"];120 -> 142[label="",style="solid", color="black", weight=3];
12.07/4.82	121[label="index1 (Neg Zero) vz31 (Neg Zero) (fsEsOrdering (compareMyInt (Neg Zero) vz31) GT)",fontsize=16,color="black",shape="box"];121 -> 143[label="",style="solid", color="black", weight=3];
12.07/4.82	995 -> 854[label="",style="dashed", color="red", weight=0];
12.07/4.82	995[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (asAs (not (esEsOrdering (primCmpNat vz380 vz390) GT)) (ltEsMyInt (Pos (Succ vz37)) vz36))",fontsize=16,color="magenta"];995 -> 1044[label="",style="dashed", color="magenta", weight=3];
12.07/4.82	995 -> 1045[label="",style="dashed", color="magenta", weight=3];
12.07/4.82	996[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (asAs (not (esEsOrdering GT GT)) (ltEsMyInt (Pos (Succ vz37)) vz36))",fontsize=16,color="black",shape="box"];996 -> 1046[label="",style="solid", color="black", weight=3];
12.07/4.82	997[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (Pos (Succ vz37)) vz36))",fontsize=16,color="black",shape="box"];997 -> 1047[label="",style="solid", color="black", weight=3];
12.07/4.82	998[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (Pos (Succ vz37)) vz36))",fontsize=16,color="black",shape="box"];998 -> 1048[label="",style="solid", color="black", weight=3];
12.07/4.82	127[label="index0 (Pos (Succ vz3000)) vz31 (Pos Zero) otherwise",fontsize=16,color="black",shape="box"];127 -> 151[label="",style="solid", color="black", weight=3];
12.07/4.82	128[label="error",fontsize=16,color="black",shape="triangle"];128 -> 152[label="",style="solid", color="black", weight=3];
12.07/4.82	129[label="index1 (Pos Zero) vz31 (Pos (Succ vz400)) (fsEsOrdering (compareMyInt (Pos (Succ vz400)) vz31) GT)",fontsize=16,color="black",shape="box"];129 -> 153[label="",style="solid", color="black", weight=3];
12.07/4.82	130[label="index1 (Pos Zero) vz31 (Pos Zero) (not (esEsOrdering (compareMyInt (Pos Zero) vz31) GT))",fontsize=16,color="black",shape="box"];130 -> 154[label="",style="solid", color="black", weight=3];
12.07/4.82	131[label="index0 (Pos Zero) vz31 (Neg (Succ vz400)) MyTrue",fontsize=16,color="black",shape="box"];131 -> 155[label="",style="solid", color="black", weight=3];
12.07/4.82	132[label="index1 (Pos Zero) vz31 (Neg Zero) (not (esEsOrdering (compareMyInt (Neg Zero) vz31) GT))",fontsize=16,color="black",shape="box"];132 -> 156[label="",style="solid", color="black", weight=3];
12.07/4.82	133[label="index1 (Neg (Succ vz3000)) vz31 (Pos vz40) (not (esEsOrdering (primCmpInt (Pos vz40) vz31) GT))",fontsize=16,color="burlywood",shape="box"];2126[label="vz40/Succ vz400",fontsize=10,color="white",style="solid",shape="box"];133 -> 2126[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2126 -> 157[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2127[label="vz40/Zero",fontsize=10,color="white",style="solid",shape="box"];133 -> 2127[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2127 -> 158[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	1207 -> 1102[label="",style="dashed", color="red", weight=0];
12.07/4.82	1207[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (asAs (not (esEsOrdering (primCmpNat vz610 vz620) GT)) (ltEsMyInt (Neg (Succ vz60)) vz59))",fontsize=16,color="magenta"];1207 -> 1238[label="",style="dashed", color="magenta", weight=3];
12.07/4.82	1207 -> 1239[label="",style="dashed", color="magenta", weight=3];
12.07/4.82	1208[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (asAs (not (esEsOrdering GT GT)) (ltEsMyInt (Neg (Succ vz60)) vz59))",fontsize=16,color="black",shape="box"];1208 -> 1240[label="",style="solid", color="black", weight=3];
12.07/4.82	1209[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (asAs (not (esEsOrdering LT GT)) (ltEsMyInt (Neg (Succ vz60)) vz59))",fontsize=16,color="black",shape="box"];1209 -> 1241[label="",style="solid", color="black", weight=3];
12.07/4.82	1210[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (asAs (not (esEsOrdering EQ GT)) (ltEsMyInt (Neg (Succ vz60)) vz59))",fontsize=16,color="black",shape="box"];1210 -> 1242[label="",style="solid", color="black", weight=3];
12.07/4.82	139[label="index1 (Neg (Succ vz3000)) vz31 (Neg Zero) (fsEsOrdering (compareMyInt (Neg Zero) vz31) GT)",fontsize=16,color="black",shape="box"];139 -> 166[label="",style="solid", color="black", weight=3];
12.07/4.82	140[label="index1 (Neg Zero) vz31 (Pos (Succ vz400)) (not (esEsOrdering (compareMyInt (Pos (Succ vz400)) vz31) GT))",fontsize=16,color="black",shape="box"];140 -> 167[label="",style="solid", color="black", weight=3];
12.07/4.82	141[label="index1 (Neg Zero) vz31 (Pos Zero) (not (esEsOrdering (compareMyInt (Pos Zero) vz31) GT))",fontsize=16,color="black",shape="box"];141 -> 168[label="",style="solid", color="black", weight=3];
12.07/4.82	142[label="index0 (Neg Zero) vz31 (Neg (Succ vz400)) otherwise",fontsize=16,color="black",shape="box"];142 -> 169[label="",style="solid", color="black", weight=3];
12.07/4.82	143[label="index1 (Neg Zero) vz31 (Neg Zero) (not (esEsOrdering (compareMyInt (Neg Zero) vz31) GT))",fontsize=16,color="black",shape="box"];143 -> 170[label="",style="solid", color="black", weight=3];
12.07/4.82	1044[label="vz380",fontsize=16,color="green",shape="box"];1045[label="vz390",fontsize=16,color="green",shape="box"];1046[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (asAs (not MyTrue) (ltEsMyInt (Pos (Succ vz37)) vz36))",fontsize=16,color="black",shape="box"];1046 -> 1064[label="",style="solid", color="black", weight=3];
12.07/4.82	1047[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (asAs (not MyFalse) (ltEsMyInt (Pos (Succ vz37)) vz36))",fontsize=16,color="black",shape="triangle"];1047 -> 1065[label="",style="solid", color="black", weight=3];
12.07/4.82	1048 -> 1047[label="",style="dashed", color="red", weight=0];
12.07/4.82	1048[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (asAs (not MyFalse) (ltEsMyInt (Pos (Succ vz37)) vz36))",fontsize=16,color="magenta"];151[label="index0 (Pos (Succ vz3000)) vz31 (Pos Zero) MyTrue",fontsize=16,color="black",shape="box"];151 -> 178[label="",style="solid", color="black", weight=3];
12.07/4.82	152[label="stop MyTrue",fontsize=16,color="black",shape="box"];152 -> 179[label="",style="solid", color="black", weight=3];
12.07/4.82	153[label="index1 (Pos Zero) vz31 (Pos (Succ vz400)) (not (esEsOrdering (compareMyInt (Pos (Succ vz400)) vz31) GT))",fontsize=16,color="black",shape="box"];153 -> 180[label="",style="solid", color="black", weight=3];
12.07/4.82	154[label="index1 (Pos Zero) vz31 (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) vz31) GT))",fontsize=16,color="burlywood",shape="box"];2128[label="vz31/Pos vz310",fontsize=10,color="white",style="solid",shape="box"];154 -> 2128[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2128 -> 181[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2129[label="vz31/Neg vz310",fontsize=10,color="white",style="solid",shape="box"];154 -> 2129[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2129 -> 182[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	155 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.82	155[label="error",fontsize=16,color="magenta"];156[label="index1 (Pos Zero) vz31 (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) vz31) GT))",fontsize=16,color="burlywood",shape="box"];2130[label="vz31/Pos vz310",fontsize=10,color="white",style="solid",shape="box"];156 -> 2130[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2130 -> 183[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2131[label="vz31/Neg vz310",fontsize=10,color="white",style="solid",shape="box"];156 -> 2131[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2131 -> 184[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	157[label="index1 (Neg (Succ vz3000)) vz31 (Pos (Succ vz400)) (not (esEsOrdering (primCmpInt (Pos (Succ vz400)) vz31) GT))",fontsize=16,color="burlywood",shape="box"];2132[label="vz31/Pos vz310",fontsize=10,color="white",style="solid",shape="box"];157 -> 2132[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2132 -> 185[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2133[label="vz31/Neg vz310",fontsize=10,color="white",style="solid",shape="box"];157 -> 2133[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2133 -> 186[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	158[label="index1 (Neg (Succ vz3000)) vz31 (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) vz31) GT))",fontsize=16,color="burlywood",shape="box"];2134[label="vz31/Pos vz310",fontsize=10,color="white",style="solid",shape="box"];158 -> 2134[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2134 -> 187[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2135[label="vz31/Neg vz310",fontsize=10,color="white",style="solid",shape="box"];158 -> 2135[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2135 -> 188[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	1238[label="vz620",fontsize=16,color="green",shape="box"];1239[label="vz610",fontsize=16,color="green",shape="box"];1240[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (asAs (not MyTrue) (ltEsMyInt (Neg (Succ vz60)) vz59))",fontsize=16,color="black",shape="box"];1240 -> 1273[label="",style="solid", color="black", weight=3];
12.07/4.82	1241[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (asAs (not MyFalse) (ltEsMyInt (Neg (Succ vz60)) vz59))",fontsize=16,color="black",shape="triangle"];1241 -> 1274[label="",style="solid", color="black", weight=3];
12.07/4.82	1242 -> 1241[label="",style="dashed", color="red", weight=0];
12.07/4.82	1242[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (asAs (not MyFalse) (ltEsMyInt (Neg (Succ vz60)) vz59))",fontsize=16,color="magenta"];166[label="index1 (Neg (Succ vz3000)) vz31 (Neg Zero) (not (esEsOrdering (compareMyInt (Neg Zero) vz31) GT))",fontsize=16,color="black",shape="box"];166 -> 196[label="",style="solid", color="black", weight=3];
12.07/4.82	167[label="index1 (Neg Zero) vz31 (Pos (Succ vz400)) (not (esEsOrdering (primCmpInt (Pos (Succ vz400)) vz31) GT))",fontsize=16,color="burlywood",shape="box"];2136[label="vz31/Pos vz310",fontsize=10,color="white",style="solid",shape="box"];167 -> 2136[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2136 -> 197[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2137[label="vz31/Neg vz310",fontsize=10,color="white",style="solid",shape="box"];167 -> 2137[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2137 -> 198[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	168[label="index1 (Neg Zero) vz31 (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) vz31) GT))",fontsize=16,color="burlywood",shape="box"];2138[label="vz31/Pos vz310",fontsize=10,color="white",style="solid",shape="box"];168 -> 2138[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2138 -> 199[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2139[label="vz31/Neg vz310",fontsize=10,color="white",style="solid",shape="box"];168 -> 2139[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2139 -> 200[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	169[label="index0 (Neg Zero) vz31 (Neg (Succ vz400)) MyTrue",fontsize=16,color="black",shape="box"];169 -> 201[label="",style="solid", color="black", weight=3];
12.07/4.82	170[label="index1 (Neg Zero) vz31 (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) vz31) GT))",fontsize=16,color="burlywood",shape="box"];2140[label="vz31/Pos vz310",fontsize=10,color="white",style="solid",shape="box"];170 -> 2140[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2140 -> 202[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2141[label="vz31/Neg vz310",fontsize=10,color="white",style="solid",shape="box"];170 -> 2141[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2141 -> 203[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	1064[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (asAs MyFalse (ltEsMyInt (Pos (Succ vz37)) vz36))",fontsize=16,color="black",shape="box"];1064 -> 1145[label="",style="solid", color="black", weight=3];
12.07/4.82	1065[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (asAs MyTrue (ltEsMyInt (Pos (Succ vz37)) vz36))",fontsize=16,color="black",shape="box"];1065 -> 1146[label="",style="solid", color="black", weight=3];
12.07/4.82	178 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.82	178[label="error",fontsize=16,color="magenta"];179[label="error []",fontsize=16,color="red",shape="box"];180[label="index1 (Pos Zero) vz31 (Pos (Succ vz400)) (not (esEsOrdering (primCmpInt (Pos (Succ vz400)) vz31) GT))",fontsize=16,color="burlywood",shape="box"];2142[label="vz31/Pos vz310",fontsize=10,color="white",style="solid",shape="box"];180 -> 2142[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2142 -> 212[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2143[label="vz31/Neg vz310",fontsize=10,color="white",style="solid",shape="box"];180 -> 2143[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2143 -> 213[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	181[label="index1 (Pos Zero) (Pos vz310) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos vz310)) GT))",fontsize=16,color="burlywood",shape="box"];2144[label="vz310/Succ vz3100",fontsize=10,color="white",style="solid",shape="box"];181 -> 2144[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2144 -> 214[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2145[label="vz310/Zero",fontsize=10,color="white",style="solid",shape="box"];181 -> 2145[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2145 -> 215[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	182[label="index1 (Pos Zero) (Neg vz310) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg vz310)) GT))",fontsize=16,color="burlywood",shape="box"];2146[label="vz310/Succ vz3100",fontsize=10,color="white",style="solid",shape="box"];182 -> 2146[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2146 -> 216[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2147[label="vz310/Zero",fontsize=10,color="white",style="solid",shape="box"];182 -> 2147[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2147 -> 217[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	183[label="index1 (Pos Zero) (Pos vz310) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos vz310)) GT))",fontsize=16,color="burlywood",shape="box"];2148[label="vz310/Succ vz3100",fontsize=10,color="white",style="solid",shape="box"];183 -> 2148[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2148 -> 218[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2149[label="vz310/Zero",fontsize=10,color="white",style="solid",shape="box"];183 -> 2149[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2149 -> 219[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	184[label="index1 (Pos Zero) (Neg vz310) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg vz310)) GT))",fontsize=16,color="burlywood",shape="box"];2150[label="vz310/Succ vz3100",fontsize=10,color="white",style="solid",shape="box"];184 -> 2150[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2150 -> 220[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2151[label="vz310/Zero",fontsize=10,color="white",style="solid",shape="box"];184 -> 2151[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2151 -> 221[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	185[label="index1 (Neg (Succ vz3000)) (Pos vz310) (Pos (Succ vz400)) (not (esEsOrdering (primCmpInt (Pos (Succ vz400)) (Pos vz310)) GT))",fontsize=16,color="black",shape="box"];185 -> 222[label="",style="solid", color="black", weight=3];
12.07/4.82	186[label="index1 (Neg (Succ vz3000)) (Neg vz310) (Pos (Succ vz400)) (not (esEsOrdering (primCmpInt (Pos (Succ vz400)) (Neg vz310)) GT))",fontsize=16,color="black",shape="box"];186 -> 223[label="",style="solid", color="black", weight=3];
12.07/4.82	187[label="index1 (Neg (Succ vz3000)) (Pos vz310) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos vz310)) GT))",fontsize=16,color="burlywood",shape="box"];2152[label="vz310/Succ vz3100",fontsize=10,color="white",style="solid",shape="box"];187 -> 2152[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2152 -> 224[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2153[label="vz310/Zero",fontsize=10,color="white",style="solid",shape="box"];187 -> 2153[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2153 -> 225[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	188[label="index1 (Neg (Succ vz3000)) (Neg vz310) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg vz310)) GT))",fontsize=16,color="burlywood",shape="box"];2154[label="vz310/Succ vz3100",fontsize=10,color="white",style="solid",shape="box"];188 -> 2154[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2154 -> 226[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2155[label="vz310/Zero",fontsize=10,color="white",style="solid",shape="box"];188 -> 2155[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2155 -> 227[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	1273[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (asAs MyFalse (ltEsMyInt (Neg (Succ vz60)) vz59))",fontsize=16,color="black",shape="box"];1273 -> 1298[label="",style="solid", color="black", weight=3];
12.07/4.82	1274[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (asAs MyTrue (ltEsMyInt (Neg (Succ vz60)) vz59))",fontsize=16,color="black",shape="box"];1274 -> 1299[label="",style="solid", color="black", weight=3];
12.07/4.82	196[label="index1 (Neg (Succ vz3000)) vz31 (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) vz31) GT))",fontsize=16,color="burlywood",shape="box"];2156[label="vz31/Pos vz310",fontsize=10,color="white",style="solid",shape="box"];196 -> 2156[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2156 -> 236[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2157[label="vz31/Neg vz310",fontsize=10,color="white",style="solid",shape="box"];196 -> 2157[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2157 -> 237[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	197[label="index1 (Neg Zero) (Pos vz310) (Pos (Succ vz400)) (not (esEsOrdering (primCmpInt (Pos (Succ vz400)) (Pos vz310)) GT))",fontsize=16,color="black",shape="box"];197 -> 238[label="",style="solid", color="black", weight=3];
12.07/4.82	198[label="index1 (Neg Zero) (Neg vz310) (Pos (Succ vz400)) (not (esEsOrdering (primCmpInt (Pos (Succ vz400)) (Neg vz310)) GT))",fontsize=16,color="black",shape="box"];198 -> 239[label="",style="solid", color="black", weight=3];
12.07/4.82	199[label="index1 (Neg Zero) (Pos vz310) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos vz310)) GT))",fontsize=16,color="burlywood",shape="box"];2158[label="vz310/Succ vz3100",fontsize=10,color="white",style="solid",shape="box"];199 -> 2158[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2158 -> 240[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2159[label="vz310/Zero",fontsize=10,color="white",style="solid",shape="box"];199 -> 2159[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2159 -> 241[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	200[label="index1 (Neg Zero) (Neg vz310) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg vz310)) GT))",fontsize=16,color="burlywood",shape="box"];2160[label="vz310/Succ vz3100",fontsize=10,color="white",style="solid",shape="box"];200 -> 2160[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2160 -> 242[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2161[label="vz310/Zero",fontsize=10,color="white",style="solid",shape="box"];200 -> 2161[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2161 -> 243[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	201 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.82	201[label="error",fontsize=16,color="magenta"];202[label="index1 (Neg Zero) (Pos vz310) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos vz310)) GT))",fontsize=16,color="burlywood",shape="box"];2162[label="vz310/Succ vz3100",fontsize=10,color="white",style="solid",shape="box"];202 -> 2162[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2162 -> 244[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2163[label="vz310/Zero",fontsize=10,color="white",style="solid",shape="box"];202 -> 2163[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2163 -> 245[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	203[label="index1 (Neg Zero) (Neg vz310) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg vz310)) GT))",fontsize=16,color="burlywood",shape="box"];2164[label="vz310/Succ vz3100",fontsize=10,color="white",style="solid",shape="box"];203 -> 2164[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2164 -> 246[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	2165[label="vz310/Zero",fontsize=10,color="white",style="solid",shape="box"];203 -> 2165[label="",style="solid", color="burlywood", weight=9];
12.07/4.82	2165 -> 247[label="",style="solid", color="burlywood", weight=3];
12.07/4.82	1145[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) MyFalse",fontsize=16,color="black",shape="triangle"];1145 -> 1179[label="",style="solid", color="black", weight=3];
12.07/4.82	1146[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (ltEsMyInt (Pos (Succ vz37)) vz36)",fontsize=16,color="black",shape="box"];1146 -> 1180[label="",style="solid", color="black", weight=3];
12.07/4.82	212[label="index1 (Pos Zero) (Pos vz310) (Pos (Succ vz400)) (not (esEsOrdering (primCmpInt (Pos (Succ vz400)) (Pos vz310)) GT))",fontsize=16,color="black",shape="box"];212 -> 258[label="",style="solid", color="black", weight=3];
12.07/4.82	213[label="index1 (Pos Zero) (Neg vz310) (Pos (Succ vz400)) (not (esEsOrdering (primCmpInt (Pos (Succ vz400)) (Neg vz310)) GT))",fontsize=16,color="black",shape="box"];213 -> 259[label="",style="solid", color="black", weight=3];
12.07/4.82	214[label="index1 (Pos Zero) (Pos (Succ vz3100)) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ vz3100))) GT))",fontsize=16,color="black",shape="box"];214 -> 260[label="",style="solid", color="black", weight=3];
12.07/4.82	215[label="index1 (Pos Zero) (Pos Zero) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) GT))",fontsize=16,color="black",shape="box"];215 -> 261[label="",style="solid", color="black", weight=3];
12.07/4.83	216[label="index1 (Pos Zero) (Neg (Succ vz3100)) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg (Succ vz3100))) GT))",fontsize=16,color="black",shape="box"];216 -> 262[label="",style="solid", color="black", weight=3];
12.07/4.83	217[label="index1 (Pos Zero) (Neg Zero) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg Zero)) GT))",fontsize=16,color="black",shape="box"];217 -> 263[label="",style="solid", color="black", weight=3];
12.07/4.83	218[label="index1 (Pos Zero) (Pos (Succ vz3100)) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos (Succ vz3100))) GT))",fontsize=16,color="black",shape="box"];218 -> 264[label="",style="solid", color="black", weight=3];
12.07/4.83	219[label="index1 (Pos Zero) (Pos Zero) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos Zero)) GT))",fontsize=16,color="black",shape="box"];219 -> 265[label="",style="solid", color="black", weight=3];
12.07/4.83	220[label="index1 (Pos Zero) (Neg (Succ vz3100)) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg (Succ vz3100))) GT))",fontsize=16,color="black",shape="box"];220 -> 266[label="",style="solid", color="black", weight=3];
12.07/4.83	221[label="index1 (Pos Zero) (Neg Zero) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg Zero)) GT))",fontsize=16,color="black",shape="box"];221 -> 267[label="",style="solid", color="black", weight=3];
12.07/4.83	222[label="index1 (Neg (Succ vz3000)) (Pos vz310) (Pos (Succ vz400)) (not (esEsOrdering (primCmpNat (Succ vz400) vz310) GT))",fontsize=16,color="burlywood",shape="box"];2166[label="vz310/Succ vz3100",fontsize=10,color="white",style="solid",shape="box"];222 -> 2166[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2166 -> 268[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2167[label="vz310/Zero",fontsize=10,color="white",style="solid",shape="box"];222 -> 2167[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2167 -> 269[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	223[label="index1 (Neg (Succ vz3000)) (Neg vz310) (Pos (Succ vz400)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];223 -> 270[label="",style="solid", color="black", weight=3];
12.07/4.83	224[label="index1 (Neg (Succ vz3000)) (Pos (Succ vz3100)) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ vz3100))) GT))",fontsize=16,color="black",shape="box"];224 -> 271[label="",style="solid", color="black", weight=3];
12.07/4.83	225[label="index1 (Neg (Succ vz3000)) (Pos Zero) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) GT))",fontsize=16,color="black",shape="box"];225 -> 272[label="",style="solid", color="black", weight=3];
12.07/4.83	226[label="index1 (Neg (Succ vz3000)) (Neg (Succ vz3100)) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg (Succ vz3100))) GT))",fontsize=16,color="black",shape="box"];226 -> 273[label="",style="solid", color="black", weight=3];
12.07/4.83	227[label="index1 (Neg (Succ vz3000)) (Neg Zero) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg Zero)) GT))",fontsize=16,color="black",shape="box"];227 -> 274[label="",style="solid", color="black", weight=3];
12.07/4.83	1298[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) MyFalse",fontsize=16,color="black",shape="triangle"];1298 -> 1305[label="",style="solid", color="black", weight=3];
12.07/4.83	1299[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (ltEsMyInt (Neg (Succ vz60)) vz59)",fontsize=16,color="black",shape="box"];1299 -> 1306[label="",style="solid", color="black", weight=3];
12.07/4.83	236[label="index1 (Neg (Succ vz3000)) (Pos vz310) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos vz310)) GT))",fontsize=16,color="burlywood",shape="box"];2168[label="vz310/Succ vz3100",fontsize=10,color="white",style="solid",shape="box"];236 -> 2168[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2168 -> 285[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2169[label="vz310/Zero",fontsize=10,color="white",style="solid",shape="box"];236 -> 2169[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2169 -> 286[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	237[label="index1 (Neg (Succ vz3000)) (Neg vz310) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg vz310)) GT))",fontsize=16,color="burlywood",shape="box"];2170[label="vz310/Succ vz3100",fontsize=10,color="white",style="solid",shape="box"];237 -> 2170[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2170 -> 287[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2171[label="vz310/Zero",fontsize=10,color="white",style="solid",shape="box"];237 -> 2171[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2171 -> 288[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	238[label="index1 (Neg Zero) (Pos vz310) (Pos (Succ vz400)) (not (esEsOrdering (primCmpNat (Succ vz400) vz310) GT))",fontsize=16,color="burlywood",shape="box"];2172[label="vz310/Succ vz3100",fontsize=10,color="white",style="solid",shape="box"];238 -> 2172[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2172 -> 289[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2173[label="vz310/Zero",fontsize=10,color="white",style="solid",shape="box"];238 -> 2173[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2173 -> 290[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	239[label="index1 (Neg Zero) (Neg vz310) (Pos (Succ vz400)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];239 -> 291[label="",style="solid", color="black", weight=3];
12.07/4.83	240[label="index1 (Neg Zero) (Pos (Succ vz3100)) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos (Succ vz3100))) GT))",fontsize=16,color="black",shape="box"];240 -> 292[label="",style="solid", color="black", weight=3];
12.07/4.83	241[label="index1 (Neg Zero) (Pos Zero) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Pos Zero)) GT))",fontsize=16,color="black",shape="box"];241 -> 293[label="",style="solid", color="black", weight=3];
12.07/4.83	242[label="index1 (Neg Zero) (Neg (Succ vz3100)) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg (Succ vz3100))) GT))",fontsize=16,color="black",shape="box"];242 -> 294[label="",style="solid", color="black", weight=3];
12.07/4.83	243[label="index1 (Neg Zero) (Neg Zero) (Pos Zero) (not (esEsOrdering (primCmpInt (Pos Zero) (Neg Zero)) GT))",fontsize=16,color="black",shape="box"];243 -> 295[label="",style="solid", color="black", weight=3];
12.07/4.83	244[label="index1 (Neg Zero) (Pos (Succ vz3100)) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos (Succ vz3100))) GT))",fontsize=16,color="black",shape="box"];244 -> 296[label="",style="solid", color="black", weight=3];
12.07/4.83	245[label="index1 (Neg Zero) (Pos Zero) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos Zero)) GT))",fontsize=16,color="black",shape="box"];245 -> 297[label="",style="solid", color="black", weight=3];
12.07/4.83	246[label="index1 (Neg Zero) (Neg (Succ vz3100)) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg (Succ vz3100))) GT))",fontsize=16,color="black",shape="box"];246 -> 298[label="",style="solid", color="black", weight=3];
12.07/4.83	247[label="index1 (Neg Zero) (Neg Zero) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg Zero)) GT))",fontsize=16,color="black",shape="box"];247 -> 299[label="",style="solid", color="black", weight=3];
12.07/4.83	1179[label="index0 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) otherwise",fontsize=16,color="black",shape="box"];1179 -> 1211[label="",style="solid", color="black", weight=3];
12.07/4.83	1180[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (fsEsOrdering (compareMyInt (Pos (Succ vz37)) vz36) GT)",fontsize=16,color="black",shape="box"];1180 -> 1212[label="",style="solid", color="black", weight=3];
12.07/4.83	258[label="index1 (Pos Zero) (Pos vz310) (Pos (Succ vz400)) (not (esEsOrdering (primCmpNat (Succ vz400) vz310) GT))",fontsize=16,color="burlywood",shape="box"];2174[label="vz310/Succ vz3100",fontsize=10,color="white",style="solid",shape="box"];258 -> 2174[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2174 -> 310[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2175[label="vz310/Zero",fontsize=10,color="white",style="solid",shape="box"];258 -> 2175[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2175 -> 311[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	259[label="index1 (Pos Zero) (Neg vz310) (Pos (Succ vz400)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];259 -> 312[label="",style="solid", color="black", weight=3];
12.07/4.83	260[label="index1 (Pos Zero) (Pos (Succ vz3100)) (Pos Zero) (not (esEsOrdering (primCmpNat Zero (Succ vz3100)) GT))",fontsize=16,color="black",shape="box"];260 -> 313[label="",style="solid", color="black", weight=3];
12.07/4.83	261[label="index1 (Pos Zero) (Pos Zero) (Pos Zero) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];261 -> 314[label="",style="solid", color="black", weight=3];
12.07/4.83	262[label="index1 (Pos Zero) (Neg (Succ vz3100)) (Pos Zero) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];262 -> 315[label="",style="solid", color="black", weight=3];
12.07/4.83	263[label="index1 (Pos Zero) (Neg Zero) (Pos Zero) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];263 -> 316[label="",style="solid", color="black", weight=3];
12.07/4.83	264[label="index1 (Pos Zero) (Pos (Succ vz3100)) (Neg Zero) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];264 -> 317[label="",style="solid", color="black", weight=3];
12.07/4.83	265[label="index1 (Pos Zero) (Pos Zero) (Neg Zero) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];265 -> 318[label="",style="solid", color="black", weight=3];
12.07/4.83	266[label="index1 (Pos Zero) (Neg (Succ vz3100)) (Neg Zero) (not (esEsOrdering (primCmpNat (Succ vz3100) Zero) GT))",fontsize=16,color="black",shape="box"];266 -> 319[label="",style="solid", color="black", weight=3];
12.07/4.83	267[label="index1 (Pos Zero) (Neg Zero) (Neg Zero) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];267 -> 320[label="",style="solid", color="black", weight=3];
12.07/4.83	268[label="index1 (Neg (Succ vz3000)) (Pos (Succ vz3100)) (Pos (Succ vz400)) (not (esEsOrdering (primCmpNat (Succ vz400) (Succ vz3100)) GT))",fontsize=16,color="black",shape="box"];268 -> 321[label="",style="solid", color="black", weight=3];
12.07/4.83	269[label="index1 (Neg (Succ vz3000)) (Pos Zero) (Pos (Succ vz400)) (not (esEsOrdering (primCmpNat (Succ vz400) Zero) GT))",fontsize=16,color="black",shape="box"];269 -> 322[label="",style="solid", color="black", weight=3];
12.07/4.83	270[label="index1 (Neg (Succ vz3000)) (Neg vz310) (Pos (Succ vz400)) (not MyTrue)",fontsize=16,color="black",shape="box"];270 -> 323[label="",style="solid", color="black", weight=3];
12.07/4.83	271[label="index1 (Neg (Succ vz3000)) (Pos (Succ vz3100)) (Pos Zero) (not (esEsOrdering (primCmpNat Zero (Succ vz3100)) GT))",fontsize=16,color="black",shape="box"];271 -> 324[label="",style="solid", color="black", weight=3];
12.07/4.83	272[label="index1 (Neg (Succ vz3000)) (Pos Zero) (Pos Zero) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];272 -> 325[label="",style="solid", color="black", weight=3];
12.07/4.83	273[label="index1 (Neg (Succ vz3000)) (Neg (Succ vz3100)) (Pos Zero) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];273 -> 326[label="",style="solid", color="black", weight=3];
12.07/4.83	274[label="index1 (Neg (Succ vz3000)) (Neg Zero) (Pos Zero) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];274 -> 327[label="",style="solid", color="black", weight=3];
12.07/4.83	1305[label="index0 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) otherwise",fontsize=16,color="black",shape="box"];1305 -> 1313[label="",style="solid", color="black", weight=3];
12.07/4.83	1306[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (fsEsOrdering (compareMyInt (Neg (Succ vz60)) vz59) GT)",fontsize=16,color="black",shape="box"];1306 -> 1314[label="",style="solid", color="black", weight=3];
12.07/4.83	285[label="index1 (Neg (Succ vz3000)) (Pos (Succ vz3100)) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos (Succ vz3100))) GT))",fontsize=16,color="black",shape="box"];285 -> 338[label="",style="solid", color="black", weight=3];
12.07/4.83	286[label="index1 (Neg (Succ vz3000)) (Pos Zero) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Pos Zero)) GT))",fontsize=16,color="black",shape="box"];286 -> 339[label="",style="solid", color="black", weight=3];
12.07/4.83	287[label="index1 (Neg (Succ vz3000)) (Neg (Succ vz3100)) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg (Succ vz3100))) GT))",fontsize=16,color="black",shape="box"];287 -> 340[label="",style="solid", color="black", weight=3];
12.07/4.83	288[label="index1 (Neg (Succ vz3000)) (Neg Zero) (Neg Zero) (not (esEsOrdering (primCmpInt (Neg Zero) (Neg Zero)) GT))",fontsize=16,color="black",shape="box"];288 -> 341[label="",style="solid", color="black", weight=3];
12.07/4.83	289[label="index1 (Neg Zero) (Pos (Succ vz3100)) (Pos (Succ vz400)) (not (esEsOrdering (primCmpNat (Succ vz400) (Succ vz3100)) GT))",fontsize=16,color="black",shape="box"];289 -> 342[label="",style="solid", color="black", weight=3];
12.07/4.83	290[label="index1 (Neg Zero) (Pos Zero) (Pos (Succ vz400)) (not (esEsOrdering (primCmpNat (Succ vz400) Zero) GT))",fontsize=16,color="black",shape="box"];290 -> 343[label="",style="solid", color="black", weight=3];
12.07/4.83	291[label="index1 (Neg Zero) (Neg vz310) (Pos (Succ vz400)) (not MyTrue)",fontsize=16,color="black",shape="box"];291 -> 344[label="",style="solid", color="black", weight=3];
12.07/4.83	292[label="index1 (Neg Zero) (Pos (Succ vz3100)) (Pos Zero) (not (esEsOrdering (primCmpNat Zero (Succ vz3100)) GT))",fontsize=16,color="black",shape="box"];292 -> 345[label="",style="solid", color="black", weight=3];
12.07/4.83	293[label="index1 (Neg Zero) (Pos Zero) (Pos Zero) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];293 -> 346[label="",style="solid", color="black", weight=3];
12.07/4.83	294[label="index1 (Neg Zero) (Neg (Succ vz3100)) (Pos Zero) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];294 -> 347[label="",style="solid", color="black", weight=3];
12.07/4.83	295[label="index1 (Neg Zero) (Neg Zero) (Pos Zero) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];295 -> 348[label="",style="solid", color="black", weight=3];
12.07/4.83	296[label="index1 (Neg Zero) (Pos (Succ vz3100)) (Neg Zero) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];296 -> 349[label="",style="solid", color="black", weight=3];
12.07/4.83	297[label="index1 (Neg Zero) (Pos Zero) (Neg Zero) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];297 -> 350[label="",style="solid", color="black", weight=3];
12.07/4.83	298[label="index1 (Neg Zero) (Neg (Succ vz3100)) (Neg Zero) (not (esEsOrdering (primCmpNat (Succ vz3100) Zero) GT))",fontsize=16,color="black",shape="box"];298 -> 351[label="",style="solid", color="black", weight=3];
12.07/4.83	299[label="index1 (Neg Zero) (Neg Zero) (Neg Zero) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];299 -> 352[label="",style="solid", color="black", weight=3];
12.07/4.83	1211[label="index0 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) MyTrue",fontsize=16,color="black",shape="box"];1211 -> 1243[label="",style="solid", color="black", weight=3];
12.07/4.83	1212[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (not (esEsOrdering (compareMyInt (Pos (Succ vz37)) vz36) GT))",fontsize=16,color="black",shape="box"];1212 -> 1244[label="",style="solid", color="black", weight=3];
12.07/4.83	310[label="index1 (Pos Zero) (Pos (Succ vz3100)) (Pos (Succ vz400)) (not (esEsOrdering (primCmpNat (Succ vz400) (Succ vz3100)) GT))",fontsize=16,color="black",shape="box"];310 -> 365[label="",style="solid", color="black", weight=3];
12.07/4.83	311[label="index1 (Pos Zero) (Pos Zero) (Pos (Succ vz400)) (not (esEsOrdering (primCmpNat (Succ vz400) Zero) GT))",fontsize=16,color="black",shape="box"];311 -> 366[label="",style="solid", color="black", weight=3];
12.07/4.83	312[label="index1 (Pos Zero) (Neg vz310) (Pos (Succ vz400)) (not MyTrue)",fontsize=16,color="black",shape="box"];312 -> 367[label="",style="solid", color="black", weight=3];
12.07/4.83	313[label="index1 (Pos Zero) (Pos (Succ vz3100)) (Pos Zero) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];313 -> 368[label="",style="solid", color="black", weight=3];
12.07/4.83	314[label="index1 (Pos Zero) (Pos Zero) (Pos Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];314 -> 369[label="",style="solid", color="black", weight=3];
12.07/4.83	315[label="index1 (Pos Zero) (Neg (Succ vz3100)) (Pos Zero) (not MyTrue)",fontsize=16,color="black",shape="box"];315 -> 370[label="",style="solid", color="black", weight=3];
12.07/4.83	316[label="index1 (Pos Zero) (Neg Zero) (Pos Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];316 -> 371[label="",style="solid", color="black", weight=3];
12.07/4.83	317[label="index1 (Pos Zero) (Pos (Succ vz3100)) (Neg Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];317 -> 372[label="",style="solid", color="black", weight=3];
12.07/4.83	318[label="index1 (Pos Zero) (Pos Zero) (Neg Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];318 -> 373[label="",style="solid", color="black", weight=3];
12.07/4.83	319[label="index1 (Pos Zero) (Neg (Succ vz3100)) (Neg Zero) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];319 -> 374[label="",style="solid", color="black", weight=3];
12.07/4.83	320[label="index1 (Pos Zero) (Neg Zero) (Neg Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];320 -> 375[label="",style="solid", color="black", weight=3];
12.07/4.83	321 -> 1408[label="",style="dashed", color="red", weight=0];
12.07/4.83	321[label="index1 (Neg (Succ vz3000)) (Pos (Succ vz3100)) (Pos (Succ vz400)) (not (esEsOrdering (primCmpNat vz400 vz3100) GT))",fontsize=16,color="magenta"];321 -> 1409[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	321 -> 1410[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	321 -> 1411[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	321 -> 1412[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	321 -> 1413[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	322[label="index1 (Neg (Succ vz3000)) (Pos Zero) (Pos (Succ vz400)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];322 -> 378[label="",style="solid", color="black", weight=3];
12.07/4.83	323[label="index1 (Neg (Succ vz3000)) (Neg vz310) (Pos (Succ vz400)) MyFalse",fontsize=16,color="black",shape="box"];323 -> 379[label="",style="solid", color="black", weight=3];
12.07/4.83	324[label="index1 (Neg (Succ vz3000)) (Pos (Succ vz3100)) (Pos Zero) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];324 -> 380[label="",style="solid", color="black", weight=3];
12.07/4.83	325[label="index1 (Neg (Succ vz3000)) (Pos Zero) (Pos Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];325 -> 381[label="",style="solid", color="black", weight=3];
12.07/4.83	326[label="index1 (Neg (Succ vz3000)) (Neg (Succ vz3100)) (Pos Zero) (not MyTrue)",fontsize=16,color="black",shape="box"];326 -> 382[label="",style="solid", color="black", weight=3];
12.07/4.83	327[label="index1 (Neg (Succ vz3000)) (Neg Zero) (Pos Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];327 -> 383[label="",style="solid", color="black", weight=3];
12.07/4.83	1313[label="index0 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) MyTrue",fontsize=16,color="black",shape="box"];1313 -> 1328[label="",style="solid", color="black", weight=3];
12.07/4.83	1314[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (not (esEsOrdering (compareMyInt (Neg (Succ vz60)) vz59) GT))",fontsize=16,color="black",shape="box"];1314 -> 1329[label="",style="solid", color="black", weight=3];
12.07/4.83	338[label="index1 (Neg (Succ vz3000)) (Pos (Succ vz3100)) (Neg Zero) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];338 -> 396[label="",style="solid", color="black", weight=3];
12.07/4.83	339[label="index1 (Neg (Succ vz3000)) (Pos Zero) (Neg Zero) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];339 -> 397[label="",style="solid", color="black", weight=3];
12.07/4.83	340[label="index1 (Neg (Succ vz3000)) (Neg (Succ vz3100)) (Neg Zero) (not (esEsOrdering (primCmpNat (Succ vz3100) Zero) GT))",fontsize=16,color="black",shape="box"];340 -> 398[label="",style="solid", color="black", weight=3];
12.07/4.83	341[label="index1 (Neg (Succ vz3000)) (Neg Zero) (Neg Zero) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];341 -> 399[label="",style="solid", color="black", weight=3];
12.07/4.83	342 -> 1618[label="",style="dashed", color="red", weight=0];
12.07/4.83	342[label="index1 (Neg Zero) (Pos (Succ vz3100)) (Pos (Succ vz400)) (not (esEsOrdering (primCmpNat vz400 vz3100) GT))",fontsize=16,color="magenta"];342 -> 1619[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	342 -> 1620[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	342 -> 1621[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	342 -> 1622[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	343[label="index1 (Neg Zero) (Pos Zero) (Pos (Succ vz400)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];343 -> 402[label="",style="solid", color="black", weight=3];
12.07/4.83	344[label="index1 (Neg Zero) (Neg vz310) (Pos (Succ vz400)) MyFalse",fontsize=16,color="black",shape="box"];344 -> 403[label="",style="solid", color="black", weight=3];
12.07/4.83	345[label="index1 (Neg Zero) (Pos (Succ vz3100)) (Pos Zero) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];345 -> 404[label="",style="solid", color="black", weight=3];
12.07/4.83	346[label="index1 (Neg Zero) (Pos Zero) (Pos Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];346 -> 405[label="",style="solid", color="black", weight=3];
12.07/4.83	347[label="index1 (Neg Zero) (Neg (Succ vz3100)) (Pos Zero) (not MyTrue)",fontsize=16,color="black",shape="box"];347 -> 406[label="",style="solid", color="black", weight=3];
12.07/4.83	348[label="index1 (Neg Zero) (Neg Zero) (Pos Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];348 -> 407[label="",style="solid", color="black", weight=3];
12.07/4.83	349[label="index1 (Neg Zero) (Pos (Succ vz3100)) (Neg Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];349 -> 408[label="",style="solid", color="black", weight=3];
12.07/4.83	350[label="index1 (Neg Zero) (Pos Zero) (Neg Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];350 -> 409[label="",style="solid", color="black", weight=3];
12.07/4.83	351[label="index1 (Neg Zero) (Neg (Succ vz3100)) (Neg Zero) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];351 -> 410[label="",style="solid", color="black", weight=3];
12.07/4.83	352[label="index1 (Neg Zero) (Neg Zero) (Neg Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];352 -> 411[label="",style="solid", color="black", weight=3];
12.07/4.83	1243 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.83	1243[label="error",fontsize=16,color="magenta"];1244[label="index1 (Pos (Succ vz35)) vz36 (Pos (Succ vz37)) (not (esEsOrdering (primCmpInt (Pos (Succ vz37)) vz36) GT))",fontsize=16,color="burlywood",shape="box"];2176[label="vz36/Pos vz360",fontsize=10,color="white",style="solid",shape="box"];1244 -> 2176[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2176 -> 1275[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2177[label="vz36/Neg vz360",fontsize=10,color="white",style="solid",shape="box"];1244 -> 2177[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2177 -> 1276[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	365 -> 1495[label="",style="dashed", color="red", weight=0];
12.07/4.83	365[label="index1 (Pos Zero) (Pos (Succ vz3100)) (Pos (Succ vz400)) (not (esEsOrdering (primCmpNat vz400 vz3100) GT))",fontsize=16,color="magenta"];365 -> 1496[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	365 -> 1497[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	365 -> 1498[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	365 -> 1499[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	366[label="index1 (Pos Zero) (Pos Zero) (Pos (Succ vz400)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];366 -> 428[label="",style="solid", color="black", weight=3];
12.07/4.83	367[label="index1 (Pos Zero) (Neg vz310) (Pos (Succ vz400)) MyFalse",fontsize=16,color="black",shape="box"];367 -> 429[label="",style="solid", color="black", weight=3];
12.07/4.83	368[label="index1 (Pos Zero) (Pos (Succ vz3100)) (Pos Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];368 -> 430[label="",style="solid", color="black", weight=3];
12.07/4.83	369[label="index1 (Pos Zero) (Pos Zero) (Pos Zero) MyTrue",fontsize=16,color="black",shape="box"];369 -> 431[label="",style="solid", color="black", weight=3];
12.07/4.83	370[label="index1 (Pos Zero) (Neg (Succ vz3100)) (Pos Zero) MyFalse",fontsize=16,color="black",shape="box"];370 -> 432[label="",style="solid", color="black", weight=3];
12.07/4.83	371[label="index1 (Pos Zero) (Neg Zero) (Pos Zero) MyTrue",fontsize=16,color="black",shape="box"];371 -> 433[label="",style="solid", color="black", weight=3];
12.07/4.83	372[label="index1 (Pos Zero) (Pos (Succ vz3100)) (Neg Zero) MyTrue",fontsize=16,color="black",shape="box"];372 -> 434[label="",style="solid", color="black", weight=3];
12.07/4.83	373[label="index1 (Pos Zero) (Pos Zero) (Neg Zero) MyTrue",fontsize=16,color="black",shape="box"];373 -> 435[label="",style="solid", color="black", weight=3];
12.07/4.83	374[label="index1 (Pos Zero) (Neg (Succ vz3100)) (Neg Zero) (not MyTrue)",fontsize=16,color="black",shape="box"];374 -> 436[label="",style="solid", color="black", weight=3];
12.07/4.83	375[label="index1 (Pos Zero) (Neg Zero) (Neg Zero) MyTrue",fontsize=16,color="black",shape="box"];375 -> 437[label="",style="solid", color="black", weight=3];
12.07/4.83	1409[label="vz400",fontsize=16,color="green",shape="box"];1410[label="vz400",fontsize=16,color="green",shape="box"];1411[label="vz3000",fontsize=16,color="green",shape="box"];1412[label="vz3100",fontsize=16,color="green",shape="box"];1413[label="vz3100",fontsize=16,color="green",shape="box"];1408[label="index1 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) (not (esEsOrdering (primCmpNat vz99 vz100) GT))",fontsize=16,color="burlywood",shape="triangle"];2178[label="vz99/Succ vz990",fontsize=10,color="white",style="solid",shape="box"];1408 -> 2178[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2178 -> 1444[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2179[label="vz99/Zero",fontsize=10,color="white",style="solid",shape="box"];1408 -> 2179[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2179 -> 1445[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	378[label="index1 (Neg (Succ vz3000)) (Pos Zero) (Pos (Succ vz400)) (not MyTrue)",fontsize=16,color="black",shape="box"];378 -> 442[label="",style="solid", color="black", weight=3];
12.07/4.83	379[label="index0 (Neg (Succ vz3000)) (Neg vz310) (Pos (Succ vz400)) otherwise",fontsize=16,color="black",shape="box"];379 -> 443[label="",style="solid", color="black", weight=3];
12.07/4.83	380[label="index1 (Neg (Succ vz3000)) (Pos (Succ vz3100)) (Pos Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];380 -> 444[label="",style="solid", color="black", weight=3];
12.07/4.83	381[label="index1 (Neg (Succ vz3000)) (Pos Zero) (Pos Zero) MyTrue",fontsize=16,color="black",shape="box"];381 -> 445[label="",style="solid", color="black", weight=3];
12.07/4.83	382[label="index1 (Neg (Succ vz3000)) (Neg (Succ vz3100)) (Pos Zero) MyFalse",fontsize=16,color="black",shape="box"];382 -> 446[label="",style="solid", color="black", weight=3];
12.07/4.83	383[label="index1 (Neg (Succ vz3000)) (Neg Zero) (Pos Zero) MyTrue",fontsize=16,color="black",shape="box"];383 -> 447[label="",style="solid", color="black", weight=3];
12.07/4.83	1328 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.83	1328[label="error",fontsize=16,color="magenta"];1329[label="index1 (Neg (Succ vz58)) vz59 (Neg (Succ vz60)) (not (esEsOrdering (primCmpInt (Neg (Succ vz60)) vz59) GT))",fontsize=16,color="burlywood",shape="box"];2180[label="vz59/Pos vz590",fontsize=10,color="white",style="solid",shape="box"];1329 -> 2180[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2180 -> 1336[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2181[label="vz59/Neg vz590",fontsize=10,color="white",style="solid",shape="box"];1329 -> 2181[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2181 -> 1337[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	396[label="index1 (Neg (Succ vz3000)) (Pos (Succ vz3100)) (Neg Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];396 -> 462[label="",style="solid", color="black", weight=3];
12.07/4.83	397[label="index1 (Neg (Succ vz3000)) (Pos Zero) (Neg Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];397 -> 463[label="",style="solid", color="black", weight=3];
12.07/4.83	398[label="index1 (Neg (Succ vz3000)) (Neg (Succ vz3100)) (Neg Zero) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];398 -> 464[label="",style="solid", color="black", weight=3];
12.07/4.83	399[label="index1 (Neg (Succ vz3000)) (Neg Zero) (Neg Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];399 -> 465[label="",style="solid", color="black", weight=3];
12.07/4.83	1619[label="vz3100",fontsize=16,color="green",shape="box"];1620[label="vz3100",fontsize=16,color="green",shape="box"];1621[label="vz400",fontsize=16,color="green",shape="box"];1622[label="vz400",fontsize=16,color="green",shape="box"];1618[label="index1 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) (not (esEsOrdering (primCmpNat vz112 vz113) GT))",fontsize=16,color="burlywood",shape="triangle"];2182[label="vz112/Succ vz1120",fontsize=10,color="white",style="solid",shape="box"];1618 -> 2182[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2182 -> 1651[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2183[label="vz112/Zero",fontsize=10,color="white",style="solid",shape="box"];1618 -> 2183[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2183 -> 1652[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	402[label="index1 (Neg Zero) (Pos Zero) (Pos (Succ vz400)) (not MyTrue)",fontsize=16,color="black",shape="box"];402 -> 470[label="",style="solid", color="black", weight=3];
12.07/4.83	403[label="index0 (Neg Zero) (Neg vz310) (Pos (Succ vz400)) otherwise",fontsize=16,color="black",shape="box"];403 -> 471[label="",style="solid", color="black", weight=3];
12.07/4.83	404[label="index1 (Neg Zero) (Pos (Succ vz3100)) (Pos Zero) (not MyFalse)",fontsize=16,color="black",shape="box"];404 -> 472[label="",style="solid", color="black", weight=3];
12.07/4.83	405[label="index1 (Neg Zero) (Pos Zero) (Pos Zero) MyTrue",fontsize=16,color="black",shape="box"];405 -> 473[label="",style="solid", color="black", weight=3];
12.07/4.83	406[label="index1 (Neg Zero) (Neg (Succ vz3100)) (Pos Zero) MyFalse",fontsize=16,color="black",shape="box"];406 -> 474[label="",style="solid", color="black", weight=3];
12.07/4.83	407[label="index1 (Neg Zero) (Neg Zero) (Pos Zero) MyTrue",fontsize=16,color="black",shape="box"];407 -> 475[label="",style="solid", color="black", weight=3];
12.07/4.83	408[label="index1 (Neg Zero) (Pos (Succ vz3100)) (Neg Zero) MyTrue",fontsize=16,color="black",shape="box"];408 -> 476[label="",style="solid", color="black", weight=3];
12.07/4.83	409[label="index1 (Neg Zero) (Pos Zero) (Neg Zero) MyTrue",fontsize=16,color="black",shape="box"];409 -> 477[label="",style="solid", color="black", weight=3];
12.07/4.83	410[label="index1 (Neg Zero) (Neg (Succ vz3100)) (Neg Zero) (not MyTrue)",fontsize=16,color="black",shape="box"];410 -> 478[label="",style="solid", color="black", weight=3];
12.07/4.83	411[label="index1 (Neg Zero) (Neg Zero) (Neg Zero) MyTrue",fontsize=16,color="black",shape="box"];411 -> 479[label="",style="solid", color="black", weight=3];
12.07/4.83	1275[label="index1 (Pos (Succ vz35)) (Pos vz360) (Pos (Succ vz37)) (not (esEsOrdering (primCmpInt (Pos (Succ vz37)) (Pos vz360)) GT))",fontsize=16,color="black",shape="box"];1275 -> 1300[label="",style="solid", color="black", weight=3];
12.07/4.83	1276[label="index1 (Pos (Succ vz35)) (Neg vz360) (Pos (Succ vz37)) (not (esEsOrdering (primCmpInt (Pos (Succ vz37)) (Neg vz360)) GT))",fontsize=16,color="black",shape="box"];1276 -> 1301[label="",style="solid", color="black", weight=3];
12.07/4.83	1496[label="vz400",fontsize=16,color="green",shape="box"];1497[label="vz3100",fontsize=16,color="green",shape="box"];1498[label="vz3100",fontsize=16,color="green",shape="box"];1499[label="vz400",fontsize=16,color="green",shape="box"];1495[label="index1 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) (not (esEsOrdering (primCmpNat vz107 vz108) GT))",fontsize=16,color="burlywood",shape="triangle"];2184[label="vz107/Succ vz1070",fontsize=10,color="white",style="solid",shape="box"];1495 -> 2184[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2184 -> 1524[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2185[label="vz107/Zero",fontsize=10,color="white",style="solid",shape="box"];1495 -> 2185[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2185 -> 1525[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	428[label="index1 (Pos Zero) (Pos Zero) (Pos (Succ vz400)) (not MyTrue)",fontsize=16,color="black",shape="box"];428 -> 500[label="",style="solid", color="black", weight=3];
12.07/4.83	429[label="index0 (Pos Zero) (Neg vz310) (Pos (Succ vz400)) otherwise",fontsize=16,color="black",shape="box"];429 -> 501[label="",style="solid", color="black", weight=3];
12.07/4.83	430[label="index1 (Pos Zero) (Pos (Succ vz3100)) (Pos Zero) MyTrue",fontsize=16,color="black",shape="box"];430 -> 502[label="",style="solid", color="black", weight=3];
12.07/4.83	431[label="msMyInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="triangle"];431 -> 503[label="",style="solid", color="black", weight=3];
12.07/4.83	432[label="index0 (Pos Zero) (Neg (Succ vz3100)) (Pos Zero) otherwise",fontsize=16,color="black",shape="box"];432 -> 504[label="",style="solid", color="black", weight=3];
12.07/4.83	433 -> 431[label="",style="dashed", color="red", weight=0];
12.07/4.83	433[label="msMyInt (Pos Zero) (Pos Zero)",fontsize=16,color="magenta"];434[label="msMyInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="triangle"];434 -> 505[label="",style="solid", color="black", weight=3];
12.07/4.83	435 -> 434[label="",style="dashed", color="red", weight=0];
12.07/4.83	435[label="msMyInt (Neg Zero) (Pos Zero)",fontsize=16,color="magenta"];436[label="index1 (Pos Zero) (Neg (Succ vz3100)) (Neg Zero) MyFalse",fontsize=16,color="black",shape="box"];436 -> 506[label="",style="solid", color="black", weight=3];
12.07/4.83	437 -> 434[label="",style="dashed", color="red", weight=0];
12.07/4.83	437[label="msMyInt (Neg Zero) (Pos Zero)",fontsize=16,color="magenta"];1444[label="index1 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) (not (esEsOrdering (primCmpNat (Succ vz990) vz100) GT))",fontsize=16,color="burlywood",shape="box"];2186[label="vz100/Succ vz1000",fontsize=10,color="white",style="solid",shape="box"];1444 -> 2186[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2186 -> 1474[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2187[label="vz100/Zero",fontsize=10,color="white",style="solid",shape="box"];1444 -> 2187[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2187 -> 1475[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	1445[label="index1 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) (not (esEsOrdering (primCmpNat Zero vz100) GT))",fontsize=16,color="burlywood",shape="box"];2188[label="vz100/Succ vz1000",fontsize=10,color="white",style="solid",shape="box"];1445 -> 2188[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2188 -> 1476[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2189[label="vz100/Zero",fontsize=10,color="white",style="solid",shape="box"];1445 -> 2189[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2189 -> 1477[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	442[label="index1 (Neg (Succ vz3000)) (Pos Zero) (Pos (Succ vz400)) MyFalse",fontsize=16,color="black",shape="box"];442 -> 511[label="",style="solid", color="black", weight=3];
12.07/4.83	443[label="index0 (Neg (Succ vz3000)) (Neg vz310) (Pos (Succ vz400)) MyTrue",fontsize=16,color="black",shape="box"];443 -> 512[label="",style="solid", color="black", weight=3];
12.07/4.83	444[label="index1 (Neg (Succ vz3000)) (Pos (Succ vz3100)) (Pos Zero) MyTrue",fontsize=16,color="black",shape="box"];444 -> 513[label="",style="solid", color="black", weight=3];
12.07/4.83	445[label="msMyInt (Pos Zero) (Neg (Succ vz3000))",fontsize=16,color="black",shape="triangle"];445 -> 514[label="",style="solid", color="black", weight=3];
12.07/4.83	446[label="index0 (Neg (Succ vz3000)) (Neg (Succ vz3100)) (Pos Zero) otherwise",fontsize=16,color="black",shape="box"];446 -> 515[label="",style="solid", color="black", weight=3];
12.07/4.83	447 -> 445[label="",style="dashed", color="red", weight=0];
12.07/4.83	447[label="msMyInt (Pos Zero) (Neg (Succ vz3000))",fontsize=16,color="magenta"];1336[label="index1 (Neg (Succ vz58)) (Pos vz590) (Neg (Succ vz60)) (not (esEsOrdering (primCmpInt (Neg (Succ vz60)) (Pos vz590)) GT))",fontsize=16,color="black",shape="box"];1336 -> 1345[label="",style="solid", color="black", weight=3];
12.07/4.83	1337[label="index1 (Neg (Succ vz58)) (Neg vz590) (Neg (Succ vz60)) (not (esEsOrdering (primCmpInt (Neg (Succ vz60)) (Neg vz590)) GT))",fontsize=16,color="black",shape="box"];1337 -> 1346[label="",style="solid", color="black", weight=3];
12.07/4.83	462[label="index1 (Neg (Succ vz3000)) (Pos (Succ vz3100)) (Neg Zero) MyTrue",fontsize=16,color="black",shape="box"];462 -> 532[label="",style="solid", color="black", weight=3];
12.07/4.83	463[label="index1 (Neg (Succ vz3000)) (Pos Zero) (Neg Zero) MyTrue",fontsize=16,color="black",shape="box"];463 -> 533[label="",style="solid", color="black", weight=3];
12.07/4.83	464[label="index1 (Neg (Succ vz3000)) (Neg (Succ vz3100)) (Neg Zero) (not MyTrue)",fontsize=16,color="black",shape="box"];464 -> 534[label="",style="solid", color="black", weight=3];
12.07/4.83	465[label="index1 (Neg (Succ vz3000)) (Neg Zero) (Neg Zero) MyTrue",fontsize=16,color="black",shape="box"];465 -> 535[label="",style="solid", color="black", weight=3];
12.07/4.83	1651[label="index1 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) (not (esEsOrdering (primCmpNat (Succ vz1120) vz113) GT))",fontsize=16,color="burlywood",shape="box"];2190[label="vz113/Succ vz1130",fontsize=10,color="white",style="solid",shape="box"];1651 -> 2190[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2190 -> 1678[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2191[label="vz113/Zero",fontsize=10,color="white",style="solid",shape="box"];1651 -> 2191[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2191 -> 1679[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	1652[label="index1 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) (not (esEsOrdering (primCmpNat Zero vz113) GT))",fontsize=16,color="burlywood",shape="box"];2192[label="vz113/Succ vz1130",fontsize=10,color="white",style="solid",shape="box"];1652 -> 2192[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2192 -> 1680[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2193[label="vz113/Zero",fontsize=10,color="white",style="solid",shape="box"];1652 -> 2193[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2193 -> 1681[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	470[label="index1 (Neg Zero) (Pos Zero) (Pos (Succ vz400)) MyFalse",fontsize=16,color="black",shape="box"];470 -> 540[label="",style="solid", color="black", weight=3];
12.07/4.83	471[label="index0 (Neg Zero) (Neg vz310) (Pos (Succ vz400)) MyTrue",fontsize=16,color="black",shape="box"];471 -> 541[label="",style="solid", color="black", weight=3];
12.07/4.83	472[label="index1 (Neg Zero) (Pos (Succ vz3100)) (Pos Zero) MyTrue",fontsize=16,color="black",shape="box"];472 -> 542[label="",style="solid", color="black", weight=3];
12.07/4.83	473[label="msMyInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="triangle"];473 -> 543[label="",style="solid", color="black", weight=3];
12.07/4.83	474[label="index0 (Neg Zero) (Neg (Succ vz3100)) (Pos Zero) otherwise",fontsize=16,color="black",shape="box"];474 -> 544[label="",style="solid", color="black", weight=3];
12.07/4.83	475 -> 473[label="",style="dashed", color="red", weight=0];
12.07/4.83	475[label="msMyInt (Pos Zero) (Neg Zero)",fontsize=16,color="magenta"];476[label="msMyInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="triangle"];476 -> 545[label="",style="solid", color="black", weight=3];
12.07/4.83	477 -> 476[label="",style="dashed", color="red", weight=0];
12.07/4.83	477[label="msMyInt (Neg Zero) (Neg Zero)",fontsize=16,color="magenta"];478[label="index1 (Neg Zero) (Neg (Succ vz3100)) (Neg Zero) MyFalse",fontsize=16,color="black",shape="box"];478 -> 546[label="",style="solid", color="black", weight=3];
12.07/4.83	479 -> 476[label="",style="dashed", color="red", weight=0];
12.07/4.83	479[label="msMyInt (Neg Zero) (Neg Zero)",fontsize=16,color="magenta"];1300[label="index1 (Pos (Succ vz35)) (Pos vz360) (Pos (Succ vz37)) (not (esEsOrdering (primCmpNat (Succ vz37) vz360) GT))",fontsize=16,color="burlywood",shape="box"];2194[label="vz360/Succ vz3600",fontsize=10,color="white",style="solid",shape="box"];1300 -> 2194[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2194 -> 1307[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2195[label="vz360/Zero",fontsize=10,color="white",style="solid",shape="box"];1300 -> 2195[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2195 -> 1308[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	1301[label="index1 (Pos (Succ vz35)) (Neg vz360) (Pos (Succ vz37)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];1301 -> 1309[label="",style="solid", color="black", weight=3];
12.07/4.83	1524[label="index1 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) (not (esEsOrdering (primCmpNat (Succ vz1070) vz108) GT))",fontsize=16,color="burlywood",shape="box"];2196[label="vz108/Succ vz1080",fontsize=10,color="white",style="solid",shape="box"];1524 -> 2196[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2196 -> 1558[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2197[label="vz108/Zero",fontsize=10,color="white",style="solid",shape="box"];1524 -> 2197[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2197 -> 1559[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	1525[label="index1 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) (not (esEsOrdering (primCmpNat Zero vz108) GT))",fontsize=16,color="burlywood",shape="box"];2198[label="vz108/Succ vz1080",fontsize=10,color="white",style="solid",shape="box"];1525 -> 2198[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2198 -> 1560[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2199[label="vz108/Zero",fontsize=10,color="white",style="solid",shape="box"];1525 -> 2199[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2199 -> 1561[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	500[label="index1 (Pos Zero) (Pos Zero) (Pos (Succ vz400)) MyFalse",fontsize=16,color="black",shape="box"];500 -> 569[label="",style="solid", color="black", weight=3];
12.07/4.83	501[label="index0 (Pos Zero) (Neg vz310) (Pos (Succ vz400)) MyTrue",fontsize=16,color="black",shape="box"];501 -> 570[label="",style="solid", color="black", weight=3];
12.07/4.83	502 -> 431[label="",style="dashed", color="red", weight=0];
12.07/4.83	502[label="msMyInt (Pos Zero) (Pos Zero)",fontsize=16,color="magenta"];503[label="primMinusInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];503 -> 571[label="",style="solid", color="black", weight=3];
12.07/4.83	504[label="index0 (Pos Zero) (Neg (Succ vz3100)) (Pos Zero) MyTrue",fontsize=16,color="black",shape="box"];504 -> 572[label="",style="solid", color="black", weight=3];
12.07/4.83	505[label="primMinusInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];505 -> 573[label="",style="solid", color="black", weight=3];
12.07/4.83	506[label="index0 (Pos Zero) (Neg (Succ vz3100)) (Neg Zero) otherwise",fontsize=16,color="black",shape="box"];506 -> 574[label="",style="solid", color="black", weight=3];
12.07/4.83	1474[label="index1 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) (not (esEsOrdering (primCmpNat (Succ vz990) (Succ vz1000)) GT))",fontsize=16,color="black",shape="box"];1474 -> 1526[label="",style="solid", color="black", weight=3];
12.07/4.83	1475[label="index1 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) (not (esEsOrdering (primCmpNat (Succ vz990) Zero) GT))",fontsize=16,color="black",shape="box"];1475 -> 1527[label="",style="solid", color="black", weight=3];
12.07/4.83	1476[label="index1 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) (not (esEsOrdering (primCmpNat Zero (Succ vz1000)) GT))",fontsize=16,color="black",shape="box"];1476 -> 1528[label="",style="solid", color="black", weight=3];
12.07/4.83	1477[label="index1 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) (not (esEsOrdering (primCmpNat Zero Zero) GT))",fontsize=16,color="black",shape="box"];1477 -> 1529[label="",style="solid", color="black", weight=3];
12.07/4.83	511[label="index0 (Neg (Succ vz3000)) (Pos Zero) (Pos (Succ vz400)) otherwise",fontsize=16,color="black",shape="box"];511 -> 580[label="",style="solid", color="black", weight=3];
12.07/4.83	512 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.83	512[label="error",fontsize=16,color="magenta"];513 -> 445[label="",style="dashed", color="red", weight=0];
12.07/4.83	513[label="msMyInt (Pos Zero) (Neg (Succ vz3000))",fontsize=16,color="magenta"];514[label="primMinusInt (Pos Zero) (Neg (Succ vz3000))",fontsize=16,color="black",shape="box"];514 -> 581[label="",style="solid", color="black", weight=3];
12.07/4.83	515[label="index0 (Neg (Succ vz3000)) (Neg (Succ vz3100)) (Pos Zero) MyTrue",fontsize=16,color="black",shape="box"];515 -> 582[label="",style="solid", color="black", weight=3];
12.07/4.83	1345[label="index1 (Neg (Succ vz58)) (Pos vz590) (Neg (Succ vz60)) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];1345 -> 1360[label="",style="solid", color="black", weight=3];
12.07/4.83	1346[label="index1 (Neg (Succ vz58)) (Neg vz590) (Neg (Succ vz60)) (not (esEsOrdering (primCmpNat vz590 (Succ vz60)) GT))",fontsize=16,color="burlywood",shape="box"];2200[label="vz590/Succ vz5900",fontsize=10,color="white",style="solid",shape="box"];1346 -> 2200[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2200 -> 1361[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2201[label="vz590/Zero",fontsize=10,color="white",style="solid",shape="box"];1346 -> 2201[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2201 -> 1362[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	532[label="msMyInt (Neg Zero) (Neg (Succ vz3000))",fontsize=16,color="black",shape="triangle"];532 -> 601[label="",style="solid", color="black", weight=3];
12.07/4.83	533 -> 532[label="",style="dashed", color="red", weight=0];
12.07/4.83	533[label="msMyInt (Neg Zero) (Neg (Succ vz3000))",fontsize=16,color="magenta"];534[label="index1 (Neg (Succ vz3000)) (Neg (Succ vz3100)) (Neg Zero) MyFalse",fontsize=16,color="black",shape="box"];534 -> 602[label="",style="solid", color="black", weight=3];
12.07/4.83	535 -> 532[label="",style="dashed", color="red", weight=0];
12.07/4.83	535[label="msMyInt (Neg Zero) (Neg (Succ vz3000))",fontsize=16,color="magenta"];1678[label="index1 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) (not (esEsOrdering (primCmpNat (Succ vz1120) (Succ vz1130)) GT))",fontsize=16,color="black",shape="box"];1678 -> 1699[label="",style="solid", color="black", weight=3];
12.07/4.83	1679[label="index1 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) (not (esEsOrdering (primCmpNat (Succ vz1120) Zero) GT))",fontsize=16,color="black",shape="box"];1679 -> 1700[label="",style="solid", color="black", weight=3];
12.07/4.83	1680[label="index1 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) (not (esEsOrdering (primCmpNat Zero (Succ vz1130)) GT))",fontsize=16,color="black",shape="box"];1680 -> 1701[label="",style="solid", color="black", weight=3];
12.07/4.83	1681[label="index1 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) (not (esEsOrdering (primCmpNat Zero Zero) GT))",fontsize=16,color="black",shape="box"];1681 -> 1702[label="",style="solid", color="black", weight=3];
12.07/4.83	540[label="index0 (Neg Zero) (Pos Zero) (Pos (Succ vz400)) otherwise",fontsize=16,color="black",shape="box"];540 -> 608[label="",style="solid", color="black", weight=3];
12.07/4.83	541 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.83	541[label="error",fontsize=16,color="magenta"];542 -> 473[label="",style="dashed", color="red", weight=0];
12.07/4.83	542[label="msMyInt (Pos Zero) (Neg Zero)",fontsize=16,color="magenta"];543[label="primMinusInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];543 -> 609[label="",style="solid", color="black", weight=3];
12.07/4.83	544[label="index0 (Neg Zero) (Neg (Succ vz3100)) (Pos Zero) MyTrue",fontsize=16,color="black",shape="box"];544 -> 610[label="",style="solid", color="black", weight=3];
12.07/4.83	545[label="primMinusInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];545 -> 611[label="",style="solid", color="black", weight=3];
12.07/4.83	546[label="index0 (Neg Zero) (Neg (Succ vz3100)) (Neg Zero) otherwise",fontsize=16,color="black",shape="box"];546 -> 612[label="",style="solid", color="black", weight=3];
12.07/4.83	1307[label="index1 (Pos (Succ vz35)) (Pos (Succ vz3600)) (Pos (Succ vz37)) (not (esEsOrdering (primCmpNat (Succ vz37) (Succ vz3600)) GT))",fontsize=16,color="black",shape="box"];1307 -> 1315[label="",style="solid", color="black", weight=3];
12.07/4.83	1308[label="index1 (Pos (Succ vz35)) (Pos Zero) (Pos (Succ vz37)) (not (esEsOrdering (primCmpNat (Succ vz37) Zero) GT))",fontsize=16,color="black",shape="box"];1308 -> 1316[label="",style="solid", color="black", weight=3];
12.07/4.83	1309[label="index1 (Pos (Succ vz35)) (Neg vz360) (Pos (Succ vz37)) (not MyTrue)",fontsize=16,color="black",shape="box"];1309 -> 1317[label="",style="solid", color="black", weight=3];
12.07/4.83	1558[label="index1 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) (not (esEsOrdering (primCmpNat (Succ vz1070) (Succ vz1080)) GT))",fontsize=16,color="black",shape="box"];1558 -> 1593[label="",style="solid", color="black", weight=3];
12.07/4.83	1559[label="index1 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) (not (esEsOrdering (primCmpNat (Succ vz1070) Zero) GT))",fontsize=16,color="black",shape="box"];1559 -> 1594[label="",style="solid", color="black", weight=3];
12.07/4.83	1560[label="index1 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) (not (esEsOrdering (primCmpNat Zero (Succ vz1080)) GT))",fontsize=16,color="black",shape="box"];1560 -> 1595[label="",style="solid", color="black", weight=3];
12.07/4.83	1561[label="index1 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) (not (esEsOrdering (primCmpNat Zero Zero) GT))",fontsize=16,color="black",shape="box"];1561 -> 1596[label="",style="solid", color="black", weight=3];
12.07/4.83	569[label="index0 (Pos Zero) (Pos Zero) (Pos (Succ vz400)) otherwise",fontsize=16,color="black",shape="box"];569 -> 640[label="",style="solid", color="black", weight=3];
12.07/4.83	570 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.83	570[label="error",fontsize=16,color="magenta"];571[label="primMinusNat Zero Zero",fontsize=16,color="black",shape="triangle"];571 -> 641[label="",style="solid", color="black", weight=3];
12.07/4.83	572 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.83	572[label="error",fontsize=16,color="magenta"];573[label="Neg (primPlusNat Zero Zero)",fontsize=16,color="green",shape="box"];573 -> 642[label="",style="dashed", color="green", weight=3];
12.07/4.83	574[label="index0 (Pos Zero) (Neg (Succ vz3100)) (Neg Zero) MyTrue",fontsize=16,color="black",shape="box"];574 -> 643[label="",style="solid", color="black", weight=3];
12.07/4.83	1526 -> 1408[label="",style="dashed", color="red", weight=0];
12.07/4.83	1526[label="index1 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) (not (esEsOrdering (primCmpNat vz990 vz1000) GT))",fontsize=16,color="magenta"];1526 -> 1562[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1526 -> 1563[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1527[label="index1 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];1527 -> 1564[label="",style="solid", color="black", weight=3];
12.07/4.83	1528[label="index1 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];1528 -> 1565[label="",style="solid", color="black", weight=3];
12.07/4.83	1529[label="index1 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];1529 -> 1566[label="",style="solid", color="black", weight=3];
12.07/4.83	580[label="index0 (Neg (Succ vz3000)) (Pos Zero) (Pos (Succ vz400)) MyTrue",fontsize=16,color="black",shape="box"];580 -> 651[label="",style="solid", color="black", weight=3];
12.07/4.83	581[label="Pos (primPlusNat Zero (Succ vz3000))",fontsize=16,color="green",shape="box"];581 -> 652[label="",style="dashed", color="green", weight=3];
12.07/4.83	582 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.83	582[label="error",fontsize=16,color="magenta"];1360[label="index1 (Neg (Succ vz58)) (Pos vz590) (Neg (Succ vz60)) (not MyFalse)",fontsize=16,color="black",shape="box"];1360 -> 1368[label="",style="solid", color="black", weight=3];
12.07/4.83	1361[label="index1 (Neg (Succ vz58)) (Neg (Succ vz5900)) (Neg (Succ vz60)) (not (esEsOrdering (primCmpNat (Succ vz5900) (Succ vz60)) GT))",fontsize=16,color="black",shape="box"];1361 -> 1369[label="",style="solid", color="black", weight=3];
12.07/4.83	1362[label="index1 (Neg (Succ vz58)) (Neg Zero) (Neg (Succ vz60)) (not (esEsOrdering (primCmpNat Zero (Succ vz60)) GT))",fontsize=16,color="black",shape="box"];1362 -> 1370[label="",style="solid", color="black", weight=3];
12.07/4.83	601[label="primMinusInt (Neg Zero) (Neg (Succ vz3000))",fontsize=16,color="black",shape="box"];601 -> 675[label="",style="solid", color="black", weight=3];
12.07/4.83	602[label="index0 (Neg (Succ vz3000)) (Neg (Succ vz3100)) (Neg Zero) otherwise",fontsize=16,color="black",shape="box"];602 -> 676[label="",style="solid", color="black", weight=3];
12.07/4.83	1699 -> 1618[label="",style="dashed", color="red", weight=0];
12.07/4.83	1699[label="index1 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) (not (esEsOrdering (primCmpNat vz1120 vz1130) GT))",fontsize=16,color="magenta"];1699 -> 1720[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1699 -> 1721[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1700[label="index1 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];1700 -> 1722[label="",style="solid", color="black", weight=3];
12.07/4.83	1701[label="index1 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];1701 -> 1723[label="",style="solid", color="black", weight=3];
12.07/4.83	1702[label="index1 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];1702 -> 1724[label="",style="solid", color="black", weight=3];
12.07/4.83	608[label="index0 (Neg Zero) (Pos Zero) (Pos (Succ vz400)) MyTrue",fontsize=16,color="black",shape="box"];608 -> 684[label="",style="solid", color="black", weight=3];
12.07/4.83	609[label="Pos (primPlusNat Zero Zero)",fontsize=16,color="green",shape="box"];609 -> 685[label="",style="dashed", color="green", weight=3];
12.07/4.83	610 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.83	610[label="error",fontsize=16,color="magenta"];611 -> 571[label="",style="dashed", color="red", weight=0];
12.07/4.83	611[label="primMinusNat Zero Zero",fontsize=16,color="magenta"];612[label="index0 (Neg Zero) (Neg (Succ vz3100)) (Neg Zero) MyTrue",fontsize=16,color="black",shape="box"];612 -> 686[label="",style="solid", color="black", weight=3];
12.07/4.83	1315 -> 1755[label="",style="dashed", color="red", weight=0];
12.07/4.83	1315[label="index1 (Pos (Succ vz35)) (Pos (Succ vz3600)) (Pos (Succ vz37)) (not (esEsOrdering (primCmpNat vz37 vz3600) GT))",fontsize=16,color="magenta"];1315 -> 1756[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1315 -> 1757[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1315 -> 1758[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1315 -> 1759[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1315 -> 1760[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1316[label="index1 (Pos (Succ vz35)) (Pos Zero) (Pos (Succ vz37)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];1316 -> 1332[label="",style="solid", color="black", weight=3];
12.07/4.83	1317 -> 1145[label="",style="dashed", color="red", weight=0];
12.07/4.83	1317[label="index1 (Pos (Succ vz35)) (Neg vz360) (Pos (Succ vz37)) MyFalse",fontsize=16,color="magenta"];1317 -> 1333[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1593 -> 1495[label="",style="dashed", color="red", weight=0];
12.07/4.83	1593[label="index1 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) (not (esEsOrdering (primCmpNat vz1070 vz1080) GT))",fontsize=16,color="magenta"];1593 -> 1653[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1593 -> 1654[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1594[label="index1 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];1594 -> 1655[label="",style="solid", color="black", weight=3];
12.07/4.83	1595[label="index1 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];1595 -> 1656[label="",style="solid", color="black", weight=3];
12.07/4.83	1596[label="index1 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];1596 -> 1657[label="",style="solid", color="black", weight=3];
12.07/4.83	640[label="index0 (Pos Zero) (Pos Zero) (Pos (Succ vz400)) MyTrue",fontsize=16,color="black",shape="box"];640 -> 718[label="",style="solid", color="black", weight=3];
12.07/4.83	641[label="Pos Zero",fontsize=16,color="green",shape="box"];642[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="triangle"];642 -> 719[label="",style="solid", color="black", weight=3];
12.07/4.83	643 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.83	643[label="error",fontsize=16,color="magenta"];1562[label="vz990",fontsize=16,color="green",shape="box"];1563[label="vz1000",fontsize=16,color="green",shape="box"];1564[label="index1 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) (not MyTrue)",fontsize=16,color="black",shape="box"];1564 -> 1597[label="",style="solid", color="black", weight=3];
12.07/4.83	1565[label="index1 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) (not MyFalse)",fontsize=16,color="black",shape="triangle"];1565 -> 1598[label="",style="solid", color="black", weight=3];
12.07/4.83	1566 -> 1565[label="",style="dashed", color="red", weight=0];
12.07/4.83	1566[label="index1 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) (not MyFalse)",fontsize=16,color="magenta"];651 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.83	651[label="error",fontsize=16,color="magenta"];652[label="primPlusNat Zero (Succ vz3000)",fontsize=16,color="black",shape="box"];652 -> 727[label="",style="solid", color="black", weight=3];
12.07/4.83	1368[label="index1 (Neg (Succ vz58)) (Pos vz590) (Neg (Succ vz60)) MyTrue",fontsize=16,color="black",shape="box"];1368 -> 1378[label="",style="solid", color="black", weight=3];
12.07/4.83	1369 -> 2013[label="",style="dashed", color="red", weight=0];
12.07/4.83	1369[label="index1 (Neg (Succ vz58)) (Neg (Succ vz5900)) (Neg (Succ vz60)) (not (esEsOrdering (primCmpNat vz5900 vz60) GT))",fontsize=16,color="magenta"];1369 -> 2014[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1369 -> 2015[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1369 -> 2016[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1369 -> 2017[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1369 -> 2018[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1370[label="index1 (Neg (Succ vz58)) (Neg Zero) (Neg (Succ vz60)) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];1370 -> 1381[label="",style="solid", color="black", weight=3];
12.07/4.83	675[label="primMinusNat (Succ vz3000) Zero",fontsize=16,color="black",shape="triangle"];675 -> 752[label="",style="solid", color="black", weight=3];
12.07/4.83	676[label="index0 (Neg (Succ vz3000)) (Neg (Succ vz3100)) (Neg Zero) MyTrue",fontsize=16,color="black",shape="box"];676 -> 753[label="",style="solid", color="black", weight=3];
12.07/4.83	1720[label="vz1130",fontsize=16,color="green",shape="box"];1721[label="vz1120",fontsize=16,color="green",shape="box"];1722[label="index1 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) (not MyTrue)",fontsize=16,color="black",shape="box"];1722 -> 1742[label="",style="solid", color="black", weight=3];
12.07/4.83	1723[label="index1 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) (not MyFalse)",fontsize=16,color="black",shape="triangle"];1723 -> 1743[label="",style="solid", color="black", weight=3];
12.07/4.83	1724 -> 1723[label="",style="dashed", color="red", weight=0];
12.07/4.83	1724[label="index1 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) (not MyFalse)",fontsize=16,color="magenta"];684 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.83	684[label="error",fontsize=16,color="magenta"];685 -> 642[label="",style="dashed", color="red", weight=0];
12.07/4.83	685[label="primPlusNat Zero Zero",fontsize=16,color="magenta"];686 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.83	686[label="error",fontsize=16,color="magenta"];1756[label="vz35",fontsize=16,color="green",shape="box"];1757[label="vz3600",fontsize=16,color="green",shape="box"];1758[label="vz37",fontsize=16,color="green",shape="box"];1759[label="vz37",fontsize=16,color="green",shape="box"];1760[label="vz3600",fontsize=16,color="green",shape="box"];1755[label="index1 (Pos (Succ vz115)) (Pos (Succ vz116)) (Pos (Succ vz117)) (not (esEsOrdering (primCmpNat vz118 vz119) GT))",fontsize=16,color="burlywood",shape="triangle"];2202[label="vz118/Succ vz1180",fontsize=10,color="white",style="solid",shape="box"];1755 -> 2202[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2202 -> 1791[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2203[label="vz118/Zero",fontsize=10,color="white",style="solid",shape="box"];1755 -> 2203[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2203 -> 1792[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	1332[label="index1 (Pos (Succ vz35)) (Pos Zero) (Pos (Succ vz37)) (not MyTrue)",fontsize=16,color="black",shape="box"];1332 -> 1342[label="",style="solid", color="black", weight=3];
12.07/4.83	1333[label="Neg vz360",fontsize=16,color="green",shape="box"];1653[label="vz1070",fontsize=16,color="green",shape="box"];1654[label="vz1080",fontsize=16,color="green",shape="box"];1655[label="index1 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) (not MyTrue)",fontsize=16,color="black",shape="box"];1655 -> 1682[label="",style="solid", color="black", weight=3];
12.07/4.83	1656[label="index1 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) (not MyFalse)",fontsize=16,color="black",shape="triangle"];1656 -> 1683[label="",style="solid", color="black", weight=3];
12.07/4.83	1657 -> 1656[label="",style="dashed", color="red", weight=0];
12.07/4.83	1657[label="index1 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) (not MyFalse)",fontsize=16,color="magenta"];718 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.83	718[label="error",fontsize=16,color="magenta"];719[label="Zero",fontsize=16,color="green",shape="box"];1597[label="index1 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) MyFalse",fontsize=16,color="black",shape="box"];1597 -> 1658[label="",style="solid", color="black", weight=3];
12.07/4.83	1598[label="index1 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) MyTrue",fontsize=16,color="black",shape="box"];1598 -> 1659[label="",style="solid", color="black", weight=3];
12.07/4.83	727[label="Succ vz3000",fontsize=16,color="green",shape="box"];1378[label="msMyInt (Neg (Succ vz60)) (Neg (Succ vz58))",fontsize=16,color="black",shape="triangle"];1378 -> 1391[label="",style="solid", color="black", weight=3];
12.07/4.83	2014[label="vz5900",fontsize=16,color="green",shape="box"];2015[label="vz58",fontsize=16,color="green",shape="box"];2016[label="vz60",fontsize=16,color="green",shape="box"];2017[label="vz60",fontsize=16,color="green",shape="box"];2018[label="vz5900",fontsize=16,color="green",shape="box"];2013[label="index1 (Neg (Succ vz149)) (Neg (Succ vz150)) (Neg (Succ vz151)) (not (esEsOrdering (primCmpNat vz152 vz153) GT))",fontsize=16,color="burlywood",shape="triangle"];2204[label="vz152/Succ vz1520",fontsize=10,color="white",style="solid",shape="box"];2013 -> 2204[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2204 -> 2064[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2205[label="vz152/Zero",fontsize=10,color="white",style="solid",shape="box"];2013 -> 2205[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2205 -> 2065[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	1381[label="index1 (Neg (Succ vz58)) (Neg Zero) (Neg (Succ vz60)) (not MyFalse)",fontsize=16,color="black",shape="box"];1381 -> 1396[label="",style="solid", color="black", weight=3];
12.07/4.83	752[label="Pos (Succ vz3000)",fontsize=16,color="green",shape="box"];753 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.83	753[label="error",fontsize=16,color="magenta"];1742[label="index1 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) MyFalse",fontsize=16,color="black",shape="box"];1742 -> 1793[label="",style="solid", color="black", weight=3];
12.07/4.83	1743[label="index1 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) MyTrue",fontsize=16,color="black",shape="box"];1743 -> 1794[label="",style="solid", color="black", weight=3];
12.07/4.83	1791[label="index1 (Pos (Succ vz115)) (Pos (Succ vz116)) (Pos (Succ vz117)) (not (esEsOrdering (primCmpNat (Succ vz1180) vz119) GT))",fontsize=16,color="burlywood",shape="box"];2206[label="vz119/Succ vz1190",fontsize=10,color="white",style="solid",shape="box"];1791 -> 2206[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2206 -> 1805[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2207[label="vz119/Zero",fontsize=10,color="white",style="solid",shape="box"];1791 -> 2207[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2207 -> 1806[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	1792[label="index1 (Pos (Succ vz115)) (Pos (Succ vz116)) (Pos (Succ vz117)) (not (esEsOrdering (primCmpNat Zero vz119) GT))",fontsize=16,color="burlywood",shape="box"];2208[label="vz119/Succ vz1190",fontsize=10,color="white",style="solid",shape="box"];1792 -> 2208[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2208 -> 1807[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2209[label="vz119/Zero",fontsize=10,color="white",style="solid",shape="box"];1792 -> 2209[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2209 -> 1808[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	1342 -> 1145[label="",style="dashed", color="red", weight=0];
12.07/4.83	1342[label="index1 (Pos (Succ vz35)) (Pos Zero) (Pos (Succ vz37)) MyFalse",fontsize=16,color="magenta"];1342 -> 1351[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1682[label="index1 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) MyFalse",fontsize=16,color="black",shape="box"];1682 -> 1703[label="",style="solid", color="black", weight=3];
12.07/4.83	1683[label="index1 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) MyTrue",fontsize=16,color="black",shape="box"];1683 -> 1704[label="",style="solid", color="black", weight=3];
12.07/4.83	1658[label="index0 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) otherwise",fontsize=16,color="black",shape="box"];1658 -> 1684[label="",style="solid", color="black", weight=3];
12.07/4.83	1659[label="msMyInt (Pos (Succ vz98)) (Neg (Succ vz96))",fontsize=16,color="black",shape="box"];1659 -> 1685[label="",style="solid", color="black", weight=3];
12.07/4.83	1391[label="primMinusInt (Neg (Succ vz60)) (Neg (Succ vz58))",fontsize=16,color="black",shape="box"];1391 -> 1446[label="",style="solid", color="black", weight=3];
12.07/4.83	2064[label="index1 (Neg (Succ vz149)) (Neg (Succ vz150)) (Neg (Succ vz151)) (not (esEsOrdering (primCmpNat (Succ vz1520) vz153) GT))",fontsize=16,color="burlywood",shape="box"];2210[label="vz153/Succ vz1530",fontsize=10,color="white",style="solid",shape="box"];2064 -> 2210[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2210 -> 2066[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2211[label="vz153/Zero",fontsize=10,color="white",style="solid",shape="box"];2064 -> 2211[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2211 -> 2067[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2065[label="index1 (Neg (Succ vz149)) (Neg (Succ vz150)) (Neg (Succ vz151)) (not (esEsOrdering (primCmpNat Zero vz153) GT))",fontsize=16,color="burlywood",shape="box"];2212[label="vz153/Succ vz1530",fontsize=10,color="white",style="solid",shape="box"];2065 -> 2212[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2212 -> 2068[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2213[label="vz153/Zero",fontsize=10,color="white",style="solid",shape="box"];2065 -> 2213[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2213 -> 2069[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	1396[label="index1 (Neg (Succ vz58)) (Neg Zero) (Neg (Succ vz60)) MyTrue",fontsize=16,color="black",shape="box"];1396 -> 1451[label="",style="solid", color="black", weight=3];
12.07/4.83	1793[label="index0 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) otherwise",fontsize=16,color="black",shape="box"];1793 -> 1809[label="",style="solid", color="black", weight=3];
12.07/4.83	1794[label="msMyInt (Pos (Succ vz111)) (Neg Zero)",fontsize=16,color="black",shape="box"];1794 -> 1810[label="",style="solid", color="black", weight=3];
12.07/4.83	1805[label="index1 (Pos (Succ vz115)) (Pos (Succ vz116)) (Pos (Succ vz117)) (not (esEsOrdering (primCmpNat (Succ vz1180) (Succ vz1190)) GT))",fontsize=16,color="black",shape="box"];1805 -> 1820[label="",style="solid", color="black", weight=3];
12.07/4.83	1806[label="index1 (Pos (Succ vz115)) (Pos (Succ vz116)) (Pos (Succ vz117)) (not (esEsOrdering (primCmpNat (Succ vz1180) Zero) GT))",fontsize=16,color="black",shape="box"];1806 -> 1821[label="",style="solid", color="black", weight=3];
12.07/4.83	1807[label="index1 (Pos (Succ vz115)) (Pos (Succ vz116)) (Pos (Succ vz117)) (not (esEsOrdering (primCmpNat Zero (Succ vz1190)) GT))",fontsize=16,color="black",shape="box"];1807 -> 1822[label="",style="solid", color="black", weight=3];
12.07/4.83	1808[label="index1 (Pos (Succ vz115)) (Pos (Succ vz116)) (Pos (Succ vz117)) (not (esEsOrdering (primCmpNat Zero Zero) GT))",fontsize=16,color="black",shape="box"];1808 -> 1823[label="",style="solid", color="black", weight=3];
12.07/4.83	1351[label="Pos Zero",fontsize=16,color="green",shape="box"];1703[label="index0 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) otherwise",fontsize=16,color="black",shape="box"];1703 -> 1725[label="",style="solid", color="black", weight=3];
12.07/4.83	1704[label="msMyInt (Pos (Succ vz106)) (Pos Zero)",fontsize=16,color="black",shape="box"];1704 -> 1726[label="",style="solid", color="black", weight=3];
12.07/4.83	1684[label="index0 (Neg (Succ vz96)) (Pos (Succ vz97)) (Pos (Succ vz98)) MyTrue",fontsize=16,color="black",shape="box"];1684 -> 1705[label="",style="solid", color="black", weight=3];
12.07/4.83	1685[label="primMinusInt (Pos (Succ vz98)) (Neg (Succ vz96))",fontsize=16,color="black",shape="box"];1685 -> 1706[label="",style="solid", color="black", weight=3];
12.07/4.83	1446[label="primMinusNat (Succ vz58) (Succ vz60)",fontsize=16,color="black",shape="box"];1446 -> 1479[label="",style="solid", color="black", weight=3];
12.07/4.83	2066[label="index1 (Neg (Succ vz149)) (Neg (Succ vz150)) (Neg (Succ vz151)) (not (esEsOrdering (primCmpNat (Succ vz1520) (Succ vz1530)) GT))",fontsize=16,color="black",shape="box"];2066 -> 2070[label="",style="solid", color="black", weight=3];
12.07/4.83	2067[label="index1 (Neg (Succ vz149)) (Neg (Succ vz150)) (Neg (Succ vz151)) (not (esEsOrdering (primCmpNat (Succ vz1520) Zero) GT))",fontsize=16,color="black",shape="box"];2067 -> 2071[label="",style="solid", color="black", weight=3];
12.07/4.83	2068[label="index1 (Neg (Succ vz149)) (Neg (Succ vz150)) (Neg (Succ vz151)) (not (esEsOrdering (primCmpNat Zero (Succ vz1530)) GT))",fontsize=16,color="black",shape="box"];2068 -> 2072[label="",style="solid", color="black", weight=3];
12.07/4.83	2069[label="index1 (Neg (Succ vz149)) (Neg (Succ vz150)) (Neg (Succ vz151)) (not (esEsOrdering (primCmpNat Zero Zero) GT))",fontsize=16,color="black",shape="box"];2069 -> 2073[label="",style="solid", color="black", weight=3];
12.07/4.83	1451 -> 1378[label="",style="dashed", color="red", weight=0];
12.07/4.83	1451[label="msMyInt (Neg (Succ vz60)) (Neg (Succ vz58))",fontsize=16,color="magenta"];1809[label="index0 (Neg Zero) (Pos (Succ vz110)) (Pos (Succ vz111)) MyTrue",fontsize=16,color="black",shape="box"];1809 -> 1824[label="",style="solid", color="black", weight=3];
12.07/4.83	1810[label="primMinusInt (Pos (Succ vz111)) (Neg Zero)",fontsize=16,color="black",shape="box"];1810 -> 1825[label="",style="solid", color="black", weight=3];
12.07/4.83	1820 -> 1755[label="",style="dashed", color="red", weight=0];
12.07/4.83	1820[label="index1 (Pos (Succ vz115)) (Pos (Succ vz116)) (Pos (Succ vz117)) (not (esEsOrdering (primCmpNat vz1180 vz1190) GT))",fontsize=16,color="magenta"];1820 -> 1838[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1820 -> 1839[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1821[label="index1 (Pos (Succ vz115)) (Pos (Succ vz116)) (Pos (Succ vz117)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];1821 -> 1840[label="",style="solid", color="black", weight=3];
12.07/4.83	1822[label="index1 (Pos (Succ vz115)) (Pos (Succ vz116)) (Pos (Succ vz117)) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];1822 -> 1841[label="",style="solid", color="black", weight=3];
12.07/4.83	1823[label="index1 (Pos (Succ vz115)) (Pos (Succ vz116)) (Pos (Succ vz117)) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];1823 -> 1842[label="",style="solid", color="black", weight=3];
12.07/4.83	1725[label="index0 (Pos Zero) (Pos (Succ vz105)) (Pos (Succ vz106)) MyTrue",fontsize=16,color="black",shape="box"];1725 -> 1744[label="",style="solid", color="black", weight=3];
12.07/4.83	1726[label="primMinusInt (Pos (Succ vz106)) (Pos Zero)",fontsize=16,color="black",shape="box"];1726 -> 1745[label="",style="solid", color="black", weight=3];
12.07/4.83	1705 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.83	1705[label="error",fontsize=16,color="magenta"];1706[label="Pos (primPlusNat (Succ vz98) (Succ vz96))",fontsize=16,color="green",shape="box"];1706 -> 1727[label="",style="dashed", color="green", weight=3];
12.07/4.83	1479[label="primMinusNat vz58 vz60",fontsize=16,color="burlywood",shape="triangle"];2214[label="vz58/Succ vz580",fontsize=10,color="white",style="solid",shape="box"];1479 -> 2214[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2214 -> 1531[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2215[label="vz58/Zero",fontsize=10,color="white",style="solid",shape="box"];1479 -> 2215[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2215 -> 1532[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2070 -> 2013[label="",style="dashed", color="red", weight=0];
12.07/4.83	2070[label="index1 (Neg (Succ vz149)) (Neg (Succ vz150)) (Neg (Succ vz151)) (not (esEsOrdering (primCmpNat vz1520 vz1530) GT))",fontsize=16,color="magenta"];2070 -> 2074[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	2070 -> 2075[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	2071[label="index1 (Neg (Succ vz149)) (Neg (Succ vz150)) (Neg (Succ vz151)) (not (esEsOrdering GT GT))",fontsize=16,color="black",shape="box"];2071 -> 2076[label="",style="solid", color="black", weight=3];
12.07/4.83	2072[label="index1 (Neg (Succ vz149)) (Neg (Succ vz150)) (Neg (Succ vz151)) (not (esEsOrdering LT GT))",fontsize=16,color="black",shape="box"];2072 -> 2077[label="",style="solid", color="black", weight=3];
12.07/4.83	2073[label="index1 (Neg (Succ vz149)) (Neg (Succ vz150)) (Neg (Succ vz151)) (not (esEsOrdering EQ GT))",fontsize=16,color="black",shape="box"];2073 -> 2078[label="",style="solid", color="black", weight=3];
12.07/4.83	1824 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.83	1824[label="error",fontsize=16,color="magenta"];1825[label="Pos (primPlusNat (Succ vz111) Zero)",fontsize=16,color="green",shape="box"];1825 -> 1843[label="",style="dashed", color="green", weight=3];
12.07/4.83	1838[label="vz1180",fontsize=16,color="green",shape="box"];1839[label="vz1190",fontsize=16,color="green",shape="box"];1840[label="index1 (Pos (Succ vz115)) (Pos (Succ vz116)) (Pos (Succ vz117)) (not MyTrue)",fontsize=16,color="black",shape="box"];1840 -> 1853[label="",style="solid", color="black", weight=3];
12.07/4.83	1841[label="index1 (Pos (Succ vz115)) (Pos (Succ vz116)) (Pos (Succ vz117)) (not MyFalse)",fontsize=16,color="black",shape="triangle"];1841 -> 1854[label="",style="solid", color="black", weight=3];
12.07/4.83	1842 -> 1841[label="",style="dashed", color="red", weight=0];
12.07/4.83	1842[label="index1 (Pos (Succ vz115)) (Pos (Succ vz116)) (Pos (Succ vz117)) (not MyFalse)",fontsize=16,color="magenta"];1744 -> 128[label="",style="dashed", color="red", weight=0];
12.07/4.83	1744[label="error",fontsize=16,color="magenta"];1745 -> 1479[label="",style="dashed", color="red", weight=0];
12.07/4.83	1745[label="primMinusNat (Succ vz106) Zero",fontsize=16,color="magenta"];1745 -> 1795[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1745 -> 1796[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1727[label="primPlusNat (Succ vz98) (Succ vz96)",fontsize=16,color="black",shape="box"];1727 -> 1746[label="",style="solid", color="black", weight=3];
12.07/4.83	1531[label="primMinusNat (Succ vz580) vz60",fontsize=16,color="burlywood",shape="box"];2216[label="vz60/Succ vz600",fontsize=10,color="white",style="solid",shape="box"];1531 -> 2216[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2216 -> 1568[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2217[label="vz60/Zero",fontsize=10,color="white",style="solid",shape="box"];1531 -> 2217[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2217 -> 1569[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	1532[label="primMinusNat Zero vz60",fontsize=16,color="burlywood",shape="box"];2218[label="vz60/Succ vz600",fontsize=10,color="white",style="solid",shape="box"];1532 -> 2218[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2218 -> 1570[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2219[label="vz60/Zero",fontsize=10,color="white",style="solid",shape="box"];1532 -> 2219[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2219 -> 1571[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2074[label="vz1520",fontsize=16,color="green",shape="box"];2075[label="vz1530",fontsize=16,color="green",shape="box"];2076[label="index1 (Neg (Succ vz149)) (Neg (Succ vz150)) (Neg (Succ vz151)) (not MyTrue)",fontsize=16,color="black",shape="box"];2076 -> 2079[label="",style="solid", color="black", weight=3];
12.07/4.83	2077[label="index1 (Neg (Succ vz149)) (Neg (Succ vz150)) (Neg (Succ vz151)) (not MyFalse)",fontsize=16,color="black",shape="triangle"];2077 -> 2080[label="",style="solid", color="black", weight=3];
12.07/4.83	2078 -> 2077[label="",style="dashed", color="red", weight=0];
12.07/4.83	2078[label="index1 (Neg (Succ vz149)) (Neg (Succ vz150)) (Neg (Succ vz151)) (not MyFalse)",fontsize=16,color="magenta"];1843 -> 1797[label="",style="dashed", color="red", weight=0];
12.07/4.83	1843[label="primPlusNat (Succ vz111) Zero",fontsize=16,color="magenta"];1843 -> 1855[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1843 -> 1856[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1853 -> 1145[label="",style="dashed", color="red", weight=0];
12.07/4.83	1853[label="index1 (Pos (Succ vz115)) (Pos (Succ vz116)) (Pos (Succ vz117)) MyFalse",fontsize=16,color="magenta"];1853 -> 1862[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1853 -> 1863[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1853 -> 1864[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1854[label="index1 (Pos (Succ vz115)) (Pos (Succ vz116)) (Pos (Succ vz117)) MyTrue",fontsize=16,color="black",shape="box"];1854 -> 1865[label="",style="solid", color="black", weight=3];
12.07/4.83	1795[label="Succ vz106",fontsize=16,color="green",shape="box"];1796[label="Zero",fontsize=16,color="green",shape="box"];1746[label="Succ (Succ (primPlusNat vz98 vz96))",fontsize=16,color="green",shape="box"];1746 -> 1797[label="",style="dashed", color="green", weight=3];
12.07/4.83	1568[label="primMinusNat (Succ vz580) (Succ vz600)",fontsize=16,color="black",shape="box"];1568 -> 1600[label="",style="solid", color="black", weight=3];
12.07/4.83	1569[label="primMinusNat (Succ vz580) Zero",fontsize=16,color="black",shape="box"];1569 -> 1601[label="",style="solid", color="black", weight=3];
12.07/4.83	1570[label="primMinusNat Zero (Succ vz600)",fontsize=16,color="black",shape="box"];1570 -> 1602[label="",style="solid", color="black", weight=3];
12.07/4.83	1571[label="primMinusNat Zero Zero",fontsize=16,color="black",shape="box"];1571 -> 1603[label="",style="solid", color="black", weight=3];
12.07/4.83	2079 -> 1298[label="",style="dashed", color="red", weight=0];
12.07/4.83	2079[label="index1 (Neg (Succ vz149)) (Neg (Succ vz150)) (Neg (Succ vz151)) MyFalse",fontsize=16,color="magenta"];2079 -> 2081[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	2079 -> 2082[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	2079 -> 2083[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	2080[label="index1 (Neg (Succ vz149)) (Neg (Succ vz150)) (Neg (Succ vz151)) MyTrue",fontsize=16,color="black",shape="box"];2080 -> 2084[label="",style="solid", color="black", weight=3];
12.07/4.83	1855[label="Succ vz111",fontsize=16,color="green",shape="box"];1856[label="Zero",fontsize=16,color="green",shape="box"];1797[label="primPlusNat vz98 vz96",fontsize=16,color="burlywood",shape="triangle"];2220[label="vz98/Succ vz980",fontsize=10,color="white",style="solid",shape="box"];1797 -> 2220[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2220 -> 1811[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2221[label="vz98/Zero",fontsize=10,color="white",style="solid",shape="box"];1797 -> 2221[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2221 -> 1812[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	1862[label="vz117",fontsize=16,color="green",shape="box"];1863[label="Pos (Succ vz116)",fontsize=16,color="green",shape="box"];1864[label="vz115",fontsize=16,color="green",shape="box"];1865[label="msMyInt (Pos (Succ vz117)) (Pos (Succ vz115))",fontsize=16,color="black",shape="box"];1865 -> 1872[label="",style="solid", color="black", weight=3];
12.07/4.83	1600 -> 1479[label="",style="dashed", color="red", weight=0];
12.07/4.83	1600[label="primMinusNat vz580 vz600",fontsize=16,color="magenta"];1600 -> 1660[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1600 -> 1661[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1601[label="Pos (Succ vz580)",fontsize=16,color="green",shape="box"];1602[label="Neg (Succ vz600)",fontsize=16,color="green",shape="box"];1603[label="Pos Zero",fontsize=16,color="green",shape="box"];2081[label="vz149",fontsize=16,color="green",shape="box"];2082[label="vz151",fontsize=16,color="green",shape="box"];2083[label="Neg (Succ vz150)",fontsize=16,color="green",shape="box"];2084 -> 1378[label="",style="dashed", color="red", weight=0];
12.07/4.83	2084[label="msMyInt (Neg (Succ vz151)) (Neg (Succ vz149))",fontsize=16,color="magenta"];2084 -> 2085[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	2084 -> 2086[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1811[label="primPlusNat (Succ vz980) vz96",fontsize=16,color="burlywood",shape="box"];2222[label="vz96/Succ vz960",fontsize=10,color="white",style="solid",shape="box"];1811 -> 2222[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2222 -> 1826[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2223[label="vz96/Zero",fontsize=10,color="white",style="solid",shape="box"];1811 -> 2223[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2223 -> 1827[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	1812[label="primPlusNat Zero vz96",fontsize=16,color="burlywood",shape="box"];2224[label="vz96/Succ vz960",fontsize=10,color="white",style="solid",shape="box"];1812 -> 2224[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2224 -> 1828[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	2225[label="vz96/Zero",fontsize=10,color="white",style="solid",shape="box"];1812 -> 2225[label="",style="solid", color="burlywood", weight=9];
12.07/4.83	2225 -> 1829[label="",style="solid", color="burlywood", weight=3];
12.07/4.83	1872[label="primMinusInt (Pos (Succ vz117)) (Pos (Succ vz115))",fontsize=16,color="black",shape="box"];1872 -> 1876[label="",style="solid", color="black", weight=3];
12.07/4.83	1660[label="vz580",fontsize=16,color="green",shape="box"];1661[label="vz600",fontsize=16,color="green",shape="box"];2085[label="vz149",fontsize=16,color="green",shape="box"];2086[label="vz151",fontsize=16,color="green",shape="box"];1826[label="primPlusNat (Succ vz980) (Succ vz960)",fontsize=16,color="black",shape="box"];1826 -> 1844[label="",style="solid", color="black", weight=3];
12.07/4.83	1827[label="primPlusNat (Succ vz980) Zero",fontsize=16,color="black",shape="box"];1827 -> 1845[label="",style="solid", color="black", weight=3];
12.07/4.83	1828[label="primPlusNat Zero (Succ vz960)",fontsize=16,color="black",shape="box"];1828 -> 1846[label="",style="solid", color="black", weight=3];
12.07/4.83	1829[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1829 -> 1847[label="",style="solid", color="black", weight=3];
12.07/4.83	1876 -> 1479[label="",style="dashed", color="red", weight=0];
12.07/4.83	1876[label="primMinusNat (Succ vz117) (Succ vz115)",fontsize=16,color="magenta"];1876 -> 1901[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1876 -> 1902[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1844[label="Succ (Succ (primPlusNat vz980 vz960))",fontsize=16,color="green",shape="box"];1844 -> 1857[label="",style="dashed", color="green", weight=3];
12.07/4.83	1845[label="Succ vz980",fontsize=16,color="green",shape="box"];1846[label="Succ vz960",fontsize=16,color="green",shape="box"];1847[label="Zero",fontsize=16,color="green",shape="box"];1901[label="Succ vz117",fontsize=16,color="green",shape="box"];1902[label="Succ vz115",fontsize=16,color="green",shape="box"];1857 -> 1797[label="",style="dashed", color="red", weight=0];
12.07/4.83	1857[label="primPlusNat vz980 vz960",fontsize=16,color="magenta"];1857 -> 1866[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1857 -> 1867[label="",style="dashed", color="magenta", weight=3];
12.07/4.83	1866[label="vz980",fontsize=16,color="green",shape="box"];1867[label="vz960",fontsize=16,color="green",shape="box"];}
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(6)
12.07/4.83	Complex Obligation (AND)
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(7)
12.07/4.83	Obligation:
12.07/4.83	Q DP problem:
12.07/4.83	The TRS P consists of the following rules:
12.07/4.83	
12.07/4.83	   new_index13(vz105, vz106, Main.Succ(vz1070), Main.Succ(vz1080)) -> new_index13(vz105, vz106, vz1070, vz1080)
12.07/4.83	
12.07/4.83	R is empty.
12.07/4.83	Q is empty.
12.07/4.83	We have to consider all minimal (P,Q,R)-chains.
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(8) QDPSizeChangeProof (EQUIVALENT)
12.07/4.83	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.07/4.83	
12.07/4.83	From the DPs we obtained the following set of size-change graphs:
12.07/4.83	*new_index13(vz105, vz106, Main.Succ(vz1070), Main.Succ(vz1080)) -> new_index13(vz105, vz106, vz1070, vz1080)
12.07/4.83	The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4
12.07/4.83	
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(9)
12.07/4.83	YES
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(10)
12.07/4.83	Obligation:
12.07/4.83	Q DP problem:
12.07/4.83	The TRS P consists of the following rules:
12.07/4.83	
12.07/4.83	   new_index11(vz58, vz59, vz60, Main.Succ(vz610), Main.Succ(vz620)) -> new_index11(vz58, vz59, vz60, vz610, vz620)
12.07/4.83	
12.07/4.83	R is empty.
12.07/4.83	Q is empty.
12.07/4.83	We have to consider all minimal (P,Q,R)-chains.
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(11) QDPSizeChangeProof (EQUIVALENT)
12.07/4.83	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.07/4.83	
12.07/4.83	From the DPs we obtained the following set of size-change graphs:
12.07/4.83	*new_index11(vz58, vz59, vz60, Main.Succ(vz610), Main.Succ(vz620)) -> new_index11(vz58, vz59, vz60, vz610, vz620)
12.07/4.83	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5
12.07/4.83	
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(12)
12.07/4.83	YES
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(13)
12.07/4.83	Obligation:
12.07/4.83	Q DP problem:
12.07/4.83	The TRS P consists of the following rules:
12.07/4.83	
12.07/4.83	   new_index10(vz149, vz150, vz151, Main.Succ(vz1520), Main.Succ(vz1530)) -> new_index10(vz149, vz150, vz151, vz1520, vz1530)
12.07/4.83	
12.07/4.83	R is empty.
12.07/4.83	Q is empty.
12.07/4.83	We have to consider all minimal (P,Q,R)-chains.
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(14) QDPSizeChangeProof (EQUIVALENT)
12.07/4.83	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.07/4.83	
12.07/4.83	From the DPs we obtained the following set of size-change graphs:
12.07/4.83	*new_index10(vz149, vz150, vz151, Main.Succ(vz1520), Main.Succ(vz1530)) -> new_index10(vz149, vz150, vz151, vz1520, vz1530)
12.07/4.83	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5
12.07/4.83	
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(15)
12.07/4.83	YES
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(16)
12.07/4.83	Obligation:
12.07/4.83	Q DP problem:
12.07/4.83	The TRS P consists of the following rules:
12.07/4.83	
12.07/4.83	   new_index15(vz35, vz36, vz37, Main.Succ(vz380), Main.Succ(vz390)) -> new_index15(vz35, vz36, vz37, vz380, vz390)
12.07/4.83	
12.07/4.83	R is empty.
12.07/4.83	Q is empty.
12.07/4.83	We have to consider all minimal (P,Q,R)-chains.
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(17) QDPSizeChangeProof (EQUIVALENT)
12.07/4.83	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.07/4.83	
12.07/4.83	From the DPs we obtained the following set of size-change graphs:
12.07/4.83	*new_index15(vz35, vz36, vz37, Main.Succ(vz380), Main.Succ(vz390)) -> new_index15(vz35, vz36, vz37, vz380, vz390)
12.07/4.83	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5
12.07/4.83	
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(18)
12.07/4.83	YES
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(19)
12.07/4.83	Obligation:
12.07/4.83	Q DP problem:
12.07/4.83	The TRS P consists of the following rules:
12.07/4.83	
12.07/4.83	   new_primPlusNat(Main.Succ(vz980), Main.Succ(vz960)) -> new_primPlusNat(vz980, vz960)
12.07/4.83	
12.07/4.83	R is empty.
12.07/4.83	Q is empty.
12.07/4.83	We have to consider all minimal (P,Q,R)-chains.
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(20) QDPSizeChangeProof (EQUIVALENT)
12.07/4.83	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.07/4.83	
12.07/4.83	From the DPs we obtained the following set of size-change graphs:
12.07/4.83	*new_primPlusNat(Main.Succ(vz980), Main.Succ(vz960)) -> new_primPlusNat(vz980, vz960)
12.07/4.83	The graph contains the following edges 1 > 1, 2 > 2
12.07/4.83	
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(21)
12.07/4.83	YES
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(22)
12.07/4.83	Obligation:
12.07/4.83	Q DP problem:
12.07/4.83	The TRS P consists of the following rules:
12.07/4.83	
12.07/4.83	   new_primMinusNat(Main.Succ(vz580), Main.Succ(vz600)) -> new_primMinusNat(vz580, vz600)
12.07/4.83	
12.07/4.83	R is empty.
12.07/4.83	Q is empty.
12.07/4.83	We have to consider all minimal (P,Q,R)-chains.
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(23) QDPSizeChangeProof (EQUIVALENT)
12.07/4.83	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.07/4.83	
12.07/4.83	From the DPs we obtained the following set of size-change graphs:
12.07/4.83	*new_primMinusNat(Main.Succ(vz580), Main.Succ(vz600)) -> new_primMinusNat(vz580, vz600)
12.07/4.83	The graph contains the following edges 1 > 1, 2 > 2
12.07/4.83	
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(24)
12.07/4.83	YES
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(25)
12.07/4.83	Obligation:
12.07/4.83	Q DP problem:
12.07/4.83	The TRS P consists of the following rules:
12.07/4.83	
12.07/4.83	   new_index12(vz96, vz97, vz98, Main.Succ(vz990), Main.Succ(vz1000)) -> new_index12(vz96, vz97, vz98, vz990, vz1000)
12.07/4.83	
12.07/4.83	R is empty.
12.07/4.83	Q is empty.
12.07/4.83	We have to consider all minimal (P,Q,R)-chains.
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(26) QDPSizeChangeProof (EQUIVALENT)
12.07/4.83	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.07/4.83	
12.07/4.83	From the DPs we obtained the following set of size-change graphs:
12.07/4.83	*new_index12(vz96, vz97, vz98, Main.Succ(vz990), Main.Succ(vz1000)) -> new_index12(vz96, vz97, vz98, vz990, vz1000)
12.07/4.83	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5
12.07/4.83	
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(27)
12.07/4.83	YES
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(28)
12.07/4.83	Obligation:
12.07/4.83	Q DP problem:
12.07/4.83	The TRS P consists of the following rules:
12.07/4.83	
12.07/4.83	   new_index14(vz115, vz116, vz117, Main.Succ(vz1180), Main.Succ(vz1190)) -> new_index14(vz115, vz116, vz117, vz1180, vz1190)
12.07/4.83	
12.07/4.83	R is empty.
12.07/4.83	Q is empty.
12.07/4.83	We have to consider all minimal (P,Q,R)-chains.
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(29) QDPSizeChangeProof (EQUIVALENT)
12.07/4.83	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.07/4.83	
12.07/4.83	From the DPs we obtained the following set of size-change graphs:
12.07/4.83	*new_index14(vz115, vz116, vz117, Main.Succ(vz1180), Main.Succ(vz1190)) -> new_index14(vz115, vz116, vz117, vz1180, vz1190)
12.07/4.83	The graph contains the following edges 1 >= 1, 2 >= 2, 3 >= 3, 4 > 4, 5 > 5
12.07/4.83	
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(30)
12.07/4.83	YES
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(31)
12.07/4.83	Obligation:
12.07/4.83	Q DP problem:
12.07/4.83	The TRS P consists of the following rules:
12.07/4.83	
12.07/4.83	   new_index1(vz110, vz111, Main.Succ(vz1120), Main.Succ(vz1130)) -> new_index1(vz110, vz111, vz1120, vz1130)
12.07/4.83	
12.07/4.83	R is empty.
12.07/4.83	Q is empty.
12.07/4.83	We have to consider all minimal (P,Q,R)-chains.
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(32) QDPSizeChangeProof (EQUIVALENT)
12.07/4.83	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.07/4.83	
12.07/4.83	From the DPs we obtained the following set of size-change graphs:
12.07/4.83	*new_index1(vz110, vz111, Main.Succ(vz1120), Main.Succ(vz1130)) -> new_index1(vz110, vz111, vz1120, vz1130)
12.07/4.83	The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4
12.07/4.83	
12.07/4.83	
12.07/4.83	----------------------------------------
12.07/4.83	
12.07/4.83	(33)
12.07/4.83	YES
12.41/4.93	EOF