12.53/4.93 YES 14.62/5.48 proof of /export/starexec/sandbox2/benchmark/theBenchmark.hs 14.62/5.48 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 14.62/5.48 14.62/5.48 14.62/5.48 H-Termination with start terms of the given HASKELL could be proven: 14.62/5.48 14.62/5.48 (0) HASKELL 14.62/5.48 (1) BR [EQUIVALENT, 0 ms] 14.62/5.48 (2) HASKELL 14.62/5.48 (3) COR [EQUIVALENT, 0 ms] 14.62/5.48 (4) HASKELL 14.62/5.48 (5) NumRed [SOUND, 0 ms] 14.62/5.48 (6) HASKELL 14.62/5.48 (7) Narrow [SOUND, 0 ms] 14.62/5.48 (8) AND 14.62/5.48 (9) QDP 14.62/5.48 (10) QDPSizeChangeProof [EQUIVALENT, 0 ms] 14.62/5.48 (11) YES 14.62/5.48 (12) QDP 14.62/5.48 (13) QDPSizeChangeProof [EQUIVALENT, 0 ms] 14.62/5.48 (14) YES 14.62/5.48 (15) QDP 14.62/5.48 (16) QDPSizeChangeProof [EQUIVALENT, 0 ms] 14.62/5.48 (17) YES 14.62/5.48 (18) QDP 14.62/5.48 (19) QDPSizeChangeProof [EQUIVALENT, 0 ms] 14.62/5.48 (20) YES 14.62/5.48 (21) QDP 14.62/5.48 (22) QDPSizeChangeProof [EQUIVALENT, 0 ms] 14.62/5.48 (23) YES 14.62/5.48 (24) QDP 14.62/5.48 (25) QDPSizeChangeProof [EQUIVALENT, 0 ms] 14.62/5.48 (26) YES 14.62/5.48 (27) QDP 14.62/5.48 (28) QDPSizeChangeProof [EQUIVALENT, 0 ms] 14.62/5.48 (29) YES 14.62/5.48 (30) QDP 14.62/5.48 (31) QDPSizeChangeProof [EQUIVALENT, 0 ms] 14.62/5.48 (32) YES 14.62/5.48 (33) QDP 14.62/5.48 (34) QDPSizeChangeProof [EQUIVALENT, 0 ms] 14.62/5.48 (35) YES 14.62/5.48 (36) QDP 14.62/5.48 (37) QDPSizeChangeProof [EQUIVALENT, 0 ms] 14.62/5.48 (38) YES 14.62/5.48 (39) QDP 14.62/5.48 (40) QDPSizeChangeProof [EQUIVALENT, 0 ms] 14.62/5.48 (41) YES 14.62/5.48 14.62/5.48 14.62/5.48 ---------------------------------------- 14.62/5.48 14.62/5.48 (0) 14.62/5.48 Obligation: 14.62/5.48 mainModule Main 14.62/5.48 module Main where { 14.62/5.48 import qualified Prelude; 14.62/5.48 } 14.62/5.48 14.62/5.48 ---------------------------------------- 14.62/5.48 14.62/5.48 (1) BR (EQUIVALENT) 14.62/5.48 Replaced joker patterns by fresh variables and removed binding patterns. 14.62/5.48 14.62/5.48 Binding Reductions: 14.62/5.48 The bind variable of the following binding Pattern 14.62/5.48 "r@(vv,vw)" 14.62/5.48 is replaced by the following term 14.62/5.48 "(vv,vw)" 14.62/5.48 The bind variable of the following binding Pattern 14.62/5.48 "b@(vy,vz)" 14.62/5.48 is replaced by the following term 14.62/5.48 "(vy,vz)" 14.62/5.48 14.62/5.48 ---------------------------------------- 14.62/5.48 14.62/5.48 (2) 14.62/5.48 Obligation: 14.62/5.48 mainModule Main 14.62/5.48 module Main where { 14.62/5.48 import qualified Prelude; 14.62/5.48 } 14.62/5.48 14.62/5.48 ---------------------------------------- 14.62/5.48 14.62/5.48 (3) COR (EQUIVALENT) 14.62/5.48 Cond Reductions: 14.62/5.48 The following Function with conditions 14.62/5.48 "rangeSize (vv,vw)|null (range (vv,vw))0|otherwiseindex (vv,vw) vw + 1; 14.62/5.48 " 14.62/5.48 is transformed to 14.62/5.48 "rangeSize (vv,vw) = rangeSize2 (vv,vw); 14.62/5.48 " 14.62/5.48 "rangeSize1 vv vw True = 0; 14.62/5.48 rangeSize1 vv vw False = rangeSize0 vv vw otherwise; 14.62/5.48 " 14.62/5.48 "rangeSize0 vv vw True = index (vv,vw) vw + 1; 14.62/5.48 " 14.62/5.48 "rangeSize2 (vv,vw) = rangeSize1 vv vw (null (range (vv,vw))); 14.62/5.48 " 14.62/5.48 The following Function with conditions 14.62/5.48 "index (vy,vz) i|inRange (vy,vz) ii - vy|otherwiseerror []; 14.62/5.48 " 14.62/5.48 is transformed to 14.62/5.48 "index (vy,vz) i = index2 (vy,vz) i; 14.62/5.48 " 14.62/5.48 "index0 vy vz i True = error []; 14.62/5.48 " 14.62/5.48 "index1 vy vz i True = i - vy; 14.62/5.48 index1 vy vz i False = index0 vy vz i otherwise; 14.62/5.48 " 14.62/5.48 "index2 (vy,vz) i = index1 vy vz i (inRange (vy,vz) i); 14.62/5.48 " 14.62/5.48 The following Function with conditions 14.62/5.48 "takeWhile p [] = []; 14.62/5.48 takeWhile p (x : xs)|p xx : takeWhile p xs|otherwise[]; 14.62/5.48 " 14.62/5.48 is transformed to 14.62/5.48 "takeWhile p [] = takeWhile3 p []; 14.62/5.48 takeWhile p (x : xs) = takeWhile2 p (x : xs); 14.62/5.48 " 14.62/5.48 "takeWhile0 p x xs True = []; 14.62/5.48 " 14.62/5.48 "takeWhile1 p x xs True = x : takeWhile p xs; 14.62/5.48 takeWhile1 p x xs False = takeWhile0 p x xs otherwise; 14.62/5.48 " 14.62/5.48 "takeWhile2 p (x : xs) = takeWhile1 p x xs (p x); 14.62/5.48 " 14.62/5.48 "takeWhile3 p [] = []; 14.62/5.48 takeWhile3 xv xw = takeWhile2 xv xw; 14.62/5.48 " 14.62/5.48 The following Function with conditions 14.62/5.48 "undefined |Falseundefined; 14.62/5.48 " 14.62/5.48 is transformed to 14.62/5.48 "undefined = undefined1; 14.62/5.48 " 14.62/5.48 "undefined0 True = undefined; 14.62/5.48 " 14.62/5.48 "undefined1 = undefined0 False; 14.62/5.48 " 14.62/5.48 14.62/5.48 ---------------------------------------- 14.62/5.48 14.62/5.48 (4) 14.62/5.48 Obligation: 14.62/5.48 mainModule Main 14.62/5.48 module Main where { 14.62/5.48 import qualified Prelude; 14.62/5.48 } 14.62/5.48 14.62/5.48 ---------------------------------------- 14.62/5.48 14.62/5.48 (5) NumRed (SOUND) 14.62/5.48 Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero. 14.62/5.48 ---------------------------------------- 14.62/5.48 14.62/5.48 (6) 14.62/5.48 Obligation: 14.62/5.48 mainModule Main 14.62/5.48 module Main where { 14.62/5.48 import qualified Prelude; 14.62/5.48 } 14.62/5.48 14.62/5.48 ---------------------------------------- 14.62/5.48 14.62/5.48 (7) Narrow (SOUND) 14.62/5.48 Haskell To QDPs 14.62/5.48 14.62/5.48 digraph dp_graph { 14.62/5.48 node [outthreshold=100, inthreshold=100];1[label="rangeSize",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3]; 14.62/5.48 3[label="rangeSize xx3",fontsize=16,color="burlywood",shape="triangle"];2513[label="xx3/(xx30,xx31)",fontsize=10,color="white",style="solid",shape="box"];3 -> 2513[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2513 -> 4[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 4[label="rangeSize (xx30,xx31)",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3]; 14.62/5.48 5[label="rangeSize2 (xx30,xx31)",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3]; 14.62/5.48 6[label="rangeSize1 xx30 xx31 (null (range (xx30,xx31)))",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3]; 14.62/5.48 7[label="rangeSize1 xx30 xx31 (null (enumFromTo xx30 xx31))",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3]; 14.62/5.48 8[label="rangeSize1 xx30 xx31 (null (numericEnumFromTo xx30 xx31))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3]; 14.62/5.48 9[label="rangeSize1 xx30 xx31 (null (takeWhile (flip (<=) xx31) (numericEnumFrom xx30)))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3]; 14.62/5.48 10[label="rangeSize1 xx30 xx31 (null (takeWhile (flip (<=) xx31) (xx30 : (numericEnumFrom $! xx30 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3]; 14.62/5.48 11[label="rangeSize1 xx30 xx31 (null (takeWhile2 (flip (<=) xx31) (xx30 : (numericEnumFrom $! xx30 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3]; 14.62/5.48 12[label="rangeSize1 xx30 xx31 (null (takeWhile1 (flip (<=) xx31) xx30 (numericEnumFrom $! xx30 + fromInt (Pos (Succ Zero))) (flip (<=) xx31 xx30)))",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3]; 14.62/5.48 13[label="rangeSize1 xx30 xx31 (null (takeWhile1 (flip (<=) xx31) xx30 (numericEnumFrom $! xx30 + fromInt (Pos (Succ Zero))) ((<=) xx30 xx31)))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3]; 14.62/5.48 14[label="rangeSize1 xx30 xx31 (null (takeWhile1 (flip (<=) xx31) xx30 (numericEnumFrom $! xx30 + fromInt (Pos (Succ Zero))) (compare xx30 xx31 /= GT)))",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3]; 14.62/5.48 15[label="rangeSize1 xx30 xx31 (null (takeWhile1 (flip (<=) xx31) xx30 (numericEnumFrom $! xx30 + fromInt (Pos (Succ Zero))) (not (compare xx30 xx31 == GT))))",fontsize=16,color="black",shape="box"];15 -> 16[label="",style="solid", color="black", weight=3]; 14.62/5.48 16[label="rangeSize1 xx30 xx31 (null (takeWhile1 (flip (<=) xx31) xx30 (numericEnumFrom $! xx30 + fromInt (Pos (Succ Zero))) (not (primCmpInt xx30 xx31 == GT))))",fontsize=16,color="burlywood",shape="box"];2514[label="xx30/Pos xx300",fontsize=10,color="white",style="solid",shape="box"];16 -> 2514[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2514 -> 17[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2515[label="xx30/Neg xx300",fontsize=10,color="white",style="solid",shape="box"];16 -> 2515[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2515 -> 18[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 17[label="rangeSize1 (Pos xx300) xx31 (null (takeWhile1 (flip (<=) xx31) (Pos xx300) (numericEnumFrom $! Pos xx300 + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos xx300) xx31 == GT))))",fontsize=16,color="burlywood",shape="box"];2516[label="xx300/Succ xx3000",fontsize=10,color="white",style="solid",shape="box"];17 -> 2516[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2516 -> 19[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2517[label="xx300/Zero",fontsize=10,color="white",style="solid",shape="box"];17 -> 2517[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2517 -> 20[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 18[label="rangeSize1 (Neg xx300) xx31 (null (takeWhile1 (flip (<=) xx31) (Neg xx300) (numericEnumFrom $! Neg xx300 + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg xx300) xx31 == GT))))",fontsize=16,color="burlywood",shape="box"];2518[label="xx300/Succ xx3000",fontsize=10,color="white",style="solid",shape="box"];18 -> 2518[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2518 -> 21[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2519[label="xx300/Zero",fontsize=10,color="white",style="solid",shape="box"];18 -> 2519[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2519 -> 22[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 19[label="rangeSize1 (Pos (Succ xx3000)) xx31 (null (takeWhile1 (flip (<=) xx31) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ xx3000)) xx31 == GT))))",fontsize=16,color="burlywood",shape="box"];2520[label="xx31/Pos xx310",fontsize=10,color="white",style="solid",shape="box"];19 -> 2520[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2520 -> 23[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2521[label="xx31/Neg xx310",fontsize=10,color="white",style="solid",shape="box"];19 -> 2521[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2521 -> 24[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 20[label="rangeSize1 (Pos Zero) xx31 (null (takeWhile1 (flip (<=) xx31) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) xx31 == GT))))",fontsize=16,color="burlywood",shape="box"];2522[label="xx31/Pos xx310",fontsize=10,color="white",style="solid",shape="box"];20 -> 2522[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2522 -> 25[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2523[label="xx31/Neg xx310",fontsize=10,color="white",style="solid",shape="box"];20 -> 2523[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2523 -> 26[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 21[label="rangeSize1 (Neg (Succ xx3000)) xx31 (null (takeWhile1 (flip (<=) xx31) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg (Succ xx3000)) xx31 == GT))))",fontsize=16,color="burlywood",shape="box"];2524[label="xx31/Pos xx310",fontsize=10,color="white",style="solid",shape="box"];21 -> 2524[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2524 -> 27[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2525[label="xx31/Neg xx310",fontsize=10,color="white",style="solid",shape="box"];21 -> 2525[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2525 -> 28[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 22[label="rangeSize1 (Neg Zero) xx31 (null (takeWhile1 (flip (<=) xx31) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg Zero) xx31 == GT))))",fontsize=16,color="burlywood",shape="box"];2526[label="xx31/Pos xx310",fontsize=10,color="white",style="solid",shape="box"];22 -> 2526[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2526 -> 29[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2527[label="xx31/Neg xx310",fontsize=10,color="white",style="solid",shape="box"];22 -> 2527[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2527 -> 30[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 23[label="rangeSize1 (Pos (Succ xx3000)) (Pos xx310) (null (takeWhile1 (flip (<=) (Pos xx310)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ xx3000)) (Pos xx310) == GT))))",fontsize=16,color="black",shape="box"];23 -> 31[label="",style="solid", color="black", weight=3]; 14.62/5.48 24[label="rangeSize1 (Pos (Succ xx3000)) (Neg xx310) (null (takeWhile1 (flip (<=) (Neg xx310)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ xx3000)) (Neg xx310) == GT))))",fontsize=16,color="black",shape="box"];24 -> 32[label="",style="solid", color="black", weight=3]; 14.62/5.48 25[label="rangeSize1 (Pos Zero) (Pos xx310) (null (takeWhile1 (flip (<=) (Pos xx310)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Pos xx310) == GT))))",fontsize=16,color="burlywood",shape="box"];2528[label="xx310/Succ xx3100",fontsize=10,color="white",style="solid",shape="box"];25 -> 2528[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2528 -> 33[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2529[label="xx310/Zero",fontsize=10,color="white",style="solid",shape="box"];25 -> 2529[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2529 -> 34[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 26[label="rangeSize1 (Pos Zero) (Neg xx310) (null (takeWhile1 (flip (<=) (Neg xx310)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Neg xx310) == GT))))",fontsize=16,color="burlywood",shape="box"];2530[label="xx310/Succ xx3100",fontsize=10,color="white",style="solid",shape="box"];26 -> 2530[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2530 -> 35[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2531[label="xx310/Zero",fontsize=10,color="white",style="solid",shape="box"];26 -> 2531[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2531 -> 36[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 27[label="rangeSize1 (Neg (Succ xx3000)) (Pos xx310) (null (takeWhile1 (flip (<=) (Pos xx310)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg (Succ xx3000)) (Pos xx310) == GT))))",fontsize=16,color="black",shape="box"];27 -> 37[label="",style="solid", color="black", weight=3]; 14.62/5.48 28[label="rangeSize1 (Neg (Succ xx3000)) (Neg xx310) (null (takeWhile1 (flip (<=) (Neg xx310)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg (Succ xx3000)) (Neg xx310) == GT))))",fontsize=16,color="black",shape="box"];28 -> 38[label="",style="solid", color="black", weight=3]; 14.62/5.48 29[label="rangeSize1 (Neg Zero) (Pos xx310) (null (takeWhile1 (flip (<=) (Pos xx310)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg Zero) (Pos xx310) == GT))))",fontsize=16,color="burlywood",shape="box"];2532[label="xx310/Succ xx3100",fontsize=10,color="white",style="solid",shape="box"];29 -> 2532[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2532 -> 39[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2533[label="xx310/Zero",fontsize=10,color="white",style="solid",shape="box"];29 -> 2533[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2533 -> 40[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 30[label="rangeSize1 (Neg Zero) (Neg xx310) (null (takeWhile1 (flip (<=) (Neg xx310)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg Zero) (Neg xx310) == GT))))",fontsize=16,color="burlywood",shape="box"];2534[label="xx310/Succ xx3100",fontsize=10,color="white",style="solid",shape="box"];30 -> 2534[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2534 -> 41[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2535[label="xx310/Zero",fontsize=10,color="white",style="solid",shape="box"];30 -> 2535[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2535 -> 42[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 31[label="rangeSize1 (Pos (Succ xx3000)) (Pos xx310) (null (takeWhile1 (flip (<=) (Pos xx310)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx3000) xx310 == GT))))",fontsize=16,color="burlywood",shape="box"];2536[label="xx310/Succ xx3100",fontsize=10,color="white",style="solid",shape="box"];31 -> 2536[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2536 -> 43[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2537[label="xx310/Zero",fontsize=10,color="white",style="solid",shape="box"];31 -> 2537[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2537 -> 44[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 32[label="rangeSize1 (Pos (Succ xx3000)) (Neg xx310) (null (takeWhile1 (flip (<=) (Neg xx310)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (GT == GT))))",fontsize=16,color="black",shape="box"];32 -> 45[label="",style="solid", color="black", weight=3]; 14.62/5.48 33[label="rangeSize1 (Pos Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Pos (Succ xx3100)) == GT))))",fontsize=16,color="black",shape="box"];33 -> 46[label="",style="solid", color="black", weight=3]; 14.62/5.48 34[label="rangeSize1 (Pos Zero) (Pos Zero) (null (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"];34 -> 47[label="",style="solid", color="black", weight=3]; 14.62/5.48 35[label="rangeSize1 (Pos Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Neg (Succ xx3100)) == GT))))",fontsize=16,color="black",shape="box"];35 -> 48[label="",style="solid", color="black", weight=3]; 14.62/5.48 36[label="rangeSize1 (Pos Zero) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Neg Zero) == GT))))",fontsize=16,color="black",shape="box"];36 -> 49[label="",style="solid", color="black", weight=3]; 14.62/5.48 37[label="rangeSize1 (Neg (Succ xx3000)) (Pos xx310) (null (takeWhile1 (flip (<=) (Pos xx310)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (LT == GT))))",fontsize=16,color="black",shape="box"];37 -> 50[label="",style="solid", color="black", weight=3]; 14.62/5.48 38[label="rangeSize1 (Neg (Succ xx3000)) (Neg xx310) (null (takeWhile1 (flip (<=) (Neg xx310)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat xx310 (Succ xx3000) == GT))))",fontsize=16,color="burlywood",shape="box"];2538[label="xx310/Succ xx3100",fontsize=10,color="white",style="solid",shape="box"];38 -> 2538[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2538 -> 51[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2539[label="xx310/Zero",fontsize=10,color="white",style="solid",shape="box"];38 -> 2539[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2539 -> 52[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 39[label="rangeSize1 (Neg Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg Zero) (Pos (Succ xx3100)) == GT))))",fontsize=16,color="black",shape="box"];39 -> 53[label="",style="solid", color="black", weight=3]; 14.62/5.48 40[label="rangeSize1 (Neg Zero) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg Zero) (Pos Zero) == GT))))",fontsize=16,color="black",shape="box"];40 -> 54[label="",style="solid", color="black", weight=3]; 14.62/5.48 41[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg Zero) (Neg (Succ xx3100)) == GT))))",fontsize=16,color="black",shape="box"];41 -> 55[label="",style="solid", color="black", weight=3]; 14.62/5.48 42[label="rangeSize1 (Neg Zero) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg Zero) (Neg Zero) == GT))))",fontsize=16,color="black",shape="box"];42 -> 56[label="",style="solid", color="black", weight=3]; 14.62/5.48 43[label="rangeSize1 (Pos (Succ xx3000)) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx3000) (Succ xx3100) == GT))))",fontsize=16,color="black",shape="box"];43 -> 57[label="",style="solid", color="black", weight=3]; 14.62/5.48 44[label="rangeSize1 (Pos (Succ xx3000)) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx3000) Zero == GT))))",fontsize=16,color="black",shape="box"];44 -> 58[label="",style="solid", color="black", weight=3]; 14.62/5.48 45[label="rangeSize1 (Pos (Succ xx3000)) (Neg xx310) (null (takeWhile1 (flip (<=) (Neg xx310)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not True)))",fontsize=16,color="black",shape="box"];45 -> 59[label="",style="solid", color="black", weight=3]; 14.62/5.48 46[label="rangeSize1 (Pos Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero (Succ xx3100) == GT))))",fontsize=16,color="black",shape="box"];46 -> 60[label="",style="solid", color="black", weight=3]; 14.62/5.48 47[label="rangeSize1 (Pos Zero) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (EQ == GT))))",fontsize=16,color="black",shape="box"];47 -> 61[label="",style="solid", color="black", weight=3]; 14.62/5.48 48[label="rangeSize1 (Pos Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (GT == GT))))",fontsize=16,color="black",shape="box"];48 -> 62[label="",style="solid", color="black", weight=3]; 14.62/5.48 49[label="rangeSize1 (Pos Zero) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (EQ == GT))))",fontsize=16,color="black",shape="box"];49 -> 63[label="",style="solid", color="black", weight=3]; 14.62/5.48 50[label="rangeSize1 (Neg (Succ xx3000)) (Pos xx310) (null (takeWhile1 (flip (<=) (Pos xx310)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="box"];50 -> 64[label="",style="solid", color="black", weight=3]; 14.62/5.48 51[label="rangeSize1 (Neg (Succ xx3000)) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx3100) (Succ xx3000) == GT))))",fontsize=16,color="black",shape="box"];51 -> 65[label="",style="solid", color="black", weight=3]; 14.62/5.48 52[label="rangeSize1 (Neg (Succ xx3000)) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero (Succ xx3000) == GT))))",fontsize=16,color="black",shape="box"];52 -> 66[label="",style="solid", color="black", weight=3]; 14.62/5.48 53[label="rangeSize1 (Neg Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (LT == GT))))",fontsize=16,color="black",shape="box"];53 -> 67[label="",style="solid", color="black", weight=3]; 14.62/5.48 54[label="rangeSize1 (Neg Zero) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (EQ == GT))))",fontsize=16,color="black",shape="box"];54 -> 68[label="",style="solid", color="black", weight=3]; 14.62/5.48 55[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx3100) Zero == GT))))",fontsize=16,color="black",shape="box"];55 -> 69[label="",style="solid", color="black", weight=3]; 14.62/5.48 56[label="rangeSize1 (Neg Zero) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (EQ == GT))))",fontsize=16,color="black",shape="box"];56 -> 70[label="",style="solid", color="black", weight=3]; 14.62/5.48 57 -> 778[label="",style="dashed", color="red", weight=0]; 14.62/5.48 57[label="rangeSize1 (Pos (Succ xx3000)) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat xx3000 xx3100 == GT))))",fontsize=16,color="magenta"];57 -> 779[label="",style="dashed", color="magenta", weight=3]; 14.62/5.48 57 -> 780[label="",style="dashed", color="magenta", weight=3]; 14.62/5.48 57 -> 781[label="",style="dashed", color="magenta", weight=3]; 14.62/5.48 57 -> 782[label="",style="dashed", color="magenta", weight=3]; 14.62/5.48 58[label="rangeSize1 (Pos (Succ xx3000)) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (GT == GT))))",fontsize=16,color="black",shape="box"];58 -> 73[label="",style="solid", color="black", weight=3]; 14.62/5.48 59[label="rangeSize1 (Pos (Succ xx3000)) (Neg xx310) (null (takeWhile1 (flip (<=) (Neg xx310)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) False))",fontsize=16,color="black",shape="box"];59 -> 74[label="",style="solid", color="black", weight=3]; 14.62/5.48 60[label="rangeSize1 (Pos Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (LT == GT))))",fontsize=16,color="black",shape="box"];60 -> 75[label="",style="solid", color="black", weight=3]; 14.62/5.48 61[label="rangeSize1 (Pos Zero) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="box"];61 -> 76[label="",style="solid", color="black", weight=3]; 14.62/5.48 62[label="rangeSize1 (Pos Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not True)))",fontsize=16,color="black",shape="box"];62 -> 77[label="",style="solid", color="black", weight=3]; 14.62/5.48 63[label="rangeSize1 (Pos Zero) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="box"];63 -> 78[label="",style="solid", color="black", weight=3]; 14.62/5.48 64[label="rangeSize1 (Neg (Succ xx3000)) (Pos xx310) (null (takeWhile1 (flip (<=) (Pos xx310)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];64 -> 79[label="",style="solid", color="black", weight=3]; 14.62/5.48 65 -> 913[label="",style="dashed", color="red", weight=0]; 14.62/5.48 65[label="rangeSize1 (Neg (Succ xx3000)) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat xx3100 xx3000 == GT))))",fontsize=16,color="magenta"];65 -> 914[label="",style="dashed", color="magenta", weight=3]; 14.62/5.48 65 -> 915[label="",style="dashed", color="magenta", weight=3]; 14.62/5.48 65 -> 916[label="",style="dashed", color="magenta", weight=3]; 14.62/5.48 65 -> 917[label="",style="dashed", color="magenta", weight=3]; 14.62/5.48 66[label="rangeSize1 (Neg (Succ xx3000)) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (LT == GT))))",fontsize=16,color="black",shape="box"];66 -> 82[label="",style="solid", color="black", weight=3]; 14.62/5.48 67[label="rangeSize1 (Neg Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="box"];67 -> 83[label="",style="solid", color="black", weight=3]; 14.62/5.48 68[label="rangeSize1 (Neg Zero) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="box"];68 -> 84[label="",style="solid", color="black", weight=3]; 14.62/5.48 69[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (GT == GT))))",fontsize=16,color="black",shape="box"];69 -> 85[label="",style="solid", color="black", weight=3]; 14.62/5.48 70[label="rangeSize1 (Neg Zero) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="box"];70 -> 86[label="",style="solid", color="black", weight=3]; 14.62/5.48 779[label="xx3100",fontsize=16,color="green",shape="box"];780[label="xx3100",fontsize=16,color="green",shape="box"];781[label="xx3000",fontsize=16,color="green",shape="box"];782[label="xx3000",fontsize=16,color="green",shape="box"];778[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (primCmpNat xx47 xx48 == GT))))",fontsize=16,color="burlywood",shape="triangle"];2540[label="xx47/Succ xx470",fontsize=10,color="white",style="solid",shape="box"];778 -> 2540[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2540 -> 815[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2541[label="xx47/Zero",fontsize=10,color="white",style="solid",shape="box"];778 -> 2541[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2541 -> 816[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 73[label="rangeSize1 (Pos (Succ xx3000)) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not True)))",fontsize=16,color="black",shape="box"];73 -> 91[label="",style="solid", color="black", weight=3]; 14.62/5.48 74[label="rangeSize1 (Pos (Succ xx3000)) (Neg xx310) (null (takeWhile0 (flip (<=) (Neg xx310)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) otherwise))",fontsize=16,color="black",shape="box"];74 -> 92[label="",style="solid", color="black", weight=3]; 14.62/5.48 75[label="rangeSize1 (Pos Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="box"];75 -> 93[label="",style="solid", color="black", weight=3]; 14.62/5.48 76[label="rangeSize1 (Pos Zero) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];76 -> 94[label="",style="solid", color="black", weight=3]; 14.62/5.48 77[label="rangeSize1 (Pos Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) False))",fontsize=16,color="black",shape="box"];77 -> 95[label="",style="solid", color="black", weight=3]; 14.62/5.48 78[label="rangeSize1 (Pos Zero) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];78 -> 96[label="",style="solid", color="black", weight=3]; 14.62/5.48 79[label="rangeSize1 (Neg (Succ xx3000)) (Pos xx310) (null (Neg (Succ xx3000) : takeWhile (flip (<=) (Pos xx310)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];79 -> 97[label="",style="solid", color="black", weight=3]; 14.62/5.48 914[label="xx3000",fontsize=16,color="green",shape="box"];915[label="xx3100",fontsize=16,color="green",shape="box"];916[label="xx3100",fontsize=16,color="green",shape="box"];917[label="xx3000",fontsize=16,color="green",shape="box"];913[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (primCmpNat xx55 xx56 == GT))))",fontsize=16,color="burlywood",shape="triangle"];2542[label="xx55/Succ xx550",fontsize=10,color="white",style="solid",shape="box"];913 -> 2542[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2542 -> 954[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2543[label="xx55/Zero",fontsize=10,color="white",style="solid",shape="box"];913 -> 2543[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2543 -> 955[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 82[label="rangeSize1 (Neg (Succ xx3000)) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="box"];82 -> 102[label="",style="solid", color="black", weight=3]; 14.62/5.48 83[label="rangeSize1 (Neg Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];83 -> 103[label="",style="solid", color="black", weight=3]; 14.62/5.48 84[label="rangeSize1 (Neg Zero) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];84 -> 104[label="",style="solid", color="black", weight=3]; 14.62/5.48 85[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not True)))",fontsize=16,color="black",shape="box"];85 -> 105[label="",style="solid", color="black", weight=3]; 14.62/5.48 86[label="rangeSize1 (Neg Zero) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];86 -> 106[label="",style="solid", color="black", weight=3]; 14.62/5.48 815[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx470) xx48 == GT))))",fontsize=16,color="burlywood",shape="box"];2544[label="xx48/Succ xx480",fontsize=10,color="white",style="solid",shape="box"];815 -> 2544[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2544 -> 846[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2545[label="xx48/Zero",fontsize=10,color="white",style="solid",shape="box"];815 -> 2545[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2545 -> 847[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 816[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero xx48 == GT))))",fontsize=16,color="burlywood",shape="box"];2546[label="xx48/Succ xx480",fontsize=10,color="white",style="solid",shape="box"];816 -> 2546[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2546 -> 848[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2547[label="xx48/Zero",fontsize=10,color="white",style="solid",shape="box"];816 -> 2547[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2547 -> 849[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 91[label="rangeSize1 (Pos (Succ xx3000)) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) False))",fontsize=16,color="black",shape="box"];91 -> 111[label="",style="solid", color="black", weight=3]; 14.62/5.48 92[label="rangeSize1 (Pos (Succ xx3000)) (Neg xx310) (null (takeWhile0 (flip (<=) (Neg xx310)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];92 -> 112[label="",style="solid", color="black", weight=3]; 14.62/5.48 93[label="rangeSize1 (Pos Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];93 -> 113[label="",style="solid", color="black", weight=3]; 14.62/5.48 94[label="rangeSize1 (Pos Zero) (Pos Zero) (null (Pos Zero : takeWhile (flip (<=) (Pos Zero)) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];94 -> 114[label="",style="solid", color="black", weight=3]; 14.62/5.48 95[label="rangeSize1 (Pos Zero) (Neg (Succ xx3100)) (null (takeWhile0 (flip (<=) (Neg (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) otherwise))",fontsize=16,color="black",shape="box"];95 -> 115[label="",style="solid", color="black", weight=3]; 14.62/5.48 96[label="rangeSize1 (Pos Zero) (Neg Zero) (null (Pos Zero : takeWhile (flip (<=) (Neg Zero)) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];96 -> 116[label="",style="solid", color="black", weight=3]; 14.62/5.48 97[label="rangeSize1 (Neg (Succ xx3000)) (Pos xx310) False",fontsize=16,color="black",shape="box"];97 -> 117[label="",style="solid", color="black", weight=3]; 14.62/5.48 954[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx550) xx56 == GT))))",fontsize=16,color="burlywood",shape="box"];2548[label="xx56/Succ xx560",fontsize=10,color="white",style="solid",shape="box"];954 -> 2548[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2548 -> 974[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2549[label="xx56/Zero",fontsize=10,color="white",style="solid",shape="box"];954 -> 2549[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2549 -> 975[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 955[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero xx56 == GT))))",fontsize=16,color="burlywood",shape="box"];2550[label="xx56/Succ xx560",fontsize=10,color="white",style="solid",shape="box"];955 -> 2550[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2550 -> 976[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 2551[label="xx56/Zero",fontsize=10,color="white",style="solid",shape="box"];955 -> 2551[label="",style="solid", color="burlywood", weight=9]; 14.62/5.48 2551 -> 977[label="",style="solid", color="burlywood", weight=3]; 14.62/5.48 102[label="rangeSize1 (Neg (Succ xx3000)) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];102 -> 122[label="",style="solid", color="black", weight=3]; 14.62/5.48 103[label="rangeSize1 (Neg Zero) (Pos (Succ xx3100)) (null (Neg Zero : takeWhile (flip (<=) (Pos (Succ xx3100))) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];103 -> 123[label="",style="solid", color="black", weight=3]; 14.62/5.48 104[label="rangeSize1 (Neg Zero) (Pos Zero) (null (Neg Zero : takeWhile (flip (<=) (Pos Zero)) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];104 -> 124[label="",style="solid", color="black", weight=3]; 14.62/5.48 105[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) False))",fontsize=16,color="black",shape="box"];105 -> 125[label="",style="solid", color="black", weight=3]; 14.62/5.48 106[label="rangeSize1 (Neg Zero) (Neg Zero) (null (Neg Zero : takeWhile (flip (<=) (Neg Zero)) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];106 -> 126[label="",style="solid", color="black", weight=3]; 14.62/5.48 846[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx470) (Succ xx480) == GT))))",fontsize=16,color="black",shape="box"];846 -> 869[label="",style="solid", color="black", weight=3]; 14.62/5.48 847[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx470) Zero == GT))))",fontsize=16,color="black",shape="box"];847 -> 870[label="",style="solid", color="black", weight=3]; 14.62/5.48 848[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero (Succ xx480) == GT))))",fontsize=16,color="black",shape="box"];848 -> 871[label="",style="solid", color="black", weight=3]; 14.62/5.48 849[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero Zero == GT))))",fontsize=16,color="black",shape="box"];849 -> 872[label="",style="solid", color="black", weight=3]; 14.62/5.48 111[label="rangeSize1 (Pos (Succ xx3000)) (Pos Zero) (null (takeWhile0 (flip (<=) (Pos Zero)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) otherwise))",fontsize=16,color="black",shape="box"];111 -> 132[label="",style="solid", color="black", weight=3]; 14.62/5.48 112[label="rangeSize1 (Pos (Succ xx3000)) (Neg xx310) (null [])",fontsize=16,color="black",shape="box"];112 -> 133[label="",style="solid", color="black", weight=3]; 14.62/5.48 113[label="rangeSize1 (Pos Zero) (Pos (Succ xx3100)) (null (Pos Zero : takeWhile (flip (<=) (Pos (Succ xx3100))) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];113 -> 134[label="",style="solid", color="black", weight=3]; 14.62/5.48 114[label="rangeSize1 (Pos Zero) (Pos Zero) False",fontsize=16,color="black",shape="box"];114 -> 135[label="",style="solid", color="black", weight=3]; 14.62/5.48 115[label="rangeSize1 (Pos Zero) (Neg (Succ xx3100)) (null (takeWhile0 (flip (<=) (Neg (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];115 -> 136[label="",style="solid", color="black", weight=3]; 14.62/5.48 116[label="rangeSize1 (Pos Zero) (Neg Zero) False",fontsize=16,color="black",shape="box"];116 -> 137[label="",style="solid", color="black", weight=3]; 14.62/5.48 117[label="rangeSize0 (Neg (Succ xx3000)) (Pos xx310) otherwise",fontsize=16,color="black",shape="box"];117 -> 138[label="",style="solid", color="black", weight=3]; 14.62/5.48 974[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx550) (Succ xx560) == GT))))",fontsize=16,color="black",shape="box"];974 -> 996[label="",style="solid", color="black", weight=3]; 14.62/5.48 975[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx550) Zero == GT))))",fontsize=16,color="black",shape="box"];975 -> 997[label="",style="solid", color="black", weight=3]; 14.62/5.48 976[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero (Succ xx560) == GT))))",fontsize=16,color="black",shape="box"];976 -> 998[label="",style="solid", color="black", weight=3]; 14.62/5.48 977[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero Zero == GT))))",fontsize=16,color="black",shape="box"];977 -> 999[label="",style="solid", color="black", weight=3]; 14.62/5.48 122[label="rangeSize1 (Neg (Succ xx3000)) (Neg Zero) (null (Neg (Succ xx3000) : takeWhile (flip (<=) (Neg Zero)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];122 -> 144[label="",style="solid", color="black", weight=3]; 14.62/5.48 123[label="rangeSize1 (Neg Zero) (Pos (Succ xx3100)) False",fontsize=16,color="black",shape="box"];123 -> 145[label="",style="solid", color="black", weight=3]; 14.62/5.48 124[label="rangeSize1 (Neg Zero) (Pos Zero) False",fontsize=16,color="black",shape="box"];124 -> 146[label="",style="solid", color="black", weight=3]; 14.62/5.48 125[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) (null (takeWhile0 (flip (<=) (Neg (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) otherwise))",fontsize=16,color="black",shape="box"];125 -> 147[label="",style="solid", color="black", weight=3]; 14.62/5.48 126[label="rangeSize1 (Neg Zero) (Neg Zero) False",fontsize=16,color="black",shape="box"];126 -> 148[label="",style="solid", color="black", weight=3]; 14.62/5.48 869 -> 778[label="",style="dashed", color="red", weight=0]; 14.62/5.48 869[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (primCmpNat xx470 xx480 == GT))))",fontsize=16,color="magenta"];869 -> 893[label="",style="dashed", color="magenta", weight=3]; 14.62/5.48 869 -> 894[label="",style="dashed", color="magenta", weight=3]; 14.62/5.48 870[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (GT == GT))))",fontsize=16,color="black",shape="box"];870 -> 895[label="",style="solid", color="black", weight=3]; 14.62/5.48 871[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (LT == GT))))",fontsize=16,color="black",shape="box"];871 -> 896[label="",style="solid", color="black", weight=3]; 14.62/5.48 872[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (EQ == GT))))",fontsize=16,color="black",shape="box"];872 -> 897[label="",style="solid", color="black", weight=3]; 14.62/5.48 132[label="rangeSize1 (Pos (Succ xx3000)) (Pos Zero) (null (takeWhile0 (flip (<=) (Pos Zero)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];132 -> 156[label="",style="solid", color="black", weight=3]; 14.62/5.48 133[label="rangeSize1 (Pos (Succ xx3000)) (Neg xx310) True",fontsize=16,color="black",shape="box"];133 -> 157[label="",style="solid", color="black", weight=3]; 14.62/5.48 134[label="rangeSize1 (Pos Zero) (Pos (Succ xx3100)) False",fontsize=16,color="black",shape="box"];134 -> 158[label="",style="solid", color="black", weight=3]; 14.62/5.48 135[label="rangeSize0 (Pos Zero) (Pos Zero) otherwise",fontsize=16,color="black",shape="box"];135 -> 159[label="",style="solid", color="black", weight=3]; 14.62/5.48 136[label="rangeSize1 (Pos Zero) (Neg (Succ xx3100)) (null [])",fontsize=16,color="black",shape="box"];136 -> 160[label="",style="solid", color="black", weight=3]; 14.62/5.48 137[label="rangeSize0 (Pos Zero) (Neg Zero) otherwise",fontsize=16,color="black",shape="box"];137 -> 161[label="",style="solid", color="black", weight=3]; 14.62/5.48 138[label="rangeSize0 (Neg (Succ xx3000)) (Pos xx310) True",fontsize=16,color="black",shape="box"];138 -> 162[label="",style="solid", color="black", weight=3]; 14.62/5.48 996 -> 913[label="",style="dashed", color="red", weight=0]; 14.62/5.48 996[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (primCmpNat xx550 xx560 == GT))))",fontsize=16,color="magenta"];996 -> 1020[label="",style="dashed", color="magenta", weight=3]; 14.62/5.48 996 -> 1021[label="",style="dashed", color="magenta", weight=3]; 14.62/5.48 997[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (GT == GT))))",fontsize=16,color="black",shape="box"];997 -> 1022[label="",style="solid", color="black", weight=3]; 14.62/5.48 998[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (LT == GT))))",fontsize=16,color="black",shape="box"];998 -> 1023[label="",style="solid", color="black", weight=3]; 14.62/5.48 999[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (EQ == GT))))",fontsize=16,color="black",shape="box"];999 -> 1024[label="",style="solid", color="black", weight=3]; 14.62/5.48 144[label="rangeSize1 (Neg (Succ xx3000)) (Neg Zero) False",fontsize=16,color="black",shape="box"];144 -> 170[label="",style="solid", color="black", weight=3]; 14.62/5.48 145[label="rangeSize0 (Neg Zero) (Pos (Succ xx3100)) otherwise",fontsize=16,color="black",shape="box"];145 -> 171[label="",style="solid", color="black", weight=3]; 14.62/5.48 146[label="rangeSize0 (Neg Zero) (Pos Zero) otherwise",fontsize=16,color="black",shape="box"];146 -> 172[label="",style="solid", color="black", weight=3]; 14.62/5.48 147[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) (null (takeWhile0 (flip (<=) (Neg (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];147 -> 173[label="",style="solid", color="black", weight=3]; 14.62/5.48 148[label="rangeSize0 (Neg Zero) (Neg Zero) otherwise",fontsize=16,color="black",shape="box"];148 -> 174[label="",style="solid", color="black", weight=3]; 14.62/5.48 893[label="xx480",fontsize=16,color="green",shape="box"];894[label="xx470",fontsize=16,color="green",shape="box"];895[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not True)))",fontsize=16,color="black",shape="box"];895 -> 956[label="",style="solid", color="black", weight=3]; 14.62/5.48 896[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="triangle"];896 -> 957[label="",style="solid", color="black", weight=3]; 14.62/5.48 897 -> 896[label="",style="dashed", color="red", weight=0]; 14.62/5.48 897[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="magenta"];156[label="rangeSize1 (Pos (Succ xx3000)) (Pos Zero) (null [])",fontsize=16,color="black",shape="box"];156 -> 182[label="",style="solid", color="black", weight=3]; 14.62/5.48 157[label="Pos Zero",fontsize=16,color="green",shape="box"];158[label="rangeSize0 (Pos Zero) (Pos (Succ xx3100)) otherwise",fontsize=16,color="black",shape="box"];158 -> 183[label="",style="solid", color="black", weight=3]; 14.62/5.48 159[label="rangeSize0 (Pos Zero) (Pos Zero) True",fontsize=16,color="black",shape="box"];159 -> 184[label="",style="solid", color="black", weight=3]; 14.62/5.48 160[label="rangeSize1 (Pos Zero) (Neg (Succ xx3100)) True",fontsize=16,color="black",shape="box"];160 -> 185[label="",style="solid", color="black", weight=3]; 14.62/5.48 161[label="rangeSize0 (Pos Zero) (Neg Zero) True",fontsize=16,color="black",shape="box"];161 -> 186[label="",style="solid", color="black", weight=3]; 14.62/5.48 162[label="index (Neg (Succ xx3000),Pos xx310) (Pos xx310) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];162 -> 187[label="",style="solid", color="black", weight=3]; 14.62/5.48 1020[label="xx550",fontsize=16,color="green",shape="box"];1021[label="xx560",fontsize=16,color="green",shape="box"];1022[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not True)))",fontsize=16,color="black",shape="box"];1022 -> 1045[label="",style="solid", color="black", weight=3]; 14.62/5.48 1023[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="triangle"];1023 -> 1046[label="",style="solid", color="black", weight=3]; 14.62/5.48 1024 -> 1023[label="",style="dashed", color="red", weight=0]; 14.62/5.48 1024[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="magenta"];170[label="rangeSize0 (Neg (Succ xx3000)) (Neg Zero) otherwise",fontsize=16,color="black",shape="box"];170 -> 195[label="",style="solid", color="black", weight=3]; 14.62/5.48 171[label="rangeSize0 (Neg Zero) (Pos (Succ xx3100)) True",fontsize=16,color="black",shape="box"];171 -> 196[label="",style="solid", color="black", weight=3]; 14.62/5.48 172[label="rangeSize0 (Neg Zero) (Pos Zero) True",fontsize=16,color="black",shape="box"];172 -> 197[label="",style="solid", color="black", weight=3]; 14.62/5.48 173[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) (null [])",fontsize=16,color="black",shape="box"];173 -> 198[label="",style="solid", color="black", weight=3]; 14.62/5.48 174[label="rangeSize0 (Neg Zero) (Neg Zero) True",fontsize=16,color="black",shape="box"];174 -> 199[label="",style="solid", color="black", weight=3]; 14.62/5.48 956[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) False))",fontsize=16,color="black",shape="box"];956 -> 978[label="",style="solid", color="black", weight=3]; 14.62/5.48 957[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];957 -> 979[label="",style="solid", color="black", weight=3]; 14.62/5.48 182[label="rangeSize1 (Pos (Succ xx3000)) (Pos Zero) True",fontsize=16,color="black",shape="box"];182 -> 208[label="",style="solid", color="black", weight=3]; 14.62/5.48 183[label="rangeSize0 (Pos Zero) (Pos (Succ xx3100)) True",fontsize=16,color="black",shape="box"];183 -> 209[label="",style="solid", color="black", weight=3]; 14.62/5.48 184[label="index (Pos Zero,Pos Zero) (Pos Zero) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];184 -> 210[label="",style="solid", color="black", weight=3]; 14.62/5.48 185[label="Pos Zero",fontsize=16,color="green",shape="box"];186[label="index (Pos Zero,Neg Zero) (Neg Zero) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];186 -> 211[label="",style="solid", color="black", weight=3]; 14.62/5.48 187[label="primPlusInt (index (Neg (Succ xx3000),Pos xx310) (Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];187 -> 212[label="",style="solid", color="black", weight=3]; 14.62/5.48 1045[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) False))",fontsize=16,color="black",shape="box"];1045 -> 1067[label="",style="solid", color="black", weight=3]; 14.62/5.48 1046[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];1046 -> 1068[label="",style="solid", color="black", weight=3]; 14.62/5.48 195[label="rangeSize0 (Neg (Succ xx3000)) (Neg Zero) True",fontsize=16,color="black",shape="box"];195 -> 221[label="",style="solid", color="black", weight=3]; 14.62/5.48 196[label="index (Neg Zero,Pos (Succ xx3100)) (Pos (Succ xx3100)) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];196 -> 222[label="",style="solid", color="black", weight=3]; 14.62/5.48 197[label="index (Neg Zero,Pos Zero) (Pos Zero) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];197 -> 223[label="",style="solid", color="black", weight=3]; 14.62/5.48 198[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) True",fontsize=16,color="black",shape="box"];198 -> 224[label="",style="solid", color="black", weight=3]; 14.62/5.48 199[label="index (Neg Zero,Neg Zero) (Neg Zero) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];199 -> 225[label="",style="solid", color="black", weight=3]; 14.62/5.48 978[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile0 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) otherwise))",fontsize=16,color="black",shape="box"];978 -> 1000[label="",style="solid", color="black", weight=3]; 14.62/5.48 979[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (Pos (Succ xx45) : takeWhile (flip (<=) (Pos (Succ xx46))) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];979 -> 1001[label="",style="solid", color="black", weight=3]; 14.62/5.48 208[label="Pos Zero",fontsize=16,color="green",shape="box"];209[label="index (Pos Zero,Pos (Succ xx3100)) (Pos (Succ xx3100)) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];209 -> 236[label="",style="solid", color="black", weight=3]; 14.62/5.48 210[label="primPlusInt (index (Pos Zero,Pos Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];210 -> 237[label="",style="solid", color="black", weight=3]; 14.62/5.48 211[label="primPlusInt (index (Pos Zero,Neg Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];211 -> 238[label="",style="solid", color="black", weight=3]; 14.62/5.48 212[label="primPlusInt (index2 (Neg (Succ xx3000),Pos xx310) (Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];212 -> 239[label="",style="solid", color="black", weight=3]; 14.62/5.48 1067[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile0 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) otherwise))",fontsize=16,color="black",shape="box"];1067 -> 1091[label="",style="solid", color="black", weight=3]; 14.62/5.48 1068[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (Neg (Succ xx53) : takeWhile (flip (<=) (Neg (Succ xx54))) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];1068 -> 1092[label="",style="solid", color="black", weight=3]; 14.62/5.48 221[label="index (Neg (Succ xx3000),Neg Zero) (Neg Zero) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];221 -> 250[label="",style="solid", color="black", weight=3]; 14.62/5.48 222[label="primPlusInt (index (Neg Zero,Pos (Succ xx3100)) (Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];222 -> 251[label="",style="solid", color="black", weight=3]; 14.62/5.48 223[label="primPlusInt (index (Neg Zero,Pos Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];223 -> 252[label="",style="solid", color="black", weight=3]; 14.62/5.48 224[label="Pos Zero",fontsize=16,color="green",shape="box"];225[label="primPlusInt (index (Neg Zero,Neg Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];225 -> 253[label="",style="solid", color="black", weight=3]; 14.62/5.48 1000[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile0 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];1000 -> 1025[label="",style="solid", color="black", weight=3]; 14.62/5.48 1001[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) False",fontsize=16,color="black",shape="box"];1001 -> 1026[label="",style="solid", color="black", weight=3]; 14.62/5.48 236[label="primPlusInt (index (Pos Zero,Pos (Succ xx3100)) (Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];236 -> 264[label="",style="solid", color="black", weight=3]; 14.62/5.48 237[label="primPlusInt (index2 (Pos Zero,Pos Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];237 -> 265[label="",style="solid", color="black", weight=3]; 14.62/5.48 238[label="primPlusInt (index2 (Pos Zero,Neg Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];238 -> 266[label="",style="solid", color="black", weight=3]; 14.62/5.48 239[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (inRange (Neg (Succ xx3000),Pos xx310) (Pos xx310))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];239 -> 267[label="",style="solid", color="black", weight=3]; 14.62/5.48 1091[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile0 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];1091 -> 1107[label="",style="solid", color="black", weight=3]; 14.62/5.48 1092[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) False",fontsize=16,color="black",shape="box"];1092 -> 1108[label="",style="solid", color="black", weight=3]; 14.62/5.48 250[label="primPlusInt (index (Neg (Succ xx3000),Neg Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];250 -> 278[label="",style="solid", color="black", weight=3]; 14.62/5.48 251[label="primPlusInt (index2 (Neg Zero,Pos (Succ xx3100)) (Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];251 -> 279[label="",style="solid", color="black", weight=3]; 14.62/5.48 252[label="primPlusInt (index2 (Neg Zero,Pos Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];252 -> 280[label="",style="solid", color="black", weight=3]; 14.62/5.48 253[label="primPlusInt (index2 (Neg Zero,Neg Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];253 -> 281[label="",style="solid", color="black", weight=3]; 14.62/5.48 1025[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null [])",fontsize=16,color="black",shape="box"];1025 -> 1047[label="",style="solid", color="black", weight=3]; 14.62/5.48 1026[label="rangeSize0 (Pos (Succ xx45)) (Pos (Succ xx46)) otherwise",fontsize=16,color="black",shape="box"];1026 -> 1048[label="",style="solid", color="black", weight=3]; 14.62/5.48 264[label="primPlusInt (index2 (Pos Zero,Pos (Succ xx3100)) (Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];264 -> 293[label="",style="solid", color="black", weight=3]; 14.62/5.48 265[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (inRange (Pos Zero,Pos Zero) (Pos Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];265 -> 294[label="",style="solid", color="black", weight=3]; 14.62/5.48 266[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (inRange (Pos Zero,Neg Zero) (Neg Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];266 -> 295[label="",style="solid", color="black", weight=3]; 14.62/5.48 267[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (Neg (Succ xx3000) <= Pos xx310 && Pos xx310 <= Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];267 -> 296[label="",style="solid", color="black", weight=3]; 14.62/5.48 1107[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null [])",fontsize=16,color="black",shape="box"];1107 -> 1132[label="",style="solid", color="black", weight=3]; 14.62/5.48 1108[label="rangeSize0 (Neg (Succ xx53)) (Neg (Succ xx54)) otherwise",fontsize=16,color="black",shape="box"];1108 -> 1133[label="",style="solid", color="black", weight=3]; 14.62/5.48 278[label="primPlusInt (index2 (Neg (Succ xx3000),Neg Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];278 -> 308[label="",style="solid", color="black", weight=3]; 14.62/5.48 279[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (inRange (Neg Zero,Pos (Succ xx3100)) (Pos (Succ xx3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];279 -> 309[label="",style="solid", color="black", weight=3]; 14.62/5.48 280[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (inRange (Neg Zero,Pos Zero) (Pos Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];280 -> 310[label="",style="solid", color="black", weight=3]; 14.62/5.48 281[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (inRange (Neg Zero,Neg Zero) (Neg Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];281 -> 311[label="",style="solid", color="black", weight=3]; 14.62/5.48 1047[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) True",fontsize=16,color="black",shape="box"];1047 -> 1069[label="",style="solid", color="black", weight=3]; 14.62/5.48 1048[label="rangeSize0 (Pos (Succ xx45)) (Pos (Succ xx46)) True",fontsize=16,color="black",shape="box"];1048 -> 1070[label="",style="solid", color="black", weight=3]; 14.62/5.48 293[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (inRange (Pos Zero,Pos (Succ xx3100)) (Pos (Succ xx3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];293 -> 324[label="",style="solid", color="black", weight=3]; 14.62/5.48 294[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (Pos Zero <= Pos Zero && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];294 -> 325[label="",style="solid", color="black", weight=3]; 14.62/5.48 295[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (Pos Zero <= Neg Zero && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];295 -> 326[label="",style="solid", color="black", weight=3]; 14.62/5.48 296[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (compare (Neg (Succ xx3000)) (Pos xx310) /= GT && Pos xx310 <= Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];296 -> 327[label="",style="solid", color="black", weight=3]; 14.64/5.48 1132[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) True",fontsize=16,color="black",shape="box"];1132 -> 1153[label="",style="solid", color="black", weight=3]; 14.64/5.48 1133[label="rangeSize0 (Neg (Succ xx53)) (Neg (Succ xx54)) True",fontsize=16,color="black",shape="box"];1133 -> 1154[label="",style="solid", color="black", weight=3]; 14.64/5.48 308[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (inRange (Neg (Succ xx3000),Neg Zero) (Neg Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];308 -> 340[label="",style="solid", color="black", weight=3]; 14.64/5.48 309[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (Neg Zero <= Pos (Succ xx3100) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];309 -> 341[label="",style="solid", color="black", weight=3]; 14.64/5.48 310[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (Neg Zero <= Pos Zero && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];310 -> 342[label="",style="solid", color="black", weight=3]; 14.64/5.48 311[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (Neg Zero <= Neg Zero && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];311 -> 343[label="",style="solid", color="black", weight=3]; 14.64/5.48 1069[label="Pos Zero",fontsize=16,color="green",shape="box"];1070[label="index (Pos (Succ xx45),Pos (Succ xx46)) (Pos (Succ xx46)) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];1070 -> 1093[label="",style="solid", color="black", weight=3]; 14.64/5.48 324[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (Pos Zero <= Pos (Succ xx3100) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];324 -> 356[label="",style="solid", color="black", weight=3]; 14.64/5.48 325[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (compare (Pos Zero) (Pos Zero) /= GT && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];325 -> 357[label="",style="solid", color="black", weight=3]; 14.64/5.48 326[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (compare (Pos Zero) (Neg Zero) /= GT && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];326 -> 358[label="",style="solid", color="black", weight=3]; 14.64/5.48 327[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (not (compare (Neg (Succ xx3000)) (Pos xx310) == GT) && Pos xx310 <= Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];327 -> 359[label="",style="solid", color="black", weight=3]; 14.64/5.48 1153[label="Pos Zero",fontsize=16,color="green",shape="box"];1154[label="index (Neg (Succ xx53),Neg (Succ xx54)) (Neg (Succ xx54)) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];1154 -> 1179[label="",style="solid", color="black", weight=3]; 14.64/5.48 340[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (Neg (Succ xx3000) <= Neg Zero && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];340 -> 372[label="",style="solid", color="black", weight=3]; 14.64/5.48 341[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (compare (Neg Zero) (Pos (Succ xx3100)) /= GT && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];341 -> 373[label="",style="solid", color="black", weight=3]; 14.64/5.48 342[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (compare (Neg Zero) (Pos Zero) /= GT && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];342 -> 374[label="",style="solid", color="black", weight=3]; 14.64/5.48 343[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (compare (Neg Zero) (Neg Zero) /= GT && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];343 -> 375[label="",style="solid", color="black", weight=3]; 14.64/5.48 1093[label="primPlusInt (index (Pos (Succ xx45),Pos (Succ xx46)) (Pos (Succ xx46))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1093 -> 1109[label="",style="solid", color="black", weight=3]; 14.64/5.48 356[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (compare (Pos Zero) (Pos (Succ xx3100)) /= GT && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];356 -> 389[label="",style="solid", color="black", weight=3]; 14.64/5.48 357[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not (compare (Pos Zero) (Pos Zero) == GT) && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];357 -> 390[label="",style="solid", color="black", weight=3]; 14.64/5.48 358[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not (compare (Pos Zero) (Neg Zero) == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];358 -> 391[label="",style="solid", color="black", weight=3]; 14.64/5.48 359[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (not (primCmpInt (Neg (Succ xx3000)) (Pos xx310) == GT) && Pos xx310 <= Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];359 -> 392[label="",style="solid", color="black", weight=3]; 14.64/5.48 1179[label="primPlusInt (index (Neg (Succ xx53),Neg (Succ xx54)) (Neg (Succ xx54))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1179 -> 1203[label="",style="solid", color="black", weight=3]; 14.64/5.48 372[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (compare (Neg (Succ xx3000)) (Neg Zero) /= GT && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];372 -> 406[label="",style="solid", color="black", weight=3]; 14.64/5.48 373[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (compare (Neg Zero) (Pos (Succ xx3100)) == GT) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];373 -> 407[label="",style="solid", color="black", weight=3]; 14.64/5.48 374[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not (compare (Neg Zero) (Pos Zero) == GT) && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];374 -> 408[label="",style="solid", color="black", weight=3]; 14.64/5.48 375[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not (compare (Neg Zero) (Neg Zero) == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];375 -> 409[label="",style="solid", color="black", weight=3]; 14.64/5.48 1109[label="primPlusInt (index2 (Pos (Succ xx45),Pos (Succ xx46)) (Pos (Succ xx46))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1109 -> 1134[label="",style="solid", color="black", weight=3]; 14.64/5.48 389[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (compare (Pos Zero) (Pos (Succ xx3100)) == GT) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];389 -> 424[label="",style="solid", color="black", weight=3]; 14.64/5.48 390[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == GT) && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];390 -> 425[label="",style="solid", color="black", weight=3]; 14.64/5.48 391[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not (primCmpInt (Pos Zero) (Neg Zero) == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];391 -> 426[label="",style="solid", color="black", weight=3]; 14.64/5.48 392[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (not (LT == GT) && Pos xx310 <= Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];392 -> 427[label="",style="solid", color="black", weight=3]; 14.64/5.48 1203[label="primPlusInt (index2 (Neg (Succ xx53),Neg (Succ xx54)) (Neg (Succ xx54))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1203 -> 1226[label="",style="solid", color="black", weight=3]; 14.64/5.48 406[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not (compare (Neg (Succ xx3000)) (Neg Zero) == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];406 -> 442[label="",style="solid", color="black", weight=3]; 14.64/5.48 407[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpInt (Neg Zero) (Pos (Succ xx3100)) == GT) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];407 -> 443[label="",style="solid", color="black", weight=3]; 14.64/5.48 408[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not (primCmpInt (Neg Zero) (Pos Zero) == GT) && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];408 -> 444[label="",style="solid", color="black", weight=3]; 14.64/5.48 409[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not (primCmpInt (Neg Zero) (Neg Zero) == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];409 -> 445[label="",style="solid", color="black", weight=3]; 14.64/5.48 1134[label="primPlusInt (index1 (Pos (Succ xx45)) (Pos (Succ xx46)) (Pos (Succ xx46)) (inRange (Pos (Succ xx45),Pos (Succ xx46)) (Pos (Succ xx46)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1134 -> 1155[label="",style="solid", color="black", weight=3]; 14.64/5.48 424[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpInt (Pos Zero) (Pos (Succ xx3100)) == GT) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];424 -> 460[label="",style="solid", color="black", weight=3]; 14.64/5.48 425[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not (EQ == GT) && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];425 -> 461[label="",style="solid", color="black", weight=3]; 14.64/5.48 426[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not (EQ == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];426 -> 462[label="",style="solid", color="black", weight=3]; 14.64/5.48 427[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (not False && Pos xx310 <= Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];427 -> 463[label="",style="solid", color="black", weight=3]; 14.64/5.48 1226[label="primPlusInt (index1 (Neg (Succ xx53)) (Neg (Succ xx54)) (Neg (Succ xx54)) (inRange (Neg (Succ xx53),Neg (Succ xx54)) (Neg (Succ xx54)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1226 -> 1251[label="",style="solid", color="black", weight=3]; 14.64/5.48 442[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not (primCmpInt (Neg (Succ xx3000)) (Neg Zero) == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];442 -> 478[label="",style="solid", color="black", weight=3]; 14.64/5.48 443[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (LT == GT) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];443 -> 479[label="",style="solid", color="black", weight=3]; 14.64/5.48 444[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not (EQ == GT) && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];444 -> 480[label="",style="solid", color="black", weight=3]; 14.64/5.48 445[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not (EQ == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];445 -> 481[label="",style="solid", color="black", weight=3]; 14.64/5.48 1155[label="primPlusInt (index1 (Pos (Succ xx45)) (Pos (Succ xx46)) (Pos (Succ xx46)) (Pos (Succ xx45) <= Pos (Succ xx46) && Pos (Succ xx46) <= Pos (Succ xx46))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1155 -> 1180[label="",style="solid", color="black", weight=3]; 14.64/5.48 460[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpNat Zero (Succ xx3100) == GT) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];460 -> 504[label="",style="solid", color="black", weight=3]; 14.64/5.48 461[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not False && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];461 -> 505[label="",style="solid", color="black", weight=3]; 14.64/5.48 462[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not False && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];462 -> 506[label="",style="solid", color="black", weight=3]; 14.64/5.48 463[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (True && Pos xx310 <= Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];463 -> 507[label="",style="solid", color="black", weight=3]; 14.64/5.48 1251[label="primPlusInt (index1 (Neg (Succ xx53)) (Neg (Succ xx54)) (Neg (Succ xx54)) (Neg (Succ xx53) <= Neg (Succ xx54) && Neg (Succ xx54) <= Neg (Succ xx54))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1251 -> 1297[label="",style="solid", color="black", weight=3]; 14.64/5.48 478[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not (primCmpNat Zero (Succ xx3000) == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];478 -> 528[label="",style="solid", color="black", weight=3]; 14.64/5.48 479[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not False && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];479 -> 529[label="",style="solid", color="black", weight=3]; 14.64/5.48 480[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not False && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];480 -> 530[label="",style="solid", color="black", weight=3]; 14.64/5.48 481[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not False && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];481 -> 531[label="",style="solid", color="black", weight=3]; 14.64/5.48 1180[label="primPlusInt (index1 (Pos (Succ xx45)) (Pos (Succ xx46)) (Pos (Succ xx46)) (compare (Pos (Succ xx45)) (Pos (Succ xx46)) /= GT && Pos (Succ xx46) <= Pos (Succ xx46))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1180 -> 1204[label="",style="solid", color="black", weight=3]; 14.64/5.48 504[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (LT == GT) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];504 -> 555[label="",style="solid", color="black", weight=3]; 14.64/5.48 505[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (True && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];505 -> 556[label="",style="solid", color="black", weight=3]; 14.64/5.48 506[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (True && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];506 -> 557[label="",style="solid", color="black", weight=3]; 14.64/5.48 507[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (Pos xx310 <= Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];507 -> 558[label="",style="solid", color="black", weight=3]; 14.64/5.48 1297[label="primPlusInt (index1 (Neg (Succ xx53)) (Neg (Succ xx54)) (Neg (Succ xx54)) (compare (Neg (Succ xx53)) (Neg (Succ xx54)) /= GT && Neg (Succ xx54) <= Neg (Succ xx54))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1297 -> 1322[label="",style="solid", color="black", weight=3]; 14.64/5.48 528[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not (LT == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];528 -> 585[label="",style="solid", color="black", weight=3]; 14.64/5.48 529[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (True && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];529 -> 586[label="",style="solid", color="black", weight=3]; 14.64/5.48 530[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (True && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];530 -> 587[label="",style="solid", color="black", weight=3]; 14.64/5.48 531[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (True && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];531 -> 588[label="",style="solid", color="black", weight=3]; 14.64/5.48 1204[label="primPlusInt (index1 (Pos (Succ xx45)) (Pos (Succ xx46)) (Pos (Succ xx46)) (not (compare (Pos (Succ xx45)) (Pos (Succ xx46)) == GT) && Pos (Succ xx46) <= Pos (Succ xx46))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1204 -> 1227[label="",style="solid", color="black", weight=3]; 14.64/5.48 555[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not False && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];555 -> 604[label="",style="solid", color="black", weight=3]; 14.64/5.48 556[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];556 -> 605[label="",style="solid", color="black", weight=3]; 14.64/5.48 557[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];557 -> 606[label="",style="solid", color="black", weight=3]; 14.64/5.48 558[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (compare (Pos xx310) (Pos xx310) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];558 -> 607[label="",style="solid", color="black", weight=3]; 14.64/5.48 1322[label="primPlusInt (index1 (Neg (Succ xx53)) (Neg (Succ xx54)) (Neg (Succ xx54)) (not (compare (Neg (Succ xx53)) (Neg (Succ xx54)) == GT) && Neg (Succ xx54) <= Neg (Succ xx54))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1322 -> 1334[label="",style="solid", color="black", weight=3]; 14.64/5.48 585[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not False && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];585 -> 623[label="",style="solid", color="black", weight=3]; 14.64/5.48 586[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];586 -> 624[label="",style="solid", color="black", weight=3]; 14.64/5.48 587[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];587 -> 625[label="",style="solid", color="black", weight=3]; 14.64/5.48 588[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];588 -> 626[label="",style="solid", color="black", weight=3]; 14.64/5.48 1227[label="primPlusInt (index1 (Pos (Succ xx45)) (Pos (Succ xx46)) (Pos (Succ xx46)) (not (primCmpInt (Pos (Succ xx45)) (Pos (Succ xx46)) == GT) && Pos (Succ xx46) <= Pos (Succ xx46))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1227 -> 1252[label="",style="solid", color="black", weight=3]; 14.64/5.48 604[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (True && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];604 -> 637[label="",style="solid", color="black", weight=3]; 14.64/5.48 605[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (compare (Pos Zero) (Pos Zero) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];605 -> 638[label="",style="solid", color="black", weight=3]; 14.64/5.48 606[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (compare (Neg Zero) (Neg Zero) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];606 -> 639[label="",style="solid", color="black", weight=3]; 14.64/5.48 607[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (not (compare (Pos xx310) (Pos xx310) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];607 -> 640[label="",style="solid", color="black", weight=3]; 14.64/5.48 1334[label="primPlusInt (index1 (Neg (Succ xx53)) (Neg (Succ xx54)) (Neg (Succ xx54)) (not (primCmpInt (Neg (Succ xx53)) (Neg (Succ xx54)) == GT) && Neg (Succ xx54) <= Neg (Succ xx54))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1334 -> 1364[label="",style="solid", color="black", weight=3]; 14.64/5.48 623[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (True && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];623 -> 671[label="",style="solid", color="black", weight=3]; 14.64/5.48 624[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (compare (Pos (Succ xx3100)) (Pos (Succ xx3100)) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];624 -> 672[label="",style="solid", color="black", weight=3]; 14.64/5.48 625[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (compare (Pos Zero) (Pos Zero) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];625 -> 673[label="",style="solid", color="black", weight=3]; 14.64/5.48 626[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (compare (Neg Zero) (Neg Zero) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];626 -> 674[label="",style="solid", color="black", weight=3]; 14.64/5.48 1252 -> 2068[label="",style="dashed", color="red", weight=0]; 14.64/5.48 1252[label="primPlusInt (index1 (Pos (Succ xx45)) (Pos (Succ xx46)) (Pos (Succ xx46)) (not (primCmpNat (Succ xx45) (Succ xx46) == GT) && Pos (Succ xx46) <= Pos (Succ xx46))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1252 -> 2069[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 1252 -> 2070[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 1252 -> 2071[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 1252 -> 2072[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 637[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];637 -> 703[label="",style="solid", color="black", weight=3]; 14.64/5.48 638[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not (compare (Pos Zero) (Pos Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];638 -> 704[label="",style="solid", color="black", weight=3]; 14.64/5.48 639[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not (compare (Neg Zero) (Neg Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];639 -> 705[label="",style="solid", color="black", weight=3]; 14.64/5.48 640[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (not (primCmpInt (Pos xx310) (Pos xx310) == GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2552[label="xx310/Succ xx3100",fontsize=10,color="white",style="solid",shape="box"];640 -> 2552[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2552 -> 706[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2553[label="xx310/Zero",fontsize=10,color="white",style="solid",shape="box"];640 -> 2553[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2553 -> 707[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 1364 -> 2115[label="",style="dashed", color="red", weight=0]; 14.64/5.48 1364[label="primPlusInt (index1 (Neg (Succ xx53)) (Neg (Succ xx54)) (Neg (Succ xx54)) (not (primCmpNat (Succ xx54) (Succ xx53) == GT) && Neg (Succ xx54) <= Neg (Succ xx54))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1364 -> 2116[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 1364 -> 2117[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 1364 -> 2118[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 1364 -> 2119[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 671[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];671 -> 714[label="",style="solid", color="black", weight=3]; 14.64/5.48 672[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (compare (Pos (Succ xx3100)) (Pos (Succ xx3100)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];672 -> 715[label="",style="solid", color="black", weight=3]; 14.64/5.48 673[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not (compare (Pos Zero) (Pos Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];673 -> 716[label="",style="solid", color="black", weight=3]; 14.64/5.48 674[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not (compare (Neg Zero) (Neg Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];674 -> 717[label="",style="solid", color="black", weight=3]; 14.64/5.48 2069[label="Succ xx46",fontsize=16,color="green",shape="box"];2070[label="xx45",fontsize=16,color="green",shape="box"];2071[label="xx46",fontsize=16,color="green",shape="box"];2072[label="Succ xx45",fontsize=16,color="green",shape="box"];2068[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat xx110 xx111 == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2554[label="xx110/Succ xx1100",fontsize=10,color="white",style="solid",shape="box"];2068 -> 2554[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2554 -> 2113[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2555[label="xx110/Zero",fontsize=10,color="white",style="solid",shape="box"];2068 -> 2555[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2555 -> 2114[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 703[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (compare (Pos (Succ xx3100)) (Pos (Succ xx3100)) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];703 -> 732[label="",style="solid", color="black", weight=3]; 14.64/5.48 704[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];704 -> 733[label="",style="solid", color="black", weight=3]; 14.64/5.48 705[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not (primCmpInt (Neg Zero) (Neg Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];705 -> 734[label="",style="solid", color="black", weight=3]; 14.64/5.48 706[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpInt (Pos (Succ xx3100)) (Pos (Succ xx3100)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];706 -> 735[label="",style="solid", color="black", weight=3]; 14.64/5.48 707[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos Zero) (Pos Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];707 -> 736[label="",style="solid", color="black", weight=3]; 14.64/5.48 2116[label="Succ xx54",fontsize=16,color="green",shape="box"];2117[label="xx54",fontsize=16,color="green",shape="box"];2118[label="xx53",fontsize=16,color="green",shape="box"];2119[label="Succ xx53",fontsize=16,color="green",shape="box"];2115[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat xx115 xx116 == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2556[label="xx115/Succ xx1150",fontsize=10,color="white",style="solid",shape="box"];2115 -> 2556[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2556 -> 2160[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2557[label="xx115/Zero",fontsize=10,color="white",style="solid",shape="box"];2115 -> 2557[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2557 -> 2161[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 714[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (compare (Neg Zero) (Neg Zero) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];714 -> 745[label="",style="solid", color="black", weight=3]; 14.64/5.48 715[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpInt (Pos (Succ xx3100)) (Pos (Succ xx3100)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];715 -> 746[label="",style="solid", color="black", weight=3]; 14.64/5.48 716[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];716 -> 747[label="",style="solid", color="black", weight=3]; 14.64/5.48 717[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not (primCmpInt (Neg Zero) (Neg Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];717 -> 748[label="",style="solid", color="black", weight=3]; 14.64/5.48 2113[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat (Succ xx1100) xx111 == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2558[label="xx111/Succ xx1110",fontsize=10,color="white",style="solid",shape="box"];2113 -> 2558[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2558 -> 2162[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2559[label="xx111/Zero",fontsize=10,color="white",style="solid",shape="box"];2113 -> 2559[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2559 -> 2163[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2114[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat Zero xx111 == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2560[label="xx111/Succ xx1110",fontsize=10,color="white",style="solid",shape="box"];2114 -> 2560[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2560 -> 2164[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2561[label="xx111/Zero",fontsize=10,color="white",style="solid",shape="box"];2114 -> 2561[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2561 -> 2165[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 732[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (compare (Pos (Succ xx3100)) (Pos (Succ xx3100)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];732 -> 761[label="",style="solid", color="black", weight=3]; 14.64/5.48 733[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];733 -> 762[label="",style="solid", color="black", weight=3]; 14.64/5.48 734[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];734 -> 763[label="",style="solid", color="black", weight=3]; 14.64/5.48 735 -> 1266[label="",style="dashed", color="red", weight=0]; 14.64/5.48 735[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpNat (Succ xx3100) (Succ xx3100) == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];735 -> 1267[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 735 -> 1268[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 735 -> 1269[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 736[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos Zero) (Pos Zero) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];736 -> 765[label="",style="solid", color="black", weight=3]; 14.64/5.48 2160[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat (Succ xx1150) xx116 == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2562[label="xx116/Succ xx1160",fontsize=10,color="white",style="solid",shape="box"];2160 -> 2562[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2562 -> 2166[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2563[label="xx116/Zero",fontsize=10,color="white",style="solid",shape="box"];2160 -> 2563[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2563 -> 2167[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2161[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat Zero xx116 == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2564[label="xx116/Succ xx1160",fontsize=10,color="white",style="solid",shape="box"];2161 -> 2564[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2564 -> 2168[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2565[label="xx116/Zero",fontsize=10,color="white",style="solid",shape="box"];2161 -> 2565[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2565 -> 2169[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 745[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not (compare (Neg Zero) (Neg Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];745 -> 774[label="",style="solid", color="black", weight=3]; 14.64/5.48 746 -> 1301[label="",style="dashed", color="red", weight=0]; 14.64/5.48 746[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpNat (Succ xx3100) (Succ xx3100) == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];746 -> 1302[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 746 -> 1303[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 747[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];747 -> 776[label="",style="solid", color="black", weight=3]; 14.64/5.48 748[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];748 -> 777[label="",style="solid", color="black", weight=3]; 14.64/5.48 2162[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat (Succ xx1100) (Succ xx1110) == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2162 -> 2170[label="",style="solid", color="black", weight=3]; 14.64/5.48 2163[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat (Succ xx1100) Zero == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2163 -> 2171[label="",style="solid", color="black", weight=3]; 14.64/5.48 2164[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat Zero (Succ xx1110) == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2164 -> 2172[label="",style="solid", color="black", weight=3]; 14.64/5.48 2165[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat Zero Zero == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2165 -> 2173[label="",style="solid", color="black", weight=3]; 14.64/5.48 761[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpInt (Pos (Succ xx3100)) (Pos (Succ xx3100)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];761 -> 819[label="",style="solid", color="black", weight=3]; 14.64/5.48 762[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];762 -> 820[label="",style="solid", color="black", weight=3]; 14.64/5.48 763[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];763 -> 821[label="",style="solid", color="black", weight=3]; 14.64/5.48 1267[label="xx3000",fontsize=16,color="green",shape="box"];1268[label="Succ xx3100",fontsize=16,color="green",shape="box"];1269[label="xx3100",fontsize=16,color="green",shape="box"];1266[label="primPlusInt (index1 (Neg (Succ xx62)) (Pos (Succ xx63)) (Pos (Succ xx63)) (not (primCmpNat xx64 xx64 == GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2566[label="xx64/Succ xx640",fontsize=10,color="white",style="solid",shape="box"];1266 -> 2566[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2566 -> 1299[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2567[label="xx64/Zero",fontsize=10,color="white",style="solid",shape="box"];1266 -> 2567[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2567 -> 1300[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 765[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos Zero) (Pos Zero) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];765 -> 824[label="",style="solid", color="black", weight=3]; 14.64/5.48 2166[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat (Succ xx1150) (Succ xx1160) == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2166 -> 2174[label="",style="solid", color="black", weight=3]; 14.64/5.48 2167[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat (Succ xx1150) Zero == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2167 -> 2175[label="",style="solid", color="black", weight=3]; 14.64/5.48 2168[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat Zero (Succ xx1160) == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2168 -> 2176[label="",style="solid", color="black", weight=3]; 14.64/5.48 2169[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat Zero Zero == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2169 -> 2177[label="",style="solid", color="black", weight=3]; 14.64/5.48 774[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not (primCmpInt (Neg Zero) (Neg Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];774 -> 854[label="",style="solid", color="black", weight=3]; 14.64/5.48 1302[label="xx3100",fontsize=16,color="green",shape="box"];1303[label="Succ xx3100",fontsize=16,color="green",shape="box"];1301[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx66)) (Pos (Succ xx66)) (not (primCmpNat xx67 xx67 == GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2568[label="xx67/Succ xx670",fontsize=10,color="white",style="solid",shape="box"];1301 -> 2568[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2568 -> 1325[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2569[label="xx67/Zero",fontsize=10,color="white",style="solid",shape="box"];1301 -> 2569[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2569 -> 1326[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 776[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];776 -> 857[label="",style="solid", color="black", weight=3]; 14.64/5.48 777[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];777 -> 858[label="",style="solid", color="black", weight=3]; 14.64/5.48 2170 -> 2068[label="",style="dashed", color="red", weight=0]; 14.64/5.48 2170[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat xx1100 xx1110 == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2170 -> 2178[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 2170 -> 2179[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 2171[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (GT == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2171 -> 2180[label="",style="solid", color="black", weight=3]; 14.64/5.48 2172[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (LT == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2172 -> 2181[label="",style="solid", color="black", weight=3]; 14.64/5.48 2173[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (EQ == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2173 -> 2182[label="",style="solid", color="black", weight=3]; 14.64/5.48 819 -> 1343[label="",style="dashed", color="red", weight=0]; 14.64/5.48 819[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpNat (Succ xx3100) (Succ xx3100) == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];819 -> 1344[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 819 -> 1345[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 820[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];820 -> 860[label="",style="solid", color="black", weight=3]; 14.64/5.48 821[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];821 -> 861[label="",style="solid", color="black", weight=3]; 14.64/5.48 1299[label="primPlusInt (index1 (Neg (Succ xx62)) (Pos (Succ xx63)) (Pos (Succ xx63)) (not (primCmpNat (Succ xx640) (Succ xx640) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1299 -> 1327[label="",style="solid", color="black", weight=3]; 14.64/5.48 1300[label="primPlusInt (index1 (Neg (Succ xx62)) (Pos (Succ xx63)) (Pos (Succ xx63)) (not (primCmpNat Zero Zero == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1300 -> 1328[label="",style="solid", color="black", weight=3]; 14.64/5.48 824[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos Zero) (Pos Zero) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];824 -> 864[label="",style="solid", color="black", weight=3]; 14.64/5.48 2174 -> 2115[label="",style="dashed", color="red", weight=0]; 14.64/5.48 2174[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat xx1150 xx1160 == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2174 -> 2183[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 2174 -> 2184[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 2175[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (GT == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2175 -> 2185[label="",style="solid", color="black", weight=3]; 14.64/5.48 2176[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (LT == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2176 -> 2186[label="",style="solid", color="black", weight=3]; 14.64/5.48 2177[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (EQ == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2177 -> 2187[label="",style="solid", color="black", weight=3]; 14.64/5.48 854[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];854 -> 876[label="",style="solid", color="black", weight=3]; 14.64/5.48 1325[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx66)) (Pos (Succ xx66)) (not (primCmpNat (Succ xx670) (Succ xx670) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1325 -> 1339[label="",style="solid", color="black", weight=3]; 14.64/5.48 1326[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx66)) (Pos (Succ xx66)) (not (primCmpNat Zero Zero == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1326 -> 1340[label="",style="solid", color="black", weight=3]; 14.64/5.48 857[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];857 -> 879[label="",style="solid", color="black", weight=3]; 14.64/5.48 858[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];858 -> 880[label="",style="solid", color="black", weight=3]; 14.64/5.48 2178[label="xx1110",fontsize=16,color="green",shape="box"];2179[label="xx1100",fontsize=16,color="green",shape="box"];2180[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not True && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2180 -> 2188[label="",style="solid", color="black", weight=3]; 14.64/5.48 2181[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not False && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];2181 -> 2189[label="",style="solid", color="black", weight=3]; 14.64/5.48 2182 -> 2181[label="",style="dashed", color="red", weight=0]; 14.64/5.48 2182[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not False && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1344[label="xx3100",fontsize=16,color="green",shape="box"];1345[label="Succ xx3100",fontsize=16,color="green",shape="box"];1343[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx69)) (Pos (Succ xx69)) (not (primCmpNat xx70 xx70 == GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2570[label="xx70/Succ xx700",fontsize=10,color="white",style="solid",shape="box"];1343 -> 2570[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2570 -> 1369[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2571[label="xx70/Zero",fontsize=10,color="white",style="solid",shape="box"];1343 -> 2571[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2571 -> 1370[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 860[label="primPlusInt (Pos Zero - Pos Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];860 -> 883[label="",style="solid", color="black", weight=3]; 14.64/5.48 861[label="primPlusInt (Neg Zero - Pos Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];861 -> 884[label="",style="solid", color="black", weight=3]; 14.64/5.48 1327 -> 1266[label="",style="dashed", color="red", weight=0]; 14.64/5.48 1327[label="primPlusInt (index1 (Neg (Succ xx62)) (Pos (Succ xx63)) (Pos (Succ xx63)) (not (primCmpNat xx640 xx640 == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1327 -> 1341[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 1328[label="primPlusInt (index1 (Neg (Succ xx62)) (Pos (Succ xx63)) (Pos (Succ xx63)) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1328 -> 1342[label="",style="solid", color="black", weight=3]; 14.64/5.48 864[label="primPlusInt (Pos Zero - Neg (Succ xx3000)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];864 -> 888[label="",style="solid", color="black", weight=3]; 14.64/5.48 2183[label="xx1150",fontsize=16,color="green",shape="box"];2184[label="xx1160",fontsize=16,color="green",shape="box"];2185[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not True && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2185 -> 2190[label="",style="solid", color="black", weight=3]; 14.64/5.48 2186[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not False && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];2186 -> 2191[label="",style="solid", color="black", weight=3]; 14.64/5.48 2187 -> 2186[label="",style="dashed", color="red", weight=0]; 14.64/5.48 2187[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not False && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="magenta"];876[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];876 -> 899[label="",style="solid", color="black", weight=3]; 14.64/5.48 1339 -> 1301[label="",style="dashed", color="red", weight=0]; 14.64/5.48 1339[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx66)) (Pos (Succ xx66)) (not (primCmpNat xx670 xx670 == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1339 -> 1371[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 1340[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx66)) (Pos (Succ xx66)) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1340 -> 1372[label="",style="solid", color="black", weight=3]; 14.64/5.48 879[label="primPlusInt (Pos Zero - Neg Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];879 -> 903[label="",style="solid", color="black", weight=3]; 14.64/5.48 880[label="primPlusInt (Neg Zero - Neg Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];880 -> 904[label="",style="solid", color="black", weight=3]; 14.64/5.48 2188[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (False && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2188 -> 2192[label="",style="solid", color="black", weight=3]; 14.64/5.48 2189[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (True && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2189 -> 2193[label="",style="solid", color="black", weight=3]; 14.64/5.48 1369[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx69)) (Pos (Succ xx69)) (not (primCmpNat (Succ xx700) (Succ xx700) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1369 -> 1380[label="",style="solid", color="black", weight=3]; 14.64/5.48 1370[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx69)) (Pos (Succ xx69)) (not (primCmpNat Zero Zero == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1370 -> 1381[label="",style="solid", color="black", weight=3]; 14.64/5.48 883[label="primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];883 -> 907[label="",style="solid", color="black", weight=3]; 14.64/5.48 884[label="primPlusInt (primMinusInt (Neg Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];884 -> 908[label="",style="solid", color="black", weight=3]; 14.64/5.48 1341[label="xx640",fontsize=16,color="green",shape="box"];1342[label="primPlusInt (index1 (Neg (Succ xx62)) (Pos (Succ xx63)) (Pos (Succ xx63)) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1342 -> 1373[label="",style="solid", color="black", weight=3]; 14.64/5.48 888[label="primPlusInt (primMinusInt (Pos Zero) (Neg (Succ xx3000))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];888 -> 912[label="",style="solid", color="black", weight=3]; 14.64/5.48 2190[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (False && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2190 -> 2194[label="",style="solid", color="black", weight=3]; 14.64/5.48 2191[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (True && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2191 -> 2195[label="",style="solid", color="black", weight=3]; 14.64/5.48 899[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];899 -> 958[label="",style="solid", color="black", weight=3]; 14.64/5.48 1371[label="xx670",fontsize=16,color="green",shape="box"];1372[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx66)) (Pos (Succ xx66)) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1372 -> 1382[label="",style="solid", color="black", weight=3]; 14.64/5.48 903[label="primPlusInt (primMinusInt (Pos Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];903 -> 962[label="",style="solid", color="black", weight=3]; 14.64/5.48 904[label="primPlusInt (primMinusInt (Neg Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];904 -> 963[label="",style="solid", color="black", weight=3]; 14.64/5.48 2192[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) False) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2192 -> 2196[label="",style="solid", color="black", weight=3]; 14.64/5.48 2193[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2193 -> 2197[label="",style="solid", color="black", weight=3]; 14.64/5.48 1380 -> 1343[label="",style="dashed", color="red", weight=0]; 14.64/5.48 1380[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx69)) (Pos (Succ xx69)) (not (primCmpNat xx700 xx700 == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1380 -> 1393[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 1381[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx69)) (Pos (Succ xx69)) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1381 -> 1394[label="",style="solid", color="black", weight=3]; 14.64/5.48 907[label="primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];907 -> 967[label="",style="solid", color="black", weight=3]; 14.64/5.48 908[label="primPlusInt (Neg (primPlusNat Zero Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];908 -> 968[label="",style="solid", color="black", weight=3]; 14.64/5.48 1373[label="primPlusInt (index1 (Neg (Succ xx62)) (Pos (Succ xx63)) (Pos (Succ xx63)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1373 -> 1383[label="",style="solid", color="black", weight=3]; 14.64/5.48 912 -> 1098[label="",style="dashed", color="red", weight=0]; 14.64/5.48 912[label="primPlusInt (Pos (primPlusNat Zero (Succ xx3000))) (Pos (Succ Zero))",fontsize=16,color="magenta"];912 -> 1099[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 2194[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) False) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2194 -> 2198[label="",style="solid", color="black", weight=3]; 14.64/5.48 2195[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2195 -> 2199[label="",style="solid", color="black", weight=3]; 14.64/5.48 958[label="primPlusInt (Neg Zero - Neg (Succ xx3000)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];958 -> 980[label="",style="solid", color="black", weight=3]; 14.64/5.48 1382[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx66)) (Pos (Succ xx66)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1382 -> 1395[label="",style="solid", color="black", weight=3]; 14.64/5.48 962 -> 1098[label="",style="dashed", color="red", weight=0]; 14.64/5.48 962[label="primPlusInt (Pos (primPlusNat Zero Zero)) (Pos (Succ Zero))",fontsize=16,color="magenta"];962 -> 1100[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 963 -> 907[label="",style="dashed", color="red", weight=0]; 14.64/5.48 963[label="primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="magenta"];2196[label="primPlusInt (index0 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) otherwise) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2196 -> 2200[label="",style="solid", color="black", weight=3]; 14.64/5.48 2197[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (compare (Pos (Succ xx109)) (Pos (Succ xx109)) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2197 -> 2201[label="",style="solid", color="black", weight=3]; 14.64/5.48 1393[label="xx700",fontsize=16,color="green",shape="box"];1394[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx69)) (Pos (Succ xx69)) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1394 -> 1408[label="",style="solid", color="black", weight=3]; 14.64/5.48 967 -> 1098[label="",style="dashed", color="red", weight=0]; 14.64/5.48 967[label="primPlusInt (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="magenta"];967 -> 1101[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 968[label="primMinusNat (Succ Zero) (primPlusNat Zero Zero)",fontsize=16,color="black",shape="box"];968 -> 990[label="",style="solid", color="black", weight=3]; 14.64/5.48 1383[label="primPlusInt (Pos (Succ xx63) - Neg (Succ xx62)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1383 -> 1396[label="",style="solid", color="black", weight=3]; 14.64/5.48 1099[label="primPlusNat Zero (Succ xx3000)",fontsize=16,color="black",shape="box"];1099 -> 1110[label="",style="solid", color="black", weight=3]; 14.64/5.48 1098[label="primPlusInt (Pos xx57) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];1098 -> 1111[label="",style="solid", color="black", weight=3]; 14.64/5.48 2198[label="primPlusInt (index0 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) otherwise) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2198 -> 2202[label="",style="solid", color="black", weight=3]; 14.64/5.48 2199[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (compare (Neg (Succ xx114)) (Neg (Succ xx114)) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2199 -> 2203[label="",style="solid", color="black", weight=3]; 14.64/5.48 980[label="primPlusInt (primMinusInt (Neg Zero) (Neg (Succ xx3000))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];980 -> 1002[label="",style="solid", color="black", weight=3]; 14.64/5.48 1395[label="primPlusInt (Pos (Succ xx66) - Neg Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1395 -> 1409[label="",style="solid", color="black", weight=3]; 14.64/5.48 1100[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1100 -> 1112[label="",style="solid", color="black", weight=3]; 14.64/5.48 2200[label="primPlusInt (index0 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2200 -> 2204[label="",style="solid", color="black", weight=3]; 14.64/5.48 2201[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (compare (Pos (Succ xx109)) (Pos (Succ xx109)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2201 -> 2205[label="",style="solid", color="black", weight=3]; 14.64/5.48 1408[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx69)) (Pos (Succ xx69)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1408 -> 1423[label="",style="solid", color="black", weight=3]; 14.64/5.48 1101[label="Zero",fontsize=16,color="green",shape="box"];990[label="primMinusNat (Succ Zero) Zero",fontsize=16,color="black",shape="box"];990 -> 1013[label="",style="solid", color="black", weight=3]; 14.64/5.48 1396[label="primPlusInt (primMinusInt (Pos (Succ xx63)) (Neg (Succ xx62))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1396 -> 1410[label="",style="solid", color="black", weight=3]; 14.64/5.48 1110[label="Succ xx3000",fontsize=16,color="green",shape="box"];1111[label="Pos (primPlusNat xx57 (Succ Zero))",fontsize=16,color="green",shape="box"];1111 -> 1135[label="",style="dashed", color="green", weight=3]; 14.64/5.48 2202[label="primPlusInt (index0 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2202 -> 2206[label="",style="solid", color="black", weight=3]; 14.64/5.48 2203[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (compare (Neg (Succ xx114)) (Neg (Succ xx114)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2203 -> 2207[label="",style="solid", color="black", weight=3]; 14.64/5.48 1002[label="primPlusInt (primMinusNat (Succ xx3000) Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];1002 -> 1027[label="",style="solid", color="black", weight=3]; 14.64/5.48 1409[label="primPlusInt (primMinusInt (Pos (Succ xx66)) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1409 -> 1424[label="",style="solid", color="black", weight=3]; 14.64/5.48 1112[label="Zero",fontsize=16,color="green",shape="box"];2204[label="primPlusInt (error []) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];2204 -> 2208[label="",style="solid", color="black", weight=3]; 14.64/5.48 2205[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpInt (Pos (Succ xx109)) (Pos (Succ xx109)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2205 -> 2209[label="",style="solid", color="black", weight=3]; 14.64/5.48 1423[label="primPlusInt (Pos (Succ xx69) - Pos Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1423 -> 1441[label="",style="solid", color="black", weight=3]; 14.64/5.48 1013[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];1410 -> 1098[label="",style="dashed", color="red", weight=0]; 14.64/5.48 1410[label="primPlusInt (Pos (primPlusNat (Succ xx63) (Succ xx62))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1410 -> 1425[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 1135[label="primPlusNat xx57 (Succ Zero)",fontsize=16,color="burlywood",shape="box"];2572[label="xx57/Succ xx570",fontsize=10,color="white",style="solid",shape="box"];1135 -> 2572[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2572 -> 1156[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2573[label="xx57/Zero",fontsize=10,color="white",style="solid",shape="box"];1135 -> 2573[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2573 -> 1157[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2206 -> 2204[label="",style="dashed", color="red", weight=0]; 14.64/5.48 2206[label="primPlusInt (error []) (Pos (Succ Zero))",fontsize=16,color="magenta"];2207[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpInt (Neg (Succ xx114)) (Neg (Succ xx114)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2207 -> 2210[label="",style="solid", color="black", weight=3]; 14.64/5.48 1027 -> 1098[label="",style="dashed", color="red", weight=0]; 14.64/5.48 1027[label="primPlusInt (Pos (Succ xx3000)) (Pos (Succ Zero))",fontsize=16,color="magenta"];1027 -> 1103[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 1424 -> 1098[label="",style="dashed", color="red", weight=0]; 14.64/5.48 1424[label="primPlusInt (Pos (primPlusNat (Succ xx66) Zero)) (Pos (Succ Zero))",fontsize=16,color="magenta"];1424 -> 1442[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 2208[label="error []",fontsize=16,color="red",shape="box"];2209 -> 2408[label="",style="dashed", color="red", weight=0]; 14.64/5.48 2209[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat (Succ xx109) (Succ xx109) == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2209 -> 2409[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 2209 -> 2410[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 2209 -> 2411[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 1441[label="primPlusInt (primMinusInt (Pos (Succ xx69)) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1441 -> 1461[label="",style="solid", color="black", weight=3]; 14.64/5.48 1425[label="primPlusNat (Succ xx63) (Succ xx62)",fontsize=16,color="black",shape="box"];1425 -> 1443[label="",style="solid", color="black", weight=3]; 14.64/5.48 1156[label="primPlusNat (Succ xx570) (Succ Zero)",fontsize=16,color="black",shape="box"];1156 -> 1181[label="",style="solid", color="black", weight=3]; 14.64/5.48 1157[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];1157 -> 1182[label="",style="solid", color="black", weight=3]; 14.64/5.48 2210 -> 2441[label="",style="dashed", color="red", weight=0]; 14.64/5.48 2210[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat (Succ xx114) (Succ xx114) == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2210 -> 2442[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 2210 -> 2443[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 2210 -> 2444[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 1103[label="Succ xx3000",fontsize=16,color="green",shape="box"];1442 -> 1205[label="",style="dashed", color="red", weight=0]; 14.64/5.48 1442[label="primPlusNat (Succ xx66) Zero",fontsize=16,color="magenta"];1442 -> 1462[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 2409[label="xx109",fontsize=16,color="green",shape="box"];2410[label="xx108",fontsize=16,color="green",shape="box"];2411[label="Succ xx109",fontsize=16,color="green",shape="box"];2408[label="primPlusInt (index1 (Pos (Succ xx121)) (Pos (Succ xx122)) (Pos (Succ xx122)) (not (primCmpNat xx123 xx123 == GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2574[label="xx123/Succ xx1230",fontsize=10,color="white",style="solid",shape="box"];2408 -> 2574[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2574 -> 2439[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2575[label="xx123/Zero",fontsize=10,color="white",style="solid",shape="box"];2408 -> 2575[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2575 -> 2440[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 1461 -> 1002[label="",style="dashed", color="red", weight=0]; 14.64/5.48 1461[label="primPlusInt (primMinusNat (Succ xx69) Zero) (Pos (Succ Zero))",fontsize=16,color="magenta"];1461 -> 1482[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 1443[label="Succ (Succ (primPlusNat xx63 xx62))",fontsize=16,color="green",shape="box"];1443 -> 1463[label="",style="dashed", color="green", weight=3]; 14.64/5.48 1181[label="Succ (Succ (primPlusNat xx570 Zero))",fontsize=16,color="green",shape="box"];1181 -> 1205[label="",style="dashed", color="green", weight=3]; 14.64/5.48 1182[label="Succ Zero",fontsize=16,color="green",shape="box"];2442[label="xx113",fontsize=16,color="green",shape="box"];2443[label="xx114",fontsize=16,color="green",shape="box"];2444[label="Succ xx114",fontsize=16,color="green",shape="box"];2441[label="primPlusInt (index1 (Neg (Succ xx125)) (Neg (Succ xx126)) (Neg (Succ xx126)) (not (primCmpNat xx127 xx127 == GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2576[label="xx127/Succ xx1270",fontsize=10,color="white",style="solid",shape="box"];2441 -> 2576[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2576 -> 2472[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2577[label="xx127/Zero",fontsize=10,color="white",style="solid",shape="box"];2441 -> 2577[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2577 -> 2473[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 1462[label="Succ xx66",fontsize=16,color="green",shape="box"];1205[label="primPlusNat xx570 Zero",fontsize=16,color="burlywood",shape="triangle"];2578[label="xx570/Succ xx5700",fontsize=10,color="white",style="solid",shape="box"];1205 -> 2578[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2578 -> 1228[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2579[label="xx570/Zero",fontsize=10,color="white",style="solid",shape="box"];1205 -> 2579[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2579 -> 1229[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2439[label="primPlusInt (index1 (Pos (Succ xx121)) (Pos (Succ xx122)) (Pos (Succ xx122)) (not (primCmpNat (Succ xx1230) (Succ xx1230) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2439 -> 2474[label="",style="solid", color="black", weight=3]; 14.64/5.48 2440[label="primPlusInt (index1 (Pos (Succ xx121)) (Pos (Succ xx122)) (Pos (Succ xx122)) (not (primCmpNat Zero Zero == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2440 -> 2475[label="",style="solid", color="black", weight=3]; 14.64/5.48 1482[label="xx69",fontsize=16,color="green",shape="box"];1463[label="primPlusNat xx63 xx62",fontsize=16,color="burlywood",shape="triangle"];2580[label="xx63/Succ xx630",fontsize=10,color="white",style="solid",shape="box"];1463 -> 2580[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2580 -> 1483[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2581[label="xx63/Zero",fontsize=10,color="white",style="solid",shape="box"];1463 -> 2581[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2581 -> 1484[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2472[label="primPlusInt (index1 (Neg (Succ xx125)) (Neg (Succ xx126)) (Neg (Succ xx126)) (not (primCmpNat (Succ xx1270) (Succ xx1270) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2472 -> 2476[label="",style="solid", color="black", weight=3]; 14.64/5.48 2473[label="primPlusInt (index1 (Neg (Succ xx125)) (Neg (Succ xx126)) (Neg (Succ xx126)) (not (primCmpNat Zero Zero == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2473 -> 2477[label="",style="solid", color="black", weight=3]; 14.64/5.48 1228[label="primPlusNat (Succ xx5700) Zero",fontsize=16,color="black",shape="box"];1228 -> 1254[label="",style="solid", color="black", weight=3]; 14.64/5.48 1229[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1229 -> 1255[label="",style="solid", color="black", weight=3]; 14.64/5.48 2474 -> 2408[label="",style="dashed", color="red", weight=0]; 14.64/5.48 2474[label="primPlusInt (index1 (Pos (Succ xx121)) (Pos (Succ xx122)) (Pos (Succ xx122)) (not (primCmpNat xx1230 xx1230 == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2474 -> 2478[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 2475[label="primPlusInt (index1 (Pos (Succ xx121)) (Pos (Succ xx122)) (Pos (Succ xx122)) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2475 -> 2479[label="",style="solid", color="black", weight=3]; 14.64/5.48 1483[label="primPlusNat (Succ xx630) xx62",fontsize=16,color="burlywood",shape="box"];2582[label="xx62/Succ xx620",fontsize=10,color="white",style="solid",shape="box"];1483 -> 2582[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2582 -> 1505[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2583[label="xx62/Zero",fontsize=10,color="white",style="solid",shape="box"];1483 -> 2583[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2583 -> 1506[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 1484[label="primPlusNat Zero xx62",fontsize=16,color="burlywood",shape="box"];2584[label="xx62/Succ xx620",fontsize=10,color="white",style="solid",shape="box"];1484 -> 2584[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2584 -> 1507[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2585[label="xx62/Zero",fontsize=10,color="white",style="solid",shape="box"];1484 -> 2585[label="",style="solid", color="burlywood", weight=9]; 14.64/5.48 2585 -> 1508[label="",style="solid", color="burlywood", weight=3]; 14.64/5.48 2476 -> 2441[label="",style="dashed", color="red", weight=0]; 14.64/5.48 2476[label="primPlusInt (index1 (Neg (Succ xx125)) (Neg (Succ xx126)) (Neg (Succ xx126)) (not (primCmpNat xx1270 xx1270 == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2476 -> 2480[label="",style="dashed", color="magenta", weight=3]; 14.64/5.48 2477[label="primPlusInt (index1 (Neg (Succ xx125)) (Neg (Succ xx126)) (Neg (Succ xx126)) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2477 -> 2481[label="",style="solid", color="black", weight=3]; 14.64/5.48 1254[label="Succ xx5700",fontsize=16,color="green",shape="box"];1255[label="Zero",fontsize=16,color="green",shape="box"];2478[label="xx1230",fontsize=16,color="green",shape="box"];2479[label="primPlusInt (index1 (Pos (Succ xx121)) (Pos (Succ xx122)) (Pos (Succ xx122)) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2479 -> 2482[label="",style="solid", color="black", weight=3]; 14.64/5.48 1505[label="primPlusNat (Succ xx630) (Succ xx620)",fontsize=16,color="black",shape="box"];1505 -> 1531[label="",style="solid", color="black", weight=3]; 14.64/5.48 1506[label="primPlusNat (Succ xx630) Zero",fontsize=16,color="black",shape="box"];1506 -> 1532[label="",style="solid", color="black", weight=3]; 14.64/5.48 1507[label="primPlusNat Zero (Succ xx620)",fontsize=16,color="black",shape="box"];1507 -> 1533[label="",style="solid", color="black", weight=3]; 14.64/5.48 1508[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1508 -> 1534[label="",style="solid", color="black", weight=3]; 14.64/5.48 2480[label="xx1270",fontsize=16,color="green",shape="box"];2481[label="primPlusInt (index1 (Neg (Succ xx125)) (Neg (Succ xx126)) (Neg (Succ xx126)) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2481 -> 2483[label="",style="solid", color="black", weight=3]; 14.64/5.49 2482[label="primPlusInt (index1 (Pos (Succ xx121)) (Pos (Succ xx122)) (Pos (Succ xx122)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2482 -> 2484[label="",style="solid", color="black", weight=3]; 14.64/5.49 1531[label="Succ (Succ (primPlusNat xx630 xx620))",fontsize=16,color="green",shape="box"];1531 -> 1558[label="",style="dashed", color="green", weight=3]; 14.64/5.49 1532[label="Succ xx630",fontsize=16,color="green",shape="box"];1533[label="Succ xx620",fontsize=16,color="green",shape="box"];1534[label="Zero",fontsize=16,color="green",shape="box"];2483[label="primPlusInt (index1 (Neg (Succ xx125)) (Neg (Succ xx126)) (Neg (Succ xx126)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2483 -> 2485[label="",style="solid", color="black", weight=3]; 14.64/5.49 2484[label="primPlusInt (Pos (Succ xx122) - Pos (Succ xx121)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2484 -> 2486[label="",style="solid", color="black", weight=3]; 14.64/5.49 1558 -> 1463[label="",style="dashed", color="red", weight=0]; 14.64/5.49 1558[label="primPlusNat xx630 xx620",fontsize=16,color="magenta"];1558 -> 1584[label="",style="dashed", color="magenta", weight=3]; 14.64/5.49 1558 -> 1585[label="",style="dashed", color="magenta", weight=3]; 14.64/5.49 2485[label="primPlusInt (Neg (Succ xx126) - Neg (Succ xx125)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2485 -> 2487[label="",style="solid", color="black", weight=3]; 14.64/5.49 2486[label="primPlusInt (primMinusInt (Pos (Succ xx122)) (Pos (Succ xx121))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2486 -> 2488[label="",style="solid", color="black", weight=3]; 14.64/5.49 1584[label="xx620",fontsize=16,color="green",shape="box"];1585[label="xx630",fontsize=16,color="green",shape="box"];2487[label="primPlusInt (primMinusInt (Neg (Succ xx126)) (Neg (Succ xx125))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2487 -> 2489[label="",style="solid", color="black", weight=3]; 14.64/5.49 2488[label="primPlusInt (primMinusNat (Succ xx122) (Succ xx121)) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];2488 -> 2490[label="",style="solid", color="black", weight=3]; 14.64/5.49 2489 -> 2488[label="",style="dashed", color="red", weight=0]; 14.64/5.49 2489[label="primPlusInt (primMinusNat (Succ xx125) (Succ xx126)) (Pos (Succ Zero))",fontsize=16,color="magenta"];2489 -> 2491[label="",style="dashed", color="magenta", weight=3]; 14.64/5.49 2489 -> 2492[label="",style="dashed", color="magenta", weight=3]; 14.64/5.49 2490[label="primPlusInt (primMinusNat xx122 xx121) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2586[label="xx122/Succ xx1220",fontsize=10,color="white",style="solid",shape="box"];2490 -> 2586[label="",style="solid", color="burlywood", weight=9]; 14.64/5.49 2586 -> 2493[label="",style="solid", color="burlywood", weight=3]; 14.64/5.49 2587[label="xx122/Zero",fontsize=10,color="white",style="solid",shape="box"];2490 -> 2587[label="",style="solid", color="burlywood", weight=9]; 14.64/5.49 2587 -> 2494[label="",style="solid", color="burlywood", weight=3]; 14.64/5.49 2491[label="xx125",fontsize=16,color="green",shape="box"];2492[label="xx126",fontsize=16,color="green",shape="box"];2493[label="primPlusInt (primMinusNat (Succ xx1220) xx121) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2588[label="xx121/Succ xx1210",fontsize=10,color="white",style="solid",shape="box"];2493 -> 2588[label="",style="solid", color="burlywood", weight=9]; 14.64/5.49 2588 -> 2495[label="",style="solid", color="burlywood", weight=3]; 14.64/5.49 2589[label="xx121/Zero",fontsize=10,color="white",style="solid",shape="box"];2493 -> 2589[label="",style="solid", color="burlywood", weight=9]; 14.64/5.49 2589 -> 2496[label="",style="solid", color="burlywood", weight=3]; 14.64/5.49 2494[label="primPlusInt (primMinusNat Zero xx121) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2590[label="xx121/Succ xx1210",fontsize=10,color="white",style="solid",shape="box"];2494 -> 2590[label="",style="solid", color="burlywood", weight=9]; 14.64/5.49 2590 -> 2497[label="",style="solid", color="burlywood", weight=3]; 14.64/5.49 2591[label="xx121/Zero",fontsize=10,color="white",style="solid",shape="box"];2494 -> 2591[label="",style="solid", color="burlywood", weight=9]; 14.64/5.49 2591 -> 2498[label="",style="solid", color="burlywood", weight=3]; 14.64/5.49 2495[label="primPlusInt (primMinusNat (Succ xx1220) (Succ xx1210)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2495 -> 2499[label="",style="solid", color="black", weight=3]; 14.64/5.49 2496[label="primPlusInt (primMinusNat (Succ xx1220) Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2496 -> 2500[label="",style="solid", color="black", weight=3]; 14.64/5.49 2497[label="primPlusInt (primMinusNat Zero (Succ xx1210)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2497 -> 2501[label="",style="solid", color="black", weight=3]; 14.64/5.49 2498[label="primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2498 -> 2502[label="",style="solid", color="black", weight=3]; 14.64/5.49 2499 -> 2490[label="",style="dashed", color="red", weight=0]; 14.64/5.49 2499[label="primPlusInt (primMinusNat xx1220 xx1210) (Pos (Succ Zero))",fontsize=16,color="magenta"];2499 -> 2503[label="",style="dashed", color="magenta", weight=3]; 14.64/5.49 2499 -> 2504[label="",style="dashed", color="magenta", weight=3]; 14.64/5.49 2500 -> 1098[label="",style="dashed", color="red", weight=0]; 14.64/5.49 2500[label="primPlusInt (Pos (Succ xx1220)) (Pos (Succ Zero))",fontsize=16,color="magenta"];2500 -> 2505[label="",style="dashed", color="magenta", weight=3]; 14.64/5.49 2501[label="primPlusInt (Neg (Succ xx1210)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2501 -> 2506[label="",style="solid", color="black", weight=3]; 14.64/5.49 2502 -> 1098[label="",style="dashed", color="red", weight=0]; 14.64/5.49 2502[label="primPlusInt (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="magenta"];2502 -> 2507[label="",style="dashed", color="magenta", weight=3]; 14.64/5.49 2503[label="xx1220",fontsize=16,color="green",shape="box"];2504[label="xx1210",fontsize=16,color="green",shape="box"];2505[label="Succ xx1220",fontsize=16,color="green",shape="box"];2506[label="primMinusNat (Succ Zero) (Succ xx1210)",fontsize=16,color="black",shape="box"];2506 -> 2508[label="",style="solid", color="black", weight=3]; 14.64/5.49 2507[label="Zero",fontsize=16,color="green",shape="box"];2508[label="primMinusNat Zero xx1210",fontsize=16,color="burlywood",shape="box"];2592[label="xx1210/Succ xx12100",fontsize=10,color="white",style="solid",shape="box"];2508 -> 2592[label="",style="solid", color="burlywood", weight=9]; 14.64/5.49 2592 -> 2509[label="",style="solid", color="burlywood", weight=3]; 14.64/5.49 2593[label="xx1210/Zero",fontsize=10,color="white",style="solid",shape="box"];2508 -> 2593[label="",style="solid", color="burlywood", weight=9]; 14.64/5.49 2593 -> 2510[label="",style="solid", color="burlywood", weight=3]; 14.64/5.49 2509[label="primMinusNat Zero (Succ xx12100)",fontsize=16,color="black",shape="box"];2509 -> 2511[label="",style="solid", color="black", weight=3]; 14.64/5.49 2510[label="primMinusNat Zero Zero",fontsize=16,color="black",shape="box"];2510 -> 2512[label="",style="solid", color="black", weight=3]; 14.64/5.49 2511[label="Neg (Succ xx12100)",fontsize=16,color="green",shape="box"];2512[label="Pos Zero",fontsize=16,color="green",shape="box"];} 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (8) 14.64/5.49 Complex Obligation (AND) 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (9) 14.64/5.49 Obligation: 14.64/5.49 Q DP problem: 14.64/5.49 The TRS P consists of the following rules: 14.64/5.49 14.64/5.49 new_rangeSize10(xx45, xx46, Succ(xx470), Succ(xx480)) -> new_rangeSize10(xx45, xx46, xx470, xx480) 14.64/5.49 14.64/5.49 R is empty. 14.64/5.49 Q is empty. 14.64/5.49 We have to consider all minimal (P,Q,R)-chains. 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (10) QDPSizeChangeProof (EQUIVALENT) 14.64/5.49 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. 14.64/5.49 14.64/5.49 From the DPs we obtained the following set of size-change graphs: 14.64/5.49 *new_rangeSize10(xx45, xx46, Succ(xx470), Succ(xx480)) -> new_rangeSize10(xx45, xx46, xx470, xx480) 14.64/5.49 The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4 14.64/5.49 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (11) 14.64/5.49 YES 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (12) 14.64/5.49 Obligation: 14.64/5.49 Q DP problem: 14.64/5.49 The TRS P consists of the following rules: 14.64/5.49 14.64/5.49 new_primPlusInt(xx66, Succ(xx670)) -> new_primPlusInt(xx66, xx670) 14.64/5.49 14.64/5.49 R is empty. 14.64/5.49 Q is empty. 14.64/5.49 We have to consider all minimal (P,Q,R)-chains. 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (13) QDPSizeChangeProof (EQUIVALENT) 14.64/5.49 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. 14.64/5.49 14.64/5.49 From the DPs we obtained the following set of size-change graphs: 14.64/5.49 *new_primPlusInt(xx66, Succ(xx670)) -> new_primPlusInt(xx66, xx670) 14.64/5.49 The graph contains the following edges 1 >= 1, 2 > 2 14.64/5.49 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (14) 14.64/5.49 YES 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (15) 14.64/5.49 Obligation: 14.64/5.49 Q DP problem: 14.64/5.49 The TRS P consists of the following rules: 14.64/5.49 14.64/5.49 new_primPlusInt0(xx62, xx63, Succ(xx640)) -> new_primPlusInt0(xx62, xx63, xx640) 14.64/5.49 14.64/5.49 R is empty. 14.64/5.49 Q is empty. 14.64/5.49 We have to consider all minimal (P,Q,R)-chains. 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (16) QDPSizeChangeProof (EQUIVALENT) 14.64/5.49 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. 14.64/5.49 14.64/5.49 From the DPs we obtained the following set of size-change graphs: 14.64/5.49 *new_primPlusInt0(xx62, xx63, Succ(xx640)) -> new_primPlusInt0(xx62, xx63, xx640) 14.64/5.49 The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3 14.64/5.49 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (17) 14.64/5.49 YES 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (18) 14.64/5.49 Obligation: 14.64/5.49 Q DP problem: 14.64/5.49 The TRS P consists of the following rules: 14.64/5.49 14.64/5.49 new_primPlusInt5(xx113, xx114, Succ(xx1150), Succ(xx1160)) -> new_primPlusInt5(xx113, xx114, xx1150, xx1160) 14.64/5.49 14.64/5.49 R is empty. 14.64/5.49 Q is empty. 14.64/5.49 We have to consider all minimal (P,Q,R)-chains. 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (19) QDPSizeChangeProof (EQUIVALENT) 14.64/5.49 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. 14.64/5.49 14.64/5.49 From the DPs we obtained the following set of size-change graphs: 14.64/5.49 *new_primPlusInt5(xx113, xx114, Succ(xx1150), Succ(xx1160)) -> new_primPlusInt5(xx113, xx114, xx1150, xx1160) 14.64/5.49 The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4 14.64/5.49 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (20) 14.64/5.49 YES 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (21) 14.64/5.49 Obligation: 14.64/5.49 Q DP problem: 14.64/5.49 The TRS P consists of the following rules: 14.64/5.49 14.64/5.49 new_primPlusInt1(xx69, Succ(xx700)) -> new_primPlusInt1(xx69, xx700) 14.64/5.49 14.64/5.49 R is empty. 14.64/5.49 Q is empty. 14.64/5.49 We have to consider all minimal (P,Q,R)-chains. 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (22) QDPSizeChangeProof (EQUIVALENT) 14.64/5.49 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. 14.64/5.49 14.64/5.49 From the DPs we obtained the following set of size-change graphs: 14.64/5.49 *new_primPlusInt1(xx69, Succ(xx700)) -> new_primPlusInt1(xx69, xx700) 14.64/5.49 The graph contains the following edges 1 >= 1, 2 > 2 14.64/5.49 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (23) 14.64/5.49 YES 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (24) 14.64/5.49 Obligation: 14.64/5.49 Q DP problem: 14.64/5.49 The TRS P consists of the following rules: 14.64/5.49 14.64/5.49 new_primPlusInt3(xx125, xx126, Succ(xx1270)) -> new_primPlusInt3(xx125, xx126, xx1270) 14.64/5.49 14.64/5.49 R is empty. 14.64/5.49 Q is empty. 14.64/5.49 We have to consider all minimal (P,Q,R)-chains. 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (25) QDPSizeChangeProof (EQUIVALENT) 14.64/5.49 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. 14.64/5.49 14.64/5.49 From the DPs we obtained the following set of size-change graphs: 14.64/5.49 *new_primPlusInt3(xx125, xx126, Succ(xx1270)) -> new_primPlusInt3(xx125, xx126, xx1270) 14.64/5.49 The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3 14.64/5.49 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (26) 14.64/5.49 YES 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (27) 14.64/5.49 Obligation: 14.64/5.49 Q DP problem: 14.64/5.49 The TRS P consists of the following rules: 14.64/5.49 14.64/5.49 new_primPlusInt4(xx121, xx122, Succ(xx1230)) -> new_primPlusInt4(xx121, xx122, xx1230) 14.64/5.49 14.64/5.49 R is empty. 14.64/5.49 Q is empty. 14.64/5.49 We have to consider all minimal (P,Q,R)-chains. 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (28) QDPSizeChangeProof (EQUIVALENT) 14.64/5.49 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. 14.64/5.49 14.64/5.49 From the DPs we obtained the following set of size-change graphs: 14.64/5.49 *new_primPlusInt4(xx121, xx122, Succ(xx1230)) -> new_primPlusInt4(xx121, xx122, xx1230) 14.64/5.49 The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3 14.64/5.49 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (29) 14.64/5.49 YES 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (30) 14.64/5.49 Obligation: 14.64/5.49 Q DP problem: 14.64/5.49 The TRS P consists of the following rules: 14.64/5.49 14.64/5.49 new_rangeSize1(xx53, xx54, Succ(xx550), Succ(xx560)) -> new_rangeSize1(xx53, xx54, xx550, xx560) 14.64/5.49 14.64/5.49 R is empty. 14.64/5.49 Q is empty. 14.64/5.49 We have to consider all minimal (P,Q,R)-chains. 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (31) QDPSizeChangeProof (EQUIVALENT) 14.64/5.49 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. 14.64/5.49 14.64/5.49 From the DPs we obtained the following set of size-change graphs: 14.64/5.49 *new_rangeSize1(xx53, xx54, Succ(xx550), Succ(xx560)) -> new_rangeSize1(xx53, xx54, xx550, xx560) 14.64/5.49 The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4 14.64/5.49 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (32) 14.64/5.49 YES 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (33) 14.64/5.49 Obligation: 14.64/5.49 Q DP problem: 14.64/5.49 The TRS P consists of the following rules: 14.64/5.49 14.64/5.49 new_primPlusInt6(xx108, xx109, Succ(xx1100), Succ(xx1110)) -> new_primPlusInt6(xx108, xx109, xx1100, xx1110) 14.64/5.49 14.64/5.49 R is empty. 14.64/5.49 Q is empty. 14.64/5.49 We have to consider all minimal (P,Q,R)-chains. 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (34) QDPSizeChangeProof (EQUIVALENT) 14.64/5.49 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. 14.64/5.49 14.64/5.49 From the DPs we obtained the following set of size-change graphs: 14.64/5.49 *new_primPlusInt6(xx108, xx109, Succ(xx1100), Succ(xx1110)) -> new_primPlusInt6(xx108, xx109, xx1100, xx1110) 14.64/5.49 The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4 14.64/5.49 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (35) 14.64/5.49 YES 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (36) 14.64/5.49 Obligation: 14.64/5.49 Q DP problem: 14.64/5.49 The TRS P consists of the following rules: 14.64/5.49 14.64/5.49 new_primPlusNat(Succ(xx630), Succ(xx620)) -> new_primPlusNat(xx630, xx620) 14.64/5.49 14.64/5.49 R is empty. 14.64/5.49 Q is empty. 14.64/5.49 We have to consider all minimal (P,Q,R)-chains. 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (37) QDPSizeChangeProof (EQUIVALENT) 14.64/5.49 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. 14.64/5.49 14.64/5.49 From the DPs we obtained the following set of size-change graphs: 14.64/5.49 *new_primPlusNat(Succ(xx630), Succ(xx620)) -> new_primPlusNat(xx630, xx620) 14.64/5.49 The graph contains the following edges 1 > 1, 2 > 2 14.64/5.49 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (38) 14.64/5.49 YES 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (39) 14.64/5.49 Obligation: 14.64/5.49 Q DP problem: 14.64/5.49 The TRS P consists of the following rules: 14.64/5.49 14.64/5.49 new_primPlusInt2(Succ(xx1220), Succ(xx1210)) -> new_primPlusInt2(xx1220, xx1210) 14.64/5.49 14.64/5.49 R is empty. 14.64/5.49 Q is empty. 14.64/5.49 We have to consider all minimal (P,Q,R)-chains. 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (40) QDPSizeChangeProof (EQUIVALENT) 14.64/5.49 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. 14.64/5.49 14.64/5.49 From the DPs we obtained the following set of size-change graphs: 14.64/5.49 *new_primPlusInt2(Succ(xx1220), Succ(xx1210)) -> new_primPlusInt2(xx1220, xx1210) 14.64/5.49 The graph contains the following edges 1 > 1, 2 > 2 14.64/5.49 14.64/5.49 14.64/5.49 ---------------------------------------- 14.64/5.49 14.64/5.49 (41) 14.64/5.49 YES 14.69/5.55 EOF