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