10.85/4.54	YES
13.07/5.16	proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
13.07/5.16	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
13.07/5.16	
13.07/5.16	
13.07/5.16	H-Termination with start terms of the given HASKELL could be proven:
13.07/5.16	
13.07/5.16	(0) HASKELL
13.07/5.16	(1) BR [EQUIVALENT, 0 ms]
13.07/5.16	(2) HASKELL
13.07/5.16	(3) COR [EQUIVALENT, 0 ms]
13.07/5.16	(4) HASKELL
13.07/5.16	(5) LetRed [EQUIVALENT, 0 ms]
13.07/5.16	(6) HASKELL
13.07/5.16	(7) NumRed [SOUND, 0 ms]
13.07/5.16	(8) HASKELL
13.07/5.16	(9) Narrow [SOUND, 0 ms]
13.07/5.16	(10) AND
13.07/5.16	    (11) QDP
13.07/5.16	        (12) QDPSizeChangeProof [EQUIVALENT, 0 ms]
13.07/5.16	        (13) YES
13.07/5.16	    (14) QDP
13.07/5.16	        (15) QDPSizeChangeProof [EQUIVALENT, 0 ms]
13.07/5.16	        (16) YES
13.07/5.16	    (17) QDP
13.07/5.16	        (18) QDPSizeChangeProof [EQUIVALENT, 0 ms]
13.07/5.16	        (19) YES
13.07/5.16	    (20) QDP
13.07/5.16	        (21) QDPSizeChangeProof [EQUIVALENT, 0 ms]
13.07/5.16	        (22) YES
13.07/5.16	    (23) QDP
13.07/5.16	        (24) QDPSizeChangeProof [EQUIVALENT, 0 ms]
13.07/5.16	        (25) YES
13.07/5.16	
13.07/5.16	
13.07/5.16	----------------------------------------
13.07/5.16	
13.07/5.16	(0)
13.07/5.16	Obligation:
13.07/5.16	mainModule Main 
13.07/5.16	module Main where {
13.07/5.16	import qualified Prelude;
13.07/5.16	}
13.07/5.16	
13.07/5.16	----------------------------------------
13.07/5.16	
13.07/5.16	(1) BR (EQUIVALENT)
13.07/5.16	Replaced joker patterns by fresh variables and removed binding patterns.
13.07/5.16	
13.07/5.16	Binding Reductions:
13.07/5.16	The bind variable of the following binding Pattern
13.07/5.16	"r@(vv,vw)"
13.07/5.16	is replaced by the following term
13.07/5.16	"(vv,vw)"
13.07/5.16	The bind variable of the following binding Pattern
13.07/5.16	"b@(vy,vz)"
13.07/5.16	is replaced by the following term
13.07/5.16	"(vy,vz)"
13.07/5.16	
13.07/5.16	----------------------------------------
13.07/5.16	
13.07/5.16	(2)
13.07/5.16	Obligation:
13.07/5.16	mainModule Main 
13.07/5.16	module Main where {
13.07/5.16	import qualified Prelude;
13.07/5.16	}
13.07/5.16	
13.07/5.16	----------------------------------------
13.07/5.16	
13.07/5.16	(3) COR (EQUIVALENT)
13.07/5.16	Cond Reductions:
13.07/5.16	The following Function with conditions
13.07/5.16	"rangeSize (vv,vw)|null (range (vv,vw))0|otherwiseindex (vv,vw) vw + 1;
13.07/5.16	"
13.07/5.16	is transformed to
13.07/5.16	"rangeSize (vv,vw) = rangeSize2 (vv,vw);
13.07/5.16	"
13.07/5.16	"rangeSize0 vv vw True = index (vv,vw) vw + 1;
13.07/5.16	"
13.07/5.16	"rangeSize1 vv vw True = 0;
13.07/5.16	rangeSize1 vv vw False = rangeSize0 vv vw otherwise;
13.07/5.16	"
13.07/5.16	"rangeSize2 (vv,vw) = rangeSize1 vv vw (null (range (vv,vw)));
13.07/5.16	"
13.07/5.16	The following Function with conditions
13.07/5.16	"index (vy,vz) ci|inRange (vy,vz) cifromEnum ci - fromEnum vy|otherwiseerror [];
13.07/5.16	"
13.07/5.16	is transformed to
13.07/5.16	"index (vy,vz) ci = index2 (vy,vz) ci;
13.07/5.16	"
13.07/5.16	"index1 vy vz ci True = fromEnum ci - fromEnum vy;
13.07/5.16	index1 vy vz ci False = index0 vy vz ci otherwise;
13.07/5.16	"
13.07/5.16	"index0 vy vz ci True = error [];
13.07/5.16	"
13.07/5.16	"index2 (vy,vz) ci = index1 vy vz ci (inRange (vy,vz) ci);
13.07/5.16	"
13.07/5.16	The following Function with conditions
13.07/5.16	"takeWhile p [] = [];
13.07/5.16	takeWhile p (x : xs)|p xx : takeWhile p xs|otherwise[];
13.07/5.16	"
13.07/5.16	is transformed to
13.07/5.16	"takeWhile p [] = takeWhile3 p [];
13.07/5.16	takeWhile p (x : xs) = takeWhile2 p (x : xs);
13.07/5.16	"
13.07/5.16	"takeWhile0 p x xs True = [];
13.07/5.16	"
13.07/5.16	"takeWhile1 p x xs True = x : takeWhile p xs;
13.07/5.16	takeWhile1 p x xs False = takeWhile0 p x xs otherwise;
13.07/5.16	"
13.07/5.16	"takeWhile2 p (x : xs) = takeWhile1 p x xs (p x);
13.07/5.16	"
13.07/5.16	"takeWhile3 p [] = [];
13.07/5.16	takeWhile3 xv xw = takeWhile2 xv xw;
13.07/5.16	"
13.07/5.16	The following Function with conditions
13.07/5.16	"undefined |Falseundefined;
13.07/5.16	"
13.07/5.16	is transformed to
13.07/5.16	"undefined  = undefined1;
13.07/5.16	"
13.07/5.16	"undefined0 True = undefined;
13.07/5.16	"
13.07/5.16	"undefined1  = undefined0 False;
13.07/5.16	"
13.07/5.16	
13.07/5.16	----------------------------------------
13.07/5.16	
13.07/5.16	(4)
13.07/5.16	Obligation:
13.07/5.16	mainModule Main 
13.07/5.16	module Main where {
13.07/5.16	import qualified Prelude;
13.07/5.16	}
13.07/5.16	
13.07/5.16	----------------------------------------
13.07/5.17	
13.07/5.17	(5) LetRed (EQUIVALENT)
13.07/5.17	Let/Where Reductions:
13.07/5.17	The bindings of the following Let/Where expression
13.07/5.17	"fromEnum c <= i && i <= fromEnum c' where {
13.07/5.17	i  = fromEnum ci;
13.07/5.17	} 
13.07/5.17	"
13.07/5.17	are unpacked to the following functions on top level
13.07/5.17	"inRangeI xx = fromEnum xx;
13.07/5.17	"
13.07/5.17	
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(6)
13.07/5.17	Obligation:
13.07/5.17	mainModule Main 
13.07/5.17	module Main where {
13.07/5.17	import qualified Prelude;
13.07/5.17	}
13.07/5.17	
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(7) NumRed (SOUND)
13.07/5.17	Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero.
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(8)
13.07/5.17	Obligation:
13.07/5.17	mainModule Main 
13.07/5.17	module Main where {
13.07/5.17	import qualified Prelude;
13.07/5.17	}
13.07/5.17	
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(9) Narrow (SOUND)
13.07/5.17	Haskell To QDPs
13.07/5.17	
13.07/5.17	digraph dp_graph {
13.07/5.17	node [outthreshold=100, inthreshold=100];1[label="rangeSize",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
13.07/5.17	3[label="rangeSize xy3",fontsize=16,color="burlywood",shape="triangle"];1071[label="xy3/(xy30,xy31)",fontsize=10,color="white",style="solid",shape="box"];3 -> 1071[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1071 -> 4[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	4[label="rangeSize (xy30,xy31)",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3];
13.07/5.17	5[label="rangeSize2 (xy30,xy31)",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
13.07/5.17	6[label="rangeSize1 xy30 xy31 (null (range (xy30,xy31)))",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
13.07/5.17	7[label="rangeSize1 xy30 xy31 (null (enumFromTo xy30 xy31))",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
13.07/5.17	8[label="rangeSize1 xy30 xy31 (null (map toEnum (enumFromTo (fromEnum xy30) (fromEnum xy31))))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
13.07/5.17	9[label="rangeSize1 xy30 xy31 (null (map toEnum (numericEnumFromTo (fromEnum xy30) (fromEnum xy31))))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
13.07/5.17	10[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile (flip (<=) (fromEnum xy31)) (numericEnumFrom (fromEnum xy30)))))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3];
13.07/5.17	11[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile (flip (<=) (fromEnum xy31)) (fromEnum xy30 : (numericEnumFrom $! fromEnum xy30 + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
13.07/5.17	12[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile2 (flip (<=) (fromEnum xy31)) (fromEnum xy30 : (numericEnumFrom $! fromEnum xy30 + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3];
13.07/5.17	13[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (fromEnum xy30) (numericEnumFrom $! fromEnum xy30 + fromInt (Pos (Succ Zero))) (flip (<=) (fromEnum xy31) (fromEnum xy30)))))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3];
13.07/5.17	14[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (fromEnum xy30) (numericEnumFrom $! fromEnum xy30 + fromInt (Pos (Succ Zero))) ((<=) fromEnum xy30 fromEnum xy31))))",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3];
13.07/5.17	15[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (fromEnum xy30) (numericEnumFrom $! fromEnum xy30 + fromInt (Pos (Succ Zero))) (compare (fromEnum xy30) (fromEnum xy31) /= GT))))",fontsize=16,color="black",shape="box"];15 -> 16[label="",style="solid", color="black", weight=3];
13.07/5.17	16[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (fromEnum xy30) (numericEnumFrom $! fromEnum xy30 + fromInt (Pos (Succ Zero))) (not (compare (fromEnum xy30) (fromEnum xy31) == GT)))))",fontsize=16,color="black",shape="box"];16 -> 17[label="",style="solid", color="black", weight=3];
13.07/5.17	17[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (fromEnum xy30) (numericEnumFrom $! fromEnum xy30 + fromInt (Pos (Succ Zero))) (not (primCmpInt (fromEnum xy30) (fromEnum xy31) == GT)))))",fontsize=16,color="black",shape="box"];17 -> 18[label="",style="solid", color="black", weight=3];
13.07/5.17	18[label="rangeSize1 xy30 xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (primCharToInt xy30) (numericEnumFrom $! primCharToInt xy30 + fromInt (Pos (Succ Zero))) (not (primCmpInt (primCharToInt xy30) (fromEnum xy31) == GT)))))",fontsize=16,color="burlywood",shape="box"];1072[label="xy30/Char xy300",fontsize=10,color="white",style="solid",shape="box"];18 -> 1072[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1072 -> 19[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	19[label="rangeSize1 (Char xy300) xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (primCharToInt (Char xy300)) (numericEnumFrom $! primCharToInt (Char xy300) + fromInt (Pos (Succ Zero))) (not (primCmpInt (primCharToInt (Char xy300)) (fromEnum xy31) == GT)))))",fontsize=16,color="black",shape="box"];19 -> 20[label="",style="solid", color="black", weight=3];
13.07/5.17	20[label="rangeSize1 (Char xy300) xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (Pos xy300) (numericEnumFrom $! Pos xy300 + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos xy300) (fromEnum xy31) == GT)))))",fontsize=16,color="burlywood",shape="box"];1073[label="xy300/Succ xy3000",fontsize=10,color="white",style="solid",shape="box"];20 -> 1073[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1073 -> 21[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1074[label="xy300/Zero",fontsize=10,color="white",style="solid",shape="box"];20 -> 1074[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1074 -> 22[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	21[label="rangeSize1 (Char (Succ xy3000)) xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ xy3000)) (fromEnum xy31) == GT)))))",fontsize=16,color="black",shape="box"];21 -> 23[label="",style="solid", color="black", weight=3];
13.07/5.17	22[label="rangeSize1 (Char Zero) xy31 (null (map toEnum (takeWhile1 (flip (<=) (fromEnum xy31)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (fromEnum xy31) == GT)))))",fontsize=16,color="black",shape="box"];22 -> 24[label="",style="solid", color="black", weight=3];
13.07/5.17	23[label="rangeSize1 (Char (Succ xy3000)) xy31 (null (map toEnum (takeWhile1 (flip (<=) (primCharToInt xy31)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ xy3000)) (primCharToInt xy31) == GT)))))",fontsize=16,color="burlywood",shape="box"];1075[label="xy31/Char xy310",fontsize=10,color="white",style="solid",shape="box"];23 -> 1075[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1075 -> 25[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	24[label="rangeSize1 (Char Zero) xy31 (null (map toEnum (takeWhile1 (flip (<=) (primCharToInt xy31)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (primCharToInt xy31) == GT)))))",fontsize=16,color="burlywood",shape="box"];1076[label="xy31/Char xy310",fontsize=10,color="white",style="solid",shape="box"];24 -> 1076[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1076 -> 26[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	25[label="rangeSize1 (Char (Succ xy3000)) (Char xy310) (null (map toEnum (takeWhile1 (flip (<=) (primCharToInt (Char xy310))) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ xy3000)) (primCharToInt (Char xy310)) == GT)))))",fontsize=16,color="black",shape="box"];25 -> 27[label="",style="solid", color="black", weight=3];
13.07/5.17	26[label="rangeSize1 (Char Zero) (Char xy310) (null (map toEnum (takeWhile1 (flip (<=) (primCharToInt (Char xy310))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (primCharToInt (Char xy310)) == GT)))))",fontsize=16,color="black",shape="box"];26 -> 28[label="",style="solid", color="black", weight=3];
13.07/5.17	27[label="rangeSize1 (Char (Succ xy3000)) (Char xy310) (null (map toEnum (takeWhile1 (flip (<=) (Pos xy310)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ xy3000)) (Pos xy310) == GT)))))",fontsize=16,color="black",shape="box"];27 -> 29[label="",style="solid", color="black", weight=3];
13.07/5.17	28[label="rangeSize1 (Char Zero) (Char xy310) (null (map toEnum (takeWhile1 (flip (<=) (Pos xy310)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Pos xy310) == GT)))))",fontsize=16,color="burlywood",shape="box"];1077[label="xy310/Succ xy3100",fontsize=10,color="white",style="solid",shape="box"];28 -> 1077[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1077 -> 30[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1078[label="xy310/Zero",fontsize=10,color="white",style="solid",shape="box"];28 -> 1078[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1078 -> 31[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	29[label="rangeSize1 (Char (Succ xy3000)) (Char xy310) (null (map toEnum (takeWhile1 (flip (<=) (Pos xy310)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xy3000) xy310 == GT)))))",fontsize=16,color="burlywood",shape="box"];1079[label="xy310/Succ xy3100",fontsize=10,color="white",style="solid",shape="box"];29 -> 1079[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1079 -> 32[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1080[label="xy310/Zero",fontsize=10,color="white",style="solid",shape="box"];29 -> 1080[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1080 -> 33[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	30[label="rangeSize1 (Char Zero) (Char (Succ xy3100)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Pos (Succ xy3100)) == GT)))))",fontsize=16,color="black",shape="box"];30 -> 34[label="",style="solid", color="black", weight=3];
13.07/5.17	31[label="rangeSize1 (Char Zero) (Char Zero) (null (map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Pos Zero) == GT)))))",fontsize=16,color="black",shape="box"];31 -> 35[label="",style="solid", color="black", weight=3];
13.07/5.17	32[label="rangeSize1 (Char (Succ xy3000)) (Char (Succ xy3100)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy3100))) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xy3000) (Succ xy3100) == GT)))))",fontsize=16,color="black",shape="box"];32 -> 36[label="",style="solid", color="black", weight=3];
13.07/5.17	33[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) (null (map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xy3000) Zero == GT)))))",fontsize=16,color="black",shape="box"];33 -> 37[label="",style="solid", color="black", weight=3];
13.07/5.17	34[label="rangeSize1 (Char Zero) (Char (Succ xy3100)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero (Succ xy3100) == GT)))))",fontsize=16,color="black",shape="box"];34 -> 38[label="",style="solid", color="black", weight=3];
13.07/5.17	35[label="rangeSize1 (Char Zero) (Char Zero) (null (map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (EQ == GT)))))",fontsize=16,color="black",shape="box"];35 -> 39[label="",style="solid", color="black", weight=3];
13.07/5.17	36 -> 237[label="",style="dashed", color="red", weight=0];
13.07/5.17	36[label="rangeSize1 (Char (Succ xy3000)) (Char (Succ xy3100)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy3100))) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat xy3000 xy3100 == GT)))))",fontsize=16,color="magenta"];36 -> 238[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	36 -> 239[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	36 -> 240[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	36 -> 241[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	37[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) (null (map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not (GT == GT)))))",fontsize=16,color="black",shape="box"];37 -> 42[label="",style="solid", color="black", weight=3];
13.07/5.17	38[label="rangeSize1 (Char Zero) (Char (Succ xy3100)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (LT == GT)))))",fontsize=16,color="black",shape="box"];38 -> 43[label="",style="solid", color="black", weight=3];
13.07/5.17	39[label="rangeSize1 (Char Zero) (Char Zero) (null (map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not False))))",fontsize=16,color="black",shape="box"];39 -> 44[label="",style="solid", color="black", weight=3];
13.07/5.17	238[label="xy3000",fontsize=16,color="green",shape="box"];239[label="xy3000",fontsize=16,color="green",shape="box"];240[label="xy3100",fontsize=16,color="green",shape="box"];241[label="xy3100",fontsize=16,color="green",shape="box"];237[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (primCmpNat xy19 xy20 == GT)))))",fontsize=16,color="burlywood",shape="triangle"];1081[label="xy19/Succ xy190",fontsize=10,color="white",style="solid",shape="box"];237 -> 1081[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1081 -> 266[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1082[label="xy19/Zero",fontsize=10,color="white",style="solid",shape="box"];237 -> 1082[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1082 -> 267[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	42[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) (null (map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) (not True))))",fontsize=16,color="black",shape="box"];42 -> 49[label="",style="solid", color="black", weight=3];
13.07/5.17	43[label="rangeSize1 (Char Zero) (Char (Succ xy3100)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not False))))",fontsize=16,color="black",shape="box"];43 -> 50[label="",style="solid", color="black", weight=3];
13.07/5.17	44[label="rangeSize1 (Char Zero) (Char Zero) (null (map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) True)))",fontsize=16,color="black",shape="box"];44 -> 51[label="",style="solid", color="black", weight=3];
13.07/5.17	266[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xy190) xy20 == GT)))))",fontsize=16,color="burlywood",shape="box"];1083[label="xy20/Succ xy200",fontsize=10,color="white",style="solid",shape="box"];266 -> 1083[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1083 -> 270[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1084[label="xy20/Zero",fontsize=10,color="white",style="solid",shape="box"];266 -> 1084[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1084 -> 271[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	267[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero xy20 == GT)))))",fontsize=16,color="burlywood",shape="box"];1085[label="xy20/Succ xy200",fontsize=10,color="white",style="solid",shape="box"];267 -> 1085[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1085 -> 272[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1086[label="xy20/Zero",fontsize=10,color="white",style="solid",shape="box"];267 -> 1086[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1086 -> 273[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	49[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) (null (map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) False)))",fontsize=16,color="black",shape="box"];49 -> 56[label="",style="solid", color="black", weight=3];
13.07/5.17	50[label="rangeSize1 (Char Zero) (Char (Succ xy3100)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) True)))",fontsize=16,color="black",shape="box"];50 -> 57[label="",style="solid", color="black", weight=3];
13.07/5.17	51[label="rangeSize1 (Char Zero) (Char Zero) (null (map toEnum (Pos Zero : takeWhile (flip (<=) (Pos Zero)) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];51 -> 58[label="",style="solid", color="black", weight=3];
13.07/5.17	270[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xy190) (Succ xy200) == GT)))))",fontsize=16,color="black",shape="box"];270 -> 276[label="",style="solid", color="black", weight=3];
13.07/5.17	271[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xy190) Zero == GT)))))",fontsize=16,color="black",shape="box"];271 -> 277[label="",style="solid", color="black", weight=3];
13.07/5.17	272[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero (Succ xy200) == GT)))))",fontsize=16,color="black",shape="box"];272 -> 278[label="",style="solid", color="black", weight=3];
13.07/5.17	273[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero Zero == GT)))))",fontsize=16,color="black",shape="box"];273 -> 279[label="",style="solid", color="black", weight=3];
13.07/5.17	56[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) (null (map toEnum (takeWhile0 (flip (<=) (Pos Zero)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) otherwise)))",fontsize=16,color="black",shape="box"];56 -> 64[label="",style="solid", color="black", weight=3];
13.07/5.17	57[label="rangeSize1 (Char Zero) (Char (Succ xy3100)) (null (map toEnum (Pos Zero : takeWhile (flip (<=) (Pos (Succ xy3100))) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];57 -> 65[label="",style="solid", color="black", weight=3];
13.07/5.17	58[label="rangeSize1 (Char Zero) (Char Zero) (null (toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos Zero)) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];58 -> 66[label="",style="solid", color="black", weight=3];
13.07/5.17	276 -> 237[label="",style="dashed", color="red", weight=0];
13.07/5.17	276[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (primCmpNat xy190 xy200 == GT)))))",fontsize=16,color="magenta"];276 -> 282[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	276 -> 283[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	277[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (GT == GT)))))",fontsize=16,color="black",shape="box"];277 -> 284[label="",style="solid", color="black", weight=3];
13.07/5.17	278[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (LT == GT)))))",fontsize=16,color="black",shape="box"];278 -> 285[label="",style="solid", color="black", weight=3];
13.07/5.17	279[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not (EQ == GT)))))",fontsize=16,color="black",shape="box"];279 -> 286[label="",style="solid", color="black", weight=3];
13.07/5.17	64[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) (null (map toEnum (takeWhile0 (flip (<=) (Pos Zero)) (Pos (Succ xy3000)) (numericEnumFrom $! Pos (Succ xy3000) + fromInt (Pos (Succ Zero))) True)))",fontsize=16,color="black",shape="box"];64 -> 74[label="",style="solid", color="black", weight=3];
13.07/5.17	65[label="rangeSize1 (Char Zero) (Char (Succ xy3100)) (null (toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos (Succ xy3100))) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];65 -> 75[label="",style="solid", color="black", weight=3];
13.07/5.17	66[label="rangeSize1 (Char Zero) (Char Zero) False",fontsize=16,color="black",shape="box"];66 -> 76[label="",style="solid", color="black", weight=3];
13.07/5.17	282[label="xy190",fontsize=16,color="green",shape="box"];283[label="xy200",fontsize=16,color="green",shape="box"];284[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not True))))",fontsize=16,color="black",shape="box"];284 -> 289[label="",style="solid", color="black", weight=3];
13.07/5.17	285[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not False))))",fontsize=16,color="black",shape="triangle"];285 -> 290[label="",style="solid", color="black", weight=3];
13.07/5.17	286 -> 285[label="",style="dashed", color="red", weight=0];
13.07/5.17	286[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) (not False))))",fontsize=16,color="magenta"];74[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) (null (map toEnum []))",fontsize=16,color="black",shape="box"];74 -> 84[label="",style="solid", color="black", weight=3];
13.07/5.17	75[label="rangeSize1 (Char Zero) (Char (Succ xy3100)) False",fontsize=16,color="black",shape="box"];75 -> 85[label="",style="solid", color="black", weight=3];
13.07/5.17	76[label="rangeSize0 (Char Zero) (Char Zero) otherwise",fontsize=16,color="black",shape="box"];76 -> 86[label="",style="solid", color="black", weight=3];
13.07/5.17	289[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) False)))",fontsize=16,color="black",shape="box"];289 -> 293[label="",style="solid", color="black", weight=3];
13.07/5.17	290[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile1 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) True)))",fontsize=16,color="black",shape="box"];290 -> 294[label="",style="solid", color="black", weight=3];
13.07/5.17	84[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) (null [])",fontsize=16,color="black",shape="box"];84 -> 95[label="",style="solid", color="black", weight=3];
13.07/5.17	85[label="rangeSize0 (Char Zero) (Char (Succ xy3100)) otherwise",fontsize=16,color="black",shape="box"];85 -> 96[label="",style="solid", color="black", weight=3];
13.07/5.17	86[label="rangeSize0 (Char Zero) (Char Zero) True",fontsize=16,color="black",shape="box"];86 -> 97[label="",style="solid", color="black", weight=3];
13.07/5.17	293[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile0 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) otherwise)))",fontsize=16,color="black",shape="box"];293 -> 297[label="",style="solid", color="black", weight=3];
13.07/5.17	294[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (Pos (Succ xy17) : takeWhile (flip (<=) (Pos (Succ xy18))) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];294 -> 298[label="",style="solid", color="black", weight=3];
13.07/5.17	95[label="rangeSize1 (Char (Succ xy3000)) (Char Zero) True",fontsize=16,color="black",shape="box"];95 -> 108[label="",style="solid", color="black", weight=3];
13.07/5.17	96[label="rangeSize0 (Char Zero) (Char (Succ xy3100)) True",fontsize=16,color="black",shape="box"];96 -> 109[label="",style="solid", color="black", weight=3];
13.07/5.17	97[label="index (Char Zero,Char Zero) (Char Zero) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];97 -> 110[label="",style="solid", color="black", weight=3];
13.07/5.17	297[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum (takeWhile0 (flip (<=) (Pos (Succ xy18))) (Pos (Succ xy17)) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))) True)))",fontsize=16,color="black",shape="box"];297 -> 301[label="",style="solid", color="black", weight=3];
13.07/5.17	298[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (toEnum (Pos (Succ xy17)) : map toEnum (takeWhile (flip (<=) (Pos (Succ xy18))) (numericEnumFrom $! Pos (Succ xy17) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];298 -> 302[label="",style="solid", color="black", weight=3];
13.07/5.17	108[label="Pos Zero",fontsize=16,color="green",shape="box"];109[label="index (Char Zero,Char (Succ xy3100)) (Char (Succ xy3100)) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];109 -> 121[label="",style="solid", color="black", weight=3];
13.07/5.17	110[label="primPlusInt (index (Char Zero,Char Zero) (Char Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];110 -> 122[label="",style="solid", color="black", weight=3];
13.07/5.17	301[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null (map toEnum []))",fontsize=16,color="black",shape="box"];301 -> 305[label="",style="solid", color="black", weight=3];
13.07/5.17	302[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) False",fontsize=16,color="black",shape="box"];302 -> 306[label="",style="solid", color="black", weight=3];
13.07/5.17	121[label="primPlusInt (index (Char Zero,Char (Succ xy3100)) (Char (Succ xy3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];121 -> 134[label="",style="solid", color="black", weight=3];
13.07/5.17	122[label="primPlusInt (index2 (Char Zero,Char Zero) (Char Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];122 -> 135[label="",style="solid", color="black", weight=3];
13.07/5.17	305[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) (null [])",fontsize=16,color="black",shape="box"];305 -> 309[label="",style="solid", color="black", weight=3];
13.07/5.17	306[label="rangeSize0 (Char (Succ xy17)) (Char (Succ xy18)) otherwise",fontsize=16,color="black",shape="box"];306 -> 310[label="",style="solid", color="black", weight=3];
13.07/5.17	134[label="primPlusInt (index2 (Char Zero,Char (Succ xy3100)) (Char (Succ xy3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];134 -> 149[label="",style="solid", color="black", weight=3];
13.07/5.17	135[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (inRange (Char Zero,Char Zero) (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];135 -> 150[label="",style="solid", color="black", weight=3];
13.07/5.17	309[label="rangeSize1 (Char (Succ xy17)) (Char (Succ xy18)) True",fontsize=16,color="black",shape="box"];309 -> 313[label="",style="solid", color="black", weight=3];
13.07/5.17	310[label="rangeSize0 (Char (Succ xy17)) (Char (Succ xy18)) True",fontsize=16,color="black",shape="box"];310 -> 314[label="",style="solid", color="black", weight=3];
13.07/5.17	149[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (inRange (Char Zero,Char (Succ xy3100)) (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];149 -> 163[label="",style="solid", color="black", weight=3];
13.07/5.17	150[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (fromEnum (Char Zero) <= inRangeI (Char Zero) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];150 -> 164[label="",style="solid", color="black", weight=3];
13.07/5.17	313[label="Pos Zero",fontsize=16,color="green",shape="box"];314[label="index (Char (Succ xy17),Char (Succ xy18)) (Char (Succ xy18)) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];314 -> 317[label="",style="solid", color="black", weight=3];
13.07/5.17	163[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (fromEnum (Char Zero) <= inRangeI (Char (Succ xy3100)) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];163 -> 178[label="",style="solid", color="black", weight=3];
13.07/5.17	164[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (compare (fromEnum (Char Zero)) (inRangeI (Char Zero)) /= GT && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];164 -> 179[label="",style="solid", color="black", weight=3];
13.07/5.17	317[label="primPlusInt (index (Char (Succ xy17),Char (Succ xy18)) (Char (Succ xy18))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];317 -> 320[label="",style="solid", color="black", weight=3];
13.07/5.17	178[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (compare (fromEnum (Char Zero)) (inRangeI (Char (Succ xy3100))) /= GT && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];178 -> 195[label="",style="solid", color="black", weight=3];
13.07/5.17	179[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (compare (fromEnum (Char Zero)) (inRangeI (Char Zero)) == GT) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];179 -> 196[label="",style="solid", color="black", weight=3];
13.07/5.17	320[label="primPlusInt (index2 (Char (Succ xy17),Char (Succ xy18)) (Char (Succ xy18))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];320 -> 323[label="",style="solid", color="black", weight=3];
13.07/5.17	195[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (compare (fromEnum (Char Zero)) (inRangeI (Char (Succ xy3100))) == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];195 -> 211[label="",style="solid", color="black", weight=3];
13.07/5.17	196[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (fromEnum (Char Zero)) (inRangeI (Char Zero)) == GT) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];196 -> 212[label="",style="solid", color="black", weight=3];
13.07/5.17	323[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (inRange (Char (Succ xy17),Char (Succ xy18)) (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];323 -> 326[label="",style="solid", color="black", weight=3];
13.07/5.17	211[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (fromEnum (Char Zero)) (inRangeI (Char (Succ xy3100))) == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];211 -> 235[label="",style="solid", color="black", weight=3];
13.07/5.17	212[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (primCharToInt (Char Zero)) (inRangeI (Char Zero)) == GT) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];212 -> 236[label="",style="solid", color="black", weight=3];
13.07/5.17	326[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (fromEnum (Char (Succ xy17)) <= inRangeI (Char (Succ xy18)) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];326 -> 329[label="",style="solid", color="black", weight=3];
13.07/5.17	235[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (primCharToInt (Char Zero)) (inRangeI (Char (Succ xy3100))) == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];235 -> 268[label="",style="solid", color="black", weight=3];
13.07/5.17	236[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (Pos Zero) (inRangeI (Char Zero)) == GT) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];236 -> 269[label="",style="solid", color="black", weight=3];
13.07/5.17	329[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (compare (fromEnum (Char (Succ xy17))) (inRangeI (Char (Succ xy18))) /= GT && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];329 -> 332[label="",style="solid", color="black", weight=3];
13.07/5.17	268[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (Pos Zero) (inRangeI (Char (Succ xy3100))) == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];268 -> 274[label="",style="solid", color="black", weight=3];
13.07/5.17	269[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (Pos Zero) (fromEnum (Char Zero)) == GT) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];269 -> 275[label="",style="solid", color="black", weight=3];
13.07/5.17	332[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (not (compare (fromEnum (Char (Succ xy17))) (inRangeI (Char (Succ xy18))) == GT) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];332 -> 335[label="",style="solid", color="black", weight=3];
13.07/5.17	274[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (Pos Zero) (fromEnum (Char (Succ xy3100))) == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];274 -> 280[label="",style="solid", color="black", weight=3];
13.07/5.17	275[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (Pos Zero) (primCharToInt (Char Zero)) == GT) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];275 -> 281[label="",style="solid", color="black", weight=3];
13.07/5.17	335[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (not (primCmpInt (fromEnum (Char (Succ xy17))) (inRangeI (Char (Succ xy18))) == GT) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];335 -> 338[label="",style="solid", color="black", weight=3];
13.07/5.17	280[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (Pos Zero) (primCharToInt (Char (Succ xy3100))) == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];280 -> 287[label="",style="solid", color="black", weight=3];
13.07/5.17	281[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == GT) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];281 -> 288[label="",style="solid", color="black", weight=3];
13.07/5.17	338[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (not (primCmpInt (primCharToInt (Char (Succ xy17))) (inRangeI (Char (Succ xy18))) == GT) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];338 -> 341[label="",style="solid", color="black", weight=3];
13.07/5.17	287[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (Pos Zero) (Pos (Succ xy3100)) == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];287 -> 291[label="",style="solid", color="black", weight=3];
13.07/5.17	288[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (EQ == GT) && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];288 -> 292[label="",style="solid", color="black", weight=3];
13.07/5.17	341[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (not (primCmpInt (Pos (Succ xy17)) (inRangeI (Char (Succ xy18))) == GT) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];341 -> 345[label="",style="solid", color="black", weight=3];
13.07/5.17	291[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpNat Zero (Succ xy3100) == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];291 -> 295[label="",style="solid", color="black", weight=3];
13.07/5.17	292[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not False && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];292 -> 296[label="",style="solid", color="black", weight=3];
13.07/5.17	345[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (not (primCmpInt (Pos (Succ xy17)) (fromEnum (Char (Succ xy18))) == GT) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];345 -> 349[label="",style="solid", color="black", weight=3];
13.07/5.17	295[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (LT == GT) && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];295 -> 299[label="",style="solid", color="black", weight=3];
13.07/5.17	296[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (True && inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];296 -> 300[label="",style="solid", color="black", weight=3];
13.07/5.17	349[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (not (primCmpInt (Pos (Succ xy17)) (primCharToInt (Char (Succ xy18))) == GT) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];349 -> 354[label="",style="solid", color="black", weight=3];
13.07/5.17	299[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not False && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];299 -> 303[label="",style="solid", color="black", weight=3];
13.07/5.17	300[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (inRangeI (Char Zero) <= fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];300 -> 304[label="",style="solid", color="black", weight=3];
13.07/5.17	354[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (not (primCmpInt (Pos (Succ xy17)) (Pos (Succ xy18)) == GT) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];354 -> 359[label="",style="solid", color="black", weight=3];
13.07/5.17	303[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (True && inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];303 -> 307[label="",style="solid", color="black", weight=3];
13.07/5.17	304[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (compare (inRangeI (Char Zero)) (fromEnum (Char Zero)) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];304 -> 308[label="",style="solid", color="black", weight=3];
13.07/5.17	359 -> 825[label="",style="dashed", color="red", weight=0];
13.07/5.17	359[label="primPlusInt (index1 (Char (Succ xy17)) (Char (Succ xy18)) (Char (Succ xy18)) (not (primCmpNat (Succ xy17) (Succ xy18) == GT) && inRangeI (Char (Succ xy18)) <= fromEnum (Char (Succ xy18)))) (Pos (Succ Zero))",fontsize=16,color="magenta"];359 -> 826[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	359 -> 827[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	359 -> 828[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	359 -> 829[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	307[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (inRangeI (Char (Succ xy3100)) <= fromEnum (Char (Succ xy3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];307 -> 311[label="",style="solid", color="black", weight=3];
13.07/5.17	308[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (compare (inRangeI (Char Zero)) (fromEnum (Char Zero)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];308 -> 312[label="",style="solid", color="black", weight=3];
13.07/5.17	826[label="xy18",fontsize=16,color="green",shape="box"];827[label="Succ xy17",fontsize=16,color="green",shape="box"];828[label="Succ xy18",fontsize=16,color="green",shape="box"];829[label="xy17",fontsize=16,color="green",shape="box"];825[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat xy37 xy38 == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];1087[label="xy37/Succ xy370",fontsize=10,color="white",style="solid",shape="box"];825 -> 1087[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1087 -> 870[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1088[label="xy37/Zero",fontsize=10,color="white",style="solid",shape="box"];825 -> 1088[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1088 -> 871[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	311[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (compare (inRangeI (Char (Succ xy3100))) (fromEnum (Char (Succ xy3100))) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];311 -> 315[label="",style="solid", color="black", weight=3];
13.07/5.17	312[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (inRangeI (Char Zero)) (fromEnum (Char Zero)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];312 -> 316[label="",style="solid", color="black", weight=3];
13.07/5.17	870[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat (Succ xy370) xy38 == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1089[label="xy38/Succ xy380",fontsize=10,color="white",style="solid",shape="box"];870 -> 1089[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1089 -> 874[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1090[label="xy38/Zero",fontsize=10,color="white",style="solid",shape="box"];870 -> 1090[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1090 -> 875[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	871[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat Zero xy38 == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1091[label="xy38/Succ xy380",fontsize=10,color="white",style="solid",shape="box"];871 -> 1091[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1091 -> 876[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1092[label="xy38/Zero",fontsize=10,color="white",style="solid",shape="box"];871 -> 1092[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1092 -> 877[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	315[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (compare (inRangeI (Char (Succ xy3100))) (fromEnum (Char (Succ xy3100))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];315 -> 318[label="",style="solid", color="black", weight=3];
13.07/5.17	316[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (fromEnum (Char Zero)) (fromEnum (Char Zero)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];316 -> 319[label="",style="solid", color="black", weight=3];
13.07/5.17	874[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat (Succ xy370) (Succ xy380) == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];874 -> 880[label="",style="solid", color="black", weight=3];
13.07/5.17	875[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat (Succ xy370) Zero == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];875 -> 881[label="",style="solid", color="black", weight=3];
13.07/5.17	876[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat Zero (Succ xy380) == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];876 -> 882[label="",style="solid", color="black", weight=3];
13.07/5.17	877[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat Zero Zero == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];877 -> 883[label="",style="solid", color="black", weight=3];
13.07/5.17	318[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (inRangeI (Char (Succ xy3100))) (fromEnum (Char (Succ xy3100))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];318 -> 321[label="",style="solid", color="black", weight=3];
13.07/5.17	319[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (primCharToInt (Char Zero)) (fromEnum (Char Zero)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];319 -> 322[label="",style="solid", color="black", weight=3];
13.07/5.17	880 -> 825[label="",style="dashed", color="red", weight=0];
13.07/5.17	880[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat xy370 xy380 == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="magenta"];880 -> 884[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	880 -> 885[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	881[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (GT == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];881 -> 886[label="",style="solid", color="black", weight=3];
13.07/5.17	882[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (LT == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];882 -> 887[label="",style="solid", color="black", weight=3];
13.07/5.17	883[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (EQ == GT) && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];883 -> 888[label="",style="solid", color="black", weight=3];
13.07/5.17	321[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (fromEnum (Char (Succ xy3100))) (fromEnum (Char (Succ xy3100))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];321 -> 324[label="",style="solid", color="black", weight=3];
13.07/5.17	322[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (Pos Zero) (fromEnum (Char Zero)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];322 -> 325[label="",style="solid", color="black", weight=3];
13.07/5.17	884[label="xy370",fontsize=16,color="green",shape="box"];885[label="xy380",fontsize=16,color="green",shape="box"];886[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not True && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];886 -> 889[label="",style="solid", color="black", weight=3];
13.07/5.17	887[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not False && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];887 -> 890[label="",style="solid", color="black", weight=3];
13.07/5.17	888 -> 887[label="",style="dashed", color="red", weight=0];
13.07/5.17	888[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not False && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="magenta"];324[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (primCharToInt (Char (Succ xy3100))) (fromEnum (Char (Succ xy3100))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];324 -> 327[label="",style="solid", color="black", weight=3];
13.07/5.17	325[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (Pos Zero) (primCharToInt (Char Zero)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];325 -> 328[label="",style="solid", color="black", weight=3];
13.07/5.17	889[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (False && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];889 -> 891[label="",style="solid", color="black", weight=3];
13.07/5.17	890[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (True && inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];890 -> 892[label="",style="solid", color="black", weight=3];
13.07/5.17	327[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (Pos (Succ xy3100)) (fromEnum (Char (Succ xy3100))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];327 -> 330[label="",style="solid", color="black", weight=3];
13.07/5.17	328[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];328 -> 331[label="",style="solid", color="black", weight=3];
13.07/5.17	891[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) False) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];891 -> 893[label="",style="solid", color="black", weight=3];
13.07/5.17	892[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (inRangeI (Char (Succ xy36)) <= fromEnum (Char (Succ xy36)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];892 -> 894[label="",style="solid", color="black", weight=3];
13.07/5.17	330[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (Pos (Succ xy3100)) (primCharToInt (Char (Succ xy3100))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];330 -> 333[label="",style="solid", color="black", weight=3];
13.07/5.17	331[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];331 -> 334[label="",style="solid", color="black", weight=3];
13.07/5.17	893[label="primPlusInt (index0 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) otherwise) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];893 -> 895[label="",style="solid", color="black", weight=3];
13.07/5.17	894[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (compare (inRangeI (Char (Succ xy36))) (fromEnum (Char (Succ xy36))) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];894 -> 896[label="",style="solid", color="black", weight=3];
13.07/5.17	333[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpInt (Pos (Succ xy3100)) (Pos (Succ xy3100)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];333 -> 336[label="",style="solid", color="black", weight=3];
13.07/5.17	334[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];334 -> 337[label="",style="solid", color="black", weight=3];
13.07/5.17	895[label="primPlusInt (index0 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];895 -> 897[label="",style="solid", color="black", weight=3];
13.07/5.17	896[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (compare (inRangeI (Char (Succ xy36))) (fromEnum (Char (Succ xy36))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];896 -> 898[label="",style="solid", color="black", weight=3];
13.07/5.17	336 -> 527[label="",style="dashed", color="red", weight=0];
13.07/5.17	336[label="primPlusInt (index1 (Char Zero) (Char (Succ xy3100)) (Char (Succ xy3100)) (not (primCmpNat (Succ xy3100) (Succ xy3100) == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];336 -> 528[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	336 -> 529[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	337[label="primPlusInt (index1 (Char Zero) (Char Zero) (Char Zero) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];337 -> 340[label="",style="solid", color="black", weight=3];
13.07/5.17	897[label="primPlusInt (error []) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];897 -> 899[label="",style="solid", color="black", weight=3];
13.07/5.17	898[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpInt (inRangeI (Char (Succ xy36))) (fromEnum (Char (Succ xy36))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];898 -> 900[label="",style="solid", color="black", weight=3];
13.07/5.17	528[label="Succ xy3100",fontsize=16,color="green",shape="box"];529[label="xy3100",fontsize=16,color="green",shape="box"];527[label="primPlusInt (index1 (Char Zero) (Char (Succ xy24)) (Char (Succ xy24)) (not (primCmpNat xy25 xy25 == GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];1093[label="xy25/Succ xy250",fontsize=10,color="white",style="solid",shape="box"];527 -> 1093[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1093 -> 548[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1094[label="xy25/Zero",fontsize=10,color="white",style="solid",shape="box"];527 -> 1094[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1094 -> 549[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	340[label="primPlusInt (fromEnum (Char Zero) - fromEnum (Char Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];340 -> 344[label="",style="solid", color="black", weight=3];
13.07/5.17	899[label="error []",fontsize=16,color="red",shape="box"];900[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpInt (fromEnum (Char (Succ xy36))) (fromEnum (Char (Succ xy36))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];900 -> 901[label="",style="solid", color="black", weight=3];
13.07/5.17	548[label="primPlusInt (index1 (Char Zero) (Char (Succ xy24)) (Char (Succ xy24)) (not (primCmpNat (Succ xy250) (Succ xy250) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];548 -> 562[label="",style="solid", color="black", weight=3];
13.07/5.17	549[label="primPlusInt (index1 (Char Zero) (Char (Succ xy24)) (Char (Succ xy24)) (not (primCmpNat Zero Zero == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];549 -> 563[label="",style="solid", color="black", weight=3];
13.07/5.17	344[label="primPlusInt (primMinusInt (fromEnum (Char Zero)) (fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];344 -> 348[label="",style="solid", color="black", weight=3];
13.07/5.17	901[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpInt (primCharToInt (Char (Succ xy36))) (fromEnum (Char (Succ xy36))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];901 -> 902[label="",style="solid", color="black", weight=3];
13.07/5.17	562 -> 527[label="",style="dashed", color="red", weight=0];
13.07/5.17	562[label="primPlusInt (index1 (Char Zero) (Char (Succ xy24)) (Char (Succ xy24)) (not (primCmpNat xy250 xy250 == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];562 -> 576[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	563[label="primPlusInt (index1 (Char Zero) (Char (Succ xy24)) (Char (Succ xy24)) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];563 -> 577[label="",style="solid", color="black", weight=3];
13.07/5.17	348[label="primPlusInt (primMinusInt (primCharToInt (Char Zero)) (fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];348 -> 353[label="",style="solid", color="black", weight=3];
13.07/5.17	902[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpInt (Pos (Succ xy36)) (fromEnum (Char (Succ xy36))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];902 -> 903[label="",style="solid", color="black", weight=3];
13.07/5.17	576[label="xy250",fontsize=16,color="green",shape="box"];577[label="primPlusInt (index1 (Char Zero) (Char (Succ xy24)) (Char (Succ xy24)) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];577 -> 592[label="",style="solid", color="black", weight=3];
13.07/5.17	353[label="primPlusInt (primMinusInt (Pos Zero) (fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];353 -> 358[label="",style="solid", color="black", weight=3];
13.07/5.17	903[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpInt (Pos (Succ xy36)) (primCharToInt (Char (Succ xy36))) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];903 -> 904[label="",style="solid", color="black", weight=3];
13.07/5.17	592[label="primPlusInt (index1 (Char Zero) (Char (Succ xy24)) (Char (Succ xy24)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];592 -> 607[label="",style="solid", color="black", weight=3];
13.07/5.17	358[label="primPlusInt (primMinusInt (Pos Zero) (primCharToInt (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];358 -> 364[label="",style="solid", color="black", weight=3];
13.07/5.17	904[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpInt (Pos (Succ xy36)) (Pos (Succ xy36)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];904 -> 905[label="",style="solid", color="black", weight=3];
13.07/5.17	607[label="primPlusInt (fromEnum (Char (Succ xy24)) - fromEnum (Char Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];607 -> 622[label="",style="solid", color="black", weight=3];
13.07/5.17	364[label="primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];364 -> 370[label="",style="solid", color="black", weight=3];
13.07/5.17	905 -> 1006[label="",style="dashed", color="red", weight=0];
13.07/5.17	905[label="primPlusInt (index1 (Char (Succ xy35)) (Char (Succ xy36)) (Char (Succ xy36)) (not (primCmpNat (Succ xy36) (Succ xy36) == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];905 -> 1007[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	905 -> 1008[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	905 -> 1009[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	622[label="primPlusInt (primMinusInt (fromEnum (Char (Succ xy24))) (fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];622 -> 639[label="",style="solid", color="black", weight=3];
13.07/5.17	370[label="primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];370 -> 378[label="",style="solid", color="black", weight=3];
13.07/5.17	1007[label="xy36",fontsize=16,color="green",shape="box"];1008[label="xy35",fontsize=16,color="green",shape="box"];1009[label="Succ xy36",fontsize=16,color="green",shape="box"];1006[label="primPlusInt (index1 (Char (Succ xy43)) (Char (Succ xy44)) (Char (Succ xy44)) (not (primCmpNat xy45 xy45 == GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];1095[label="xy45/Succ xy450",fontsize=10,color="white",style="solid",shape="box"];1006 -> 1095[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1095 -> 1037[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1096[label="xy45/Zero",fontsize=10,color="white",style="solid",shape="box"];1006 -> 1096[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1096 -> 1038[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	639[label="primPlusInt (primMinusInt (primCharToInt (Char (Succ xy24))) (fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];639 -> 657[label="",style="solid", color="black", weight=3];
13.07/5.17	378[label="primPlusInt (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];378 -> 388[label="",style="solid", color="black", weight=3];
13.07/5.17	1037[label="primPlusInt (index1 (Char (Succ xy43)) (Char (Succ xy44)) (Char (Succ xy44)) (not (primCmpNat (Succ xy450) (Succ xy450) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1037 -> 1039[label="",style="solid", color="black", weight=3];
13.07/5.17	1038[label="primPlusInt (index1 (Char (Succ xy43)) (Char (Succ xy44)) (Char (Succ xy44)) (not (primCmpNat Zero Zero == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1038 -> 1040[label="",style="solid", color="black", weight=3];
13.07/5.17	657[label="primPlusInt (primMinusInt (Pos (Succ xy24)) (fromEnum (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];657 -> 675[label="",style="solid", color="black", weight=3];
13.07/5.17	388[label="Pos (primPlusNat Zero (Succ Zero))",fontsize=16,color="green",shape="box"];388 -> 399[label="",style="dashed", color="green", weight=3];
13.07/5.17	1039 -> 1006[label="",style="dashed", color="red", weight=0];
13.07/5.17	1039[label="primPlusInt (index1 (Char (Succ xy43)) (Char (Succ xy44)) (Char (Succ xy44)) (not (primCmpNat xy450 xy450 == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1039 -> 1041[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	1040[label="primPlusInt (index1 (Char (Succ xy43)) (Char (Succ xy44)) (Char (Succ xy44)) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1040 -> 1042[label="",style="solid", color="black", weight=3];
13.07/5.17	675[label="primPlusInt (primMinusInt (Pos (Succ xy24)) (primCharToInt (Char Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];675 -> 696[label="",style="solid", color="black", weight=3];
13.07/5.17	399[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];399 -> 411[label="",style="solid", color="black", weight=3];
13.07/5.17	1041[label="xy450",fontsize=16,color="green",shape="box"];1042[label="primPlusInt (index1 (Char (Succ xy43)) (Char (Succ xy44)) (Char (Succ xy44)) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1042 -> 1043[label="",style="solid", color="black", weight=3];
13.07/5.17	696[label="primPlusInt (primMinusInt (Pos (Succ xy24)) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];696 -> 717[label="",style="solid", color="black", weight=3];
13.07/5.17	411[label="Succ Zero",fontsize=16,color="green",shape="box"];1043[label="primPlusInt (index1 (Char (Succ xy43)) (Char (Succ xy44)) (Char (Succ xy44)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1043 -> 1044[label="",style="solid", color="black", weight=3];
13.07/5.17	717[label="primPlusInt (primMinusNat (Succ xy24) Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];717 -> 740[label="",style="solid", color="black", weight=3];
13.07/5.17	1044[label="primPlusInt (fromEnum (Char (Succ xy44)) - fromEnum (Char (Succ xy43))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1044 -> 1045[label="",style="solid", color="black", weight=3];
13.07/5.17	740[label="primPlusInt (Pos (Succ xy24)) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];740 -> 765[label="",style="solid", color="black", weight=3];
13.07/5.17	1045[label="primPlusInt (primMinusInt (fromEnum (Char (Succ xy44))) (fromEnum (Char (Succ xy43)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1045 -> 1046[label="",style="solid", color="black", weight=3];
13.07/5.17	765[label="Pos (primPlusNat (Succ xy24) (Succ Zero))",fontsize=16,color="green",shape="box"];765 -> 792[label="",style="dashed", color="green", weight=3];
13.07/5.17	1046[label="primPlusInt (primMinusInt (primCharToInt (Char (Succ xy44))) (fromEnum (Char (Succ xy43)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1046 -> 1047[label="",style="solid", color="black", weight=3];
13.07/5.17	792[label="primPlusNat (Succ xy24) (Succ Zero)",fontsize=16,color="black",shape="box"];792 -> 797[label="",style="solid", color="black", weight=3];
13.07/5.17	1047[label="primPlusInt (primMinusInt (Pos (Succ xy44)) (fromEnum (Char (Succ xy43)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1047 -> 1048[label="",style="solid", color="black", weight=3];
13.07/5.17	797[label="Succ (Succ (primPlusNat xy24 Zero))",fontsize=16,color="green",shape="box"];797 -> 824[label="",style="dashed", color="green", weight=3];
13.07/5.17	1048[label="primPlusInt (primMinusInt (Pos (Succ xy44)) (primCharToInt (Char (Succ xy43)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1048 -> 1049[label="",style="solid", color="black", weight=3];
13.07/5.17	824[label="primPlusNat xy24 Zero",fontsize=16,color="burlywood",shape="box"];1097[label="xy24/Succ xy240",fontsize=10,color="white",style="solid",shape="box"];824 -> 1097[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1097 -> 872[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1098[label="xy24/Zero",fontsize=10,color="white",style="solid",shape="box"];824 -> 1098[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1098 -> 873[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1049[label="primPlusInt (primMinusInt (Pos (Succ xy44)) (Pos (Succ xy43))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1049 -> 1050[label="",style="solid", color="black", weight=3];
13.07/5.17	872[label="primPlusNat (Succ xy240) Zero",fontsize=16,color="black",shape="box"];872 -> 878[label="",style="solid", color="black", weight=3];
13.07/5.17	873[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];873 -> 879[label="",style="solid", color="black", weight=3];
13.07/5.17	1050[label="primPlusInt (primMinusNat (Succ xy44) (Succ xy43)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1050 -> 1051[label="",style="solid", color="black", weight=3];
13.07/5.17	878[label="Succ xy240",fontsize=16,color="green",shape="box"];879[label="Zero",fontsize=16,color="green",shape="box"];1051[label="primPlusInt (primMinusNat xy44 xy43) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];1099[label="xy44/Succ xy440",fontsize=10,color="white",style="solid",shape="box"];1051 -> 1099[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1099 -> 1052[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1100[label="xy44/Zero",fontsize=10,color="white",style="solid",shape="box"];1051 -> 1100[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1100 -> 1053[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1052[label="primPlusInt (primMinusNat (Succ xy440) xy43) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1101[label="xy43/Succ xy430",fontsize=10,color="white",style="solid",shape="box"];1052 -> 1101[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1101 -> 1054[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1102[label="xy43/Zero",fontsize=10,color="white",style="solid",shape="box"];1052 -> 1102[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1102 -> 1055[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1053[label="primPlusInt (primMinusNat Zero xy43) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];1103[label="xy43/Succ xy430",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1103[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1103 -> 1056[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1104[label="xy43/Zero",fontsize=10,color="white",style="solid",shape="box"];1053 -> 1104[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1104 -> 1057[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1054[label="primPlusInt (primMinusNat (Succ xy440) (Succ xy430)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1054 -> 1058[label="",style="solid", color="black", weight=3];
13.07/5.17	1055[label="primPlusInt (primMinusNat (Succ xy440) Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1055 -> 1059[label="",style="solid", color="black", weight=3];
13.07/5.17	1056[label="primPlusInt (primMinusNat Zero (Succ xy430)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1056 -> 1060[label="",style="solid", color="black", weight=3];
13.07/5.17	1057[label="primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1057 -> 1061[label="",style="solid", color="black", weight=3];
13.07/5.17	1058 -> 1051[label="",style="dashed", color="red", weight=0];
13.07/5.17	1058[label="primPlusInt (primMinusNat xy440 xy430) (Pos (Succ Zero))",fontsize=16,color="magenta"];1058 -> 1062[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	1058 -> 1063[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	1059 -> 740[label="",style="dashed", color="red", weight=0];
13.07/5.17	1059[label="primPlusInt (Pos (Succ xy440)) (Pos (Succ Zero))",fontsize=16,color="magenta"];1059 -> 1064[label="",style="dashed", color="magenta", weight=3];
13.07/5.17	1060[label="primPlusInt (Neg (Succ xy430)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1060 -> 1065[label="",style="solid", color="black", weight=3];
13.07/5.17	1061 -> 378[label="",style="dashed", color="red", weight=0];
13.07/5.17	1061[label="primPlusInt (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="magenta"];1062[label="xy440",fontsize=16,color="green",shape="box"];1063[label="xy430",fontsize=16,color="green",shape="box"];1064[label="xy440",fontsize=16,color="green",shape="box"];1065[label="primMinusNat (Succ Zero) (Succ xy430)",fontsize=16,color="black",shape="box"];1065 -> 1066[label="",style="solid", color="black", weight=3];
13.07/5.17	1066[label="primMinusNat Zero xy430",fontsize=16,color="burlywood",shape="box"];1105[label="xy430/Succ xy4300",fontsize=10,color="white",style="solid",shape="box"];1066 -> 1105[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1105 -> 1067[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1106[label="xy430/Zero",fontsize=10,color="white",style="solid",shape="box"];1066 -> 1106[label="",style="solid", color="burlywood", weight=9];
13.07/5.17	1106 -> 1068[label="",style="solid", color="burlywood", weight=3];
13.07/5.17	1067[label="primMinusNat Zero (Succ xy4300)",fontsize=16,color="black",shape="box"];1067 -> 1069[label="",style="solid", color="black", weight=3];
13.07/5.17	1068[label="primMinusNat Zero Zero",fontsize=16,color="black",shape="box"];1068 -> 1070[label="",style="solid", color="black", weight=3];
13.07/5.17	1069[label="Neg (Succ xy4300)",fontsize=16,color="green",shape="box"];1070[label="Pos Zero",fontsize=16,color="green",shape="box"];}
13.07/5.17	
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(10)
13.07/5.17	Complex Obligation (AND)
13.07/5.17	
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(11)
13.07/5.17	Obligation:
13.07/5.17	Q DP problem:
13.07/5.17	The TRS P consists of the following rules:
13.07/5.17	
13.07/5.17	   new_primPlusInt(xy24, Succ(xy250)) -> new_primPlusInt(xy24, xy250)
13.07/5.17	
13.07/5.17	R is empty.
13.07/5.17	Q is empty.
13.07/5.17	We have to consider all minimal (P,Q,R)-chains.
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(12) QDPSizeChangeProof (EQUIVALENT)
13.07/5.17	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
13.07/5.17	
13.07/5.17	From the DPs we obtained the following set of size-change graphs:
13.07/5.17	*new_primPlusInt(xy24, Succ(xy250)) -> new_primPlusInt(xy24, xy250)
13.07/5.17	The graph contains the following edges 1 >= 1, 2 > 2
13.07/5.17	
13.07/5.17	
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(13)
13.07/5.17	YES
13.07/5.17	
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(14)
13.07/5.17	Obligation:
13.07/5.17	Q DP problem:
13.07/5.17	The TRS P consists of the following rules:
13.07/5.17	
13.07/5.17	   new_primPlusInt2(xy35, xy36, Succ(xy370), Succ(xy380)) -> new_primPlusInt2(xy35, xy36, xy370, xy380)
13.07/5.17	
13.07/5.17	R is empty.
13.07/5.17	Q is empty.
13.07/5.17	We have to consider all minimal (P,Q,R)-chains.
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(15) QDPSizeChangeProof (EQUIVALENT)
13.07/5.17	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
13.07/5.17	
13.07/5.17	From the DPs we obtained the following set of size-change graphs:
13.07/5.17	*new_primPlusInt2(xy35, xy36, Succ(xy370), Succ(xy380)) -> new_primPlusInt2(xy35, xy36, xy370, xy380)
13.07/5.17	The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4
13.07/5.17	
13.07/5.17	
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(16)
13.07/5.17	YES
13.07/5.17	
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(17)
13.07/5.17	Obligation:
13.07/5.17	Q DP problem:
13.07/5.17	The TRS P consists of the following rules:
13.07/5.17	
13.07/5.17	   new_rangeSize1(xy17, xy18, Succ(xy190), Succ(xy200), h) -> new_rangeSize1(xy17, xy18, xy190, xy200, h)
13.07/5.17	
13.07/5.17	R is empty.
13.07/5.17	Q is empty.
13.07/5.17	We have to consider all minimal (P,Q,R)-chains.
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(18) QDPSizeChangeProof (EQUIVALENT)
13.07/5.17	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
13.07/5.17	
13.07/5.17	From the DPs we obtained the following set of size-change graphs:
13.07/5.17	*new_rangeSize1(xy17, xy18, Succ(xy190), Succ(xy200), h) -> new_rangeSize1(xy17, xy18, xy190, xy200, h)
13.07/5.17	The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4, 5 >= 5
13.07/5.17	
13.07/5.17	
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(19)
13.07/5.17	YES
13.07/5.17	
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(20)
13.07/5.17	Obligation:
13.07/5.17	Q DP problem:
13.07/5.17	The TRS P consists of the following rules:
13.07/5.17	
13.07/5.17	   new_primPlusInt0(Succ(xy440), Succ(xy430)) -> new_primPlusInt0(xy440, xy430)
13.07/5.17	
13.07/5.17	R is empty.
13.07/5.17	Q is empty.
13.07/5.17	We have to consider all minimal (P,Q,R)-chains.
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(21) QDPSizeChangeProof (EQUIVALENT)
13.07/5.17	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
13.07/5.17	
13.07/5.17	From the DPs we obtained the following set of size-change graphs:
13.07/5.17	*new_primPlusInt0(Succ(xy440), Succ(xy430)) -> new_primPlusInt0(xy440, xy430)
13.07/5.17	The graph contains the following edges 1 > 1, 2 > 2
13.07/5.17	
13.07/5.17	
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(22)
13.07/5.17	YES
13.07/5.17	
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(23)
13.07/5.17	Obligation:
13.07/5.17	Q DP problem:
13.07/5.17	The TRS P consists of the following rules:
13.07/5.17	
13.07/5.17	   new_primPlusInt1(xy43, xy44, Succ(xy450)) -> new_primPlusInt1(xy43, xy44, xy450)
13.07/5.17	
13.07/5.17	R is empty.
13.07/5.17	Q is empty.
13.07/5.17	We have to consider all minimal (P,Q,R)-chains.
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(24) QDPSizeChangeProof (EQUIVALENT)
13.07/5.17	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
13.07/5.17	
13.07/5.17	From the DPs we obtained the following set of size-change graphs:
13.07/5.17	*new_primPlusInt1(xy43, xy44, Succ(xy450)) -> new_primPlusInt1(xy43, xy44, xy450)
13.07/5.17	The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3
13.07/5.17	
13.07/5.17	
13.07/5.17	----------------------------------------
13.07/5.17	
13.07/5.17	(25)
13.07/5.17	YES
13.21/5.20	EOF