10.60/4.42	YES
12.96/5.11	proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
12.96/5.11	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
12.96/5.11	
12.96/5.11	
12.96/5.11	H-Termination with start terms of the given HASKELL could be proven:
12.96/5.11	
12.96/5.11	(0) HASKELL
12.96/5.11	(1) IFR [EQUIVALENT, 0 ms]
12.96/5.11	(2) HASKELL
12.96/5.11	(3) BR [EQUIVALENT, 0 ms]
12.96/5.11	(4) HASKELL
12.96/5.11	(5) COR [EQUIVALENT, 16 ms]
12.96/5.11	(6) HASKELL
12.96/5.11	(7) LetRed [EQUIVALENT, 0 ms]
12.96/5.11	(8) HASKELL
12.96/5.11	(9) NumRed [SOUND, 0 ms]
12.96/5.11	(10) HASKELL
12.96/5.11	(11) Narrow [SOUND, 0 ms]
12.96/5.11	(12) AND
12.96/5.11	    (13) QDP
12.96/5.11	        (14) DependencyGraphProof [EQUIVALENT, 0 ms]
12.96/5.11	        (15) QDP
12.96/5.11	        (16) MRRProof [EQUIVALENT, 18 ms]
12.96/5.11	        (17) QDP
12.96/5.11	        (18) PisEmptyProof [EQUIVALENT, 0 ms]
12.96/5.11	        (19) YES
12.96/5.11	    (20) QDP
12.96/5.11	        (21) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.96/5.11	        (22) YES
12.96/5.11	    (23) QDP
12.96/5.11	        (24) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.96/5.11	        (25) YES
12.96/5.11	    (26) QDP
12.96/5.11	        (27) DependencyGraphProof [EQUIVALENT, 0 ms]
12.96/5.11	        (28) QDP
12.96/5.11	        (29) MRRProof [EQUIVALENT, 0 ms]
12.96/5.11	        (30) QDP
12.96/5.11	        (31) PisEmptyProof [EQUIVALENT, 0 ms]
12.96/5.11	        (32) YES
12.96/5.11	    (33) QDP
12.96/5.11	        (34) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.96/5.11	        (35) YES
12.96/5.11	
12.96/5.11	
12.96/5.11	----------------------------------------
12.96/5.11	
12.96/5.11	(0)
12.96/5.11	Obligation:
12.96/5.11	mainModule Main 
12.96/5.11	module Main where {
12.96/5.11	import qualified Prelude;
12.96/5.11	}
12.96/5.11	
12.96/5.11	----------------------------------------
12.96/5.11	
12.96/5.11	(1) IFR (EQUIVALENT)
12.96/5.11	If Reductions:
12.96/5.11	The following If expression
12.96/5.11	"if primGEqNatS x y then Succ (primDivNatS (primMinusNatS x y) (Succ y)) else Zero"
12.96/5.11	is transformed to
12.96/5.11	"primDivNatS0 x y True = Succ (primDivNatS (primMinusNatS x y) (Succ y));
12.96/5.11	primDivNatS0 x y False = Zero;
12.96/5.11	"
12.96/5.11	The following If expression
12.96/5.11	"if primGEqNatS x y then primModNatS (primMinusNatS x y) (Succ y) else Succ x"
12.96/5.11	is transformed to
12.96/5.11	"primModNatS0 x y True = primModNatS (primMinusNatS x y) (Succ y);
12.96/5.11	primModNatS0 x y False = Succ x;
12.96/5.11	"
12.96/5.11	
12.96/5.11	----------------------------------------
12.96/5.11	
12.96/5.11	(2)
12.96/5.11	Obligation:
12.96/5.11	mainModule Main 
12.96/5.11	module Main where {
12.96/5.11	import qualified Prelude;
12.96/5.11	}
12.96/5.11	
12.96/5.11	----------------------------------------
12.96/5.11	
12.96/5.11	(3) BR (EQUIVALENT)
12.96/5.11	Replaced joker patterns by fresh variables and removed binding patterns.
12.96/5.11	----------------------------------------
12.96/5.11	
12.96/5.11	(4)
12.96/5.11	Obligation:
12.96/5.11	mainModule Main 
12.96/5.11	module Main where {
12.96/5.11	import qualified Prelude;
12.96/5.11	}
12.96/5.11	
12.96/5.11	----------------------------------------
12.96/5.11	
12.96/5.11	(5) COR (EQUIVALENT)
12.96/5.11	Cond Reductions:
12.96/5.11	The following Function with conditions
12.96/5.11	"absReal x|x >= 0x|otherwise`negate` x;
12.96/5.11	"
12.96/5.11	is transformed to
12.96/5.11	"absReal x = absReal2 x;
12.96/5.11	"
12.96/5.11	"absReal1 x True = x;
12.96/5.11	absReal1 x False = absReal0 x otherwise;
12.96/5.11	"
12.96/5.11	"absReal0 x True = `negate` x;
12.96/5.11	"
12.96/5.11	"absReal2 x = absReal1 x (x >= 0);
12.96/5.11	"
12.96/5.11	The following Function with conditions
12.96/5.11	"gcd' x 0 = x;
12.96/5.11	gcd' x y = gcd' y (x `rem` y);
12.96/5.11	"
12.96/5.11	is transformed to
12.96/5.11	"gcd' x xz = gcd'2 x xz;
12.96/5.11	gcd' x y = gcd'0 x y;
12.96/5.11	"
12.96/5.11	"gcd'0 x y = gcd' y (x `rem` y);
12.96/5.11	"
12.96/5.11	"gcd'1 True x xz = x;
12.96/5.11	gcd'1 yu yv yw = gcd'0 yv yw;
12.96/5.11	"
12.96/5.11	"gcd'2 x xz = gcd'1 (xz == 0) x xz;
12.96/5.11	gcd'2 yx yy = gcd'0 yx yy;
12.96/5.11	"
12.96/5.11	The following Function with conditions
12.96/5.11	"gcd 0 0 = error [];
12.96/5.11	gcd x y = gcd' (abs x) (abs y) where {
12.96/5.11	gcd' x 0 = x;
12.96/5.11	gcd' x y = gcd' y (x `rem` y);
12.96/5.11	} 
12.96/5.11	;
12.96/5.11	"
12.96/5.11	is transformed to
12.96/5.11	"gcd yz zu = gcd3 yz zu;
12.96/5.11	gcd x y = gcd0 x y;
12.96/5.11	"
12.96/5.11	"gcd0 x y = gcd' (abs x) (abs y) where {
12.96/5.11	gcd' x xz = gcd'2 x xz;
12.96/5.11	gcd' x y = gcd'0 x y;
12.96/5.11	;
12.96/5.11	gcd'0 x y = gcd' y (x `rem` y);
12.96/5.11	;
12.96/5.11	gcd'1 True x xz = x;
12.96/5.11	gcd'1 yu yv yw = gcd'0 yv yw;
12.96/5.11	;
12.96/5.11	gcd'2 x xz = gcd'1 (xz == 0) x xz;
12.96/5.11	gcd'2 yx yy = gcd'0 yx yy;
12.96/5.11	} 
12.96/5.11	;
12.96/5.11	"
12.96/5.11	"gcd1 True yz zu = error [];
12.96/5.11	gcd1 zv zw zx = gcd0 zw zx;
12.96/5.11	"
12.96/5.11	"gcd2 True yz zu = gcd1 (zu == 0) yz zu;
12.96/5.11	gcd2 zy zz vuu = gcd0 zz vuu;
12.96/5.11	"
12.96/5.11	"gcd3 yz zu = gcd2 (yz == 0) yz zu;
12.96/5.11	gcd3 vuv vuw = gcd0 vuv vuw;
12.96/5.11	"
12.96/5.11	The following Function with conditions
12.96/5.11	"undefined |Falseundefined;
12.96/5.11	"
12.96/5.11	is transformed to
12.96/5.11	"undefined  = undefined1;
12.96/5.11	"
12.96/5.11	"undefined0 True = undefined;
12.96/5.11	"
12.96/5.11	"undefined1  = undefined0 False;
12.96/5.11	"
12.96/5.11	The following Function with conditions
12.96/5.11	"reduce x y|y == 0error []|otherwisex `quot` d :% (y `quot` d) where {
12.96/5.11	d  = gcd x y;
12.96/5.11	} 
12.96/5.11	;
12.96/5.11	"
12.96/5.11	is transformed to
12.96/5.11	"reduce x y = reduce2 x y;
12.96/5.11	"
12.96/5.11	"reduce2 x y = reduce1 x y (y == 0) where {
12.96/5.11	d  = gcd x y;
12.96/5.11	;
12.96/5.11	reduce0 x y True = x `quot` d :% (y `quot` d);
12.96/5.11	;
12.96/5.11	reduce1 x y True = error [];
12.96/5.11	reduce1 x y False = reduce0 x y otherwise;
12.96/5.11	} 
12.96/5.11	;
12.96/5.11	"
12.96/5.11	The following Function with conditions
12.96/5.11	"signumReal x|x == 00|x > 01|otherwise-1;
12.96/5.11	"
12.96/5.11	is transformed to
12.96/5.11	"signumReal x = signumReal3 x;
12.96/5.11	"
12.96/5.11	"signumReal2 x True = 0;
12.96/5.11	signumReal2 x False = signumReal1 x (x > 0);
12.96/5.11	"
12.96/5.11	"signumReal0 x True = -1;
12.96/5.11	"
12.96/5.11	"signumReal1 x True = 1;
12.96/5.11	signumReal1 x False = signumReal0 x otherwise;
12.96/5.11	"
12.96/5.11	"signumReal3 x = signumReal2 x (x == 0);
12.96/5.11	"
12.96/5.11	
12.96/5.11	----------------------------------------
12.96/5.11	
12.96/5.11	(6)
12.96/5.11	Obligation:
12.96/5.11	mainModule Main 
12.96/5.11	module Main where {
12.96/5.11	import qualified Prelude;
12.96/5.11	}
12.96/5.11	
12.96/5.11	----------------------------------------
12.96/5.11	
12.96/5.11	(7) LetRed (EQUIVALENT)
12.96/5.11	Let/Where Reductions:
12.96/5.11	The bindings of the following Let/Where expression
12.96/5.11	"gcd' (abs x) (abs y) where {
12.96/5.11	gcd' x xz = gcd'2 x xz;
12.96/5.11	gcd' x y = gcd'0 x y;
12.96/5.11	;
12.96/5.11	gcd'0 x y = gcd' y (x `rem` y);
12.96/5.11	;
12.96/5.11	gcd'1 True x xz = x;
12.96/5.11	gcd'1 yu yv yw = gcd'0 yv yw;
12.96/5.11	;
12.96/5.11	gcd'2 x xz = gcd'1 (xz == 0) x xz;
12.96/5.11	gcd'2 yx yy = gcd'0 yx yy;
12.96/5.11	} 
12.96/5.11	"
12.96/5.11	are unpacked to the following functions on top level
12.96/5.11	"gcd0Gcd'2 x xz = gcd0Gcd'1 (xz == 0) x xz;
12.96/5.11	gcd0Gcd'2 yx yy = gcd0Gcd'0 yx yy;
12.96/5.11	"
12.96/5.11	"gcd0Gcd' x xz = gcd0Gcd'2 x xz;
12.96/5.11	gcd0Gcd' x y = gcd0Gcd'0 x y;
12.96/5.11	"
12.96/5.11	"gcd0Gcd'0 x y = gcd0Gcd' y (x `rem` y);
12.96/5.11	"
12.96/5.11	"gcd0Gcd'1 True x xz = x;
12.96/5.11	gcd0Gcd'1 yu yv yw = gcd0Gcd'0 yv yw;
12.96/5.11	"
12.96/5.11	The bindings of the following Let/Where expression
12.96/5.11	"reduce1 x y (y == 0) where {
12.96/5.11	d  = gcd x y;
12.96/5.11	;
12.96/5.11	reduce0 x y True = x `quot` d :% (y `quot` d);
12.96/5.11	;
12.96/5.11	reduce1 x y True = error [];
12.96/5.11	reduce1 x y False = reduce0 x y otherwise;
12.96/5.11	} 
12.96/5.11	"
12.96/5.11	are unpacked to the following functions on top level
12.96/5.11	"reduce2D vux vuy = gcd vux vuy;
12.96/5.11	"
12.96/5.11	"reduce2Reduce0 vux vuy x y True = x `quot` reduce2D vux vuy :% (y `quot` reduce2D vux vuy);
12.96/5.11	"
12.96/5.11	"reduce2Reduce1 vux vuy x y True = error [];
12.96/5.11	reduce2Reduce1 vux vuy x y False = reduce2Reduce0 vux vuy x y otherwise;
12.96/5.11	"
12.96/5.11	
12.96/5.11	----------------------------------------
12.96/5.11	
12.96/5.11	(8)
12.96/5.11	Obligation:
12.96/5.11	mainModule Main 
12.96/5.11	module Main where {
12.96/5.11	import qualified Prelude;
12.96/5.11	}
12.96/5.11	
12.96/5.11	----------------------------------------
12.96/5.11	
12.96/5.11	(9) NumRed (SOUND)
12.96/5.11	Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero.
12.96/5.11	----------------------------------------
12.96/5.11	
12.96/5.11	(10)
12.96/5.11	Obligation:
12.96/5.11	mainModule Main 
12.96/5.11	module Main where {
12.96/5.11	import qualified Prelude;
12.96/5.11	}
12.96/5.11	
12.96/5.11	----------------------------------------
12.96/5.11	
12.96/5.11	(11) Narrow (SOUND)
12.96/5.11	Haskell To QDPs
12.96/5.11	
12.96/5.11	digraph dp_graph {
12.96/5.11	node [outthreshold=100, inthreshold=100];1[label="toRational",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
12.96/5.11	3[label="toRational vuz3",fontsize=16,color="black",shape="triangle"];3 -> 4[label="",style="solid", color="black", weight=3];
12.96/5.11	4[label="toInteger vuz3 % fromInt (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3];
12.96/5.11	5[label="reduce (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
12.96/5.11	6[label="reduce2 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
12.96/5.11	7[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero)))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero))) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
12.96/5.11	8[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal (fromInt (Pos (Succ Zero)))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal (fromInt (Pos (Succ Zero)))) (absReal (fromInt (Pos (Succ Zero))) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
12.96/5.11	9[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal2 (fromInt (Pos (Succ Zero)))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal2 (fromInt (Pos (Succ Zero)))) (absReal2 (fromInt (Pos (Succ Zero))) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
12.96/5.11	10[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (fromInt (Pos (Succ Zero)) >= fromInt (Pos Zero))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (fromInt (Pos (Succ Zero)) >= fromInt (Pos Zero))) (absReal1 (fromInt (Pos (Succ Zero))) (fromInt (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3];
12.96/5.11	11[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT)) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT)) (absReal1 (fromInt (Pos (Succ Zero))) (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
12.96/5.11	12[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (not (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal1 (fromInt (Pos (Succ Zero))) (not (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT))) (absReal1 (fromInt (Pos (Succ Zero))) (not (compare (fromInt (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3];
12.96/5.11	13[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3];
12.96/5.11	14[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3];
12.96/5.11	15[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];15 -> 16[label="",style="solid", color="black", weight=3];
12.96/5.11	16[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];16 -> 17[label="",style="solid", color="black", weight=3];
12.96/5.11	17[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];17 -> 18[label="",style="solid", color="black", weight=3];
12.96/5.11	18[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not False)) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not False)) (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];18 -> 19[label="",style="solid", color="black", weight=3];
12.96/5.11	19[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) True) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) True) (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];19 -> 20[label="",style="solid", color="black", weight=3];
12.96/5.11	20[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];20 -> 21[label="",style="solid", color="black", weight=3];
12.96/5.11	21[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == Integer (Pos Zero))",fontsize=16,color="black",shape="box"];21 -> 22[label="",style="solid", color="black", weight=3];
12.96/5.11	22[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (primEqInt (Pos (Succ Zero)) (Pos Zero))",fontsize=16,color="black",shape="box"];22 -> 23[label="",style="solid", color="black", weight=3];
12.96/5.11	23[label="reduce2Reduce1 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) False",fontsize=16,color="black",shape="box"];23 -> 24[label="",style="solid", color="black", weight=3];
12.96/5.11	24[label="reduce2Reduce0 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) otherwise",fontsize=16,color="black",shape="box"];24 -> 25[label="",style="solid", color="black", weight=3];
12.96/5.11	25[label="reduce2Reduce0 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) True",fontsize=16,color="black",shape="box"];25 -> 26[label="",style="solid", color="black", weight=3];
12.96/5.11	26[label="toInteger vuz3 * signum (Integer (Pos (Succ Zero))) `quot` reduce2D (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))) :% (Integer (Pos (Succ Zero)) `quot` reduce2D (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero))))",fontsize=16,color="green",shape="box"];26 -> 27[label="",style="dashed", color="green", weight=3];
12.96/5.11	26 -> 28[label="",style="dashed", color="green", weight=3];
12.96/5.11	27[label="toInteger vuz3 * signum (Integer (Pos (Succ Zero))) `quot` reduce2D (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];27 -> 29[label="",style="solid", color="black", weight=3];
12.96/5.11	28[label="Integer (Pos (Succ Zero)) `quot` reduce2D (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];28 -> 30[label="",style="solid", color="black", weight=3];
12.96/5.11	29[label="Integer vuz3 * signum (Integer (Pos (Succ Zero))) `quot` reduce2D (Integer vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];29 -> 31[label="",style="solid", color="black", weight=3];
12.96/5.11	30[label="Integer (Pos (Succ Zero)) `quot` gcd (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];30 -> 32[label="",style="solid", color="black", weight=3];
12.96/5.11	31[label="Integer vuz3 * signumReal (Integer (Pos (Succ Zero))) `quot` reduce2D (Integer vuz3 * signumReal (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];31 -> 33[label="",style="solid", color="black", weight=3];
12.96/5.11	32[label="Integer (Pos (Succ Zero)) `quot` gcd3 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];32 -> 34[label="",style="solid", color="black", weight=3];
12.96/5.11	33[label="Integer vuz3 * signumReal3 (Integer (Pos (Succ Zero))) `quot` reduce2D (Integer vuz3 * signumReal3 (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];33 -> 35[label="",style="solid", color="black", weight=3];
12.96/5.11	34[label="Integer (Pos (Succ Zero)) `quot` gcd2 (toInteger vuz3 * signum (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];34 -> 36[label="",style="solid", color="black", weight=3];
12.96/5.11	35[label="Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) `quot` reduce2D (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == fromInt (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];35 -> 37[label="",style="solid", color="black", weight=3];
12.96/5.11	36[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signum (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];36 -> 38[label="",style="solid", color="black", weight=3];
12.96/5.11	37[label="Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) `quot` reduce2D (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];37 -> 39[label="",style="solid", color="black", weight=3];
12.96/5.11	38[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer vuz3 * signumReal (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];38 -> 40[label="",style="solid", color="black", weight=3];
12.96/5.11	39[label="Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (primEqInt (Pos (Succ Zero)) (Pos Zero)) `quot` reduce2D (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (primEqInt (Pos (Succ Zero)) (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];39 -> 41[label="",style="solid", color="black", weight=3];
12.96/5.11	40[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal3 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer vuz3 * signumReal3 (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];40 -> 42[label="",style="solid", color="black", weight=3];
12.96/5.11	41[label="Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) False `quot` reduce2D (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) False) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];41 -> 43[label="",style="solid", color="black", weight=3];
12.96/5.11	42[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) == fromInt (Pos Zero)) (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == fromInt (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];42 -> 44[label="",style="solid", color="black", weight=3];
12.96/5.11	43[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) > fromInt (Pos Zero)) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) > fromInt (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];43 -> 45[label="",style="solid", color="black", weight=3];
12.96/5.11	44[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) == fromInt (Pos Zero)) (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) == Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];44 -> 46[label="",style="solid", color="black", weight=3];
12.96/5.11	45[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == GT) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];45 -> 47[label="",style="solid", color="black", weight=3];
12.96/5.11	46[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (primEqInt (Pos (Succ Zero)) (Pos Zero)) == fromInt (Pos Zero)) (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) (primEqInt (Pos (Succ Zero)) (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];46 -> 48[label="",style="solid", color="black", weight=3];
12.96/5.11	47[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == GT) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];47 -> 49[label="",style="solid", color="black", weight=3];
12.96/5.11	48[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) False == fromInt (Pos Zero)) (Integer vuz3 * signumReal2 (Integer (Pos (Succ Zero))) False) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];48 -> 50[label="",style="solid", color="black", weight=3];
12.96/5.11	49[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpInt (Pos (Succ Zero)) (Pos Zero) == GT) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpInt (Pos (Succ Zero)) (Pos Zero) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];49 -> 51[label="",style="solid", color="black", weight=3];
12.96/5.11	50[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) > fromInt (Pos Zero)) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) > fromInt (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];50 -> 52[label="",style="solid", color="black", weight=3];
12.96/5.11	51[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpNat (Succ Zero) Zero == GT) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpNat (Succ Zero) Zero == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];51 -> 53[label="",style="solid", color="black", weight=3];
12.96/5.11	52[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == GT) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];52 -> 54[label="",style="solid", color="black", weight=3];
12.96/5.11	53[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (GT == GT) `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (GT == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];53 -> 55[label="",style="solid", color="black", weight=3];
12.96/5.11	54[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == GT) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];54 -> 56[label="",style="solid", color="black", weight=3];
12.96/5.11	55[label="Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) True `quot` reduce2D (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) True) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];55 -> 57[label="",style="solid", color="black", weight=3];
12.96/5.11	56[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpInt (Pos (Succ Zero)) (Pos Zero) == GT) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpInt (Pos (Succ Zero)) (Pos Zero) == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];56 -> 58[label="",style="solid", color="black", weight=3];
12.96/5.11	57[label="Integer vuz3 * fromInt (Pos (Succ Zero)) `quot` reduce2D (Integer vuz3 * fromInt (Pos (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];57 -> 59[label="",style="solid", color="black", weight=3];
12.96/5.11	58[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpNat (Succ Zero) Zero == GT) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (primCmpNat (Succ Zero) Zero == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];58 -> 60[label="",style="solid", color="black", weight=3];
12.96/5.11	59[label="Integer vuz3 * Integer (Pos (Succ Zero)) `quot` reduce2D (Integer vuz3 * Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];59 -> 61[label="",style="solid", color="black", weight=3];
12.96/5.11	60[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (GT == GT) == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) (GT == GT)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];60 -> 62[label="",style="solid", color="black", weight=3];
12.96/5.11	61[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` reduce2D (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];61 -> 63[label="",style="solid", color="black", weight=3];
12.96/5.11	62[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (Integer vuz3 * signumReal1 (Integer (Pos (Succ Zero))) True) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];62 -> 64[label="",style="solid", color="black", weight=3];
12.96/5.11	63[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` gcd (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];63 -> 65[label="",style="solid", color="black", weight=3];
12.96/5.11	64[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * fromInt (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer vuz3 * fromInt (Pos (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];64 -> 66[label="",style="solid", color="black", weight=3];
12.96/5.11	65[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` gcd3 (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];65 -> 67[label="",style="solid", color="black", weight=3];
12.96/5.11	66[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer vuz3 * Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer vuz3 * Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];66 -> 68[label="",style="solid", color="black", weight=3];
12.96/5.11	67[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` gcd2 (Integer (primMulInt vuz3 (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];67 -> 69[label="",style="solid", color="black", weight=3];
12.96/5.11	68[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer (primMulInt vuz3 (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];68 -> 70[label="",style="solid", color="black", weight=3];
12.96/5.11	69[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` gcd2 (Integer (primMulInt vuz3 (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];69 -> 71[label="",style="solid", color="black", weight=3];
12.96/5.11	70[label="Integer (Pos (Succ Zero)) `quot` gcd2 (Integer (primMulInt vuz3 (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];70 -> 72[label="",style="solid", color="black", weight=3];
12.96/5.11	71[label="Integer (primMulInt vuz3 (Pos (Succ Zero))) `quot` gcd2 (primEqInt (primMulInt vuz3 (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];882[label="vuz3/Pos vuz30",fontsize=10,color="white",style="solid",shape="box"];71 -> 882[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	882 -> 73[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	883[label="vuz3/Neg vuz30",fontsize=10,color="white",style="solid",shape="box"];71 -> 883[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	883 -> 74[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	72[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (primMulInt vuz3 (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt vuz3 (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];884[label="vuz3/Pos vuz30",fontsize=10,color="white",style="solid",shape="box"];72 -> 884[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	884 -> 75[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	885[label="vuz3/Neg vuz30",fontsize=10,color="white",style="solid",shape="box"];72 -> 885[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	885 -> 76[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	73[label="Integer (primMulInt (Pos vuz30) (Pos (Succ Zero))) `quot` gcd2 (primEqInt (primMulInt (Pos vuz30) (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt (Pos vuz30) (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];73 -> 77[label="",style="solid", color="black", weight=3];
12.96/5.11	74[label="Integer (primMulInt (Neg vuz30) (Pos (Succ Zero))) `quot` gcd2 (primEqInt (primMulInt (Neg vuz30) (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt (Neg vuz30) (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];74 -> 78[label="",style="solid", color="black", weight=3];
12.96/5.11	75[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (primMulInt (Pos vuz30) (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt (Pos vuz30) (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];75 -> 79[label="",style="solid", color="black", weight=3];
12.96/5.11	76[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (primMulInt (Neg vuz30) (Pos (Succ Zero))) (Pos Zero)) (Integer (primMulInt (Neg vuz30) (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];76 -> 80[label="",style="solid", color="black", weight=3];
12.96/5.11	77[label="Integer (Pos (primMulNat vuz30 (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primMulNat vuz30 (Succ Zero))) (Pos Zero)) (Integer (Pos (primMulNat vuz30 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];886[label="vuz30/Succ vuz300",fontsize=10,color="white",style="solid",shape="box"];77 -> 886[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	886 -> 81[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	887[label="vuz30/Zero",fontsize=10,color="white",style="solid",shape="box"];77 -> 887[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	887 -> 82[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	78[label="Integer (Neg (primMulNat vuz30 (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primMulNat vuz30 (Succ Zero))) (Pos Zero)) (Integer (Neg (primMulNat vuz30 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];888[label="vuz30/Succ vuz300",fontsize=10,color="white",style="solid",shape="box"];78 -> 888[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	888 -> 83[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	889[label="vuz30/Zero",fontsize=10,color="white",style="solid",shape="box"];78 -> 889[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	889 -> 84[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	79 -> 349[label="",style="dashed", color="red", weight=0];
12.96/5.11	79[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos (primMulNat vuz30 (Succ Zero))) (Pos Zero)) (Integer (Pos (primMulNat vuz30 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];79 -> 350[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	79 -> 351[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	80 -> 405[label="",style="dashed", color="red", weight=0];
12.96/5.11	80[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg (primMulNat vuz30 (Succ Zero))) (Pos Zero)) (Integer (Neg (primMulNat vuz30 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];80 -> 406[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	80 -> 407[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	81[label="Integer (Pos (primMulNat (Succ vuz300) (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primMulNat (Succ vuz300) (Succ Zero))) (Pos Zero)) (Integer (Pos (primMulNat (Succ vuz300) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];81 -> 89[label="",style="solid", color="black", weight=3];
12.96/5.11	82[label="Integer (Pos (primMulNat Zero (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primMulNat Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (primMulNat Zero (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];82 -> 90[label="",style="solid", color="black", weight=3];
12.96/5.11	83[label="Integer (Neg (primMulNat (Succ vuz300) (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primMulNat (Succ vuz300) (Succ Zero))) (Pos Zero)) (Integer (Neg (primMulNat (Succ vuz300) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];83 -> 91[label="",style="solid", color="black", weight=3];
12.96/5.11	84[label="Integer (Neg (primMulNat Zero (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primMulNat Zero (Succ Zero))) (Pos Zero)) (Integer (Neg (primMulNat Zero (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];84 -> 92[label="",style="solid", color="black", weight=3];
12.96/5.11	350 -> 291[label="",style="dashed", color="red", weight=0];
12.96/5.11	350[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];350 -> 396[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	351 -> 291[label="",style="dashed", color="red", weight=0];
12.96/5.11	351[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];351 -> 397[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	349[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos vuz13) (Pos Zero)) (Integer (Pos vuz12)) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];890[label="vuz13/Succ vuz130",fontsize=10,color="white",style="solid",shape="box"];349 -> 890[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	890 -> 398[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	891[label="vuz13/Zero",fontsize=10,color="white",style="solid",shape="box"];349 -> 891[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	891 -> 399[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	406 -> 291[label="",style="dashed", color="red", weight=0];
12.96/5.11	406[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];406 -> 448[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	407 -> 291[label="",style="dashed", color="red", weight=0];
12.96/5.11	407[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];407 -> 449[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	405[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg vuz27) (Pos Zero)) (Integer (Neg vuz26)) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];892[label="vuz27/Succ vuz270",fontsize=10,color="white",style="solid",shape="box"];405 -> 892[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	892 -> 450[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	893[label="vuz27/Zero",fontsize=10,color="white",style="solid",shape="box"];405 -> 893[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	893 -> 451[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	89 -> 290[label="",style="dashed", color="red", weight=0];
12.96/5.11	89[label="Integer (Pos (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero))) (Pos Zero)) (Integer (Pos (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];89 -> 291[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	90[label="Integer (Pos Zero) `quot` gcd2 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];90 -> 99[label="",style="solid", color="black", weight=3];
12.96/5.11	91 -> 320[label="",style="dashed", color="red", weight=0];
12.96/5.11	91[label="Integer (Neg (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero))) (Pos Zero)) (Integer (Neg (primPlusNat (primMulNat vuz300 (Succ Zero)) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];91 -> 321[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	92[label="Integer (Neg Zero) `quot` gcd2 (primEqInt (Neg Zero) (Pos Zero)) (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];92 -> 102[label="",style="solid", color="black", weight=3];
12.96/5.11	396[label="vuz30",fontsize=16,color="green",shape="box"];291[label="primMulNat vuz300 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];894[label="vuz300/Succ vuz3000",fontsize=10,color="white",style="solid",shape="box"];291 -> 894[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	894 -> 307[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	895[label="vuz300/Zero",fontsize=10,color="white",style="solid",shape="box"];291 -> 895[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	895 -> 308[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	397[label="vuz30",fontsize=16,color="green",shape="box"];398[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos (Succ vuz130)) (Pos Zero)) (Integer (Pos vuz12)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];398 -> 452[label="",style="solid", color="black", weight=3];
12.96/5.11	399[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos vuz12)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];399 -> 453[label="",style="solid", color="black", weight=3];
12.96/5.11	448[label="vuz30",fontsize=16,color="green",shape="box"];449[label="vuz30",fontsize=16,color="green",shape="box"];450[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg (Succ vuz270)) (Pos Zero)) (Integer (Neg vuz26)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];450 -> 460[label="",style="solid", color="black", weight=3];
12.96/5.11	451[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg Zero) (Pos Zero)) (Integer (Neg vuz26)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];451 -> 461[label="",style="solid", color="black", weight=3];
12.96/5.11	290[label="Integer (Pos (primPlusNat vuz5 (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primPlusNat vuz5 (Succ Zero))) (Pos Zero)) (Integer (Pos (primPlusNat vuz5 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];896[label="vuz5/Succ vuz50",fontsize=10,color="white",style="solid",shape="box"];290 -> 896[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	896 -> 309[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	897[label="vuz5/Zero",fontsize=10,color="white",style="solid",shape="box"];290 -> 897[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	897 -> 310[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	99[label="Integer (Pos Zero) `quot` gcd2 True (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];99 -> 111[label="",style="solid", color="black", weight=3];
12.96/5.11	321 -> 291[label="",style="dashed", color="red", weight=0];
12.96/5.11	321[label="primMulNat vuz300 (Succ Zero)",fontsize=16,color="magenta"];321 -> 337[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	320[label="Integer (Neg (primPlusNat vuz10 (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primPlusNat vuz10 (Succ Zero))) (Pos Zero)) (Integer (Neg (primPlusNat vuz10 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];898[label="vuz10/Succ vuz100",fontsize=10,color="white",style="solid",shape="box"];320 -> 898[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	898 -> 338[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	899[label="vuz10/Zero",fontsize=10,color="white",style="solid",shape="box"];320 -> 899[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	899 -> 339[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	102[label="Integer (Neg Zero) `quot` gcd2 True (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];102 -> 114[label="",style="solid", color="black", weight=3];
12.96/5.11	307[label="primMulNat (Succ vuz3000) (Succ Zero)",fontsize=16,color="black",shape="box"];307 -> 316[label="",style="solid", color="black", weight=3];
12.96/5.11	308[label="primMulNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];308 -> 317[label="",style="solid", color="black", weight=3];
12.96/5.11	452[label="Integer (Pos (Succ Zero)) `quot` gcd2 False (Integer (Pos vuz12)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];452 -> 462[label="",style="solid", color="black", weight=3];
12.96/5.11	453[label="Integer (Pos (Succ Zero)) `quot` gcd2 True (Integer (Pos vuz12)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];453 -> 463[label="",style="solid", color="black", weight=3];
12.96/5.11	460[label="Integer (Pos (Succ Zero)) `quot` gcd2 False (Integer (Neg vuz26)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];460 -> 471[label="",style="solid", color="black", weight=3];
12.96/5.11	461[label="Integer (Pos (Succ Zero)) `quot` gcd2 True (Integer (Neg vuz26)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];461 -> 472[label="",style="solid", color="black", weight=3];
12.96/5.11	309[label="Integer (Pos (primPlusNat (Succ vuz50) (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primPlusNat (Succ vuz50) (Succ Zero))) (Pos Zero)) (Integer (Pos (primPlusNat (Succ vuz50) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];309 -> 318[label="",style="solid", color="black", weight=3];
12.96/5.11	310[label="Integer (Pos (primPlusNat Zero (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primPlusNat Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (primPlusNat Zero (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];310 -> 319[label="",style="solid", color="black", weight=3];
12.96/5.11	111[label="Integer (Pos Zero) `quot` gcd1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];111 -> 124[label="",style="solid", color="black", weight=3];
12.96/5.11	337[label="vuz300",fontsize=16,color="green",shape="box"];338[label="Integer (Neg (primPlusNat (Succ vuz100) (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primPlusNat (Succ vuz100) (Succ Zero))) (Pos Zero)) (Integer (Neg (primPlusNat (Succ vuz100) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];338 -> 342[label="",style="solid", color="black", weight=3];
12.96/5.11	339[label="Integer (Neg (primPlusNat Zero (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primPlusNat Zero (Succ Zero))) (Pos Zero)) (Integer (Neg (primPlusNat Zero (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];339 -> 343[label="",style="solid", color="black", weight=3];
12.96/5.11	114[label="Integer (Neg Zero) `quot` gcd1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];114 -> 128[label="",style="solid", color="black", weight=3];
12.96/5.11	316 -> 340[label="",style="dashed", color="red", weight=0];
12.96/5.11	316[label="primPlusNat (primMulNat vuz3000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];316 -> 341[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	317[label="Zero",fontsize=16,color="green",shape="box"];462[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Pos vuz12)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="triangle"];462 -> 473[label="",style="solid", color="black", weight=3];
12.96/5.11	463[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos vuz12)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];463 -> 474[label="",style="solid", color="black", weight=3];
12.96/5.11	471[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Neg vuz26)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="triangle"];471 -> 478[label="",style="solid", color="black", weight=3];
12.96/5.11	472[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Neg vuz26)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];472 -> 479[label="",style="solid", color="black", weight=3];
12.96/5.11	318[label="Integer (Pos (Succ (Succ (primPlusNat vuz50 Zero)))) `quot` gcd2 (primEqInt (Pos (Succ (Succ (primPlusNat vuz50 Zero)))) (Pos Zero)) (Integer (Pos (Succ (Succ (primPlusNat vuz50 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];318 -> 344[label="",style="solid", color="black", weight=3];
12.96/5.11	319 -> 349[label="",style="dashed", color="red", weight=0];
12.96/5.11	319[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];319 -> 360[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	319 -> 361[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	124[label="Integer (Pos Zero) `quot` gcd1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];124 -> 140[label="",style="solid", color="black", weight=3];
12.96/5.11	342[label="Integer (Neg (Succ (Succ (primPlusNat vuz100 Zero)))) `quot` gcd2 (primEqInt (Neg (Succ (Succ (primPlusNat vuz100 Zero)))) (Pos Zero)) (Integer (Neg (Succ (Succ (primPlusNat vuz100 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];342 -> 400[label="",style="solid", color="black", weight=3];
12.96/5.11	343[label="Integer (Neg (Succ Zero)) `quot` gcd2 (primEqInt (Neg (Succ Zero)) (Pos Zero)) (Integer (Neg (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];343 -> 401[label="",style="solid", color="black", weight=3];
12.96/5.11	128[label="Integer (Neg Zero) `quot` gcd1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];128 -> 144[label="",style="solid", color="black", weight=3];
12.96/5.11	341 -> 291[label="",style="dashed", color="red", weight=0];
12.96/5.11	341[label="primMulNat vuz3000 (Succ Zero)",fontsize=16,color="magenta"];341 -> 345[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	340[label="primPlusNat vuz11 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];900[label="vuz11/Succ vuz110",fontsize=10,color="white",style="solid",shape="box"];340 -> 900[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	900 -> 346[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	901[label="vuz11/Zero",fontsize=10,color="white",style="solid",shape="box"];340 -> 901[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	901 -> 347[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	473[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (abs (Integer (Pos vuz12))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];473 -> 480[label="",style="solid", color="black", weight=3];
12.96/5.11	474[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (Integer (Pos vuz12)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];474 -> 481[label="",style="solid", color="black", weight=3];
12.96/5.11	478[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (abs (Integer (Neg vuz26))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];478 -> 486[label="",style="solid", color="black", weight=3];
12.96/5.11	479[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (Integer (Neg vuz26)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];479 -> 487[label="",style="solid", color="black", weight=3];
12.96/5.11	344[label="Integer (Pos (Succ (Succ (primPlusNat vuz50 Zero)))) `quot` gcd2 False (Integer (Pos (Succ (Succ (primPlusNat vuz50 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];344 -> 402[label="",style="solid", color="black", weight=3];
12.96/5.11	360[label="Succ Zero",fontsize=16,color="green",shape="box"];361[label="Succ Zero",fontsize=16,color="green",shape="box"];140[label="Integer (Pos Zero) `quot` gcd1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];140 -> 156[label="",style="solid", color="black", weight=3];
12.96/5.11	400[label="Integer (Neg (Succ (Succ (primPlusNat vuz100 Zero)))) `quot` gcd2 False (Integer (Neg (Succ (Succ (primPlusNat vuz100 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];400 -> 454[label="",style="solid", color="black", weight=3];
12.96/5.11	401[label="Integer (Neg (Succ Zero)) `quot` gcd2 False (Integer (Neg (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];401 -> 455[label="",style="solid", color="black", weight=3];
12.96/5.11	144[label="Integer (Neg Zero) `quot` gcd1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];144 -> 161[label="",style="solid", color="black", weight=3];
12.96/5.11	345[label="vuz3000",fontsize=16,color="green",shape="box"];346[label="primPlusNat (Succ vuz110) (Succ Zero)",fontsize=16,color="black",shape="box"];346 -> 403[label="",style="solid", color="black", weight=3];
12.96/5.11	347[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];347 -> 404[label="",style="solid", color="black", weight=3];
12.96/5.11	480[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (abs (Integer (Pos vuz12))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];480 -> 488[label="",style="solid", color="black", weight=3];
12.96/5.11	481[label="Integer (Pos (Succ Zero)) `quot` gcd1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Pos vuz12)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];481 -> 489[label="",style="solid", color="black", weight=3];
12.96/5.11	486[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (abs (Integer (Neg vuz26))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];486 -> 501[label="",style="solid", color="black", weight=3];
12.96/5.11	487[label="Integer (Pos (Succ Zero)) `quot` gcd1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Neg vuz26)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];487 -> 502[label="",style="solid", color="black", weight=3];
12.96/5.11	402[label="Integer (Pos (Succ (Succ (primPlusNat vuz50 Zero)))) `quot` gcd0 (Integer (Pos (Succ (Succ (primPlusNat vuz50 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];402 -> 456[label="",style="solid", color="black", weight=3];
12.96/5.11	156[label="Integer (Pos Zero) `quot` gcd1 False (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];156 -> 175[label="",style="solid", color="black", weight=3];
12.96/5.11	454[label="Integer (Neg (Succ (Succ (primPlusNat vuz100 Zero)))) `quot` gcd0 (Integer (Neg (Succ (Succ (primPlusNat vuz100 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];454 -> 464[label="",style="solid", color="black", weight=3];
12.96/5.11	455[label="Integer (Neg (Succ Zero)) `quot` gcd0 (Integer (Neg (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];455 -> 465[label="",style="solid", color="black", weight=3];
12.96/5.11	161[label="Integer (Neg Zero) `quot` gcd1 False (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];161 -> 180[label="",style="solid", color="black", weight=3];
12.96/5.11	403[label="Succ (Succ (primPlusNat vuz110 Zero))",fontsize=16,color="green",shape="box"];403 -> 457[label="",style="dashed", color="green", weight=3];
12.96/5.11	404[label="Succ Zero",fontsize=16,color="green",shape="box"];488[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos vuz12))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];488 -> 503[label="",style="solid", color="black", weight=3];
12.96/5.11	489[label="Integer (Pos (Succ Zero)) `quot` gcd1 False (Integer (Pos vuz12)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];489 -> 504[label="",style="solid", color="black", weight=3];
12.96/5.11	501[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg vuz26))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];501 -> 510[label="",style="solid", color="black", weight=3];
12.96/5.11	502[label="Integer (Pos (Succ Zero)) `quot` gcd1 False (Integer (Neg vuz26)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];502 -> 511[label="",style="solid", color="black", weight=3];
12.96/5.11	456[label="Integer (Pos (Succ (Succ (primPlusNat vuz50 Zero)))) `quot` gcd0Gcd' (abs (Integer (Pos (Succ (Succ (primPlusNat vuz50 Zero)))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];456 -> 466[label="",style="solid", color="black", weight=3];
12.96/5.11	175[label="Integer (Pos Zero) `quot` gcd0 (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];175 -> 195[label="",style="solid", color="black", weight=3];
12.96/5.11	464 -> 475[label="",style="dashed", color="red", weight=0];
12.96/5.11	464[label="Integer (Neg (Succ (Succ (primPlusNat vuz100 Zero)))) `quot` gcd0Gcd' (abs (Integer (Neg (Succ (Succ (primPlusNat vuz100 Zero)))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="magenta"];464 -> 476[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	464 -> 477[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	465[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd' (abs (Integer (Neg (Succ Zero)))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];465 -> 482[label="",style="solid", color="black", weight=3];
12.96/5.11	180[label="Integer (Neg Zero) `quot` gcd0 (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];180 -> 201[label="",style="solid", color="black", weight=3];
12.96/5.11	457[label="primPlusNat vuz110 Zero",fontsize=16,color="burlywood",shape="triangle"];902[label="vuz110/Succ vuz1100",fontsize=10,color="white",style="solid",shape="box"];457 -> 902[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	902 -> 467[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	903[label="vuz110/Zero",fontsize=10,color="white",style="solid",shape="box"];457 -> 903[label="",style="solid", color="burlywood", weight=9];
12.96/5.11	903 -> 468[label="",style="solid", color="burlywood", weight=3];
12.96/5.11	503[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos vuz12))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];503 -> 512[label="",style="solid", color="black", weight=3];
12.96/5.11	504 -> 462[label="",style="dashed", color="red", weight=0];
12.96/5.11	504[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Pos vuz12)) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];510[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg vuz26))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];510 -> 518[label="",style="solid", color="black", weight=3];
12.96/5.11	511 -> 471[label="",style="dashed", color="red", weight=0];
12.96/5.11	511[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Neg vuz26)) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];466 -> 483[label="",style="dashed", color="red", weight=0];
12.96/5.11	466[label="Integer (Pos (Succ (Succ (primPlusNat vuz50 Zero)))) `quot` gcd0Gcd'2 (abs (Integer (Pos (Succ (Succ (primPlusNat vuz50 Zero)))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="magenta"];466 -> 484[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	466 -> 485[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	195[label="Integer (Pos Zero) `quot` gcd0Gcd' (abs (Integer (Pos Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];195 -> 218[label="",style="solid", color="black", weight=3];
12.96/5.11	476 -> 457[label="",style="dashed", color="red", weight=0];
12.96/5.11	476[label="primPlusNat vuz100 Zero",fontsize=16,color="magenta"];476 -> 490[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	477 -> 457[label="",style="dashed", color="red", weight=0];
12.96/5.11	477[label="primPlusNat vuz100 Zero",fontsize=16,color="magenta"];477 -> 491[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	475[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd' (abs (Integer (Neg (Succ (Succ vuz41))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];475 -> 492[label="",style="solid", color="black", weight=3];
12.96/5.11	482[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'2 (abs (Integer (Neg (Succ Zero)))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];482 -> 493[label="",style="solid", color="black", weight=3];
12.96/5.11	201[label="Integer (Neg Zero) `quot` gcd0Gcd' (abs (Integer (Neg Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];201 -> 224[label="",style="solid", color="black", weight=3];
12.96/5.11	467[label="primPlusNat (Succ vuz1100) Zero",fontsize=16,color="black",shape="box"];467 -> 494[label="",style="solid", color="black", weight=3];
12.96/5.11	468[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];468 -> 495[label="",style="solid", color="black", weight=3];
12.96/5.11	512[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos vuz12))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];512 -> 519[label="",style="solid", color="black", weight=3];
12.96/5.11	518[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg vuz26))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];518 -> 525[label="",style="solid", color="black", weight=3];
12.96/5.11	484 -> 457[label="",style="dashed", color="red", weight=0];
12.96/5.11	484[label="primPlusNat vuz50 Zero",fontsize=16,color="magenta"];484 -> 496[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	485 -> 457[label="",style="dashed", color="red", weight=0];
12.96/5.11	485[label="primPlusNat vuz50 Zero",fontsize=16,color="magenta"];485 -> 497[label="",style="dashed", color="magenta", weight=3];
12.96/5.11	483[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'2 (abs (Integer (Pos (Succ (Succ vuz43))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];483 -> 498[label="",style="solid", color="black", weight=3];
12.96/5.11	218[label="Integer (Pos Zero) `quot` gcd0Gcd'2 (abs (Integer (Pos Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];218 -> 242[label="",style="solid", color="black", weight=3];
12.96/5.11	490[label="vuz100",fontsize=16,color="green",shape="box"];491[label="vuz100",fontsize=16,color="green",shape="box"];492[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'2 (abs (Integer (Neg (Succ (Succ vuz41))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];492 -> 505[label="",style="solid", color="black", weight=3];
12.96/5.11	493[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];493 -> 506[label="",style="solid", color="black", weight=3];
12.96/5.11	224[label="Integer (Neg Zero) `quot` gcd0Gcd'2 (abs (Integer (Neg Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];224 -> 249[label="",style="solid", color="black", weight=3];
12.96/5.11	494[label="Succ vuz1100",fontsize=16,color="green",shape="box"];495[label="Zero",fontsize=16,color="green",shape="box"];519[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz12))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];519 -> 526[label="",style="solid", color="black", weight=3];
12.96/5.11	525[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz26))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];525 -> 532[label="",style="solid", color="black", weight=3];
12.96/5.11	496[label="vuz50",fontsize=16,color="green",shape="box"];497[label="vuz50",fontsize=16,color="green",shape="box"];498[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz43))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];498 -> 507[label="",style="solid", color="black", weight=3];
12.96/5.11	242[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];242 -> 269[label="",style="solid", color="black", weight=3];
12.96/5.11	505[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz41))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];505 -> 513[label="",style="solid", color="black", weight=3];
12.96/5.11	506[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];506 -> 514[label="",style="solid", color="black", weight=3];
12.96/5.11	249[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];249 -> 276[label="",style="solid", color="black", weight=3];
12.96/5.11	526[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Pos vuz12))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];526 -> 533[label="",style="solid", color="black", weight=3];
12.96/5.11	532[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Neg vuz26))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];532 -> 539[label="",style="solid", color="black", weight=3];
12.96/5.11	507[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz43))))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];507 -> 515[label="",style="solid", color="black", weight=3];
12.96/5.11	269[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];269 -> 311[label="",style="solid", color="black", weight=3];
12.96/5.11	513[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz41))))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];513 -> 520[label="",style="solid", color="black", weight=3];
12.96/5.12	514[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];514 -> 521[label="",style="solid", color="black", weight=3];
12.96/5.12	276[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];276 -> 348[label="",style="solid", color="black", weight=3];
12.96/5.12	533[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz12))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];533 -> 540[label="",style="solid", color="black", weight=3];
12.96/5.12	539[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz26))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];539 -> 546[label="",style="solid", color="black", weight=3];
12.96/5.12	515[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz43))))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];515 -> 522[label="",style="solid", color="black", weight=3];
12.96/5.12	311[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];311 -> 458[label="",style="solid", color="black", weight=3];
12.96/5.12	520[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz41))))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];520 -> 527[label="",style="solid", color="black", weight=3];
12.96/5.12	521[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];521 -> 528[label="",style="solid", color="black", weight=3];
12.96/5.12	348[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];348 -> 459[label="",style="solid", color="black", weight=3];
12.96/5.12	540[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz12))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];540 -> 547[label="",style="solid", color="black", weight=3];
12.96/5.12	546[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz26))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];546 -> 553[label="",style="solid", color="black", weight=3];
12.96/5.12	522[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz43))))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];522 -> 529[label="",style="solid", color="black", weight=3];
12.96/5.12	458[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];458 -> 469[label="",style="solid", color="black", weight=3];
12.96/5.12	527[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz41))))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];527 -> 534[label="",style="solid", color="black", weight=3];
12.96/5.12	528[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];528 -> 535[label="",style="solid", color="black", weight=3];
12.96/5.12	459[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];459 -> 470[label="",style="solid", color="black", weight=3];
12.96/5.12	547[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz12))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];547 -> 554[label="",style="solid", color="black", weight=3];
12.96/5.12	553[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz26))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];553 -> 560[label="",style="solid", color="black", weight=3];
12.96/5.12	529[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz43))))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];529 -> 536[label="",style="solid", color="black", weight=3];
12.96/5.12	469[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];469 -> 499[label="",style="solid", color="black", weight=3];
12.96/5.12	534[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz41))))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];534 -> 541[label="",style="solid", color="black", weight=3];
12.96/5.12	535[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];535 -> 542[label="",style="solid", color="black", weight=3];
12.96/5.12	470[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];470 -> 500[label="",style="solid", color="black", weight=3];
12.96/5.12	554[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz12))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];554 -> 561[label="",style="solid", color="black", weight=3];
12.96/5.12	560[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz26))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];560 -> 567[label="",style="solid", color="black", weight=3];
12.96/5.12	536[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz43))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];536 -> 543[label="",style="solid", color="black", weight=3];
12.96/5.12	499[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];499 -> 508[label="",style="solid", color="black", weight=3];
12.96/5.12	541[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz41))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];541 -> 548[label="",style="solid", color="black", weight=3];
12.96/5.12	542[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];542 -> 549[label="",style="solid", color="black", weight=3];
12.96/5.12	500[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];500 -> 509[label="",style="solid", color="black", weight=3];
12.96/5.12	561[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz12))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];561 -> 568[label="",style="solid", color="black", weight=3];
12.96/5.12	567[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz26))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];567 -> 574[label="",style="solid", color="black", weight=3];
12.96/5.12	543[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz43))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];543 -> 550[label="",style="solid", color="black", weight=3];
12.96/5.12	508[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];508 -> 516[label="",style="solid", color="black", weight=3];
12.96/5.12	548[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz41))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];548 -> 555[label="",style="solid", color="black", weight=3];
12.96/5.12	549[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];549 -> 556[label="",style="solid", color="black", weight=3];
12.96/5.12	509[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];509 -> 517[label="",style="solid", color="black", weight=3];
12.96/5.12	568[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Pos vuz12))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];568 -> 575[label="",style="solid", color="black", weight=3];
12.96/5.12	574[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Neg vuz26))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];574 -> 581[label="",style="solid", color="black", weight=3];
12.96/5.12	550[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz43))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];550 -> 557[label="",style="solid", color="black", weight=3];
12.96/5.12	516[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];516 -> 523[label="",style="solid", color="black", weight=3];
12.96/5.12	555[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz41))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];555 -> 562[label="",style="solid", color="black", weight=3];
12.96/5.12	556[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];556 -> 563[label="",style="solid", color="black", weight=3];
12.96/5.12	517[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];517 -> 524[label="",style="solid", color="black", weight=3];
12.96/5.12	575[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Pos vuz12))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];575 -> 582[label="",style="solid", color="black", weight=3];
12.96/5.12	581[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Neg vuz26))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];581 -> 588[label="",style="solid", color="black", weight=3];
12.96/5.12	557[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz43))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];557 -> 564[label="",style="solid", color="black", weight=3];
12.96/5.12	523[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];523 -> 530[label="",style="solid", color="black", weight=3];
12.96/5.12	562[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz41))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];562 -> 569[label="",style="solid", color="black", weight=3];
12.96/5.12	563[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];563 -> 570[label="",style="solid", color="black", weight=3];
12.96/5.12	524[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];524 -> 531[label="",style="solid", color="black", weight=3];
12.96/5.12	582[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz12))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];582 -> 589[label="",style="solid", color="black", weight=3];
12.96/5.12	588[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz26))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];588 -> 595[label="",style="solid", color="black", weight=3];
12.96/5.12	564[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz43))))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];564 -> 571[label="",style="solid", color="black", weight=3];
12.96/5.12	530[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];530 -> 537[label="",style="solid", color="black", weight=3];
12.96/5.12	569[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz41))))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];569 -> 576[label="",style="solid", color="black", weight=3];
12.96/5.12	570[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];570 -> 577[label="",style="solid", color="black", weight=3];
12.96/5.12	531[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];531 -> 538[label="",style="solid", color="black", weight=3];
12.96/5.12	589[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Pos vuz12))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];589 -> 596[label="",style="solid", color="black", weight=3];
12.96/5.12	595[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Neg vuz26))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];595 -> 602[label="",style="solid", color="black", weight=3];
12.96/5.12	571[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz43))))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];571 -> 578[label="",style="solid", color="black", weight=3];
12.96/5.12	537[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];537 -> 544[label="",style="solid", color="black", weight=3];
12.96/5.12	576[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz41))))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];576 -> 583[label="",style="solid", color="black", weight=3];
12.96/5.12	577[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];577 -> 584[label="",style="solid", color="black", weight=3];
12.96/5.12	538[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];538 -> 545[label="",style="solid", color="black", weight=3];
12.96/5.12	596[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Pos vuz12))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];596 -> 603[label="",style="solid", color="black", weight=3];
12.96/5.12	602[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Neg vuz26))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];602 -> 609[label="",style="solid", color="black", weight=3];
12.96/5.12	578[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz43))))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];578 -> 585[label="",style="solid", color="black", weight=3];
12.96/5.12	544[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];544 -> 551[label="",style="solid", color="black", weight=3];
12.96/5.12	583[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz41))))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];583 -> 590[label="",style="solid", color="black", weight=3];
12.96/5.12	584[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];584 -> 591[label="",style="solid", color="black", weight=3];
12.96/5.12	545[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];545 -> 552[label="",style="solid", color="black", weight=3];
12.96/5.12	603[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 False (abs (Integer (Pos vuz12))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];603 -> 610[label="",style="solid", color="black", weight=3];
12.96/5.12	609[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 False (abs (Integer (Neg vuz26))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];609 -> 616[label="",style="solid", color="black", weight=3];
12.96/5.12	585[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz43))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];585 -> 592[label="",style="solid", color="black", weight=3];
12.96/5.12	551[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];551 -> 558[label="",style="solid", color="black", weight=3];
12.96/5.12	590[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz41))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];590 -> 597[label="",style="solid", color="black", weight=3];
12.96/5.12	591[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];591 -> 598[label="",style="solid", color="black", weight=3];
12.96/5.12	552[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];552 -> 559[label="",style="solid", color="black", weight=3];
12.96/5.12	610[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'0 (abs (Integer (Pos vuz12))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];610 -> 617[label="",style="solid", color="black", weight=3];
12.96/5.12	616[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'0 (abs (Integer (Neg vuz26))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];616 -> 623[label="",style="solid", color="black", weight=3];
12.96/5.12	592[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz43))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];592 -> 599[label="",style="solid", color="black", weight=3];
12.96/5.12	558[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];558 -> 565[label="",style="solid", color="black", weight=3];
12.96/5.12	597[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz41))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];597 -> 604[label="",style="solid", color="black", weight=3];
12.96/5.12	598[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];598 -> 605[label="",style="solid", color="black", weight=3];
12.96/5.12	559[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];559 -> 566[label="",style="solid", color="black", weight=3];
12.96/5.12	617[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Pos vuz12)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];617 -> 624[label="",style="solid", color="black", weight=3];
12.96/5.12	623[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Neg vuz26)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];623 -> 630[label="",style="solid", color="black", weight=3];
12.96/5.12	599[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz43))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];599 -> 606[label="",style="solid", color="black", weight=3];
12.96/5.12	565[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];565 -> 572[label="",style="solid", color="black", weight=3];
12.96/5.12	604[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz41))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];604 -> 611[label="",style="solid", color="black", weight=3];
12.96/5.12	605[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 False (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];605 -> 612[label="",style="solid", color="black", weight=3];
12.96/5.12	566[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];566 -> 573[label="",style="solid", color="black", weight=3];
12.96/5.12	624[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Pos vuz12)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];624 -> 631[label="",style="solid", color="black", weight=3];
12.96/5.12	630[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Neg vuz26)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];630 -> 637[label="",style="solid", color="black", weight=3];
12.96/5.12	606[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 False (abs (Integer (Pos (Succ (Succ vuz43))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];606 -> 613[label="",style="solid", color="black", weight=3];
12.96/5.12	572[label="Integer (Pos Zero) `quot` gcd0Gcd'1 False (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];572 -> 579[label="",style="solid", color="black", weight=3];
12.96/5.12	611[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 False (abs (Integer (Neg (Succ (Succ vuz41))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];611 -> 618[label="",style="solid", color="black", weight=3];
12.96/5.12	612[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'0 (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];612 -> 619[label="",style="solid", color="black", weight=3];
12.96/5.12	573[label="Integer (Neg Zero) `quot` gcd0Gcd'1 False (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];573 -> 580[label="",style="solid", color="black", weight=3];
12.96/5.12	631[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos vuz12)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Pos vuz12)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];631 -> 638[label="",style="solid", color="black", weight=3];
12.96/5.12	637[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Neg vuz26)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Neg vuz26)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];637 -> 644[label="",style="solid", color="black", weight=3];
12.96/5.12	613[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'0 (abs (Integer (Pos (Succ (Succ vuz43))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];613 -> 620[label="",style="solid", color="black", weight=3];
12.96/5.12	579[label="Integer (Pos Zero) `quot` gcd0Gcd'0 (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];579 -> 586[label="",style="solid", color="black", weight=3];
12.96/5.12	618[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'0 (abs (Integer (Neg (Succ (Succ vuz41))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];618 -> 625[label="",style="solid", color="black", weight=3];
12.96/5.12	619[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];619 -> 626[label="",style="solid", color="black", weight=3];
12.96/5.12	580[label="Integer (Neg Zero) `quot` gcd0Gcd'0 (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];580 -> 587[label="",style="solid", color="black", weight=3];
12.96/5.12	638[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos vuz12)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Pos vuz12)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];638 -> 645[label="",style="solid", color="black", weight=3];
12.96/5.12	644[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Neg vuz26)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Neg vuz26)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];644 -> 651[label="",style="solid", color="black", weight=3];
12.96/5.12	620[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Pos (Succ (Succ vuz43)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];620 -> 627[label="",style="solid", color="black", weight=3];
12.96/5.12	586[label="Integer (Pos Zero) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];586 -> 593[label="",style="solid", color="black", weight=3];
12.96/5.12	625[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ (Succ vuz41)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];625 -> 632[label="",style="solid", color="black", weight=3];
12.96/5.12	626[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];626 -> 633[label="",style="solid", color="black", weight=3];
12.96/5.12	587[label="Integer (Neg Zero) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];587 -> 594[label="",style="solid", color="black", weight=3];
12.96/5.12	645[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos vuz12)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Pos vuz12)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];645 -> 652[label="",style="solid", color="black", weight=3];
12.96/5.12	651[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Neg vuz26)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Neg vuz26)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];651 -> 658[label="",style="solid", color="black", weight=3];
12.96/5.12	627[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Pos (Succ (Succ vuz43)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];627 -> 634[label="",style="solid", color="black", weight=3];
12.96/5.12	593[label="Integer (Pos Zero) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];593 -> 600[label="",style="solid", color="black", weight=3];
12.96/5.12	632[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ (Succ vuz41)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];632 -> 639[label="",style="solid", color="black", weight=3];
12.96/5.12	633[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];633 -> 640[label="",style="solid", color="black", weight=3];
12.96/5.12	594[label="Integer (Neg Zero) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];594 -> 601[label="",style="solid", color="black", weight=3];
12.96/5.12	652[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz12)) (Integer (Pos vuz12) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz12)) (Integer (Pos vuz12) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];652 -> 659[label="",style="solid", color="black", weight=3];
12.96/5.12	658[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz26)) (Integer (Neg vuz26) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz26)) (Integer (Neg vuz26) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];658 -> 665[label="",style="solid", color="black", weight=3];
12.96/5.12	634[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ (Succ vuz43)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Pos (Succ (Succ vuz43)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];634 -> 641[label="",style="solid", color="black", weight=3];
12.96/5.12	600[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (abs (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];600 -> 607[label="",style="solid", color="black", weight=3];
12.96/5.12	639[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (abs (Integer (Neg (Succ (Succ vuz41)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ (Succ vuz41)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];639 -> 646[label="",style="solid", color="black", weight=3];
12.96/5.12	640[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];640 -> 647[label="",style="solid", color="black", weight=3];
12.96/5.12	601[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (abs (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];601 -> 608[label="",style="solid", color="black", weight=3];
12.96/5.12	659[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz12)) (compare (Integer (Pos vuz12)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz12)) (compare (Integer (Pos vuz12)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];659 -> 666[label="",style="solid", color="black", weight=3];
12.96/5.12	665[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz26)) (compare (Integer (Neg vuz26)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz26)) (compare (Integer (Neg vuz26)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];665 -> 672[label="",style="solid", color="black", weight=3];
12.96/5.12	641[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ (Succ vuz43)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Pos (Succ (Succ vuz43)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];641 -> 648[label="",style="solid", color="black", weight=3];
12.96/5.12	607[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];607 -> 614[label="",style="solid", color="black", weight=3];
12.96/5.12	646[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal (Integer (Neg (Succ (Succ vuz41)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Neg (Succ (Succ vuz41)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];646 -> 653[label="",style="solid", color="black", weight=3];
12.96/5.12	647[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];647 -> 654[label="",style="solid", color="black", weight=3];
12.96/5.12	608[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];608 -> 615[label="",style="solid", color="black", weight=3];
12.96/5.12	666[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz12)) (not (compare (Integer (Pos vuz12)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz12)) (not (compare (Integer (Pos vuz12)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];666 -> 673[label="",style="solid", color="black", weight=3];
12.96/5.12	672[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz26)) (not (compare (Integer (Neg vuz26)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz26)) (not (compare (Integer (Neg vuz26)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];672 -> 679[label="",style="solid", color="black", weight=3];
12.96/5.12	648[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ (Succ vuz43)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Pos (Succ (Succ vuz43)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];648 -> 655[label="",style="solid", color="black", weight=3];
12.96/5.12	614[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];614 -> 621[label="",style="solid", color="black", weight=3];
12.96/5.12	653[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal2 (Integer (Neg (Succ (Succ vuz41)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Neg (Succ (Succ vuz41)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];653 -> 660[label="",style="solid", color="black", weight=3];
12.96/5.12	654[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (Integer (Neg (Succ Zero)) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (Integer (Neg (Succ Zero)) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];654 -> 661[label="",style="solid", color="black", weight=3];
12.96/5.12	615[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal2 (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Neg Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];615 -> 622[label="",style="solid", color="black", weight=3];
12.96/5.12	673[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz12)) (not (compare (Integer (Pos vuz12)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz12)) (not (compare (Integer (Pos vuz12)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];673 -> 680[label="",style="solid", color="black", weight=3];
12.96/5.12	679[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz26)) (not (compare (Integer (Neg vuz26)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz26)) (not (compare (Integer (Neg vuz26)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];679 -> 686[label="",style="solid", color="black", weight=3];
12.96/5.12	655[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz43)))) (Integer (Pos (Succ (Succ vuz43))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz43)))) (Integer (Pos (Succ (Succ vuz43))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];655 -> 662[label="",style="solid", color="black", weight=3];
12.96/5.12	621[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (Integer (Pos Zero) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (Integer (Pos Zero) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];621 -> 628[label="",style="solid", color="black", weight=3];
12.96/5.12	660[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz41)))) (Integer (Neg (Succ (Succ vuz41))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz41)))) (Integer (Neg (Succ (Succ vuz41))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];660 -> 667[label="",style="solid", color="black", weight=3];
12.96/5.12	661[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (compare (Integer (Neg (Succ Zero))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (compare (Integer (Neg (Succ Zero))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];661 -> 668[label="",style="solid", color="black", weight=3];
12.96/5.12	622[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (Integer (Neg Zero) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (Integer (Neg Zero) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];622 -> 629[label="",style="solid", color="black", weight=3];
12.96/5.12	680[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz12)) (not (primCmpInt (Pos vuz12) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz12)) (not (primCmpInt (Pos vuz12) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];904[label="vuz12/Succ vuz120",fontsize=10,color="white",style="solid",shape="box"];680 -> 904[label="",style="solid", color="burlywood", weight=9];
12.96/5.12	904 -> 687[label="",style="solid", color="burlywood", weight=3];
12.96/5.12	905[label="vuz12/Zero",fontsize=10,color="white",style="solid",shape="box"];680 -> 905[label="",style="solid", color="burlywood", weight=9];
12.96/5.12	905 -> 688[label="",style="solid", color="burlywood", weight=3];
12.96/5.12	686[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz26)) (not (primCmpInt (Neg vuz26) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz26)) (not (primCmpInt (Neg vuz26) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];906[label="vuz26/Succ vuz260",fontsize=10,color="white",style="solid",shape="box"];686 -> 906[label="",style="solid", color="burlywood", weight=9];
12.96/5.12	906 -> 695[label="",style="solid", color="burlywood", weight=3];
12.96/5.12	907[label="vuz26/Zero",fontsize=10,color="white",style="solid",shape="box"];686 -> 907[label="",style="solid", color="burlywood", weight=9];
12.96/5.12	907 -> 696[label="",style="solid", color="burlywood", weight=3];
12.96/5.12	662[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz43)))) (compare (Integer (Pos (Succ (Succ vuz43)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz43)))) (compare (Integer (Pos (Succ (Succ vuz43)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];662 -> 669[label="",style="solid", color="black", weight=3];
12.96/5.12	628[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (compare (Integer (Pos Zero)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (compare (Integer (Pos Zero)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];628 -> 635[label="",style="solid", color="black", weight=3];
12.96/5.12	667[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz41)))) (compare (Integer (Neg (Succ (Succ vuz41)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz41)))) (compare (Integer (Neg (Succ (Succ vuz41)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];667 -> 674[label="",style="solid", color="black", weight=3];
12.96/5.12	668[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (not (compare (Integer (Neg (Succ Zero))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (not (compare (Integer (Neg (Succ Zero))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];668 -> 675[label="",style="solid", color="black", weight=3];
12.96/5.12	629[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (compare (Integer (Neg Zero)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (compare (Integer (Neg Zero)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];629 -> 636[label="",style="solid", color="black", weight=3];
12.96/5.12	687[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz120))) (not (primCmpInt (Pos (Succ vuz120)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz120))) (not (primCmpInt (Pos (Succ vuz120)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];687 -> 697[label="",style="solid", color="black", weight=3];
12.96/5.12	688[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];688 -> 698[label="",style="solid", color="black", weight=3];
12.96/5.12	695[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz260))) (not (primCmpInt (Neg (Succ vuz260)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz260))) (not (primCmpInt (Neg (Succ vuz260)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];695 -> 704[label="",style="solid", color="black", weight=3];
12.96/5.12	696[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];696 -> 705[label="",style="solid", color="black", weight=3];
12.96/5.12	669[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz43)))) (not (compare (Integer (Pos (Succ (Succ vuz43)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz43)))) (not (compare (Integer (Pos (Succ (Succ vuz43)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];669 -> 676[label="",style="solid", color="black", weight=3];
12.96/5.12	635[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (compare (Integer (Pos Zero)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (compare (Integer (Pos Zero)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];635 -> 642[label="",style="solid", color="black", weight=3];
12.96/5.12	674[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz41)))) (not (compare (Integer (Neg (Succ (Succ vuz41)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz41)))) (not (compare (Integer (Neg (Succ (Succ vuz41)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];674 -> 681[label="",style="solid", color="black", weight=3];
12.96/5.12	675[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (not (compare (Integer (Neg (Succ Zero))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (not (compare (Integer (Neg (Succ Zero))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];675 -> 682[label="",style="solid", color="black", weight=3];
12.96/5.12	636[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (compare (Integer (Neg Zero)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (compare (Integer (Neg Zero)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];636 -> 643[label="",style="solid", color="black", weight=3];
12.96/5.12	697[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz120))) (not (primCmpNat (Succ vuz120) Zero == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz120))) (not (primCmpNat (Succ vuz120) Zero == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];697 -> 706[label="",style="solid", color="black", weight=3];
12.96/5.12	698[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];698 -> 707[label="",style="solid", color="black", weight=3];
12.96/5.12	704[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz260))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz260))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];704 -> 713[label="",style="solid", color="black", weight=3];
12.96/5.12	705[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];705 -> 714[label="",style="solid", color="black", weight=3];
12.96/5.12	676[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz43)))) (not (compare (Integer (Pos (Succ (Succ vuz43)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz43)))) (not (compare (Integer (Pos (Succ (Succ vuz43)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];676 -> 683[label="",style="solid", color="black", weight=3];
12.96/5.12	642[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (compare (Integer (Pos Zero)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (compare (Integer (Pos Zero)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];642 -> 649[label="",style="solid", color="black", weight=3];
12.96/5.12	681[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz41)))) (not (compare (Integer (Neg (Succ (Succ vuz41)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz41)))) (not (compare (Integer (Neg (Succ (Succ vuz41)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];681 -> 689[label="",style="solid", color="black", weight=3];
12.96/5.12	682[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (not (primCmpInt (Neg (Succ Zero)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (not (primCmpInt (Neg (Succ Zero)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];682 -> 690[label="",style="solid", color="black", weight=3];
12.96/5.12	643[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (compare (Integer (Neg Zero)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (compare (Integer (Neg Zero)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];643 -> 650[label="",style="solid", color="black", weight=3];
12.96/5.12	706[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz120))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz120))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];706 -> 715[label="",style="solid", color="black", weight=3];
12.96/5.12	707[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];707 -> 716[label="",style="solid", color="black", weight=3];
12.96/5.12	713[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz260))) (not True) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz260))) (not True) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];713 -> 722[label="",style="solid", color="black", weight=3];
12.96/5.12	714[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];714 -> 723[label="",style="solid", color="black", weight=3];
12.96/5.12	683[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz43)))) (not (primCmpInt (Pos (Succ (Succ vuz43))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz43)))) (not (primCmpInt (Pos (Succ (Succ vuz43))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];683 -> 691[label="",style="solid", color="black", weight=3];
12.96/5.12	649[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];649 -> 656[label="",style="solid", color="black", weight=3];
12.96/5.12	689[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz41)))) (not (primCmpInt (Neg (Succ (Succ vuz41))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz41)))) (not (primCmpInt (Neg (Succ (Succ vuz41))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];689 -> 699[label="",style="solid", color="black", weight=3];
12.96/5.12	690[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];690 -> 700[label="",style="solid", color="black", weight=3];
12.96/5.12	650[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (primCmpInt (Neg Zero) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];650 -> 657[label="",style="solid", color="black", weight=3];
12.96/5.12	715[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz120))) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz120))) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];715 -> 724[label="",style="solid", color="black", weight=3];
12.96/5.12	716[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];716 -> 725[label="",style="solid", color="black", weight=3];
12.96/5.12	722[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz260))) False `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz260))) False `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];722 -> 731[label="",style="solid", color="black", weight=3];
12.96/5.12	723[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];723 -> 732[label="",style="solid", color="black", weight=3];
12.96/5.12	691[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz43)))) (not (primCmpNat (Succ (Succ vuz43)) Zero == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz43)))) (not (primCmpNat (Succ (Succ vuz43)) Zero == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];691 -> 701[label="",style="solid", color="black", weight=3];
12.96/5.12	656[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];656 -> 663[label="",style="solid", color="black", weight=3];
12.96/5.12	699[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz41)))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz41)))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];699 -> 708[label="",style="solid", color="black", weight=3];
12.96/5.12	700[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) (not True) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) (not True) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];700 -> 709[label="",style="solid", color="black", weight=3];
12.96/5.12	657[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not (EQ == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];657 -> 664[label="",style="solid", color="black", weight=3];
12.96/5.12	724[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz120))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz120))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];724 -> 733[label="",style="solid", color="black", weight=3];
12.96/5.12	725[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos Zero) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];725 -> 734[label="",style="solid", color="black", weight=3];
12.96/5.12	731[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ vuz260))) otherwise `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ vuz260))) otherwise `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];731 -> 740[label="",style="solid", color="black", weight=3];
12.96/5.12	732[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Neg Zero) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Neg Zero) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];732 -> 741[label="",style="solid", color="black", weight=3];
12.96/5.12	701[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz43)))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz43)))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];701 -> 710[label="",style="solid", color="black", weight=3];
12.96/5.12	663[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];663 -> 670[label="",style="solid", color="black", weight=3];
12.96/5.12	708[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz41)))) (not True) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz41)))) (not True) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];708 -> 717[label="",style="solid", color="black", weight=3];
12.96/5.12	709[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ Zero))) False `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ Zero))) False `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];709 -> 718[label="",style="solid", color="black", weight=3];
12.96/5.12	664[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];664 -> 671[label="",style="solid", color="black", weight=3];
12.96/5.12	733[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ vuz120)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ vuz120)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];733 -> 742[label="",style="solid", color="black", weight=3];
12.96/5.12	734[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];734 -> 743[label="",style="solid", color="black", weight=3];
12.96/5.12	740[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ vuz260))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ vuz260))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];740 -> 749[label="",style="solid", color="black", weight=3];
12.96/5.12	741 -> 693[label="",style="dashed", color="red", weight=0];
12.96/5.12	741[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="magenta"];741 -> 750[label="",style="dashed", color="magenta", weight=3];
12.96/5.12	710[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz43)))) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz43)))) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];710 -> 719[label="",style="solid", color="black", weight=3];
12.96/5.12	670[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos Zero)) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos Zero)) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];670 -> 677[label="",style="solid", color="black", weight=3];
12.96/5.12	717[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz41)))) False `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz41)))) False `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];717 -> 726[label="",style="solid", color="black", weight=3];
12.96/5.12	718[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ Zero))) otherwise `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ Zero))) otherwise `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];718 -> 727[label="",style="solid", color="black", weight=3];
12.96/5.12	671[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg Zero)) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg Zero)) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];671 -> 678[label="",style="solid", color="black", weight=3];
12.96/5.12	742[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ vuz120)) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz120)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];742 -> 751[label="",style="solid", color="black", weight=3];
12.96/5.12	743[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];743 -> 752[label="",style="solid", color="black", weight=3];
12.96/5.12	749[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 ((`negate` Integer (Neg (Succ vuz260))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) ((`negate` Integer (Neg (Succ vuz260))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];749 -> 758[label="",style="solid", color="black", weight=3];
12.96/5.12	750[label="Integer (Pos (Succ Zero))",fontsize=16,color="green",shape="box"];693[label="vuz45 `quot` gcd0Gcd'1 (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="burlywood",shape="triangle"];908[label="vuz45/Integer vuz450",fontsize=10,color="white",style="solid",shape="box"];693 -> 908[label="",style="solid", color="burlywood", weight=9];
12.96/5.12	908 -> 703[label="",style="solid", color="burlywood", weight=3];
12.96/5.12	719[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz43)))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz43)))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];719 -> 728[label="",style="solid", color="black", weight=3];
12.96/5.12	677[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (Integer (Pos Zero) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];677 -> 684[label="",style="solid", color="black", weight=3];
12.96/5.12	726[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ (Succ vuz41)))) otherwise `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ (Succ vuz41)))) otherwise `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];726 -> 735[label="",style="solid", color="black", weight=3];
12.96/5.12	727[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ Zero))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ Zero))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];727 -> 736[label="",style="solid", color="black", weight=3];
12.96/5.12	678[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (Integer (Neg Zero) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Neg Zero) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];678 -> 685[label="",style="solid", color="black", weight=3];
12.96/5.12	751[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ vuz120)) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz120)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];751 -> 759[label="",style="solid", color="black", weight=3];
12.96/5.12	752[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos Zero) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];752 -> 760[label="",style="solid", color="black", weight=3];
12.96/5.12	758[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primNegInt (Neg (Succ vuz260))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primNegInt (Neg (Succ vuz260))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];758 -> 766[label="",style="solid", color="black", weight=3];
12.96/5.12	703[label="Integer vuz450 `quot` gcd0Gcd'1 (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];703 -> 712[label="",style="solid", color="black", weight=3];
12.96/5.12	728[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (Integer (Pos (Succ (Succ vuz43))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ (Succ vuz43))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];728 -> 737[label="",style="solid", color="black", weight=3];
12.96/5.12	684[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];684 -> 692[label="",style="solid", color="black", weight=3];
12.96/5.12	735[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ (Succ vuz41)))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ (Succ vuz41)))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];735 -> 744[label="",style="solid", color="black", weight=3];
12.96/5.12	736[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 ((`negate` Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) ((`negate` Integer (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];736 -> 745[label="",style="solid", color="black", weight=3];
12.96/5.12	685 -> 693[label="",style="dashed", color="red", weight=0];
12.96/5.12	685[label="Integer (Neg Zero) `quot` gcd0Gcd'1 (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="magenta"];685 -> 694[label="",style="dashed", color="magenta", weight=3];
12.96/5.12	759[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ vuz120)) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz120)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];759 -> 767[label="",style="solid", color="black", weight=3];
12.96/5.12	760[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS Zero (Succ Zero))))",fontsize=16,color="black",shape="triangle"];760 -> 768[label="",style="solid", color="black", weight=3];
12.96/5.12	766[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ vuz260))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ vuz260))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];766 -> 774[label="",style="solid", color="black", weight=3];
12.96/5.12	712[label="Integer vuz450 `quot` gcd0Gcd'1 (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];712 -> 721[label="",style="solid", color="black", weight=3];
12.96/5.12	737[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ (Succ vuz43))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz43))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];737 -> 746[label="",style="solid", color="black", weight=3];
12.96/5.12	692[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];692 -> 702[label="",style="solid", color="black", weight=3];
12.96/5.12	744[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 ((`negate` Integer (Neg (Succ (Succ vuz41)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) ((`negate` Integer (Neg (Succ (Succ vuz41)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];744 -> 753[label="",style="solid", color="black", weight=3];
12.96/5.12	745[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primNegInt (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primNegInt (Neg (Succ Zero))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];745 -> 754[label="",style="solid", color="black", weight=3];
12.96/5.12	694[label="Integer (Neg Zero)",fontsize=16,color="green",shape="box"];767[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz120) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ vuz120) (Succ Zero))))",fontsize=16,color="black",shape="triangle"];767 -> 775[label="",style="solid", color="black", weight=3];
12.96/5.12	768[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];768 -> 776[label="",style="solid", color="black", weight=3];
12.96/5.12	774[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ vuz260))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ vuz260))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];774 -> 783[label="",style="solid", color="black", weight=3];
12.96/5.12	721[label="Integer vuz450 `quot` gcd0Gcd'1 (primEqInt (primRemInt (Neg Zero) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Neg Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];721 -> 730[label="",style="solid", color="black", weight=3];
12.96/5.12	746[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ (Succ vuz43))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz43))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];746 -> 755[label="",style="solid", color="black", weight=3];
12.96/5.12	702[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos Zero) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos Zero) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];702 -> 711[label="",style="solid", color="black", weight=3];
12.96/5.12	753[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (Integer (primNegInt (Neg (Succ (Succ vuz41)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primNegInt (Neg (Succ (Succ vuz41)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];753 -> 761[label="",style="solid", color="black", weight=3];
12.96/5.12	754[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];754 -> 762[label="",style="solid", color="black", weight=3];
12.96/5.12	775[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 vuz120 Zero (primGEqNatS vuz120 Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 vuz120 Zero (primGEqNatS vuz120 Zero))))",fontsize=16,color="burlywood",shape="box"];909[label="vuz120/Succ vuz1200",fontsize=10,color="white",style="solid",shape="box"];775 -> 909[label="",style="solid", color="burlywood", weight=9];
12.96/5.12	909 -> 784[label="",style="solid", color="burlywood", weight=3];
12.96/5.12	910[label="vuz120/Zero",fontsize=10,color="white",style="solid",shape="box"];775 -> 910[label="",style="solid", color="burlywood", weight=9];
12.96/5.12	910 -> 785[label="",style="solid", color="burlywood", weight=3];
12.96/5.12	776[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];776 -> 786[label="",style="solid", color="black", weight=3];
12.96/5.12	783[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (primNegInt (Neg (Succ vuz260))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ vuz260))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];783 -> 792[label="",style="solid", color="black", weight=3];
12.96/5.12	730[label="Integer vuz450 `quot` gcd0Gcd'1 (primEqInt (Neg (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Neg (primModNatS Zero (Succ Zero))))",fontsize=16,color="black",shape="box"];730 -> 739[label="",style="solid", color="black", weight=3];
12.96/5.12	755[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ (Succ vuz43))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz43))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];755 -> 763[label="",style="solid", color="black", weight=3];
12.96/5.12	711[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS Zero (Succ Zero))))",fontsize=16,color="black",shape="box"];711 -> 720[label="",style="solid", color="black", weight=3];
12.96/5.12	761[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz41)))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz41)))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];761 -> 769[label="",style="solid", color="black", weight=3];
12.96/5.12	762[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];762 -> 770[label="",style="solid", color="black", weight=3];
12.96/5.12	784[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz1200) Zero (primGEqNatS (Succ vuz1200) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz1200) Zero (primGEqNatS (Succ vuz1200) Zero))))",fontsize=16,color="black",shape="box"];784 -> 793[label="",style="solid", color="black", weight=3];
12.96/5.12	785[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))))",fontsize=16,color="black",shape="box"];785 -> 794[label="",style="solid", color="black", weight=3];
12.96/5.12	786 -> 757[label="",style="dashed", color="red", weight=0];
12.96/5.12	786[label="Integer (Pos (Succ Zero)) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];786 -> 795[label="",style="dashed", color="magenta", weight=3];
12.96/5.12	792 -> 759[label="",style="dashed", color="red", weight=0];
12.96/5.12	792[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ vuz260)) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz260)) (Pos (Succ Zero))))",fontsize=16,color="magenta"];792 -> 801[label="",style="dashed", color="magenta", weight=3];
12.96/5.12	739[label="Integer vuz450 `quot` gcd0Gcd'1 (primEqInt (Neg Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Neg Zero))",fontsize=16,color="black",shape="box"];739 -> 748[label="",style="solid", color="black", weight=3];
12.96/5.12	763[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ (Succ vuz43)) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ (Succ vuz43)) (Succ Zero))))",fontsize=16,color="black",shape="box"];763 -> 771[label="",style="solid", color="black", weight=3];
12.96/5.12	720[label="Integer (Pos Zero) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];720 -> 729[label="",style="solid", color="black", weight=3];
12.96/5.12	769[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz41)))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz41)))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];769 -> 777[label="",style="solid", color="black", weight=3];
12.96/5.12	770[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ Zero))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];770 -> 778[label="",style="solid", color="black", weight=3];
12.96/5.12	793[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz1200) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz1200) Zero True)))",fontsize=16,color="black",shape="box"];793 -> 802[label="",style="solid", color="black", weight=3];
12.96/5.12	794[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero True)))",fontsize=16,color="black",shape="box"];794 -> 803[label="",style="solid", color="black", weight=3];
12.96/5.12	795[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];757[label="Integer vuz450 `quot` Integer (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];757 -> 765[label="",style="solid", color="black", weight=3];
12.96/5.12	801[label="vuz260",fontsize=16,color="green",shape="box"];748[label="Integer vuz450 `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Neg Zero))",fontsize=16,color="black",shape="box"];748 -> 757[label="",style="solid", color="black", weight=3];
12.96/5.12	771[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz43) Zero (primGEqNatS (Succ vuz43) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz43) Zero (primGEqNatS (Succ vuz43) Zero))))",fontsize=16,color="black",shape="box"];771 -> 779[label="",style="solid", color="black", weight=3];
12.96/5.12	729[label="Integer (Pos Zero) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];729 -> 738[label="",style="solid", color="black", weight=3];
12.96/5.12	777[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (primEqInt (primRemInt (primNegInt (Neg (Succ (Succ vuz41)))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz41)))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];777 -> 787[label="",style="solid", color="black", weight=3];
12.96/5.12	778[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ Zero)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];778 -> 788[label="",style="solid", color="black", weight=3];
12.96/5.12	802[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS (Succ vuz1200) Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS (Succ vuz1200) Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];802 -> 810[label="",style="solid", color="black", weight=3];
12.96/5.12	803[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];803 -> 811[label="",style="solid", color="black", weight=3];
12.96/5.12	765[label="Integer (primQuotInt vuz450 (Pos (Succ Zero)))",fontsize=16,color="green",shape="box"];765 -> 773[label="",style="dashed", color="green", weight=3];
12.96/5.12	779[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz43) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz43) Zero True)))",fontsize=16,color="black",shape="triangle"];779 -> 789[label="",style="solid", color="black", weight=3];
12.96/5.12	738[label="Integer (Pos Zero) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];738 -> 747[label="",style="solid", color="black", weight=3];
12.96/5.12	787[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ (Succ vuz41))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz41))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];787 -> 796[label="",style="solid", color="black", weight=3];
12.96/5.12	788[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];788 -> 797[label="",style="solid", color="black", weight=3];
12.96/5.12	810 -> 767[label="",style="dashed", color="red", weight=0];
12.96/5.12	810[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz1200) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ vuz1200) (Succ Zero))))",fontsize=16,color="magenta"];810 -> 818[label="",style="dashed", color="magenta", weight=3];
12.96/5.12	811 -> 760[label="",style="dashed", color="red", weight=0];
12.96/5.12	811[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS Zero (Succ Zero))))",fontsize=16,color="magenta"];773[label="primQuotInt vuz450 (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];911[label="vuz450/Pos vuz4500",fontsize=10,color="white",style="solid",shape="box"];773 -> 911[label="",style="solid", color="burlywood", weight=9];
12.96/5.12	911 -> 781[label="",style="solid", color="burlywood", weight=3];
12.96/5.12	912[label="vuz450/Neg vuz4500",fontsize=10,color="white",style="solid",shape="box"];773 -> 912[label="",style="solid", color="burlywood", weight=9];
12.96/5.12	912 -> 782[label="",style="solid", color="burlywood", weight=3];
12.96/5.12	789[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS (Succ vuz43) Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS (Succ vuz43) Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];789 -> 798[label="",style="solid", color="black", weight=3];
12.96/5.12	747[label="Integer (primQuotInt (Pos Zero) (Pos (Succ Zero)))",fontsize=16,color="green",shape="box"];747 -> 756[label="",style="dashed", color="green", weight=3];
12.96/5.12	796 -> 853[label="",style="dashed", color="red", weight=0];
13.26/5.13	796[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ (Succ vuz41)) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ (Succ vuz41)) (Succ Zero))))",fontsize=16,color="magenta"];796 -> 854[label="",style="dashed", color="magenta", weight=3];
13.26/5.13	796 -> 855[label="",style="dashed", color="magenta", weight=3];
13.26/5.13	797[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))))",fontsize=16,color="black",shape="box"];797 -> 805[label="",style="solid", color="black", weight=3];
13.26/5.13	818[label="vuz1200",fontsize=16,color="green",shape="box"];781[label="primQuotInt (Pos vuz4500) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];781 -> 790[label="",style="solid", color="black", weight=3];
13.26/5.13	782[label="primQuotInt (Neg vuz4500) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];782 -> 791[label="",style="solid", color="black", weight=3];
13.26/5.13	798[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz43) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ vuz43) (Succ Zero))))",fontsize=16,color="black",shape="box"];798 -> 806[label="",style="solid", color="black", weight=3];
13.26/5.13	756[label="primQuotInt (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];756 -> 764[label="",style="solid", color="black", weight=3];
13.26/5.13	854[label="Succ (Succ vuz41)",fontsize=16,color="green",shape="box"];855[label="Succ (Succ vuz41)",fontsize=16,color="green",shape="box"];853[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS vuz47 (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS vuz46 (Succ Zero))))",fontsize=16,color="burlywood",shape="triangle"];913[label="vuz47/Succ vuz470",fontsize=10,color="white",style="solid",shape="box"];853 -> 913[label="",style="solid", color="burlywood", weight=9];
13.26/5.13	913 -> 862[label="",style="solid", color="burlywood", weight=3];
13.26/5.13	914[label="vuz47/Zero",fontsize=10,color="white",style="solid",shape="box"];853 -> 914[label="",style="solid", color="burlywood", weight=9];
13.26/5.13	914 -> 863[label="",style="solid", color="burlywood", weight=3];
13.26/5.13	805[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero True)))",fontsize=16,color="black",shape="box"];805 -> 813[label="",style="solid", color="black", weight=3];
13.26/5.13	790[label="Pos (primDivNatS vuz4500 (Succ Zero))",fontsize=16,color="green",shape="box"];790 -> 799[label="",style="dashed", color="green", weight=3];
13.26/5.13	791[label="Neg (primDivNatS vuz4500 (Succ Zero))",fontsize=16,color="green",shape="box"];791 -> 800[label="",style="dashed", color="green", weight=3];
13.26/5.13	806[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 vuz43 Zero (primGEqNatS vuz43 Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 vuz43 Zero (primGEqNatS vuz43 Zero))))",fontsize=16,color="burlywood",shape="box"];915[label="vuz43/Succ vuz430",fontsize=10,color="white",style="solid",shape="box"];806 -> 915[label="",style="solid", color="burlywood", weight=9];
13.26/5.13	915 -> 814[label="",style="solid", color="burlywood", weight=3];
13.26/5.13	916[label="vuz43/Zero",fontsize=10,color="white",style="solid",shape="box"];806 -> 916[label="",style="solid", color="burlywood", weight=9];
13.26/5.13	916 -> 815[label="",style="solid", color="burlywood", weight=3];
13.26/5.13	764[label="Pos (primDivNatS Zero (Succ Zero))",fontsize=16,color="green",shape="box"];764 -> 772[label="",style="dashed", color="green", weight=3];
13.26/5.13	862[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz470) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS vuz46 (Succ Zero))))",fontsize=16,color="black",shape="box"];862 -> 865[label="",style="solid", color="black", weight=3];
13.26/5.13	863[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS vuz46 (Succ Zero))))",fontsize=16,color="black",shape="box"];863 -> 866[label="",style="solid", color="black", weight=3];
13.26/5.13	813[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];813 -> 820[label="",style="solid", color="black", weight=3];
13.26/5.13	799[label="primDivNatS vuz4500 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];917[label="vuz4500/Succ vuz45000",fontsize=10,color="white",style="solid",shape="box"];799 -> 917[label="",style="solid", color="burlywood", weight=9];
13.26/5.13	917 -> 807[label="",style="solid", color="burlywood", weight=3];
13.26/5.13	918[label="vuz4500/Zero",fontsize=10,color="white",style="solid",shape="box"];799 -> 918[label="",style="solid", color="burlywood", weight=9];
13.26/5.13	918 -> 808[label="",style="solid", color="burlywood", weight=3];
13.26/5.13	800 -> 799[label="",style="dashed", color="red", weight=0];
13.26/5.13	800[label="primDivNatS vuz4500 (Succ Zero)",fontsize=16,color="magenta"];800 -> 809[label="",style="dashed", color="magenta", weight=3];
13.26/5.13	814[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz430) Zero (primGEqNatS (Succ vuz430) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz430) Zero (primGEqNatS (Succ vuz430) Zero))))",fontsize=16,color="black",shape="box"];814 -> 821[label="",style="solid", color="black", weight=3];
13.26/5.13	815[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))))",fontsize=16,color="black",shape="box"];815 -> 822[label="",style="solid", color="black", weight=3];
13.26/5.13	772[label="primDivNatS Zero (Succ Zero)",fontsize=16,color="black",shape="box"];772 -> 780[label="",style="solid", color="black", weight=3];
13.26/5.13	865[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 vuz470 Zero (primGEqNatS vuz470 Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 vuz470 Zero (primGEqNatS vuz470 Zero))))",fontsize=16,color="burlywood",shape="box"];919[label="vuz470/Succ vuz4700",fontsize=10,color="white",style="solid",shape="box"];865 -> 919[label="",style="solid", color="burlywood", weight=9];
13.26/5.13	919 -> 867[label="",style="solid", color="burlywood", weight=3];
13.26/5.13	920[label="vuz470/Zero",fontsize=10,color="white",style="solid",shape="box"];865 -> 920[label="",style="solid", color="burlywood", weight=9];
13.26/5.13	920 -> 868[label="",style="solid", color="burlywood", weight=3];
13.26/5.13	866[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];866 -> 869[label="",style="solid", color="black", weight=3];
13.26/5.13	820[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS Zero (Succ Zero))))",fontsize=16,color="black",shape="box"];820 -> 826[label="",style="solid", color="black", weight=3];
13.26/5.13	807[label="primDivNatS (Succ vuz45000) (Succ Zero)",fontsize=16,color="black",shape="box"];807 -> 816[label="",style="solid", color="black", weight=3];
13.26/5.13	808[label="primDivNatS Zero (Succ Zero)",fontsize=16,color="black",shape="box"];808 -> 817[label="",style="solid", color="black", weight=3];
13.26/5.13	809[label="vuz4500",fontsize=16,color="green",shape="box"];821 -> 779[label="",style="dashed", color="red", weight=0];
13.26/5.13	821[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz430) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz430) Zero True)))",fontsize=16,color="magenta"];821 -> 827[label="",style="dashed", color="magenta", weight=3];
13.26/5.13	822[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero True)))",fontsize=16,color="black",shape="box"];822 -> 828[label="",style="solid", color="black", weight=3];
13.26/5.13	780[label="Zero",fontsize=16,color="green",shape="box"];867[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz4700) Zero (primGEqNatS (Succ vuz4700) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz4700) Zero (primGEqNatS (Succ vuz4700) Zero))))",fontsize=16,color="black",shape="box"];867 -> 870[label="",style="solid", color="black", weight=3];
13.26/5.13	868[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero (primGEqNatS Zero Zero))))",fontsize=16,color="black",shape="box"];868 -> 871[label="",style="solid", color="black", weight=3];
13.26/5.13	869[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];869 -> 872[label="",style="solid", color="black", weight=3];
13.26/5.13	826[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];826 -> 832[label="",style="solid", color="black", weight=3];
13.26/5.13	816[label="primDivNatS0 vuz45000 Zero (primGEqNatS vuz45000 Zero)",fontsize=16,color="burlywood",shape="box"];921[label="vuz45000/Succ vuz450000",fontsize=10,color="white",style="solid",shape="box"];816 -> 921[label="",style="solid", color="burlywood", weight=9];
13.26/5.13	921 -> 823[label="",style="solid", color="burlywood", weight=3];
13.26/5.13	922[label="vuz45000/Zero",fontsize=10,color="white",style="solid",shape="box"];816 -> 922[label="",style="solid", color="burlywood", weight=9];
13.26/5.13	922 -> 824[label="",style="solid", color="burlywood", weight=3];
13.26/5.13	817[label="Zero",fontsize=16,color="green",shape="box"];827[label="vuz430",fontsize=16,color="green",shape="box"];828[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];828 -> 833[label="",style="solid", color="black", weight=3];
13.26/5.13	870[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz4700) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz4700) Zero True)))",fontsize=16,color="black",shape="box"];870 -> 873[label="",style="solid", color="black", weight=3];
13.26/5.13	871[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 Zero Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 Zero Zero True)))",fontsize=16,color="black",shape="box"];871 -> 874[label="",style="solid", color="black", weight=3];
13.26/5.13	872 -> 757[label="",style="dashed", color="red", weight=0];
13.26/5.13	872[label="Integer (Neg (Succ (Succ vuz40))) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];872 -> 875[label="",style="dashed", color="magenta", weight=3];
13.26/5.13	832[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];832 -> 838[label="",style="solid", color="black", weight=3];
13.26/5.13	823[label="primDivNatS0 (Succ vuz450000) Zero (primGEqNatS (Succ vuz450000) Zero)",fontsize=16,color="black",shape="box"];823 -> 829[label="",style="solid", color="black", weight=3];
13.26/5.13	824[label="primDivNatS0 Zero Zero (primGEqNatS Zero Zero)",fontsize=16,color="black",shape="box"];824 -> 830[label="",style="solid", color="black", weight=3];
13.26/5.13	833[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS Zero (Succ Zero))))",fontsize=16,color="black",shape="box"];833 -> 839[label="",style="solid", color="black", weight=3];
13.26/5.13	873 -> 853[label="",style="dashed", color="red", weight=0];
13.26/5.13	873[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS (Succ vuz4700) Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS (Succ vuz4700) Zero) (Succ Zero))))",fontsize=16,color="magenta"];873 -> 876[label="",style="dashed", color="magenta", weight=3];
13.26/5.13	873 -> 877[label="",style="dashed", color="magenta", weight=3];
13.26/5.13	874 -> 853[label="",style="dashed", color="red", weight=0];
13.26/5.13	874[label="Integer (Neg (Succ (Succ vuz40))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS Zero Zero) (Succ Zero))))",fontsize=16,color="magenta"];874 -> 878[label="",style="dashed", color="magenta", weight=3];
13.26/5.13	874 -> 879[label="",style="dashed", color="magenta", weight=3];
13.26/5.13	875[label="Neg (Succ (Succ vuz40))",fontsize=16,color="green",shape="box"];838 -> 757[label="",style="dashed", color="red", weight=0];
13.26/5.13	838[label="Integer (Neg (Succ Zero)) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];838 -> 844[label="",style="dashed", color="magenta", weight=3];
13.26/5.13	829[label="primDivNatS0 (Succ vuz450000) Zero True",fontsize=16,color="black",shape="box"];829 -> 834[label="",style="solid", color="black", weight=3];
13.26/5.13	830[label="primDivNatS0 Zero Zero True",fontsize=16,color="black",shape="box"];830 -> 835[label="",style="solid", color="black", weight=3];
13.26/5.13	839[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];839 -> 845[label="",style="solid", color="black", weight=3];
13.26/5.13	876 -> 846[label="",style="dashed", color="red", weight=0];
13.26/5.13	876[label="primMinusNatS (Succ vuz4700) Zero",fontsize=16,color="magenta"];876 -> 880[label="",style="dashed", color="magenta", weight=3];
13.26/5.13	877 -> 846[label="",style="dashed", color="red", weight=0];
13.26/5.13	877[label="primMinusNatS (Succ vuz4700) Zero",fontsize=16,color="magenta"];877 -> 881[label="",style="dashed", color="magenta", weight=3];
13.26/5.13	878 -> 847[label="",style="dashed", color="red", weight=0];
13.26/5.13	878[label="primMinusNatS Zero Zero",fontsize=16,color="magenta"];879 -> 847[label="",style="dashed", color="red", weight=0];
13.26/5.13	879[label="primMinusNatS Zero Zero",fontsize=16,color="magenta"];844[label="Neg (Succ Zero)",fontsize=16,color="green",shape="box"];834[label="Succ (primDivNatS (primMinusNatS (Succ vuz450000) Zero) (Succ Zero))",fontsize=16,color="green",shape="box"];834 -> 840[label="",style="dashed", color="green", weight=3];
13.26/5.13	835[label="Succ (primDivNatS (primMinusNatS Zero Zero) (Succ Zero))",fontsize=16,color="green",shape="box"];835 -> 841[label="",style="dashed", color="green", weight=3];
13.26/5.13	845[label="Integer (Pos (Succ (Succ vuz42))) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];845 -> 850[label="",style="solid", color="black", weight=3];
13.26/5.13	880[label="vuz4700",fontsize=16,color="green",shape="box"];846[label="primMinusNatS (Succ vuz450000) Zero",fontsize=16,color="black",shape="triangle"];846 -> 851[label="",style="solid", color="black", weight=3];
13.26/5.13	881[label="vuz4700",fontsize=16,color="green",shape="box"];847[label="primMinusNatS Zero Zero",fontsize=16,color="black",shape="triangle"];847 -> 852[label="",style="solid", color="black", weight=3];
13.26/5.13	840 -> 799[label="",style="dashed", color="red", weight=0];
13.26/5.13	840[label="primDivNatS (primMinusNatS (Succ vuz450000) Zero) (Succ Zero)",fontsize=16,color="magenta"];840 -> 846[label="",style="dashed", color="magenta", weight=3];
13.26/5.13	841 -> 799[label="",style="dashed", color="red", weight=0];
13.26/5.13	841[label="primDivNatS (primMinusNatS Zero Zero) (Succ Zero)",fontsize=16,color="magenta"];841 -> 847[label="",style="dashed", color="magenta", weight=3];
13.26/5.13	850 -> 757[label="",style="dashed", color="red", weight=0];
13.26/5.13	850[label="Integer (Pos (Succ (Succ vuz42))) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];850 -> 864[label="",style="dashed", color="magenta", weight=3];
13.26/5.13	851[label="Succ vuz450000",fontsize=16,color="green",shape="box"];852[label="Zero",fontsize=16,color="green",shape="box"];864[label="Pos (Succ (Succ vuz42))",fontsize=16,color="green",shape="box"];}
13.26/5.13	
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(12)
13.26/5.13	Complex Obligation (AND)
13.26/5.13	
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(13)
13.26/5.13	Obligation:
13.26/5.13	Q DP problem:
13.26/5.13	The TRS P consists of the following rules:
13.26/5.13	
13.26/5.13	   new_primDivNatS(Succ(Zero)) -> new_primDivNatS(new_primMinusNatS0)
13.26/5.13	   new_primDivNatS(Succ(Succ(vuz450000))) -> new_primDivNatS(new_primMinusNatS(vuz450000))
13.26/5.13	
13.26/5.13	The TRS R consists of the following rules:
13.26/5.13	
13.26/5.13	   new_primMinusNatS(vuz450000) -> Succ(vuz450000)
13.26/5.13	   new_primMinusNatS0 -> Zero
13.26/5.13	
13.26/5.13	The set Q consists of the following terms:
13.26/5.13	
13.26/5.13	   new_primMinusNatS(x0)
13.26/5.13	   new_primMinusNatS0
13.26/5.13	
13.26/5.13	We have to consider all minimal (P,Q,R)-chains.
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(14) DependencyGraphProof (EQUIVALENT)
13.26/5.13	The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 1 SCC with 1 less node.
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(15)
13.26/5.13	Obligation:
13.26/5.13	Q DP problem:
13.26/5.13	The TRS P consists of the following rules:
13.26/5.13	
13.26/5.13	   new_primDivNatS(Succ(Succ(vuz450000))) -> new_primDivNatS(new_primMinusNatS(vuz450000))
13.26/5.13	
13.26/5.13	The TRS R consists of the following rules:
13.26/5.13	
13.26/5.13	   new_primMinusNatS(vuz450000) -> Succ(vuz450000)
13.26/5.13	   new_primMinusNatS0 -> Zero
13.26/5.13	
13.26/5.13	The set Q consists of the following terms:
13.26/5.13	
13.26/5.13	   new_primMinusNatS(x0)
13.26/5.13	   new_primMinusNatS0
13.26/5.13	
13.26/5.13	We have to consider all minimal (P,Q,R)-chains.
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(16) MRRProof (EQUIVALENT)
13.26/5.13	By using the rule removal processor [LPAR04] with the following ordering, at least one Dependency Pair or term rewrite system rule of this QDP problem can be strictly oriented.
13.26/5.13	
13.26/5.13	Strictly oriented dependency pairs:
13.26/5.13	
13.26/5.13	   new_primDivNatS(Succ(Succ(vuz450000))) -> new_primDivNatS(new_primMinusNatS(vuz450000))
13.26/5.13	
13.26/5.13	Strictly oriented rules of the TRS R:
13.26/5.13	
13.26/5.13	   new_primMinusNatS(vuz450000) -> Succ(vuz450000)
13.26/5.13	   new_primMinusNatS0 -> Zero
13.26/5.13	
13.26/5.13	Used ordering: Polynomial interpretation [POLO]:
13.26/5.13	
13.26/5.13	   POL(Succ(x_1)) = 1 + 2*x_1
13.26/5.13	   POL(Zero) = 1
13.26/5.13	   POL(new_primDivNatS(x_1)) = x_1
13.26/5.13	   POL(new_primMinusNatS(x_1)) = 2 + 2*x_1
13.26/5.13	   POL(new_primMinusNatS0) = 2
13.26/5.13	
13.26/5.13	
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(17)
13.26/5.13	Obligation:
13.26/5.13	Q DP problem:
13.26/5.13	P is empty.
13.26/5.13	R is empty.
13.26/5.13	The set Q consists of the following terms:
13.26/5.13	
13.26/5.13	   new_primMinusNatS(x0)
13.26/5.13	   new_primMinusNatS0
13.26/5.13	
13.26/5.13	We have to consider all minimal (P,Q,R)-chains.
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(18) PisEmptyProof (EQUIVALENT)
13.26/5.13	The TRS P is empty. Hence, there is no (P,Q,R) chain.
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(19)
13.26/5.13	YES
13.26/5.13	
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(20)
13.26/5.13	Obligation:
13.26/5.13	Q DP problem:
13.26/5.13	The TRS P consists of the following rules:
13.26/5.13	
13.26/5.13	   new_quot1(vuz42, Succ(vuz430)) -> new_quot1(vuz42, vuz430)
13.26/5.13	
13.26/5.13	R is empty.
13.26/5.13	Q is empty.
13.26/5.13	We have to consider all minimal (P,Q,R)-chains.
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(21) QDPSizeChangeProof (EQUIVALENT)
13.26/5.13	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. 
13.26/5.13	
13.26/5.13	From the DPs we obtained the following set of size-change graphs:
13.26/5.13	*new_quot1(vuz42, Succ(vuz430)) -> new_quot1(vuz42, vuz430)
13.26/5.13	The graph contains the following edges 1 >= 1, 2 > 2
13.26/5.13	
13.26/5.13	
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(22)
13.26/5.13	YES
13.26/5.13	
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(23)
13.26/5.13	Obligation:
13.26/5.13	Q DP problem:
13.26/5.13	The TRS P consists of the following rules:
13.26/5.13	
13.26/5.13	   new_primMulNat(Succ(vuz3000)) -> new_primMulNat(vuz3000)
13.26/5.13	
13.26/5.13	R is empty.
13.26/5.13	Q is empty.
13.26/5.13	We have to consider all minimal (P,Q,R)-chains.
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(24) QDPSizeChangeProof (EQUIVALENT)
13.26/5.13	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. 
13.26/5.13	
13.26/5.13	From the DPs we obtained the following set of size-change graphs:
13.26/5.13	*new_primMulNat(Succ(vuz3000)) -> new_primMulNat(vuz3000)
13.26/5.13	The graph contains the following edges 1 > 1
13.26/5.13	
13.26/5.13	
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(25)
13.26/5.13	YES
13.26/5.13	
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(26)
13.26/5.13	Obligation:
13.26/5.13	Q DP problem:
13.26/5.13	The TRS P consists of the following rules:
13.26/5.13	
13.26/5.13	   new_quot(vuz40, Succ(Zero), vuz46) -> new_quot(vuz40, new_primMinusNatS0, new_primMinusNatS0)
13.26/5.13	   new_quot(vuz40, Succ(Succ(vuz4700)), vuz46) -> new_quot(vuz40, new_primMinusNatS(vuz4700), new_primMinusNatS(vuz4700))
13.26/5.13	
13.26/5.13	The TRS R consists of the following rules:
13.26/5.13	
13.26/5.13	   new_primMinusNatS(vuz450000) -> Succ(vuz450000)
13.26/5.13	   new_primMinusNatS0 -> Zero
13.26/5.13	
13.26/5.13	The set Q consists of the following terms:
13.26/5.13	
13.26/5.13	   new_primMinusNatS(x0)
13.26/5.13	   new_primMinusNatS0
13.26/5.13	
13.26/5.13	We have to consider all minimal (P,Q,R)-chains.
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(27) DependencyGraphProof (EQUIVALENT)
13.26/5.13	The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 1 SCC with 1 less node.
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(28)
13.26/5.13	Obligation:
13.26/5.13	Q DP problem:
13.26/5.13	The TRS P consists of the following rules:
13.26/5.13	
13.26/5.13	   new_quot(vuz40, Succ(Succ(vuz4700)), vuz46) -> new_quot(vuz40, new_primMinusNatS(vuz4700), new_primMinusNatS(vuz4700))
13.26/5.13	
13.26/5.13	The TRS R consists of the following rules:
13.26/5.13	
13.26/5.13	   new_primMinusNatS(vuz450000) -> Succ(vuz450000)
13.26/5.13	   new_primMinusNatS0 -> Zero
13.26/5.13	
13.26/5.13	The set Q consists of the following terms:
13.26/5.13	
13.26/5.13	   new_primMinusNatS(x0)
13.26/5.13	   new_primMinusNatS0
13.26/5.13	
13.26/5.13	We have to consider all minimal (P,Q,R)-chains.
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(29) MRRProof (EQUIVALENT)
13.26/5.13	By using the rule removal processor [LPAR04] with the following ordering, at least one Dependency Pair or term rewrite system rule of this QDP problem can be strictly oriented.
13.26/5.13	
13.26/5.13	Strictly oriented dependency pairs:
13.26/5.13	
13.26/5.13	   new_quot(vuz40, Succ(Succ(vuz4700)), vuz46) -> new_quot(vuz40, new_primMinusNatS(vuz4700), new_primMinusNatS(vuz4700))
13.26/5.13	
13.26/5.13	
13.26/5.13	Used ordering: Polynomial interpretation [POLO]:
13.26/5.13	
13.26/5.13	   POL(Succ(x_1)) = 1 + 2*x_1
13.26/5.13	   POL(Zero) = 2
13.26/5.13	   POL(new_primMinusNatS(x_1)) = 1 + 2*x_1
13.26/5.13	   POL(new_primMinusNatS0) = 2
13.26/5.13	   POL(new_quot(x_1, x_2, x_3)) = x_1 + 2*x_2 + x_3
13.26/5.13	
13.26/5.13	
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(30)
13.26/5.13	Obligation:
13.26/5.13	Q DP problem:
13.26/5.13	P is empty.
13.26/5.13	The TRS R consists of the following rules:
13.26/5.13	
13.26/5.13	   new_primMinusNatS(vuz450000) -> Succ(vuz450000)
13.26/5.13	   new_primMinusNatS0 -> Zero
13.26/5.13	
13.26/5.13	The set Q consists of the following terms:
13.26/5.13	
13.26/5.13	   new_primMinusNatS(x0)
13.26/5.13	   new_primMinusNatS0
13.26/5.13	
13.26/5.13	We have to consider all minimal (P,Q,R)-chains.
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(31) PisEmptyProof (EQUIVALENT)
13.26/5.13	The TRS P is empty. Hence, there is no (P,Q,R) chain.
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(32)
13.26/5.13	YES
13.26/5.13	
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(33)
13.26/5.13	Obligation:
13.26/5.13	Q DP problem:
13.26/5.13	The TRS P consists of the following rules:
13.26/5.13	
13.26/5.13	   new_quot0(Succ(vuz1200)) -> new_quot0(vuz1200)
13.26/5.13	
13.26/5.13	R is empty.
13.26/5.13	Q is empty.
13.26/5.13	We have to consider all minimal (P,Q,R)-chains.
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(34) QDPSizeChangeProof (EQUIVALENT)
13.26/5.13	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. 
13.26/5.13	
13.26/5.13	From the DPs we obtained the following set of size-change graphs:
13.26/5.13	*new_quot0(Succ(vuz1200)) -> new_quot0(vuz1200)
13.26/5.13	The graph contains the following edges 1 > 1
13.26/5.13	
13.26/5.13	
13.26/5.13	----------------------------------------
13.26/5.13	
13.26/5.13	(35)
13.26/5.13	YES
13.32/5.23	EOF