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