12.67/4.97 YES 15.07/5.60 proof of /export/starexec/sandbox2/benchmark/theBenchmark.hs 15.07/5.60 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 15.07/5.60 15.07/5.60 15.07/5.60 H-Termination with start terms of the given HASKELL could be proven: 15.07/5.60 15.07/5.60 (0) HASKELL 15.07/5.60 (1) IFR [EQUIVALENT, 0 ms] 15.07/5.60 (2) HASKELL 15.07/5.60 (3) BR [EQUIVALENT, 0 ms] 15.07/5.60 (4) HASKELL 15.07/5.60 (5) COR [EQUIVALENT, 0 ms] 15.07/5.60 (6) HASKELL 15.07/5.60 (7) LetRed [EQUIVALENT, 0 ms] 15.07/5.60 (8) HASKELL 15.07/5.60 (9) NumRed [SOUND, 0 ms] 15.07/5.60 (10) HASKELL 15.07/5.60 (11) Narrow [SOUND, 0 ms] 15.07/5.60 (12) AND 15.07/5.60 (13) QDP 15.07/5.60 (14) DependencyGraphProof [EQUIVALENT, 0 ms] 15.07/5.60 (15) QDP 15.07/5.60 (16) MRRProof [EQUIVALENT, 0 ms] 15.07/5.60 (17) QDP 15.07/5.60 (18) PisEmptyProof [EQUIVALENT, 0 ms] 15.07/5.60 (19) YES 15.07/5.60 (20) QDP 15.07/5.60 (21) QDPSizeChangeProof [EQUIVALENT, 0 ms] 15.07/5.60 (22) YES 15.07/5.60 (23) QDP 15.07/5.60 (24) QDPSizeChangeProof [EQUIVALENT, 0 ms] 15.07/5.60 (25) YES 15.07/5.60 (26) QDP 15.07/5.60 (27) DependencyGraphProof [EQUIVALENT, 0 ms] 15.07/5.60 (28) QDP 15.07/5.60 (29) MRRProof [EQUIVALENT, 12 ms] 15.07/5.60 (30) QDP 15.07/5.60 (31) PisEmptyProof [EQUIVALENT, 0 ms] 15.07/5.60 (32) YES 15.07/5.60 (33) QDP 15.07/5.60 (34) QDPSizeChangeProof [EQUIVALENT, 0 ms] 15.07/5.60 (35) YES 15.07/5.60 15.07/5.60 15.07/5.60 ---------------------------------------- 15.07/5.60 15.07/5.60 (0) 15.07/5.60 Obligation: 15.07/5.60 mainModule Main 15.07/5.60 module Main where { 15.07/5.60 import qualified Prelude; 15.07/5.60 } 15.07/5.60 15.07/5.60 ---------------------------------------- 15.07/5.60 15.07/5.60 (1) IFR (EQUIVALENT) 15.07/5.60 If Reductions: 15.07/5.60 The following If expression 15.07/5.60 "if primGEqNatS x y then Succ (primDivNatS (primMinusNatS x y) (Succ y)) else Zero" 15.07/5.60 is transformed to 15.07/5.60 "primDivNatS0 x y True = Succ (primDivNatS (primMinusNatS x y) (Succ y)); 15.07/5.60 primDivNatS0 x y False = Zero; 15.07/5.60 " 15.07/5.60 The following If expression 15.07/5.60 "if primGEqNatS x y then primModNatS (primMinusNatS x y) (Succ y) else Succ x" 15.07/5.60 is transformed to 15.07/5.60 "primModNatS0 x y True = primModNatS (primMinusNatS x y) (Succ y); 15.07/5.60 primModNatS0 x y False = Succ x; 15.07/5.60 " 15.07/5.60 15.07/5.60 ---------------------------------------- 15.07/5.60 15.07/5.60 (2) 15.07/5.60 Obligation: 15.07/5.60 mainModule Main 15.07/5.60 module Main where { 15.07/5.60 import qualified Prelude; 15.07/5.60 } 15.07/5.60 15.07/5.60 ---------------------------------------- 15.07/5.60 15.07/5.60 (3) BR (EQUIVALENT) 15.07/5.60 Replaced joker patterns by fresh variables and removed binding patterns. 15.07/5.60 ---------------------------------------- 15.07/5.60 15.07/5.60 (4) 15.07/5.60 Obligation: 15.07/5.60 mainModule Main 15.07/5.60 module Main where { 15.07/5.60 import qualified Prelude; 15.07/5.60 } 15.07/5.60 15.07/5.60 ---------------------------------------- 15.07/5.60 15.07/5.60 (5) COR (EQUIVALENT) 15.07/5.60 Cond Reductions: 15.07/5.60 The following Function with conditions 15.07/5.60 "absReal x|x >= 0x|otherwise`negate` x; 15.07/5.60 " 15.07/5.60 is transformed to 15.07/5.60 "absReal x = absReal2 x; 15.07/5.60 " 15.07/5.60 "absReal0 x True = `negate` x; 15.07/5.60 " 15.07/5.60 "absReal1 x True = x; 15.07/5.60 absReal1 x False = absReal0 x otherwise; 15.07/5.60 " 15.07/5.60 "absReal2 x = absReal1 x (x >= 0); 15.07/5.60 " 15.07/5.60 The following Function with conditions 15.07/5.60 "gcd' x 0 = x; 15.07/5.60 gcd' x y = gcd' y (x `rem` y); 15.07/5.60 " 15.07/5.60 is transformed to 15.07/5.60 "gcd' x xz = gcd'2 x xz; 15.07/5.60 gcd' x y = gcd'0 x y; 15.07/5.60 " 15.07/5.60 "gcd'0 x y = gcd' y (x `rem` y); 15.07/5.60 " 15.07/5.60 "gcd'1 True x xz = x; 15.07/5.60 gcd'1 yu yv yw = gcd'0 yv yw; 15.07/5.60 " 15.07/5.60 "gcd'2 x xz = gcd'1 (xz == 0) x xz; 15.07/5.60 gcd'2 yx yy = gcd'0 yx yy; 15.07/5.60 " 15.07/5.60 The following Function with conditions 15.07/5.60 "gcd 0 0 = error []; 15.07/5.60 gcd x y = gcd' (abs x) (abs y) where { 15.07/5.60 gcd' x 0 = x; 15.07/5.60 gcd' x y = gcd' y (x `rem` y); 15.07/5.60 } 15.07/5.60 ; 15.07/5.60 " 15.07/5.60 is transformed to 15.07/5.60 "gcd yz zu = gcd3 yz zu; 15.07/5.60 gcd x y = gcd0 x y; 15.07/5.60 " 15.07/5.60 "gcd0 x y = gcd' (abs x) (abs y) where { 15.07/5.60 gcd' x xz = gcd'2 x xz; 15.07/5.60 gcd' x y = gcd'0 x y; 15.07/5.60 ; 15.07/5.60 gcd'0 x y = gcd' y (x `rem` y); 15.07/5.60 ; 15.07/5.60 gcd'1 True x xz = x; 15.07/5.60 gcd'1 yu yv yw = gcd'0 yv yw; 15.07/5.60 ; 15.07/5.60 gcd'2 x xz = gcd'1 (xz == 0) x xz; 15.07/5.60 gcd'2 yx yy = gcd'0 yx yy; 15.07/5.60 } 15.07/5.60 ; 15.07/5.60 " 15.07/5.60 "gcd1 True yz zu = error []; 15.07/5.60 gcd1 zv zw zx = gcd0 zw zx; 15.07/5.60 " 15.07/5.60 "gcd2 True yz zu = gcd1 (zu == 0) yz zu; 15.07/5.60 gcd2 zy zz vuu = gcd0 zz vuu; 15.07/5.60 " 15.07/5.60 "gcd3 yz zu = gcd2 (yz == 0) yz zu; 15.07/5.60 gcd3 vuv vuw = gcd0 vuv vuw; 15.07/5.60 " 15.07/5.60 The following Function with conditions 15.07/5.60 "undefined |Falseundefined; 15.07/5.60 " 15.07/5.60 is transformed to 15.07/5.60 "undefined = undefined1; 15.07/5.60 " 15.07/5.60 "undefined0 True = undefined; 15.07/5.60 " 15.07/5.60 "undefined1 = undefined0 False; 15.07/5.60 " 15.07/5.60 The following Function with conditions 15.07/5.60 "reduce x y|y == 0error []|otherwisex `quot` d :% (y `quot` d) where { 15.07/5.60 d = gcd x y; 15.07/5.60 } 15.07/5.60 ; 15.07/5.60 " 15.07/5.60 is transformed to 15.07/5.60 "reduce x y = reduce2 x y; 15.07/5.60 " 15.07/5.60 "reduce2 x y = reduce1 x y (y == 0) where { 15.07/5.60 d = gcd x y; 15.07/5.60 ; 15.07/5.60 reduce0 x y True = x `quot` d :% (y `quot` d); 15.07/5.60 ; 15.07/5.60 reduce1 x y True = error []; 15.07/5.60 reduce1 x y False = reduce0 x y otherwise; 15.07/5.60 } 15.07/5.60 ; 15.07/5.60 " 15.07/5.60 The following Function with conditions 15.07/5.60 "signumReal x|x == 00|x > 01|otherwise-1; 15.07/5.60 " 15.07/5.60 is transformed to 15.07/5.60 "signumReal x = signumReal3 x; 15.07/5.60 " 15.07/5.60 "signumReal2 x True = 0; 15.07/5.60 signumReal2 x False = signumReal1 x (x > 0); 15.07/5.60 " 15.07/5.60 "signumReal0 x True = -1; 15.07/5.60 " 15.07/5.60 "signumReal1 x True = 1; 15.07/5.60 signumReal1 x False = signumReal0 x otherwise; 15.07/5.60 " 15.07/5.60 "signumReal3 x = signumReal2 x (x == 0); 15.07/5.60 " 15.07/5.60 15.07/5.60 ---------------------------------------- 15.07/5.60 15.07/5.60 (6) 15.07/5.60 Obligation: 15.07/5.60 mainModule Main 15.07/5.60 module Main where { 15.07/5.60 import qualified Prelude; 15.07/5.60 } 15.07/5.60 15.07/5.60 ---------------------------------------- 15.07/5.60 15.07/5.60 (7) LetRed (EQUIVALENT) 15.07/5.60 Let/Where Reductions: 15.07/5.60 The bindings of the following Let/Where expression 15.07/5.60 "gcd' (abs x) (abs y) where { 15.07/5.60 gcd' x xz = gcd'2 x xz; 15.07/5.60 gcd' x y = gcd'0 x y; 15.07/5.60 ; 15.07/5.60 gcd'0 x y = gcd' y (x `rem` y); 15.07/5.60 ; 15.07/5.60 gcd'1 True x xz = x; 15.07/5.60 gcd'1 yu yv yw = gcd'0 yv yw; 15.07/5.60 ; 15.07/5.60 gcd'2 x xz = gcd'1 (xz == 0) x xz; 15.07/5.60 gcd'2 yx yy = gcd'0 yx yy; 15.07/5.60 } 15.07/5.60 " 15.07/5.60 are unpacked to the following functions on top level 15.07/5.60 "gcd0Gcd'1 True x xz = x; 15.07/5.60 gcd0Gcd'1 yu yv yw = gcd0Gcd'0 yv yw; 15.07/5.60 " 15.07/5.60 "gcd0Gcd'0 x y = gcd0Gcd' y (x `rem` y); 15.07/5.60 " 15.07/5.60 "gcd0Gcd'2 x xz = gcd0Gcd'1 (xz == 0) x xz; 15.07/5.60 gcd0Gcd'2 yx yy = gcd0Gcd'0 yx yy; 15.07/5.60 " 15.07/5.60 "gcd0Gcd' x xz = gcd0Gcd'2 x xz; 15.07/5.60 gcd0Gcd' x y = gcd0Gcd'0 x y; 15.07/5.60 " 15.07/5.60 The bindings of the following Let/Where expression 15.07/5.60 "reduce1 x y (y == 0) where { 15.07/5.60 d = gcd x y; 15.07/5.60 ; 15.07/5.60 reduce0 x y True = x `quot` d :% (y `quot` d); 15.07/5.60 ; 15.07/5.60 reduce1 x y True = error []; 15.07/5.60 reduce1 x y False = reduce0 x y otherwise; 15.07/5.60 } 15.07/5.60 " 15.07/5.60 are unpacked to the following functions on top level 15.07/5.60 "reduce2D vux vuy = gcd vux vuy; 15.07/5.60 " 15.07/5.60 "reduce2Reduce1 vux vuy x y True = error []; 15.07/5.60 reduce2Reduce1 vux vuy x y False = reduce2Reduce0 vux vuy x y otherwise; 15.07/5.60 " 15.07/5.60 "reduce2Reduce0 vux vuy x y True = x `quot` reduce2D vux vuy :% (y `quot` reduce2D vux vuy); 15.07/5.60 " 15.07/5.60 15.07/5.60 ---------------------------------------- 15.07/5.60 15.07/5.60 (8) 15.07/5.60 Obligation: 15.07/5.60 mainModule Main 15.07/5.60 module Main where { 15.07/5.60 import qualified Prelude; 15.07/5.60 } 15.07/5.60 15.07/5.60 ---------------------------------------- 15.07/5.60 15.07/5.60 (9) NumRed (SOUND) 15.07/5.60 Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero. 15.07/5.60 ---------------------------------------- 15.07/5.60 15.07/5.60 (10) 15.07/5.60 Obligation: 15.07/5.60 mainModule Main 15.07/5.60 module Main where { 15.07/5.60 import qualified Prelude; 15.07/5.60 } 15.07/5.60 15.07/5.60 ---------------------------------------- 15.07/5.60 15.07/5.60 (11) Narrow (SOUND) 15.07/5.60 Haskell To QDPs 15.07/5.60 15.07/5.60 digraph dp_graph { 15.07/5.60 node [outthreshold=100, inthreshold=100];1[label="realToFrac",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3]; 15.07/5.60 3[label="realToFrac vuz3",fontsize=16,color="black",shape="triangle"];3 -> 4[label="",style="solid", color="black", weight=3]; 15.07/5.60 4[label="fromRational . toRational",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3]; 15.07/5.60 5[label="fromRational (toRational vuz3)",fontsize=16,color="black",shape="box"];5 -> 987[label="",style="solid", color="black", weight=3]; 15.07/5.60 987 -> 894[label="",style="dashed", color="red", weight=0]; 15.07/5.60 987[label="fromRational (toInteger vuz3 % fromInt (Pos (Succ Zero)))",fontsize=16,color="magenta"];987 -> 1261[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 1261 -> 892[label="",style="dashed", color="red", weight=0]; 15.07/5.60 1261[label="toInteger vuz3 % fromInt (Pos (Succ Zero))",fontsize=16,color="magenta"];894[label="fromRational vuz30",fontsize=16,color="burlywood",shape="triangle"];3103[label="vuz30/vuz300 :% vuz301",fontsize=10,color="white",style="solid",shape="box"];894 -> 3103[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3103 -> 1168[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 892[label="toInteger vuz3 % fromInt (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];892 -> 896[label="",style="solid", color="black", weight=3]; 15.07/5.60 1168[label="fromRational (vuz300 :% vuz301)",fontsize=16,color="black",shape="box"];1168 -> 1441[label="",style="solid", color="black", weight=3]; 15.07/5.60 896[label="reduce (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];896 -> 1170[label="",style="solid", color="black", weight=3]; 15.07/5.60 1441[label="fromInteger vuz300 :% fromInteger vuz301",fontsize=16,color="green",shape="box"];1441 -> 1936[label="",style="dashed", color="green", weight=3]; 15.07/5.60 1441 -> 1937[label="",style="dashed", color="green", weight=3]; 15.07/5.60 1170[label="reduce2 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];1170 -> 1442[label="",style="solid", color="black", weight=3]; 15.07/5.60 1936[label="fromInteger vuz300",fontsize=16,color="blue",shape="box"];3104[label="fromInteger :: Integer -> Integer",fontsize=10,color="white",style="solid",shape="box"];1936 -> 3104[label="",style="solid", color="blue", weight=9]; 15.07/5.60 3104 -> 2223[label="",style="solid", color="blue", weight=3]; 15.07/5.60 3105[label="fromInteger :: Integer -> Int",fontsize=10,color="white",style="solid",shape="box"];1936 -> 3105[label="",style="solid", color="blue", weight=9]; 15.07/5.60 3105 -> 2224[label="",style="solid", color="blue", weight=3]; 15.07/5.60 1937[label="fromInteger vuz301",fontsize=16,color="blue",shape="box"];3106[label="fromInteger :: Integer -> Integer",fontsize=10,color="white",style="solid",shape="box"];1937 -> 3106[label="",style="solid", color="blue", weight=9]; 15.07/5.60 3106 -> 2225[label="",style="solid", color="blue", weight=3]; 15.07/5.60 3107[label="fromInteger :: Integer -> Int",fontsize=10,color="white",style="solid",shape="box"];1937 -> 3107[label="",style="solid", color="blue", weight=9]; 15.07/5.60 3107 -> 2226[label="",style="solid", color="blue", weight=3]; 15.07/5.60 1442 -> 1287[label="",style="dashed", color="red", weight=0]; 15.07/5.60 1442[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="magenta"];2223[label="fromInteger vuz300",fontsize=16,color="black",shape="triangle"];2223 -> 2228[label="",style="solid", color="black", weight=3]; 15.07/5.60 2224[label="fromInteger vuz300",fontsize=16,color="burlywood",shape="triangle"];3108[label="vuz300/Integer vuz3000",fontsize=10,color="white",style="solid",shape="box"];2224 -> 3108[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3108 -> 2229[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 2225 -> 2223[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2225[label="fromInteger vuz301",fontsize=16,color="magenta"];2225 -> 2230[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2226 -> 2224[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2226[label="fromInteger vuz301",fontsize=16,color="magenta"];2226 -> 2231[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 1287[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="triangle"];1287 -> 1652[label="",style="solid", color="black", weight=3]; 15.07/5.60 2228[label="error []",fontsize=16,color="red",shape="box"];2229[label="fromInteger (Integer vuz3000)",fontsize=16,color="black",shape="box"];2229 -> 2233[label="",style="solid", color="black", weight=3]; 15.07/5.60 2230[label="vuz301",fontsize=16,color="green",shape="box"];2231[label="vuz301",fontsize=16,color="green",shape="box"];1652 -> 1215[label="",style="dashed", color="red", weight=0]; 15.07/5.60 1652[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="magenta"];2233[label="vuz3000",fontsize=16,color="green",shape="box"];1215[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="triangle"];1215 -> 1528[label="",style="solid", color="black", weight=3]; 15.07/5.60 1528 -> 1437[label="",style="dashed", color="red", weight=0]; 15.07/5.60 1528[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="magenta"];1437[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="triangle"];1437 -> 1929[label="",style="solid", color="black", weight=3]; 15.07/5.60 1929[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"];1929 -> 2227[label="",style="solid", color="black", weight=3]; 15.07/5.60 2227[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"];2227 -> 2232[label="",style="solid", color="black", weight=3]; 15.07/5.60 2232[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"];2232 -> 2234[label="",style="solid", color="black", weight=3]; 15.07/5.60 2234[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"];2234 -> 2235[label="",style="solid", color="black", weight=3]; 15.07/5.60 2235[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"];2235 -> 2236[label="",style="solid", color="black", weight=3]; 15.07/5.60 2236[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"];2236 -> 2237[label="",style="solid", color="black", weight=3]; 15.07/5.60 2237[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"];2237 -> 2238[label="",style="solid", color="black", weight=3]; 15.07/5.60 2238[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"];2238 -> 2239[label="",style="solid", color="black", weight=3]; 15.07/5.60 2239[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"];2239 -> 2240[label="",style="solid", color="black", weight=3]; 15.07/5.60 2240[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"];2240 -> 2241[label="",style="solid", color="black", weight=3]; 15.07/5.60 2241[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"];2241 -> 2242[label="",style="solid", color="black", weight=3]; 15.07/5.60 2242[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"];2242 -> 2243[label="",style="solid", color="black", weight=3]; 15.07/5.60 2243[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"];2243 -> 2244[label="",style="solid", color="black", weight=3]; 15.07/5.60 2244[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"];2244 -> 2245[label="",style="solid", color="black", weight=3]; 15.07/5.60 2245[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"];2245 -> 2246[label="",style="solid", color="black", weight=3]; 15.07/5.60 2246[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"];2246 -> 2247[label="",style="solid", color="black", weight=3]; 15.07/5.60 2247[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"];2247 -> 2248[label="",style="dashed", color="green", weight=3]; 15.07/5.60 2247 -> 2249[label="",style="dashed", color="green", weight=3]; 15.07/5.60 2248[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"];2248 -> 2250[label="",style="solid", color="black", weight=3]; 15.07/5.60 2249[label="Integer (Pos (Succ Zero)) `quot` reduce2D (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2249 -> 2251[label="",style="solid", color="black", weight=3]; 15.07/5.60 2250[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"];2250 -> 2252[label="",style="solid", color="black", weight=3]; 15.07/5.60 2251[label="Integer (Pos (Succ Zero)) `quot` gcd (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2251 -> 2253[label="",style="solid", color="black", weight=3]; 15.07/5.60 2252[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"];2252 -> 2254[label="",style="solid", color="black", weight=3]; 15.07/5.60 2253[label="Integer (Pos (Succ Zero)) `quot` gcd3 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2253 -> 2255[label="",style="solid", color="black", weight=3]; 15.07/5.60 2254[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"];2254 -> 2256[label="",style="solid", color="black", weight=3]; 15.07/5.60 2255[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"];2255 -> 2257[label="",style="solid", color="black", weight=3]; 15.07/5.60 2256[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"];2256 -> 2258[label="",style="solid", color="black", weight=3]; 15.07/5.60 2257[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"];2257 -> 2259[label="",style="solid", color="black", weight=3]; 15.07/5.60 2258[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"];2258 -> 2260[label="",style="solid", color="black", weight=3]; 15.07/5.60 2259[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"];2259 -> 2261[label="",style="solid", color="black", weight=3]; 15.07/5.60 2260[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"];2260 -> 2262[label="",style="solid", color="black", weight=3]; 15.07/5.60 2261[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"];2261 -> 2263[label="",style="solid", color="black", weight=3]; 15.07/5.60 2262[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"];2262 -> 2264[label="",style="solid", color="black", weight=3]; 15.07/5.60 2263[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"];2263 -> 2265[label="",style="solid", color="black", weight=3]; 15.07/5.60 2264[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"];2264 -> 2266[label="",style="solid", color="black", weight=3]; 15.07/5.60 2265[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"];2265 -> 2267[label="",style="solid", color="black", weight=3]; 15.07/5.60 2266[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"];2266 -> 2268[label="",style="solid", color="black", weight=3]; 15.07/5.60 2267[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"];2267 -> 2269[label="",style="solid", color="black", weight=3]; 15.07/5.60 2268[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"];2268 -> 2270[label="",style="solid", color="black", weight=3]; 15.07/5.60 2269[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"];2269 -> 2271[label="",style="solid", color="black", weight=3]; 15.07/5.60 2270[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"];2270 -> 2272[label="",style="solid", color="black", weight=3]; 15.07/5.60 2271[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"];2271 -> 2273[label="",style="solid", color="black", weight=3]; 15.07/5.60 2272[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"];2272 -> 2274[label="",style="solid", color="black", weight=3]; 15.07/5.60 2273[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"];2273 -> 2275[label="",style="solid", color="black", weight=3]; 15.07/5.60 2274[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"];2274 -> 2276[label="",style="solid", color="black", weight=3]; 15.07/5.60 2275[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"];2275 -> 2277[label="",style="solid", color="black", weight=3]; 15.07/5.60 2276[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"];2276 -> 2278[label="",style="solid", color="black", weight=3]; 15.07/5.60 2277[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"];2277 -> 2279[label="",style="solid", color="black", weight=3]; 15.07/5.60 2278[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"];2278 -> 2280[label="",style="solid", color="black", weight=3]; 15.07/5.60 2279[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"];2279 -> 2281[label="",style="solid", color="black", weight=3]; 15.07/5.60 2280[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"];2280 -> 2282[label="",style="solid", color="black", weight=3]; 15.07/5.60 2281[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"];2281 -> 2283[label="",style="solid", color="black", weight=3]; 15.07/5.60 2282[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"];2282 -> 2284[label="",style="solid", color="black", weight=3]; 15.07/5.60 2283[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"];2283 -> 2285[label="",style="solid", color="black", weight=3]; 15.07/5.60 2284[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"];2284 -> 2286[label="",style="solid", color="black", weight=3]; 15.07/5.60 2285[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"];2285 -> 2287[label="",style="solid", color="black", weight=3]; 15.07/5.60 2286[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"];2286 -> 2288[label="",style="solid", color="black", weight=3]; 15.07/5.60 2287[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"];2287 -> 2289[label="",style="solid", color="black", weight=3]; 15.07/5.60 2288[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"];2288 -> 2290[label="",style="solid", color="black", weight=3]; 15.07/5.60 2289[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"];2289 -> 2291[label="",style="solid", color="black", weight=3]; 15.07/5.60 2290[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"];2290 -> 2292[label="",style="solid", color="black", weight=3]; 15.07/5.60 2291[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"];2291 -> 2293[label="",style="solid", color="black", weight=3]; 15.07/5.60 2292[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"];3109[label="vuz3/Pos vuz30",fontsize=10,color="white",style="solid",shape="box"];2292 -> 3109[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3109 -> 2294[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 3110[label="vuz3/Neg vuz30",fontsize=10,color="white",style="solid",shape="box"];2292 -> 3110[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3110 -> 2295[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 2293[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"];3111[label="vuz3/Pos vuz30",fontsize=10,color="white",style="solid",shape="box"];2293 -> 3111[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3111 -> 2296[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 3112[label="vuz3/Neg vuz30",fontsize=10,color="white",style="solid",shape="box"];2293 -> 3112[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3112 -> 2297[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 2294[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"];2294 -> 2298[label="",style="solid", color="black", weight=3]; 15.07/5.60 2295[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"];2295 -> 2299[label="",style="solid", color="black", weight=3]; 15.07/5.60 2296[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"];2296 -> 2300[label="",style="solid", color="black", weight=3]; 15.07/5.60 2297[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"];2297 -> 2301[label="",style="solid", color="black", weight=3]; 15.07/5.60 2298[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"];3113[label="vuz30/Succ vuz300",fontsize=10,color="white",style="solid",shape="box"];2298 -> 3113[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3113 -> 2302[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 3114[label="vuz30/Zero",fontsize=10,color="white",style="solid",shape="box"];2298 -> 3114[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3114 -> 2303[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 2299[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"];3115[label="vuz30/Succ vuz300",fontsize=10,color="white",style="solid",shape="box"];2299 -> 3115[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3115 -> 2304[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 3116[label="vuz30/Zero",fontsize=10,color="white",style="solid",shape="box"];2299 -> 3116[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3116 -> 2305[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 2300 -> 2570[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2300[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"];2300 -> 2571[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2300 -> 2572[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2301 -> 2626[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2301[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"];2301 -> 2627[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2301 -> 2628[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2302[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"];2302 -> 2310[label="",style="solid", color="black", weight=3]; 15.07/5.60 2303[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"];2303 -> 2311[label="",style="solid", color="black", weight=3]; 15.07/5.60 2304[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"];2304 -> 2312[label="",style="solid", color="black", weight=3]; 15.07/5.60 2305[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"];2305 -> 2313[label="",style="solid", color="black", weight=3]; 15.07/5.60 2571 -> 2512[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2571[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];2571 -> 2617[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2572 -> 2512[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2572[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];2572 -> 2618[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2570[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos vuz42) (Pos Zero)) (Integer (Pos vuz41)) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];3117[label="vuz42/Succ vuz420",fontsize=10,color="white",style="solid",shape="box"];2570 -> 3117[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3117 -> 2619[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 3118[label="vuz42/Zero",fontsize=10,color="white",style="solid",shape="box"];2570 -> 3118[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3118 -> 2620[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 2627 -> 2512[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2627[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];2627 -> 2669[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2628 -> 2512[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2628[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];2628 -> 2670[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2626[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg vuz56) (Pos Zero)) (Integer (Neg vuz55)) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];3119[label="vuz56/Succ vuz560",fontsize=10,color="white",style="solid",shape="box"];2626 -> 3119[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3119 -> 2671[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 3120[label="vuz56/Zero",fontsize=10,color="white",style="solid",shape="box"];2626 -> 3120[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3120 -> 2672[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 2310 -> 2511[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2310[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"];2310 -> 2512[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2311[label="Integer (Pos Zero) `quot` gcd2 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2311 -> 2320[label="",style="solid", color="black", weight=3]; 15.07/5.60 2312 -> 2541[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2312[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"];2312 -> 2542[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2313[label="Integer (Neg Zero) `quot` gcd2 (primEqInt (Neg Zero) (Pos Zero)) (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2313 -> 2323[label="",style="solid", color="black", weight=3]; 15.07/5.60 2617[label="vuz30",fontsize=16,color="green",shape="box"];2512[label="primMulNat vuz300 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];3121[label="vuz300/Succ vuz3000",fontsize=10,color="white",style="solid",shape="box"];2512 -> 3121[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3121 -> 2528[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 3122[label="vuz300/Zero",fontsize=10,color="white",style="solid",shape="box"];2512 -> 3122[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3122 -> 2529[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 2618[label="vuz30",fontsize=16,color="green",shape="box"];2619[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos (Succ vuz420)) (Pos Zero)) (Integer (Pos vuz41)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2619 -> 2673[label="",style="solid", color="black", weight=3]; 15.07/5.60 2620[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos vuz41)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2620 -> 2674[label="",style="solid", color="black", weight=3]; 15.07/5.60 2669[label="vuz30",fontsize=16,color="green",shape="box"];2670[label="vuz30",fontsize=16,color="green",shape="box"];2671[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg (Succ vuz560)) (Pos Zero)) (Integer (Neg vuz55)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2671 -> 2681[label="",style="solid", color="black", weight=3]; 15.07/5.60 2672[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg Zero) (Pos Zero)) (Integer (Neg vuz55)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2672 -> 2682[label="",style="solid", color="black", weight=3]; 15.07/5.60 2511[label="Integer (Pos (primPlusNat vuz34 (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primPlusNat vuz34 (Succ Zero))) (Pos Zero)) (Integer (Pos (primPlusNat vuz34 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];3123[label="vuz34/Succ vuz340",fontsize=10,color="white",style="solid",shape="box"];2511 -> 3123[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3123 -> 2530[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 3124[label="vuz34/Zero",fontsize=10,color="white",style="solid",shape="box"];2511 -> 3124[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3124 -> 2531[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 2320[label="Integer (Pos Zero) `quot` gcd2 True (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2320 -> 2332[label="",style="solid", color="black", weight=3]; 15.07/5.60 2542 -> 2512[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2542[label="primMulNat vuz300 (Succ Zero)",fontsize=16,color="magenta"];2542 -> 2558[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2541[label="Integer (Neg (primPlusNat vuz39 (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primPlusNat vuz39 (Succ Zero))) (Pos Zero)) (Integer (Neg (primPlusNat vuz39 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];3125[label="vuz39/Succ vuz390",fontsize=10,color="white",style="solid",shape="box"];2541 -> 3125[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3125 -> 2559[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 3126[label="vuz39/Zero",fontsize=10,color="white",style="solid",shape="box"];2541 -> 3126[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3126 -> 2560[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 2323[label="Integer (Neg Zero) `quot` gcd2 True (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2323 -> 2335[label="",style="solid", color="black", weight=3]; 15.07/5.60 2528[label="primMulNat (Succ vuz3000) (Succ Zero)",fontsize=16,color="black",shape="box"];2528 -> 2537[label="",style="solid", color="black", weight=3]; 15.07/5.60 2529[label="primMulNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];2529 -> 2538[label="",style="solid", color="black", weight=3]; 15.07/5.60 2673[label="Integer (Pos (Succ Zero)) `quot` gcd2 False (Integer (Pos vuz41)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2673 -> 2683[label="",style="solid", color="black", weight=3]; 15.07/5.60 2674[label="Integer (Pos (Succ Zero)) `quot` gcd2 True (Integer (Pos vuz41)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2674 -> 2684[label="",style="solid", color="black", weight=3]; 15.07/5.60 2681[label="Integer (Pos (Succ Zero)) `quot` gcd2 False (Integer (Neg vuz55)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2681 -> 2692[label="",style="solid", color="black", weight=3]; 15.07/5.60 2682[label="Integer (Pos (Succ Zero)) `quot` gcd2 True (Integer (Neg vuz55)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2682 -> 2693[label="",style="solid", color="black", weight=3]; 15.07/5.60 2530[label="Integer (Pos (primPlusNat (Succ vuz340) (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primPlusNat (Succ vuz340) (Succ Zero))) (Pos Zero)) (Integer (Pos (primPlusNat (Succ vuz340) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2530 -> 2539[label="",style="solid", color="black", weight=3]; 15.07/5.60 2531[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"];2531 -> 2540[label="",style="solid", color="black", weight=3]; 15.07/5.60 2332[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"];2332 -> 2345[label="",style="solid", color="black", weight=3]; 15.07/5.60 2558[label="vuz300",fontsize=16,color="green",shape="box"];2559[label="Integer (Neg (primPlusNat (Succ vuz390) (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primPlusNat (Succ vuz390) (Succ Zero))) (Pos Zero)) (Integer (Neg (primPlusNat (Succ vuz390) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2559 -> 2563[label="",style="solid", color="black", weight=3]; 15.07/5.60 2560[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"];2560 -> 2564[label="",style="solid", color="black", weight=3]; 15.07/5.60 2335[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"];2335 -> 2349[label="",style="solid", color="black", weight=3]; 15.07/5.60 2537 -> 2561[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2537[label="primPlusNat (primMulNat vuz3000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];2537 -> 2562[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2538[label="Zero",fontsize=16,color="green",shape="box"];2683[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Pos vuz41)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="triangle"];2683 -> 2694[label="",style="solid", color="black", weight=3]; 15.07/5.60 2684[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos vuz41)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2684 -> 2695[label="",style="solid", color="black", weight=3]; 15.07/5.60 2692[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Neg vuz55)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="triangle"];2692 -> 2699[label="",style="solid", color="black", weight=3]; 15.07/5.60 2693[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Neg vuz55)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2693 -> 2700[label="",style="solid", color="black", weight=3]; 15.07/5.60 2539[label="Integer (Pos (Succ (Succ (primPlusNat vuz340 Zero)))) `quot` gcd2 (primEqInt (Pos (Succ (Succ (primPlusNat vuz340 Zero)))) (Pos Zero)) (Integer (Pos (Succ (Succ (primPlusNat vuz340 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2539 -> 2565[label="",style="solid", color="black", weight=3]; 15.07/5.60 2540 -> 2570[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2540[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"];2540 -> 2581[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2540 -> 2582[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2345[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"];2345 -> 2361[label="",style="solid", color="black", weight=3]; 15.07/5.60 2563[label="Integer (Neg (Succ (Succ (primPlusNat vuz390 Zero)))) `quot` gcd2 (primEqInt (Neg (Succ (Succ (primPlusNat vuz390 Zero)))) (Pos Zero)) (Integer (Neg (Succ (Succ (primPlusNat vuz390 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2563 -> 2621[label="",style="solid", color="black", weight=3]; 15.07/5.60 2564[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"];2564 -> 2622[label="",style="solid", color="black", weight=3]; 15.07/5.60 2349[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"];2349 -> 2365[label="",style="solid", color="black", weight=3]; 15.07/5.60 2562 -> 2512[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2562[label="primMulNat vuz3000 (Succ Zero)",fontsize=16,color="magenta"];2562 -> 2566[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2561[label="primPlusNat vuz40 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];3127[label="vuz40/Succ vuz400",fontsize=10,color="white",style="solid",shape="box"];2561 -> 3127[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3127 -> 2567[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 3128[label="vuz40/Zero",fontsize=10,color="white",style="solid",shape="box"];2561 -> 3128[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3128 -> 2568[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 2694[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (abs (Integer (Pos vuz41))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2694 -> 2701[label="",style="solid", color="black", weight=3]; 15.07/5.60 2695[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (Integer (Pos vuz41)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2695 -> 2702[label="",style="solid", color="black", weight=3]; 15.07/5.60 2699[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (abs (Integer (Neg vuz55))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2699 -> 2707[label="",style="solid", color="black", weight=3]; 15.07/5.60 2700[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (Integer (Neg vuz55)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2700 -> 2708[label="",style="solid", color="black", weight=3]; 15.07/5.60 2565[label="Integer (Pos (Succ (Succ (primPlusNat vuz340 Zero)))) `quot` gcd2 False (Integer (Pos (Succ (Succ (primPlusNat vuz340 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2565 -> 2623[label="",style="solid", color="black", weight=3]; 15.07/5.60 2581[label="Succ Zero",fontsize=16,color="green",shape="box"];2582[label="Succ Zero",fontsize=16,color="green",shape="box"];2361[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"];2361 -> 2377[label="",style="solid", color="black", weight=3]; 15.07/5.60 2621[label="Integer (Neg (Succ (Succ (primPlusNat vuz390 Zero)))) `quot` gcd2 False (Integer (Neg (Succ (Succ (primPlusNat vuz390 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2621 -> 2675[label="",style="solid", color="black", weight=3]; 15.07/5.60 2622[label="Integer (Neg (Succ Zero)) `quot` gcd2 False (Integer (Neg (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2622 -> 2676[label="",style="solid", color="black", weight=3]; 15.07/5.60 2365[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"];2365 -> 2382[label="",style="solid", color="black", weight=3]; 15.07/5.60 2566[label="vuz3000",fontsize=16,color="green",shape="box"];2567[label="primPlusNat (Succ vuz400) (Succ Zero)",fontsize=16,color="black",shape="box"];2567 -> 2624[label="",style="solid", color="black", weight=3]; 15.07/5.60 2568[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];2568 -> 2625[label="",style="solid", color="black", weight=3]; 15.07/5.60 2701[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (abs (Integer (Pos vuz41))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2701 -> 2709[label="",style="solid", color="black", weight=3]; 15.07/5.60 2702[label="Integer (Pos (Succ Zero)) `quot` gcd1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Pos vuz41)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2702 -> 2710[label="",style="solid", color="black", weight=3]; 15.07/5.60 2707[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (abs (Integer (Neg vuz55))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2707 -> 2722[label="",style="solid", color="black", weight=3]; 15.07/5.60 2708[label="Integer (Pos (Succ Zero)) `quot` gcd1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Neg vuz55)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2708 -> 2723[label="",style="solid", color="black", weight=3]; 15.07/5.60 2623[label="Integer (Pos (Succ (Succ (primPlusNat vuz340 Zero)))) `quot` gcd0 (Integer (Pos (Succ (Succ (primPlusNat vuz340 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2623 -> 2677[label="",style="solid", color="black", weight=3]; 15.07/5.60 2377[label="Integer (Pos Zero) `quot` gcd1 False (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2377 -> 2396[label="",style="solid", color="black", weight=3]; 15.07/5.60 2675[label="Integer (Neg (Succ (Succ (primPlusNat vuz390 Zero)))) `quot` gcd0 (Integer (Neg (Succ (Succ (primPlusNat vuz390 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2675 -> 2685[label="",style="solid", color="black", weight=3]; 15.07/5.60 2676[label="Integer (Neg (Succ Zero)) `quot` gcd0 (Integer (Neg (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2676 -> 2686[label="",style="solid", color="black", weight=3]; 15.07/5.60 2382[label="Integer (Neg Zero) `quot` gcd1 False (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2382 -> 2401[label="",style="solid", color="black", weight=3]; 15.07/5.60 2624[label="Succ (Succ (primPlusNat vuz400 Zero))",fontsize=16,color="green",shape="box"];2624 -> 2678[label="",style="dashed", color="green", weight=3]; 15.07/5.60 2625[label="Succ Zero",fontsize=16,color="green",shape="box"];2709[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos vuz41))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2709 -> 2724[label="",style="solid", color="black", weight=3]; 15.07/5.60 2710[label="Integer (Pos (Succ Zero)) `quot` gcd1 False (Integer (Pos vuz41)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2710 -> 2725[label="",style="solid", color="black", weight=3]; 15.07/5.60 2722[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg vuz55))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2722 -> 2731[label="",style="solid", color="black", weight=3]; 15.07/5.60 2723[label="Integer (Pos (Succ Zero)) `quot` gcd1 False (Integer (Neg vuz55)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2723 -> 2732[label="",style="solid", color="black", weight=3]; 15.07/5.60 2677[label="Integer (Pos (Succ (Succ (primPlusNat vuz340 Zero)))) `quot` gcd0Gcd' (abs (Integer (Pos (Succ (Succ (primPlusNat vuz340 Zero)))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2677 -> 2687[label="",style="solid", color="black", weight=3]; 15.07/5.60 2396[label="Integer (Pos Zero) `quot` gcd0 (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2396 -> 2416[label="",style="solid", color="black", weight=3]; 15.07/5.60 2685 -> 2696[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2685[label="Integer (Neg (Succ (Succ (primPlusNat vuz390 Zero)))) `quot` gcd0Gcd' (abs (Integer (Neg (Succ (Succ (primPlusNat vuz390 Zero)))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="magenta"];2685 -> 2697[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2685 -> 2698[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2686[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd' (abs (Integer (Neg (Succ Zero)))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2686 -> 2703[label="",style="solid", color="black", weight=3]; 15.07/5.60 2401[label="Integer (Neg Zero) `quot` gcd0 (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2401 -> 2422[label="",style="solid", color="black", weight=3]; 15.07/5.60 2678[label="primPlusNat vuz400 Zero",fontsize=16,color="burlywood",shape="triangle"];3129[label="vuz400/Succ vuz4000",fontsize=10,color="white",style="solid",shape="box"];2678 -> 3129[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3129 -> 2688[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 3130[label="vuz400/Zero",fontsize=10,color="white",style="solid",shape="box"];2678 -> 3130[label="",style="solid", color="burlywood", weight=9]; 15.07/5.60 3130 -> 2689[label="",style="solid", color="burlywood", weight=3]; 15.07/5.60 2724[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos vuz41))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2724 -> 2733[label="",style="solid", color="black", weight=3]; 15.07/5.60 2725 -> 2683[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2725[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Pos vuz41)) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];2731[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg vuz55))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2731 -> 2739[label="",style="solid", color="black", weight=3]; 15.07/5.60 2732 -> 2692[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2732[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Neg vuz55)) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];2687 -> 2704[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2687[label="Integer (Pos (Succ (Succ (primPlusNat vuz340 Zero)))) `quot` gcd0Gcd'2 (abs (Integer (Pos (Succ (Succ (primPlusNat vuz340 Zero)))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="magenta"];2687 -> 2705[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2687 -> 2706[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2416[label="Integer (Pos Zero) `quot` gcd0Gcd' (abs (Integer (Pos Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2416 -> 2439[label="",style="solid", color="black", weight=3]; 15.07/5.60 2697 -> 2678[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2697[label="primPlusNat vuz390 Zero",fontsize=16,color="magenta"];2697 -> 2711[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2698 -> 2678[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2698[label="primPlusNat vuz390 Zero",fontsize=16,color="magenta"];2698 -> 2712[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2696[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd' (abs (Integer (Neg (Succ (Succ vuz70))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];2696 -> 2713[label="",style="solid", color="black", weight=3]; 15.07/5.60 2703[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'2 (abs (Integer (Neg (Succ Zero)))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2703 -> 2714[label="",style="solid", color="black", weight=3]; 15.07/5.60 2422[label="Integer (Neg Zero) `quot` gcd0Gcd' (abs (Integer (Neg Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2422 -> 2445[label="",style="solid", color="black", weight=3]; 15.07/5.60 2688[label="primPlusNat (Succ vuz4000) Zero",fontsize=16,color="black",shape="box"];2688 -> 2715[label="",style="solid", color="black", weight=3]; 15.07/5.60 2689[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];2689 -> 2716[label="",style="solid", color="black", weight=3]; 15.07/5.60 2733[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos vuz41))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2733 -> 2740[label="",style="solid", color="black", weight=3]; 15.07/5.60 2739[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg vuz55))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2739 -> 2746[label="",style="solid", color="black", weight=3]; 15.07/5.60 2705 -> 2678[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2705[label="primPlusNat vuz340 Zero",fontsize=16,color="magenta"];2705 -> 2717[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2706 -> 2678[label="",style="dashed", color="red", weight=0]; 15.07/5.60 2706[label="primPlusNat vuz340 Zero",fontsize=16,color="magenta"];2706 -> 2718[label="",style="dashed", color="magenta", weight=3]; 15.07/5.60 2704[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'2 (abs (Integer (Pos (Succ (Succ vuz72))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];2704 -> 2719[label="",style="solid", color="black", weight=3]; 15.07/5.60 2439[label="Integer (Pos Zero) `quot` gcd0Gcd'2 (abs (Integer (Pos Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2439 -> 2463[label="",style="solid", color="black", weight=3]; 15.07/5.60 2711[label="vuz390",fontsize=16,color="green",shape="box"];2712[label="vuz390",fontsize=16,color="green",shape="box"];2713[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'2 (abs (Integer (Neg (Succ (Succ vuz70))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2713 -> 2726[label="",style="solid", color="black", weight=3]; 15.07/5.60 2714[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"];2714 -> 2727[label="",style="solid", color="black", weight=3]; 15.07/5.60 2445[label="Integer (Neg Zero) `quot` gcd0Gcd'2 (abs (Integer (Neg Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2445 -> 2470[label="",style="solid", color="black", weight=3]; 15.07/5.60 2715[label="Succ vuz4000",fontsize=16,color="green",shape="box"];2716[label="Zero",fontsize=16,color="green",shape="box"];2740[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 vuz41))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];2740 -> 2747[label="",style="solid", color="black", weight=3]; 15.07/5.60 2746[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 vuz55))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];2746 -> 2753[label="",style="solid", color="black", weight=3]; 15.07/5.60 2717[label="vuz340",fontsize=16,color="green",shape="box"];2718[label="vuz340",fontsize=16,color="green",shape="box"];2719[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz72))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2719 -> 2728[label="",style="solid", color="black", weight=3]; 15.07/5.60 2463[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"];2463 -> 2490[label="",style="solid", color="black", weight=3]; 15.07/5.60 2726[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz70))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2726 -> 2734[label="",style="solid", color="black", weight=3]; 15.07/5.60 2727[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"];2727 -> 2735[label="",style="solid", color="black", weight=3]; 15.07/5.60 2470[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"];2470 -> 2497[label="",style="solid", color="black", weight=3]; 15.07/5.60 2747[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 vuz41))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];2747 -> 2754[label="",style="solid", color="black", weight=3]; 15.07/5.60 2753[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 vuz55))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];2753 -> 2760[label="",style="solid", color="black", weight=3]; 15.07/5.60 2728[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz72))))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2728 -> 2736[label="",style="solid", color="black", weight=3]; 15.07/5.60 2490[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"];2490 -> 2532[label="",style="solid", color="black", weight=3]; 15.07/5.60 2734[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz70))))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2734 -> 2741[label="",style="solid", color="black", weight=3]; 15.07/5.60 2735[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"];2735 -> 2742[label="",style="solid", color="black", weight=3]; 15.07/5.60 2497[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"];2497 -> 2569[label="",style="solid", color="black", weight=3]; 15.07/5.60 2754[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 vuz41))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2754 -> 2761[label="",style="solid", color="black", weight=3]; 15.07/5.60 2760[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 vuz55))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2760 -> 2767[label="",style="solid", color="black", weight=3]; 15.07/5.60 2736[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz72))))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2736 -> 2743[label="",style="solid", color="black", weight=3]; 15.07/5.60 2532[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"];2532 -> 2679[label="",style="solid", color="black", weight=3]; 15.07/5.60 2741[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz70))))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2741 -> 2748[label="",style="solid", color="black", weight=3]; 15.07/5.61 2742[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"];2742 -> 2749[label="",style="solid", color="black", weight=3]; 15.07/5.61 2569[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"];2569 -> 2680[label="",style="solid", color="black", weight=3]; 15.07/5.61 2761[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 vuz41))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2761 -> 2768[label="",style="solid", color="black", weight=3]; 15.07/5.61 2767[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 vuz55))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2767 -> 2774[label="",style="solid", color="black", weight=3]; 15.07/5.61 2743[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz72))))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];2743 -> 2750[label="",style="solid", color="black", weight=3]; 15.07/5.61 2679[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"];2679 -> 2690[label="",style="solid", color="black", weight=3]; 15.07/5.61 2748[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz70))))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];2748 -> 2755[label="",style="solid", color="black", weight=3]; 15.07/5.61 2749[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"];2749 -> 2756[label="",style="solid", color="black", weight=3]; 15.07/5.61 2680[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"];2680 -> 2691[label="",style="solid", color="black", weight=3]; 15.07/5.61 2768[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 vuz41))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];2768 -> 2775[label="",style="solid", color="black", weight=3]; 15.07/5.61 2774[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 vuz55))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];2774 -> 2781[label="",style="solid", color="black", weight=3]; 15.07/5.61 2750[label="Integer (Pos (Succ (Succ vuz71))) `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 vuz72))))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];2750 -> 2757[label="",style="solid", color="black", weight=3]; 15.07/5.61 2690[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"];2690 -> 2720[label="",style="solid", color="black", weight=3]; 15.07/5.61 2755[label="Integer (Neg (Succ (Succ vuz69))) `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 vuz70))))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];2755 -> 2762[label="",style="solid", color="black", weight=3]; 15.07/5.61 2756[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"];2756 -> 2763[label="",style="solid", color="black", weight=3]; 15.07/5.61 2691[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"];2691 -> 2721[label="",style="solid", color="black", weight=3]; 15.07/5.61 2775[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 vuz41))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];2775 -> 2782[label="",style="solid", color="black", weight=3]; 15.07/5.61 2781[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 vuz55))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];2781 -> 2788[label="",style="solid", color="black", weight=3]; 15.07/5.61 2757[label="Integer (Pos (Succ (Succ vuz71))) `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 vuz72))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2757 -> 2764[label="",style="solid", color="black", weight=3]; 15.07/5.61 2720[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"];2720 -> 2729[label="",style="solid", color="black", weight=3]; 15.07/5.61 2762[label="Integer (Neg (Succ (Succ vuz69))) `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 vuz70))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2762 -> 2769[label="",style="solid", color="black", weight=3]; 15.07/5.61 2763[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"];2763 -> 2770[label="",style="solid", color="black", weight=3]; 15.07/5.61 2721[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"];2721 -> 2730[label="",style="solid", color="black", weight=3]; 15.07/5.61 2782[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz41))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];2782 -> 2789[label="",style="solid", color="black", weight=3]; 15.07/5.61 2788[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz55))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];2788 -> 2795[label="",style="solid", color="black", weight=3]; 15.07/5.61 2764[label="Integer (Pos (Succ (Succ vuz71))) `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 vuz72))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2764 -> 2771[label="",style="solid", color="black", weight=3]; 15.07/5.61 2729[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"];2729 -> 2737[label="",style="solid", color="black", weight=3]; 15.07/5.61 2769[label="Integer (Neg (Succ (Succ vuz69))) `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 vuz70))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];2769 -> 2776[label="",style="solid", color="black", weight=3]; 15.07/5.61 2770[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"];2770 -> 2777[label="",style="solid", color="black", weight=3]; 15.07/5.61 2730[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"];2730 -> 2738[label="",style="solid", color="black", weight=3]; 15.07/5.61 2789[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Pos vuz41))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];2789 -> 2796[label="",style="solid", color="black", weight=3]; 15.07/5.61 2795[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Neg vuz55))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];2795 -> 2802[label="",style="solid", color="black", weight=3]; 15.07/5.61 2771[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz72))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];2771 -> 2778[label="",style="solid", color="black", weight=3]; 15.07/5.61 2737[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"];2737 -> 2744[label="",style="solid", color="black", weight=3]; 15.07/5.61 2776[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz70))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];2776 -> 2783[label="",style="solid", color="black", weight=3]; 15.07/5.61 2777[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"];2777 -> 2784[label="",style="solid", color="black", weight=3]; 15.07/5.61 2738[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"];2738 -> 2745[label="",style="solid", color="black", weight=3]; 15.07/5.61 2796[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Pos vuz41))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];2796 -> 2803[label="",style="solid", color="black", weight=3]; 15.07/5.61 2802[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Neg vuz55))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];2802 -> 2809[label="",style="solid", color="black", weight=3]; 15.07/5.61 2778[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz72))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];2778 -> 2785[label="",style="solid", color="black", weight=3]; 15.07/5.61 2744[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"];2744 -> 2751[label="",style="solid", color="black", weight=3]; 15.07/5.61 2783[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz70))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];2783 -> 2790[label="",style="solid", color="black", weight=3]; 15.07/5.61 2784[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"];2784 -> 2791[label="",style="solid", color="black", weight=3]; 15.07/5.61 2745[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"];2745 -> 2752[label="",style="solid", color="black", weight=3]; 15.07/5.61 2803[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz41))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2803 -> 2810[label="",style="solid", color="black", weight=3]; 15.07/5.61 2809[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz55))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2809 -> 2816[label="",style="solid", color="black", weight=3]; 15.07/5.61 2785[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz72))))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];2785 -> 2792[label="",style="solid", color="black", weight=3]; 15.07/5.61 2751[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"];2751 -> 2758[label="",style="solid", color="black", weight=3]; 15.07/5.61 2790[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz70))))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];2790 -> 2797[label="",style="solid", color="black", weight=3]; 15.07/5.61 2791[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"];2791 -> 2798[label="",style="solid", color="black", weight=3]; 15.07/5.61 2752[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"];2752 -> 2759[label="",style="solid", color="black", weight=3]; 15.07/5.61 2810[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Pos vuz41))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2810 -> 2817[label="",style="solid", color="black", weight=3]; 15.07/5.61 2816[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Neg vuz55))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2816 -> 2823[label="",style="solid", color="black", weight=3]; 15.07/5.61 2792[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz72))))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];2792 -> 2799[label="",style="solid", color="black", weight=3]; 15.07/5.61 2758[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"];2758 -> 2765[label="",style="solid", color="black", weight=3]; 15.07/5.61 2797[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz70))))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];2797 -> 2804[label="",style="solid", color="black", weight=3]; 15.07/5.61 2798[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"];2798 -> 2805[label="",style="solid", color="black", weight=3]; 15.07/5.61 2759[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"];2759 -> 2766[label="",style="solid", color="black", weight=3]; 15.07/5.61 2817[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Pos vuz41))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2817 -> 2824[label="",style="solid", color="black", weight=3]; 15.07/5.61 2823[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Neg vuz55))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2823 -> 2830[label="",style="solid", color="black", weight=3]; 15.07/5.61 2799[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz72))))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];2799 -> 2806[label="",style="solid", color="black", weight=3]; 15.07/5.61 2765[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"];2765 -> 2772[label="",style="solid", color="black", weight=3]; 15.07/5.61 2804[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz70))))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];2804 -> 2811[label="",style="solid", color="black", weight=3]; 15.07/5.61 2805[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"];2805 -> 2812[label="",style="solid", color="black", weight=3]; 15.07/5.61 2766[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"];2766 -> 2773[label="",style="solid", color="black", weight=3]; 15.07/5.61 2824[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 False (abs (Integer (Pos vuz41))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2824 -> 2831[label="",style="solid", color="black", weight=3]; 15.07/5.61 2830[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 False (abs (Integer (Neg vuz55))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2830 -> 2837[label="",style="solid", color="black", weight=3]; 15.07/5.61 2806[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz72))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2806 -> 2813[label="",style="solid", color="black", weight=3]; 15.07/5.61 2772[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"];2772 -> 2779[label="",style="solid", color="black", weight=3]; 15.07/5.61 2811[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz70))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2811 -> 2818[label="",style="solid", color="black", weight=3]; 15.07/5.61 2812[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"];2812 -> 2819[label="",style="solid", color="black", weight=3]; 15.07/5.61 2773[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"];2773 -> 2780[label="",style="solid", color="black", weight=3]; 15.07/5.61 2831[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'0 (abs (Integer (Pos vuz41))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2831 -> 2838[label="",style="solid", color="black", weight=3]; 15.07/5.61 2837[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'0 (abs (Integer (Neg vuz55))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2837 -> 2844[label="",style="solid", color="black", weight=3]; 15.07/5.61 2813[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz72))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2813 -> 2820[label="",style="solid", color="black", weight=3]; 15.07/5.61 2779[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"];2779 -> 2786[label="",style="solid", color="black", weight=3]; 15.07/5.61 2818[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz70))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2818 -> 2825[label="",style="solid", color="black", weight=3]; 15.07/5.61 2819[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"];2819 -> 2826[label="",style="solid", color="black", weight=3]; 15.07/5.61 2780[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"];2780 -> 2787[label="",style="solid", color="black", weight=3]; 15.07/5.61 2838[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Pos vuz41)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2838 -> 2845[label="",style="solid", color="black", weight=3]; 15.07/5.61 2844[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Neg vuz55)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2844 -> 2851[label="",style="solid", color="black", weight=3]; 15.07/5.61 2820[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz72))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2820 -> 2827[label="",style="solid", color="black", weight=3]; 15.07/5.61 2786[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"];2786 -> 2793[label="",style="solid", color="black", weight=3]; 15.07/5.61 2825[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz70))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2825 -> 2832[label="",style="solid", color="black", weight=3]; 15.07/5.61 2826[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 False (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2826 -> 2833[label="",style="solid", color="black", weight=3]; 15.07/5.61 2787[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"];2787 -> 2794[label="",style="solid", color="black", weight=3]; 15.07/5.61 2845[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Pos vuz41)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2845 -> 2852[label="",style="solid", color="black", weight=3]; 15.07/5.61 2851[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Neg vuz55)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2851 -> 2858[label="",style="solid", color="black", weight=3]; 15.07/5.61 2827[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 False (abs (Integer (Pos (Succ (Succ vuz72))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2827 -> 2834[label="",style="solid", color="black", weight=3]; 15.07/5.61 2793[label="Integer (Pos Zero) `quot` gcd0Gcd'1 False (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2793 -> 2800[label="",style="solid", color="black", weight=3]; 15.07/5.61 2832[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 False (abs (Integer (Neg (Succ (Succ vuz70))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2832 -> 2839[label="",style="solid", color="black", weight=3]; 15.07/5.61 2833[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'0 (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2833 -> 2840[label="",style="solid", color="black", weight=3]; 15.07/5.61 2794[label="Integer (Neg Zero) `quot` gcd0Gcd'1 False (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2794 -> 2801[label="",style="solid", color="black", weight=3]; 15.07/5.61 2852[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos vuz41)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Pos vuz41)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2852 -> 2859[label="",style="solid", color="black", weight=3]; 15.07/5.61 2858[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Neg vuz55)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Neg vuz55)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2858 -> 2865[label="",style="solid", color="black", weight=3]; 15.07/5.61 2834[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'0 (abs (Integer (Pos (Succ (Succ vuz72))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2834 -> 2841[label="",style="solid", color="black", weight=3]; 15.07/5.61 2800[label="Integer (Pos Zero) `quot` gcd0Gcd'0 (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2800 -> 2807[label="",style="solid", color="black", weight=3]; 15.07/5.61 2839[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'0 (abs (Integer (Neg (Succ (Succ vuz70))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2839 -> 2846[label="",style="solid", color="black", weight=3]; 15.07/5.61 2840[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"];2840 -> 2847[label="",style="solid", color="black", weight=3]; 15.07/5.61 2801[label="Integer (Neg Zero) `quot` gcd0Gcd'0 (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2801 -> 2808[label="",style="solid", color="black", weight=3]; 15.07/5.61 2859[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos vuz41)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Pos vuz41)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2859 -> 2866[label="",style="solid", color="black", weight=3]; 15.07/5.61 2865[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Neg vuz55)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Neg vuz55)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2865 -> 2872[label="",style="solid", color="black", weight=3]; 15.07/5.61 2841[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Pos (Succ (Succ vuz72)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2841 -> 2848[label="",style="solid", color="black", weight=3]; 15.07/5.61 2807[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"];2807 -> 2814[label="",style="solid", color="black", weight=3]; 15.07/5.61 2846[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ (Succ vuz70)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2846 -> 2853[label="",style="solid", color="black", weight=3]; 15.07/5.61 2847[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"];2847 -> 2854[label="",style="solid", color="black", weight=3]; 15.07/5.61 2808[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"];2808 -> 2815[label="",style="solid", color="black", weight=3]; 15.07/5.61 2866[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos vuz41)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Pos vuz41)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2866 -> 2873[label="",style="solid", color="black", weight=3]; 15.07/5.61 2872[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Neg vuz55)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Neg vuz55)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2872 -> 2879[label="",style="solid", color="black", weight=3]; 15.07/5.61 2848[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Pos (Succ (Succ vuz72)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2848 -> 2855[label="",style="solid", color="black", weight=3]; 15.07/5.61 2814[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"];2814 -> 2821[label="",style="solid", color="black", weight=3]; 15.07/5.61 2853[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ (Succ vuz70)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2853 -> 2860[label="",style="solid", color="black", weight=3]; 15.07/5.61 2854[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"];2854 -> 2861[label="",style="solid", color="black", weight=3]; 15.07/5.61 2815[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"];2815 -> 2822[label="",style="solid", color="black", weight=3]; 15.07/5.61 2873[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz41)) (Integer (Pos vuz41) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz41)) (Integer (Pos vuz41) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2873 -> 2880[label="",style="solid", color="black", weight=3]; 15.07/5.61 2879[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz55)) (Integer (Neg vuz55) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz55)) (Integer (Neg vuz55) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2879 -> 2886[label="",style="solid", color="black", weight=3]; 15.07/5.61 2855[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ (Succ vuz72)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Pos (Succ (Succ vuz72)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2855 -> 2862[label="",style="solid", color="black", weight=3]; 15.07/5.61 2821[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"];2821 -> 2828[label="",style="solid", color="black", weight=3]; 15.07/5.61 2860[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (abs (Integer (Neg (Succ (Succ vuz70)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ (Succ vuz70)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2860 -> 2867[label="",style="solid", color="black", weight=3]; 15.07/5.61 2861[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"];2861 -> 2868[label="",style="solid", color="black", weight=3]; 15.07/5.61 2822[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"];2822 -> 2829[label="",style="solid", color="black", weight=3]; 15.07/5.61 2880[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz41)) (compare (Integer (Pos vuz41)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz41)) (compare (Integer (Pos vuz41)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2880 -> 2887[label="",style="solid", color="black", weight=3]; 15.07/5.61 2886[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz55)) (compare (Integer (Neg vuz55)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz55)) (compare (Integer (Neg vuz55)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2886 -> 2893[label="",style="solid", color="black", weight=3]; 15.07/5.61 2862[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ (Succ vuz72)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Pos (Succ (Succ vuz72)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2862 -> 2869[label="",style="solid", color="black", weight=3]; 15.07/5.61 2828[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"];2828 -> 2835[label="",style="solid", color="black", weight=3]; 15.07/5.61 2867[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal (Integer (Neg (Succ (Succ vuz70)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Neg (Succ (Succ vuz70)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2867 -> 2874[label="",style="solid", color="black", weight=3]; 15.07/5.61 2868[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"];2868 -> 2875[label="",style="solid", color="black", weight=3]; 15.07/5.61 2829[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"];2829 -> 2836[label="",style="solid", color="black", weight=3]; 15.07/5.61 2887[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz41)) (not (compare (Integer (Pos vuz41)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz41)) (not (compare (Integer (Pos vuz41)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2887 -> 2894[label="",style="solid", color="black", weight=3]; 15.07/5.61 2893[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz55)) (not (compare (Integer (Neg vuz55)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz55)) (not (compare (Integer (Neg vuz55)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2893 -> 2900[label="",style="solid", color="black", weight=3]; 15.07/5.61 2869[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ (Succ vuz72)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Pos (Succ (Succ vuz72)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2869 -> 2876[label="",style="solid", color="black", weight=3]; 15.07/5.61 2835[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"];2835 -> 2842[label="",style="solid", color="black", weight=3]; 15.07/5.61 2874[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal2 (Integer (Neg (Succ (Succ vuz70)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Neg (Succ (Succ vuz70)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2874 -> 2881[label="",style="solid", color="black", weight=3]; 15.07/5.61 2875[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"];2875 -> 2882[label="",style="solid", color="black", weight=3]; 15.07/5.61 2836[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"];2836 -> 2843[label="",style="solid", color="black", weight=3]; 15.07/5.61 2894[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz41)) (not (compare (Integer (Pos vuz41)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz41)) (not (compare (Integer (Pos vuz41)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2894 -> 2901[label="",style="solid", color="black", weight=3]; 15.07/5.61 2900[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz55)) (not (compare (Integer (Neg vuz55)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz55)) (not (compare (Integer (Neg vuz55)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2900 -> 2907[label="",style="solid", color="black", weight=3]; 15.07/5.61 2876[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz72)))) (Integer (Pos (Succ (Succ vuz72))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz72)))) (Integer (Pos (Succ (Succ vuz72))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2876 -> 2883[label="",style="solid", color="black", weight=3]; 15.07/5.61 2842[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"];2842 -> 2849[label="",style="solid", color="black", weight=3]; 15.07/5.61 2881[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz70)))) (Integer (Neg (Succ (Succ vuz70))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz70)))) (Integer (Neg (Succ (Succ vuz70))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2881 -> 2888[label="",style="solid", color="black", weight=3]; 15.07/5.61 2882[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"];2882 -> 2889[label="",style="solid", color="black", weight=3]; 15.07/5.61 2843[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"];2843 -> 2850[label="",style="solid", color="black", weight=3]; 15.07/5.61 2901[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz41)) (not (primCmpInt (Pos vuz41) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz41)) (not (primCmpInt (Pos vuz41) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];3131[label="vuz41/Succ vuz410",fontsize=10,color="white",style="solid",shape="box"];2901 -> 3131[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3131 -> 2908[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 3132[label="vuz41/Zero",fontsize=10,color="white",style="solid",shape="box"];2901 -> 3132[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3132 -> 2909[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 2907[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz55)) (not (primCmpInt (Neg vuz55) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz55)) (not (primCmpInt (Neg vuz55) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];3133[label="vuz55/Succ vuz550",fontsize=10,color="white",style="solid",shape="box"];2907 -> 3133[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3133 -> 2916[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 3134[label="vuz55/Zero",fontsize=10,color="white",style="solid",shape="box"];2907 -> 3134[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3134 -> 2917[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 2883[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz72)))) (compare (Integer (Pos (Succ (Succ vuz72)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz72)))) (compare (Integer (Pos (Succ (Succ vuz72)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2883 -> 2890[label="",style="solid", color="black", weight=3]; 15.07/5.61 2849[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"];2849 -> 2856[label="",style="solid", color="black", weight=3]; 15.07/5.61 2888[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz70)))) (compare (Integer (Neg (Succ (Succ vuz70)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz70)))) (compare (Integer (Neg (Succ (Succ vuz70)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2888 -> 2895[label="",style="solid", color="black", weight=3]; 15.07/5.61 2889[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"];2889 -> 2896[label="",style="solid", color="black", weight=3]; 15.07/5.61 2850[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"];2850 -> 2857[label="",style="solid", color="black", weight=3]; 15.07/5.61 2908[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz410))) (not (primCmpInt (Pos (Succ vuz410)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz410))) (not (primCmpInt (Pos (Succ vuz410)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2908 -> 2918[label="",style="solid", color="black", weight=3]; 15.07/5.61 2909[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"];2909 -> 2919[label="",style="solid", color="black", weight=3]; 15.07/5.61 2916[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz550))) (not (primCmpInt (Neg (Succ vuz550)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz550))) (not (primCmpInt (Neg (Succ vuz550)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2916 -> 2925[label="",style="solid", color="black", weight=3]; 15.07/5.61 2917[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"];2917 -> 2926[label="",style="solid", color="black", weight=3]; 15.07/5.61 2890[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz72)))) (not (compare (Integer (Pos (Succ (Succ vuz72)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz72)))) (not (compare (Integer (Pos (Succ (Succ vuz72)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2890 -> 2897[label="",style="solid", color="black", weight=3]; 15.07/5.61 2856[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"];2856 -> 2863[label="",style="solid", color="black", weight=3]; 15.07/5.61 2895[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz70)))) (not (compare (Integer (Neg (Succ (Succ vuz70)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz70)))) (not (compare (Integer (Neg (Succ (Succ vuz70)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2895 -> 2902[label="",style="solid", color="black", weight=3]; 15.07/5.61 2896[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"];2896 -> 2903[label="",style="solid", color="black", weight=3]; 15.07/5.61 2857[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"];2857 -> 2864[label="",style="solid", color="black", weight=3]; 15.07/5.61 2918[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz410))) (not (primCmpNat (Succ vuz410) Zero == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz410))) (not (primCmpNat (Succ vuz410) Zero == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2918 -> 2927[label="",style="solid", color="black", weight=3]; 15.07/5.61 2919[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"];2919 -> 2928[label="",style="solid", color="black", weight=3]; 15.07/5.61 2925[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz550))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz550))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2925 -> 2934[label="",style="solid", color="black", weight=3]; 15.07/5.61 2926[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"];2926 -> 2935[label="",style="solid", color="black", weight=3]; 15.07/5.61 2897[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz72)))) (not (compare (Integer (Pos (Succ (Succ vuz72)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz72)))) (not (compare (Integer (Pos (Succ (Succ vuz72)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2897 -> 2904[label="",style="solid", color="black", weight=3]; 15.07/5.61 2863[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"];2863 -> 2870[label="",style="solid", color="black", weight=3]; 15.07/5.61 2902[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz70)))) (not (compare (Integer (Neg (Succ (Succ vuz70)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz70)))) (not (compare (Integer (Neg (Succ (Succ vuz70)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2902 -> 2910[label="",style="solid", color="black", weight=3]; 15.07/5.61 2903[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"];2903 -> 2911[label="",style="solid", color="black", weight=3]; 15.07/5.61 2864[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"];2864 -> 2871[label="",style="solid", color="black", weight=3]; 15.07/5.61 2927[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz410))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz410))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2927 -> 2936[label="",style="solid", color="black", weight=3]; 15.07/5.61 2928[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"];2928 -> 2937[label="",style="solid", color="black", weight=3]; 15.07/5.61 2934[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz550))) (not True) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz550))) (not True) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2934 -> 2943[label="",style="solid", color="black", weight=3]; 15.07/5.61 2935[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"];2935 -> 2944[label="",style="solid", color="black", weight=3]; 15.07/5.61 2904[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz72)))) (not (primCmpInt (Pos (Succ (Succ vuz72))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz72)))) (not (primCmpInt (Pos (Succ (Succ vuz72))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2904 -> 2912[label="",style="solid", color="black", weight=3]; 15.07/5.61 2870[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"];2870 -> 2877[label="",style="solid", color="black", weight=3]; 15.07/5.61 2910[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz70)))) (not (primCmpInt (Neg (Succ (Succ vuz70))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz70)))) (not (primCmpInt (Neg (Succ (Succ vuz70))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2910 -> 2920[label="",style="solid", color="black", weight=3]; 15.07/5.61 2911[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"];2911 -> 2921[label="",style="solid", color="black", weight=3]; 15.07/5.61 2871[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"];2871 -> 2878[label="",style="solid", color="black", weight=3]; 15.07/5.61 2936[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz410))) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz410))) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2936 -> 2945[label="",style="solid", color="black", weight=3]; 15.07/5.61 2937[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"];2937 -> 2946[label="",style="solid", color="black", weight=3]; 15.07/5.61 2943[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz550))) False `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz550))) False `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2943 -> 2952[label="",style="solid", color="black", weight=3]; 15.07/5.61 2944[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"];2944 -> 2953[label="",style="solid", color="black", weight=3]; 15.07/5.61 2912[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz72)))) (not (primCmpNat (Succ (Succ vuz72)) Zero == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz72)))) (not (primCmpNat (Succ (Succ vuz72)) Zero == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2912 -> 2922[label="",style="solid", color="black", weight=3]; 15.07/5.61 2877[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"];2877 -> 2884[label="",style="solid", color="black", weight=3]; 15.07/5.61 2920[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz70)))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz70)))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2920 -> 2929[label="",style="solid", color="black", weight=3]; 15.07/5.61 2921[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"];2921 -> 2930[label="",style="solid", color="black", weight=3]; 15.07/5.61 2878[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"];2878 -> 2885[label="",style="solid", color="black", weight=3]; 15.07/5.61 2945[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz410))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz410))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2945 -> 2954[label="",style="solid", color="black", weight=3]; 15.07/5.61 2946[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"];2946 -> 2955[label="",style="solid", color="black", weight=3]; 15.07/5.61 2952[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ vuz550))) otherwise `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ vuz550))) otherwise `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2952 -> 2961[label="",style="solid", color="black", weight=3]; 15.07/5.61 2953[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"];2953 -> 2962[label="",style="solid", color="black", weight=3]; 15.07/5.61 2922[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz72)))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz72)))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2922 -> 2931[label="",style="solid", color="black", weight=3]; 15.07/5.61 2884[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"];2884 -> 2891[label="",style="solid", color="black", weight=3]; 15.07/5.61 2929[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz70)))) (not True) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz70)))) (not True) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2929 -> 2938[label="",style="solid", color="black", weight=3]; 15.07/5.61 2930[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"];2930 -> 2939[label="",style="solid", color="black", weight=3]; 15.07/5.61 2885[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"];2885 -> 2892[label="",style="solid", color="black", weight=3]; 15.07/5.61 2954[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ vuz410)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ vuz410)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2954 -> 2963[label="",style="solid", color="black", weight=3]; 15.07/5.61 2955[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"];2955 -> 2964[label="",style="solid", color="black", weight=3]; 15.07/5.61 2961[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ vuz550))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ vuz550))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2961 -> 2970[label="",style="solid", color="black", weight=3]; 15.07/5.61 2962 -> 2914[label="",style="dashed", color="red", weight=0]; 15.07/5.61 2962[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"];2962 -> 2971[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 2931[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz72)))) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz72)))) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2931 -> 2940[label="",style="solid", color="black", weight=3]; 15.07/5.61 2891[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"];2891 -> 2898[label="",style="solid", color="black", weight=3]; 15.07/5.61 2938[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz70)))) False `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz70)))) False `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2938 -> 2947[label="",style="solid", color="black", weight=3]; 15.07/5.61 2939[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"];2939 -> 2948[label="",style="solid", color="black", weight=3]; 15.07/5.61 2892[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"];2892 -> 2899[label="",style="solid", color="black", weight=3]; 15.07/5.61 2963[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ vuz410)) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz410)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2963 -> 2972[label="",style="solid", color="black", weight=3]; 15.07/5.61 2964[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"];2964 -> 2973[label="",style="solid", color="black", weight=3]; 15.07/5.61 2970[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 ((`negate` Integer (Neg (Succ vuz550))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) ((`negate` Integer (Neg (Succ vuz550))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2970 -> 2979[label="",style="solid", color="black", weight=3]; 15.07/5.61 2971[label="Integer (Pos (Succ Zero))",fontsize=16,color="green",shape="box"];2914[label="vuz74 `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"];3135[label="vuz74/Integer vuz740",fontsize=10,color="white",style="solid",shape="box"];2914 -> 3135[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3135 -> 2924[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 2940[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz72)))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz72)))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2940 -> 2949[label="",style="solid", color="black", weight=3]; 15.07/5.61 2898[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"];2898 -> 2905[label="",style="solid", color="black", weight=3]; 15.07/5.61 2947[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ (Succ vuz70)))) otherwise `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ (Succ vuz70)))) otherwise `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2947 -> 2956[label="",style="solid", color="black", weight=3]; 15.07/5.61 2948[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"];2948 -> 2957[label="",style="solid", color="black", weight=3]; 15.07/5.61 2899[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"];2899 -> 2906[label="",style="solid", color="black", weight=3]; 15.07/5.61 2972[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ vuz410)) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz410)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2972 -> 2980[label="",style="solid", color="black", weight=3]; 15.07/5.61 2973[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"];2973 -> 2981[label="",style="solid", color="black", weight=3]; 15.07/5.61 2979[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primNegInt (Neg (Succ vuz550))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primNegInt (Neg (Succ vuz550))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2979 -> 2987[label="",style="solid", color="black", weight=3]; 15.07/5.61 2924[label="Integer vuz740 `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"];2924 -> 2933[label="",style="solid", color="black", weight=3]; 15.07/5.61 2949[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (Integer (Pos (Succ (Succ vuz72))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ (Succ vuz72))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2949 -> 2958[label="",style="solid", color="black", weight=3]; 15.07/5.61 2905[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"];2905 -> 2913[label="",style="solid", color="black", weight=3]; 15.07/5.61 2956[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ (Succ vuz70)))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ (Succ vuz70)))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2956 -> 2965[label="",style="solid", color="black", weight=3]; 15.07/5.61 2957[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"];2957 -> 2966[label="",style="solid", color="black", weight=3]; 15.07/5.61 2906 -> 2914[label="",style="dashed", color="red", weight=0]; 15.07/5.61 2906[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"];2906 -> 2915[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 2980[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ vuz410)) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz410)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];2980 -> 2988[label="",style="solid", color="black", weight=3]; 15.07/5.61 2981[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"];2981 -> 2989[label="",style="solid", color="black", weight=3]; 15.07/5.61 2987[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ vuz550))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ vuz550))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2987 -> 2995[label="",style="solid", color="black", weight=3]; 15.07/5.61 2933[label="Integer vuz740 `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"];2933 -> 2942[label="",style="solid", color="black", weight=3]; 15.07/5.61 2958[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ (Succ vuz72))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz72))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2958 -> 2967[label="",style="solid", color="black", weight=3]; 15.07/5.61 2913[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"];2913 -> 2923[label="",style="solid", color="black", weight=3]; 15.07/5.61 2965[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 ((`negate` Integer (Neg (Succ (Succ vuz70)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) ((`negate` Integer (Neg (Succ (Succ vuz70)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2965 -> 2974[label="",style="solid", color="black", weight=3]; 15.07/5.61 2966[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"];2966 -> 2975[label="",style="solid", color="black", weight=3]; 15.07/5.61 2915[label="Integer (Neg Zero)",fontsize=16,color="green",shape="box"];2988[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz410) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ vuz410) (Succ Zero))))",fontsize=16,color="black",shape="triangle"];2988 -> 2996[label="",style="solid", color="black", weight=3]; 15.07/5.61 2989[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"];2989 -> 2997[label="",style="solid", color="black", weight=3]; 15.07/5.61 2995[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ vuz550))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ vuz550))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2995 -> 3004[label="",style="solid", color="black", weight=3]; 15.07/5.61 2942[label="Integer vuz740 `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"];2942 -> 2951[label="",style="solid", color="black", weight=3]; 15.07/5.61 2967[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ (Succ vuz72))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz72))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2967 -> 2976[label="",style="solid", color="black", weight=3]; 15.07/5.61 2923[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"];2923 -> 2932[label="",style="solid", color="black", weight=3]; 15.07/5.61 2974[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (Integer (primNegInt (Neg (Succ (Succ vuz70)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primNegInt (Neg (Succ (Succ vuz70)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];2974 -> 2982[label="",style="solid", color="black", weight=3]; 15.07/5.61 2975[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"];2975 -> 2983[label="",style="solid", color="black", weight=3]; 15.07/5.61 2996[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 vuz410 Zero (primGEqNatS vuz410 Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 vuz410 Zero (primGEqNatS vuz410 Zero))))",fontsize=16,color="burlywood",shape="box"];3136[label="vuz410/Succ vuz4100",fontsize=10,color="white",style="solid",shape="box"];2996 -> 3136[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3136 -> 3005[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 3137[label="vuz410/Zero",fontsize=10,color="white",style="solid",shape="box"];2996 -> 3137[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3137 -> 3006[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 2997[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];2997 -> 3007[label="",style="solid", color="black", weight=3]; 15.07/5.61 3004[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (primNegInt (Neg (Succ vuz550))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ vuz550))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];3004 -> 3013[label="",style="solid", color="black", weight=3]; 15.07/5.61 2951[label="Integer vuz740 `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"];2951 -> 2960[label="",style="solid", color="black", weight=3]; 15.07/5.61 2976[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ (Succ vuz72))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz72))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2976 -> 2984[label="",style="solid", color="black", weight=3]; 15.07/5.61 2932[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"];2932 -> 2941[label="",style="solid", color="black", weight=3]; 15.07/5.61 2982[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz70)))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz70)))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2982 -> 2990[label="",style="solid", color="black", weight=3]; 15.07/5.61 2983[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"];2983 -> 2991[label="",style="solid", color="black", weight=3]; 15.07/5.61 3005[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz4100) Zero (primGEqNatS (Succ vuz4100) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz4100) Zero (primGEqNatS (Succ vuz4100) Zero))))",fontsize=16,color="black",shape="box"];3005 -> 3014[label="",style="solid", color="black", weight=3]; 15.07/5.61 3006[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"];3006 -> 3015[label="",style="solid", color="black", weight=3]; 15.07/5.61 3007 -> 2978[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3007[label="Integer (Pos (Succ Zero)) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];3007 -> 3016[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 3013 -> 2980[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3013[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ vuz550)) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz550)) (Pos (Succ Zero))))",fontsize=16,color="magenta"];3013 -> 3022[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 2960[label="Integer vuz740 `quot` gcd0Gcd'1 (primEqInt (Neg Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Neg Zero))",fontsize=16,color="black",shape="box"];2960 -> 2969[label="",style="solid", color="black", weight=3]; 15.07/5.61 2984[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ (Succ vuz72)) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ (Succ vuz72)) (Succ Zero))))",fontsize=16,color="black",shape="box"];2984 -> 2992[label="",style="solid", color="black", weight=3]; 15.07/5.61 2941[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"];2941 -> 2950[label="",style="solid", color="black", weight=3]; 15.07/5.61 2990[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz70)))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz70)))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2990 -> 2998[label="",style="solid", color="black", weight=3]; 15.07/5.61 2991[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"];2991 -> 2999[label="",style="solid", color="black", weight=3]; 15.07/5.61 3014[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz4100) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz4100) Zero True)))",fontsize=16,color="black",shape="box"];3014 -> 3023[label="",style="solid", color="black", weight=3]; 15.07/5.61 3015[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"];3015 -> 3024[label="",style="solid", color="black", weight=3]; 15.07/5.61 3016[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];2978[label="Integer vuz740 `quot` Integer (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];2978 -> 2986[label="",style="solid", color="black", weight=3]; 15.07/5.61 3022[label="vuz550",fontsize=16,color="green",shape="box"];2969[label="Integer vuz740 `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Neg Zero))",fontsize=16,color="black",shape="box"];2969 -> 2978[label="",style="solid", color="black", weight=3]; 15.07/5.61 2992[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz72) Zero (primGEqNatS (Succ vuz72) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz72) Zero (primGEqNatS (Succ vuz72) Zero))))",fontsize=16,color="black",shape="box"];2992 -> 3000[label="",style="solid", color="black", weight=3]; 15.07/5.61 2950[label="Integer (Pos Zero) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];2950 -> 2959[label="",style="solid", color="black", weight=3]; 15.07/5.61 2998[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (primEqInt (primRemInt (primNegInt (Neg (Succ (Succ vuz70)))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz70)))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];2998 -> 3008[label="",style="solid", color="black", weight=3]; 15.07/5.61 2999[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"];2999 -> 3009[label="",style="solid", color="black", weight=3]; 15.07/5.61 3023[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS (Succ vuz4100) Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS (Succ vuz4100) Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];3023 -> 3031[label="",style="solid", color="black", weight=3]; 15.07/5.61 3024[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"];3024 -> 3032[label="",style="solid", color="black", weight=3]; 15.07/5.61 2986[label="Integer (primQuotInt vuz740 (Pos (Succ Zero)))",fontsize=16,color="green",shape="box"];2986 -> 2994[label="",style="dashed", color="green", weight=3]; 15.07/5.61 3000[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz72) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz72) Zero True)))",fontsize=16,color="black",shape="triangle"];3000 -> 3010[label="",style="solid", color="black", weight=3]; 15.07/5.61 2959[label="Integer (Pos Zero) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2959 -> 2968[label="",style="solid", color="black", weight=3]; 15.07/5.61 3008[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ (Succ vuz70))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz70))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];3008 -> 3017[label="",style="solid", color="black", weight=3]; 15.07/5.61 3009[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"];3009 -> 3018[label="",style="solid", color="black", weight=3]; 15.07/5.61 3031 -> 2988[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3031[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz4100) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ vuz4100) (Succ Zero))))",fontsize=16,color="magenta"];3031 -> 3039[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 3032 -> 2981[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3032[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"];2994[label="primQuotInt vuz740 (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];3138[label="vuz740/Pos vuz7400",fontsize=10,color="white",style="solid",shape="box"];2994 -> 3138[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3138 -> 3002[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 3139[label="vuz740/Neg vuz7400",fontsize=10,color="white",style="solid",shape="box"];2994 -> 3139[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3139 -> 3003[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 3010[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS (Succ vuz72) Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS (Succ vuz72) Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];3010 -> 3019[label="",style="solid", color="black", weight=3]; 15.07/5.61 2968[label="Integer (primQuotInt (Pos Zero) (Pos (Succ Zero)))",fontsize=16,color="green",shape="box"];2968 -> 2977[label="",style="dashed", color="green", weight=3]; 15.07/5.61 3017 -> 3074[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3017[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ (Succ vuz70)) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ (Succ vuz70)) (Succ Zero))))",fontsize=16,color="magenta"];3017 -> 3075[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 3017 -> 3076[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 3018[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"];3018 -> 3026[label="",style="solid", color="black", weight=3]; 15.07/5.61 3039[label="vuz4100",fontsize=16,color="green",shape="box"];3002[label="primQuotInt (Pos vuz7400) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];3002 -> 3011[label="",style="solid", color="black", weight=3]; 15.07/5.61 3003[label="primQuotInt (Neg vuz7400) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];3003 -> 3012[label="",style="solid", color="black", weight=3]; 15.07/5.61 3019[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz72) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ vuz72) (Succ Zero))))",fontsize=16,color="black",shape="box"];3019 -> 3027[label="",style="solid", color="black", weight=3]; 15.07/5.61 2977[label="primQuotInt (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2977 -> 2985[label="",style="solid", color="black", weight=3]; 15.07/5.61 3075[label="Succ (Succ vuz70)",fontsize=16,color="green",shape="box"];3076[label="Succ (Succ vuz70)",fontsize=16,color="green",shape="box"];3074[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS vuz76 (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS vuz75 (Succ Zero))))",fontsize=16,color="burlywood",shape="triangle"];3140[label="vuz76/Succ vuz760",fontsize=10,color="white",style="solid",shape="box"];3074 -> 3140[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3140 -> 3083[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 3141[label="vuz76/Zero",fontsize=10,color="white",style="solid",shape="box"];3074 -> 3141[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3141 -> 3084[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 3026[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"];3026 -> 3034[label="",style="solid", color="black", weight=3]; 15.07/5.61 3011[label="Pos (primDivNatS vuz7400 (Succ Zero))",fontsize=16,color="green",shape="box"];3011 -> 3020[label="",style="dashed", color="green", weight=3]; 15.07/5.61 3012[label="Neg (primDivNatS vuz7400 (Succ Zero))",fontsize=16,color="green",shape="box"];3012 -> 3021[label="",style="dashed", color="green", weight=3]; 15.07/5.61 3027[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 vuz72 Zero (primGEqNatS vuz72 Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 vuz72 Zero (primGEqNatS vuz72 Zero))))",fontsize=16,color="burlywood",shape="box"];3142[label="vuz72/Succ vuz720",fontsize=10,color="white",style="solid",shape="box"];3027 -> 3142[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3142 -> 3035[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 3143[label="vuz72/Zero",fontsize=10,color="white",style="solid",shape="box"];3027 -> 3143[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3143 -> 3036[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 2985[label="Pos (primDivNatS Zero (Succ Zero))",fontsize=16,color="green",shape="box"];2985 -> 2993[label="",style="dashed", color="green", weight=3]; 15.07/5.61 3083[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz760) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS vuz75 (Succ Zero))))",fontsize=16,color="black",shape="box"];3083 -> 3086[label="",style="solid", color="black", weight=3]; 15.07/5.61 3084[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS vuz75 (Succ Zero))))",fontsize=16,color="black",shape="box"];3084 -> 3087[label="",style="solid", color="black", weight=3]; 15.07/5.61 3034[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"];3034 -> 3041[label="",style="solid", color="black", weight=3]; 15.07/5.61 3020[label="primDivNatS vuz7400 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];3144[label="vuz7400/Succ vuz74000",fontsize=10,color="white",style="solid",shape="box"];3020 -> 3144[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3144 -> 3028[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 3145[label="vuz7400/Zero",fontsize=10,color="white",style="solid",shape="box"];3020 -> 3145[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3145 -> 3029[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 3021 -> 3020[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3021[label="primDivNatS vuz7400 (Succ Zero)",fontsize=16,color="magenta"];3021 -> 3030[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 3035[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz720) Zero (primGEqNatS (Succ vuz720) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz720) Zero (primGEqNatS (Succ vuz720) Zero))))",fontsize=16,color="black",shape="box"];3035 -> 3042[label="",style="solid", color="black", weight=3]; 15.07/5.61 3036[label="Integer (Pos (Succ (Succ vuz71))) `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"];3036 -> 3043[label="",style="solid", color="black", weight=3]; 15.07/5.61 2993[label="primDivNatS Zero (Succ Zero)",fontsize=16,color="black",shape="box"];2993 -> 3001[label="",style="solid", color="black", weight=3]; 15.07/5.61 3086[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 vuz760 Zero (primGEqNatS vuz760 Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 vuz760 Zero (primGEqNatS vuz760 Zero))))",fontsize=16,color="burlywood",shape="box"];3146[label="vuz760/Succ vuz7600",fontsize=10,color="white",style="solid",shape="box"];3086 -> 3146[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3146 -> 3088[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 3147[label="vuz760/Zero",fontsize=10,color="white",style="solid",shape="box"];3086 -> 3147[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3147 -> 3089[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 3087[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];3087 -> 3090[label="",style="solid", color="black", weight=3]; 15.07/5.61 3041[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"];3041 -> 3047[label="",style="solid", color="black", weight=3]; 15.07/5.61 3028[label="primDivNatS (Succ vuz74000) (Succ Zero)",fontsize=16,color="black",shape="box"];3028 -> 3037[label="",style="solid", color="black", weight=3]; 15.07/5.61 3029[label="primDivNatS Zero (Succ Zero)",fontsize=16,color="black",shape="box"];3029 -> 3038[label="",style="solid", color="black", weight=3]; 15.07/5.61 3030[label="vuz7400",fontsize=16,color="green",shape="box"];3042 -> 3000[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3042[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz720) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz720) Zero True)))",fontsize=16,color="magenta"];3042 -> 3048[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 3043[label="Integer (Pos (Succ (Succ vuz71))) `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"];3043 -> 3049[label="",style="solid", color="black", weight=3]; 15.07/5.61 3001[label="Zero",fontsize=16,color="green",shape="box"];3088[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz7600) Zero (primGEqNatS (Succ vuz7600) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz7600) Zero (primGEqNatS (Succ vuz7600) Zero))))",fontsize=16,color="black",shape="box"];3088 -> 3091[label="",style="solid", color="black", weight=3]; 15.07/5.61 3089[label="Integer (Neg (Succ (Succ vuz69))) `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"];3089 -> 3092[label="",style="solid", color="black", weight=3]; 15.07/5.61 3090[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];3090 -> 3093[label="",style="solid", color="black", weight=3]; 15.07/5.61 3047[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"];3047 -> 3053[label="",style="solid", color="black", weight=3]; 15.07/5.61 3037[label="primDivNatS0 vuz74000 Zero (primGEqNatS vuz74000 Zero)",fontsize=16,color="burlywood",shape="box"];3148[label="vuz74000/Succ vuz740000",fontsize=10,color="white",style="solid",shape="box"];3037 -> 3148[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3148 -> 3044[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 3149[label="vuz74000/Zero",fontsize=10,color="white",style="solid",shape="box"];3037 -> 3149[label="",style="solid", color="burlywood", weight=9]; 15.07/5.61 3149 -> 3045[label="",style="solid", color="burlywood", weight=3]; 15.07/5.61 3038[label="Zero",fontsize=16,color="green",shape="box"];3048[label="vuz720",fontsize=16,color="green",shape="box"];3049[label="Integer (Pos (Succ (Succ vuz71))) `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"];3049 -> 3054[label="",style="solid", color="black", weight=3]; 15.07/5.61 3091[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz7600) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz7600) Zero True)))",fontsize=16,color="black",shape="box"];3091 -> 3094[label="",style="solid", color="black", weight=3]; 15.07/5.61 3092[label="Integer (Neg (Succ (Succ vuz69))) `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"];3092 -> 3095[label="",style="solid", color="black", weight=3]; 15.07/5.61 3093 -> 2978[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3093[label="Integer (Neg (Succ (Succ vuz69))) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];3093 -> 3096[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 3053[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];3053 -> 3059[label="",style="solid", color="black", weight=3]; 15.07/5.61 3044[label="primDivNatS0 (Succ vuz740000) Zero (primGEqNatS (Succ vuz740000) Zero)",fontsize=16,color="black",shape="box"];3044 -> 3050[label="",style="solid", color="black", weight=3]; 15.07/5.61 3045[label="primDivNatS0 Zero Zero (primGEqNatS Zero Zero)",fontsize=16,color="black",shape="box"];3045 -> 3051[label="",style="solid", color="black", weight=3]; 15.07/5.61 3054[label="Integer (Pos (Succ (Succ vuz71))) `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"];3054 -> 3060[label="",style="solid", color="black", weight=3]; 15.07/5.61 3094 -> 3074[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3094[label="Integer (Neg (Succ (Succ vuz69))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS (Succ vuz7600) Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS (Succ vuz7600) Zero) (Succ Zero))))",fontsize=16,color="magenta"];3094 -> 3097[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 3094 -> 3098[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 3095 -> 3074[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3095[label="Integer (Neg (Succ (Succ vuz69))) `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"];3095 -> 3099[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 3095 -> 3100[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 3096[label="Neg (Succ (Succ vuz69))",fontsize=16,color="green",shape="box"];3059 -> 2978[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3059[label="Integer (Neg (Succ Zero)) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];3059 -> 3065[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 3050[label="primDivNatS0 (Succ vuz740000) Zero True",fontsize=16,color="black",shape="box"];3050 -> 3055[label="",style="solid", color="black", weight=3]; 15.07/5.61 3051[label="primDivNatS0 Zero Zero True",fontsize=16,color="black",shape="box"];3051 -> 3056[label="",style="solid", color="black", weight=3]; 15.07/5.61 3060[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];3060 -> 3066[label="",style="solid", color="black", weight=3]; 15.07/5.61 3097 -> 3067[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3097[label="primMinusNatS (Succ vuz7600) Zero",fontsize=16,color="magenta"];3097 -> 3101[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 3098 -> 3067[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3098[label="primMinusNatS (Succ vuz7600) Zero",fontsize=16,color="magenta"];3098 -> 3102[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 3099 -> 3068[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3099[label="primMinusNatS Zero Zero",fontsize=16,color="magenta"];3100 -> 3068[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3100[label="primMinusNatS Zero Zero",fontsize=16,color="magenta"];3065[label="Neg (Succ Zero)",fontsize=16,color="green",shape="box"];3055[label="Succ (primDivNatS (primMinusNatS (Succ vuz740000) Zero) (Succ Zero))",fontsize=16,color="green",shape="box"];3055 -> 3061[label="",style="dashed", color="green", weight=3]; 15.07/5.61 3056[label="Succ (primDivNatS (primMinusNatS Zero Zero) (Succ Zero))",fontsize=16,color="green",shape="box"];3056 -> 3062[label="",style="dashed", color="green", weight=3]; 15.07/5.61 3066[label="Integer (Pos (Succ (Succ vuz71))) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];3066 -> 3071[label="",style="solid", color="black", weight=3]; 15.07/5.61 3101[label="vuz7600",fontsize=16,color="green",shape="box"];3067[label="primMinusNatS (Succ vuz740000) Zero",fontsize=16,color="black",shape="triangle"];3067 -> 3072[label="",style="solid", color="black", weight=3]; 15.07/5.61 3102[label="vuz7600",fontsize=16,color="green",shape="box"];3068[label="primMinusNatS Zero Zero",fontsize=16,color="black",shape="triangle"];3068 -> 3073[label="",style="solid", color="black", weight=3]; 15.07/5.61 3061 -> 3020[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3061[label="primDivNatS (primMinusNatS (Succ vuz740000) Zero) (Succ Zero)",fontsize=16,color="magenta"];3061 -> 3067[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 3062 -> 3020[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3062[label="primDivNatS (primMinusNatS Zero Zero) (Succ Zero)",fontsize=16,color="magenta"];3062 -> 3068[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 3071 -> 2978[label="",style="dashed", color="red", weight=0]; 15.07/5.61 3071[label="Integer (Pos (Succ (Succ vuz71))) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];3071 -> 3085[label="",style="dashed", color="magenta", weight=3]; 15.07/5.61 3072[label="Succ vuz740000",fontsize=16,color="green",shape="box"];3073[label="Zero",fontsize=16,color="green",shape="box"];3085[label="Pos (Succ (Succ vuz71))",fontsize=16,color="green",shape="box"];} 15.07/5.61 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (12) 15.07/5.61 Complex Obligation (AND) 15.07/5.61 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (13) 15.07/5.61 Obligation: 15.07/5.61 Q DP problem: 15.07/5.61 The TRS P consists of the following rules: 15.07/5.61 15.07/5.61 new_primDivNatS(Succ(Zero)) -> new_primDivNatS(new_primMinusNatS0) 15.07/5.61 new_primDivNatS(Succ(Succ(vuz740000))) -> new_primDivNatS(new_primMinusNatS(vuz740000)) 15.07/5.61 15.07/5.61 The TRS R consists of the following rules: 15.07/5.61 15.07/5.61 new_primMinusNatS(vuz740000) -> Succ(vuz740000) 15.07/5.61 new_primMinusNatS0 -> Zero 15.07/5.61 15.07/5.61 The set Q consists of the following terms: 15.07/5.61 15.07/5.61 new_primMinusNatS(x0) 15.07/5.61 new_primMinusNatS0 15.07/5.61 15.07/5.61 We have to consider all minimal (P,Q,R)-chains. 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (14) DependencyGraphProof (EQUIVALENT) 15.07/5.61 The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 1 SCC with 1 less node. 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (15) 15.07/5.61 Obligation: 15.07/5.61 Q DP problem: 15.07/5.61 The TRS P consists of the following rules: 15.07/5.61 15.07/5.61 new_primDivNatS(Succ(Succ(vuz740000))) -> new_primDivNatS(new_primMinusNatS(vuz740000)) 15.07/5.61 15.07/5.61 The TRS R consists of the following rules: 15.07/5.61 15.07/5.61 new_primMinusNatS(vuz740000) -> Succ(vuz740000) 15.07/5.61 new_primMinusNatS0 -> Zero 15.07/5.61 15.07/5.61 The set Q consists of the following terms: 15.07/5.61 15.07/5.61 new_primMinusNatS(x0) 15.07/5.61 new_primMinusNatS0 15.07/5.61 15.07/5.61 We have to consider all minimal (P,Q,R)-chains. 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (16) MRRProof (EQUIVALENT) 15.07/5.61 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. 15.07/5.61 15.07/5.61 Strictly oriented dependency pairs: 15.07/5.61 15.07/5.61 new_primDivNatS(Succ(Succ(vuz740000))) -> new_primDivNatS(new_primMinusNatS(vuz740000)) 15.07/5.61 15.07/5.61 Strictly oriented rules of the TRS R: 15.07/5.61 15.07/5.61 new_primMinusNatS(vuz740000) -> Succ(vuz740000) 15.07/5.61 new_primMinusNatS0 -> Zero 15.07/5.61 15.07/5.61 Used ordering: Polynomial interpretation [POLO]: 15.07/5.61 15.07/5.61 POL(Succ(x_1)) = 1 + 2*x_1 15.07/5.61 POL(Zero) = 1 15.07/5.61 POL(new_primDivNatS(x_1)) = x_1 15.07/5.61 POL(new_primMinusNatS(x_1)) = 2 + 2*x_1 15.07/5.61 POL(new_primMinusNatS0) = 2 15.07/5.61 15.07/5.61 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (17) 15.07/5.61 Obligation: 15.07/5.61 Q DP problem: 15.07/5.61 P is empty. 15.07/5.61 R is empty. 15.07/5.61 The set Q consists of the following terms: 15.07/5.61 15.07/5.61 new_primMinusNatS(x0) 15.07/5.61 new_primMinusNatS0 15.07/5.61 15.07/5.61 We have to consider all minimal (P,Q,R)-chains. 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (18) PisEmptyProof (EQUIVALENT) 15.07/5.61 The TRS P is empty. Hence, there is no (P,Q,R) chain. 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (19) 15.07/5.61 YES 15.07/5.61 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (20) 15.07/5.61 Obligation: 15.07/5.61 Q DP problem: 15.07/5.61 The TRS P consists of the following rules: 15.07/5.61 15.07/5.61 new_quot1(vuz71, Succ(vuz720)) -> new_quot1(vuz71, vuz720) 15.07/5.61 15.07/5.61 R is empty. 15.07/5.61 Q is empty. 15.07/5.61 We have to consider all minimal (P,Q,R)-chains. 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (21) QDPSizeChangeProof (EQUIVALENT) 15.07/5.61 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. 15.07/5.61 15.07/5.61 From the DPs we obtained the following set of size-change graphs: 15.07/5.61 *new_quot1(vuz71, Succ(vuz720)) -> new_quot1(vuz71, vuz720) 15.07/5.61 The graph contains the following edges 1 >= 1, 2 > 2 15.07/5.61 15.07/5.61 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (22) 15.07/5.61 YES 15.07/5.61 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (23) 15.07/5.61 Obligation: 15.07/5.61 Q DP problem: 15.07/5.61 The TRS P consists of the following rules: 15.07/5.61 15.07/5.61 new_primMulNat(Succ(vuz3000)) -> new_primMulNat(vuz3000) 15.07/5.61 15.07/5.61 R is empty. 15.07/5.61 Q is empty. 15.07/5.61 We have to consider all minimal (P,Q,R)-chains. 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (24) QDPSizeChangeProof (EQUIVALENT) 15.07/5.61 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. 15.07/5.61 15.07/5.61 From the DPs we obtained the following set of size-change graphs: 15.07/5.61 *new_primMulNat(Succ(vuz3000)) -> new_primMulNat(vuz3000) 15.07/5.61 The graph contains the following edges 1 > 1 15.07/5.61 15.07/5.61 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (25) 15.07/5.61 YES 15.07/5.61 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (26) 15.07/5.61 Obligation: 15.07/5.61 Q DP problem: 15.07/5.61 The TRS P consists of the following rules: 15.07/5.61 15.07/5.61 new_quot(vuz69, Succ(Zero), vuz75) -> new_quot(vuz69, new_primMinusNatS0, new_primMinusNatS0) 15.07/5.61 new_quot(vuz69, Succ(Succ(vuz7600)), vuz75) -> new_quot(vuz69, new_primMinusNatS(vuz7600), new_primMinusNatS(vuz7600)) 15.07/5.61 15.07/5.61 The TRS R consists of the following rules: 15.07/5.61 15.07/5.61 new_primMinusNatS(vuz740000) -> Succ(vuz740000) 15.07/5.61 new_primMinusNatS0 -> Zero 15.07/5.61 15.07/5.61 The set Q consists of the following terms: 15.07/5.61 15.07/5.61 new_primMinusNatS(x0) 15.07/5.61 new_primMinusNatS0 15.07/5.61 15.07/5.61 We have to consider all minimal (P,Q,R)-chains. 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (27) DependencyGraphProof (EQUIVALENT) 15.07/5.61 The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 1 SCC with 1 less node. 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (28) 15.07/5.61 Obligation: 15.07/5.61 Q DP problem: 15.07/5.61 The TRS P consists of the following rules: 15.07/5.61 15.07/5.61 new_quot(vuz69, Succ(Succ(vuz7600)), vuz75) -> new_quot(vuz69, new_primMinusNatS(vuz7600), new_primMinusNatS(vuz7600)) 15.07/5.61 15.07/5.61 The TRS R consists of the following rules: 15.07/5.61 15.07/5.61 new_primMinusNatS(vuz740000) -> Succ(vuz740000) 15.07/5.61 new_primMinusNatS0 -> Zero 15.07/5.61 15.07/5.61 The set Q consists of the following terms: 15.07/5.61 15.07/5.61 new_primMinusNatS(x0) 15.07/5.61 new_primMinusNatS0 15.07/5.61 15.07/5.61 We have to consider all minimal (P,Q,R)-chains. 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (29) MRRProof (EQUIVALENT) 15.07/5.61 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. 15.07/5.61 15.07/5.61 Strictly oriented dependency pairs: 15.07/5.61 15.07/5.61 new_quot(vuz69, Succ(Succ(vuz7600)), vuz75) -> new_quot(vuz69, new_primMinusNatS(vuz7600), new_primMinusNatS(vuz7600)) 15.07/5.61 15.07/5.61 15.07/5.61 Used ordering: Polynomial interpretation [POLO]: 15.07/5.61 15.07/5.61 POL(Succ(x_1)) = 1 + 2*x_1 15.07/5.61 POL(Zero) = 2 15.07/5.61 POL(new_primMinusNatS(x_1)) = 1 + 2*x_1 15.07/5.61 POL(new_primMinusNatS0) = 2 15.07/5.61 POL(new_quot(x_1, x_2, x_3)) = x_1 + 2*x_2 + x_3 15.07/5.61 15.07/5.61 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (30) 15.07/5.61 Obligation: 15.07/5.61 Q DP problem: 15.07/5.61 P is empty. 15.07/5.61 The TRS R consists of the following rules: 15.07/5.61 15.07/5.61 new_primMinusNatS(vuz740000) -> Succ(vuz740000) 15.07/5.61 new_primMinusNatS0 -> Zero 15.07/5.61 15.07/5.61 The set Q consists of the following terms: 15.07/5.61 15.07/5.61 new_primMinusNatS(x0) 15.07/5.61 new_primMinusNatS0 15.07/5.61 15.07/5.61 We have to consider all minimal (P,Q,R)-chains. 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (31) PisEmptyProof (EQUIVALENT) 15.07/5.61 The TRS P is empty. Hence, there is no (P,Q,R) chain. 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (32) 15.07/5.61 YES 15.07/5.61 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (33) 15.07/5.61 Obligation: 15.07/5.61 Q DP problem: 15.07/5.61 The TRS P consists of the following rules: 15.07/5.61 15.07/5.61 new_quot0(Succ(vuz4100)) -> new_quot0(vuz4100) 15.07/5.61 15.07/5.61 R is empty. 15.07/5.61 Q is empty. 15.07/5.61 We have to consider all minimal (P,Q,R)-chains. 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (34) QDPSizeChangeProof (EQUIVALENT) 15.07/5.61 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. 15.07/5.61 15.07/5.61 From the DPs we obtained the following set of size-change graphs: 15.07/5.61 *new_quot0(Succ(vuz4100)) -> new_quot0(vuz4100) 15.07/5.61 The graph contains the following edges 1 > 1 15.07/5.61 15.07/5.61 15.07/5.61 ---------------------------------------- 15.07/5.61 15.07/5.61 (35) 15.07/5.61 YES 15.32/6.68 EOF