11.09/7.48 MAYBE 12.85/8.05 proof of /export/starexec/sandbox/benchmark/theBenchmark.hs 12.85/8.05 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 12.85/8.05 12.85/8.05 12.85/8.05 H-Termination with start terms of the given HASKELL could not be shown: 12.85/8.05 12.85/8.05 (0) HASKELL 12.85/8.05 (1) BR [EQUIVALENT, 0 ms] 12.85/8.05 (2) HASKELL 12.85/8.05 (3) COR [EQUIVALENT, 0 ms] 12.85/8.05 (4) HASKELL 12.85/8.05 (5) LetRed [EQUIVALENT, 0 ms] 12.85/8.05 (6) HASKELL 12.85/8.05 (7) NumRed [SOUND, 0 ms] 12.85/8.05 (8) HASKELL 12.85/8.05 (9) Narrow [COMPLETE, 0 ms] 12.85/8.05 (10) AND 12.85/8.05 (11) QDP 12.85/8.05 (12) PisEmptyProof [EQUIVALENT, 0 ms] 12.85/8.05 (13) YES 12.85/8.05 (14) QDP 12.85/8.05 (15) NonTerminationLoopProof [COMPLETE, 0 ms] 12.85/8.05 (16) NO 12.85/8.05 (17) QDP 12.85/8.05 12.85/8.05 12.85/8.05 ---------------------------------------- 12.85/8.05 12.85/8.05 (0) 12.85/8.05 Obligation: 12.85/8.05 mainModule Main 12.85/8.05 module Main where { 12.85/8.05 import qualified Prelude; 12.85/8.05 } 12.85/8.05 12.85/8.05 ---------------------------------------- 12.85/8.05 12.85/8.05 (1) BR (EQUIVALENT) 12.85/8.05 Replaced joker patterns by fresh variables and removed binding patterns. 12.85/8.05 ---------------------------------------- 12.85/8.05 12.85/8.05 (2) 12.85/8.05 Obligation: 12.85/8.05 mainModule Main 12.85/8.05 module Main where { 12.85/8.05 import qualified Prelude; 12.85/8.05 } 12.85/8.05 12.85/8.05 ---------------------------------------- 12.85/8.05 12.85/8.05 (3) COR (EQUIVALENT) 12.85/8.05 Cond Reductions: 12.85/8.05 The following Function with conditions 12.85/8.05 "toEnum 0 = LT; 12.85/8.05 toEnum 1 = EQ; 12.85/8.05 toEnum 2 = GT; 12.85/8.05 " 12.85/8.05 is transformed to 12.85/8.05 "toEnum wy = toEnum5 wy; 12.85/8.05 toEnum wu = toEnum3 wu; 12.85/8.05 toEnum vz = toEnum1 vz; 12.85/8.05 " 12.85/8.05 "toEnum0 True vz = GT; 12.85/8.05 " 12.85/8.05 "toEnum1 vz = toEnum0 (vz == 2) vz; 12.85/8.05 " 12.85/8.05 "toEnum2 True wu = EQ; 12.85/8.05 toEnum2 wv ww = toEnum1 ww; 12.85/8.05 " 12.85/8.05 "toEnum3 wu = toEnum2 (wu == 1) wu; 12.85/8.05 toEnum3 wx = toEnum1 wx; 12.85/8.05 " 12.85/8.05 "toEnum4 True wy = LT; 12.85/8.05 toEnum4 wz xu = toEnum3 xu; 12.85/8.05 " 12.85/8.05 "toEnum5 wy = toEnum4 (wy == 0) wy; 12.85/8.05 toEnum5 xv = toEnum3 xv; 12.85/8.05 " 12.85/8.05 The following Function with conditions 12.85/8.05 "takeWhile p [] = []; 12.85/8.05 takeWhile p (x : xs)|p xx : takeWhile p xs|otherwise[]; 12.85/8.05 " 12.85/8.05 is transformed to 12.85/8.05 "takeWhile p [] = takeWhile3 p []; 12.85/8.05 takeWhile p (x : xs) = takeWhile2 p (x : xs); 12.85/8.05 " 12.85/8.05 "takeWhile0 p x xs True = []; 12.85/8.05 " 12.85/8.05 "takeWhile1 p x xs True = x : takeWhile p xs; 12.85/8.05 takeWhile1 p x xs False = takeWhile0 p x xs otherwise; 12.85/8.05 " 12.85/8.05 "takeWhile2 p (x : xs) = takeWhile1 p x xs (p x); 12.85/8.05 " 12.85/8.05 "takeWhile3 p [] = []; 12.85/8.05 takeWhile3 xy xz = takeWhile2 xy xz; 12.85/8.05 " 12.85/8.05 The following Function with conditions 12.85/8.05 "p |n' >= nflip (<=) m|otherwiseflip (>=) m; 12.85/8.05 " 12.85/8.05 is transformed to 12.85/8.05 "p = p2; 12.85/8.05 " 12.85/8.05 "p0 True = flip (>=) m; 12.85/8.05 " 12.85/8.05 "p1 True = flip (<=) m; 12.85/8.05 p1 False = p0 otherwise; 12.85/8.05 " 12.85/8.05 "p2 = p1 (n' >= n); 12.85/8.05 " 12.85/8.05 The following Function with conditions 12.85/8.05 "undefined |Falseundefined; 12.85/8.05 " 12.85/8.05 is transformed to 12.85/8.05 "undefined = undefined1; 12.85/8.05 " 12.85/8.05 "undefined0 True = undefined; 12.85/8.05 " 12.85/8.05 "undefined1 = undefined0 False; 12.85/8.05 " 12.85/8.05 12.85/8.05 ---------------------------------------- 12.85/8.05 12.85/8.05 (4) 12.85/8.05 Obligation: 12.85/8.05 mainModule Main 12.85/8.05 module Main where { 12.85/8.05 import qualified Prelude; 12.85/8.05 } 12.85/8.05 12.85/8.05 ---------------------------------------- 12.85/8.05 12.85/8.05 (5) LetRed (EQUIVALENT) 12.85/8.05 Let/Where Reductions: 12.85/8.05 The bindings of the following Let/Where expression 12.85/8.05 "takeWhile p (numericEnumFromThen n n') where { 12.85/8.05 p = p2; 12.85/8.05 ; 12.85/8.05 p0 True = flip (>=) m; 12.85/8.05 ; 12.85/8.05 p1 True = flip (<=) m; 12.85/8.05 p1 False = p0 otherwise; 12.85/8.05 ; 12.85/8.05 p2 = p1 (n' >= n); 12.85/8.05 } 12.85/8.05 " 12.85/8.05 are unpacked to the following functions on top level 12.85/8.05 "numericEnumFromThenToP0 yu yv yw True = flip (>=) yu; 12.85/8.05 " 12.85/8.05 "numericEnumFromThenToP2 yu yv yw = numericEnumFromThenToP1 yu yv yw (yv >= yw); 12.85/8.05 " 12.85/8.05 "numericEnumFromThenToP yu yv yw = numericEnumFromThenToP2 yu yv yw; 12.85/8.05 " 12.85/8.05 "numericEnumFromThenToP1 yu yv yw True = flip (<=) yu; 12.85/8.05 numericEnumFromThenToP1 yu yv yw False = numericEnumFromThenToP0 yu yv yw otherwise; 12.85/8.05 " 12.85/8.05 12.85/8.05 ---------------------------------------- 12.85/8.05 12.85/8.05 (6) 12.85/8.05 Obligation: 12.85/8.05 mainModule Main 12.85/8.05 module Main where { 12.85/8.05 import qualified Prelude; 12.85/8.05 } 12.85/8.05 12.85/8.05 ---------------------------------------- 12.85/8.05 12.85/8.05 (7) NumRed (SOUND) 12.85/8.05 Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero. 12.85/8.05 ---------------------------------------- 12.85/8.05 12.85/8.05 (8) 12.85/8.05 Obligation: 12.85/8.05 mainModule Main 12.85/8.05 module Main where { 12.85/8.05 import qualified Prelude; 12.85/8.05 } 12.85/8.05 12.85/8.05 ---------------------------------------- 12.85/8.05 12.85/8.05 (9) Narrow (COMPLETE) 12.85/8.05 Haskell To QDPs 12.85/8.05 12.85/8.05 digraph dp_graph { 12.85/8.05 node [outthreshold=100, inthreshold=100];1[label="enumFromThen",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3]; 12.85/8.05 3[label="enumFromThen yx3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3]; 12.85/8.05 4[label="enumFromThen yx3 yx4",fontsize=16,color="black",shape="triangle"];4 -> 5[label="",style="solid", color="black", weight=3]; 12.85/8.05 5[label="enumFromThenTo yx3 yx4 GT",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3]; 12.85/8.05 6[label="map toEnum (enumFromThenTo (fromEnum yx3) (fromEnum yx4) (fromEnum GT))",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3]; 12.85/8.05 7[label="map toEnum (numericEnumFromThenTo (fromEnum yx3) (fromEnum yx4) (fromEnum GT))",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3]; 12.85/8.05 8[label="map toEnum (takeWhile (numericEnumFromThenToP (fromEnum GT) (fromEnum yx4) (fromEnum yx3)) (numericEnumFromThen (fromEnum yx3) (fromEnum yx4)))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3]; 12.85/8.05 9[label="map toEnum (takeWhile (numericEnumFromThenToP (fromEnum GT) (fromEnum yx4) (fromEnum yx3)) (iterate (fromEnum yx4 - fromEnum yx3 +) (fromEnum yx3)))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3]; 12.85/8.05 10[label="map toEnum (takeWhile (numericEnumFromThenToP (fromEnum GT) (fromEnum yx4) (fromEnum yx3)) (fromEnum yx3 : iterate (fromEnum yx4 - fromEnum yx3 +) (fromEnum yx4 - fromEnum yx3 + fromEnum yx3)))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3]; 12.85/8.05 11[label="map toEnum (takeWhile2 (numericEnumFromThenToP (fromEnum GT) (fromEnum yx4) (fromEnum yx3)) (fromEnum yx3 : iterate (fromEnum yx4 - fromEnum yx3 +) (fromEnum yx4 - fromEnum yx3 + fromEnum yx3)))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3]; 12.85/8.05 12[label="map toEnum (takeWhile1 (numericEnumFromThenToP (fromEnum GT) (fromEnum yx4) (fromEnum yx3)) (fromEnum yx3) (iterate (fromEnum yx4 - fromEnum yx3 +) (fromEnum yx4 - fromEnum yx3 + fromEnum yx3)) (numericEnumFromThenToP (fromEnum GT) (fromEnum yx4) (fromEnum yx3) (fromEnum yx3)))",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3]; 12.85/8.05 13[label="map toEnum (takeWhile1 (numericEnumFromThenToP2 (fromEnum GT) (fromEnum yx4) (fromEnum yx3)) (fromEnum yx3) (iterate (fromEnum yx4 - fromEnum yx3 +) (fromEnum yx4 - fromEnum yx3 + fromEnum yx3)) (numericEnumFromThenToP2 (fromEnum GT) (fromEnum yx4) (fromEnum yx3) (fromEnum yx3)))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3]; 12.85/8.05 14[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (fromEnum yx4) (fromEnum yx3) (fromEnum yx4 >= fromEnum yx3)) (fromEnum yx3) (iterate (fromEnum yx4 - fromEnum yx3 +) (fromEnum yx4 - fromEnum yx3 + fromEnum yx3)) (numericEnumFromThenToP1 (fromEnum GT) (fromEnum yx4) (fromEnum yx3) (fromEnum yx4 >= fromEnum yx3) (fromEnum yx3)))",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3]; 12.85/8.05 15[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (fromEnum yx4) (fromEnum yx3) (compare (fromEnum yx4) (fromEnum yx3) /= LT)) (fromEnum yx3) (iterate (fromEnum yx4 - fromEnum yx3 +) (fromEnum yx4 - fromEnum yx3 + fromEnum yx3)) (numericEnumFromThenToP1 (fromEnum GT) (fromEnum yx4) (fromEnum yx3) (compare (fromEnum yx4) (fromEnum yx3) /= LT) (fromEnum yx3)))",fontsize=16,color="black",shape="box"];15 -> 16[label="",style="solid", color="black", weight=3]; 12.85/8.05 16[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (fromEnum yx4) (fromEnum yx3) (not (compare (fromEnum yx4) (fromEnum yx3) == LT))) (fromEnum yx3) (iterate (fromEnum yx4 - fromEnum yx3 +) (fromEnum yx4 - fromEnum yx3 + fromEnum yx3)) (numericEnumFromThenToP1 (fromEnum GT) (fromEnum yx4) (fromEnum yx3) (not (compare (fromEnum yx4) (fromEnum yx3) == LT)) (fromEnum yx3)))",fontsize=16,color="black",shape="box"];16 -> 17[label="",style="solid", color="black", weight=3]; 12.85/8.05 17[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (fromEnum yx4) (fromEnum yx3) (not (primCmpInt (fromEnum yx4) (fromEnum yx3) == LT))) (fromEnum yx3) (iterate (fromEnum yx4 - fromEnum yx3 +) (fromEnum yx4 - fromEnum yx3 + fromEnum yx3)) (numericEnumFromThenToP1 (fromEnum GT) (fromEnum yx4) (fromEnum yx3) (not (primCmpInt (fromEnum yx4) (fromEnum yx3) == LT)) (fromEnum yx3)))",fontsize=16,color="burlywood",shape="box"];554[label="yx4/LT",fontsize=10,color="white",style="solid",shape="box"];17 -> 554[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 554 -> 18[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 555[label="yx4/EQ",fontsize=10,color="white",style="solid",shape="box"];17 -> 555[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 555 -> 19[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 556[label="yx4/GT",fontsize=10,color="white",style="solid",shape="box"];17 -> 556[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 556 -> 20[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 18[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (fromEnum LT) (fromEnum yx3) (not (primCmpInt (fromEnum LT) (fromEnum yx3) == LT))) (fromEnum yx3) (iterate (fromEnum LT - fromEnum yx3 +) (fromEnum LT - fromEnum yx3 + fromEnum yx3)) (numericEnumFromThenToP1 (fromEnum GT) (fromEnum LT) (fromEnum yx3) (not (primCmpInt (fromEnum LT) (fromEnum yx3) == LT)) (fromEnum yx3)))",fontsize=16,color="black",shape="box"];18 -> 21[label="",style="solid", color="black", weight=3]; 12.85/8.05 19[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (fromEnum EQ) (fromEnum yx3) (not (primCmpInt (fromEnum EQ) (fromEnum yx3) == LT))) (fromEnum yx3) (iterate (fromEnum EQ - fromEnum yx3 +) (fromEnum EQ - fromEnum yx3 + fromEnum yx3)) (numericEnumFromThenToP1 (fromEnum GT) (fromEnum EQ) (fromEnum yx3) (not (primCmpInt (fromEnum EQ) (fromEnum yx3) == LT)) (fromEnum yx3)))",fontsize=16,color="black",shape="box"];19 -> 22[label="",style="solid", color="black", weight=3]; 12.85/8.05 20[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (fromEnum GT) (fromEnum yx3) (not (primCmpInt (fromEnum GT) (fromEnum yx3) == LT))) (fromEnum yx3) (iterate (fromEnum GT - fromEnum yx3 +) (fromEnum GT - fromEnum yx3 + fromEnum yx3)) (numericEnumFromThenToP1 (fromEnum GT) (fromEnum GT) (fromEnum yx3) (not (primCmpInt (fromEnum GT) (fromEnum yx3) == LT)) (fromEnum yx3)))",fontsize=16,color="black",shape="box"];20 -> 23[label="",style="solid", color="black", weight=3]; 12.85/8.05 21[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (fromEnum yx3) (not (primCmpInt (Pos Zero) (fromEnum yx3) == LT))) (fromEnum yx3) (iterate (Pos Zero - fromEnum yx3 +) (Pos Zero - fromEnum yx3 + fromEnum yx3)) (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (fromEnum yx3) (not (primCmpInt (Pos Zero) (fromEnum yx3) == LT)) (fromEnum yx3)))",fontsize=16,color="burlywood",shape="box"];557[label="yx3/LT",fontsize=10,color="white",style="solid",shape="box"];21 -> 557[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 557 -> 24[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 558[label="yx3/EQ",fontsize=10,color="white",style="solid",shape="box"];21 -> 558[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 558 -> 25[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 559[label="yx3/GT",fontsize=10,color="white",style="solid",shape="box"];21 -> 559[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 559 -> 26[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 22[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (fromEnum yx3) (not (primCmpInt (Pos (Succ Zero)) (fromEnum yx3) == LT))) (fromEnum yx3) (iterate (Pos (Succ Zero) - fromEnum yx3 +) (Pos (Succ Zero) - fromEnum yx3 + fromEnum yx3)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (fromEnum yx3) (not (primCmpInt (Pos (Succ Zero)) (fromEnum yx3) == LT)) (fromEnum yx3)))",fontsize=16,color="burlywood",shape="box"];560[label="yx3/LT",fontsize=10,color="white",style="solid",shape="box"];22 -> 560[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 560 -> 27[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 561[label="yx3/EQ",fontsize=10,color="white",style="solid",shape="box"];22 -> 561[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 561 -> 28[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 562[label="yx3/GT",fontsize=10,color="white",style="solid",shape="box"];22 -> 562[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 562 -> 29[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 23[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (fromEnum yx3) (not (primCmpInt (Pos (Succ (Succ Zero))) (fromEnum yx3) == LT))) (fromEnum yx3) (iterate (Pos (Succ (Succ Zero)) - fromEnum yx3 +) (Pos (Succ (Succ Zero)) - fromEnum yx3 + fromEnum yx3)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (fromEnum yx3) (not (primCmpInt (Pos (Succ (Succ Zero))) (fromEnum yx3) == LT)) (fromEnum yx3)))",fontsize=16,color="burlywood",shape="box"];563[label="yx3/LT",fontsize=10,color="white",style="solid",shape="box"];23 -> 563[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 563 -> 30[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 564[label="yx3/EQ",fontsize=10,color="white",style="solid",shape="box"];23 -> 564[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 564 -> 31[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 565[label="yx3/GT",fontsize=10,color="white",style="solid",shape="box"];23 -> 565[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 565 -> 32[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 24[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (fromEnum LT) (not (primCmpInt (Pos Zero) (fromEnum LT) == LT))) (fromEnum LT) (iterate (Pos Zero - fromEnum LT +) (Pos Zero - fromEnum LT + fromEnum LT)) (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (fromEnum LT) (not (primCmpInt (Pos Zero) (fromEnum LT) == LT)) (fromEnum LT)))",fontsize=16,color="black",shape="box"];24 -> 33[label="",style="solid", color="black", weight=3]; 12.85/8.05 25[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (fromEnum EQ) (not (primCmpInt (Pos Zero) (fromEnum EQ) == LT))) (fromEnum EQ) (iterate (Pos Zero - fromEnum EQ +) (Pos Zero - fromEnum EQ + fromEnum EQ)) (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (fromEnum EQ) (not (primCmpInt (Pos Zero) (fromEnum EQ) == LT)) (fromEnum EQ)))",fontsize=16,color="black",shape="box"];25 -> 34[label="",style="solid", color="black", weight=3]; 12.85/8.05 26[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (fromEnum GT) (not (primCmpInt (Pos Zero) (fromEnum GT) == LT))) (fromEnum GT) (iterate (Pos Zero - fromEnum GT +) (Pos Zero - fromEnum GT + fromEnum GT)) (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (fromEnum GT) (not (primCmpInt (Pos Zero) (fromEnum GT) == LT)) (fromEnum GT)))",fontsize=16,color="black",shape="box"];26 -> 35[label="",style="solid", color="black", weight=3]; 12.85/8.05 27[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (fromEnum LT) (not (primCmpInt (Pos (Succ Zero)) (fromEnum LT) == LT))) (fromEnum LT) (iterate (Pos (Succ Zero) - fromEnum LT +) (Pos (Succ Zero) - fromEnum LT + fromEnum LT)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (fromEnum LT) (not (primCmpInt (Pos (Succ Zero)) (fromEnum LT) == LT)) (fromEnum LT)))",fontsize=16,color="black",shape="box"];27 -> 36[label="",style="solid", color="black", weight=3]; 12.85/8.05 28[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (fromEnum EQ) (not (primCmpInt (Pos (Succ Zero)) (fromEnum EQ) == LT))) (fromEnum EQ) (iterate (Pos (Succ Zero) - fromEnum EQ +) (Pos (Succ Zero) - fromEnum EQ + fromEnum EQ)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (fromEnum EQ) (not (primCmpInt (Pos (Succ Zero)) (fromEnum EQ) == LT)) (fromEnum EQ)))",fontsize=16,color="black",shape="box"];28 -> 37[label="",style="solid", color="black", weight=3]; 12.85/8.05 29[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (fromEnum GT) (not (primCmpInt (Pos (Succ Zero)) (fromEnum GT) == LT))) (fromEnum GT) (iterate (Pos (Succ Zero) - fromEnum GT +) (Pos (Succ Zero) - fromEnum GT + fromEnum GT)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (fromEnum GT) (not (primCmpInt (Pos (Succ Zero)) (fromEnum GT) == LT)) (fromEnum GT)))",fontsize=16,color="black",shape="box"];29 -> 38[label="",style="solid", color="black", weight=3]; 12.85/8.05 30[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (fromEnum LT) (not (primCmpInt (Pos (Succ (Succ Zero))) (fromEnum LT) == LT))) (fromEnum LT) (iterate (Pos (Succ (Succ Zero)) - fromEnum LT +) (Pos (Succ (Succ Zero)) - fromEnum LT + fromEnum LT)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (fromEnum LT) (not (primCmpInt (Pos (Succ (Succ Zero))) (fromEnum LT) == LT)) (fromEnum LT)))",fontsize=16,color="black",shape="box"];30 -> 39[label="",style="solid", color="black", weight=3]; 12.85/8.05 31[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (fromEnum EQ) (not (primCmpInt (Pos (Succ (Succ Zero))) (fromEnum EQ) == LT))) (fromEnum EQ) (iterate (Pos (Succ (Succ Zero)) - fromEnum EQ +) (Pos (Succ (Succ Zero)) - fromEnum EQ + fromEnum EQ)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (fromEnum EQ) (not (primCmpInt (Pos (Succ (Succ Zero))) (fromEnum EQ) == LT)) (fromEnum EQ)))",fontsize=16,color="black",shape="box"];31 -> 40[label="",style="solid", color="black", weight=3]; 12.85/8.05 32[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (fromEnum GT) (not (primCmpInt (Pos (Succ (Succ Zero))) (fromEnum GT) == LT))) (fromEnum GT) (iterate (Pos (Succ (Succ Zero)) - fromEnum GT +) (Pos (Succ (Succ Zero)) - fromEnum GT + fromEnum GT)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (fromEnum GT) (not (primCmpInt (Pos (Succ (Succ Zero))) (fromEnum GT) == LT)) (fromEnum GT)))",fontsize=16,color="black",shape="box"];32 -> 41[label="",style="solid", color="black", weight=3]; 12.85/8.05 33[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];33 -> 42[label="",style="solid", color="black", weight=3]; 12.85/8.05 34[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ Zero)) (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 (fromEnum GT) (Pos Zero) (Pos (Succ Zero)) (not (primCmpInt (Pos Zero) (Pos (Succ Zero)) == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];34 -> 43[label="",style="solid", color="black", weight=3]; 12.85/8.05 35[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ (Succ Zero))) (not (primCmpInt (Pos Zero) (Pos (Succ (Succ Zero))) == LT))) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ (Succ Zero))) (not (primCmpInt (Pos Zero) (Pos (Succ (Succ Zero))) == LT)) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];35 -> 44[label="",style="solid", color="black", weight=3]; 12.85/8.05 36[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos Zero) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos Zero) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];36 -> 45[label="",style="solid", color="black", weight=3]; 12.85/8.05 37[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ Zero)) (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 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ Zero)) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero)) == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];37 -> 46[label="",style="solid", color="black", weight=3]; 12.85/8.05 38[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) == LT))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) == LT)) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];38 -> 47[label="",style="solid", color="black", weight=3]; 12.85/8.05 39[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos Zero) (not (primCmpInt (Pos (Succ (Succ Zero))) (Pos Zero) == LT))) (Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos Zero) (not (primCmpInt (Pos (Succ (Succ Zero))) (Pos Zero) == LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];39 -> 48[label="",style="solid", color="black", weight=3]; 12.85/8.05 40[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ Zero)) (not (primCmpInt (Pos (Succ (Succ Zero))) (Pos (Succ Zero)) == LT))) (Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ Zero)) (not (primCmpInt (Pos (Succ (Succ Zero))) (Pos (Succ Zero)) == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];40 -> 49[label="",style="solid", color="black", weight=3]; 12.85/8.05 41[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) (not (primCmpInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) == LT))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) (not (primCmpInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) == LT)) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];41 -> 50[label="",style="solid", color="black", weight=3]; 12.85/8.05 42[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos Zero) (not (EQ == LT))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos Zero) (not (EQ == LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];42 -> 51[label="",style="solid", color="black", weight=3]; 12.85/8.05 43[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ Zero)) (not (primCmpNat Zero (Succ Zero) == LT))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ Zero)) (not (primCmpNat Zero (Succ Zero) == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];43 -> 52[label="",style="solid", color="black", weight=3]; 12.85/8.05 44[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ (Succ Zero))) (not (primCmpNat Zero (Succ (Succ Zero)) == LT))) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ (Succ Zero))) (not (primCmpNat Zero (Succ (Succ Zero)) == LT)) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];44 -> 53[label="",style="solid", color="black", weight=3]; 12.85/8.05 45[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos Zero) (not (primCmpNat (Succ Zero) Zero == LT))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos Zero) (not (primCmpNat (Succ Zero) Zero == LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];45 -> 54[label="",style="solid", color="black", weight=3]; 12.85/8.05 46[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ Zero)) (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 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ Zero)) (not (primCmpNat (Succ Zero) (Succ Zero) == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];46 -> 55[label="",style="solid", color="black", weight=3]; 12.85/8.05 47[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) (not (primCmpNat (Succ Zero) (Succ (Succ Zero)) == LT))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) (not (primCmpNat (Succ Zero) (Succ (Succ Zero)) == LT)) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];47 -> 56[label="",style="solid", color="black", weight=3]; 12.85/8.05 48[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos Zero) (not (primCmpNat (Succ (Succ Zero)) Zero == LT))) (Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos Zero) (not (primCmpNat (Succ (Succ Zero)) Zero == LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];48 -> 57[label="",style="solid", color="black", weight=3]; 12.85/8.05 49[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ Zero)) (not (primCmpNat (Succ (Succ Zero)) (Succ Zero) == LT))) (Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ Zero)) (not (primCmpNat (Succ (Succ Zero)) (Succ Zero) == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];49 -> 58[label="",style="solid", color="black", weight=3]; 12.85/8.05 50[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) (not (primCmpNat (Succ (Succ Zero)) (Succ (Succ Zero)) == LT))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) (not (primCmpNat (Succ (Succ Zero)) (Succ (Succ Zero)) == LT)) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];50 -> 59[label="",style="solid", color="black", weight=3]; 12.85/8.05 51[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos Zero) (not False)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos Zero) (not False) (Pos Zero)))",fontsize=16,color="black",shape="box"];51 -> 60[label="",style="solid", color="black", weight=3]; 12.85/8.05 52[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ Zero)) (not (LT == LT))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ Zero)) (not (LT == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];52 -> 61[label="",style="solid", color="black", weight=3]; 12.85/8.05 53[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ (Succ Zero))) (not (LT == LT))) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ (Succ Zero))) (not (LT == LT)) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];53 -> 62[label="",style="solid", color="black", weight=3]; 12.85/8.05 54[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos Zero) (not (GT == LT))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos Zero) (not (GT == LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];54 -> 63[label="",style="solid", color="black", weight=3]; 12.85/8.05 55[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ Zero)) (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 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ Zero)) (not (primCmpNat Zero Zero == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];55 -> 64[label="",style="solid", color="black", weight=3]; 12.85/8.05 56[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) (not (primCmpNat Zero (Succ Zero) == LT))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) (not (primCmpNat Zero (Succ Zero) == LT)) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];56 -> 65[label="",style="solid", color="black", weight=3]; 12.85/8.05 57[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos Zero) (not (GT == LT))) (Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos Zero) (not (GT == LT)) (Pos Zero)))",fontsize=16,color="black",shape="box"];57 -> 66[label="",style="solid", color="black", weight=3]; 12.85/8.05 58[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ Zero)) (not (primCmpNat (Succ Zero) Zero == LT))) (Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ Zero)) (not (primCmpNat (Succ Zero) Zero == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];58 -> 67[label="",style="solid", color="black", weight=3]; 12.85/8.05 59[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) (not (primCmpNat (Succ Zero) (Succ Zero) == LT))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) (not (primCmpNat (Succ Zero) (Succ Zero) == LT)) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];59 -> 68[label="",style="solid", color="black", weight=3]; 12.85/8.05 60[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos Zero) True) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos Zero) True (Pos Zero)))",fontsize=16,color="black",shape="box"];60 -> 69[label="",style="solid", color="black", weight=3]; 12.85/8.05 61[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ Zero)) (not True)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ Zero)) (not True) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];61 -> 70[label="",style="solid", color="black", weight=3]; 12.85/8.05 62[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ (Succ Zero))) (not True)) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ (Succ Zero))) (not True) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];62 -> 71[label="",style="solid", color="black", weight=3]; 12.85/8.05 63[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos Zero) (not False)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos Zero) (not False) (Pos Zero)))",fontsize=16,color="black",shape="box"];63 -> 72[label="",style="solid", color="black", weight=3]; 12.85/8.05 64[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ Zero)) (not (EQ == LT))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ Zero)) (not (EQ == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];64 -> 73[label="",style="solid", color="black", weight=3]; 12.85/8.05 65[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) (not (LT == LT))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) (not (LT == LT)) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];65 -> 74[label="",style="solid", color="black", weight=3]; 12.85/8.05 66[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos Zero) (not False)) (Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos Zero) (not False) (Pos Zero)))",fontsize=16,color="black",shape="box"];66 -> 75[label="",style="solid", color="black", weight=3]; 12.85/8.05 67[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ Zero)) (not (GT == LT))) (Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ Zero)) (not (GT == LT)) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];67 -> 76[label="",style="solid", color="black", weight=3]; 12.85/8.05 68[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) (not (primCmpNat Zero Zero == LT))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) (not (primCmpNat Zero Zero == LT)) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];68 -> 77[label="",style="solid", color="black", weight=3]; 12.85/8.05 69[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (flip (<=) (fromEnum GT) (Pos Zero)))",fontsize=16,color="black",shape="box"];69 -> 78[label="",style="solid", color="black", weight=3]; 12.85/8.05 70[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ Zero)) False) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ Zero)) False (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];70 -> 79[label="",style="solid", color="black", weight=3]; 12.85/8.05 71[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ (Succ Zero))) False) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos Zero) (Pos (Succ (Succ Zero))) False (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];71 -> 80[label="",style="solid", color="black", weight=3]; 12.85/8.05 72[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos Zero) True) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos Zero) True (Pos Zero)))",fontsize=16,color="black",shape="box"];72 -> 81[label="",style="solid", color="black", weight=3]; 12.85/8.05 73[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ Zero)) (not False)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ Zero)) (not False) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];73 -> 82[label="",style="solid", color="black", weight=3]; 12.85/8.05 74[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) (not True)) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) (not True) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];74 -> 83[label="",style="solid", color="black", weight=3]; 12.85/8.05 75[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos Zero) True) (Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos Zero) True (Pos Zero)))",fontsize=16,color="black",shape="box"];75 -> 84[label="",style="solid", color="black", weight=3]; 12.85/8.05 76[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ Zero)) (not False)) (Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ Zero)) (not False) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];76 -> 85[label="",style="solid", color="black", weight=3]; 12.85/8.05 77[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) (not (EQ == LT))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) (not (EQ == LT)) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];77 -> 86[label="",style="solid", color="black", weight=3]; 12.85/8.05 78[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) ((<=) Pos Zero fromEnum GT))",fontsize=16,color="black",shape="box"];78 -> 87[label="",style="solid", color="black", weight=3]; 12.85/8.05 79[label="map toEnum (takeWhile1 (numericEnumFromThenToP0 (fromEnum GT) (Pos Zero) (Pos (Succ Zero)) otherwise) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP0 (fromEnum GT) (Pos Zero) (Pos (Succ Zero)) otherwise (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];79 -> 88[label="",style="solid", color="black", weight=3]; 12.85/8.05 80[label="map toEnum (takeWhile1 (numericEnumFromThenToP0 (fromEnum GT) (Pos Zero) (Pos (Succ (Succ Zero))) otherwise) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP0 (fromEnum GT) (Pos Zero) (Pos (Succ (Succ Zero))) otherwise (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];80 -> 89[label="",style="solid", color="black", weight=3]; 12.85/8.05 81[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (flip (<=) (fromEnum GT) (Pos Zero)))",fontsize=16,color="black",shape="box"];81 -> 90[label="",style="solid", color="black", weight=3]; 12.85/8.05 82[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ Zero)) True) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ Zero)) True (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];82 -> 91[label="",style="solid", color="black", weight=3]; 12.85/8.05 83[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) False) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) False (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];83 -> 92[label="",style="solid", color="black", weight=3]; 12.85/8.05 84[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)) (flip (<=) (fromEnum GT) (Pos Zero)))",fontsize=16,color="black",shape="box"];84 -> 93[label="",style="solid", color="black", weight=3]; 12.85/8.05 85[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ Zero)) True) (Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ Zero)) True (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];85 -> 94[label="",style="solid", color="black", weight=3]; 12.85/8.05 86[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) (not False)) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) (not False) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];86 -> 95[label="",style="solid", color="black", weight=3]; 12.85/8.05 87[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (compare (Pos Zero) (fromEnum GT) /= GT))",fontsize=16,color="black",shape="box"];87 -> 96[label="",style="solid", color="black", weight=3]; 12.85/8.05 88[label="map toEnum (takeWhile1 (numericEnumFromThenToP0 (fromEnum GT) (Pos Zero) (Pos (Succ Zero)) True) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP0 (fromEnum GT) (Pos Zero) (Pos (Succ Zero)) True (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];88 -> 97[label="",style="solid", color="black", weight=3]; 12.85/8.05 89[label="map toEnum (takeWhile1 (numericEnumFromThenToP0 (fromEnum GT) (Pos Zero) (Pos (Succ (Succ Zero))) True) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP0 (fromEnum GT) (Pos Zero) (Pos (Succ (Succ Zero))) True (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];89 -> 98[label="",style="solid", color="black", weight=3]; 12.85/8.05 90[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) ((<=) Pos Zero fromEnum GT))",fontsize=16,color="black",shape="box"];90 -> 99[label="",style="solid", color="black", weight=3]; 12.85/8.05 91[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (flip (<=) (fromEnum GT) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];91 -> 100[label="",style="solid", color="black", weight=3]; 12.85/8.05 92[label="map toEnum (takeWhile1 (numericEnumFromThenToP0 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) otherwise) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP0 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) otherwise (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];92 -> 101[label="",style="solid", color="black", weight=3]; 12.85/8.05 93[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)) ((<=) Pos Zero fromEnum GT))",fontsize=16,color="black",shape="box"];93 -> 102[label="",style="solid", color="black", weight=3]; 12.85/8.05 94[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))) (flip (<=) (fromEnum GT) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];94 -> 103[label="",style="solid", color="black", weight=3]; 12.85/8.05 95[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) True) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP1 (fromEnum GT) (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) True (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];95 -> 104[label="",style="solid", color="black", weight=3]; 12.85/8.05 96[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (compare (Pos Zero) (fromEnum GT) == GT)))",fontsize=16,color="black",shape="box"];96 -> 105[label="",style="solid", color="black", weight=3]; 12.85/8.05 97[label="map toEnum (takeWhile1 (flip (>=) (fromEnum GT)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (flip (>=) (fromEnum GT) (Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];97 -> 106[label="",style="solid", color="black", weight=3]; 12.85/8.05 98[label="map toEnum (takeWhile1 (flip (>=) (fromEnum GT)) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (flip (>=) (fromEnum GT) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];98 -> 107[label="",style="solid", color="black", weight=3]; 12.85/8.05 99[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (compare (Pos Zero) (fromEnum GT) /= GT))",fontsize=16,color="black",shape="box"];99 -> 108[label="",style="solid", color="black", weight=3]; 12.85/8.05 100[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) ((<=) Pos (Succ Zero) fromEnum GT))",fontsize=16,color="black",shape="box"];100 -> 109[label="",style="solid", color="black", weight=3]; 12.85/8.05 101[label="map toEnum (takeWhile1 (numericEnumFromThenToP0 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) True) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (numericEnumFromThenToP0 (fromEnum GT) (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) True (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];101 -> 110[label="",style="solid", color="black", weight=3]; 12.85/8.05 102[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)) (compare (Pos Zero) (fromEnum GT) /= GT))",fontsize=16,color="black",shape="box"];102 -> 111[label="",style="solid", color="black", weight=3]; 12.85/8.05 103[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))) ((<=) Pos (Succ Zero) fromEnum GT))",fontsize=16,color="black",shape="box"];103 -> 112[label="",style="solid", color="black", weight=3]; 12.85/8.05 104[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (flip (<=) (fromEnum GT) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];104 -> 113[label="",style="solid", color="black", weight=3]; 12.85/8.05 105[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (fromEnum GT) == GT)))",fontsize=16,color="black",shape="box"];105 -> 114[label="",style="solid", color="black", weight=3]; 12.85/8.05 106[label="map toEnum (takeWhile1 (flip (>=) (fromEnum GT)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) ((>=) Pos (Succ Zero) fromEnum GT))",fontsize=16,color="black",shape="box"];106 -> 115[label="",style="solid", color="black", weight=3]; 12.85/8.05 107[label="map toEnum (takeWhile1 (flip (>=) (fromEnum GT)) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) ((>=) Pos (Succ (Succ Zero)) fromEnum GT))",fontsize=16,color="black",shape="box"];107 -> 116[label="",style="solid", color="black", weight=3]; 12.85/8.05 108[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (compare (Pos Zero) (fromEnum GT) == GT)))",fontsize=16,color="black",shape="box"];108 -> 117[label="",style="solid", color="black", weight=3]; 12.85/8.05 109[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (compare (Pos (Succ Zero)) (fromEnum GT) /= GT))",fontsize=16,color="black",shape="box"];109 -> 118[label="",style="solid", color="black", weight=3]; 12.85/8.05 110[label="map toEnum (takeWhile1 (flip (>=) (fromEnum GT)) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (flip (>=) (fromEnum GT) (Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];110 -> 119[label="",style="solid", color="black", weight=3]; 12.85/8.05 111[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)) (not (compare (Pos Zero) (fromEnum GT) == GT)))",fontsize=16,color="black",shape="box"];111 -> 120[label="",style="solid", color="black", weight=3]; 12.85/8.05 112[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))) (compare (Pos (Succ Zero)) (fromEnum GT) /= GT))",fontsize=16,color="black",shape="box"];112 -> 121[label="",style="solid", color="black", weight=3]; 12.85/8.05 113[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) ((<=) Pos (Succ (Succ Zero)) fromEnum GT))",fontsize=16,color="black",shape="box"];113 -> 122[label="",style="solid", color="black", weight=3]; 12.85/8.05 114[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];114 -> 123[label="",style="solid", color="black", weight=3]; 12.85/8.05 115[label="map toEnum (takeWhile1 (flip (>=) (fromEnum GT)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (compare (Pos (Succ Zero)) (fromEnum GT) /= LT))",fontsize=16,color="black",shape="box"];115 -> 124[label="",style="solid", color="black", weight=3]; 12.85/8.05 116[label="map toEnum (takeWhile1 (flip (>=) (fromEnum GT)) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (compare (Pos (Succ (Succ Zero))) (fromEnum GT) /= LT))",fontsize=16,color="black",shape="box"];116 -> 125[label="",style="solid", color="black", weight=3]; 12.85/8.05 117[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (fromEnum GT) == GT)))",fontsize=16,color="black",shape="box"];117 -> 126[label="",style="solid", color="black", weight=3]; 12.85/8.05 118[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (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 GT) == GT)))",fontsize=16,color="black",shape="box"];118 -> 127[label="",style="solid", color="black", weight=3]; 12.85/8.05 119[label="map toEnum (takeWhile1 (flip (>=) (fromEnum GT)) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) ((>=) Pos (Succ (Succ Zero)) fromEnum GT))",fontsize=16,color="black",shape="box"];119 -> 128[label="",style="solid", color="black", weight=3]; 12.85/8.05 120[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (fromEnum GT) == GT)))",fontsize=16,color="black",shape="box"];120 -> 129[label="",style="solid", color="black", weight=3]; 12.85/8.05 121[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))) (not (compare (Pos (Succ Zero)) (fromEnum GT) == GT)))",fontsize=16,color="black",shape="box"];121 -> 130[label="",style="solid", color="black", weight=3]; 12.85/8.05 122[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (compare (Pos (Succ (Succ Zero))) (fromEnum GT) /= GT))",fontsize=16,color="black",shape="box"];122 -> 131[label="",style="solid", color="black", weight=3]; 12.85/8.05 123[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (primCmpNat Zero (Succ (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];123 -> 132[label="",style="solid", color="black", weight=3]; 12.85/8.05 124[label="map toEnum (takeWhile1 (flip (>=) (fromEnum GT)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (compare (Pos (Succ Zero)) (fromEnum GT) == LT)))",fontsize=16,color="black",shape="box"];124 -> 133[label="",style="solid", color="black", weight=3]; 12.85/8.05 125[label="map toEnum (takeWhile1 (flip (>=) (fromEnum GT)) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (compare (Pos (Succ (Succ Zero))) (fromEnum GT) == LT)))",fontsize=16,color="black",shape="box"];125 -> 134[label="",style="solid", color="black", weight=3]; 12.85/8.05 126[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];126 -> 135[label="",style="solid", color="black", weight=3]; 12.85/8.05 127[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (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 GT) == GT)))",fontsize=16,color="black",shape="box"];127 -> 136[label="",style="solid", color="black", weight=3]; 12.85/8.05 128[label="map toEnum (takeWhile1 (flip (>=) (fromEnum GT)) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (compare (Pos (Succ (Succ Zero))) (fromEnum GT) /= LT))",fontsize=16,color="black",shape="box"];128 -> 137[label="",style="solid", color="black", weight=3]; 12.85/8.05 129[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];129 -> 138[label="",style="solid", color="black", weight=3]; 12.85/8.05 130[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (fromEnum GT) == GT)))",fontsize=16,color="black",shape="box"];130 -> 139[label="",style="solid", color="black", weight=3]; 12.85/8.05 131[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (compare (Pos (Succ (Succ Zero))) (fromEnum GT) == GT)))",fontsize=16,color="black",shape="box"];131 -> 140[label="",style="solid", color="black", weight=3]; 12.85/8.05 132[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (LT == GT)))",fontsize=16,color="black",shape="box"];132 -> 141[label="",style="solid", color="black", weight=3]; 12.85/8.05 133[label="map toEnum (takeWhile1 (flip (>=) (fromEnum GT)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (fromEnum GT) == LT)))",fontsize=16,color="black",shape="box"];133 -> 142[label="",style="solid", color="black", weight=3]; 12.85/8.05 134[label="map toEnum (takeWhile1 (flip (>=) (fromEnum GT)) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (primCmpInt (Pos (Succ (Succ Zero))) (fromEnum GT) == LT)))",fontsize=16,color="black",shape="box"];134 -> 143[label="",style="solid", color="black", weight=3]; 12.85/8.05 135[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (primCmpNat Zero (Succ (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];135 -> 144[label="",style="solid", color="black", weight=3]; 12.85/8.05 136[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];136 -> 145[label="",style="solid", color="black", weight=3]; 12.85/8.05 137[label="map toEnum (takeWhile1 (flip (>=) (fromEnum GT)) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (compare (Pos (Succ (Succ Zero))) (fromEnum GT) == LT)))",fontsize=16,color="black",shape="box"];137 -> 146[label="",style="solid", color="black", weight=3]; 12.85/8.05 138[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)) (not (primCmpNat Zero (Succ (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];138 -> 147[label="",style="solid", color="black", weight=3]; 12.85/8.05 139[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];139 -> 148[label="",style="solid", color="black", weight=3]; 12.85/8.05 140[label="map toEnum (takeWhile1 (flip (<=) (fromEnum GT)) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (primCmpInt (Pos (Succ (Succ Zero))) (fromEnum GT) == GT)))",fontsize=16,color="black",shape="box"];140 -> 149[label="",style="solid", color="black", weight=3]; 12.85/8.05 141[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not False))",fontsize=16,color="black",shape="box"];141 -> 150[label="",style="solid", color="black", weight=3]; 12.85/8.05 142[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (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 (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];142 -> 151[label="",style="solid", color="black", weight=3]; 12.85/8.05 143[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (primCmpInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];143 -> 152[label="",style="solid", color="black", weight=3]; 12.85/8.05 144[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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"];144 -> 153[label="",style="solid", color="black", weight=3]; 12.85/8.05 145[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];145 -> 154[label="",style="solid", color="black", weight=3]; 12.85/8.05 146[label="map toEnum (takeWhile1 (flip (>=) (fromEnum GT)) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (primCmpInt (Pos (Succ (Succ Zero))) (fromEnum GT) == LT)))",fontsize=16,color="black",shape="box"];146 -> 155[label="",style="solid", color="black", weight=3]; 12.85/8.05 147[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)) (not (LT == GT)))",fontsize=16,color="black",shape="box"];147 -> 156[label="",style="solid", color="black", weight=3]; 12.85/8.05 148[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpNat (Succ Zero) (Succ (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];148 -> 157[label="",style="solid", color="black", weight=3]; 12.85/8.05 149[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (primCmpInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];149 -> 158[label="",style="solid", color="black", weight=3]; 12.85/8.05 150[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) True)",fontsize=16,color="black",shape="box"];150 -> 159[label="",style="solid", color="black", weight=3]; 12.85/8.05 151[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpNat (Succ Zero) (Succ (Succ Zero)) == LT)))",fontsize=16,color="black",shape="box"];151 -> 160[label="",style="solid", color="black", weight=3]; 12.85/8.05 152[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (primCmpNat (Succ (Succ Zero)) (Succ (Succ Zero)) == LT)))",fontsize=16,color="black",shape="box"];152 -> 161[label="",style="solid", color="black", weight=3]; 12.85/8.05 153[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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"];153 -> 162[label="",style="solid", color="black", weight=3]; 12.85/8.05 154[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpNat Zero (Succ Zero) == GT)))",fontsize=16,color="black",shape="box"];154 -> 163[label="",style="solid", color="black", weight=3]; 12.85/8.05 155[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (primCmpInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];155 -> 164[label="",style="solid", color="black", weight=3]; 12.85/8.05 156[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)) (not False))",fontsize=16,color="black",shape="box"];156 -> 165[label="",style="solid", color="black", weight=3]; 12.85/8.05 157[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpNat Zero (Succ Zero) == GT)))",fontsize=16,color="black",shape="box"];157 -> 166[label="",style="solid", color="black", weight=3]; 12.85/8.05 158[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (primCmpNat (Succ (Succ Zero)) (Succ (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];158 -> 167[label="",style="solid", color="black", weight=3]; 12.85/8.05 159[label="map toEnum (Pos Zero : takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];159 -> 168[label="",style="solid", color="black", weight=3]; 12.85/8.05 160[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpNat Zero (Succ Zero) == LT)))",fontsize=16,color="black",shape="box"];160 -> 169[label="",style="solid", color="black", weight=3]; 12.85/8.05 161[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (primCmpNat (Succ Zero) (Succ Zero) == LT)))",fontsize=16,color="black",shape="box"];161 -> 170[label="",style="solid", color="black", weight=3]; 12.85/8.05 162[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) True)",fontsize=16,color="black",shape="box"];162 -> 171[label="",style="solid", color="black", weight=3]; 12.85/8.05 163[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (LT == GT)))",fontsize=16,color="black",shape="box"];163 -> 172[label="",style="solid", color="black", weight=3]; 12.85/8.05 164[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (primCmpNat (Succ (Succ Zero)) (Succ (Succ Zero)) == LT)))",fontsize=16,color="black",shape="box"];164 -> 173[label="",style="solid", color="black", weight=3]; 12.85/8.05 165[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)) True)",fontsize=16,color="black",shape="box"];165 -> 174[label="",style="solid", color="black", weight=3]; 12.85/8.05 166[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))) (not (LT == GT)))",fontsize=16,color="black",shape="box"];166 -> 175[label="",style="solid", color="black", weight=3]; 12.85/8.05 167[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (primCmpNat (Succ Zero) (Succ Zero) == GT)))",fontsize=16,color="black",shape="box"];167 -> 176[label="",style="solid", color="black", weight=3]; 12.85/8.05 168[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)))",fontsize=16,color="green",shape="box"];168 -> 177[label="",style="dashed", color="green", weight=3]; 12.85/8.05 168 -> 178[label="",style="dashed", color="green", weight=3]; 12.85/8.05 169[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (LT == LT)))",fontsize=16,color="black",shape="box"];169 -> 179[label="",style="solid", color="black", weight=3]; 12.85/8.05 170[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (primCmpNat Zero Zero == LT)))",fontsize=16,color="black",shape="box"];170 -> 180[label="",style="solid", color="black", weight=3]; 12.85/8.05 171[label="map toEnum (Pos Zero : takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];171 -> 181[label="",style="solid", color="black", weight=3]; 12.85/8.05 172[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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"];172 -> 182[label="",style="solid", color="black", weight=3]; 12.85/8.05 173[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (primCmpNat (Succ Zero) (Succ Zero) == LT)))",fontsize=16,color="black",shape="box"];173 -> 183[label="",style="solid", color="black", weight=3]; 12.85/8.05 174[label="map toEnum (Pos Zero : takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];174 -> 184[label="",style="solid", color="black", weight=3]; 12.85/8.05 175[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))) (not False))",fontsize=16,color="black",shape="box"];175 -> 185[label="",style="solid", color="black", weight=3]; 12.85/8.05 176[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (primCmpNat Zero Zero == GT)))",fontsize=16,color="black",shape="box"];176 -> 186[label="",style="solid", color="black", weight=3]; 12.85/8.05 177[label="toEnum (Pos Zero)",fontsize=16,color="black",shape="triangle"];177 -> 187[label="",style="solid", color="black", weight=3]; 12.85/8.05 178[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];178 -> 188[label="",style="solid", color="black", weight=3]; 12.85/8.05 179[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not True))",fontsize=16,color="black",shape="box"];179 -> 189[label="",style="solid", color="black", weight=3]; 12.85/8.05 180[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (EQ == LT)))",fontsize=16,color="black",shape="box"];180 -> 190[label="",style="solid", color="black", weight=3]; 12.85/8.05 181[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)))",fontsize=16,color="green",shape="box"];181 -> 191[label="",style="dashed", color="green", weight=3]; 12.85/8.05 181 -> 192[label="",style="dashed", color="green", weight=3]; 12.85/8.05 182[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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"];182 -> 193[label="",style="solid", color="black", weight=3]; 12.85/8.05 183[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (primCmpNat Zero Zero == LT)))",fontsize=16,color="black",shape="box"];183 -> 194[label="",style="solid", color="black", weight=3]; 12.85/8.05 184[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)))",fontsize=16,color="green",shape="box"];184 -> 195[label="",style="dashed", color="green", weight=3]; 12.85/8.05 184 -> 196[label="",style="dashed", color="green", weight=3]; 12.85/8.05 185[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))) True)",fontsize=16,color="black",shape="box"];185 -> 197[label="",style="solid", color="black", weight=3]; 12.85/8.05 186[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (EQ == GT)))",fontsize=16,color="black",shape="box"];186 -> 198[label="",style="solid", color="black", weight=3]; 12.85/8.05 187[label="toEnum5 (Pos Zero)",fontsize=16,color="black",shape="box"];187 -> 199[label="",style="solid", color="black", weight=3]; 12.85/8.05 188[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (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"];188 -> 200[label="",style="solid", color="black", weight=3]; 12.85/8.05 189[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) False)",fontsize=16,color="black",shape="box"];189 -> 201[label="",style="solid", color="black", weight=3]; 12.85/8.05 190[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not False))",fontsize=16,color="black",shape="box"];190 -> 202[label="",style="solid", color="black", weight=3]; 12.85/8.05 191 -> 177[label="",style="dashed", color="red", weight=0]; 12.85/8.05 191[label="toEnum (Pos Zero)",fontsize=16,color="magenta"];192[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];192 -> 203[label="",style="solid", color="black", weight=3]; 12.85/8.05 193[label="map toEnum (Pos (Succ Zero) : takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];193 -> 204[label="",style="solid", color="black", weight=3]; 12.85/8.05 194[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not (EQ == LT)))",fontsize=16,color="black",shape="box"];194 -> 205[label="",style="solid", color="black", weight=3]; 12.85/8.05 195 -> 177[label="",style="dashed", color="red", weight=0]; 12.85/8.05 195[label="toEnum (Pos Zero)",fontsize=16,color="magenta"];196[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];196 -> 206[label="",style="solid", color="black", weight=3]; 12.85/8.05 197[label="map toEnum (Pos (Succ Zero) : takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];197 -> 207[label="",style="solid", color="black", weight=3]; 12.85/8.05 198[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not False))",fontsize=16,color="black",shape="box"];198 -> 208[label="",style="solid", color="black", weight=3]; 12.85/8.05 199[label="toEnum4 (Pos Zero == Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];199 -> 209[label="",style="solid", color="black", weight=3]; 12.85/8.05 200[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ (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"];200 -> 210[label="",style="solid", color="black", weight=3]; 12.85/8.05 201[label="map toEnum (takeWhile0 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) otherwise)",fontsize=16,color="black",shape="box"];201 -> 211[label="",style="solid", color="black", weight=3]; 12.85/8.05 202[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) True)",fontsize=16,color="black",shape="box"];202 -> 212[label="",style="solid", color="black", weight=3]; 12.85/8.05 203[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (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"];203 -> 213[label="",style="solid", color="black", weight=3]; 12.85/8.05 204[label="toEnum (Pos (Succ Zero)) : map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="green",shape="box"];204 -> 214[label="",style="dashed", color="green", weight=3]; 12.85/8.05 204 -> 215[label="",style="dashed", color="green", weight=3]; 12.85/8.05 205[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) (not False))",fontsize=16,color="black",shape="box"];205 -> 216[label="",style="solid", color="black", weight=3]; 12.85/8.05 206[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero : iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero))))",fontsize=16,color="black",shape="box"];206 -> 217[label="",style="solid", color="black", weight=3]; 12.85/8.05 207[label="toEnum (Pos (Succ Zero)) : map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="green",shape="box"];207 -> 218[label="",style="dashed", color="green", weight=3]; 12.85/8.05 207 -> 219[label="",style="dashed", color="green", weight=3]; 12.85/8.05 208[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) True)",fontsize=16,color="black",shape="box"];208 -> 220[label="",style="solid", color="black", weight=3]; 12.85/8.05 209[label="toEnum4 (primEqInt (Pos Zero) (Pos Zero)) (Pos Zero)",fontsize=16,color="black",shape="box"];209 -> 221[label="",style="solid", color="black", weight=3]; 12.85/8.05 210[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) (Pos Zero - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];210 -> 222[label="",style="solid", color="black", weight=3]; 12.85/8.05 211[label="map toEnum (takeWhile0 (flip (>=) (Pos (Succ (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"];211 -> 223[label="",style="solid", color="black", weight=3]; 12.85/8.05 212[label="map toEnum (Pos (Succ (Succ Zero)) : takeWhile (flip (>=) (Pos (Succ (Succ Zero)))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];212 -> 224[label="",style="solid", color="black", weight=3]; 12.85/8.05 213[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ (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"];213 -> 225[label="",style="solid", color="black", weight=3]; 12.85/8.05 214[label="toEnum (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];214 -> 226[label="",style="solid", color="black", weight=3]; 12.85/8.05 215[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];215 -> 227[label="",style="solid", color="black", weight=3]; 12.85/8.05 216[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))) True)",fontsize=16,color="black",shape="box"];216 -> 228[label="",style="solid", color="black", weight=3]; 12.85/8.05 217[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero : iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero))))",fontsize=16,color="black",shape="box"];217 -> 229[label="",style="solid", color="black", weight=3]; 12.85/8.05 218 -> 214[label="",style="dashed", color="red", weight=0]; 12.85/8.05 218[label="toEnum (Pos (Succ Zero))",fontsize=16,color="magenta"];219[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];219 -> 230[label="",style="solid", color="black", weight=3]; 12.85/8.05 220[label="map toEnum (Pos (Succ (Succ Zero)) : takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];220 -> 231[label="",style="solid", color="black", weight=3]; 12.85/8.05 221[label="toEnum4 True (Pos Zero)",fontsize=16,color="black",shape="triangle"];221 -> 232[label="",style="solid", color="black", weight=3]; 12.85/8.05 222[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))))",fontsize=16,color="black",shape="box"];222 -> 233[label="",style="solid", color="black", weight=3]; 12.85/8.05 223[label="map toEnum []",fontsize=16,color="black",shape="triangle"];223 -> 234[label="",style="solid", color="black", weight=3]; 12.85/8.05 224[label="toEnum (Pos (Succ (Succ Zero))) : map toEnum (takeWhile (flip (>=) (Pos (Succ (Succ Zero)))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))))",fontsize=16,color="green",shape="box"];224 -> 235[label="",style="dashed", color="green", weight=3]; 12.85/8.05 224 -> 236[label="",style="dashed", color="green", weight=3]; 12.85/8.05 225[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) (Pos (Succ Zero) - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];225 -> 237[label="",style="solid", color="black", weight=3]; 12.85/8.05 226[label="toEnum5 (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];226 -> 238[label="",style="solid", color="black", weight=3]; 12.85/8.05 227[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (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"];227 -> 239[label="",style="solid", color="black", weight=3]; 12.85/8.05 228[label="map toEnum (Pos (Succ (Succ Zero)) : takeWhile (flip (>=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];228 -> 240[label="",style="solid", color="black", weight=3]; 12.85/8.05 229[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero))) (flip (<=) (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero)))",fontsize=16,color="black",shape="box"];229 -> 241[label="",style="solid", color="black", weight=3]; 12.85/8.05 230[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero) : iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];230 -> 242[label="",style="solid", color="black", weight=3]; 12.85/8.05 231[label="toEnum (Pos (Succ (Succ Zero))) : map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))))",fontsize=16,color="green",shape="box"];231 -> 243[label="",style="dashed", color="green", weight=3]; 12.85/8.05 231 -> 244[label="",style="dashed", color="green", weight=3]; 12.85/8.05 232[label="LT",fontsize=16,color="green",shape="box"];233[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) /= GT))",fontsize=16,color="black",shape="box"];233 -> 245[label="",style="solid", color="black", weight=3]; 12.85/8.05 234[label="[]",fontsize=16,color="green",shape="box"];235[label="toEnum (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="triangle"];235 -> 246[label="",style="solid", color="black", weight=3]; 12.85/8.05 236[label="map toEnum (takeWhile (flip (>=) (Pos (Succ (Succ Zero)))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];236 -> 247[label="",style="solid", color="black", weight=3]; 12.85/8.05 237[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))))",fontsize=16,color="black",shape="box"];237 -> 248[label="",style="solid", color="black", weight=3]; 12.85/8.05 238[label="toEnum4 (Pos (Succ Zero) == Pos Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];238 -> 249[label="",style="solid", color="black", weight=3]; 12.85/8.05 239 -> 250[label="",style="dashed", color="red", weight=0]; 12.85/8.05 239[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ (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="magenta"];239 -> 251[label="",style="dashed", color="magenta", weight=3]; 12.85/8.05 240[label="toEnum (Pos (Succ (Succ Zero))) : map toEnum (takeWhile (flip (>=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))))",fontsize=16,color="green",shape="box"];240 -> 252[label="",style="dashed", color="green", weight=3]; 12.85/8.05 240 -> 253[label="",style="dashed", color="green", weight=3]; 12.85/8.05 241[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero))) ((<=) Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="box"];241 -> 254[label="",style="solid", color="black", weight=3]; 12.85/8.05 242[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero) : iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];242 -> 255[label="",style="solid", color="black", weight=3]; 12.85/8.05 243 -> 235[label="",style="dashed", color="red", weight=0]; 12.85/8.05 243[label="toEnum (Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];244[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];244 -> 256[label="",style="solid", color="black", weight=3]; 12.85/8.05 245[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];245 -> 257[label="",style="solid", color="black", weight=3]; 12.85/8.05 246[label="toEnum5 (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];246 -> 258[label="",style="solid", color="black", weight=3]; 12.85/8.05 247[label="map toEnum (takeWhile (flip (>=) (Pos (Succ (Succ Zero)))) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)) : iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))))",fontsize=16,color="black",shape="box"];247 -> 259[label="",style="solid", color="black", weight=3]; 12.85/8.05 248[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) /= GT))",fontsize=16,color="black",shape="box"];248 -> 260[label="",style="solid", color="black", weight=3]; 12.85/8.05 249[label="toEnum4 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];249 -> 261[label="",style="solid", color="black", weight=3]; 12.85/8.05 251[label="toEnum",fontsize=16,color="grey",shape="box"];251 -> 262[label="",style="dashed", color="grey", weight=3]; 12.85/8.05 250[label="map yx6 (takeWhile2 (flip (<=) (Pos (Succ (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="triangle"];250 -> 263[label="",style="solid", color="black", weight=3]; 12.85/8.05 252 -> 235[label="",style="dashed", color="red", weight=0]; 12.85/8.05 252[label="toEnum (Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];253[label="map toEnum (takeWhile (flip (>=) (Pos (Succ (Succ Zero)))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];253 -> 264[label="",style="solid", color="black", weight=3]; 12.85/8.05 254[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero))) (compare (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero) (Pos (Succ (Succ Zero))) /= GT))",fontsize=16,color="black",shape="box"];254 -> 265[label="",style="solid", color="black", weight=3]; 12.85/8.05 255[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero)))) (flip (<=) (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];255 -> 266[label="",style="solid", color="black", weight=3]; 12.85/8.05 256[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)) : iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))))",fontsize=16,color="black",shape="box"];256 -> 267[label="",style="solid", color="black", weight=3]; 12.85/8.05 257[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];257 -> 268[label="",style="solid", color="black", weight=3]; 12.85/8.05 258[label="toEnum4 (Pos (Succ (Succ Zero)) == Pos Zero) (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];258 -> 269[label="",style="solid", color="black", weight=3]; 12.85/8.05 259[label="map toEnum (takeWhile2 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)) : iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))))",fontsize=16,color="black",shape="box"];259 -> 270[label="",style="solid", color="black", weight=3]; 12.85/8.05 260[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];260 -> 271[label="",style="solid", color="black", weight=3]; 12.85/8.05 261[label="toEnum4 False (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];261 -> 272[label="",style="solid", color="black", weight=3]; 12.85/8.05 262[label="toEnum yx7",fontsize=16,color="black",shape="triangle"];262 -> 273[label="",style="solid", color="black", weight=3]; 12.85/8.05 263[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))))",fontsize=16,color="black",shape="box"];263 -> 274[label="",style="solid", color="black", weight=3]; 12.85/8.05 264[label="map toEnum (takeWhile (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)) : iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))))",fontsize=16,color="black",shape="box"];264 -> 275[label="",style="solid", color="black", weight=3]; 12.85/8.05 265[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero))) (not (compare (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];265 -> 276[label="",style="solid", color="black", weight=3]; 12.85/8.05 266[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero)))) ((<=) Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero) Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="box"];266 -> 277[label="",style="solid", color="black", weight=3]; 12.85/8.05 267[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)) : iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))))",fontsize=16,color="black",shape="box"];267 -> 278[label="",style="solid", color="black", weight=3]; 12.85/8.05 268[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];268 -> 279[label="",style="solid", color="black", weight=3]; 12.85/8.05 269[label="toEnum4 (primEqInt (Pos (Succ (Succ Zero))) (Pos Zero)) (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];269 -> 280[label="",style="solid", color="black", weight=3]; 12.85/8.05 270[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))) (flip (>=) (Pos (Succ (Succ Zero))) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];270 -> 281[label="",style="solid", color="black", weight=3]; 12.85/8.05 271[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];271 -> 282[label="",style="solid", color="black", weight=3]; 12.85/8.05 272[label="toEnum3 (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];272 -> 283[label="",style="solid", color="black", weight=3]; 12.85/8.05 273[label="toEnum5 yx7",fontsize=16,color="black",shape="box"];273 -> 284[label="",style="solid", color="black", weight=3]; 12.85/8.05 274[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))))",fontsize=16,color="black",shape="box"];274 -> 285[label="",style="solid", color="black", weight=3]; 12.85/8.05 275[label="map toEnum (takeWhile2 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)) : iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))))",fontsize=16,color="black",shape="box"];275 -> 286[label="",style="solid", color="black", weight=3]; 12.85/8.05 276[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero) (iterate (Pos (Succ (Succ Zero)) - Pos Zero +) (Pos (Succ (Succ Zero)) - Pos Zero + (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero))) (not (primCmpInt (Pos (Succ (Succ Zero)) - Pos Zero + Pos Zero) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];276 -> 287[label="",style="solid", color="black", weight=3]; 12.85/8.05 277[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero)))) (compare (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero)) (Pos (Succ (Succ Zero))) /= GT))",fontsize=16,color="black",shape="box"];277 -> 288[label="",style="solid", color="black", weight=3]; 12.85/8.05 278[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))) (flip (<=) (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];278 -> 289[label="",style="solid", color="black", weight=3]; 12.85/8.05 279[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];279 -> 290[label="",style="solid", color="black", weight=3]; 12.85/8.05 280[label="toEnum4 False (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];280 -> 291[label="",style="solid", color="black", weight=3]; 12.85/8.05 281[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))) ((>=) Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)) Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="box"];281 -> 292[label="",style="solid", color="black", weight=3]; 12.85/8.05 282[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];282 -> 293[label="",style="solid", color="black", weight=3]; 12.85/8.05 283[label="toEnum2 (Pos (Succ Zero) == Pos (Succ Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];283 -> 294[label="",style="solid", color="black", weight=3]; 12.85/8.05 284[label="toEnum4 (yx7 == Pos Zero) yx7",fontsize=16,color="black",shape="box"];284 -> 295[label="",style="solid", color="black", weight=3]; 12.85/8.05 285[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) /= GT))",fontsize=16,color="black",shape="box"];285 -> 296[label="",style="solid", color="black", weight=3]; 12.85/8.05 286[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))) (flip (>=) (Pos (Succ (Succ Zero))) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)))))",fontsize=16,color="black",shape="box"];286 -> 297[label="",style="solid", color="black", weight=3]; 12.85/8.05 287[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero)) - Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos (Succ (Succ Zero)) - Pos Zero)) (primPlusInt (Pos (Succ (Succ Zero)) - Pos Zero) (primPlusInt (Pos (Succ (Succ Zero)) - Pos Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos (Succ (Succ Zero)) - Pos Zero) (Pos Zero)) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];287 -> 298[label="",style="solid", color="black", weight=3]; 12.85/8.05 288[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero)))) (not (compare (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero)) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];288 -> 299[label="",style="solid", color="black", weight=3]; 12.85/8.05 289[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))) ((<=) Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)) Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="box"];289 -> 300[label="",style="solid", color="black", weight=3]; 12.85/8.05 290[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];290 -> 301[label="",style="solid", color="black", weight=3]; 12.85/8.05 291[label="toEnum3 (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];291 -> 302[label="",style="solid", color="black", weight=3]; 12.85/8.05 292[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))) (compare (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) /= LT))",fontsize=16,color="black",shape="box"];292 -> 303[label="",style="solid", color="black", weight=3]; 12.85/8.05 293[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];293 -> 304[label="",style="solid", color="black", weight=3]; 12.85/8.05 294[label="toEnum2 (primEqInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];294 -> 305[label="",style="solid", color="black", weight=3]; 12.85/8.05 295[label="toEnum4 (primEqInt yx7 (Pos Zero)) yx7",fontsize=16,color="burlywood",shape="box"];566[label="yx7/Pos yx70",fontsize=10,color="white",style="solid",shape="box"];295 -> 566[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 566 -> 306[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 567[label="yx7/Neg yx70",fontsize=10,color="white",style="solid",shape="box"];295 -> 567[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 567 -> 307[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 296[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];296 -> 308[label="",style="solid", color="black", weight=3]; 12.85/8.05 297[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))) ((>=) Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero)) Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="box"];297 -> 309[label="",style="solid", color="black", weight=3]; 12.85/8.05 298[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (primMinusInt (Pos (Succ (Succ Zero))) (Pos Zero)) (Pos Zero)) (iterate (primPlusInt (primMinusInt (Pos (Succ (Succ Zero))) (Pos Zero))) (primPlusInt (primMinusInt (Pos (Succ (Succ Zero))) (Pos Zero)) (primPlusInt (primMinusInt (Pos (Succ (Succ Zero))) (Pos Zero)) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusInt (Pos (Succ (Succ Zero))) (Pos Zero)) (Pos Zero)) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];298 -> 310[label="",style="solid", color="black", weight=3]; 12.85/8.05 299[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ Zero) +) (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero)))) (not (primCmpInt (Pos (Succ (Succ Zero)) - Pos (Succ Zero) + Pos (Succ Zero)) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];299 -> 311[label="",style="solid", color="black", weight=3]; 12.85/8.05 300[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))) (compare (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) /= GT))",fontsize=16,color="black",shape="box"];300 -> 312[label="",style="solid", color="black", weight=3]; 12.85/8.05 301[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="triangle"];301 -> 313[label="",style="solid", color="black", weight=3]; 12.85/8.05 302[label="toEnum2 (Pos (Succ (Succ Zero)) == Pos (Succ Zero)) (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];302 -> 314[label="",style="solid", color="black", weight=3]; 12.85/8.05 303[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))) (not (compare (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];303 -> 315[label="",style="solid", color="black", weight=3]; 12.85/8.05 304[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];304 -> 316[label="",style="solid", color="black", weight=3]; 12.85/8.05 305[label="toEnum2 (primEqNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];305 -> 317[label="",style="solid", color="black", weight=3]; 12.85/8.05 306[label="toEnum4 (primEqInt (Pos yx70) (Pos Zero)) (Pos yx70)",fontsize=16,color="burlywood",shape="box"];568[label="yx70/Succ yx700",fontsize=10,color="white",style="solid",shape="box"];306 -> 568[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 568 -> 318[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 569[label="yx70/Zero",fontsize=10,color="white",style="solid",shape="box"];306 -> 569[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 569 -> 319[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 307[label="toEnum4 (primEqInt (Neg yx70) (Pos Zero)) (Neg yx70)",fontsize=16,color="burlywood",shape="box"];570[label="yx70/Succ yx700",fontsize=10,color="white",style="solid",shape="box"];307 -> 570[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 570 -> 320[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 571[label="yx70/Zero",fontsize=10,color="white",style="solid",shape="box"];307 -> 571[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 571 -> 321[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 308[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];308 -> 322[label="",style="solid", color="black", weight=3]; 12.85/8.05 309[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))) (compare (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) /= LT))",fontsize=16,color="black",shape="box"];309 -> 323[label="",style="solid", color="black", weight=3]; 12.85/8.05 310[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (primMinusNat (Succ (Succ Zero)) Zero) (Pos Zero)) (iterate (primPlusInt (primMinusNat (Succ (Succ Zero)) Zero)) (primPlusInt (primMinusNat (Succ (Succ Zero)) Zero) (primPlusInt (primMinusNat (Succ (Succ Zero)) Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusNat (Succ (Succ Zero)) Zero) (Pos Zero)) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];310 -> 324[label="",style="solid", color="black", weight=3]; 12.85/8.05 311[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero)) - Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ (Succ Zero)) - Pos (Succ Zero))) (primPlusInt (Pos (Succ (Succ Zero)) - Pos (Succ Zero)) (primPlusInt (Pos (Succ (Succ Zero)) - Pos (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (Pos (Succ (Succ Zero)) - Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];311 -> 325[label="",style="solid", color="black", weight=3]; 12.85/8.05 312[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))) (not (compare (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];312 -> 326[label="",style="solid", color="black", weight=3]; 12.85/8.05 313[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];313 -> 327[label="",style="solid", color="black", weight=3]; 12.85/8.05 314[label="toEnum2 (primEqInt (Pos (Succ (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];314 -> 328[label="",style="solid", color="black", weight=3]; 12.85/8.05 315[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (iterate (Pos Zero - Pos (Succ (Succ Zero)) +) (Pos Zero - Pos (Succ (Succ Zero)) + (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))) (not (primCmpInt (Pos Zero - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];315 -> 329[label="",style="solid", color="black", weight=3]; 12.85/8.05 316[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];316 -> 330[label="",style="solid", color="black", weight=3]; 12.85/8.05 317[label="toEnum2 True (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];317 -> 331[label="",style="solid", color="black", weight=3]; 12.85/8.05 318[label="toEnum4 (primEqInt (Pos (Succ yx700)) (Pos Zero)) (Pos (Succ yx700))",fontsize=16,color="black",shape="box"];318 -> 332[label="",style="solid", color="black", weight=3]; 12.85/8.05 319[label="toEnum4 (primEqInt (Pos Zero) (Pos Zero)) (Pos Zero)",fontsize=16,color="black",shape="box"];319 -> 333[label="",style="solid", color="black", weight=3]; 12.85/8.05 320[label="toEnum4 (primEqInt (Neg (Succ yx700)) (Pos Zero)) (Neg (Succ yx700))",fontsize=16,color="black",shape="box"];320 -> 334[label="",style="solid", color="black", weight=3]; 12.85/8.05 321[label="toEnum4 (primEqInt (Neg Zero) (Pos Zero)) (Neg Zero)",fontsize=16,color="black",shape="box"];321 -> 335[label="",style="solid", color="black", weight=3]; 12.85/8.05 322[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];322 -> 336[label="",style="solid", color="black", weight=3]; 12.85/8.05 323[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))) (not (compare (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];323 -> 337[label="",style="solid", color="black", weight=3]; 12.85/8.05 324[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos Zero)) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos (Succ (Succ Zero))) (Pos Zero)) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];324 -> 338[label="",style="solid", color="black", weight=3]; 12.85/8.05 325[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (primMinusInt (Pos (Succ (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusInt (Pos (Succ (Succ Zero))) (Pos (Succ Zero)))) (primPlusInt (primMinusInt (Pos (Succ (Succ Zero))) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos (Succ (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusInt (Pos (Succ (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];325 -> 339[label="",style="solid", color="black", weight=3]; 12.85/8.05 326[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (iterate (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) +) (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))) (not (primCmpInt (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];326 -> 340[label="",style="solid", color="black", weight=3]; 12.85/8.05 327[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (primCmpInt (Pos Zero) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];327 -> 341[label="",style="solid", color="black", weight=3]; 12.85/8.05 328[label="toEnum2 (primEqNat (Succ Zero) Zero) (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];328 -> 342[label="",style="solid", color="black", weight=3]; 12.85/8.05 329[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos Zero - Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos Zero - Pos (Succ (Succ Zero)))) (primPlusInt (Pos Zero - Pos (Succ (Succ Zero))) (primPlusInt (Pos Zero - Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (Pos Zero - Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];329 -> 343[label="",style="solid", color="black", weight=3]; 12.85/8.05 330[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];330 -> 344[label="",style="solid", color="black", weight=3]; 12.85/8.05 331[label="EQ",fontsize=16,color="green",shape="box"];332[label="toEnum4 False (Pos (Succ yx700))",fontsize=16,color="black",shape="box"];332 -> 345[label="",style="solid", color="black", weight=3]; 12.85/8.05 333 -> 221[label="",style="dashed", color="red", weight=0]; 12.85/8.05 333[label="toEnum4 True (Pos Zero)",fontsize=16,color="magenta"];334[label="toEnum4 False (Neg (Succ yx700))",fontsize=16,color="black",shape="box"];334 -> 346[label="",style="solid", color="black", weight=3]; 12.85/8.05 335[label="toEnum4 True (Neg Zero)",fontsize=16,color="black",shape="box"];335 -> 347[label="",style="solid", color="black", weight=3]; 12.85/8.05 336[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];336 -> 348[label="",style="solid", color="black", weight=3]; 12.85/8.05 337[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ (Succ Zero)) +) (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))))) (not (primCmpInt (Pos (Succ Zero) - Pos (Succ (Succ Zero)) + Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];337 -> 349[label="",style="solid", color="black", weight=3]; 12.85/8.05 338[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (primPlusNat (Succ (Succ Zero)) Zero)) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (primPlusNat (Succ (Succ Zero)) Zero)))) (not (primCmpInt (Pos (primPlusNat (Succ (Succ Zero)) Zero)) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];338 -> 350[label="",style="solid", color="black", weight=3]; 12.85/8.05 339[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (primMinusNat (Succ (Succ Zero)) (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusNat (Succ (Succ Zero)) (Succ Zero))) (primPlusInt (primMinusNat (Succ (Succ Zero)) (Succ Zero)) (primPlusInt (primMinusNat (Succ (Succ Zero)) (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusNat (Succ (Succ Zero)) (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];339 -> 351[label="",style="solid", color="black", weight=3]; 12.85/8.05 340[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero))) (primPlusInt (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (Pos (Succ (Succ Zero)) - Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];340 -> 352[label="",style="solid", color="black", weight=3]; 12.85/8.05 341[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (primCmpNat Zero (Succ (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];341 -> 353[label="",style="solid", color="black", weight=3]; 12.85/8.05 342[label="toEnum2 False (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];342 -> 354[label="",style="solid", color="black", weight=3]; 12.85/8.05 343[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ (Succ Zero))))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ (Succ Zero)))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];343 -> 355[label="",style="solid", color="black", weight=3]; 12.85/8.05 344[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];344 -> 356[label="",style="solid", color="black", weight=3]; 12.85/8.05 345[label="toEnum3 (Pos (Succ yx700))",fontsize=16,color="black",shape="box"];345 -> 357[label="",style="solid", color="black", weight=3]; 12.85/8.05 346[label="toEnum3 (Neg (Succ yx700))",fontsize=16,color="black",shape="box"];346 -> 358[label="",style="solid", color="black", weight=3]; 12.85/8.05 347[label="LT",fontsize=16,color="green",shape="box"];348[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];348 -> 359[label="",style="solid", color="black", weight=3]; 12.85/8.05 349[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ Zero) - Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero) - Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ Zero) - Pos (Succ (Succ Zero))) (primPlusInt (Pos (Succ Zero) - Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (Pos (Succ Zero) - Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];349 -> 360[label="",style="solid", color="black", weight=3]; 12.85/8.05 350[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))))) (not (primCmpInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];350 -> 361[label="",style="solid", color="black", weight=3]; 12.85/8.05 351[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusNat (Succ Zero) Zero)) (primPlusInt (primMinusNat (Succ Zero) Zero) (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos (Succ Zero))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];351 -> 362[label="",style="solid", color="black", weight=3]; 12.85/8.05 352[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (primMinusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (primMinusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))))) (primPlusInt (primMinusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (primPlusInt (primMinusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (primMinusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];352 -> 363[label="",style="solid", color="black", weight=3]; 12.85/8.05 353[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (LT == GT)))",fontsize=16,color="black",shape="box"];353 -> 364[label="",style="solid", color="black", weight=3]; 12.85/8.05 354[label="toEnum1 (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];354 -> 365[label="",style="solid", color="black", weight=3]; 12.85/8.05 355[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (primPlusInt (primMinusNat Zero (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (primMinusNat Zero (Succ (Succ Zero)))) (primPlusInt (primMinusNat Zero (Succ (Succ Zero))) (primPlusInt (primMinusNat Zero (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (primMinusNat Zero (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];355 -> 366[label="",style="solid", color="black", weight=3]; 12.85/8.05 356[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (primCmpNat (Succ Zero) (Succ (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];356 -> 367[label="",style="solid", color="black", weight=3]; 12.85/8.05 357[label="toEnum2 (Pos (Succ yx700) == Pos (Succ Zero)) (Pos (Succ yx700))",fontsize=16,color="black",shape="box"];357 -> 368[label="",style="solid", color="black", weight=3]; 12.85/8.05 358[label="toEnum2 (Neg (Succ yx700) == Pos (Succ Zero)) (Neg (Succ yx700))",fontsize=16,color="black",shape="box"];358 -> 369[label="",style="solid", color="black", weight=3]; 12.85/8.05 359[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];359 -> 370[label="",style="solid", color="black", weight=3]; 12.85/8.05 360[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];360 -> 371[label="",style="solid", color="black", weight=3]; 12.85/8.05 361[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))))) (not (primCmpNat (Succ (Succ Zero)) (Succ (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];361 -> 372[label="",style="solid", color="black", weight=3]; 12.85/8.05 362[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="triangle"];362 -> 373[label="",style="solid", color="black", weight=3]; 12.85/8.05 363[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (primMinusNat (Succ (Succ Zero)) (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (primMinusNat (Succ (Succ Zero)) (Succ (Succ Zero)))) (primPlusInt (primMinusNat (Succ (Succ Zero)) (Succ (Succ Zero))) (primPlusInt (primMinusNat (Succ (Succ Zero)) (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (primMinusNat (Succ (Succ Zero)) (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];363 -> 374[label="",style="solid", color="black", weight=3]; 12.85/8.05 364[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not False))",fontsize=16,color="black",shape="box"];364 -> 375[label="",style="solid", color="black", weight=3]; 12.85/8.05 365[label="toEnum0 (Pos (Succ (Succ Zero)) == Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];365 -> 376[label="",style="solid", color="black", weight=3]; 12.85/8.05 366[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (primPlusInt (Neg (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Neg (Succ (Succ Zero)))) (primPlusInt (Neg (Succ (Succ Zero))) (primPlusInt (Neg (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (Neg (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];366 -> 377[label="",style="solid", color="black", weight=3]; 12.85/8.05 367[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (primCmpNat Zero (Succ Zero) == GT)))",fontsize=16,color="black",shape="box"];367 -> 378[label="",style="solid", color="black", weight=3]; 12.85/8.05 368[label="toEnum2 (primEqInt (Pos (Succ yx700)) (Pos (Succ Zero))) (Pos (Succ yx700))",fontsize=16,color="black",shape="box"];368 -> 379[label="",style="solid", color="black", weight=3]; 12.85/8.05 369[label="toEnum2 (primEqInt (Neg (Succ yx700)) (Pos (Succ Zero))) (Neg (Succ yx700))",fontsize=16,color="black",shape="box"];369 -> 380[label="",style="solid", color="black", weight=3]; 12.85/8.05 370[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="triangle"];370 -> 381[label="",style="solid", color="black", weight=3]; 12.85/8.05 371[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (primPlusInt (primMinusNat (Succ Zero) (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (primMinusNat (Succ Zero) (Succ (Succ Zero)))) (primPlusInt (primMinusNat (Succ Zero) (Succ (Succ Zero))) (primPlusInt (primMinusNat (Succ Zero) (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (primMinusNat (Succ Zero) (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];371 -> 382[label="",style="solid", color="black", weight=3]; 12.85/8.05 372[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))))) (not (primCmpNat (Succ Zero) (Succ Zero) == GT)))",fontsize=16,color="black",shape="box"];372 -> 383[label="",style="solid", color="black", weight=3]; 12.85/8.05 373[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];373 -> 384[label="",style="solid", color="black", weight=3]; 12.85/8.05 374[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (primMinusNat (Succ Zero) (Succ Zero))) (primPlusInt (primMinusNat (Succ Zero) (Succ Zero)) (primPlusInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];374 -> 385[label="",style="solid", color="black", weight=3]; 12.85/8.05 375[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) True)",fontsize=16,color="black",shape="box"];375 -> 386[label="",style="solid", color="black", weight=3]; 12.85/8.05 376[label="toEnum0 (primEqInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];376 -> 387[label="",style="solid", color="black", weight=3]; 12.85/8.05 377[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (primMinusNat (Succ (Succ Zero)) (Succ (Succ Zero))) (iterate (primPlusInt (Neg (Succ (Succ Zero)))) (primPlusInt (Neg (Succ (Succ Zero))) (primMinusNat (Succ (Succ Zero)) (Succ (Succ Zero))))) (not (primCmpInt (primMinusNat (Succ (Succ Zero)) (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];377 -> 388[label="",style="solid", color="black", weight=3]; 12.85/8.05 378[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (LT == GT)))",fontsize=16,color="black",shape="box"];378 -> 389[label="",style="solid", color="black", weight=3]; 12.85/8.05 379[label="toEnum2 (primEqNat yx700 Zero) (Pos (Succ yx700))",fontsize=16,color="burlywood",shape="box"];572[label="yx700/Succ yx7000",fontsize=10,color="white",style="solid",shape="box"];379 -> 572[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 572 -> 390[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 573[label="yx700/Zero",fontsize=10,color="white",style="solid",shape="box"];379 -> 573[label="",style="solid", color="burlywood", weight=9]; 12.85/8.05 573 -> 391[label="",style="solid", color="burlywood", weight=3]; 12.85/8.05 380[label="toEnum2 False (Neg (Succ yx700))",fontsize=16,color="black",shape="box"];380 -> 392[label="",style="solid", color="black", weight=3]; 12.85/8.05 381[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];381 -> 393[label="",style="solid", color="black", weight=3]; 12.85/8.05 382[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (primMinusNat Zero (Succ Zero))) (primPlusInt (primMinusNat Zero (Succ Zero)) (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];382 -> 394[label="",style="solid", color="black", weight=3]; 12.85/8.05 383[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))))) (not (primCmpNat Zero Zero == GT)))",fontsize=16,color="black",shape="box"];383 -> 395[label="",style="solid", color="black", weight=3]; 12.85/8.05 384[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];384 -> 396[label="",style="solid", color="black", weight=3]; 12.85/8.05 385[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (primMinusNat Zero Zero) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (primMinusNat Zero Zero)) (primPlusInt (primMinusNat Zero Zero) (primPlusInt (primMinusNat Zero Zero) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (primMinusNat Zero Zero) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];385 -> 397[label="",style="solid", color="black", weight=3]; 12.85/8.05 386[label="map toEnum (Pos Zero : takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))))",fontsize=16,color="black",shape="box"];386 -> 398[label="",style="solid", color="black", weight=3]; 12.85/8.05 387[label="toEnum0 (primEqNat (Succ Zero) (Succ Zero)) (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];387 -> 399[label="",style="solid", color="black", weight=3]; 12.85/8.05 388[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (primMinusNat (Succ Zero) (Succ Zero)) (iterate (primPlusInt (Neg (Succ (Succ Zero)))) (primPlusInt (Neg (Succ (Succ Zero))) (primMinusNat (Succ Zero) (Succ Zero)))) (not (primCmpInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];388 -> 400[label="",style="solid", color="black", weight=3]; 12.85/8.05 389[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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"];389 -> 401[label="",style="solid", color="black", weight=3]; 12.85/8.05 390[label="toEnum2 (primEqNat (Succ yx7000) Zero) (Pos (Succ (Succ yx7000)))",fontsize=16,color="black",shape="box"];390 -> 402[label="",style="solid", color="black", weight=3]; 12.85/8.05 391[label="toEnum2 (primEqNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];391 -> 403[label="",style="solid", color="black", weight=3]; 12.85/8.05 392[label="toEnum1 (Neg (Succ yx700))",fontsize=16,color="black",shape="box"];392 -> 404[label="",style="solid", color="black", weight=3]; 12.85/8.05 393[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];393 -> 405[label="",style="solid", color="black", weight=3]; 12.85/8.05 394[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (primPlusInt (Neg (Succ Zero)) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (Neg (Succ Zero)) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];394 -> 406[label="",style="solid", color="black", weight=3]; 12.85/8.05 395[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))))) (not (EQ == GT)))",fontsize=16,color="black",shape="box"];395 -> 407[label="",style="solid", color="black", weight=3]; 12.85/8.05 396[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];396 -> 408[label="",style="solid", color="black", weight=3]; 12.85/8.05 397[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="triangle"];397 -> 409[label="",style="solid", color="black", weight=3]; 12.85/8.05 398[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))))",fontsize=16,color="green",shape="box"];398 -> 410[label="",style="dashed", color="green", weight=3]; 12.85/8.05 398 -> 411[label="",style="dashed", color="green", weight=3]; 12.85/8.05 399[label="toEnum0 (primEqNat Zero Zero) (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];399 -> 412[label="",style="solid", color="black", weight=3]; 12.85/8.05 400[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (primMinusNat Zero Zero) (iterate (primPlusInt (Neg (Succ (Succ Zero)))) (primPlusInt (Neg (Succ (Succ Zero))) (primMinusNat Zero Zero))) (not (primCmpInt (primMinusNat Zero Zero) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];400 -> 413[label="",style="solid", color="black", weight=3]; 12.85/8.05 401[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) True)",fontsize=16,color="black",shape="box"];401 -> 414[label="",style="solid", color="black", weight=3]; 12.85/8.05 402[label="toEnum2 False (Pos (Succ (Succ yx7000)))",fontsize=16,color="black",shape="box"];402 -> 415[label="",style="solid", color="black", weight=3]; 12.85/8.05 403 -> 317[label="",style="dashed", color="red", weight=0]; 12.85/8.05 403[label="toEnum2 True (Pos (Succ Zero))",fontsize=16,color="magenta"];404[label="toEnum0 (Neg (Succ yx700) == Pos (Succ (Succ Zero))) (Neg (Succ yx700))",fontsize=16,color="black",shape="box"];404 -> 416[label="",style="solid", color="black", weight=3]; 12.85/8.05 405[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not (primCmpNat (Succ Zero) (Succ (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];405 -> 417[label="",style="solid", color="black", weight=3]; 12.85/8.05 406[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (primMinusNat (Succ (Succ Zero)) (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primMinusNat (Succ (Succ Zero)) (Succ Zero)))) (not (primCmpInt (primMinusNat (Succ (Succ Zero)) (Succ Zero)) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];406 -> 418[label="",style="solid", color="black", weight=3]; 12.85/8.05 407[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))))) (not False))",fontsize=16,color="black",shape="box"];407 -> 419[label="",style="solid", color="black", weight=3]; 12.85/8.05 408[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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)) (Succ Zero) == GT)))",fontsize=16,color="black",shape="box"];408 -> 420[label="",style="solid", color="black", weight=3]; 12.85/8.05 409[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (primPlusNat Zero (Succ (Succ Zero)))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (primPlusNat Zero (Succ (Succ Zero)))))) (not (primCmpInt (Pos (primPlusNat Zero (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];409 -> 421[label="",style="solid", color="black", weight=3]; 12.85/8.05 410 -> 262[label="",style="dashed", color="red", weight=0]; 12.85/8.05 410[label="toEnum (Pos Zero)",fontsize=16,color="magenta"];410 -> 422[label="",style="dashed", color="magenta", weight=3]; 12.85/8.05 411[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))))",fontsize=16,color="black",shape="box"];411 -> 423[label="",style="solid", color="black", weight=3]; 12.85/8.05 412[label="toEnum0 True (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="triangle"];412 -> 424[label="",style="solid", color="black", weight=3]; 12.85/8.05 413[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (primPlusInt (Neg (Succ (Succ Zero)))) (primPlusInt (Neg (Succ (Succ Zero))) (Pos Zero))) (not (primCmpInt (Pos Zero) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];413 -> 425[label="",style="solid", color="black", weight=3]; 12.85/8.05 414[label="map toEnum (Pos (Succ Zero) : takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];414 -> 426[label="",style="solid", color="black", weight=3]; 12.85/8.05 415[label="toEnum1 (Pos (Succ (Succ yx7000)))",fontsize=16,color="black",shape="box"];415 -> 427[label="",style="solid", color="black", weight=3]; 12.85/8.05 416[label="toEnum0 (primEqInt (Neg (Succ yx700)) (Pos (Succ (Succ Zero)))) (Neg (Succ yx700))",fontsize=16,color="black",shape="box"];416 -> 428[label="",style="solid", color="black", weight=3]; 12.85/8.05 417[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not (primCmpNat Zero (Succ Zero) == GT)))",fontsize=16,color="black",shape="box"];417 -> 429[label="",style="solid", color="black", weight=3]; 12.85/8.05 418[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (primMinusNat (Succ Zero) Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primMinusNat (Succ Zero) Zero))) (not (primCmpInt (primMinusNat (Succ Zero) Zero) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];418 -> 430[label="",style="solid", color="black", weight=3]; 12.85/8.05 419[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))))) True)",fontsize=16,color="black",shape="box"];419 -> 431[label="",style="solid", color="black", weight=3]; 12.85/8.05 420[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (primPlusNat Zero Zero) Zero == GT)))",fontsize=16,color="black",shape="box"];420 -> 432[label="",style="solid", color="black", weight=3]; 12.85/8.05 421[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero))))) (not (primCmpInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];421 -> 433[label="",style="solid", color="black", weight=3]; 12.85/8.05 422[label="Pos Zero",fontsize=16,color="green",shape="box"];423[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (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"];423 -> 434[label="",style="solid", color="black", weight=3]; 12.85/8.05 424[label="GT",fontsize=16,color="green",shape="box"];425[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (primPlusInt (Neg (Succ (Succ Zero)))) (primPlusInt (Neg (Succ (Succ Zero))) (Pos Zero))) (not (primCmpNat Zero (Succ (Succ Zero)) == LT)))",fontsize=16,color="black",shape="box"];425 -> 435[label="",style="solid", color="black", weight=3]; 12.85/8.05 426[label="toEnum (Pos (Succ Zero)) : map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))))",fontsize=16,color="green",shape="box"];426 -> 436[label="",style="dashed", color="green", weight=3]; 12.85/8.05 426 -> 437[label="",style="dashed", color="green", weight=3]; 12.85/8.05 427[label="toEnum0 (Pos (Succ (Succ yx7000)) == Pos (Succ (Succ Zero))) (Pos (Succ (Succ yx7000)))",fontsize=16,color="black",shape="box"];427 -> 438[label="",style="solid", color="black", weight=3]; 12.85/8.05 428[label="toEnum0 False (Neg (Succ yx700))",fontsize=16,color="black",shape="box"];428 -> 439[label="",style="solid", color="black", weight=3]; 12.85/8.05 429[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not (LT == GT)))",fontsize=16,color="black",shape="box"];429 -> 440[label="",style="solid", color="black", weight=3]; 12.85/8.05 430[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero)))) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) == LT)))",fontsize=16,color="black",shape="box"];430 -> 441[label="",style="solid", color="black", weight=3]; 12.85/8.05 431[label="map toEnum (Pos (Succ (Succ Zero)) : takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))))))",fontsize=16,color="black",shape="box"];431 -> 442[label="",style="solid", color="black", weight=3]; 12.85/8.05 432[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))))) (not (primCmpNat Zero Zero == GT)))",fontsize=16,color="black",shape="box"];432 -> 443[label="",style="solid", color="black", weight=3]; 12.85/8.05 433[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero))))) (not (primCmpNat (Succ (Succ Zero)) (Succ (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];433 -> 444[label="",style="solid", color="black", weight=3]; 12.85/8.05 434[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ (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"];434 -> 445[label="",style="solid", color="black", weight=3]; 12.85/8.05 435[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (primPlusInt (Neg (Succ (Succ Zero)))) (primPlusInt (Neg (Succ (Succ Zero))) (Pos Zero))) (not (LT == LT)))",fontsize=16,color="black",shape="box"];435 -> 446[label="",style="solid", color="black", weight=3]; 12.85/8.05 436 -> 262[label="",style="dashed", color="red", weight=0]; 12.85/8.05 436[label="toEnum (Pos (Succ Zero))",fontsize=16,color="magenta"];436 -> 447[label="",style="dashed", color="magenta", weight=3]; 12.85/8.05 437[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];437 -> 448[label="",style="solid", color="black", weight=3]; 12.85/8.05 438[label="toEnum0 (primEqInt (Pos (Succ (Succ yx7000))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ yx7000)))",fontsize=16,color="black",shape="box"];438 -> 449[label="",style="solid", color="black", weight=3]; 12.85/8.05 439[label="error []",fontsize=16,color="red",shape="box"];440[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not False))",fontsize=16,color="black",shape="box"];440 -> 450[label="",style="solid", color="black", weight=3]; 12.85/8.05 441[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero)))) (not (primCmpNat (Succ Zero) (Succ (Succ Zero)) == LT)))",fontsize=16,color="black",shape="box"];441 -> 451[label="",style="solid", color="black", weight=3]; 12.85/8.05 442[label="toEnum (Pos (Succ (Succ Zero))) : map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))))))",fontsize=16,color="green",shape="box"];442 -> 452[label="",style="dashed", color="green", weight=3]; 12.85/8.05 442 -> 453[label="",style="dashed", color="green", weight=3]; 12.85/8.05 443[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))))) (not (EQ == GT)))",fontsize=16,color="black",shape="box"];443 -> 454[label="",style="solid", color="black", weight=3]; 12.85/8.05 444[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero))))) (not (primCmpNat (Succ Zero) (Succ Zero) == GT)))",fontsize=16,color="black",shape="box"];444 -> 455[label="",style="solid", color="black", weight=3]; 12.85/8.05 445[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (flip (<=) (Pos (Succ (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero))))",fontsize=16,color="black",shape="box"];445 -> 456[label="",style="solid", color="black", weight=3]; 12.85/8.05 446[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (primPlusInt (Neg (Succ (Succ Zero)))) (primPlusInt (Neg (Succ (Succ Zero))) (Pos Zero))) (not True))",fontsize=16,color="black",shape="box"];446 -> 457[label="",style="solid", color="black", weight=3]; 12.85/8.05 447[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];448[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (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"];448 -> 458[label="",style="solid", color="black", weight=3]; 12.85/8.05 449[label="toEnum0 (primEqNat (Succ yx7000) (Succ Zero)) (Pos (Succ (Succ yx7000)))",fontsize=16,color="black",shape="box"];449 -> 459[label="",style="solid", color="black", weight=3]; 12.85/8.05 450[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) True)",fontsize=16,color="black",shape="box"];450 -> 460[label="",style="solid", color="black", weight=3]; 12.85/8.05 451[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero)))) (not (primCmpNat Zero (Succ Zero) == LT)))",fontsize=16,color="black",shape="box"];451 -> 461[label="",style="solid", color="black", weight=3]; 12.85/8.05 452 -> 262[label="",style="dashed", color="red", weight=0]; 12.85/8.05 452[label="toEnum (Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];452 -> 462[label="",style="dashed", color="magenta", weight=3]; 12.85/8.05 453[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))))))",fontsize=16,color="black",shape="box"];453 -> 463[label="",style="solid", color="black", weight=3]; 12.85/8.06 454[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))))) (not False))",fontsize=16,color="black",shape="box"];454 -> 464[label="",style="solid", color="black", weight=3]; 12.85/8.06 455[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero))))) (not (primCmpNat Zero Zero == GT)))",fontsize=16,color="black",shape="box"];455 -> 465[label="",style="solid", color="black", weight=3]; 12.85/8.06 456[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))))",fontsize=16,color="black",shape="box"];456 -> 466[label="",style="solid", color="black", weight=3]; 12.85/8.06 457[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (primPlusInt (Neg (Succ (Succ Zero)))) (primPlusInt (Neg (Succ (Succ Zero))) (Pos Zero))) False)",fontsize=16,color="black",shape="box"];457 -> 467[label="",style="solid", color="black", weight=3]; 12.85/8.06 458[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ (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"];458 -> 468[label="",style="solid", color="black", weight=3]; 12.85/8.06 459[label="toEnum0 (primEqNat yx7000 Zero) (Pos (Succ (Succ yx7000)))",fontsize=16,color="burlywood",shape="box"];574[label="yx7000/Succ yx70000",fontsize=10,color="white",style="solid",shape="box"];459 -> 574[label="",style="solid", color="burlywood", weight=9]; 12.85/8.06 574 -> 469[label="",style="solid", color="burlywood", weight=3]; 12.85/8.06 575[label="yx7000/Zero",fontsize=10,color="white",style="solid",shape="box"];459 -> 575[label="",style="solid", color="burlywood", weight=9]; 12.85/8.06 575 -> 470[label="",style="solid", color="burlywood", weight=3]; 12.85/8.06 460[label="map yx6 (Pos (Succ Zero) : takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];460 -> 471[label="",style="solid", color="black", weight=3]; 12.85/8.06 461[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero)))) (not (LT == LT)))",fontsize=16,color="black",shape="box"];461 -> 472[label="",style="solid", color="black", weight=3]; 12.85/8.06 462[label="Pos (Succ (Succ Zero))",fontsize=16,color="green",shape="box"];463[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) : iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))))))",fontsize=16,color="black",shape="box"];463 -> 473[label="",style="solid", color="black", weight=3]; 12.85/8.06 464[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))))) True)",fontsize=16,color="black",shape="box"];464 -> 474[label="",style="solid", color="black", weight=3]; 12.85/8.06 465[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero))))) (not (EQ == GT)))",fontsize=16,color="black",shape="box"];465 -> 475[label="",style="solid", color="black", weight=3]; 12.85/8.06 466[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) /= GT))",fontsize=16,color="black",shape="box"];466 -> 476[label="",style="solid", color="black", weight=3]; 12.85/8.06 467[label="map toEnum (takeWhile0 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (primPlusInt (Neg (Succ (Succ Zero)))) (primPlusInt (Neg (Succ (Succ Zero))) (Pos Zero))) otherwise)",fontsize=16,color="black",shape="box"];467 -> 477[label="",style="solid", color="black", weight=3]; 12.85/8.06 468[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];468 -> 478[label="",style="solid", color="black", weight=3]; 12.85/8.06 469[label="toEnum0 (primEqNat (Succ yx70000) Zero) (Pos (Succ (Succ (Succ yx70000))))",fontsize=16,color="black",shape="box"];469 -> 479[label="",style="solid", color="black", weight=3]; 12.85/8.06 470[label="toEnum0 (primEqNat Zero Zero) (Pos (Succ (Succ Zero)))",fontsize=16,color="black",shape="box"];470 -> 480[label="",style="solid", color="black", weight=3]; 12.85/8.06 471[label="yx6 (Pos (Succ Zero)) : map yx6 (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))))",fontsize=16,color="green",shape="box"];471 -> 481[label="",style="dashed", color="green", weight=3]; 12.85/8.06 471 -> 482[label="",style="dashed", color="green", weight=3]; 12.85/8.06 472[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero)))) (not True))",fontsize=16,color="black",shape="box"];472 -> 483[label="",style="solid", color="black", weight=3]; 12.85/8.06 473[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) : iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))))))",fontsize=16,color="black",shape="box"];473 -> 484[label="",style="solid", color="black", weight=3]; 12.85/8.06 474[label="map toEnum (Pos (Succ (Succ Zero)) : takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))))))",fontsize=16,color="black",shape="box"];474 -> 485[label="",style="solid", color="black", weight=3]; 12.85/8.06 475[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero))))) (not False))",fontsize=16,color="black",shape="box"];475 -> 486[label="",style="solid", color="black", weight=3]; 12.85/8.06 476[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];476 -> 487[label="",style="solid", color="black", weight=3]; 12.85/8.06 477[label="map toEnum (takeWhile0 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos Zero) (iterate (primPlusInt (Neg (Succ (Succ Zero)))) (primPlusInt (Neg (Succ (Succ Zero))) (Pos Zero))) True)",fontsize=16,color="black",shape="box"];477 -> 488[label="",style="solid", color="black", weight=3]; 12.85/8.06 478[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))))",fontsize=16,color="black",shape="box"];478 -> 489[label="",style="solid", color="black", weight=3]; 12.85/8.06 479[label="toEnum0 False (Pos (Succ (Succ (Succ yx70000))))",fontsize=16,color="black",shape="box"];479 -> 490[label="",style="solid", color="black", weight=3]; 12.85/8.06 480 -> 412[label="",style="dashed", color="red", weight=0]; 12.85/8.06 480[label="toEnum0 True (Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];481[label="yx6 (Pos (Succ Zero))",fontsize=16,color="green",shape="box"];481 -> 491[label="",style="dashed", color="green", weight=3]; 12.85/8.06 482[label="map yx6 (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];482 -> 492[label="",style="solid", color="black", weight=3]; 12.85/8.06 483[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero)))) False)",fontsize=16,color="black",shape="box"];483 -> 493[label="",style="solid", color="black", weight=3]; 12.85/8.06 484[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))))) (flip (<=) (Pos (Succ (Succ Zero))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))))))",fontsize=16,color="black",shape="box"];484 -> 494[label="",style="solid", color="black", weight=3]; 12.85/8.06 485[label="toEnum (Pos (Succ (Succ Zero))) : map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))))))",fontsize=16,color="green",shape="box"];485 -> 495[label="",style="dashed", color="green", weight=3]; 12.85/8.06 485 -> 496[label="",style="dashed", color="green", weight=3]; 12.85/8.06 486[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero))))) True)",fontsize=16,color="black",shape="box"];486 -> 497[label="",style="solid", color="black", weight=3]; 12.85/8.06 487 -> 301[label="",style="dashed", color="red", weight=0]; 12.85/8.06 487[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="magenta"];488 -> 223[label="",style="dashed", color="red", weight=0]; 12.85/8.06 488[label="map toEnum []",fontsize=16,color="magenta"];489[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) /= GT))",fontsize=16,color="black",shape="box"];489 -> 498[label="",style="solid", color="black", weight=3]; 12.85/8.06 490[label="error []",fontsize=16,color="red",shape="box"];491[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];492[label="map yx6 (takeWhile (flip (<=) (Pos (Succ (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"];492 -> 499[label="",style="solid", color="black", weight=3]; 12.85/8.06 493[label="map toEnum (takeWhile0 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero)))) otherwise)",fontsize=16,color="black",shape="box"];493 -> 500[label="",style="solid", color="black", weight=3]; 12.85/8.06 494[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))))) ((<=) primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero))) Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="box"];494 -> 501[label="",style="solid", color="black", weight=3]; 12.85/8.06 495 -> 262[label="",style="dashed", color="red", weight=0]; 12.85/8.06 495[label="toEnum (Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];495 -> 502[label="",style="dashed", color="magenta", weight=3]; 12.85/8.06 496[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))))))",fontsize=16,color="black",shape="box"];496 -> 503[label="",style="solid", color="black", weight=3]; 12.85/8.06 497[label="map toEnum (Pos (Succ (Succ Zero)) : takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero))))))",fontsize=16,color="black",shape="box"];497 -> 504[label="",style="solid", color="black", weight=3]; 12.85/8.06 498[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];498 -> 505[label="",style="solid", color="black", weight=3]; 12.85/8.06 499[label="map yx6 (takeWhile2 (flip (<=) (Pos (Succ (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"];499 -> 506[label="",style="solid", color="black", weight=3]; 12.85/8.06 500[label="map toEnum (takeWhile0 (flip (>=) (Pos (Succ (Succ Zero)))) (Pos (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero)))) True)",fontsize=16,color="black",shape="box"];500 -> 507[label="",style="solid", color="black", weight=3]; 12.85/8.06 501[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))))) (compare (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) /= GT))",fontsize=16,color="black",shape="box"];501 -> 508[label="",style="solid", color="black", weight=3]; 12.85/8.06 502[label="Pos (Succ (Succ Zero))",fontsize=16,color="green",shape="box"];503[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) : iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))))",fontsize=16,color="black",shape="box"];503 -> 509[label="",style="solid", color="black", weight=3]; 12.85/8.06 504[label="toEnum (Pos (Succ (Succ Zero))) : map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero))))))",fontsize=16,color="green",shape="box"];504 -> 510[label="",style="dashed", color="green", weight=3]; 12.85/8.06 504 -> 511[label="",style="dashed", color="green", weight=3]; 12.85/8.06 505 -> 362[label="",style="dashed", color="red", weight=0]; 12.85/8.06 505[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="magenta"];506[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) (flip (<=) (Pos (Succ (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];506 -> 512[label="",style="solid", color="black", weight=3]; 12.85/8.06 507 -> 223[label="",style="dashed", color="red", weight=0]; 12.85/8.06 507[label="map toEnum []",fontsize=16,color="magenta"];508[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))))) (not (compare (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];508 -> 513[label="",style="solid", color="black", weight=3]; 12.85/8.06 509[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) : iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))))",fontsize=16,color="black",shape="box"];509 -> 514[label="",style="solid", color="black", weight=3]; 12.85/8.06 510 -> 262[label="",style="dashed", color="red", weight=0]; 12.85/8.06 510[label="toEnum (Pos (Succ (Succ Zero)))",fontsize=16,color="magenta"];510 -> 515[label="",style="dashed", color="magenta", weight=3]; 12.85/8.06 511[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero))))))",fontsize=16,color="black",shape="box"];511 -> 516[label="",style="solid", color="black", weight=3]; 12.85/8.06 512[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))))",fontsize=16,color="black",shape="box"];512 -> 517[label="",style="solid", color="black", weight=3]; 12.85/8.06 513[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];513 -> 518[label="",style="solid", color="black", weight=3]; 12.85/8.06 514[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) (flip (<=) (Pos (Succ (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))))))",fontsize=16,color="black",shape="box"];514 -> 519[label="",style="solid", color="black", weight=3]; 12.85/8.06 515[label="Pos (Succ (Succ Zero))",fontsize=16,color="green",shape="box"];516[label="map toEnum (takeWhile (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero))) : iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))))))",fontsize=16,color="black",shape="box"];516 -> 520[label="",style="solid", color="black", weight=3]; 12.85/8.06 517[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) /= GT))",fontsize=16,color="black",shape="box"];517 -> 521[label="",style="solid", color="black", weight=3]; 12.85/8.06 518[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (primPlusNat (Succ (Succ Zero)) (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (primPlusNat (Succ (Succ Zero)) (Succ (Succ Zero)))))) (not (primCmpInt (Pos (primPlusNat (Succ (Succ Zero)) (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];518 -> 522[label="",style="solid", color="black", weight=3]; 12.85/8.06 519[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) ((<=) primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero))) Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="box"];519 -> 523[label="",style="solid", color="black", weight=3]; 12.85/8.06 520[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero))) : iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))))))",fontsize=16,color="black",shape="box"];520 -> 524[label="",style="solid", color="black", weight=3]; 12.85/8.06 521[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];521 -> 525[label="",style="solid", color="black", weight=3]; 12.85/8.06 522[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (primPlusNat (Succ Zero) (Succ Zero))))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ (primPlusNat (Succ Zero) (Succ Zero))))))) (not (primCmpInt (Pos (Succ (Succ (primPlusNat (Succ Zero) (Succ Zero))))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];522 -> 526[label="",style="solid", color="black", weight=3]; 12.85/8.06 523[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) (compare (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) /= GT))",fontsize=16,color="black",shape="box"];523 -> 527[label="",style="solid", color="black", weight=3]; 12.85/8.06 524[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))))) (flip (<=) (Pos (Succ (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero))))))",fontsize=16,color="black",shape="box"];524 -> 528[label="",style="solid", color="black", weight=3]; 12.85/8.06 525 -> 370[label="",style="dashed", color="red", weight=0]; 12.85/8.06 525[label="map yx6 (takeWhile1 (flip (<=) (Pos (Succ (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 (Succ Zero))) == GT)))",fontsize=16,color="magenta"];526[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (primPlusNat (Succ Zero) (Succ Zero))))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ (primPlusNat (Succ Zero) (Succ Zero))))))) (not (primCmpNat (Succ (Succ (primPlusNat (Succ Zero) (Succ Zero)))) (Succ (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];526 -> 529[label="",style="solid", color="black", weight=3]; 12.85/8.06 527[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) (not (compare (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];527 -> 530[label="",style="solid", color="black", weight=3]; 12.85/8.06 528[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))))) ((<=) primPlusInt (Pos Zero) (Pos (Succ (Succ Zero))) Pos (Succ (Succ Zero))))",fontsize=16,color="black",shape="box"];528 -> 531[label="",style="solid", color="black", weight=3]; 12.85/8.06 529[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (primPlusNat (Succ Zero) (Succ Zero))))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ (primPlusNat (Succ Zero) (Succ Zero))))))) (not (primCmpNat (Succ (primPlusNat (Succ Zero) (Succ Zero))) (Succ Zero) == GT)))",fontsize=16,color="black",shape="box"];529 -> 532[label="",style="solid", color="black", weight=3]; 12.85/8.06 530[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];530 -> 533[label="",style="solid", color="black", weight=3]; 12.85/8.06 531[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))))) (compare (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) /= GT))",fontsize=16,color="black",shape="box"];531 -> 534[label="",style="solid", color="black", weight=3]; 12.85/8.06 532[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (primPlusNat (Succ Zero) (Succ Zero))))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ (primPlusNat (Succ Zero) (Succ Zero))))))) (not (primCmpNat (primPlusNat (Succ Zero) (Succ Zero)) Zero == GT)))",fontsize=16,color="black",shape="box"];532 -> 535[label="",style="solid", color="black", weight=3]; 12.85/8.06 533[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (primPlusNat (Succ Zero) (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (primPlusNat (Succ Zero) (Succ (Succ Zero)))))) (not (primCmpInt (Pos (primPlusNat (Succ Zero) (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];533 -> 536[label="",style="solid", color="black", weight=3]; 12.85/8.06 534[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))))) (not (compare (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];534 -> 537[label="",style="solid", color="black", weight=3]; 12.85/8.06 535[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (Succ (Succ (primPlusNat Zero Zero)))))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ (Succ (Succ (primPlusNat Zero Zero)))))))) (not (primCmpNat (Succ (Succ (primPlusNat Zero Zero))) Zero == GT)))",fontsize=16,color="black",shape="box"];535 -> 538[label="",style="solid", color="black", weight=3]; 12.85/8.06 536[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (primPlusNat Zero (Succ Zero))))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero (Succ Zero))))))) (not (primCmpInt (Pos (Succ (Succ (primPlusNat Zero (Succ Zero))))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="black",shape="box"];536 -> 539[label="",style="solid", color="black", weight=3]; 12.85/8.06 537 -> 397[label="",style="dashed", color="red", weight=0]; 12.85/8.06 537[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))))) (not (primCmpInt (primPlusInt (Pos Zero) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ Zero))) == GT)))",fontsize=16,color="magenta"];538[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (Succ (Succ (primPlusNat Zero Zero)))))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ (Succ (Succ (primPlusNat Zero Zero)))))))) (not (GT == GT)))",fontsize=16,color="black",shape="box"];538 -> 540[label="",style="solid", color="black", weight=3]; 12.85/8.06 539[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (primPlusNat Zero (Succ Zero))))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero (Succ Zero))))))) (not (primCmpNat (Succ (Succ (primPlusNat Zero (Succ Zero)))) (Succ (Succ Zero)) == GT)))",fontsize=16,color="black",shape="box"];539 -> 541[label="",style="solid", color="black", weight=3]; 12.85/8.06 540[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (Succ (Succ (primPlusNat Zero Zero)))))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ (Succ (Succ (primPlusNat Zero Zero)))))))) (not True))",fontsize=16,color="black",shape="box"];540 -> 542[label="",style="solid", color="black", weight=3]; 12.85/8.06 541[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (primPlusNat Zero (Succ Zero))))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero (Succ Zero))))))) (not (primCmpNat (Succ (primPlusNat Zero (Succ Zero))) (Succ Zero) == GT)))",fontsize=16,color="black",shape="box"];541 -> 543[label="",style="solid", color="black", weight=3]; 12.85/8.06 542[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (Succ (Succ (primPlusNat Zero Zero)))))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ (Succ (Succ (primPlusNat Zero Zero)))))))) False)",fontsize=16,color="black",shape="box"];542 -> 544[label="",style="solid", color="black", weight=3]; 12.85/8.06 543[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (primPlusNat Zero (Succ Zero))))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero (Succ Zero))))))) (not (primCmpNat (primPlusNat Zero (Succ Zero)) Zero == GT)))",fontsize=16,color="black",shape="box"];543 -> 545[label="",style="solid", color="black", weight=3]; 12.85/8.06 544[label="map toEnum (takeWhile0 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (Succ (Succ (primPlusNat Zero Zero)))))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ (Succ (Succ (primPlusNat Zero Zero)))))))) otherwise)",fontsize=16,color="black",shape="box"];544 -> 546[label="",style="solid", color="black", weight=3]; 12.85/8.06 545[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (Succ Zero)))))) (not (primCmpNat (Succ Zero) Zero == GT)))",fontsize=16,color="black",shape="box"];545 -> 547[label="",style="solid", color="black", weight=3]; 12.85/8.06 546[label="map toEnum (takeWhile0 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (Succ (Succ (primPlusNat Zero Zero)))))) (iterate (primPlusInt (Pos (Succ (Succ Zero)))) (primPlusInt (Pos (Succ (Succ Zero))) (Pos (Succ (Succ (Succ (Succ (primPlusNat Zero Zero)))))))) True)",fontsize=16,color="black",shape="box"];546 -> 548[label="",style="solid", color="black", weight=3]; 12.85/8.06 547[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (Succ Zero)))))) (not (GT == GT)))",fontsize=16,color="black",shape="box"];547 -> 549[label="",style="solid", color="black", weight=3]; 12.85/8.06 548 -> 223[label="",style="dashed", color="red", weight=0]; 12.85/8.06 548[label="map toEnum []",fontsize=16,color="magenta"];549[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (Succ Zero)))))) (not True))",fontsize=16,color="black",shape="box"];549 -> 550[label="",style="solid", color="black", weight=3]; 12.85/8.06 550[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (Succ Zero)))))) False)",fontsize=16,color="black",shape="box"];550 -> 551[label="",style="solid", color="black", weight=3]; 12.85/8.06 551[label="map toEnum (takeWhile0 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (Succ Zero)))))) otherwise)",fontsize=16,color="black",shape="box"];551 -> 552[label="",style="solid", color="black", weight=3]; 12.85/8.06 552[label="map toEnum (takeWhile0 (flip (<=) (Pos (Succ (Succ Zero)))) (Pos (Succ (Succ (Succ Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (Succ Zero)))))) True)",fontsize=16,color="black",shape="box"];552 -> 553[label="",style="solid", color="black", weight=3]; 12.85/8.06 553 -> 223[label="",style="dashed", color="red", weight=0]; 12.85/8.06 553[label="map toEnum []",fontsize=16,color="magenta"];} 12.85/8.06 12.85/8.06 ---------------------------------------- 12.85/8.06 12.85/8.06 (10) 12.85/8.06 Complex Obligation (AND) 12.85/8.06 12.85/8.06 ---------------------------------------- 12.85/8.06 12.85/8.06 (11) 12.85/8.06 Obligation: 12.85/8.06 Q DP problem: 12.85/8.06 P is empty. 12.85/8.06 R is empty. 12.85/8.06 Q is empty. 12.85/8.06 We have to consider all (P,Q,R)-chains. 12.85/8.06 ---------------------------------------- 12.85/8.06 12.85/8.06 (12) PisEmptyProof (EQUIVALENT) 12.85/8.06 The TRS P is empty. Hence, there is no (P,Q,R) chain. 12.85/8.06 ---------------------------------------- 12.85/8.06 12.85/8.06 (13) 12.85/8.06 YES 12.85/8.06 12.85/8.06 ---------------------------------------- 12.85/8.06 12.85/8.06 (14) 12.85/8.06 Obligation: 12.85/8.06 Q DP problem: 12.85/8.06 The TRS P consists of the following rules: 12.85/8.06 12.85/8.06 new_map1([]) -> new_map1([]) 12.85/8.06 12.85/8.06 R is empty. 12.85/8.06 Q is empty. 12.85/8.06 We have to consider all (P,Q,R)-chains. 12.85/8.06 ---------------------------------------- 12.85/8.06 12.85/8.06 (15) NonTerminationLoopProof (COMPLETE) 12.85/8.06 We used the non-termination processor [FROCOS05] to show that the DP problem is infinite. 12.85/8.06 Found a loop by semiunifying a rule from P directly. 12.85/8.06 12.85/8.06 s = new_map1([]) evaluates to t =new_map1([]) 12.85/8.06 12.85/8.06 Thus s starts an infinite chain as s semiunifies with t with the following substitutions: 12.85/8.06 * Matcher: [ ] 12.85/8.06 * Semiunifier: [ ] 12.85/8.06 12.85/8.06 -------------------------------------------------------------------------------- 12.85/8.06 Rewriting sequence 12.85/8.06 12.85/8.06 The DP semiunifies directly so there is only one rewrite step from new_map1([]) to new_map1([]). 12.85/8.06 12.85/8.06 12.85/8.06 12.85/8.06 12.85/8.06 ---------------------------------------- 12.85/8.06 12.85/8.06 (16) 12.85/8.06 NO 12.85/8.06 12.85/8.06 ---------------------------------------- 12.85/8.06 12.85/8.06 (17) 12.85/8.06 Obligation: 12.85/8.06 Q DP problem: 12.85/8.06 The TRS P consists of the following rules: 12.85/8.06 12.85/8.06 new_map0([]) -> new_map0([]) 12.85/8.06 12.85/8.06 R is empty. 12.85/8.06 Q is empty. 12.85/8.06 We have to consider all (P,Q,R)-chains. 13.20/8.11 EOF