/export/starexec/sandbox/solver/bin/starexec_run_standard /export/starexec/sandbox/benchmark/theBenchmark.hs /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE proof of /export/starexec/sandbox/benchmark/theBenchmark.hs # AProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty H-Termination with start terms of the given HASKELL could not be shown: (0) HASKELL (1) BR [EQUIVALENT, 0 ms] (2) HASKELL (3) COR [EQUIVALENT, 0 ms] (4) HASKELL (5) LetRed [EQUIVALENT, 0 ms] (6) HASKELL (7) NumRed [SOUND, 0 ms] (8) HASKELL (9) Narrow [COMPLETE, 0 ms] (10) AND (11) QDP (12) PisEmptyProof [EQUIVALENT, 0 ms] (13) YES (14) QDP (15) NonTerminationLoopProof [COMPLETE, 0 ms] (16) NO (17) QDP ---------------------------------------- (0) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (1) BR (EQUIVALENT) Replaced joker patterns by fresh variables and removed binding patterns. ---------------------------------------- (2) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (3) COR (EQUIVALENT) Cond Reductions: The following Function with conditions "takeWhile p [] = []; takeWhile p (x : xs)|p xx : takeWhile p xs|otherwise[]; " is transformed to "takeWhile p [] = takeWhile3 p []; takeWhile p (x : xs) = takeWhile2 p (x : xs); " "takeWhile1 p x xs True = x : takeWhile p xs; takeWhile1 p x xs False = takeWhile0 p x xs otherwise; " "takeWhile0 p x xs True = []; " "takeWhile2 p (x : xs) = takeWhile1 p x xs (p x); " "takeWhile3 p [] = []; takeWhile3 wv ww = takeWhile2 wv ww; " The following Function with conditions "p |n' >= nflip (<=) m|otherwiseflip (>=) m; " is transformed to "p = p2; " "p1 True = flip (<=) m; p1 False = p0 otherwise; " "p0 True = flip (>=) m; " "p2 = p1 (n' >= n); " The following Function with conditions "undefined |Falseundefined; " is transformed to "undefined = undefined1; " "undefined0 True = undefined; " "undefined1 = undefined0 False; " The following Function with conditions "toEnum 0 = False; toEnum 1 = True; " is transformed to "toEnum wy = toEnum3 wy; toEnum wx = toEnum1 wx; " "toEnum0 True wx = True; " "toEnum1 wx = toEnum0 (wx == 1) wx; " "toEnum2 True wy = False; toEnum2 wz xu = toEnum1 xu; " "toEnum3 wy = toEnum2 (wy == 0) wy; toEnum3 xv = toEnum1 xv; " ---------------------------------------- (4) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (5) LetRed (EQUIVALENT) Let/Where Reductions: The bindings of the following Let/Where expression "takeWhile p (numericEnumFromThen n n') where { p = p2; ; p0 True = flip (>=) m; ; p1 True = flip (<=) m; p1 False = p0 otherwise; ; p2 = p1 (n' >= n); } " are unpacked to the following functions on top level "numericEnumFromThenToP2 xw xx xy = numericEnumFromThenToP1 xw xx xy (xw >= xx); " "numericEnumFromThenToP1 xw xx xy True = flip (<=) xy; numericEnumFromThenToP1 xw xx xy False = numericEnumFromThenToP0 xw xx xy otherwise; " "numericEnumFromThenToP0 xw xx xy True = flip (>=) xy; " "numericEnumFromThenToP xw xx xy = numericEnumFromThenToP2 xw xx xy; " ---------------------------------------- (6) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (7) NumRed (SOUND) Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero. ---------------------------------------- (8) Obligation: mainModule Main module Main where { import qualified Prelude; } ---------------------------------------- (9) Narrow (COMPLETE) Haskell To QDPs digraph dp_graph { node [outthreshold=100, inthreshold=100];1[label="enumFromThenTo",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3]; 3[label="enumFromThenTo xz3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3]; 4[label="enumFromThenTo xz3 xz4",fontsize=16,color="grey",shape="box"];4 -> 5[label="",style="dashed", color="grey", weight=3]; 5[label="enumFromThenTo xz3 xz4 xz5",fontsize=16,color="black",shape="triangle"];5 -> 6[label="",style="solid", color="black", weight=3]; 6[label="map toEnum (enumFromThenTo (fromEnum xz3) (fromEnum xz4) (fromEnum xz5))",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3]; 7[label="map toEnum (numericEnumFromThenTo (fromEnum xz3) (fromEnum xz4) (fromEnum xz5))",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3]; 8[label="map toEnum (takeWhile (numericEnumFromThenToP (fromEnum xz4) (fromEnum xz3) (fromEnum xz5)) (numericEnumFromThen (fromEnum xz3) (fromEnum xz4)))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3]; 9[label="map toEnum (takeWhile (numericEnumFromThenToP (fromEnum xz4) (fromEnum xz3) (fromEnum xz5)) (iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz3)))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3]; 10[label="map toEnum (takeWhile (numericEnumFromThenToP (fromEnum xz4) (fromEnum xz3) (fromEnum xz5)) (fromEnum xz3 : iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz4 - fromEnum xz3 + fromEnum xz3)))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3]; 11[label="map toEnum (takeWhile2 (numericEnumFromThenToP (fromEnum xz4) (fromEnum xz3) (fromEnum xz5)) (fromEnum xz3 : iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz4 - fromEnum xz3 + fromEnum xz3)))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3]; 12[label="map toEnum (takeWhile1 (numericEnumFromThenToP (fromEnum xz4) (fromEnum xz3) (fromEnum xz5)) (fromEnum xz3) (iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz4 - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (fromEnum xz3)))",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3]; 13[label="map toEnum (takeWhile1 (numericEnumFromThenToP2 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5)) (fromEnum xz3) (iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz4 - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP2 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (fromEnum xz3)))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3]; 14[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (fromEnum xz4 >= fromEnum xz3)) (fromEnum xz3) (iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz4 - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP1 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (fromEnum xz4 >= fromEnum xz3) (fromEnum xz3)))",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3]; 15[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (compare (fromEnum xz4) (fromEnum xz3) /= LT)) (fromEnum xz3) (iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz4 - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP1 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (compare (fromEnum xz4) (fromEnum xz3) /= LT) (fromEnum xz3)))",fontsize=16,color="black",shape="box"];15 -> 16[label="",style="solid", color="black", weight=3]; 16[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (not (compare (fromEnum xz4) (fromEnum xz3) == LT))) (fromEnum xz3) (iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz4 - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP1 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (not (compare (fromEnum xz4) (fromEnum xz3) == LT)) (fromEnum xz3)))",fontsize=16,color="black",shape="box"];16 -> 17[label="",style="solid", color="black", weight=3]; 17[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (fromEnum xz4) (fromEnum xz3) == LT))) (fromEnum xz3) (iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz4 - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP1 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (fromEnum xz4) (fromEnum xz3) == LT)) (fromEnum xz3)))",fontsize=16,color="burlywood",shape="box"];400[label="xz4/False",fontsize=10,color="white",style="solid",shape="box"];17 -> 400[label="",style="solid", color="burlywood", weight=9]; 400 -> 18[label="",style="solid", color="burlywood", weight=3]; 401[label="xz4/True",fontsize=10,color="white",style="solid",shape="box"];17 -> 401[label="",style="solid", color="burlywood", weight=9]; 401 -> 19[label="",style="solid", color="burlywood", weight=3]; 18[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum False) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (fromEnum False) (fromEnum xz3) == LT))) (fromEnum xz3) (iterate (fromEnum False - fromEnum xz3 +) (fromEnum False - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP1 (fromEnum False) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (fromEnum False) (fromEnum xz3) == LT)) (fromEnum xz3)))",fontsize=16,color="black",shape="box"];18 -> 20[label="",style="solid", color="black", weight=3]; 19[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum True) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (fromEnum True) (fromEnum xz3) == LT))) (fromEnum xz3) (iterate (fromEnum True - fromEnum xz3 +) (fromEnum True - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP1 (fromEnum True) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (fromEnum True) (fromEnum xz3) == LT)) (fromEnum xz3)))",fontsize=16,color="black",shape="box"];19 -> 21[label="",style="solid", color="black", weight=3]; 20[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (Pos Zero) (fromEnum xz3) == LT))) (fromEnum xz3) (iterate (Pos Zero - fromEnum xz3 +) (Pos Zero - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP1 (Pos Zero) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (Pos Zero) (fromEnum xz3) == LT)) (fromEnum xz3)))",fontsize=16,color="burlywood",shape="box"];402[label="xz3/False",fontsize=10,color="white",style="solid",shape="box"];20 -> 402[label="",style="solid", color="burlywood", weight=9]; 402 -> 22[label="",style="solid", color="burlywood", weight=3]; 403[label="xz3/True",fontsize=10,color="white",style="solid",shape="box"];20 -> 403[label="",style="solid", color="burlywood", weight=9]; 403 -> 23[label="",style="solid", color="burlywood", weight=3]; 21[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (fromEnum xz3) == LT))) (fromEnum xz3) (iterate (Pos (Succ Zero) - fromEnum xz3 +) (Pos (Succ Zero) - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (fromEnum xz3) == LT)) (fromEnum xz3)))",fontsize=16,color="burlywood",shape="box"];404[label="xz3/False",fontsize=10,color="white",style="solid",shape="box"];21 -> 404[label="",style="solid", color="burlywood", weight=9]; 404 -> 24[label="",style="solid", color="burlywood", weight=3]; 405[label="xz3/True",fontsize=10,color="white",style="solid",shape="box"];21 -> 405[label="",style="solid", color="burlywood", weight=9]; 405 -> 25[label="",style="solid", color="burlywood", weight=3]; 22[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (fromEnum False) (fromEnum xz5) (not (primCmpInt (Pos Zero) (fromEnum False) == LT))) (fromEnum False) (iterate (Pos Zero - fromEnum False +) (Pos Zero - fromEnum False + fromEnum False)) (numericEnumFromThenToP1 (Pos Zero) (fromEnum False) (fromEnum xz5) (not (primCmpInt (Pos Zero) (fromEnum False) == LT)) (fromEnum False)))",fontsize=16,color="black",shape="box"];22 -> 26[label="",style="solid", color="black", weight=3]; 23[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (fromEnum True) (fromEnum xz5) (not (primCmpInt (Pos Zero) (fromEnum True) == LT))) (fromEnum True) (iterate (Pos Zero - fromEnum True +) (Pos Zero - fromEnum True + fromEnum True)) (numericEnumFromThenToP1 (Pos Zero) (fromEnum True) (fromEnum xz5) (not (primCmpInt (Pos Zero) (fromEnum True) == LT)) (fromEnum True)))",fontsize=16,color="black",shape="box"];23 -> 27[label="",style="solid", color="black", weight=3]; 24[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnum False) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (fromEnum False) == LT))) (fromEnum False) (iterate (Pos (Succ Zero) - fromEnum False +) (Pos (Succ Zero) - fromEnum False + fromEnum False)) (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnum False) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (fromEnum False) == LT)) (fromEnum False)))",fontsize=16,color="black",shape="box"];24 -> 28[label="",style="solid", color="black", weight=3]; 25[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnum True) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (fromEnum True) == LT))) (fromEnum True) (iterate (Pos (Succ Zero) - fromEnum True +) (Pos (Succ Zero) - fromEnum True + fromEnum True)) (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnum True) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (fromEnum True) == LT)) (fromEnum True)))",fontsize=16,color="black",shape="box"];25 -> 29[label="",style="solid", color="black", weight=3]; 26[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnum xz5) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnum xz5) (not (primCmpInt (Pos Zero) (Pos Zero) == LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];26 -> 30[label="",style="solid", color="black", weight=3]; 27[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpInt (Pos Zero) (Pos (Succ Zero)) == LT))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpInt (Pos Zero) (Pos (Succ Zero)) == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];27 -> 31[label="",style="solid", color="black", weight=3]; 28[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];28 -> 32[label="",style="solid", color="black", weight=3]; 29[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero)) == LT))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero)) == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];29 -> 33[label="",style="solid", color="black", weight=3]; 30[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnum xz5) (not (EQ == LT))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnum xz5) (not (EQ == LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];30 -> 34[label="",style="solid", color="black", weight=3]; 31[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpNat Zero (Succ Zero) == LT))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpNat Zero (Succ Zero) == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];31 -> 35[label="",style="solid", color="black", weight=3]; 32[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) (not (primCmpNat (Succ Zero) Zero == LT))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) (not (primCmpNat (Succ Zero) Zero == LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];32 -> 36[label="",style="solid", color="black", weight=3]; 33[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpNat (Succ Zero) (Succ Zero) == LT))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpNat (Succ Zero) (Succ Zero) == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];33 -> 37[label="",style="solid", color="black", weight=3]; 34[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnum xz5) (not False)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnum xz5) (not False) (Pos Zero)))",fontsize=16,color="black",shape="box"];34 -> 38[label="",style="solid", color="black", weight=3]; 35[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) (not (LT == LT))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) (not (LT == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];35 -> 39[label="",style="solid", color="black", weight=3]; 36[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) (not (GT == LT))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) (not (GT == LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];36 -> 40[label="",style="solid", color="black", weight=3]; 37[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpNat Zero Zero == LT))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpNat Zero Zero == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];37 -> 41[label="",style="solid", color="black", weight=3]; 38[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnum xz5) True) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnum xz5) True (Pos Zero)))",fontsize=16,color="black",shape="box"];38 -> 42[label="",style="solid", color="black", weight=3]; 39[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) (not True)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) (not True) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];39 -> 43[label="",style="solid", color="black", weight=3]; 40[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) (not False)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) (not False) (Pos Zero)))",fontsize=16,color="black",shape="box"];40 -> 44[label="",style="solid", color="black", weight=3]; 41[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not (EQ == LT))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not (EQ == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];41 -> 45[label="",style="solid", color="black", weight=3]; 42[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (flip (<=) (fromEnum xz5) (Pos Zero)))",fontsize=16,color="black",shape="box"];42 -> 46[label="",style="solid", color="black", weight=3]; 43[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) False) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) False (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];43 -> 47[label="",style="solid", color="black", weight=3]; 44[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) True) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) True (Pos Zero)))",fontsize=16,color="black",shape="box"];44 -> 48[label="",style="solid", color="black", weight=3]; 45[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not False)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not False) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];45 -> 49[label="",style="solid", color="black", weight=3]; 46[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) ((<=) Pos Zero fromEnum xz5))",fontsize=16,color="black",shape="box"];46 -> 50[label="",style="solid", color="black", weight=3]; 47[label="map toEnum (takeWhile1 (numericEnumFromThenToP0 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) otherwise) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP0 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) otherwise (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];47 -> 51[label="",style="solid", color="black", weight=3]; 48[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (flip (<=) (fromEnum xz5) (Pos Zero)))",fontsize=16,color="black",shape="box"];48 -> 52[label="",style="solid", color="black", weight=3]; 49[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) True) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) True (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];49 -> 53[label="",style="solid", color="black", weight=3]; 50[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (compare (Pos Zero) (fromEnum xz5) /= GT))",fontsize=16,color="black",shape="box"];50 -> 54[label="",style="solid", color="black", weight=3]; 51[label="map toEnum (takeWhile1 (numericEnumFromThenToP0 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) True) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP0 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) True (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];51 -> 55[label="",style="solid", color="black", weight=3]; 52[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) ((<=) Pos Zero fromEnum xz5))",fontsize=16,color="black",shape="box"];52 -> 56[label="",style="solid", color="black", weight=3]; 53[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (flip (<=) (fromEnum xz5) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];53 -> 57[label="",style="solid", color="black", weight=3]; 54[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (compare (Pos Zero) (fromEnum xz5) == GT)))",fontsize=16,color="black",shape="box"];54 -> 58[label="",style="solid", color="black", weight=3]; 55[label="map toEnum (takeWhile1 (flip (>=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (flip (>=) (fromEnum xz5) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];55 -> 59[label="",style="solid", color="black", weight=3]; 56[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (compare (Pos Zero) (fromEnum xz5) /= GT))",fontsize=16,color="black",shape="box"];56 -> 60[label="",style="solid", color="black", weight=3]; 57[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) ((<=) Pos (Succ Zero) fromEnum xz5))",fontsize=16,color="black",shape="box"];57 -> 61[label="",style="solid", color="black", weight=3]; 58[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (fromEnum xz5) == GT)))",fontsize=16,color="burlywood",shape="box"];406[label="xz5/False",fontsize=10,color="white",style="solid",shape="box"];58 -> 406[label="",style="solid", color="burlywood", weight=9]; 406 -> 62[label="",style="solid", color="burlywood", weight=3]; 407[label="xz5/True",fontsize=10,color="white",style="solid",shape="box"];58 -> 407[label="",style="solid", color="burlywood", weight=9]; 407 -> 63[label="",style="solid", color="burlywood", weight=3]; 59[label="map toEnum (takeWhile1 (flip (>=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) ((>=) Pos (Succ Zero) fromEnum xz5))",fontsize=16,color="black",shape="box"];59 -> 64[label="",style="solid", color="black", weight=3]; 60[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (compare (Pos Zero) (fromEnum xz5) == GT)))",fontsize=16,color="black",shape="box"];60 -> 65[label="",style="solid", color="black", weight=3]; 61[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (compare (Pos (Succ Zero)) (fromEnum xz5) /= GT))",fontsize=16,color="black",shape="box"];61 -> 66[label="",style="solid", color="black", weight=3]; 62[label="map toEnum (takeWhile1 (flip (<=) (fromEnum False)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (fromEnum False) == GT)))",fontsize=16,color="black",shape="box"];62 -> 67[label="",style="solid", color="black", weight=3]; 63[label="map toEnum (takeWhile1 (flip (<=) (fromEnum True)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (fromEnum True) == GT)))",fontsize=16,color="black",shape="box"];63 -> 68[label="",style="solid", color="black", weight=3]; 64[label="map toEnum (takeWhile1 (flip (>=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (compare (Pos (Succ Zero)) (fromEnum xz5) /= LT))",fontsize=16,color="black",shape="box"];64 -> 69[label="",style="solid", color="black", weight=3]; 65[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (fromEnum xz5) == GT)))",fontsize=16,color="burlywood",shape="box"];408[label="xz5/False",fontsize=10,color="white",style="solid",shape="box"];65 -> 408[label="",style="solid", color="burlywood", weight=9]; 408 -> 70[label="",style="solid", color="burlywood", weight=3]; 409[label="xz5/True",fontsize=10,color="white",style="solid",shape="box"];65 -> 409[label="",style="solid", color="burlywood", weight=9]; 409 -> 71[label="",style="solid", color="burlywood", weight=3]; 66[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (compare (Pos (Succ Zero)) (fromEnum xz5) == GT)))",fontsize=16,color="black",shape="box"];66 -> 72[label="",style="solid", color="black", weight=3]; 67[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];67 -> 73[label="",style="solid", color="black", weight=3]; 68[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];68 -> 74[label="",style="solid", color="black", weight=3]; 69[label="map toEnum (takeWhile1 (flip (>=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (compare (Pos (Succ Zero)) (fromEnum xz5) == LT)))",fontsize=16,color="black",shape="box"];69 -> 75[label="",style="solid", color="black", weight=3]; 70[label="map toEnum (takeWhile1 (flip (<=) (fromEnum False)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (fromEnum False) == GT)))",fontsize=16,color="black",shape="box"];70 -> 76[label="",style="solid", color="black", weight=3]; 71[label="map toEnum (takeWhile1 (flip (<=) (fromEnum True)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (fromEnum True) == GT)))",fontsize=16,color="black",shape="box"];71 -> 77[label="",style="solid", color="black", weight=3]; 72[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (fromEnum xz5) == GT)))",fontsize=16,color="burlywood",shape="box"];410[label="xz5/False",fontsize=10,color="white",style="solid",shape="box"];72 -> 410[label="",style="solid", color="burlywood", weight=9]; 410 -> 78[label="",style="solid", color="burlywood", weight=3]; 411[label="xz5/True",fontsize=10,color="white",style="solid",shape="box"];72 -> 411[label="",style="solid", color="burlywood", weight=9]; 411 -> 79[label="",style="solid", color="burlywood", weight=3]; 73[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (EQ == GT)))",fontsize=16,color="black",shape="box"];73 -> 80[label="",style="solid", color="black", weight=3]; 74[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (primCmpNat Zero (Succ Zero) == GT)))",fontsize=16,color="black",shape="box"];74 -> 81[label="",style="solid", color="black", weight=3]; 75[label="map toEnum (takeWhile1 (flip (>=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (fromEnum xz5) == LT)))",fontsize=16,color="burlywood",shape="box"];412[label="xz5/False",fontsize=10,color="white",style="solid",shape="box"];75 -> 412[label="",style="solid", color="burlywood", weight=9]; 412 -> 82[label="",style="solid", color="burlywood", weight=3]; 413[label="xz5/True",fontsize=10,color="white",style="solid",shape="box"];75 -> 413[label="",style="solid", color="burlywood", weight=9]; 413 -> 83[label="",style="solid", color="burlywood", weight=3]; 76[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];76 -> 84[label="",style="solid", color="black", weight=3]; 77[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];77 -> 85[label="",style="solid", color="black", weight=3]; 78[label="map toEnum (takeWhile1 (flip (<=) (fromEnum False)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (fromEnum False) == GT)))",fontsize=16,color="black",shape="box"];78 -> 86[label="",style="solid", color="black", weight=3]; 79[label="map toEnum (takeWhile1 (flip (<=) (fromEnum True)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (fromEnum True) == GT)))",fontsize=16,color="black",shape="box"];79 -> 87[label="",style="solid", color="black", weight=3]; 80[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not False))",fontsize=16,color="black",shape="box"];80 -> 88[label="",style="solid", color="black", weight=3]; 81[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (LT == GT)))",fontsize=16,color="black",shape="box"];81 -> 89[label="",style="solid", color="black", weight=3]; 82[label="map toEnum (takeWhile1 (flip (>=) (fromEnum False)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (fromEnum False) == LT)))",fontsize=16,color="black",shape="box"];82 -> 90[label="",style="solid", color="black", weight=3]; 83[label="map toEnum (takeWhile1 (flip (>=) (fromEnum True)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (fromEnum True) == LT)))",fontsize=16,color="black",shape="box"];83 -> 91[label="",style="solid", color="black", weight=3]; 84[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (EQ == GT)))",fontsize=16,color="black",shape="box"];84 -> 92[label="",style="solid", color="black", weight=3]; 85[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (primCmpNat Zero (Succ Zero) == GT)))",fontsize=16,color="black",shape="box"];85 -> 93[label="",style="solid", color="black", weight=3]; 86[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];86 -> 94[label="",style="solid", color="black", weight=3]; 87[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];87 -> 95[label="",style="solid", color="black", weight=3]; 88[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) True)",fontsize=16,color="black",shape="box"];88 -> 96[label="",style="solid", color="black", weight=3]; 89[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not False))",fontsize=16,color="black",shape="box"];89 -> 97[label="",style="solid", color="black", weight=3]; 90[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];90 -> 98[label="",style="solid", color="black", weight=3]; 91[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero)) == LT)))",fontsize=16,color="black",shape="box"];91 -> 99[label="",style="solid", color="black", weight=3]; 92[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not False))",fontsize=16,color="black",shape="box"];92 -> 100[label="",style="solid", color="black", weight=3]; 93[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (LT == GT)))",fontsize=16,color="black",shape="box"];93 -> 101[label="",style="solid", color="black", weight=3]; 94[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == GT)))",fontsize=16,color="black",shape="box"];94 -> 102[label="",style="solid", color="black", weight=3]; 95[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpNat (Succ Zero) (Succ Zero) == GT)))",fontsize=16,color="black",shape="box"];95 -> 103[label="",style="solid", color="black", weight=3]; 96[label="map toEnum (Pos Zero : takeWhile (flip (<=) (Pos Zero)) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];96 -> 104[label="",style="solid", color="black", weight=3]; 97[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) True)",fontsize=16,color="black",shape="box"];97 -> 105[label="",style="solid", color="black", weight=3]; 98[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))",fontsize=16,color="black",shape="box"];98 -> 106[label="",style="solid", color="black", weight=3]; 99[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpNat (Succ Zero) (Succ Zero) == LT)))",fontsize=16,color="black",shape="box"];99 -> 107[label="",style="solid", color="black", weight=3]; 100[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) True)",fontsize=16,color="black",shape="box"];100 -> 108[label="",style="solid", color="black", weight=3]; 101[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not False))",fontsize=16,color="black",shape="box"];101 -> 109[label="",style="solid", color="black", weight=3]; 102[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (GT == GT)))",fontsize=16,color="black",shape="box"];102 -> 110[label="",style="solid", color="black", weight=3]; 103[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpNat Zero Zero == GT)))",fontsize=16,color="black",shape="box"];103 -> 111[label="",style="solid", color="black", weight=3]; 104[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos Zero)) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)))",fontsize=16,color="green",shape="box"];104 -> 112[label="",style="dashed", color="green", weight=3]; 104 -> 113[label="",style="dashed", color="green", weight=3]; 105[label="map toEnum (Pos Zero : takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];105 -> 114[label="",style="solid", color="black", weight=3]; 106[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (GT == LT)))",fontsize=16,color="black",shape="box"];106 -> 115[label="",style="solid", color="black", weight=3]; 107[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpNat Zero Zero == LT)))",fontsize=16,color="black",shape="box"];107 -> 116[label="",style="solid", color="black", weight=3]; 108[label="map toEnum (Pos Zero : takeWhile (flip (<=) (Pos Zero)) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];108 -> 117[label="",style="solid", color="black", weight=3]; 109[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) True)",fontsize=16,color="black",shape="box"];109 -> 118[label="",style="solid", color="black", weight=3]; 110[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not True))",fontsize=16,color="black",shape="box"];110 -> 119[label="",style="solid", color="black", weight=3]; 111[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (EQ == GT)))",fontsize=16,color="black",shape="box"];111 -> 120[label="",style="solid", color="black", weight=3]; 112[label="toEnum (Pos Zero)",fontsize=16,color="black",shape="triangle"];112 -> 121[label="",style="solid", color="black", weight=3]; 113[label="map toEnum (takeWhile (flip (<=) (Pos Zero)) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];113 -> 122[label="",style="solid", color="black", weight=3]; 114[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)))",fontsize=16,color="green",shape="box"];114 -> 123[label="",style="dashed", color="green", weight=3]; 114 -> 124[label="",style="dashed", color="green", weight=3]; 115[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];115 -> 125[label="",style="solid", color="black", weight=3]; 116[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (EQ == LT)))",fontsize=16,color="black",shape="box"];116 -> 126[label="",style="solid", color="black", weight=3]; 117[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos Zero)) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)))",fontsize=16,color="green",shape="box"];117 -> 127[label="",style="dashed", color="green", weight=3]; 117 -> 128[label="",style="dashed", color="green", weight=3]; 118[label="map toEnum (Pos Zero : takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];118 -> 129[label="",style="solid", color="black", weight=3]; 119[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) False)",fontsize=16,color="black",shape="box"];119 -> 130[label="",style="solid", color="black", weight=3]; 120[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];120 -> 131[label="",style="solid", color="black", weight=3]; 121[label="toEnum3 (Pos Zero)",fontsize=16,color="black",shape="box"];121 -> 132[label="",style="solid", color="black", weight=3]; 122[label="map toEnum (takeWhile (flip (<=) (Pos Zero)) (Pos Zero - Pos Zero + Pos Zero : iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))))",fontsize=16,color="black",shape="box"];122 -> 133[label="",style="solid", color="black", weight=3]; 123 -> 112[label="",style="dashed", color="red", weight=0]; 123[label="toEnum (Pos Zero)",fontsize=16,color="magenta"];124[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];124 -> 134[label="",style="solid", color="black", weight=3]; 125[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];125 -> 135[label="",style="solid", color="black", weight=3]; 126[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];126 -> 136[label="",style="solid", color="black", weight=3]; 127 -> 112[label="",style="dashed", color="red", weight=0]; 127[label="toEnum (Pos Zero)",fontsize=16,color="magenta"];128[label="map toEnum (takeWhile (flip (<=) (Pos Zero)) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];128 -> 137[label="",style="solid", color="black", weight=3]; 129[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)))",fontsize=16,color="green",shape="box"];129 -> 138[label="",style="dashed", color="green", weight=3]; 129 -> 139[label="",style="dashed", color="green", weight=3]; 130[label="map toEnum (takeWhile0 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) otherwise)",fontsize=16,color="black",shape="box"];130 -> 140[label="",style="solid", color="black", weight=3]; 131[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];131 -> 141[label="",style="solid", color="black", weight=3]; 132[label="toEnum2 (Pos Zero == Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];132 -> 142[label="",style="solid", color="black", weight=3]; 133[label="map toEnum (takeWhile2 (flip (<=) (Pos Zero)) (Pos Zero - Pos Zero + Pos Zero : iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))))",fontsize=16,color="black",shape="box"];133 -> 143[label="",style="solid", color="black", weight=3]; 134[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (Pos Zero - Pos Zero + Pos Zero : iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))))",fontsize=16,color="black",shape="box"];134 -> 144[label="",style="solid", color="black", weight=3]; 135[label="map toEnum (Pos (Succ Zero) : takeWhile (flip (>=) (Pos Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];135 -> 145[label="",style="solid", color="black", weight=3]; 136[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];136 -> 146[label="",style="solid", color="black", weight=3]; 137[label="map toEnum (takeWhile (flip (<=) (Pos Zero)) (Pos (Succ Zero) - Pos Zero + Pos Zero : iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))))",fontsize=16,color="black",shape="box"];137 -> 147[label="",style="solid", color="black", weight=3]; 138 -> 112[label="",style="dashed", color="red", weight=0]; 138[label="toEnum (Pos Zero)",fontsize=16,color="magenta"];139[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];139 -> 148[label="",style="solid", color="black", weight=3]; 140[label="map toEnum (takeWhile0 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];140 -> 149[label="",style="solid", color="black", weight=3]; 141[label="map toEnum (Pos (Succ Zero) : takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];141 -> 150[label="",style="solid", color="black", weight=3]; 142[label="toEnum2 (primEqInt (Pos Zero) (Pos Zero)) (Pos Zero)",fontsize=16,color="black",shape="box"];142 -> 151[label="",style="solid", color="black", weight=3]; 143[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) (flip (<=) (Pos Zero) (Pos Zero - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];143 -> 152[label="",style="solid", color="black", weight=3]; 144[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ Zero))) (Pos Zero - Pos Zero + Pos Zero : iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))))",fontsize=16,color="black",shape="box"];144 -> 153[label="",style="solid", color="black", weight=3]; 145[label="toEnum (Pos (Succ Zero)) : map toEnum (takeWhile (flip (>=) (Pos Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="green",shape="box"];145 -> 154[label="",style="dashed", color="green", weight=3]; 145 -> 155[label="",style="dashed", color="green", weight=3]; 146[label="map toEnum (Pos (Succ Zero) : takeWhile (flip (>=) (Pos (Succ Zero))) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];146 -> 156[label="",style="solid", color="black", weight=3]; 147[label="map toEnum (takeWhile2 (flip (<=) (Pos Zero)) (Pos (Succ Zero) - Pos Zero + Pos Zero : iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))))",fontsize=16,color="black",shape="box"];147 -> 157[label="",style="solid", color="black", weight=3]; 148[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos Zero + Pos Zero : iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))))",fontsize=16,color="black",shape="box"];148 -> 158[label="",style="solid", color="black", weight=3]; 149[label="map toEnum []",fontsize=16,color="black",shape="triangle"];149 -> 159[label="",style="solid", color="black", weight=3]; 150[label="toEnum (Pos (Succ Zero)) : map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="green",shape="box"];150 -> 160[label="",style="dashed", color="green", weight=3]; 150 -> 161[label="",style="dashed", color="green", weight=3]; 151[label="toEnum2 True (Pos Zero)",fontsize=16,color="black",shape="triangle"];151 -> 162[label="",style="solid", color="black", weight=3]; 152[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) ((<=) Pos Zero - Pos Zero + Pos Zero Pos Zero))",fontsize=16,color="black",shape="box"];152 -> 163[label="",style="solid", color="black", weight=3]; 153[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) (flip (<=) (Pos (Succ Zero)) (Pos Zero - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];153 -> 164[label="",style="solid", color="black", weight=3]; 154[label="toEnum (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];154 -> 165[label="",style="solid", color="black", weight=3]; 155[label="map toEnum (takeWhile (flip (>=) (Pos Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];155 -> 166[label="",style="solid", color="black", weight=3]; 156[label="toEnum (Pos (Succ Zero)) : map toEnum (takeWhile (flip (>=) (Pos (Succ Zero))) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="green",shape="box"];156 -> 167[label="",style="dashed", color="green", weight=3]; 156 -> 168[label="",style="dashed", color="green", weight=3]; 157[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) (flip (<=) (Pos Zero) (Pos (Succ Zero) - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];157 -> 169[label="",style="solid", color="black", weight=3]; 158[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos Zero + Pos Zero : iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))))",fontsize=16,color="black",shape="box"];158 -> 170[label="",style="solid", color="black", weight=3]; 159[label="[]",fontsize=16,color="green",shape="box"];160 -> 154[label="",style="dashed", color="red", weight=0]; 160[label="toEnum (Pos (Succ Zero))",fontsize=16,color="magenta"];161[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];161 -> 171[label="",style="solid", color="black", weight=3]; 162[label="False",fontsize=16,color="green",shape="box"];163[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) (compare (Pos Zero - Pos Zero + Pos Zero) (Pos Zero) /= GT))",fontsize=16,color="black",shape="box"];163 -> 172[label="",style="solid", color="black", weight=3]; 164[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) ((<=) Pos Zero - Pos Zero + Pos Zero Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];164 -> 173[label="",style="solid", color="black", weight=3]; 165[label="toEnum3 (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];165 -> 174[label="",style="solid", color="black", weight=3]; 166[label="map toEnum (takeWhile (flip (>=) (Pos Zero)) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero) : iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];166 -> 175[label="",style="solid", color="black", weight=3]; 167 -> 154[label="",style="dashed", color="red", weight=0]; 167[label="toEnum (Pos (Succ Zero))",fontsize=16,color="magenta"];168[label="map toEnum (takeWhile (flip (>=) (Pos (Succ Zero))) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];168 -> 176[label="",style="solid", color="black", weight=3]; 169[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) ((<=) Pos (Succ Zero) - Pos Zero + Pos Zero Pos Zero))",fontsize=16,color="black",shape="box"];169 -> 177[label="",style="solid", color="black", weight=3]; 170[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) (flip (<=) (Pos (Succ Zero)) (Pos (Succ Zero) - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];170 -> 178[label="",style="solid", color="black", weight=3]; 171[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero) : iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];171 -> 179[label="",style="solid", color="black", weight=3]; 172[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) (not (compare (Pos Zero - Pos Zero + Pos Zero) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];172 -> 180[label="",style="solid", color="black", weight=3]; 173[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) (compare (Pos Zero - Pos Zero + Pos Zero) (Pos (Succ Zero)) /= GT))",fontsize=16,color="black",shape="box"];173 -> 181[label="",style="solid", color="black", weight=3]; 174[label="toEnum2 (Pos (Succ Zero) == Pos Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];174 -> 182[label="",style="solid", color="black", weight=3]; 175[label="map toEnum (takeWhile2 (flip (>=) (Pos Zero)) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero) : iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];175 -> 183[label="",style="solid", color="black", weight=3]; 176[label="map toEnum (takeWhile (flip (>=) (Pos (Succ Zero))) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero) : iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];176 -> 184[label="",style="solid", color="black", weight=3]; 177[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) (compare (Pos (Succ Zero) - Pos Zero + Pos Zero) (Pos Zero) /= GT))",fontsize=16,color="black",shape="box"];177 -> 185[label="",style="solid", color="black", weight=3]; 178[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) ((<=) Pos (Succ Zero) - Pos Zero + Pos Zero Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];178 -> 186[label="",style="solid", color="black", weight=3]; 179[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero) : iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];179 -> 187[label="",style="solid", color="black", weight=3]; 180[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) (not (primCmpInt (Pos Zero - Pos Zero + Pos Zero) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];180 -> 188[label="",style="solid", color="black", weight=3]; 181[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) (not (compare (Pos Zero - Pos Zero + Pos Zero) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];181 -> 189[label="",style="solid", color="black", weight=3]; 182[label="toEnum2 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];182 -> 190[label="",style="solid", color="black", weight=3]; 183[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) (flip (>=) (Pos Zero) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];183 -> 191[label="",style="solid", color="black", weight=3]; 184[label="map toEnum (takeWhile2 (flip (>=) (Pos (Succ Zero))) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero) : iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];184 -> 192[label="",style="solid", color="black", weight=3]; 185[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) (not (compare (Pos (Succ Zero) - Pos Zero + Pos Zero) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];185 -> 193[label="",style="solid", color="black", weight=3]; 186[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) (compare (Pos (Succ Zero) - Pos Zero + Pos Zero) (Pos (Succ Zero)) /= GT))",fontsize=16,color="black",shape="box"];186 -> 194[label="",style="solid", color="black", weight=3]; 187[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)))) (flip (<=) (Pos (Succ Zero)) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];187 -> 195[label="",style="solid", color="black", weight=3]; 188[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero - Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero - Pos Zero)) (primPlusInt (Pos Zero - Pos Zero) (primPlusInt (Pos Zero - Pos Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos Zero - Pos Zero) (Pos Zero)) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];188 -> 196[label="",style="solid", color="black", weight=3]; 189[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) (not (primCmpInt (Pos Zero - Pos Zero + Pos Zero) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];189 -> 197[label="",style="solid", color="black", weight=3]; 190[label="toEnum2 False (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];190 -> 198[label="",style="solid", color="black", weight=3]; 191[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) ((>=) Pos Zero - Pos (Succ Zero) + Pos (Succ Zero) Pos Zero))",fontsize=16,color="black",shape="box"];191 -> 199[label="",style="solid", color="black", weight=3]; 192[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) (flip (>=) (Pos (Succ Zero)) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];192 -> 200[label="",style="solid", color="black", weight=3]; 193[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) (not (primCmpInt (Pos (Succ Zero) - Pos Zero + Pos Zero) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];193 -> 201[label="",style="solid", color="black", weight=3]; 194[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) (not (compare (Pos (Succ Zero) - Pos Zero + Pos Zero) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];194 -> 202[label="",style="solid", color="black", weight=3]; 195[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)))) ((<=) Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero) Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];195 -> 203[label="",style="solid", color="black", weight=3]; 196[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (primPlusInt (primMinusInt (Pos Zero) (Pos Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];196 -> 204[label="",style="solid", color="black", weight=3]; 197[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero - Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero - Pos Zero)) (primPlusInt (Pos Zero - Pos Zero) (primPlusInt (Pos Zero - Pos Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos Zero - Pos Zero) (Pos Zero)) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];197 -> 205[label="",style="solid", color="black", weight=3]; 198[label="toEnum1 (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];198 -> 206[label="",style="solid", color="black", weight=3]; 199[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) (compare (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (Pos Zero) /= LT))",fontsize=16,color="black",shape="box"];199 -> 207[label="",style="solid", color="black", weight=3]; 200[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) ((>=) Pos Zero - Pos (Succ Zero) + Pos (Succ Zero) Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];200 -> 208[label="",style="solid", color="black", weight=3]; 201[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos (Succ Zero) - Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos (Succ Zero) - Pos Zero)) (primPlusInt (Pos (Succ Zero) - Pos Zero) (primPlusInt (Pos (Succ Zero) - Pos Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos (Succ Zero) - Pos Zero) (Pos Zero)) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];201 -> 209[label="",style="solid", color="black", weight=3]; 202[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) (not (primCmpInt (Pos (Succ Zero) - Pos Zero + Pos Zero) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];202 -> 210[label="",style="solid", color="black", weight=3]; 203[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)))) (compare (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)) (Pos (Succ Zero)) /= GT))",fontsize=16,color="black",shape="box"];203 -> 211[label="",style="solid", color="black", weight=3]; 204[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (primMinusNat Zero Zero) (Pos Zero)) (iterate (primPlusInt (primMinusNat Zero Zero)) (primPlusInt (primMinusNat Zero Zero) (primPlusInt (primMinusNat Zero Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusNat Zero Zero) (Pos Zero)) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];204 -> 212[label="",style="solid", color="black", weight=3]; 205[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (primPlusInt (primMinusInt (Pos Zero) (Pos Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];205 -> 213[label="",style="solid", color="black", weight=3]; 206[label="toEnum0 (Pos (Succ Zero) == Pos (Succ Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];206 -> 214[label="",style="solid", color="black", weight=3]; 207[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) (not (compare (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];207 -> 215[label="",style="solid", color="black", weight=3]; 208[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) (compare (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (Pos (Succ Zero)) /= LT))",fontsize=16,color="black",shape="box"];208 -> 216[label="",style="solid", color="black", weight=3]; 209[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];209 -> 217[label="",style="solid", color="black", weight=3]; 210[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero) - Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos (Succ Zero) - Pos Zero)) (primPlusInt (Pos (Succ Zero) - Pos Zero) (primPlusInt (Pos (Succ Zero) - Pos Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos (Succ Zero) - Pos Zero) (Pos Zero)) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];210 -> 218[label="",style="solid", color="black", weight=3]; 211[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)))) (not (compare (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];211 -> 219[label="",style="solid", color="black", weight=3]; 212[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos Zero) == GT)))",fontsize=16,color="black",shape="triangle"];212 -> 220[label="",style="solid", color="black", weight=3]; 213[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (primMinusNat Zero Zero) (Pos Zero)) (iterate (primPlusInt (primMinusNat Zero Zero)) (primPlusInt (primMinusNat Zero Zero) (primPlusInt (primMinusNat Zero Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusNat Zero Zero) (Pos Zero)) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];213 -> 221[label="",style="solid", color="black", weight=3]; 214[label="toEnum0 (primEqInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];214 -> 222[label="",style="solid", color="black", weight=3]; 215[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) (not (primCmpInt (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];215 -> 223[label="",style="solid", color="black", weight=3]; 216[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) (not (compare (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (Pos (Succ Zero)) == LT)))",fontsize=16,color="black",shape="box"];216 -> 224[label="",style="solid", color="black", weight=3]; 217[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)) (iterate (primPlusInt (primMinusNat (Succ Zero) Zero)) (primPlusInt (primMinusNat (Succ Zero) Zero) (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];217 -> 225[label="",style="solid", color="black", weight=3]; 218[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];218 -> 226[label="",style="solid", color="black", weight=3]; 219[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)))) (not (primCmpInt (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];219 -> 227[label="",style="solid", color="black", weight=3]; 220[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (primPlusNat Zero Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (primPlusNat Zero Zero)))) (not (primCmpInt (Pos (primPlusNat Zero Zero)) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];220 -> 228[label="",style="solid", color="black", weight=3]; 221[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="triangle"];221 -> 229[label="",style="solid", color="black", weight=3]; 222[label="toEnum0 (primEqNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];222 -> 230[label="",style="solid", color="black", weight=3]; 223[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (Pos Zero - Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero - Pos (Succ Zero))) (primPlusInt (Pos Zero - Pos (Succ Zero)) (primPlusInt (Pos Zero - Pos (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (Pos Zero - Pos (Succ Zero)) (Pos (Succ Zero))) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];223 -> 231[label="",style="solid", color="black", weight=3]; 224[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) (not (primCmpInt (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (Pos (Succ Zero)) == LT)))",fontsize=16,color="black",shape="box"];224 -> 232[label="",style="solid", color="black", weight=3]; 225[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];225 -> 233[label="",style="solid", color="black", weight=3]; 226[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)) (iterate (primPlusInt (primMinusNat (Succ Zero) Zero)) (primPlusInt (primMinusNat (Succ Zero) Zero) (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];226 -> 234[label="",style="solid", color="black", weight=3]; 227[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero) - Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero) - Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero) - Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero) - Pos (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (Pos (Succ Zero) - Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];227 -> 235[label="",style="solid", color="black", weight=3]; 228[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (primCmpInt (Pos Zero) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];228 -> 236[label="",style="solid", color="black", weight=3]; 229[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (primPlusNat Zero Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (primPlusNat Zero Zero)))) (not (primCmpInt (Pos (primPlusNat Zero Zero)) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];229 -> 237[label="",style="solid", color="black", weight=3]; 230[label="toEnum0 True (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];230 -> 238[label="",style="solid", color="black", weight=3]; 231[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero)))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];231 -> 239[label="",style="solid", color="black", weight=3]; 232[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (primPlusInt (Pos Zero - Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero - Pos (Succ Zero))) (primPlusInt (Pos Zero - Pos (Succ Zero)) (primPlusInt (Pos Zero - Pos (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (Pos Zero - Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)) == LT)))",fontsize=16,color="black",shape="box"];232 -> 240[label="",style="solid", color="black", weight=3]; 233[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (primPlusNat (Succ Zero) Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (primPlusNat (Succ Zero) Zero)))) (not (primCmpInt (Pos (primPlusNat (Succ Zero) Zero)) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];233 -> 241[label="",style="solid", color="black", weight=3]; 234[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos (Succ Zero)) (Pos Zero)) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];234 -> 242[label="",style="solid", color="black", weight=3]; 235[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];235 -> 243[label="",style="solid", color="black", weight=3]; 236[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (EQ == GT)))",fontsize=16,color="black",shape="box"];236 -> 244[label="",style="solid", color="black", weight=3]; 237[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (primCmpInt (Pos Zero) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];237 -> 245[label="",style="solid", color="black", weight=3]; 238[label="True",fontsize=16,color="green",shape="box"];239[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusNat Zero (Succ Zero))) (primPlusInt (primMinusNat Zero (Succ Zero)) (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];239 -> 246[label="",style="solid", color="black", weight=3]; 240[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero)))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero)) == LT)))",fontsize=16,color="black",shape="box"];240 -> 247[label="",style="solid", color="black", weight=3]; 241[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];241 -> 248[label="",style="solid", color="black", weight=3]; 242[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (primPlusNat (Succ Zero) Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (primPlusNat (Succ Zero) Zero)))) (not (primCmpInt (Pos (primPlusNat (Succ Zero) Zero)) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];242 -> 249[label="",style="solid", color="black", weight=3]; 243[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusNat (Succ Zero) (Succ Zero))) (primPlusInt (primMinusNat (Succ Zero) (Succ Zero)) (primPlusInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];243 -> 250[label="",style="solid", color="black", weight=3]; 244[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not False))",fontsize=16,color="black",shape="box"];244 -> 251[label="",style="solid", color="black", weight=3]; 245[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (primCmpNat Zero (Succ Zero) == GT)))",fontsize=16,color="black",shape="box"];245 -> 252[label="",style="solid", color="black", weight=3]; 246[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];246 -> 253[label="",style="solid", color="black", weight=3]; 247[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusNat Zero (Succ Zero))) (primPlusInt (primMinusNat Zero (Succ Zero)) (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)) == LT)))",fontsize=16,color="black",shape="box"];247 -> 254[label="",style="solid", color="black", weight=3]; 248[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (primCmpNat (Succ Zero) Zero == GT)))",fontsize=16,color="black",shape="box"];248 -> 255[label="",style="solid", color="black", weight=3]; 249[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];249 -> 256[label="",style="solid", color="black", weight=3]; 250 -> 257[label="",style="dashed", color="red", weight=0]; 250[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusNat Zero Zero)) (primPlusInt (primMinusNat Zero Zero) (primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))",fontsize=16,color="magenta"];250 -> 258[label="",style="dashed", color="magenta", weight=3]; 251[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) True)",fontsize=16,color="black",shape="box"];251 -> 259[label="",style="solid", color="black", weight=3]; 252[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (LT == GT)))",fontsize=16,color="black",shape="box"];252 -> 260[label="",style="solid", color="black", weight=3]; 253[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primMinusNat (Succ Zero) (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primMinusNat (Succ Zero) (Succ Zero)))) (not (primCmpInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];253 -> 261[label="",style="solid", color="black", weight=3]; 254[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)) == LT)))",fontsize=16,color="black",shape="box"];254 -> 262[label="",style="solid", color="black", weight=3]; 255[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (GT == GT)))",fontsize=16,color="black",shape="box"];255 -> 263[label="",style="solid", color="black", weight=3]; 256[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (primCmpNat (Succ Zero) (Succ Zero) == GT)))",fontsize=16,color="black",shape="box"];256 -> 264[label="",style="solid", color="black", weight=3]; 258[label="toEnum",fontsize=16,color="grey",shape="box"];258 -> 265[label="",style="dashed", color="grey", weight=3]; 257[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusNat Zero Zero)) (primPlusInt (primMinusNat Zero Zero) (primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="triangle"];257 -> 266[label="",style="solid", color="black", weight=3]; 259[label="map toEnum (Pos Zero : takeWhile (flip (<=) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))))",fontsize=16,color="black",shape="box"];259 -> 267[label="",style="solid", color="black", weight=3]; 260[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not False))",fontsize=16,color="black",shape="box"];260 -> 268[label="",style="solid", color="black", weight=3]; 261[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primMinusNat Zero Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primMinusNat Zero Zero))) (not (primCmpInt (primMinusNat Zero Zero) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];261 -> 269[label="",style="solid", color="black", weight=3]; 262[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (primMinusNat (Succ Zero) (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primMinusNat (Succ Zero) (Succ Zero)))) (not (primCmpInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos (Succ Zero)) == LT)))",fontsize=16,color="black",shape="box"];262 -> 270[label="",style="solid", color="black", weight=3]; 263[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not True))",fontsize=16,color="black",shape="box"];263 -> 271[label="",style="solid", color="black", weight=3]; 264[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (primCmpNat Zero Zero == GT)))",fontsize=16,color="black",shape="box"];264 -> 272[label="",style="solid", color="black", weight=3]; 265[label="toEnum xz8",fontsize=16,color="black",shape="triangle"];265 -> 273[label="",style="solid", color="black", weight=3]; 266[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="triangle"];266 -> 274[label="",style="solid", color="black", weight=3]; 267[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))))",fontsize=16,color="green",shape="box"];267 -> 275[label="",style="dashed", color="green", weight=3]; 267 -> 276[label="",style="dashed", color="green", weight=3]; 268[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) True)",fontsize=16,color="black",shape="box"];268 -> 277[label="",style="solid", color="black", weight=3]; 269[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not (primCmpInt (Pos Zero) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];269 -> 278[label="",style="solid", color="black", weight=3]; 270[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (primMinusNat Zero Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primMinusNat Zero Zero))) (not (primCmpInt (primMinusNat Zero Zero) (Pos (Succ Zero)) == LT)))",fontsize=16,color="black",shape="box"];270 -> 279[label="",style="solid", color="black", weight=3]; 271[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) False)",fontsize=16,color="black",shape="box"];271 -> 280[label="",style="solid", color="black", weight=3]; 272[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (EQ == GT)))",fontsize=16,color="black",shape="box"];272 -> 281[label="",style="solid", color="black", weight=3]; 273[label="toEnum3 xz8",fontsize=16,color="black",shape="box"];273 -> 282[label="",style="solid", color="black", weight=3]; 274[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (primPlusNat Zero (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (primPlusNat Zero (Succ Zero))))) (not (primCmpInt (Pos (primPlusNat Zero (Succ Zero))) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];274 -> 283[label="",style="solid", color="black", weight=3]; 275 -> 265[label="",style="dashed", color="red", weight=0]; 275[label="toEnum (Pos Zero)",fontsize=16,color="magenta"];275 -> 284[label="",style="dashed", color="magenta", weight=3]; 276[label="map toEnum (takeWhile (flip (<=) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))))",fontsize=16,color="black",shape="box"];276 -> 285[label="",style="solid", color="black", weight=3]; 277[label="map toEnum (Pos Zero : takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))))",fontsize=16,color="black",shape="box"];277 -> 286[label="",style="solid", color="black", weight=3]; 278[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not (EQ == LT)))",fontsize=16,color="black",shape="box"];278 -> 287[label="",style="solid", color="black", weight=3]; 279[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not (primCmpInt (Pos Zero) (Pos (Succ Zero)) == LT)))",fontsize=16,color="black",shape="box"];279 -> 288[label="",style="solid", color="black", weight=3]; 280[label="map toEnum (takeWhile0 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) otherwise)",fontsize=16,color="black",shape="box"];280 -> 289[label="",style="solid", color="black", weight=3]; 281[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not False))",fontsize=16,color="black",shape="box"];281 -> 290[label="",style="solid", color="black", weight=3]; 282[label="toEnum2 (xz8 == Pos Zero) xz8",fontsize=16,color="black",shape="box"];282 -> 291[label="",style="solid", color="black", weight=3]; 283[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];283 -> 292[label="",style="solid", color="black", weight=3]; 284[label="Pos Zero",fontsize=16,color="green",shape="box"];285[label="map toEnum (takeWhile (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero) : iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))))",fontsize=16,color="black",shape="box"];285 -> 293[label="",style="solid", color="black", weight=3]; 286[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))))",fontsize=16,color="green",shape="box"];286 -> 294[label="",style="dashed", color="green", weight=3]; 286 -> 295[label="",style="dashed", color="green", weight=3]; 287[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not False))",fontsize=16,color="black",shape="box"];287 -> 296[label="",style="solid", color="black", weight=3]; 288[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not (primCmpNat Zero (Succ Zero) == LT)))",fontsize=16,color="black",shape="box"];288 -> 297[label="",style="solid", color="black", weight=3]; 289[label="map toEnum (takeWhile0 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) True)",fontsize=16,color="black",shape="box"];289 -> 298[label="",style="solid", color="black", weight=3]; 290[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) True)",fontsize=16,color="black",shape="box"];290 -> 299[label="",style="solid", color="black", weight=3]; 291[label="toEnum2 (primEqInt xz8 (Pos Zero)) xz8",fontsize=16,color="burlywood",shape="box"];414[label="xz8/Pos xz80",fontsize=10,color="white",style="solid",shape="box"];291 -> 414[label="",style="solid", color="burlywood", weight=9]; 414 -> 300[label="",style="solid", color="burlywood", weight=3]; 415[label="xz8/Neg xz80",fontsize=10,color="white",style="solid",shape="box"];291 -> 415[label="",style="solid", color="burlywood", weight=9]; 415 -> 301[label="",style="solid", color="burlywood", weight=3]; 292[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not (primCmpNat (Succ Zero) (Succ Zero) == GT)))",fontsize=16,color="black",shape="box"];292 -> 302[label="",style="solid", color="black", weight=3]; 293[label="map toEnum (takeWhile2 (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero) : iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))))",fontsize=16,color="black",shape="box"];293 -> 303[label="",style="solid", color="black", weight=3]; 294 -> 265[label="",style="dashed", color="red", weight=0]; 294[label="toEnum (Pos Zero)",fontsize=16,color="magenta"];294 -> 304[label="",style="dashed", color="magenta", weight=3]; 295[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))))",fontsize=16,color="black",shape="box"];295 -> 305[label="",style="solid", color="black", weight=3]; 296[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) True)",fontsize=16,color="black",shape="box"];296 -> 306[label="",style="solid", color="black", weight=3]; 297[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not (LT == LT)))",fontsize=16,color="black",shape="box"];297 -> 307[label="",style="solid", color="black", weight=3]; 298 -> 149[label="",style="dashed", color="red", weight=0]; 298[label="map toEnum []",fontsize=16,color="magenta"];299[label="map toEnum (Pos (Succ Zero) : takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];299 -> 308[label="",style="solid", color="black", weight=3]; 300[label="toEnum2 (primEqInt (Pos xz80) (Pos Zero)) (Pos xz80)",fontsize=16,color="burlywood",shape="box"];416[label="xz80/Succ xz800",fontsize=10,color="white",style="solid",shape="box"];300 -> 416[label="",style="solid", color="burlywood", weight=9]; 416 -> 309[label="",style="solid", color="burlywood", weight=3]; 417[label="xz80/Zero",fontsize=10,color="white",style="solid",shape="box"];300 -> 417[label="",style="solid", color="burlywood", weight=9]; 417 -> 310[label="",style="solid", color="burlywood", weight=3]; 301[label="toEnum2 (primEqInt (Neg xz80) (Pos Zero)) (Neg xz80)",fontsize=16,color="burlywood",shape="box"];418[label="xz80/Succ xz800",fontsize=10,color="white",style="solid",shape="box"];301 -> 418[label="",style="solid", color="burlywood", weight=9]; 418 -> 311[label="",style="solid", color="burlywood", weight=3]; 419[label="xz80/Zero",fontsize=10,color="white",style="solid",shape="box"];301 -> 419[label="",style="solid", color="burlywood", weight=9]; 419 -> 312[label="",style="solid", color="burlywood", weight=3]; 302[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not (primCmpNat Zero Zero == GT)))",fontsize=16,color="black",shape="box"];302 -> 313[label="",style="solid", color="black", weight=3]; 303[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (flip (<=) (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero))))",fontsize=16,color="black",shape="box"];303 -> 314[label="",style="solid", color="black", weight=3]; 304[label="Pos Zero",fontsize=16,color="green",shape="box"];305[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero) : iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))))",fontsize=16,color="black",shape="box"];305 -> 315[label="",style="solid", color="black", weight=3]; 306[label="map toEnum (Pos Zero : takeWhile (flip (>=) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))))",fontsize=16,color="black",shape="box"];306 -> 316[label="",style="solid", color="black", weight=3]; 307[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not True))",fontsize=16,color="black",shape="box"];307 -> 317[label="",style="solid", color="black", weight=3]; 308[label="toEnum (Pos (Succ Zero)) : map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))))",fontsize=16,color="green",shape="box"];308 -> 318[label="",style="dashed", color="green", weight=3]; 308 -> 319[label="",style="dashed", color="green", weight=3]; 309[label="toEnum2 (primEqInt (Pos (Succ xz800)) (Pos Zero)) (Pos (Succ xz800))",fontsize=16,color="black",shape="box"];309 -> 320[label="",style="solid", color="black", weight=3]; 310[label="toEnum2 (primEqInt (Pos Zero) (Pos Zero)) (Pos Zero)",fontsize=16,color="black",shape="box"];310 -> 321[label="",style="solid", color="black", weight=3]; 311[label="toEnum2 (primEqInt (Neg (Succ xz800)) (Pos Zero)) (Neg (Succ xz800))",fontsize=16,color="black",shape="box"];311 -> 322[label="",style="solid", color="black", weight=3]; 312[label="toEnum2 (primEqInt (Neg Zero) (Pos Zero)) (Neg Zero)",fontsize=16,color="black",shape="box"];312 -> 323[label="",style="solid", color="black", weight=3]; 313[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not (EQ == GT)))",fontsize=16,color="black",shape="box"];313 -> 324[label="",style="solid", color="black", weight=3]; 314[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) ((<=) primPlusInt (Pos Zero) (Pos Zero) Pos Zero))",fontsize=16,color="black",shape="box"];314 -> 325[label="",style="solid", color="black", weight=3]; 315[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero) : iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))))",fontsize=16,color="black",shape="box"];315 -> 326[label="",style="solid", color="black", weight=3]; 316[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (>=) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))))",fontsize=16,color="green",shape="box"];316 -> 327[label="",style="dashed", color="green", weight=3]; 316 -> 328[label="",style="dashed", color="green", weight=3]; 317[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) False)",fontsize=16,color="black",shape="box"];317 -> 329[label="",style="solid", color="black", weight=3]; 318 -> 265[label="",style="dashed", color="red", weight=0]; 318[label="toEnum (Pos (Succ Zero))",fontsize=16,color="magenta"];318 -> 330[label="",style="dashed", color="magenta", weight=3]; 319[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];319 -> 331[label="",style="solid", color="black", weight=3]; 320[label="toEnum2 False (Pos (Succ xz800))",fontsize=16,color="black",shape="box"];320 -> 332[label="",style="solid", color="black", weight=3]; 321 -> 151[label="",style="dashed", color="red", weight=0]; 321[label="toEnum2 True (Pos Zero)",fontsize=16,color="magenta"];322[label="toEnum2 False (Neg (Succ xz800))",fontsize=16,color="black",shape="box"];322 -> 333[label="",style="solid", color="black", weight=3]; 323[label="toEnum2 True (Neg Zero)",fontsize=16,color="black",shape="box"];323 -> 334[label="",style="solid", color="black", weight=3]; 324[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not False))",fontsize=16,color="black",shape="box"];324 -> 335[label="",style="solid", color="black", weight=3]; 325[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (compare (primPlusInt (Pos Zero) (Pos Zero)) (Pos Zero) /= GT))",fontsize=16,color="black",shape="box"];325 -> 336[label="",style="solid", color="black", weight=3]; 326[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (flip (<=) (Pos (Succ Zero)) (primPlusInt (Pos Zero) (Pos Zero))))",fontsize=16,color="black",shape="box"];326 -> 337[label="",style="solid", color="black", weight=3]; 327 -> 265[label="",style="dashed", color="red", weight=0]; 327[label="toEnum (Pos Zero)",fontsize=16,color="magenta"];327 -> 338[label="",style="dashed", color="magenta", weight=3]; 328[label="map toEnum (takeWhile (flip (>=) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))))",fontsize=16,color="black",shape="box"];328 -> 339[label="",style="solid", color="black", weight=3]; 329[label="map toEnum (takeWhile0 (flip (>=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) otherwise)",fontsize=16,color="black",shape="box"];329 -> 340[label="",style="solid", color="black", weight=3]; 330[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];331[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)) : iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];331 -> 341[label="",style="solid", color="black", weight=3]; 332[label="toEnum1 (Pos (Succ xz800))",fontsize=16,color="black",shape="box"];332 -> 342[label="",style="solid", color="black", weight=3]; 333[label="toEnum1 (Neg (Succ xz800))",fontsize=16,color="black",shape="box"];333 -> 343[label="",style="solid", color="black", weight=3]; 334[label="False",fontsize=16,color="green",shape="box"];335[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) True)",fontsize=16,color="black",shape="box"];335 -> 344[label="",style="solid", color="black", weight=3]; 336[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (compare (primPlusInt (Pos Zero) (Pos Zero)) (Pos Zero) == GT)))",fontsize=16,color="black",shape="box"];336 -> 345[label="",style="solid", color="black", weight=3]; 337[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) ((<=) primPlusInt (Pos Zero) (Pos Zero) Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];337 -> 346[label="",style="solid", color="black", weight=3]; 338[label="Pos Zero",fontsize=16,color="green",shape="box"];339[label="map toEnum (takeWhile (flip (>=) (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero) : iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))))",fontsize=16,color="black",shape="box"];339 -> 347[label="",style="solid", color="black", weight=3]; 340[label="map toEnum (takeWhile0 (flip (>=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) True)",fontsize=16,color="black",shape="box"];340 -> 348[label="",style="solid", color="black", weight=3]; 341[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)) : iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];341 -> 349[label="",style="solid", color="black", weight=3]; 342[label="toEnum0 (Pos (Succ xz800) == Pos (Succ Zero)) (Pos (Succ xz800))",fontsize=16,color="black",shape="box"];342 -> 350[label="",style="solid", color="black", weight=3]; 343[label="toEnum0 (Neg (Succ xz800) == Pos (Succ Zero)) (Neg (Succ xz800))",fontsize=16,color="black",shape="box"];343 -> 351[label="",style="solid", color="black", weight=3]; 344[label="map xz7 (Pos (Succ Zero) : takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];344 -> 352[label="",style="solid", color="black", weight=3]; 345 -> 212[label="",style="dashed", color="red", weight=0]; 345[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos Zero) == GT)))",fontsize=16,color="magenta"];346[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (compare (primPlusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero)) /= GT))",fontsize=16,color="black",shape="box"];346 -> 353[label="",style="solid", color="black", weight=3]; 347[label="map toEnum (takeWhile2 (flip (>=) (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero) : iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))))",fontsize=16,color="black",shape="box"];347 -> 354[label="",style="solid", color="black", weight=3]; 348 -> 149[label="",style="dashed", color="red", weight=0]; 348[label="map toEnum []",fontsize=16,color="magenta"];349[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))) (flip (<=) (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];349 -> 355[label="",style="solid", color="black", weight=3]; 350[label="toEnum0 (primEqInt (Pos (Succ xz800)) (Pos (Succ Zero))) (Pos (Succ xz800))",fontsize=16,color="black",shape="box"];350 -> 356[label="",style="solid", color="black", weight=3]; 351[label="toEnum0 (primEqInt (Neg (Succ xz800)) (Pos (Succ Zero))) (Neg (Succ xz800))",fontsize=16,color="black",shape="box"];351 -> 357[label="",style="solid", color="black", weight=3]; 352[label="xz7 (Pos (Succ Zero)) : map xz7 (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))))",fontsize=16,color="green",shape="box"];352 -> 358[label="",style="dashed", color="green", weight=3]; 352 -> 359[label="",style="dashed", color="green", weight=3]; 353[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (compare (primPlusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];353 -> 360[label="",style="solid", color="black", weight=3]; 354[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))) (flip (>=) (Pos Zero) (primPlusInt (Neg (Succ Zero)) (Pos Zero))))",fontsize=16,color="black",shape="box"];354 -> 361[label="",style="solid", color="black", weight=3]; 355[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))) ((<=) primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)) Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];355 -> 362[label="",style="solid", color="black", weight=3]; 356[label="toEnum0 (primEqNat xz800 Zero) (Pos (Succ xz800))",fontsize=16,color="burlywood",shape="box"];420[label="xz800/Succ xz8000",fontsize=10,color="white",style="solid",shape="box"];356 -> 420[label="",style="solid", color="burlywood", weight=9]; 420 -> 363[label="",style="solid", color="burlywood", weight=3]; 421[label="xz800/Zero",fontsize=10,color="white",style="solid",shape="box"];356 -> 421[label="",style="solid", color="burlywood", weight=9]; 421 -> 364[label="",style="solid", color="burlywood", weight=3]; 357[label="toEnum0 False (Neg (Succ xz800))",fontsize=16,color="black",shape="box"];357 -> 365[label="",style="solid", color="black", weight=3]; 358[label="xz7 (Pos (Succ Zero))",fontsize=16,color="green",shape="box"];358 -> 366[label="",style="dashed", color="green", weight=3]; 359[label="map xz7 (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];359 -> 367[label="",style="solid", color="black", weight=3]; 360 -> 221[label="",style="dashed", color="red", weight=0]; 360[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero)) == GT)))",fontsize=16,color="magenta"];361[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))) ((>=) primPlusInt (Neg (Succ Zero)) (Pos Zero) Pos Zero))",fontsize=16,color="black",shape="box"];361 -> 368[label="",style="solid", color="black", weight=3]; 362[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))) (compare (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)) /= GT))",fontsize=16,color="black",shape="box"];362 -> 369[label="",style="solid", color="black", weight=3]; 363[label="toEnum0 (primEqNat (Succ xz8000) Zero) (Pos (Succ (Succ xz8000)))",fontsize=16,color="black",shape="box"];363 -> 370[label="",style="solid", color="black", weight=3]; 364[label="toEnum0 (primEqNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];364 -> 371[label="",style="solid", color="black", weight=3]; 365[label="error []",fontsize=16,color="red",shape="box"];366[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];367[label="map xz7 (takeWhile (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero)) : iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];367 -> 372[label="",style="solid", color="black", weight=3]; 368[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))) (compare (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (Pos Zero) /= LT))",fontsize=16,color="black",shape="box"];368 -> 373[label="",style="solid", color="black", weight=3]; 369[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))) (not (compare (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];369 -> 374[label="",style="solid", color="black", weight=3]; 370[label="toEnum0 False (Pos (Succ (Succ xz8000)))",fontsize=16,color="black",shape="box"];370 -> 375[label="",style="solid", color="black", weight=3]; 371 -> 230[label="",style="dashed", color="red", weight=0]; 371[label="toEnum0 True (Pos (Succ Zero))",fontsize=16,color="magenta"];372[label="map xz7 (takeWhile2 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero)) : iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];372 -> 376[label="",style="solid", color="black", weight=3]; 373[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))) (not (compare (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];373 -> 377[label="",style="solid", color="black", weight=3]; 374[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];374 -> 378[label="",style="solid", color="black", weight=3]; 375[label="error []",fontsize=16,color="red",shape="box"];376[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) (flip (<=) (Pos (Succ Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];376 -> 379[label="",style="solid", color="black", weight=3]; 377[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))) (not (primCmpInt (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];377 -> 380[label="",style="solid", color="black", weight=3]; 378[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (primPlusNat (Succ Zero) (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (primPlusNat (Succ Zero) (Succ Zero))))) (not (primCmpInt (Pos (primPlusNat (Succ Zero) (Succ Zero))) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];378 -> 381[label="",style="solid", color="black", weight=3]; 379[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) ((<=) primPlusInt (Pos Zero) (Pos (Succ Zero)) Pos (Succ Zero)))",fontsize=16,color="black",shape="box"];379 -> 382[label="",style="solid", color="black", weight=3]; 380[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primMinusNat Zero (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primMinusNat Zero (Succ Zero)))) (not (primCmpInt (primMinusNat Zero (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];380 -> 383[label="",style="solid", color="black", weight=3]; 381[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) (not (primCmpInt (Pos (Succ (Succ (primPlusNat Zero Zero)))) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];381 -> 384[label="",style="solid", color="black", weight=3]; 382[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) (compare (primPlusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)) /= GT))",fontsize=16,color="black",shape="box"];382 -> 385[label="",style="solid", color="black", weight=3]; 383[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) (not (primCmpInt (Neg (Succ Zero)) (Pos Zero) == LT)))",fontsize=16,color="black",shape="box"];383 -> 386[label="",style="solid", color="black", weight=3]; 384[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) (not (primCmpNat (Succ (Succ (primPlusNat Zero Zero))) (Succ Zero) == GT)))",fontsize=16,color="black",shape="box"];384 -> 387[label="",style="solid", color="black", weight=3]; 385[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) (not (compare (primPlusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];385 -> 388[label="",style="solid", color="black", weight=3]; 386[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) (not (LT == LT)))",fontsize=16,color="black",shape="box"];386 -> 389[label="",style="solid", color="black", weight=3]; 387[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) (not (primCmpNat (Succ (primPlusNat Zero Zero)) Zero == GT)))",fontsize=16,color="black",shape="box"];387 -> 390[label="",style="solid", color="black", weight=3]; 388 -> 266[label="",style="dashed", color="red", weight=0]; 388[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))",fontsize=16,color="magenta"];389[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) (not True))",fontsize=16,color="black",shape="box"];389 -> 391[label="",style="solid", color="black", weight=3]; 390[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) (not (GT == GT)))",fontsize=16,color="black",shape="box"];390 -> 392[label="",style="solid", color="black", weight=3]; 391[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) False)",fontsize=16,color="black",shape="box"];391 -> 393[label="",style="solid", color="black", weight=3]; 392[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) (not True))",fontsize=16,color="black",shape="box"];392 -> 394[label="",style="solid", color="black", weight=3]; 393[label="map toEnum (takeWhile0 (flip (>=) (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) otherwise)",fontsize=16,color="black",shape="box"];393 -> 395[label="",style="solid", color="black", weight=3]; 394[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) False)",fontsize=16,color="black",shape="box"];394 -> 396[label="",style="solid", color="black", weight=3]; 395[label="map toEnum (takeWhile0 (flip (>=) (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) True)",fontsize=16,color="black",shape="box"];395 -> 397[label="",style="solid", color="black", weight=3]; 396[label="map toEnum (takeWhile0 (flip (<=) (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) otherwise)",fontsize=16,color="black",shape="box"];396 -> 398[label="",style="solid", color="black", weight=3]; 397 -> 149[label="",style="dashed", color="red", weight=0]; 397[label="map toEnum []",fontsize=16,color="magenta"];398[label="map toEnum (takeWhile0 (flip (<=) (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) True)",fontsize=16,color="black",shape="box"];398 -> 399[label="",style="solid", color="black", weight=3]; 399 -> 149[label="",style="dashed", color="red", weight=0]; 399[label="map toEnum []",fontsize=16,color="magenta"];} ---------------------------------------- (10) Complex Obligation (AND) ---------------------------------------- (11) Obligation: Q DP problem: P is empty. R is empty. Q is empty. We have to consider all (P,Q,R)-chains. ---------------------------------------- (12) PisEmptyProof (EQUIVALENT) The TRS P is empty. Hence, there is no (P,Q,R) chain. ---------------------------------------- (13) YES ---------------------------------------- (14) Obligation: Q DP problem: The TRS P consists of the following rules: new_map1([]) -> new_map1([]) R is empty. Q is empty. We have to consider all (P,Q,R)-chains. ---------------------------------------- (15) NonTerminationLoopProof (COMPLETE) We used the non-termination processor [FROCOS05] to show that the DP problem is infinite. Found a loop by semiunifying a rule from P directly. s = new_map1([]) evaluates to t =new_map1([]) Thus s starts an infinite chain as s semiunifies with t with the following substitutions: * Matcher: [ ] * Semiunifier: [ ] -------------------------------------------------------------------------------- Rewriting sequence The DP semiunifies directly so there is only one rewrite step from new_map1([]) to new_map1([]). ---------------------------------------- (16) NO ---------------------------------------- (17) Obligation: Q DP problem: The TRS P consists of the following rules: new_map0([]) -> new_map0([]) R is empty. Q is empty. We have to consider all (P,Q,R)-chains.