12.25/4.87 YES 14.90/5.57 proof of /export/starexec/sandbox/benchmark/theBenchmark.hs 14.90/5.57 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 14.90/5.57 14.90/5.57 14.90/5.57 H-Termination with start terms of the given HASKELL could be proven: 14.90/5.57 14.90/5.57 (0) HASKELL 14.90/5.57 (1) IFR [EQUIVALENT, 0 ms] 14.90/5.57 (2) HASKELL 14.90/5.57 (3) BR [EQUIVALENT, 0 ms] 14.90/5.57 (4) HASKELL 14.90/5.57 (5) COR [EQUIVALENT, 20 ms] 14.90/5.57 (6) HASKELL 14.90/5.57 (7) LetRed [EQUIVALENT, 0 ms] 14.90/5.57 (8) HASKELL 14.90/5.57 (9) NumRed [SOUND, 0 ms] 14.90/5.57 (10) HASKELL 14.90/5.57 (11) Narrow [SOUND, 0 ms] 14.90/5.57 (12) AND 14.90/5.57 (13) QDP 14.90/5.57 (14) DependencyGraphProof [EQUIVALENT, 0 ms] 14.90/5.57 (15) QDP 14.90/5.57 (16) MRRProof [EQUIVALENT, 0 ms] 14.90/5.57 (17) QDP 14.90/5.57 (18) PisEmptyProof [EQUIVALENT, 0 ms] 14.90/5.57 (19) YES 14.90/5.57 (20) QDP 14.90/5.57 (21) QDPSizeChangeProof [EQUIVALENT, 0 ms] 14.90/5.57 (22) YES 14.90/5.57 (23) QDP 14.90/5.57 (24) QDPSizeChangeProof [EQUIVALENT, 0 ms] 14.90/5.57 (25) YES 14.90/5.57 (26) QDP 14.90/5.57 (27) DependencyGraphProof [EQUIVALENT, 0 ms] 14.90/5.57 (28) QDP 14.90/5.57 (29) MRRProof [EQUIVALENT, 0 ms] 14.90/5.57 (30) QDP 14.90/5.57 (31) PisEmptyProof [EQUIVALENT, 0 ms] 14.90/5.57 (32) YES 14.90/5.57 (33) QDP 14.90/5.57 (34) QDPSizeChangeProof [EQUIVALENT, 0 ms] 14.90/5.57 (35) YES 14.90/5.57 14.90/5.57 14.90/5.57 ---------------------------------------- 14.90/5.57 14.90/5.57 (0) 14.90/5.57 Obligation: 14.90/5.57 mainModule Main 14.90/5.57 module Main where { 14.90/5.57 import qualified Prelude; 14.90/5.57 } 14.90/5.57 14.90/5.57 ---------------------------------------- 14.90/5.57 14.90/5.57 (1) IFR (EQUIVALENT) 14.90/5.57 If Reductions: 14.90/5.57 The following If expression 14.90/5.57 "if primGEqNatS x y then Succ (primDivNatS (primMinusNatS x y) (Succ y)) else Zero" 14.90/5.57 is transformed to 14.90/5.57 "primDivNatS0 x y True = Succ (primDivNatS (primMinusNatS x y) (Succ y)); 14.90/5.57 primDivNatS0 x y False = Zero; 14.90/5.57 " 14.90/5.57 The following If expression 14.90/5.57 "if primGEqNatS x y then primModNatS (primMinusNatS x y) (Succ y) else Succ x" 14.90/5.57 is transformed to 14.90/5.57 "primModNatS0 x y True = primModNatS (primMinusNatS x y) (Succ y); 14.90/5.57 primModNatS0 x y False = Succ x; 14.90/5.57 " 14.90/5.57 14.90/5.57 ---------------------------------------- 14.90/5.57 14.90/5.57 (2) 14.90/5.57 Obligation: 14.90/5.57 mainModule Main 14.90/5.57 module Main where { 14.90/5.57 import qualified Prelude; 14.90/5.57 } 14.90/5.57 14.90/5.57 ---------------------------------------- 14.90/5.57 14.90/5.57 (3) BR (EQUIVALENT) 14.90/5.57 Replaced joker patterns by fresh variables and removed binding patterns. 14.90/5.57 ---------------------------------------- 14.90/5.57 14.90/5.57 (4) 14.90/5.57 Obligation: 14.90/5.57 mainModule Main 14.90/5.57 module Main where { 14.90/5.57 import qualified Prelude; 14.90/5.57 } 14.90/5.57 14.90/5.57 ---------------------------------------- 14.90/5.57 14.90/5.57 (5) COR (EQUIVALENT) 14.90/5.57 Cond Reductions: 14.90/5.57 The following Function with conditions 14.90/5.57 "absReal x|x >= 0x|otherwise`negate` x; 14.90/5.57 " 14.90/5.57 is transformed to 14.90/5.57 "absReal x = absReal2 x; 14.90/5.57 " 14.90/5.57 "absReal1 x True = x; 14.90/5.57 absReal1 x False = absReal0 x otherwise; 14.90/5.57 " 14.90/5.57 "absReal0 x True = `negate` x; 14.90/5.57 " 14.90/5.57 "absReal2 x = absReal1 x (x >= 0); 14.90/5.57 " 14.90/5.57 The following Function with conditions 14.90/5.57 "gcd' x 0 = x; 14.90/5.57 gcd' x y = gcd' y (x `rem` y); 14.90/5.57 " 14.90/5.57 is transformed to 14.90/5.57 "gcd' x xz = gcd'2 x xz; 14.90/5.57 gcd' x y = gcd'0 x y; 14.90/5.57 " 14.90/5.57 "gcd'0 x y = gcd' y (x `rem` y); 14.90/5.57 " 14.90/5.57 "gcd'1 True x xz = x; 14.90/5.57 gcd'1 yu yv yw = gcd'0 yv yw; 14.90/5.57 " 14.90/5.57 "gcd'2 x xz = gcd'1 (xz == 0) x xz; 14.90/5.57 gcd'2 yx yy = gcd'0 yx yy; 14.90/5.57 " 14.90/5.57 The following Function with conditions 14.90/5.57 "gcd 0 0 = error []; 14.90/5.57 gcd x y = gcd' (abs x) (abs y) where { 14.90/5.57 gcd' x 0 = x; 14.90/5.57 gcd' x y = gcd' y (x `rem` y); 14.90/5.57 } 14.90/5.57 ; 14.90/5.57 " 14.90/5.57 is transformed to 14.90/5.57 "gcd yz zu = gcd3 yz zu; 14.90/5.57 gcd x y = gcd0 x y; 14.90/5.57 " 14.90/5.57 "gcd0 x y = gcd' (abs x) (abs y) where { 14.90/5.57 gcd' x xz = gcd'2 x xz; 14.90/5.57 gcd' x y = gcd'0 x y; 14.90/5.57 ; 14.90/5.57 gcd'0 x y = gcd' y (x `rem` y); 14.90/5.57 ; 14.90/5.57 gcd'1 True x xz = x; 14.90/5.57 gcd'1 yu yv yw = gcd'0 yv yw; 14.90/5.57 ; 14.90/5.57 gcd'2 x xz = gcd'1 (xz == 0) x xz; 14.90/5.57 gcd'2 yx yy = gcd'0 yx yy; 14.90/5.57 } 14.90/5.57 ; 14.90/5.57 " 14.90/5.57 "gcd1 True yz zu = error []; 14.90/5.57 gcd1 zv zw zx = gcd0 zw zx; 14.90/5.57 " 14.90/5.57 "gcd2 True yz zu = gcd1 (zu == 0) yz zu; 14.90/5.57 gcd2 zy zz vuu = gcd0 zz vuu; 14.90/5.57 " 14.90/5.57 "gcd3 yz zu = gcd2 (yz == 0) yz zu; 14.90/5.57 gcd3 vuv vuw = gcd0 vuv vuw; 14.90/5.57 " 14.90/5.57 The following Function with conditions 14.90/5.57 "undefined |Falseundefined; 14.90/5.57 " 14.90/5.57 is transformed to 14.90/5.57 "undefined = undefined1; 14.90/5.57 " 14.90/5.57 "undefined0 True = undefined; 14.90/5.57 " 14.90/5.57 "undefined1 = undefined0 False; 14.90/5.57 " 14.90/5.57 The following Function with conditions 14.90/5.57 "reduce x y|y == 0error []|otherwisex `quot` d :% (y `quot` d) where { 14.90/5.57 d = gcd x y; 14.90/5.57 } 14.90/5.57 ; 14.90/5.57 " 14.90/5.57 is transformed to 14.90/5.57 "reduce x y = reduce2 x y; 14.90/5.57 " 14.90/5.57 "reduce2 x y = reduce1 x y (y == 0) where { 14.90/5.57 d = gcd x y; 14.90/5.57 ; 14.90/5.57 reduce0 x y True = x `quot` d :% (y `quot` d); 14.90/5.57 ; 14.90/5.57 reduce1 x y True = error []; 14.90/5.57 reduce1 x y False = reduce0 x y otherwise; 14.90/5.57 } 14.90/5.57 ; 14.90/5.57 " 14.90/5.57 The following Function with conditions 14.90/5.57 "signumReal x|x == 00|x > 01|otherwise-1; 14.90/5.57 " 14.90/5.57 is transformed to 14.90/5.57 "signumReal x = signumReal3 x; 14.90/5.57 " 14.90/5.57 "signumReal0 x True = -1; 14.90/5.57 " 14.90/5.57 "signumReal2 x True = 0; 14.90/5.57 signumReal2 x False = signumReal1 x (x > 0); 14.90/5.57 " 14.90/5.57 "signumReal1 x True = 1; 14.90/5.57 signumReal1 x False = signumReal0 x otherwise; 14.90/5.57 " 14.90/5.57 "signumReal3 x = signumReal2 x (x == 0); 14.90/5.57 " 14.90/5.57 14.90/5.57 ---------------------------------------- 14.90/5.57 14.90/5.57 (6) 14.90/5.57 Obligation: 14.90/5.57 mainModule Main 14.90/5.57 module Main where { 14.90/5.57 import qualified Prelude; 14.90/5.57 } 14.90/5.57 14.90/5.57 ---------------------------------------- 14.90/5.57 14.90/5.57 (7) LetRed (EQUIVALENT) 14.90/5.57 Let/Where Reductions: 14.90/5.57 The bindings of the following Let/Where expression 14.90/5.57 "gcd' (abs x) (abs y) where { 14.90/5.57 gcd' x xz = gcd'2 x xz; 14.90/5.57 gcd' x y = gcd'0 x y; 14.90/5.57 ; 14.90/5.57 gcd'0 x y = gcd' y (x `rem` y); 14.90/5.57 ; 14.90/5.57 gcd'1 True x xz = x; 14.90/5.57 gcd'1 yu yv yw = gcd'0 yv yw; 14.90/5.57 ; 14.90/5.57 gcd'2 x xz = gcd'1 (xz == 0) x xz; 14.90/5.57 gcd'2 yx yy = gcd'0 yx yy; 14.90/5.57 } 14.90/5.57 " 14.90/5.57 are unpacked to the following functions on top level 14.90/5.57 "gcd0Gcd'2 x xz = gcd0Gcd'1 (xz == 0) x xz; 14.90/5.57 gcd0Gcd'2 yx yy = gcd0Gcd'0 yx yy; 14.90/5.57 " 14.90/5.57 "gcd0Gcd'1 True x xz = x; 14.90/5.57 gcd0Gcd'1 yu yv yw = gcd0Gcd'0 yv yw; 14.90/5.57 " 14.90/5.57 "gcd0Gcd'0 x y = gcd0Gcd' y (x `rem` y); 14.90/5.57 " 14.90/5.57 "gcd0Gcd' x xz = gcd0Gcd'2 x xz; 14.90/5.57 gcd0Gcd' x y = gcd0Gcd'0 x y; 14.90/5.57 " 14.90/5.57 The bindings of the following Let/Where expression 14.90/5.57 "reduce1 x y (y == 0) where { 14.90/5.57 d = gcd x y; 14.90/5.57 ; 14.90/5.57 reduce0 x y True = x `quot` d :% (y `quot` d); 14.90/5.57 ; 14.90/5.57 reduce1 x y True = error []; 14.90/5.57 reduce1 x y False = reduce0 x y otherwise; 14.90/5.57 } 14.90/5.57 " 14.90/5.57 are unpacked to the following functions on top level 14.90/5.57 "reduce2Reduce1 vux vuy x y True = error []; 14.90/5.57 reduce2Reduce1 vux vuy x y False = reduce2Reduce0 vux vuy x y otherwise; 14.90/5.57 " 14.90/5.57 "reduce2D vux vuy = gcd vux vuy; 14.90/5.57 " 14.90/5.57 "reduce2Reduce0 vux vuy x y True = x `quot` reduce2D vux vuy :% (y `quot` reduce2D vux vuy); 14.90/5.57 " 14.90/5.57 14.90/5.57 ---------------------------------------- 14.90/5.57 14.90/5.57 (8) 14.90/5.57 Obligation: 14.90/5.57 mainModule Main 14.90/5.57 module Main where { 14.90/5.57 import qualified Prelude; 14.90/5.57 } 14.90/5.57 14.90/5.57 ---------------------------------------- 14.90/5.57 14.90/5.57 (9) NumRed (SOUND) 14.90/5.57 Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero. 14.90/5.57 ---------------------------------------- 14.90/5.57 14.90/5.57 (10) 14.90/5.57 Obligation: 14.90/5.57 mainModule Main 14.90/5.57 module Main where { 14.90/5.57 import qualified Prelude; 14.90/5.57 } 14.90/5.57 14.90/5.57 ---------------------------------------- 14.90/5.57 14.90/5.57 (11) Narrow (SOUND) 14.90/5.57 Haskell To QDPs 14.90/5.57 14.90/5.57 digraph dp_graph { 14.90/5.57 node [outthreshold=100, inthreshold=100];1[label="realToFrac",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3]; 14.90/5.57 3[label="realToFrac vuz3",fontsize=16,color="black",shape="triangle"];3 -> 4[label="",style="solid", color="black", weight=3]; 14.90/5.57 4[label="fromRational . toRational",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3]; 14.90/5.57 5[label="fromRational (toRational vuz3)",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3]; 14.90/5.57 6[label="primRationalToFloat (toRational vuz3)",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3]; 14.90/5.57 7 -> 624[label="",style="dashed", color="red", weight=0]; 14.90/5.57 7[label="rationalToFloat (toRational vuz3)",fontsize=16,color="magenta"];7 -> 625[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 625[label="toRational vuz3",fontsize=16,color="black",shape="box"];625 -> 914[label="",style="solid", color="black", weight=3]; 14.90/5.57 624[label="rationalToFloat vuz35",fontsize=16,color="burlywood",shape="triangle"];1796[label="vuz35/vuz350 :% vuz351",fontsize=10,color="white",style="solid",shape="box"];624 -> 1796[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1796 -> 915[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 914[label="toInteger vuz3 % fromInt (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];914 -> 916[label="",style="solid", color="black", weight=3]; 14.90/5.57 915[label="rationalToFloat (vuz350 :% vuz351)",fontsize=16,color="burlywood",shape="box"];1797[label="vuz350/Integer vuz3500",fontsize=10,color="white",style="solid",shape="box"];915 -> 1797[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1797 -> 917[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 916[label="reduce (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];916 -> 918[label="",style="solid", color="black", weight=3]; 14.90/5.57 917[label="rationalToFloat (Integer vuz3500 :% vuz351)",fontsize=16,color="burlywood",shape="box"];1798[label="vuz351/Integer vuz3510",fontsize=10,color="white",style="solid",shape="box"];917 -> 1798[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1798 -> 919[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 918[label="reduce2 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];918 -> 920[label="",style="solid", color="black", weight=3]; 14.90/5.57 919[label="rationalToFloat (Integer vuz3500 :% Integer vuz3510)",fontsize=16,color="black",shape="box"];919 -> 921[label="",style="solid", color="black", weight=3]; 14.90/5.57 920[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero)))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero)))) (abs (fromInt (Pos (Succ Zero))) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];920 -> 922[label="",style="solid", color="black", weight=3]; 14.90/5.57 921[label="Float vuz3500 vuz3510",fontsize=16,color="green",shape="box"];922[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal (fromInt (Pos (Succ Zero)))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal (fromInt (Pos (Succ Zero)))) (absReal (fromInt (Pos (Succ Zero))) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];922 -> 923[label="",style="solid", color="black", weight=3]; 14.90/5.57 923[label="reduce2Reduce1 (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal2 (fromInt (Pos (Succ Zero)))) (toInteger vuz3 * signum (fromInt (Pos (Succ Zero)))) (absReal2 (fromInt (Pos (Succ Zero)))) (absReal2 (fromInt (Pos (Succ Zero))) == fromInt (Pos Zero))",fontsize=16,color="black",shape="box"];923 -> 924[label="",style="solid", color="black", weight=3]; 14.90/5.57 924[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"];924 -> 925[label="",style="solid", color="black", weight=3]; 14.90/5.57 925[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"];925 -> 926[label="",style="solid", color="black", weight=3]; 14.90/5.57 926[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"];926 -> 927[label="",style="solid", color="black", weight=3]; 14.90/5.57 927[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"];927 -> 928[label="",style="solid", color="black", weight=3]; 14.90/5.57 928[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"];928 -> 929[label="",style="solid", color="black", weight=3]; 14.90/5.57 929[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"];929 -> 930[label="",style="solid", color="black", weight=3]; 14.90/5.57 930[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"];930 -> 931[label="",style="solid", color="black", weight=3]; 14.90/5.57 931[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"];931 -> 932[label="",style="solid", color="black", weight=3]; 14.90/5.57 932[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"];932 -> 933[label="",style="solid", color="black", weight=3]; 14.90/5.57 933[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"];933 -> 934[label="",style="solid", color="black", weight=3]; 14.90/5.57 934[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"];934 -> 935[label="",style="solid", color="black", weight=3]; 14.90/5.57 935[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"];935 -> 936[label="",style="solid", color="black", weight=3]; 14.90/5.57 936[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"];936 -> 937[label="",style="solid", color="black", weight=3]; 14.90/5.57 937[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"];937 -> 938[label="",style="solid", color="black", weight=3]; 14.90/5.57 938[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"];938 -> 939[label="",style="solid", color="black", weight=3]; 14.90/5.57 939[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"];939 -> 940[label="",style="solid", color="black", weight=3]; 14.90/5.57 940[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"];940 -> 941[label="",style="dashed", color="green", weight=3]; 14.90/5.57 940 -> 942[label="",style="dashed", color="green", weight=3]; 14.90/5.57 941[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"];941 -> 943[label="",style="solid", color="black", weight=3]; 14.90/5.57 942[label="Integer (Pos (Succ Zero)) `quot` reduce2D (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];942 -> 944[label="",style="solid", color="black", weight=3]; 14.90/5.57 943[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"];943 -> 945[label="",style="solid", color="black", weight=3]; 14.90/5.57 944[label="Integer (Pos (Succ Zero)) `quot` gcd (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];944 -> 946[label="",style="solid", color="black", weight=3]; 14.90/5.57 945[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"];945 -> 947[label="",style="solid", color="black", weight=3]; 14.90/5.57 946[label="Integer (Pos (Succ Zero)) `quot` gcd3 (toInteger vuz3 * signum (Integer (Pos (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];946 -> 948[label="",style="solid", color="black", weight=3]; 14.90/5.57 947[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"];947 -> 949[label="",style="solid", color="black", weight=3]; 14.90/5.57 948[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"];948 -> 950[label="",style="solid", color="black", weight=3]; 14.90/5.57 949[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"];949 -> 951[label="",style="solid", color="black", weight=3]; 14.90/5.57 950[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"];950 -> 952[label="",style="solid", color="black", weight=3]; 14.90/5.57 951[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"];951 -> 953[label="",style="solid", color="black", weight=3]; 14.90/5.57 952[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"];952 -> 954[label="",style="solid", color="black", weight=3]; 14.90/5.57 953[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"];953 -> 955[label="",style="solid", color="black", weight=3]; 14.90/5.57 954[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"];954 -> 956[label="",style="solid", color="black", weight=3]; 14.90/5.57 955[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"];955 -> 957[label="",style="solid", color="black", weight=3]; 14.90/5.57 956[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"];956 -> 958[label="",style="solid", color="black", weight=3]; 14.90/5.57 957[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"];957 -> 959[label="",style="solid", color="black", weight=3]; 14.90/5.57 958[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"];958 -> 960[label="",style="solid", color="black", weight=3]; 14.90/5.57 959[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"];959 -> 961[label="",style="solid", color="black", weight=3]; 14.90/5.57 960[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"];960 -> 962[label="",style="solid", color="black", weight=3]; 14.90/5.57 961[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"];961 -> 963[label="",style="solid", color="black", weight=3]; 14.90/5.57 962[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"];962 -> 964[label="",style="solid", color="black", weight=3]; 14.90/5.57 963[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"];963 -> 965[label="",style="solid", color="black", weight=3]; 14.90/5.57 964[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"];964 -> 966[label="",style="solid", color="black", weight=3]; 14.90/5.57 965[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"];965 -> 967[label="",style="solid", color="black", weight=3]; 14.90/5.57 966[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"];966 -> 968[label="",style="solid", color="black", weight=3]; 14.90/5.57 967[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"];967 -> 969[label="",style="solid", color="black", weight=3]; 14.90/5.57 968[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"];968 -> 970[label="",style="solid", color="black", weight=3]; 14.90/5.57 969[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"];969 -> 971[label="",style="solid", color="black", weight=3]; 14.90/5.57 970[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"];970 -> 972[label="",style="solid", color="black", weight=3]; 14.90/5.57 971[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"];971 -> 973[label="",style="solid", color="black", weight=3]; 14.90/5.57 972[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"];972 -> 974[label="",style="solid", color="black", weight=3]; 14.90/5.57 973[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"];973 -> 975[label="",style="solid", color="black", weight=3]; 14.90/5.57 974[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"];974 -> 976[label="",style="solid", color="black", weight=3]; 14.90/5.57 975[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"];975 -> 977[label="",style="solid", color="black", weight=3]; 14.90/5.57 976[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"];976 -> 978[label="",style="solid", color="black", weight=3]; 14.90/5.57 977[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"];977 -> 979[label="",style="solid", color="black", weight=3]; 14.90/5.57 978[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"];978 -> 980[label="",style="solid", color="black", weight=3]; 14.90/5.57 979[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"];979 -> 981[label="",style="solid", color="black", weight=3]; 14.90/5.57 980[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"];980 -> 982[label="",style="solid", color="black", weight=3]; 14.90/5.57 981[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"];981 -> 983[label="",style="solid", color="black", weight=3]; 14.90/5.57 982[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"];982 -> 984[label="",style="solid", color="black", weight=3]; 14.90/5.57 983[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"];983 -> 985[label="",style="solid", color="black", weight=3]; 14.90/5.57 984[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"];984 -> 986[label="",style="solid", color="black", weight=3]; 14.90/5.57 985[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"];1799[label="vuz3/Pos vuz30",fontsize=10,color="white",style="solid",shape="box"];985 -> 1799[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1799 -> 987[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1800[label="vuz3/Neg vuz30",fontsize=10,color="white",style="solid",shape="box"];985 -> 1800[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1800 -> 988[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 986[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"];1801[label="vuz3/Pos vuz30",fontsize=10,color="white",style="solid",shape="box"];986 -> 1801[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1801 -> 989[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1802[label="vuz3/Neg vuz30",fontsize=10,color="white",style="solid",shape="box"];986 -> 1802[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1802 -> 990[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 987[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"];987 -> 991[label="",style="solid", color="black", weight=3]; 14.90/5.57 988[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"];988 -> 992[label="",style="solid", color="black", weight=3]; 14.90/5.57 989[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"];989 -> 993[label="",style="solid", color="black", weight=3]; 14.90/5.57 990[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"];990 -> 994[label="",style="solid", color="black", weight=3]; 14.90/5.57 991[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"];1803[label="vuz30/Succ vuz300",fontsize=10,color="white",style="solid",shape="box"];991 -> 1803[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1803 -> 995[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1804[label="vuz30/Zero",fontsize=10,color="white",style="solid",shape="box"];991 -> 1804[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1804 -> 996[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 992[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"];1805[label="vuz30/Succ vuz300",fontsize=10,color="white",style="solid",shape="box"];992 -> 1805[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1805 -> 997[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1806[label="vuz30/Zero",fontsize=10,color="white",style="solid",shape="box"];992 -> 1806[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1806 -> 998[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 993 -> 1263[label="",style="dashed", color="red", weight=0]; 14.90/5.57 993[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"];993 -> 1264[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 993 -> 1265[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 994 -> 1319[label="",style="dashed", color="red", weight=0]; 14.90/5.57 994[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"];994 -> 1320[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 994 -> 1321[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 995[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"];995 -> 1003[label="",style="solid", color="black", weight=3]; 14.90/5.57 996[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"];996 -> 1004[label="",style="solid", color="black", weight=3]; 14.90/5.57 997[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"];997 -> 1005[label="",style="solid", color="black", weight=3]; 14.90/5.57 998[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"];998 -> 1006[label="",style="solid", color="black", weight=3]; 14.90/5.57 1264 -> 1205[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1264[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];1264 -> 1310[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1265 -> 1205[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1265[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];1265 -> 1311[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1263[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos vuz45) (Pos Zero)) (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];1807[label="vuz45/Succ vuz450",fontsize=10,color="white",style="solid",shape="box"];1263 -> 1807[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1807 -> 1312[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1808[label="vuz45/Zero",fontsize=10,color="white",style="solid",shape="box"];1263 -> 1808[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1808 -> 1313[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1320 -> 1205[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1320[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];1320 -> 1362[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1321 -> 1205[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1321[label="primMulNat vuz30 (Succ Zero)",fontsize=16,color="magenta"];1321 -> 1363[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1319[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg vuz59) (Pos Zero)) (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];1809[label="vuz59/Succ vuz590",fontsize=10,color="white",style="solid",shape="box"];1319 -> 1809[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1809 -> 1364[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1810[label="vuz59/Zero",fontsize=10,color="white",style="solid",shape="box"];1319 -> 1810[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1810 -> 1365[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1003 -> 1204[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1003[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"];1003 -> 1205[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1004[label="Integer (Pos Zero) `quot` gcd2 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1004 -> 1013[label="",style="solid", color="black", weight=3]; 14.90/5.57 1005 -> 1234[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1005[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"];1005 -> 1235[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1006[label="Integer (Neg Zero) `quot` gcd2 (primEqInt (Neg Zero) (Pos Zero)) (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1006 -> 1016[label="",style="solid", color="black", weight=3]; 14.90/5.57 1310[label="vuz30",fontsize=16,color="green",shape="box"];1205[label="primMulNat vuz300 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];1811[label="vuz300/Succ vuz3000",fontsize=10,color="white",style="solid",shape="box"];1205 -> 1811[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1811 -> 1221[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1812[label="vuz300/Zero",fontsize=10,color="white",style="solid",shape="box"];1205 -> 1812[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1812 -> 1222[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1311[label="vuz30",fontsize=16,color="green",shape="box"];1312[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos (Succ vuz450)) (Pos Zero)) (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1312 -> 1366[label="",style="solid", color="black", weight=3]; 14.90/5.57 1313[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1313 -> 1367[label="",style="solid", color="black", weight=3]; 14.90/5.57 1362[label="vuz30",fontsize=16,color="green",shape="box"];1363[label="vuz30",fontsize=16,color="green",shape="box"];1364[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg (Succ vuz590)) (Pos Zero)) (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1364 -> 1374[label="",style="solid", color="black", weight=3]; 14.90/5.57 1365[label="Integer (Pos (Succ Zero)) `quot` gcd2 (primEqInt (Neg Zero) (Pos Zero)) (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1365 -> 1375[label="",style="solid", color="black", weight=3]; 14.90/5.57 1204[label="Integer (Pos (primPlusNat vuz37 (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primPlusNat vuz37 (Succ Zero))) (Pos Zero)) (Integer (Pos (primPlusNat vuz37 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];1813[label="vuz37/Succ vuz370",fontsize=10,color="white",style="solid",shape="box"];1204 -> 1813[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1813 -> 1223[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1814[label="vuz37/Zero",fontsize=10,color="white",style="solid",shape="box"];1204 -> 1814[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1814 -> 1224[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1013[label="Integer (Pos Zero) `quot` gcd2 True (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1013 -> 1025[label="",style="solid", color="black", weight=3]; 14.90/5.57 1235 -> 1205[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1235[label="primMulNat vuz300 (Succ Zero)",fontsize=16,color="magenta"];1235 -> 1251[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1234[label="Integer (Neg (primPlusNat vuz42 (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primPlusNat vuz42 (Succ Zero))) (Pos Zero)) (Integer (Neg (primPlusNat vuz42 (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="triangle"];1815[label="vuz42/Succ vuz420",fontsize=10,color="white",style="solid",shape="box"];1234 -> 1815[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1815 -> 1252[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1816[label="vuz42/Zero",fontsize=10,color="white",style="solid",shape="box"];1234 -> 1816[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1816 -> 1253[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1016[label="Integer (Neg Zero) `quot` gcd2 True (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1016 -> 1028[label="",style="solid", color="black", weight=3]; 14.90/5.57 1221[label="primMulNat (Succ vuz3000) (Succ Zero)",fontsize=16,color="black",shape="box"];1221 -> 1230[label="",style="solid", color="black", weight=3]; 14.90/5.57 1222[label="primMulNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];1222 -> 1231[label="",style="solid", color="black", weight=3]; 14.90/5.57 1366[label="Integer (Pos (Succ Zero)) `quot` gcd2 False (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1366 -> 1376[label="",style="solid", color="black", weight=3]; 14.90/5.57 1367[label="Integer (Pos (Succ Zero)) `quot` gcd2 True (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1367 -> 1377[label="",style="solid", color="black", weight=3]; 14.90/5.57 1374[label="Integer (Pos (Succ Zero)) `quot` gcd2 False (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1374 -> 1385[label="",style="solid", color="black", weight=3]; 14.90/5.57 1375[label="Integer (Pos (Succ Zero)) `quot` gcd2 True (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1375 -> 1386[label="",style="solid", color="black", weight=3]; 14.90/5.57 1223[label="Integer (Pos (primPlusNat (Succ vuz370) (Succ Zero))) `quot` gcd2 (primEqInt (Pos (primPlusNat (Succ vuz370) (Succ Zero))) (Pos Zero)) (Integer (Pos (primPlusNat (Succ vuz370) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1223 -> 1232[label="",style="solid", color="black", weight=3]; 14.90/5.57 1224[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"];1224 -> 1233[label="",style="solid", color="black", weight=3]; 14.90/5.57 1025[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"];1025 -> 1038[label="",style="solid", color="black", weight=3]; 14.90/5.57 1251[label="vuz300",fontsize=16,color="green",shape="box"];1252[label="Integer (Neg (primPlusNat (Succ vuz420) (Succ Zero))) `quot` gcd2 (primEqInt (Neg (primPlusNat (Succ vuz420) (Succ Zero))) (Pos Zero)) (Integer (Neg (primPlusNat (Succ vuz420) (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1252 -> 1256[label="",style="solid", color="black", weight=3]; 14.90/5.57 1253[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"];1253 -> 1257[label="",style="solid", color="black", weight=3]; 14.90/5.57 1028[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"];1028 -> 1042[label="",style="solid", color="black", weight=3]; 14.90/5.57 1230 -> 1254[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1230[label="primPlusNat (primMulNat vuz3000 (Succ Zero)) (Succ Zero)",fontsize=16,color="magenta"];1230 -> 1255[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1231[label="Zero",fontsize=16,color="green",shape="box"];1376[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="triangle"];1376 -> 1387[label="",style="solid", color="black", weight=3]; 14.90/5.57 1377[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1377 -> 1388[label="",style="solid", color="black", weight=3]; 14.90/5.57 1385[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="triangle"];1385 -> 1392[label="",style="solid", color="black", weight=3]; 14.90/5.57 1386[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1386 -> 1393[label="",style="solid", color="black", weight=3]; 14.90/5.57 1232[label="Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero)))) `quot` gcd2 (primEqInt (Pos (Succ (Succ (primPlusNat vuz370 Zero)))) (Pos Zero)) (Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1232 -> 1258[label="",style="solid", color="black", weight=3]; 14.90/5.57 1233 -> 1263[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1233[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"];1233 -> 1274[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1233 -> 1275[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1038[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"];1038 -> 1054[label="",style="solid", color="black", weight=3]; 14.90/5.57 1256[label="Integer (Neg (Succ (Succ (primPlusNat vuz420 Zero)))) `quot` gcd2 (primEqInt (Neg (Succ (Succ (primPlusNat vuz420 Zero)))) (Pos Zero)) (Integer (Neg (Succ (Succ (primPlusNat vuz420 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1256 -> 1314[label="",style="solid", color="black", weight=3]; 14.90/5.57 1257[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"];1257 -> 1315[label="",style="solid", color="black", weight=3]; 14.90/5.57 1042[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"];1042 -> 1058[label="",style="solid", color="black", weight=3]; 14.90/5.57 1255 -> 1205[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1255[label="primMulNat vuz3000 (Succ Zero)",fontsize=16,color="magenta"];1255 -> 1259[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1254[label="primPlusNat vuz43 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];1817[label="vuz43/Succ vuz430",fontsize=10,color="white",style="solid",shape="box"];1254 -> 1817[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1817 -> 1260[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1818[label="vuz43/Zero",fontsize=10,color="white",style="solid",shape="box"];1254 -> 1818[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1818 -> 1261[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1387[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (abs (Integer (Pos vuz44))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1387 -> 1394[label="",style="solid", color="black", weight=3]; 14.90/5.57 1388[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1388 -> 1395[label="",style="solid", color="black", weight=3]; 14.90/5.57 1392[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (abs (Integer (Neg vuz58))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1392 -> 1400[label="",style="solid", color="black", weight=3]; 14.90/5.57 1393[label="Integer (Pos (Succ Zero)) `quot` gcd1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1393 -> 1401[label="",style="solid", color="black", weight=3]; 14.90/5.57 1258[label="Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero)))) `quot` gcd2 False (Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1258 -> 1316[label="",style="solid", color="black", weight=3]; 14.90/5.57 1274[label="Succ Zero",fontsize=16,color="green",shape="box"];1275[label="Succ Zero",fontsize=16,color="green",shape="box"];1054[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"];1054 -> 1070[label="",style="solid", color="black", weight=3]; 14.90/5.57 1314[label="Integer (Neg (Succ (Succ (primPlusNat vuz420 Zero)))) `quot` gcd2 False (Integer (Neg (Succ (Succ (primPlusNat vuz420 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1314 -> 1368[label="",style="solid", color="black", weight=3]; 14.90/5.57 1315[label="Integer (Neg (Succ Zero)) `quot` gcd2 False (Integer (Neg (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1315 -> 1369[label="",style="solid", color="black", weight=3]; 14.90/5.57 1058[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"];1058 -> 1075[label="",style="solid", color="black", weight=3]; 14.90/5.57 1259[label="vuz3000",fontsize=16,color="green",shape="box"];1260[label="primPlusNat (Succ vuz430) (Succ Zero)",fontsize=16,color="black",shape="box"];1260 -> 1317[label="",style="solid", color="black", weight=3]; 14.90/5.57 1261[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];1261 -> 1318[label="",style="solid", color="black", weight=3]; 14.90/5.57 1394[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (abs (Integer (Pos vuz44))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1394 -> 1402[label="",style="solid", color="black", weight=3]; 14.90/5.57 1395[label="Integer (Pos (Succ Zero)) `quot` gcd1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1395 -> 1403[label="",style="solid", color="black", weight=3]; 14.90/5.57 1400[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (abs (Integer (Neg vuz58))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1400 -> 1415[label="",style="solid", color="black", weight=3]; 14.90/5.57 1401[label="Integer (Pos (Succ Zero)) `quot` gcd1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1401 -> 1416[label="",style="solid", color="black", weight=3]; 14.90/5.57 1316[label="Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero)))) `quot` gcd0 (Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1316 -> 1370[label="",style="solid", color="black", weight=3]; 14.90/5.57 1070[label="Integer (Pos Zero) `quot` gcd1 False (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1070 -> 1089[label="",style="solid", color="black", weight=3]; 14.90/5.57 1368[label="Integer (Neg (Succ (Succ (primPlusNat vuz420 Zero)))) `quot` gcd0 (Integer (Neg (Succ (Succ (primPlusNat vuz420 Zero))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1368 -> 1378[label="",style="solid", color="black", weight=3]; 14.90/5.57 1369[label="Integer (Neg (Succ Zero)) `quot` gcd0 (Integer (Neg (Succ Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1369 -> 1379[label="",style="solid", color="black", weight=3]; 14.90/5.57 1075[label="Integer (Neg Zero) `quot` gcd1 False (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1075 -> 1094[label="",style="solid", color="black", weight=3]; 14.90/5.57 1317[label="Succ (Succ (primPlusNat vuz430 Zero))",fontsize=16,color="green",shape="box"];1317 -> 1371[label="",style="dashed", color="green", weight=3]; 14.90/5.57 1318[label="Succ Zero",fontsize=16,color="green",shape="box"];1402[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1402 -> 1417[label="",style="solid", color="black", weight=3]; 14.90/5.57 1403[label="Integer (Pos (Succ Zero)) `quot` gcd1 False (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1403 -> 1418[label="",style="solid", color="black", weight=3]; 14.90/5.57 1415[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1415 -> 1424[label="",style="solid", color="black", weight=3]; 14.90/5.57 1416[label="Integer (Pos (Succ Zero)) `quot` gcd1 False (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1416 -> 1425[label="",style="solid", color="black", weight=3]; 14.90/5.57 1370[label="Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero)))) `quot` gcd0Gcd' (abs (Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero)))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1370 -> 1380[label="",style="solid", color="black", weight=3]; 14.90/5.57 1089[label="Integer (Pos Zero) `quot` gcd0 (Integer (Pos Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1089 -> 1109[label="",style="solid", color="black", weight=3]; 14.90/5.57 1378 -> 1389[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1378[label="Integer (Neg (Succ (Succ (primPlusNat vuz420 Zero)))) `quot` gcd0Gcd' (abs (Integer (Neg (Succ (Succ (primPlusNat vuz420 Zero)))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="magenta"];1378 -> 1390[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1378 -> 1391[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1379[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd' (abs (Integer (Neg (Succ Zero)))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1379 -> 1396[label="",style="solid", color="black", weight=3]; 14.90/5.57 1094[label="Integer (Neg Zero) `quot` gcd0 (Integer (Neg Zero)) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1094 -> 1115[label="",style="solid", color="black", weight=3]; 14.90/5.57 1371[label="primPlusNat vuz430 Zero",fontsize=16,color="burlywood",shape="triangle"];1819[label="vuz430/Succ vuz4300",fontsize=10,color="white",style="solid",shape="box"];1371 -> 1819[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1819 -> 1381[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1820[label="vuz430/Zero",fontsize=10,color="white",style="solid",shape="box"];1371 -> 1820[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1820 -> 1382[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1417[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1417 -> 1426[label="",style="solid", color="black", weight=3]; 14.90/5.57 1418 -> 1376[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1418[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Pos vuz44)) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];1424[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1424 -> 1432[label="",style="solid", color="black", weight=3]; 14.90/5.57 1425 -> 1385[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1425[label="Integer (Pos (Succ Zero)) `quot` gcd0 (Integer (Neg vuz58)) (Integer (Pos (Succ Zero)))",fontsize=16,color="magenta"];1380 -> 1397[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1380[label="Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero)))) `quot` gcd0Gcd'2 (abs (Integer (Pos (Succ (Succ (primPlusNat vuz370 Zero)))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="magenta"];1380 -> 1398[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1380 -> 1399[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1109[label="Integer (Pos Zero) `quot` gcd0Gcd' (abs (Integer (Pos Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1109 -> 1132[label="",style="solid", color="black", weight=3]; 14.90/5.57 1390 -> 1371[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1390[label="primPlusNat vuz420 Zero",fontsize=16,color="magenta"];1390 -> 1404[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1391 -> 1371[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1391[label="primPlusNat vuz420 Zero",fontsize=16,color="magenta"];1391 -> 1405[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1389[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd' (abs (Integer (Neg (Succ (Succ vuz73))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];1389 -> 1406[label="",style="solid", color="black", weight=3]; 14.90/5.57 1396[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'2 (abs (Integer (Neg (Succ Zero)))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1396 -> 1407[label="",style="solid", color="black", weight=3]; 14.90/5.57 1115[label="Integer (Neg Zero) `quot` gcd0Gcd' (abs (Integer (Neg Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1115 -> 1138[label="",style="solid", color="black", weight=3]; 14.90/5.57 1381[label="primPlusNat (Succ vuz4300) Zero",fontsize=16,color="black",shape="box"];1381 -> 1408[label="",style="solid", color="black", weight=3]; 14.90/5.57 1382[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1382 -> 1409[label="",style="solid", color="black", weight=3]; 14.90/5.57 1426[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1426 -> 1433[label="",style="solid", color="black", weight=3]; 14.90/5.57 1432[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1432 -> 1439[label="",style="solid", color="black", weight=3]; 14.90/5.57 1398 -> 1371[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1398[label="primPlusNat vuz370 Zero",fontsize=16,color="magenta"];1398 -> 1410[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1399 -> 1371[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1399[label="primPlusNat vuz370 Zero",fontsize=16,color="magenta"];1399 -> 1411[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1397[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'2 (abs (Integer (Pos (Succ (Succ vuz75))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];1397 -> 1412[label="",style="solid", color="black", weight=3]; 14.90/5.57 1132[label="Integer (Pos Zero) `quot` gcd0Gcd'2 (abs (Integer (Pos Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1132 -> 1156[label="",style="solid", color="black", weight=3]; 14.90/5.57 1404[label="vuz420",fontsize=16,color="green",shape="box"];1405[label="vuz420",fontsize=16,color="green",shape="box"];1406[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'2 (abs (Integer (Neg (Succ (Succ vuz73))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1406 -> 1419[label="",style="solid", color="black", weight=3]; 14.90/5.57 1407[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"];1407 -> 1420[label="",style="solid", color="black", weight=3]; 14.90/5.57 1138[label="Integer (Neg Zero) `quot` gcd0Gcd'2 (abs (Integer (Neg Zero))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1138 -> 1163[label="",style="solid", color="black", weight=3]; 14.90/5.57 1408[label="Succ vuz4300",fontsize=16,color="green",shape="box"];1409[label="Zero",fontsize=16,color="green",shape="box"];1433[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 vuz44))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];1433 -> 1440[label="",style="solid", color="black", weight=3]; 14.90/5.57 1439[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 vuz58))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];1439 -> 1446[label="",style="solid", color="black", weight=3]; 14.90/5.57 1410[label="vuz370",fontsize=16,color="green",shape="box"];1411[label="vuz370",fontsize=16,color="green",shape="box"];1412[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1412 -> 1421[label="",style="solid", color="black", weight=3]; 14.90/5.57 1156[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"];1156 -> 1183[label="",style="solid", color="black", weight=3]; 14.90/5.57 1419[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (abs (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1419 -> 1427[label="",style="solid", color="black", weight=3]; 14.90/5.57 1420[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"];1420 -> 1428[label="",style="solid", color="black", weight=3]; 14.90/5.57 1163[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"];1163 -> 1190[label="",style="solid", color="black", weight=3]; 14.90/5.57 1440[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 vuz44))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];1440 -> 1447[label="",style="solid", color="black", weight=3]; 14.90/5.57 1446[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 vuz58))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];1446 -> 1453[label="",style="solid", color="black", weight=3]; 14.90/5.57 1421[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1421 -> 1429[label="",style="solid", color="black", weight=3]; 14.90/5.57 1183[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"];1183 -> 1225[label="",style="solid", color="black", weight=3]; 14.90/5.57 1427[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1427 -> 1434[label="",style="solid", color="black", weight=3]; 14.90/5.57 1428[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"];1428 -> 1435[label="",style="solid", color="black", weight=3]; 14.90/5.57 1190[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"];1190 -> 1262[label="",style="solid", color="black", weight=3]; 14.90/5.57 1447[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 vuz44))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1447 -> 1454[label="",style="solid", color="black", weight=3]; 14.90/5.57 1453[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 vuz58))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1453 -> 1460[label="",style="solid", color="black", weight=3]; 14.90/5.57 1429[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1429 -> 1436[label="",style="solid", color="black", weight=3]; 14.90/5.57 1225[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"];1225 -> 1372[label="",style="solid", color="black", weight=3]; 14.90/5.57 1434[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ Zero))) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal2 (Integer (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1434 -> 1441[label="",style="solid", color="black", weight=3]; 14.90/5.57 1435[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"];1435 -> 1442[label="",style="solid", color="black", weight=3]; 14.90/5.57 1262[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"];1262 -> 1373[label="",style="solid", color="black", weight=3]; 14.90/5.57 1454[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 vuz44))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1454 -> 1461[label="",style="solid", color="black", weight=3]; 14.90/5.57 1460[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 vuz58))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1460 -> 1467[label="",style="solid", color="black", weight=3]; 14.90/5.57 1436[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];1436 -> 1443[label="",style="solid", color="black", weight=3]; 14.90/5.57 1372[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"];1372 -> 1383[label="",style="solid", color="black", weight=3]; 14.90/5.57 1441[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (Integer (Pos (Succ Zero)) >= fromInt (Pos Zero)))",fontsize=16,color="black",shape="box"];1441 -> 1448[label="",style="solid", color="black", weight=3]; 14.90/5.57 1442[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"];1442 -> 1449[label="",style="solid", color="black", weight=3]; 14.90/5.57 1373[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"];1373 -> 1384[label="",style="solid", color="black", weight=3]; 14.90/5.57 1461[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 vuz44))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];1461 -> 1468[label="",style="solid", color="black", weight=3]; 14.90/5.57 1467[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 vuz58))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];1467 -> 1474[label="",style="solid", color="black", weight=3]; 14.90/5.57 1443[label="Integer (Pos (Succ (Succ vuz74))) `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 vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];1443 -> 1450[label="",style="solid", color="black", weight=3]; 14.90/5.57 1383[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"];1383 -> 1413[label="",style="solid", color="black", weight=3]; 14.90/5.57 1448[label="Integer (Neg (Succ (Succ vuz72))) `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 vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) /= LT))",fontsize=16,color="black",shape="box"];1448 -> 1455[label="",style="solid", color="black", weight=3]; 14.90/5.57 1449[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"];1449 -> 1456[label="",style="solid", color="black", weight=3]; 14.90/5.57 1384[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"];1384 -> 1414[label="",style="solid", color="black", weight=3]; 14.90/5.57 1468[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 vuz44))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];1468 -> 1475[label="",style="solid", color="black", weight=3]; 14.90/5.57 1474[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 vuz58))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];1474 -> 1481[label="",style="solid", color="black", weight=3]; 14.90/5.57 1450[label="Integer (Pos (Succ (Succ vuz74))) `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 vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1450 -> 1457[label="",style="solid", color="black", weight=3]; 14.90/5.57 1413[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"];1413 -> 1422[label="",style="solid", color="black", weight=3]; 14.90/5.57 1455[label="Integer (Neg (Succ (Succ vuz72))) `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 vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (fromInt (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1455 -> 1462[label="",style="solid", color="black", weight=3]; 14.90/5.57 1456[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"];1456 -> 1463[label="",style="solid", color="black", weight=3]; 14.90/5.57 1414[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"];1414 -> 1423[label="",style="solid", color="black", weight=3]; 14.90/5.57 1475[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];1475 -> 1482[label="",style="solid", color="black", weight=3]; 14.90/5.57 1481[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];1481 -> 1488[label="",style="solid", color="black", weight=3]; 14.90/5.57 1457[label="Integer (Pos (Succ (Succ vuz74))) `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 vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1457 -> 1464[label="",style="solid", color="black", weight=3]; 14.90/5.57 1422[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"];1422 -> 1430[label="",style="solid", color="black", weight=3]; 14.90/5.57 1462[label="Integer (Neg (Succ (Succ vuz72))) `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 vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not (compare (Integer (Pos (Succ Zero))) (Integer (Pos Zero)) == LT)))",fontsize=16,color="black",shape="box"];1462 -> 1469[label="",style="solid", color="black", weight=3]; 14.90/5.57 1463[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"];1463 -> 1470[label="",style="solid", color="black", weight=3]; 14.90/5.57 1423[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"];1423 -> 1431[label="",style="solid", color="black", weight=3]; 14.90/5.57 1482[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];1482 -> 1489[label="",style="solid", color="black", weight=3]; 14.90/5.57 1488[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];1488 -> 1495[label="",style="solid", color="black", weight=3]; 14.90/5.57 1464[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];1464 -> 1471[label="",style="solid", color="black", weight=3]; 14.90/5.57 1430[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"];1430 -> 1437[label="",style="solid", color="black", weight=3]; 14.90/5.57 1469[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];1469 -> 1476[label="",style="solid", color="black", weight=3]; 14.90/5.57 1470[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"];1470 -> 1477[label="",style="solid", color="black", weight=3]; 14.90/5.57 1431[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"];1431 -> 1438[label="",style="solid", color="black", weight=3]; 14.90/5.57 1489[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];1489 -> 1496[label="",style="solid", color="black", weight=3]; 14.90/5.57 1495[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];1495 -> 1502[label="",style="solid", color="black", weight=3]; 14.90/5.57 1471[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];1471 -> 1478[label="",style="solid", color="black", weight=3]; 14.90/5.57 1437[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"];1437 -> 1444[label="",style="solid", color="black", weight=3]; 14.90/5.57 1476[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];1476 -> 1483[label="",style="solid", color="black", weight=3]; 14.90/5.57 1477[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"];1477 -> 1484[label="",style="solid", color="black", weight=3]; 14.90/5.57 1438[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"];1438 -> 1445[label="",style="solid", color="black", weight=3]; 14.90/5.57 1496[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos vuz44))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1496 -> 1503[label="",style="solid", color="black", weight=3]; 14.90/5.57 1502[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg vuz58))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1502 -> 1509[label="",style="solid", color="black", weight=3]; 14.90/5.57 1478[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];1478 -> 1485[label="",style="solid", color="black", weight=3]; 14.90/5.57 1444[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"];1444 -> 1451[label="",style="solid", color="black", weight=3]; 14.90/5.57 1483[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];1483 -> 1490[label="",style="solid", color="black", weight=3]; 14.90/5.57 1484[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"];1484 -> 1491[label="",style="solid", color="black", weight=3]; 14.90/5.57 1445[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"];1445 -> 1452[label="",style="solid", color="black", weight=3]; 14.90/5.57 1503[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Pos vuz44))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1503 -> 1510[label="",style="solid", color="black", weight=3]; 14.90/5.57 1509[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Neg vuz58))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1509 -> 1516[label="",style="solid", color="black", weight=3]; 14.90/5.57 1485[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];1485 -> 1492[label="",style="solid", color="black", weight=3]; 14.90/5.57 1451[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"];1451 -> 1458[label="",style="solid", color="black", weight=3]; 14.90/5.57 1490[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) (not False) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];1490 -> 1497[label="",style="solid", color="black", weight=3]; 14.90/5.57 1491[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"];1491 -> 1498[label="",style="solid", color="black", weight=3]; 14.90/5.57 1452[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"];1452 -> 1459[label="",style="solid", color="black", weight=3]; 14.90/5.57 1510[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Pos vuz44))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1510 -> 1517[label="",style="solid", color="black", weight=3]; 14.90/5.57 1516[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Neg vuz58))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1516 -> 1523[label="",style="solid", color="black", weight=3]; 14.90/5.57 1492[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];1492 -> 1499[label="",style="solid", color="black", weight=3]; 14.90/5.57 1458[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"];1458 -> 1465[label="",style="solid", color="black", weight=3]; 14.90/5.57 1497[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ Zero))) True == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (absReal1 (Integer (Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];1497 -> 1504[label="",style="solid", color="black", weight=3]; 14.90/5.57 1498[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"];1498 -> 1505[label="",style="solid", color="black", weight=3]; 14.90/5.57 1459[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"];1459 -> 1466[label="",style="solid", color="black", weight=3]; 14.90/5.57 1517[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 False (abs (Integer (Pos vuz44))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1517 -> 1524[label="",style="solid", color="black", weight=3]; 14.90/5.57 1523[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 False (abs (Integer (Neg vuz58))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1523 -> 1530[label="",style="solid", color="black", weight=3]; 14.90/5.57 1499[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1499 -> 1506[label="",style="solid", color="black", weight=3]; 14.90/5.57 1465[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"];1465 -> 1472[label="",style="solid", color="black", weight=3]; 14.90/5.57 1504[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1504 -> 1511[label="",style="solid", color="black", weight=3]; 14.90/5.57 1505[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"];1505 -> 1512[label="",style="solid", color="black", weight=3]; 14.90/5.57 1466[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"];1466 -> 1473[label="",style="solid", color="black", weight=3]; 14.90/5.57 1524[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'0 (abs (Integer (Pos vuz44))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1524 -> 1531[label="",style="solid", color="black", weight=3]; 14.90/5.57 1530[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'0 (abs (Integer (Neg vuz58))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1530 -> 1537[label="",style="solid", color="black", weight=3]; 14.90/5.57 1506[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1506 -> 1513[label="",style="solid", color="black", weight=3]; 14.90/5.57 1472[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"];1472 -> 1479[label="",style="solid", color="black", weight=3]; 14.90/5.57 1511[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (Integer (Pos (Succ Zero)) == Integer (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1511 -> 1518[label="",style="solid", color="black", weight=3]; 14.90/5.57 1512[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"];1512 -> 1519[label="",style="solid", color="black", weight=3]; 14.90/5.57 1473[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"];1473 -> 1480[label="",style="solid", color="black", weight=3]; 14.90/5.57 1531[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Pos vuz44)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1531 -> 1538[label="",style="solid", color="black", weight=3]; 14.90/5.57 1537[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Neg vuz58)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1537 -> 1544[label="",style="solid", color="black", weight=3]; 14.90/5.57 1513[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Pos (Succ (Succ vuz75))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1513 -> 1520[label="",style="solid", color="black", weight=3]; 14.90/5.57 1479[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"];1479 -> 1486[label="",style="solid", color="black", weight=3]; 14.90/5.57 1518[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (abs (Integer (Neg (Succ (Succ vuz73))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1518 -> 1525[label="",style="solid", color="black", weight=3]; 14.90/5.57 1519[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 False (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1519 -> 1526[label="",style="solid", color="black", weight=3]; 14.90/5.57 1480[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"];1480 -> 1487[label="",style="solid", color="black", weight=3]; 14.90/5.57 1538[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Pos vuz44)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1538 -> 1545[label="",style="solid", color="black", weight=3]; 14.90/5.57 1544[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Neg vuz58)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1544 -> 1551[label="",style="solid", color="black", weight=3]; 14.90/5.57 1520[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 False (abs (Integer (Pos (Succ (Succ vuz75))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1520 -> 1527[label="",style="solid", color="black", weight=3]; 14.90/5.57 1486[label="Integer (Pos Zero) `quot` gcd0Gcd'1 False (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1486 -> 1493[label="",style="solid", color="black", weight=3]; 14.90/5.57 1525[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 False (abs (Integer (Neg (Succ (Succ vuz73))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1525 -> 1532[label="",style="solid", color="black", weight=3]; 14.90/5.57 1526[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'0 (abs (Integer (Neg (Succ Zero)))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1526 -> 1533[label="",style="solid", color="black", weight=3]; 14.90/5.57 1487[label="Integer (Neg Zero) `quot` gcd0Gcd'1 False (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1487 -> 1494[label="",style="solid", color="black", weight=3]; 14.90/5.57 1545[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Pos vuz44)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Pos vuz44)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1545 -> 1552[label="",style="solid", color="black", weight=3]; 14.90/5.57 1551[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (abs (Integer (Neg vuz58)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Neg vuz58)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1551 -> 1558[label="",style="solid", color="black", weight=3]; 14.90/5.57 1527[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'0 (abs (Integer (Pos (Succ (Succ vuz75))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1527 -> 1534[label="",style="solid", color="black", weight=3]; 14.90/5.57 1493[label="Integer (Pos Zero) `quot` gcd0Gcd'0 (abs (Integer (Pos Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1493 -> 1500[label="",style="solid", color="black", weight=3]; 14.90/5.57 1532[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'0 (abs (Integer (Neg (Succ (Succ vuz73))))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1532 -> 1539[label="",style="solid", color="black", weight=3]; 14.90/5.57 1533[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"];1533 -> 1540[label="",style="solid", color="black", weight=3]; 14.90/5.57 1494[label="Integer (Neg Zero) `quot` gcd0Gcd'0 (abs (Integer (Neg Zero))) (Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1494 -> 1501[label="",style="solid", color="black", weight=3]; 14.90/5.57 1552[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Pos vuz44)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Pos vuz44)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1552 -> 1559[label="",style="solid", color="black", weight=3]; 14.90/5.57 1558[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal (Integer (Neg vuz58)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Neg vuz58)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1558 -> 1565[label="",style="solid", color="black", weight=3]; 14.90/5.57 1534[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Pos (Succ (Succ vuz75)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1534 -> 1541[label="",style="solid", color="black", weight=3]; 14.90/5.57 1500[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"];1500 -> 1507[label="",style="solid", color="black", weight=3]; 14.90/5.57 1539[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd' (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1539 -> 1546[label="",style="solid", color="black", weight=3]; 14.90/5.57 1540[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"];1540 -> 1547[label="",style="solid", color="black", weight=3]; 14.90/5.57 1501[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"];1501 -> 1508[label="",style="solid", color="black", weight=3]; 14.90/5.57 1559[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos vuz44)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Pos vuz44)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1559 -> 1566[label="",style="solid", color="black", weight=3]; 14.90/5.57 1565[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal2 (Integer (Neg vuz58)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Neg vuz58)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1565 -> 1572[label="",style="solid", color="black", weight=3]; 14.90/5.57 1541[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Pos (Succ (Succ vuz75)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1541 -> 1548[label="",style="solid", color="black", weight=3]; 14.90/5.57 1507[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"];1507 -> 1514[label="",style="solid", color="black", weight=3]; 14.90/5.57 1546[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'2 (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1546 -> 1553[label="",style="solid", color="black", weight=3]; 14.90/5.57 1547[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"];1547 -> 1554[label="",style="solid", color="black", weight=3]; 14.90/5.57 1508[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"];1508 -> 1515[label="",style="solid", color="black", weight=3]; 14.90/5.57 1566[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz44)) (Integer (Pos vuz44) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz44)) (Integer (Pos vuz44) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1566 -> 1573[label="",style="solid", color="black", weight=3]; 14.90/5.57 1572[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz58)) (Integer (Neg vuz58) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz58)) (Integer (Neg vuz58) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1572 -> 1579[label="",style="solid", color="black", weight=3]; 14.90/5.57 1548[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (abs (Integer (Pos (Succ (Succ vuz75)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Pos (Succ (Succ vuz75)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1548 -> 1555[label="",style="solid", color="black", weight=3]; 14.90/5.57 1514[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"];1514 -> 1521[label="",style="solid", color="black", weight=3]; 14.90/5.57 1553[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (abs (Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (abs (Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1553 -> 1560[label="",style="solid", color="black", weight=3]; 14.90/5.57 1554[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"];1554 -> 1561[label="",style="solid", color="black", weight=3]; 14.90/5.57 1515[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"];1515 -> 1522[label="",style="solid", color="black", weight=3]; 14.90/5.57 1573[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz44)) (compare (Integer (Pos vuz44)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz44)) (compare (Integer (Pos vuz44)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1573 -> 1580[label="",style="solid", color="black", weight=3]; 14.90/5.57 1579[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz58)) (compare (Integer (Neg vuz58)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz58)) (compare (Integer (Neg vuz58)) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1579 -> 1586[label="",style="solid", color="black", weight=3]; 14.90/5.57 1555[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal (Integer (Pos (Succ (Succ vuz75)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Pos (Succ (Succ vuz75)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1555 -> 1562[label="",style="solid", color="black", weight=3]; 14.90/5.57 1521[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"];1521 -> 1528[label="",style="solid", color="black", weight=3]; 14.90/5.57 1560[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal (Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal (Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1560 -> 1567[label="",style="solid", color="black", weight=3]; 14.90/5.57 1561[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"];1561 -> 1568[label="",style="solid", color="black", weight=3]; 14.90/5.57 1522[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"];1522 -> 1529[label="",style="solid", color="black", weight=3]; 14.90/5.57 1580[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz44)) (not (compare (Integer (Pos vuz44)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz44)) (not (compare (Integer (Pos vuz44)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1580 -> 1587[label="",style="solid", color="black", weight=3]; 14.90/5.57 1586[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz58)) (not (compare (Integer (Neg vuz58)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz58)) (not (compare (Integer (Neg vuz58)) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1586 -> 1593[label="",style="solid", color="black", weight=3]; 14.90/5.57 1562[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal2 (Integer (Pos (Succ (Succ vuz75)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Pos (Succ (Succ vuz75)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1562 -> 1569[label="",style="solid", color="black", weight=3]; 14.90/5.57 1528[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"];1528 -> 1535[label="",style="solid", color="black", weight=3]; 14.90/5.57 1567[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal2 (Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal2 (Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1567 -> 1574[label="",style="solid", color="black", weight=3]; 14.90/5.57 1568[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"];1568 -> 1575[label="",style="solid", color="black", weight=3]; 14.90/5.57 1529[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"];1529 -> 1536[label="",style="solid", color="black", weight=3]; 14.90/5.57 1587[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz44)) (not (compare (Integer (Pos vuz44)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz44)) (not (compare (Integer (Pos vuz44)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1587 -> 1594[label="",style="solid", color="black", weight=3]; 14.90/5.57 1593[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz58)) (not (compare (Integer (Neg vuz58)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz58)) (not (compare (Integer (Neg vuz58)) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1593 -> 1600[label="",style="solid", color="black", weight=3]; 14.90/5.57 1569[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (Integer (Pos (Succ (Succ vuz75))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (Integer (Pos (Succ (Succ vuz75))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1569 -> 1576[label="",style="solid", color="black", weight=3]; 14.90/5.57 1535[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"];1535 -> 1542[label="",style="solid", color="black", weight=3]; 14.90/5.57 1574[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (Integer (Neg (Succ (Succ vuz73))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (Integer (Neg (Succ (Succ vuz73))) >= fromInt (Pos Zero)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1574 -> 1581[label="",style="solid", color="black", weight=3]; 14.90/5.57 1575[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"];1575 -> 1582[label="",style="solid", color="black", weight=3]; 14.90/5.57 1536[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"];1536 -> 1543[label="",style="solid", color="black", weight=3]; 14.90/5.57 1594[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos vuz44)) (not (primCmpInt (Pos vuz44) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos vuz44)) (not (primCmpInt (Pos vuz44) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1821[label="vuz44/Succ vuz440",fontsize=10,color="white",style="solid",shape="box"];1594 -> 1821[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1821 -> 1601[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1822[label="vuz44/Zero",fontsize=10,color="white",style="solid",shape="box"];1594 -> 1822[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1822 -> 1602[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1600[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg vuz58)) (not (primCmpInt (Neg vuz58) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg vuz58)) (not (primCmpInt (Neg vuz58) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="burlywood",shape="box"];1823[label="vuz58/Succ vuz580",fontsize=10,color="white",style="solid",shape="box"];1600 -> 1823[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1823 -> 1609[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1824[label="vuz58/Zero",fontsize=10,color="white",style="solid",shape="box"];1600 -> 1824[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1824 -> 1610[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1576[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (compare (Integer (Pos (Succ (Succ vuz75)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (compare (Integer (Pos (Succ (Succ vuz75)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1576 -> 1583[label="",style="solid", color="black", weight=3]; 14.90/5.57 1542[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"];1542 -> 1549[label="",style="solid", color="black", weight=3]; 14.90/5.57 1581[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (compare (Integer (Neg (Succ (Succ vuz73)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (compare (Integer (Neg (Succ (Succ vuz73)))) (fromInt (Pos Zero)) /= LT) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1581 -> 1588[label="",style="solid", color="black", weight=3]; 14.90/5.57 1582[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"];1582 -> 1589[label="",style="solid", color="black", weight=3]; 14.90/5.57 1543[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"];1543 -> 1550[label="",style="solid", color="black", weight=3]; 14.90/5.57 1601[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz440))) (not (primCmpInt (Pos (Succ vuz440)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz440))) (not (primCmpInt (Pos (Succ vuz440)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1601 -> 1611[label="",style="solid", color="black", weight=3]; 14.90/5.57 1602[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"];1602 -> 1612[label="",style="solid", color="black", weight=3]; 14.90/5.57 1609[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz580))) (not (primCmpInt (Neg (Succ vuz580)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz580))) (not (primCmpInt (Neg (Succ vuz580)) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1609 -> 1618[label="",style="solid", color="black", weight=3]; 14.90/5.57 1610[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"];1610 -> 1619[label="",style="solid", color="black", weight=3]; 14.90/5.57 1583[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (compare (Integer (Pos (Succ (Succ vuz75)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (compare (Integer (Pos (Succ (Succ vuz75)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1583 -> 1590[label="",style="solid", color="black", weight=3]; 14.90/5.57 1549[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"];1549 -> 1556[label="",style="solid", color="black", weight=3]; 14.90/5.57 1588[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not (compare (Integer (Neg (Succ (Succ vuz73)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not (compare (Integer (Neg (Succ (Succ vuz73)))) (fromInt (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1588 -> 1595[label="",style="solid", color="black", weight=3]; 14.90/5.57 1589[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"];1589 -> 1596[label="",style="solid", color="black", weight=3]; 14.90/5.57 1550[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"];1550 -> 1557[label="",style="solid", color="black", weight=3]; 14.90/5.57 1611[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz440))) (not (primCmpNat (Succ vuz440) Zero == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz440))) (not (primCmpNat (Succ vuz440) Zero == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1611 -> 1620[label="",style="solid", color="black", weight=3]; 14.90/5.57 1612[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"];1612 -> 1621[label="",style="solid", color="black", weight=3]; 14.90/5.57 1618[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz580))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz580))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1618 -> 1627[label="",style="solid", color="black", weight=3]; 14.90/5.57 1619[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"];1619 -> 1628[label="",style="solid", color="black", weight=3]; 14.90/5.57 1590[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (compare (Integer (Pos (Succ (Succ vuz75)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (compare (Integer (Pos (Succ (Succ vuz75)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1590 -> 1597[label="",style="solid", color="black", weight=3]; 14.90/5.57 1556[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"];1556 -> 1563[label="",style="solid", color="black", weight=3]; 14.90/5.57 1595[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not (compare (Integer (Neg (Succ (Succ vuz73)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not (compare (Integer (Neg (Succ (Succ vuz73)))) (Integer (Pos Zero)) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1595 -> 1603[label="",style="solid", color="black", weight=3]; 14.90/5.57 1596[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"];1596 -> 1604[label="",style="solid", color="black", weight=3]; 14.90/5.57 1557[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"];1557 -> 1564[label="",style="solid", color="black", weight=3]; 14.90/5.57 1620[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz440))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz440))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1620 -> 1629[label="",style="solid", color="black", weight=3]; 14.90/5.57 1621[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"];1621 -> 1630[label="",style="solid", color="black", weight=3]; 14.90/5.57 1627[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz580))) (not True) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz580))) (not True) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1627 -> 1636[label="",style="solid", color="black", weight=3]; 14.90/5.57 1628[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"];1628 -> 1637[label="",style="solid", color="black", weight=3]; 14.90/5.57 1597[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (primCmpInt (Pos (Succ (Succ vuz75))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (primCmpInt (Pos (Succ (Succ vuz75))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1597 -> 1605[label="",style="solid", color="black", weight=3]; 14.90/5.57 1563[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"];1563 -> 1570[label="",style="solid", color="black", weight=3]; 14.90/5.57 1603[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not (primCmpInt (Neg (Succ (Succ vuz73))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not (primCmpInt (Neg (Succ (Succ vuz73))) (Pos Zero) == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1603 -> 1613[label="",style="solid", color="black", weight=3]; 14.90/5.57 1604[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"];1604 -> 1614[label="",style="solid", color="black", weight=3]; 14.90/5.57 1564[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"];1564 -> 1571[label="",style="solid", color="black", weight=3]; 14.90/5.57 1629[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz440))) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz440))) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1629 -> 1638[label="",style="solid", color="black", weight=3]; 14.90/5.57 1630[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"];1630 -> 1639[label="",style="solid", color="black", weight=3]; 14.90/5.57 1636[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ vuz580))) False `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ vuz580))) False `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1636 -> 1645[label="",style="solid", color="black", weight=3]; 14.90/5.57 1637[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"];1637 -> 1646[label="",style="solid", color="black", weight=3]; 14.90/5.57 1605[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (primCmpNat (Succ (Succ vuz75)) Zero == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (primCmpNat (Succ (Succ vuz75)) Zero == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1605 -> 1615[label="",style="solid", color="black", weight=3]; 14.90/5.57 1570[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"];1570 -> 1577[label="",style="solid", color="black", weight=3]; 14.90/5.57 1613[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not (LT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1613 -> 1622[label="",style="solid", color="black", weight=3]; 14.90/5.57 1614[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"];1614 -> 1623[label="",style="solid", color="black", weight=3]; 14.90/5.57 1571[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"];1571 -> 1578[label="",style="solid", color="black", weight=3]; 14.90/5.57 1638[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ vuz440))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ vuz440))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1638 -> 1647[label="",style="solid", color="black", weight=3]; 14.90/5.57 1639[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"];1639 -> 1648[label="",style="solid", color="black", weight=3]; 14.90/5.57 1645[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ vuz580))) otherwise `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ vuz580))) otherwise `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1645 -> 1654[label="",style="solid", color="black", weight=3]; 14.90/5.57 1646[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"];1646 -> 1655[label="",style="solid", color="black", weight=3]; 14.90/5.57 1615[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not (GT == LT)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1615 -> 1624[label="",style="solid", color="black", weight=3]; 14.90/5.57 1577[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"];1577 -> 1584[label="",style="solid", color="black", weight=3]; 14.90/5.57 1622[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not True) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz73)))) (not True) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1622 -> 1631[label="",style="solid", color="black", weight=3]; 14.90/5.57 1623[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"];1623 -> 1632[label="",style="solid", color="black", weight=3]; 14.90/5.57 1578[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"];1578 -> 1585[label="",style="solid", color="black", weight=3]; 14.90/5.57 1647[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (Pos (Succ vuz440)) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ vuz440)) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1647 -> 1656[label="",style="solid", color="black", weight=3]; 14.90/5.57 1648[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"];1648 -> 1657[label="",style="solid", color="black", weight=3]; 14.90/5.57 1654[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ vuz580))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ vuz580))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1654 -> 1663[label="",style="solid", color="black", weight=3]; 14.90/5.57 1655 -> 1607[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1655[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"];1655 -> 1664[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1624[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not False) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) (not False) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1624 -> 1633[label="",style="solid", color="black", weight=3]; 14.90/5.57 1584[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"];1584 -> 1591[label="",style="solid", color="black", weight=3]; 14.90/5.57 1631[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal1 (Integer (Neg (Succ (Succ vuz73)))) False `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Neg (Succ (Succ vuz73)))) False `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1631 -> 1640[label="",style="solid", color="black", weight=3]; 14.90/5.57 1632[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"];1632 -> 1641[label="",style="solid", color="black", weight=3]; 14.90/5.57 1585[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"];1585 -> 1592[label="",style="solid", color="black", weight=3]; 14.90/5.57 1656[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ vuz440)) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz440)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1656 -> 1665[label="",style="solid", color="black", weight=3]; 14.90/5.57 1657[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"];1657 -> 1666[label="",style="solid", color="black", weight=3]; 14.90/5.57 1663[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 ((`negate` Integer (Neg (Succ vuz580))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) ((`negate` Integer (Neg (Succ vuz580))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1663 -> 1672[label="",style="solid", color="black", weight=3]; 14.90/5.57 1664[label="Integer (Pos (Succ Zero))",fontsize=16,color="green",shape="box"];1607[label="vuz77 `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"];1825[label="vuz77/Integer vuz770",fontsize=10,color="white",style="solid",shape="box"];1607 -> 1825[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1825 -> 1617[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1633[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (absReal1 (Integer (Pos (Succ (Succ vuz75)))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal1 (Integer (Pos (Succ (Succ vuz75)))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1633 -> 1642[label="",style="solid", color="black", weight=3]; 14.90/5.57 1591[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"];1591 -> 1598[label="",style="solid", color="black", weight=3]; 14.90/5.57 1640[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ (Succ vuz73)))) otherwise `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ (Succ vuz73)))) otherwise `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1640 -> 1649[label="",style="solid", color="black", weight=3]; 14.90/5.57 1641[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"];1641 -> 1650[label="",style="solid", color="black", weight=3]; 14.90/5.57 1592[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"];1592 -> 1599[label="",style="solid", color="black", weight=3]; 14.90/5.57 1665[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ vuz440)) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz440)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1665 -> 1673[label="",style="solid", color="black", weight=3]; 14.90/5.57 1666[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"];1666 -> 1674[label="",style="solid", color="black", weight=3]; 14.90/5.57 1672[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primNegInt (Neg (Succ vuz580))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primNegInt (Neg (Succ vuz580))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1672 -> 1680[label="",style="solid", color="black", weight=3]; 14.90/5.57 1617[label="Integer vuz770 `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"];1617 -> 1626[label="",style="solid", color="black", weight=3]; 14.90/5.57 1642[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (Integer (Pos (Succ (Succ vuz75))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (Succ (Succ vuz75))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1642 -> 1651[label="",style="solid", color="black", weight=3]; 14.90/5.57 1598[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"];1598 -> 1606[label="",style="solid", color="black", weight=3]; 14.90/5.57 1649[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (absReal0 (Integer (Neg (Succ (Succ vuz73)))) True `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (absReal0 (Integer (Neg (Succ (Succ vuz73)))) True `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1649 -> 1658[label="",style="solid", color="black", weight=3]; 14.90/5.57 1650[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"];1650 -> 1659[label="",style="solid", color="black", weight=3]; 14.90/5.57 1599 -> 1607[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1599[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"];1599 -> 1608[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1673[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ vuz440)) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz440)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="triangle"];1673 -> 1681[label="",style="solid", color="black", weight=3]; 14.90/5.57 1674[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"];1674 -> 1682[label="",style="solid", color="black", weight=3]; 14.90/5.57 1680[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ vuz580))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ vuz580))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1680 -> 1688[label="",style="solid", color="black", weight=3]; 14.90/5.57 1626[label="Integer vuz770 `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"];1626 -> 1635[label="",style="solid", color="black", weight=3]; 14.90/5.57 1651[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ (Succ vuz75))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz75))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1651 -> 1660[label="",style="solid", color="black", weight=3]; 14.90/5.57 1606[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"];1606 -> 1616[label="",style="solid", color="black", weight=3]; 14.90/5.57 1658[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 ((`negate` Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) ((`negate` Integer (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1658 -> 1667[label="",style="solid", color="black", weight=3]; 14.90/5.57 1659[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"];1659 -> 1668[label="",style="solid", color="black", weight=3]; 14.90/5.57 1608[label="Integer (Neg Zero)",fontsize=16,color="green",shape="box"];1681[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz440) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ vuz440) (Succ Zero))))",fontsize=16,color="black",shape="triangle"];1681 -> 1689[label="",style="solid", color="black", weight=3]; 14.90/5.57 1682[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"];1682 -> 1690[label="",style="solid", color="black", weight=3]; 14.90/5.57 1688[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ vuz580))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ vuz580))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1688 -> 1697[label="",style="solid", color="black", weight=3]; 14.90/5.57 1635[label="Integer vuz770 `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"];1635 -> 1644[label="",style="solid", color="black", weight=3]; 14.90/5.57 1660[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (Integer (primRemInt (Pos (Succ (Succ vuz75))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz75))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1660 -> 1669[label="",style="solid", color="black", weight=3]; 14.90/5.57 1616[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"];1616 -> 1625[label="",style="solid", color="black", weight=3]; 14.90/5.57 1667[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (Integer (primNegInt (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primNegInt (Neg (Succ (Succ vuz73)))) `rem` Integer (Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];1667 -> 1675[label="",style="solid", color="black", weight=3]; 14.90/5.57 1668[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"];1668 -> 1676[label="",style="solid", color="black", weight=3]; 14.90/5.57 1689[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 vuz440 Zero (primGEqNatS vuz440 Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 vuz440 Zero (primGEqNatS vuz440 Zero))))",fontsize=16,color="burlywood",shape="box"];1826[label="vuz440/Succ vuz4400",fontsize=10,color="white",style="solid",shape="box"];1689 -> 1826[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1826 -> 1698[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1827[label="vuz440/Zero",fontsize=10,color="white",style="solid",shape="box"];1689 -> 1827[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1827 -> 1699[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1690[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];1690 -> 1700[label="",style="solid", color="black", weight=3]; 14.90/5.57 1697[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (primNegInt (Neg (Succ vuz580))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ vuz580))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1697 -> 1706[label="",style="solid", color="black", weight=3]; 14.90/5.57 1644[label="Integer vuz770 `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"];1644 -> 1653[label="",style="solid", color="black", weight=3]; 14.90/5.57 1669[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ (Succ vuz75))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz75))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1669 -> 1677[label="",style="solid", color="black", weight=3]; 14.90/5.57 1625[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"];1625 -> 1634[label="",style="solid", color="black", weight=3]; 14.90/5.57 1675[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz73)))) (Pos (Succ Zero))) == fromInt (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz73)))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1675 -> 1683[label="",style="solid", color="black", weight=3]; 14.90/5.57 1676[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"];1676 -> 1684[label="",style="solid", color="black", weight=3]; 14.90/5.57 1698[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz4400) Zero (primGEqNatS (Succ vuz4400) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz4400) Zero (primGEqNatS (Succ vuz4400) Zero))))",fontsize=16,color="black",shape="box"];1698 -> 1707[label="",style="solid", color="black", weight=3]; 14.90/5.57 1699[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"];1699 -> 1708[label="",style="solid", color="black", weight=3]; 14.90/5.57 1700 -> 1671[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1700[label="Integer (Pos (Succ Zero)) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];1700 -> 1709[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1706 -> 1673[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1706[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ vuz580)) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ vuz580)) (Pos (Succ Zero))))",fontsize=16,color="magenta"];1706 -> 1715[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1653[label="Integer vuz770 `quot` gcd0Gcd'1 (primEqInt (Neg Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Neg Zero))",fontsize=16,color="black",shape="box"];1653 -> 1662[label="",style="solid", color="black", weight=3]; 14.90/5.57 1677[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ (Succ vuz75)) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ (Succ vuz75)) (Succ Zero))))",fontsize=16,color="black",shape="box"];1677 -> 1685[label="",style="solid", color="black", weight=3]; 14.90/5.57 1634[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"];1634 -> 1643[label="",style="solid", color="black", weight=3]; 14.90/5.57 1683[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz73)))) (Pos (Succ Zero))) == Integer (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz73)))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1683 -> 1691[label="",style="solid", color="black", weight=3]; 14.90/5.57 1684[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"];1684 -> 1692[label="",style="solid", color="black", weight=3]; 14.90/5.57 1707[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz4400) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz4400) Zero True)))",fontsize=16,color="black",shape="box"];1707 -> 1716[label="",style="solid", color="black", weight=3]; 14.90/5.57 1708[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"];1708 -> 1717[label="",style="solid", color="black", weight=3]; 14.90/5.57 1709[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];1671[label="Integer vuz770 `quot` Integer (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];1671 -> 1679[label="",style="solid", color="black", weight=3]; 14.90/5.57 1715[label="vuz580",fontsize=16,color="green",shape="box"];1662[label="Integer vuz770 `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Neg Zero))",fontsize=16,color="black",shape="box"];1662 -> 1671[label="",style="solid", color="black", weight=3]; 14.90/5.57 1685[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz75) Zero (primGEqNatS (Succ vuz75) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz75) Zero (primGEqNatS (Succ vuz75) Zero))))",fontsize=16,color="black",shape="box"];1685 -> 1693[label="",style="solid", color="black", weight=3]; 14.90/5.57 1643[label="Integer (Pos Zero) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];1643 -> 1652[label="",style="solid", color="black", weight=3]; 14.90/5.57 1691[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (primRemInt (primNegInt (Neg (Succ (Succ vuz73)))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (primNegInt (Neg (Succ (Succ vuz73)))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1691 -> 1701[label="",style="solid", color="black", weight=3]; 14.90/5.57 1692[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"];1692 -> 1702[label="",style="solid", color="black", weight=3]; 14.90/5.57 1716[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS (Succ vuz4400) Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS (Succ vuz4400) Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];1716 -> 1724[label="",style="solid", color="black", weight=3]; 14.90/5.57 1717[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"];1717 -> 1725[label="",style="solid", color="black", weight=3]; 14.90/5.57 1679[label="Integer (primQuotInt vuz770 (Pos (Succ Zero)))",fontsize=16,color="green",shape="box"];1679 -> 1687[label="",style="dashed", color="green", weight=3]; 14.90/5.57 1693[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz75) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz75) Zero True)))",fontsize=16,color="black",shape="triangle"];1693 -> 1703[label="",style="solid", color="black", weight=3]; 14.90/5.57 1652[label="Integer (Pos Zero) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1652 -> 1661[label="",style="solid", color="black", weight=3]; 14.90/5.57 1701[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (primRemInt (Pos (Succ (Succ vuz73))) (Pos (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (primRemInt (Pos (Succ (Succ vuz73))) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];1701 -> 1710[label="",style="solid", color="black", weight=3]; 14.90/5.57 1702[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"];1702 -> 1711[label="",style="solid", color="black", weight=3]; 14.90/5.57 1724 -> 1681[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1724[label="Integer (Pos (Succ Zero)) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz4400) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ vuz4400) (Succ Zero))))",fontsize=16,color="magenta"];1724 -> 1732[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1725 -> 1674[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1725[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"];1687[label="primQuotInt vuz770 (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1828[label="vuz770/Pos vuz7700",fontsize=10,color="white",style="solid",shape="box"];1687 -> 1828[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1828 -> 1695[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1829[label="vuz770/Neg vuz7700",fontsize=10,color="white",style="solid",shape="box"];1687 -> 1829[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1829 -> 1696[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1703[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS (Succ vuz75) Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS (Succ vuz75) Zero) (Succ Zero))))",fontsize=16,color="black",shape="box"];1703 -> 1712[label="",style="solid", color="black", weight=3]; 14.90/5.57 1661[label="Integer (primQuotInt (Pos Zero) (Pos (Succ Zero)))",fontsize=16,color="green",shape="box"];1661 -> 1670[label="",style="dashed", color="green", weight=3]; 14.90/5.57 1710 -> 1767[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1710[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ (Succ vuz73)) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ (Succ vuz73)) (Succ Zero))))",fontsize=16,color="magenta"];1710 -> 1768[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1710 -> 1769[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1711[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"];1711 -> 1719[label="",style="solid", color="black", weight=3]; 14.90/5.57 1732[label="vuz4400",fontsize=16,color="green",shape="box"];1695[label="primQuotInt (Pos vuz7700) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1695 -> 1704[label="",style="solid", color="black", weight=3]; 14.90/5.57 1696[label="primQuotInt (Neg vuz7700) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1696 -> 1705[label="",style="solid", color="black", weight=3]; 14.90/5.57 1712[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz75) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (Succ vuz75) (Succ Zero))))",fontsize=16,color="black",shape="box"];1712 -> 1720[label="",style="solid", color="black", weight=3]; 14.90/5.57 1670[label="primQuotInt (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1670 -> 1678[label="",style="solid", color="black", weight=3]; 14.90/5.57 1768[label="Succ (Succ vuz73)",fontsize=16,color="green",shape="box"];1769[label="Succ (Succ vuz73)",fontsize=16,color="green",shape="box"];1767[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS vuz79 (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS vuz78 (Succ Zero))))",fontsize=16,color="burlywood",shape="triangle"];1830[label="vuz79/Succ vuz790",fontsize=10,color="white",style="solid",shape="box"];1767 -> 1830[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1830 -> 1776[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1831[label="vuz79/Zero",fontsize=10,color="white",style="solid",shape="box"];1767 -> 1831[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1831 -> 1777[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1719[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"];1719 -> 1727[label="",style="solid", color="black", weight=3]; 14.90/5.57 1704[label="Pos (primDivNatS vuz7700 (Succ Zero))",fontsize=16,color="green",shape="box"];1704 -> 1713[label="",style="dashed", color="green", weight=3]; 14.90/5.57 1705[label="Neg (primDivNatS vuz7700 (Succ Zero))",fontsize=16,color="green",shape="box"];1705 -> 1714[label="",style="dashed", color="green", weight=3]; 14.90/5.57 1720[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 vuz75 Zero (primGEqNatS vuz75 Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 vuz75 Zero (primGEqNatS vuz75 Zero))))",fontsize=16,color="burlywood",shape="box"];1832[label="vuz75/Succ vuz750",fontsize=10,color="white",style="solid",shape="box"];1720 -> 1832[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1832 -> 1728[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1833[label="vuz75/Zero",fontsize=10,color="white",style="solid",shape="box"];1720 -> 1833[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1833 -> 1729[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1678[label="Pos (primDivNatS Zero (Succ Zero))",fontsize=16,color="green",shape="box"];1678 -> 1686[label="",style="dashed", color="green", weight=3]; 14.90/5.57 1776[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (Succ vuz790) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS vuz78 (Succ Zero))))",fontsize=16,color="black",shape="box"];1776 -> 1779[label="",style="solid", color="black", weight=3]; 14.90/5.57 1777[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS Zero (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS vuz78 (Succ Zero))))",fontsize=16,color="black",shape="box"];1777 -> 1780[label="",style="solid", color="black", weight=3]; 14.90/5.57 1727[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"];1727 -> 1734[label="",style="solid", color="black", weight=3]; 14.90/5.57 1713[label="primDivNatS vuz7700 (Succ Zero)",fontsize=16,color="burlywood",shape="triangle"];1834[label="vuz7700/Succ vuz77000",fontsize=10,color="white",style="solid",shape="box"];1713 -> 1834[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1834 -> 1721[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1835[label="vuz7700/Zero",fontsize=10,color="white",style="solid",shape="box"];1713 -> 1835[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1835 -> 1722[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1714 -> 1713[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1714[label="primDivNatS vuz7700 (Succ Zero)",fontsize=16,color="magenta"];1714 -> 1723[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1728[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz750) Zero (primGEqNatS (Succ vuz750) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz750) Zero (primGEqNatS (Succ vuz750) Zero))))",fontsize=16,color="black",shape="box"];1728 -> 1735[label="",style="solid", color="black", weight=3]; 14.90/5.57 1729[label="Integer (Pos (Succ (Succ vuz74))) `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"];1729 -> 1736[label="",style="solid", color="black", weight=3]; 14.90/5.57 1686[label="primDivNatS Zero (Succ Zero)",fontsize=16,color="black",shape="box"];1686 -> 1694[label="",style="solid", color="black", weight=3]; 14.90/5.57 1779[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 vuz790 Zero (primGEqNatS vuz790 Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 vuz790 Zero (primGEqNatS vuz790 Zero))))",fontsize=16,color="burlywood",shape="box"];1836[label="vuz790/Succ vuz7900",fontsize=10,color="white",style="solid",shape="box"];1779 -> 1836[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1836 -> 1781[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1837[label="vuz790/Zero",fontsize=10,color="white",style="solid",shape="box"];1779 -> 1837[label="",style="solid", color="burlywood", weight=9]; 14.90/5.57 1837 -> 1782[label="",style="solid", color="burlywood", weight=3]; 14.90/5.57 1780[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];1780 -> 1783[label="",style="solid", color="black", weight=3]; 14.90/5.57 1734[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"];1734 -> 1740[label="",style="solid", color="black", weight=3]; 14.90/5.57 1721[label="primDivNatS (Succ vuz77000) (Succ Zero)",fontsize=16,color="black",shape="box"];1721 -> 1730[label="",style="solid", color="black", weight=3]; 14.90/5.57 1722[label="primDivNatS Zero (Succ Zero)",fontsize=16,color="black",shape="box"];1722 -> 1731[label="",style="solid", color="black", weight=3]; 14.90/5.57 1723[label="vuz7700",fontsize=16,color="green",shape="box"];1735 -> 1693[label="",style="dashed", color="red", weight=0]; 14.90/5.57 1735[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz750) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz750) Zero True)))",fontsize=16,color="magenta"];1735 -> 1741[label="",style="dashed", color="magenta", weight=3]; 14.90/5.57 1736[label="Integer (Pos (Succ (Succ vuz74))) `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"];1736 -> 1742[label="",style="solid", color="black", weight=3]; 14.90/5.57 1694[label="Zero",fontsize=16,color="green",shape="box"];1781[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz7900) Zero (primGEqNatS (Succ vuz7900) Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz7900) Zero (primGEqNatS (Succ vuz7900) Zero))))",fontsize=16,color="black",shape="box"];1781 -> 1784[label="",style="solid", color="black", weight=3]; 14.90/5.58 1782[label="Integer (Neg (Succ (Succ vuz72))) `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"];1782 -> 1785[label="",style="solid", color="black", weight=3]; 14.90/5.58 1783[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];1783 -> 1786[label="",style="solid", color="black", weight=3]; 14.90/5.58 1740[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"];1740 -> 1746[label="",style="solid", color="black", weight=3]; 14.90/5.58 1730[label="primDivNatS0 vuz77000 Zero (primGEqNatS vuz77000 Zero)",fontsize=16,color="burlywood",shape="box"];1838[label="vuz77000/Succ vuz770000",fontsize=10,color="white",style="solid",shape="box"];1730 -> 1838[label="",style="solid", color="burlywood", weight=9]; 14.90/5.58 1838 -> 1737[label="",style="solid", color="burlywood", weight=3]; 14.90/5.58 1839[label="vuz77000/Zero",fontsize=10,color="white",style="solid",shape="box"];1730 -> 1839[label="",style="solid", color="burlywood", weight=9]; 14.90/5.58 1839 -> 1738[label="",style="solid", color="burlywood", weight=3]; 14.90/5.58 1731[label="Zero",fontsize=16,color="green",shape="box"];1741[label="vuz750",fontsize=16,color="green",shape="box"];1742[label="Integer (Pos (Succ (Succ vuz74))) `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"];1742 -> 1747[label="",style="solid", color="black", weight=3]; 14.90/5.58 1784[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS0 (Succ vuz7900) Zero True)) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS0 (Succ vuz7900) Zero True)))",fontsize=16,color="black",shape="box"];1784 -> 1787[label="",style="solid", color="black", weight=3]; 14.90/5.58 1785[label="Integer (Neg (Succ (Succ vuz72))) `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"];1785 -> 1788[label="",style="solid", color="black", weight=3]; 14.90/5.58 1786 -> 1671[label="",style="dashed", color="red", weight=0]; 14.90/5.58 1786[label="Integer (Neg (Succ (Succ vuz72))) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];1786 -> 1789[label="",style="dashed", color="magenta", weight=3]; 14.90/5.58 1746[label="Integer (Neg (Succ Zero)) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];1746 -> 1752[label="",style="solid", color="black", weight=3]; 14.90/5.58 1737[label="primDivNatS0 (Succ vuz770000) Zero (primGEqNatS (Succ vuz770000) Zero)",fontsize=16,color="black",shape="box"];1737 -> 1743[label="",style="solid", color="black", weight=3]; 14.90/5.58 1738[label="primDivNatS0 Zero Zero (primGEqNatS Zero Zero)",fontsize=16,color="black",shape="box"];1738 -> 1744[label="",style="solid", color="black", weight=3]; 14.90/5.58 1747[label="Integer (Pos (Succ (Succ vuz74))) `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"];1747 -> 1753[label="",style="solid", color="black", weight=3]; 14.90/5.58 1787 -> 1767[label="",style="dashed", color="red", weight=0]; 14.90/5.58 1787[label="Integer (Neg (Succ (Succ vuz72))) `quot` gcd0Gcd'1 (primEqInt (Pos (primModNatS (primMinusNatS (Succ vuz7900) Zero) (Succ Zero))) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos (primModNatS (primMinusNatS (Succ vuz7900) Zero) (Succ Zero))))",fontsize=16,color="magenta"];1787 -> 1790[label="",style="dashed", color="magenta", weight=3]; 14.90/5.58 1787 -> 1791[label="",style="dashed", color="magenta", weight=3]; 14.90/5.58 1788 -> 1767[label="",style="dashed", color="red", weight=0]; 14.90/5.58 1788[label="Integer (Neg (Succ (Succ vuz72))) `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"];1788 -> 1792[label="",style="dashed", color="magenta", weight=3]; 14.90/5.58 1788 -> 1793[label="",style="dashed", color="magenta", weight=3]; 14.90/5.58 1789[label="Neg (Succ (Succ vuz72))",fontsize=16,color="green",shape="box"];1752 -> 1671[label="",style="dashed", color="red", weight=0]; 14.90/5.58 1752[label="Integer (Neg (Succ Zero)) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];1752 -> 1758[label="",style="dashed", color="magenta", weight=3]; 14.90/5.58 1743[label="primDivNatS0 (Succ vuz770000) Zero True",fontsize=16,color="black",shape="box"];1743 -> 1748[label="",style="solid", color="black", weight=3]; 14.90/5.58 1744[label="primDivNatS0 Zero Zero True",fontsize=16,color="black",shape="box"];1744 -> 1749[label="",style="solid", color="black", weight=3]; 14.90/5.58 1753[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 (primEqInt (Pos Zero) (Pos Zero)) (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];1753 -> 1759[label="",style="solid", color="black", weight=3]; 14.90/5.58 1790 -> 1760[label="",style="dashed", color="red", weight=0]; 14.90/5.58 1790[label="primMinusNatS (Succ vuz7900) Zero",fontsize=16,color="magenta"];1790 -> 1794[label="",style="dashed", color="magenta", weight=3]; 14.90/5.58 1791 -> 1760[label="",style="dashed", color="red", weight=0]; 14.90/5.58 1791[label="primMinusNatS (Succ vuz7900) Zero",fontsize=16,color="magenta"];1791 -> 1795[label="",style="dashed", color="magenta", weight=3]; 14.90/5.58 1792 -> 1761[label="",style="dashed", color="red", weight=0]; 14.90/5.58 1792[label="primMinusNatS Zero Zero",fontsize=16,color="magenta"];1793 -> 1761[label="",style="dashed", color="red", weight=0]; 14.90/5.58 1793[label="primMinusNatS Zero Zero",fontsize=16,color="magenta"];1758[label="Neg (Succ Zero)",fontsize=16,color="green",shape="box"];1748[label="Succ (primDivNatS (primMinusNatS (Succ vuz770000) Zero) (Succ Zero))",fontsize=16,color="green",shape="box"];1748 -> 1754[label="",style="dashed", color="green", weight=3]; 14.90/5.58 1749[label="Succ (primDivNatS (primMinusNatS Zero Zero) (Succ Zero))",fontsize=16,color="green",shape="box"];1749 -> 1755[label="",style="dashed", color="green", weight=3]; 14.90/5.58 1759[label="Integer (Pos (Succ (Succ vuz74))) `quot` gcd0Gcd'1 True (Integer (Pos (Succ Zero))) (Integer (Pos Zero))",fontsize=16,color="black",shape="box"];1759 -> 1764[label="",style="solid", color="black", weight=3]; 14.90/5.58 1794[label="vuz7900",fontsize=16,color="green",shape="box"];1760[label="primMinusNatS (Succ vuz770000) Zero",fontsize=16,color="black",shape="triangle"];1760 -> 1765[label="",style="solid", color="black", weight=3]; 14.90/5.58 1795[label="vuz7900",fontsize=16,color="green",shape="box"];1761[label="primMinusNatS Zero Zero",fontsize=16,color="black",shape="triangle"];1761 -> 1766[label="",style="solid", color="black", weight=3]; 14.90/5.58 1754 -> 1713[label="",style="dashed", color="red", weight=0]; 14.90/5.58 1754[label="primDivNatS (primMinusNatS (Succ vuz770000) Zero) (Succ Zero)",fontsize=16,color="magenta"];1754 -> 1760[label="",style="dashed", color="magenta", weight=3]; 14.90/5.58 1755 -> 1713[label="",style="dashed", color="red", weight=0]; 14.90/5.58 1755[label="primDivNatS (primMinusNatS Zero Zero) (Succ Zero)",fontsize=16,color="magenta"];1755 -> 1761[label="",style="dashed", color="magenta", weight=3]; 14.90/5.58 1764 -> 1671[label="",style="dashed", color="red", weight=0]; 14.90/5.58 1764[label="Integer (Pos (Succ (Succ vuz74))) `quot` Integer (Pos (Succ Zero))",fontsize=16,color="magenta"];1764 -> 1778[label="",style="dashed", color="magenta", weight=3]; 14.90/5.58 1765[label="Succ vuz770000",fontsize=16,color="green",shape="box"];1766[label="Zero",fontsize=16,color="green",shape="box"];1778[label="Pos (Succ (Succ vuz74))",fontsize=16,color="green",shape="box"];} 14.90/5.58 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (12) 14.90/5.58 Complex Obligation (AND) 14.90/5.58 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (13) 14.90/5.58 Obligation: 14.90/5.58 Q DP problem: 14.90/5.58 The TRS P consists of the following rules: 14.90/5.58 14.90/5.58 new_primDivNatS(Succ(Zero)) -> new_primDivNatS(new_primMinusNatS0) 14.90/5.58 new_primDivNatS(Succ(Succ(vuz770000))) -> new_primDivNatS(new_primMinusNatS(vuz770000)) 14.90/5.58 14.90/5.58 The TRS R consists of the following rules: 14.90/5.58 14.90/5.58 new_primMinusNatS(vuz770000) -> Succ(vuz770000) 14.90/5.58 new_primMinusNatS0 -> Zero 14.90/5.58 14.90/5.58 The set Q consists of the following terms: 14.90/5.58 14.90/5.58 new_primMinusNatS(x0) 14.90/5.58 new_primMinusNatS0 14.90/5.58 14.90/5.58 We have to consider all minimal (P,Q,R)-chains. 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (14) DependencyGraphProof (EQUIVALENT) 14.90/5.58 The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 1 SCC with 1 less node. 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (15) 14.90/5.58 Obligation: 14.90/5.58 Q DP problem: 14.90/5.58 The TRS P consists of the following rules: 14.90/5.58 14.90/5.58 new_primDivNatS(Succ(Succ(vuz770000))) -> new_primDivNatS(new_primMinusNatS(vuz770000)) 14.90/5.58 14.90/5.58 The TRS R consists of the following rules: 14.90/5.58 14.90/5.58 new_primMinusNatS(vuz770000) -> Succ(vuz770000) 14.90/5.58 new_primMinusNatS0 -> Zero 14.90/5.58 14.90/5.58 The set Q consists of the following terms: 14.90/5.58 14.90/5.58 new_primMinusNatS(x0) 14.90/5.58 new_primMinusNatS0 14.90/5.58 14.90/5.58 We have to consider all minimal (P,Q,R)-chains. 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (16) MRRProof (EQUIVALENT) 14.90/5.58 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. 14.90/5.58 14.90/5.58 Strictly oriented dependency pairs: 14.90/5.58 14.90/5.58 new_primDivNatS(Succ(Succ(vuz770000))) -> new_primDivNatS(new_primMinusNatS(vuz770000)) 14.90/5.58 14.90/5.58 Strictly oriented rules of the TRS R: 14.90/5.58 14.90/5.58 new_primMinusNatS(vuz770000) -> Succ(vuz770000) 14.90/5.58 new_primMinusNatS0 -> Zero 14.90/5.58 14.90/5.58 Used ordering: Polynomial interpretation [POLO]: 14.90/5.58 14.90/5.58 POL(Succ(x_1)) = 1 + 2*x_1 14.90/5.58 POL(Zero) = 1 14.90/5.58 POL(new_primDivNatS(x_1)) = x_1 14.90/5.58 POL(new_primMinusNatS(x_1)) = 2 + 2*x_1 14.90/5.58 POL(new_primMinusNatS0) = 2 14.90/5.58 14.90/5.58 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (17) 14.90/5.58 Obligation: 14.90/5.58 Q DP problem: 14.90/5.58 P is empty. 14.90/5.58 R is empty. 14.90/5.58 The set Q consists of the following terms: 14.90/5.58 14.90/5.58 new_primMinusNatS(x0) 14.90/5.58 new_primMinusNatS0 14.90/5.58 14.90/5.58 We have to consider all minimal (P,Q,R)-chains. 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (18) PisEmptyProof (EQUIVALENT) 14.90/5.58 The TRS P is empty. Hence, there is no (P,Q,R) chain. 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (19) 14.90/5.58 YES 14.90/5.58 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (20) 14.90/5.58 Obligation: 14.90/5.58 Q DP problem: 14.90/5.58 The TRS P consists of the following rules: 14.90/5.58 14.90/5.58 new_quot1(vuz74, Succ(vuz750)) -> new_quot1(vuz74, vuz750) 14.90/5.58 14.90/5.58 R is empty. 14.90/5.58 Q is empty. 14.90/5.58 We have to consider all minimal (P,Q,R)-chains. 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (21) QDPSizeChangeProof (EQUIVALENT) 14.90/5.58 By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 14.90/5.58 14.90/5.58 From the DPs we obtained the following set of size-change graphs: 14.90/5.58 *new_quot1(vuz74, Succ(vuz750)) -> new_quot1(vuz74, vuz750) 14.90/5.58 The graph contains the following edges 1 >= 1, 2 > 2 14.90/5.58 14.90/5.58 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (22) 14.90/5.58 YES 14.90/5.58 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (23) 14.90/5.58 Obligation: 14.90/5.58 Q DP problem: 14.90/5.58 The TRS P consists of the following rules: 14.90/5.58 14.90/5.58 new_primMulNat(Succ(vuz3000)) -> new_primMulNat(vuz3000) 14.90/5.58 14.90/5.58 R is empty. 14.90/5.58 Q is empty. 14.90/5.58 We have to consider all minimal (P,Q,R)-chains. 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (24) QDPSizeChangeProof (EQUIVALENT) 14.90/5.58 By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 14.90/5.58 14.90/5.58 From the DPs we obtained the following set of size-change graphs: 14.90/5.58 *new_primMulNat(Succ(vuz3000)) -> new_primMulNat(vuz3000) 14.90/5.58 The graph contains the following edges 1 > 1 14.90/5.58 14.90/5.58 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (25) 14.90/5.58 YES 14.90/5.58 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (26) 14.90/5.58 Obligation: 14.90/5.58 Q DP problem: 14.90/5.58 The TRS P consists of the following rules: 14.90/5.58 14.90/5.58 new_quot(vuz72, Succ(Zero), vuz78) -> new_quot(vuz72, new_primMinusNatS0, new_primMinusNatS0) 14.90/5.58 new_quot(vuz72, Succ(Succ(vuz7900)), vuz78) -> new_quot(vuz72, new_primMinusNatS(vuz7900), new_primMinusNatS(vuz7900)) 14.90/5.58 14.90/5.58 The TRS R consists of the following rules: 14.90/5.58 14.90/5.58 new_primMinusNatS(vuz770000) -> Succ(vuz770000) 14.90/5.58 new_primMinusNatS0 -> Zero 14.90/5.58 14.90/5.58 The set Q consists of the following terms: 14.90/5.58 14.90/5.58 new_primMinusNatS(x0) 14.90/5.58 new_primMinusNatS0 14.90/5.58 14.90/5.58 We have to consider all minimal (P,Q,R)-chains. 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (27) DependencyGraphProof (EQUIVALENT) 14.90/5.58 The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 1 SCC with 1 less node. 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (28) 14.90/5.58 Obligation: 14.90/5.58 Q DP problem: 14.90/5.58 The TRS P consists of the following rules: 14.90/5.58 14.90/5.58 new_quot(vuz72, Succ(Succ(vuz7900)), vuz78) -> new_quot(vuz72, new_primMinusNatS(vuz7900), new_primMinusNatS(vuz7900)) 14.90/5.58 14.90/5.58 The TRS R consists of the following rules: 14.90/5.58 14.90/5.58 new_primMinusNatS(vuz770000) -> Succ(vuz770000) 14.90/5.58 new_primMinusNatS0 -> Zero 14.90/5.58 14.90/5.58 The set Q consists of the following terms: 14.90/5.58 14.90/5.58 new_primMinusNatS(x0) 14.90/5.58 new_primMinusNatS0 14.90/5.58 14.90/5.58 We have to consider all minimal (P,Q,R)-chains. 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (29) MRRProof (EQUIVALENT) 14.90/5.58 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. 14.90/5.58 14.90/5.58 Strictly oriented dependency pairs: 14.90/5.58 14.90/5.58 new_quot(vuz72, Succ(Succ(vuz7900)), vuz78) -> new_quot(vuz72, new_primMinusNatS(vuz7900), new_primMinusNatS(vuz7900)) 14.90/5.58 14.90/5.58 14.90/5.58 Used ordering: Polynomial interpretation [POLO]: 14.90/5.58 14.90/5.58 POL(Succ(x_1)) = 1 + 2*x_1 14.90/5.58 POL(Zero) = 2 14.90/5.58 POL(new_primMinusNatS(x_1)) = 1 + 2*x_1 14.90/5.58 POL(new_primMinusNatS0) = 2 14.90/5.58 POL(new_quot(x_1, x_2, x_3)) = x_1 + 2*x_2 + x_3 14.90/5.58 14.90/5.58 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (30) 14.90/5.58 Obligation: 14.90/5.58 Q DP problem: 14.90/5.58 P is empty. 14.90/5.58 The TRS R consists of the following rules: 14.90/5.58 14.90/5.58 new_primMinusNatS(vuz770000) -> Succ(vuz770000) 14.90/5.58 new_primMinusNatS0 -> Zero 14.90/5.58 14.90/5.58 The set Q consists of the following terms: 14.90/5.58 14.90/5.58 new_primMinusNatS(x0) 14.90/5.58 new_primMinusNatS0 14.90/5.58 14.90/5.58 We have to consider all minimal (P,Q,R)-chains. 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (31) PisEmptyProof (EQUIVALENT) 14.90/5.58 The TRS P is empty. Hence, there is no (P,Q,R) chain. 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (32) 14.90/5.58 YES 14.90/5.58 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (33) 14.90/5.58 Obligation: 14.90/5.58 Q DP problem: 14.90/5.58 The TRS P consists of the following rules: 14.90/5.58 14.90/5.58 new_quot0(Succ(vuz4400)) -> new_quot0(vuz4400) 14.90/5.58 14.90/5.58 R is empty. 14.90/5.58 Q is empty. 14.90/5.58 We have to consider all minimal (P,Q,R)-chains. 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (34) QDPSizeChangeProof (EQUIVALENT) 14.90/5.58 By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 14.90/5.58 14.90/5.58 From the DPs we obtained the following set of size-change graphs: 14.90/5.58 *new_quot0(Succ(vuz4400)) -> new_quot0(vuz4400) 14.90/5.58 The graph contains the following edges 1 > 1 14.90/5.58 14.90/5.58 14.90/5.58 ---------------------------------------- 14.90/5.58 14.90/5.58 (35) 14.90/5.58 YES 15.05/5.68 EOF