H-Termination proof of ../tpdb/FP/full_haskell/Prelude_enumFromThenTo

MAYBE H-Termination proof of ../tpdb/FP/full_haskell/Prelude_enumFromThenTo_7.hs
H-Termination of the given Haskell-Program with start terms could not be shown:

↳ HASKELL

  ↳ BR

mainModule Main

((enumFromThenTo :: Bool -> Bool -> Bool -> [Bool]) :: Bool -> Bool -> Bool -> [Bool])

module Main where

import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

mainModule Main

((enumFromThenTo :: Bool -> Bool -> Bool -> [Bool]) :: Bool -> Bool -> Bool -> [Bool])

module Main where

import qualified Prelude

Cond Reductions:
The following Function with conditions

p

| n' >= n

= flip (<=) m

| otherwise

= flip (>=) m

is transformed to

p = p2

p1 True = flip (<=) m

p1 False = p0 otherwise

p0 True = flip (>=) m

p2 = p1 (n' >= n)

The following Function with conditions

takeWhile p [] = []

takeWhile p (x : xs)

| p x

= x : takeWhile p xs

| otherwise

= []

is transformed to

takeWhile p [] = takeWhile3 p []

takeWhile p (x : xs) = takeWhile2 p (x : xs)

takeWhile0 p x xs True = []

takeWhile1 p x xs True = x : takeWhile p xs

takeWhile1 p x xs False = takeWhile0 p x xs otherwise

takeWhile2 p (x : xs) = takeWhile1 p x xs (p x)

takeWhile3 p [] = []

takeWhile3 wv ww = takeWhile2 wv ww

The following Function with conditions

toEnum 0 = False

toEnum 1 = True

is transformed to

toEnum wy = toEnum3 wy

toEnum wx = toEnum1 wx

toEnum0 True wx = True

toEnum1 wx = toEnum0 (wx == 1) wx

toEnum2 True wy = False

toEnum2 wz xu = toEnum1 xu

toEnum3 wy = toEnum2 (wy == 0) wy

toEnum3 xv = toEnum1 xv

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

mainModule Main

((enumFromThenTo :: Bool -> Bool -> Bool -> [Bool]) :: Bool -> Bool -> Bool -> [Bool])

module Main where

import qualified Prelude

Let/Where Reductions:
The bindings of the following Let/Where expression

takeWhile p (numericEnumFromThen n n')

where

p = p2

p0 True = flip (>=) m

p1 True = flip (<=) m

p1 False = p0 otherwise

p2 = p1 (n' >= n)

are unpacked to the following functions on top level

numericEnumFromThenToP2 xw xx xy = numericEnumFromThenToP1 xw xx xy (xw >= xx)

numericEnumFromThenToP1 xw xx xy True = flip (<=) xy

numericEnumFromThenToP1 xw xx xy False = numericEnumFromThenToP0 xw xx xy otherwise

numericEnumFromThenToP xw xx xy = numericEnumFromThenToP2 xw xx xy

numericEnumFromThenToP0 xw xx xy True = flip (>=) xy

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ NumRed

mainModule Main

((enumFromThenTo :: Bool -> Bool -> Bool -> [Bool]) :: Bool -> Bool -> Bool -> [Bool])

module Main where

import qualified Prelude

Num Reduction:All numbers are transformed to thier corresponding representation with Succ, Pred and Zero.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ NumRed

                ↳ HASKELL

                  ↳ Narrow

mainModule Main

(enumFromThenTo :: Bool -> Bool -> Bool -> [Bool])

module Main where

import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="enumFromThenTo\n",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="enumFromThenTo xz3\n",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
4[label="enumFromThenTo xz3 xz4\n",fontsize=16,color="grey",shape="box"];4 -> 5[label="",style="dashed", color="grey", weight=3];
5[label="enumFromThenTo xz3 xz4 xz5\n",fontsize=16,color="black",shape="triangle"];5 -> 6[label="",style="solid", color="black", weight=3];
6[label="map toEnum (enumFromThenTo (fromEnum xz3) (fromEnum xz4) (fromEnum xz5))\n",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
7[label="map toEnum (numericEnumFromThenTo (fromEnum xz3) (fromEnum xz4) (fromEnum xz5))\n",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
8[label="map toEnum (takeWhile (numericEnumFromThenToP (fromEnum xz4) (fromEnum xz3) (fromEnum xz5)) (numericEnumFromThen (fromEnum xz3) (fromEnum xz4)))\n",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
9[label="map toEnum (takeWhile (numericEnumFromThenToP (fromEnum xz4) (fromEnum xz3) (fromEnum xz5)) (iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz3)))\n",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
10[label="map toEnum (takeWhile (numericEnumFromThenToP (fromEnum xz4) (fromEnum xz3) (fromEnum xz5)) (fromEnum xz3 : iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz4 - fromEnum xz3 + fromEnum xz3)))\n",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3];
11[label="map toEnum (takeWhile2 (numericEnumFromThenToP (fromEnum xz4) (fromEnum xz3) (fromEnum xz5)) (fromEnum xz3 : iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz4 - fromEnum xz3 + fromEnum xz3)))\n",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
12[label="map toEnum (takeWhile1 (numericEnumFromThenToP (fromEnum xz4) (fromEnum xz3) (fromEnum xz5)) (fromEnum xz3) (iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz4 - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (fromEnum xz3)))\n",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3];
13[label="map toEnum (takeWhile1 (numericEnumFromThenToP2 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5)) (fromEnum xz3) (iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz4 - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP2 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (fromEnum xz3)))\n",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3];
14[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (fromEnum xz4 >= fromEnum xz3)) (fromEnum xz3) (iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz4 - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP1 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (fromEnum xz4 >= fromEnum xz3) (fromEnum xz3)))\n",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3];
15[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (compare (fromEnum xz4) (fromEnum xz3) /= LT)) (fromEnum xz3) (iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz4 - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP1 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (compare (fromEnum xz4) (fromEnum xz3) /= LT) (fromEnum xz3)))\n",fontsize=16,color="black",shape="box"];15 -> 16[label="",style="solid", color="black", weight=3];
16[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (not (compare (fromEnum xz4) (fromEnum xz3) == LT))) (fromEnum xz3) (iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz4 - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP1 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (not (compare (fromEnum xz4) (fromEnum xz3) == LT)) (fromEnum xz3)))\n",fontsize=16,color="black",shape="box"];16 -> 17[label="",style="solid", color="black", weight=3];
17[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (fromEnum xz4) (fromEnum xz3) == LT))) (fromEnum xz3) (iterate (fromEnum xz4 - fromEnum xz3 +) (fromEnum xz4 - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP1 (fromEnum xz4) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (fromEnum xz4) (fromEnum xz3) == LT)) (fromEnum xz3)))\n",fontsize=16,color="burlywood",shape="box"];400[label="xz4/False",fontsize=10,color="white",style="solid",shape="box"];17 -> 400[label="",style="solid", color="burlywood", weight=9];
400 -> 18[label="",style="solid", color="burlywood", weight=3];
401[label="xz4/True",fontsize=10,color="white",style="solid",shape="box"];17 -> 401[label="",style="solid", color="burlywood", weight=9];
401 -> 19[label="",style="solid", color="burlywood", weight=3];
18[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum False) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (fromEnum False) (fromEnum xz3) == LT))) (fromEnum xz3) (iterate (fromEnum False - fromEnum xz3 +) (fromEnum False - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP1 (fromEnum False) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (fromEnum False) (fromEnum xz3) == LT)) (fromEnum xz3)))\n",fontsize=16,color="black",shape="box"];18 -> 20[label="",style="solid", color="black", weight=3];
19[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (fromEnum True) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (fromEnum True) (fromEnum xz3) == LT))) (fromEnum xz3) (iterate (fromEnum True - fromEnum xz3 +) (fromEnum True - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP1 (fromEnum True) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (fromEnum True) (fromEnum xz3) == LT)) (fromEnum xz3)))\n",fontsize=16,color="black",shape="box"];19 -> 21[label="",style="solid", color="black", weight=3];
20[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (Pos Zero) (fromEnum xz3) == LT))) (fromEnum xz3) (iterate (Pos Zero - fromEnum xz3 +) (Pos Zero - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP1 (Pos Zero) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (Pos Zero) (fromEnum xz3) == LT)) (fromEnum xz3)))\n",fontsize=16,color="burlywood",shape="box"];402[label="xz3/False",fontsize=10,color="white",style="solid",shape="box"];20 -> 402[label="",style="solid", color="burlywood", weight=9];
402 -> 22[label="",style="solid", color="burlywood", weight=3];
403[label="xz3/True",fontsize=10,color="white",style="solid",shape="box"];20 -> 403[label="",style="solid", color="burlywood", weight=9];
403 -> 23[label="",style="solid", color="burlywood", weight=3];
21[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (fromEnum xz3) == LT))) (fromEnum xz3) (iterate (Pos (Succ Zero) - fromEnum xz3 +) (Pos (Succ Zero) - fromEnum xz3 + fromEnum xz3)) (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnum xz3) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (fromEnum xz3) == LT)) (fromEnum xz3)))\n",fontsize=16,color="burlywood",shape="box"];404[label="xz3/False",fontsize=10,color="white",style="solid",shape="box"];21 -> 404[label="",style="solid", color="burlywood", weight=9];
404 -> 24[label="",style="solid", color="burlywood", weight=3];
405[label="xz3/True",fontsize=10,color="white",style="solid",shape="box"];21 -> 405[label="",style="solid", color="burlywood", weight=9];
405 -> 25[label="",style="solid", color="burlywood", weight=3];
22[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (fromEnum False) (fromEnum xz5) (not (primCmpInt (Pos Zero) (fromEnum False) == LT))) (fromEnum False) (iterate (Pos Zero - fromEnum False +) (Pos Zero - fromEnum False + fromEnum False)) (numericEnumFromThenToP1 (Pos Zero) (fromEnum False) (fromEnum xz5) (not (primCmpInt (Pos Zero) (fromEnum False) == LT)) (fromEnum False)))\n",fontsize=16,color="black",shape="box"];22 -> 26[label="",style="solid", color="black", weight=3];
23[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (fromEnum True) (fromEnum xz5) (not (primCmpInt (Pos Zero) (fromEnum True) == LT))) (fromEnum True) (iterate (Pos Zero - fromEnum True +) (Pos Zero - fromEnum True + fromEnum True)) (numericEnumFromThenToP1 (Pos Zero) (fromEnum True) (fromEnum xz5) (not (primCmpInt (Pos Zero) (fromEnum True) == LT)) (fromEnum True)))\n",fontsize=16,color="black",shape="box"];23 -> 27[label="",style="solid", color="black", weight=3];
24[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnum False) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (fromEnum False) == LT))) (fromEnum False) (iterate (Pos (Succ Zero) - fromEnum False +) (Pos (Succ Zero) - fromEnum False + fromEnum False)) (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnum False) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (fromEnum False) == LT)) (fromEnum False)))\n",fontsize=16,color="black",shape="box"];24 -> 28[label="",style="solid", color="black", weight=3];
25[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnum True) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (fromEnum True) == LT))) (fromEnum True) (iterate (Pos (Succ Zero) - fromEnum True +) (Pos (Succ Zero) - fromEnum True + fromEnum True)) (numericEnumFromThenToP1 (Pos (Succ Zero)) (fromEnum True) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (fromEnum True) == LT)) (fromEnum True)))\n",fontsize=16,color="black",shape="box"];25 -> 29[label="",style="solid", color="black", weight=3];
26[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnum xz5) (not (primCmpInt (Pos Zero) (Pos Zero) == LT))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnum xz5) (not (primCmpInt (Pos Zero) (Pos Zero) == LT)) (Pos Zero)))\n",fontsize=16,color="black",shape="box"];26 -> 30[label="",style="solid", color="black", weight=3];
27[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpInt (Pos Zero) (Pos (Succ Zero)) == LT))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpInt (Pos Zero) (Pos (Succ Zero)) == LT)) (Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];27 -> 31[label="",style="solid", color="black", weight=3];
28[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)) (Pos Zero)))\n",fontsize=16,color="black",shape="box"];28 -> 32[label="",style="solid", color="black", weight=3];
29[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero)) == LT))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero)) == LT)) (Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];29 -> 33[label="",style="solid", color="black", weight=3];
30[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnum xz5) (not (EQ == LT))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnum xz5) (not (EQ == LT)) (Pos Zero)))\n",fontsize=16,color="black",shape="box"];30 -> 34[label="",style="solid", color="black", weight=3];
31[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpNat Zero (Succ Zero) == LT))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpNat Zero (Succ Zero) == LT)) (Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];31 -> 35[label="",style="solid", color="black", weight=3];
32[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) (not (primCmpNat (Succ Zero) Zero == LT))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) (not (primCmpNat (Succ Zero) Zero == LT)) (Pos Zero)))\n",fontsize=16,color="black",shape="box"];32 -> 36[label="",style="solid", color="black", weight=3];
33[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpNat (Succ Zero) (Succ Zero) == LT))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpNat (Succ Zero) (Succ Zero) == LT)) (Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];33 -> 37[label="",style="solid", color="black", weight=3];
34[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnum xz5) (not False)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnum xz5) (not False) (Pos Zero)))\n",fontsize=16,color="black",shape="box"];34 -> 38[label="",style="solid", color="black", weight=3];
35[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) (not (LT == LT))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) (not (LT == LT)) (Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];35 -> 39[label="",style="solid", color="black", weight=3];
36[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) (not (GT == LT))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) (not (GT == LT)) (Pos Zero)))\n",fontsize=16,color="black",shape="box"];36 -> 40[label="",style="solid", color="black", weight=3];
37[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpNat Zero Zero == LT))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not (primCmpNat Zero Zero == LT)) (Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];37 -> 41[label="",style="solid", color="black", weight=3];
38[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnum xz5) True) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos Zero) (Pos Zero) (fromEnum xz5) True (Pos Zero)))\n",fontsize=16,color="black",shape="box"];38 -> 42[label="",style="solid", color="black", weight=3];
39[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) (not True)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) (not True) (Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];39 -> 43[label="",style="solid", color="black", weight=3];
40[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) (not False)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) (not False) (Pos Zero)))\n",fontsize=16,color="black",shape="box"];40 -> 44[label="",style="solid", color="black", weight=3];
41[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not (EQ == LT))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not (EQ == LT)) (Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];41 -> 45[label="",style="solid", color="black", weight=3];
42[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (flip (<=) (fromEnum xz5) (Pos Zero)))\n",fontsize=16,color="black",shape="box"];42 -> 46[label="",style="solid", color="black", weight=3];
43[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) False) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) False (Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];43 -> 47[label="",style="solid", color="black", weight=3];
44[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) True) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos Zero) (fromEnum xz5) True (Pos Zero)))\n",fontsize=16,color="black",shape="box"];44 -> 48[label="",style="solid", color="black", weight=3];
45[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not False)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) (not False) (Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];45 -> 49[label="",style="solid", color="black", weight=3];
46[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) ((<=) Pos Zero fromEnum xz5))\n",fontsize=16,color="black",shape="box"];46 -> 50[label="",style="solid", color="black", weight=3];
47[label="map toEnum (takeWhile1 (numericEnumFromThenToP0 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) otherwise) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP0 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) otherwise (Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];47 -> 51[label="",style="solid", color="black", weight=3];
48[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (flip (<=) (fromEnum xz5) (Pos Zero)))\n",fontsize=16,color="black",shape="box"];48 -> 52[label="",style="solid", color="black", weight=3];
49[label="map toEnum (takeWhile1 (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) True) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP1 (Pos (Succ Zero)) (Pos (Succ Zero)) (fromEnum xz5) True (Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];49 -> 53[label="",style="solid", color="black", weight=3];
50[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (compare (Pos Zero) (fromEnum xz5) /= GT))\n",fontsize=16,color="black",shape="box"];50 -> 54[label="",style="solid", color="black", weight=3];
51[label="map toEnum (takeWhile1 (numericEnumFromThenToP0 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) True) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (numericEnumFromThenToP0 (Pos Zero) (Pos (Succ Zero)) (fromEnum xz5) True (Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];51 -> 55[label="",style="solid", color="black", weight=3];
52[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) ((<=) Pos Zero fromEnum xz5))\n",fontsize=16,color="black",shape="box"];52 -> 56[label="",style="solid", color="black", weight=3];
53[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (flip (<=) (fromEnum xz5) (Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];53 -> 57[label="",style="solid", color="black", weight=3];
54[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (compare (Pos Zero) (fromEnum xz5) == GT)))\n",fontsize=16,color="black",shape="box"];54 -> 58[label="",style="solid", color="black", weight=3];
55[label="map toEnum (takeWhile1 (flip (>=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (flip (>=) (fromEnum xz5) (Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];55 -> 59[label="",style="solid", color="black", weight=3];
56[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (compare (Pos Zero) (fromEnum xz5) /= GT))\n",fontsize=16,color="black",shape="box"];56 -> 60[label="",style="solid", color="black", weight=3];
57[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) ((<=) Pos (Succ Zero) fromEnum xz5))\n",fontsize=16,color="black",shape="box"];57 -> 61[label="",style="solid", color="black", weight=3];
58[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (fromEnum xz5) == GT)))\n",fontsize=16,color="burlywood",shape="box"];406[label="xz5/False",fontsize=10,color="white",style="solid",shape="box"];58 -> 406[label="",style="solid", color="burlywood", weight=9];
406 -> 62[label="",style="solid", color="burlywood", weight=3];
407[label="xz5/True",fontsize=10,color="white",style="solid",shape="box"];58 -> 407[label="",style="solid", color="burlywood", weight=9];
407 -> 63[label="",style="solid", color="burlywood", weight=3];
59[label="map toEnum (takeWhile1 (flip (>=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) ((>=) Pos (Succ Zero) fromEnum xz5))\n",fontsize=16,color="black",shape="box"];59 -> 64[label="",style="solid", color="black", weight=3];
60[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (compare (Pos Zero) (fromEnum xz5) == GT)))\n",fontsize=16,color="black",shape="box"];60 -> 65[label="",style="solid", color="black", weight=3];
61[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (compare (Pos (Succ Zero)) (fromEnum xz5) /= GT))\n",fontsize=16,color="black",shape="box"];61 -> 66[label="",style="solid", color="black", weight=3];
62[label="map toEnum (takeWhile1 (flip (<=) (fromEnum False)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (fromEnum False) == GT)))\n",fontsize=16,color="black",shape="box"];62 -> 67[label="",style="solid", color="black", weight=3];
63[label="map toEnum (takeWhile1 (flip (<=) (fromEnum True)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (fromEnum True) == GT)))\n",fontsize=16,color="black",shape="box"];63 -> 68[label="",style="solid", color="black", weight=3];
64[label="map toEnum (takeWhile1 (flip (>=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (compare (Pos (Succ Zero)) (fromEnum xz5) /= LT))\n",fontsize=16,color="black",shape="box"];64 -> 69[label="",style="solid", color="black", weight=3];
65[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (fromEnum xz5) == GT)))\n",fontsize=16,color="burlywood",shape="box"];408[label="xz5/False",fontsize=10,color="white",style="solid",shape="box"];65 -> 408[label="",style="solid", color="burlywood", weight=9];
408 -> 70[label="",style="solid", color="burlywood", weight=3];
409[label="xz5/True",fontsize=10,color="white",style="solid",shape="box"];65 -> 409[label="",style="solid", color="burlywood", weight=9];
409 -> 71[label="",style="solid", color="burlywood", weight=3];
66[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (compare (Pos (Succ Zero)) (fromEnum xz5) == GT)))\n",fontsize=16,color="black",shape="box"];66 -> 72[label="",style="solid", color="black", weight=3];
67[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];67 -> 73[label="",style="solid", color="black", weight=3];
68[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];68 -> 74[label="",style="solid", color="black", weight=3];
69[label="map toEnum (takeWhile1 (flip (>=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (compare (Pos (Succ Zero)) (fromEnum xz5) == LT)))\n",fontsize=16,color="black",shape="box"];69 -> 75[label="",style="solid", color="black", weight=3];
70[label="map toEnum (takeWhile1 (flip (<=) (fromEnum False)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (fromEnum False) == GT)))\n",fontsize=16,color="black",shape="box"];70 -> 76[label="",style="solid", color="black", weight=3];
71[label="map toEnum (takeWhile1 (flip (<=) (fromEnum True)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (fromEnum True) == GT)))\n",fontsize=16,color="black",shape="box"];71 -> 77[label="",style="solid", color="black", weight=3];
72[label="map toEnum (takeWhile1 (flip (<=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (fromEnum xz5) == GT)))\n",fontsize=16,color="burlywood",shape="box"];410[label="xz5/False",fontsize=10,color="white",style="solid",shape="box"];72 -> 410[label="",style="solid", color="burlywood", weight=9];
410 -> 78[label="",style="solid", color="burlywood", weight=3];
411[label="xz5/True",fontsize=10,color="white",style="solid",shape="box"];72 -> 411[label="",style="solid", color="burlywood", weight=9];
411 -> 79[label="",style="solid", color="burlywood", weight=3];
73[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (EQ == GT)))\n",fontsize=16,color="black",shape="box"];73 -> 80[label="",style="solid", color="black", weight=3];
74[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (primCmpNat Zero (Succ Zero) == GT)))\n",fontsize=16,color="black",shape="box"];74 -> 81[label="",style="solid", color="black", weight=3];
75[label="map toEnum (takeWhile1 (flip (>=) (fromEnum xz5)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (fromEnum xz5) == LT)))\n",fontsize=16,color="burlywood",shape="box"];412[label="xz5/False",fontsize=10,color="white",style="solid",shape="box"];75 -> 412[label="",style="solid", color="burlywood", weight=9];
412 -> 82[label="",style="solid", color="burlywood", weight=3];
413[label="xz5/True",fontsize=10,color="white",style="solid",shape="box"];75 -> 413[label="",style="solid", color="burlywood", weight=9];
413 -> 83[label="",style="solid", color="burlywood", weight=3];
76[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];76 -> 84[label="",style="solid", color="black", weight=3];
77[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (primCmpInt (Pos Zero) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];77 -> 85[label="",style="solid", color="black", weight=3];
78[label="map toEnum (takeWhile1 (flip (<=) (fromEnum False)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (fromEnum False) == GT)))\n",fontsize=16,color="black",shape="box"];78 -> 86[label="",style="solid", color="black", weight=3];
79[label="map toEnum (takeWhile1 (flip (<=) (fromEnum True)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (fromEnum True) == GT)))\n",fontsize=16,color="black",shape="box"];79 -> 87[label="",style="solid", color="black", weight=3];
80[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not False))\n",fontsize=16,color="black",shape="box"];80 -> 88[label="",style="solid", color="black", weight=3];
81[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not (LT == GT)))\n",fontsize=16,color="black",shape="box"];81 -> 89[label="",style="solid", color="black", weight=3];
82[label="map toEnum (takeWhile1 (flip (>=) (fromEnum False)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (fromEnum False) == LT)))\n",fontsize=16,color="black",shape="box"];82 -> 90[label="",style="solid", color="black", weight=3];
83[label="map toEnum (takeWhile1 (flip (>=) (fromEnum True)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (fromEnum True) == LT)))\n",fontsize=16,color="black",shape="box"];83 -> 91[label="",style="solid", color="black", weight=3];
84[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (EQ == GT)))\n",fontsize=16,color="black",shape="box"];84 -> 92[label="",style="solid", color="black", weight=3];
85[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (primCmpNat Zero (Succ Zero) == GT)))\n",fontsize=16,color="black",shape="box"];85 -> 93[label="",style="solid", color="black", weight=3];
86[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];86 -> 94[label="",style="solid", color="black", weight=3];
87[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];87 -> 95[label="",style="solid", color="black", weight=3];
88[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) True)\n",fontsize=16,color="black",shape="box"];88 -> 96[label="",style="solid", color="black", weight=3];
89[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) (not False))\n",fontsize=16,color="black",shape="box"];89 -> 97[label="",style="solid", color="black", weight=3];
90[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == LT)))\n",fontsize=16,color="black",shape="box"];90 -> 98[label="",style="solid", color="black", weight=3];
91[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero)) == LT)))\n",fontsize=16,color="black",shape="box"];91 -> 99[label="",style="solid", color="black", weight=3];
92[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not False))\n",fontsize=16,color="black",shape="box"];92 -> 100[label="",style="solid", color="black", weight=3];
93[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not (LT == GT)))\n",fontsize=16,color="black",shape="box"];93 -> 101[label="",style="solid", color="black", weight=3];
94[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == GT)))\n",fontsize=16,color="black",shape="box"];94 -> 102[label="",style="solid", color="black", weight=3];
95[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpNat (Succ Zero) (Succ Zero) == GT)))\n",fontsize=16,color="black",shape="box"];95 -> 103[label="",style="solid", color="black", weight=3];
96[label="map toEnum (Pos Zero : takeWhile (flip (<=) (Pos Zero)) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)))\n",fontsize=16,color="black",shape="box"];96 -> 104[label="",style="solid", color="black", weight=3];
97[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)) True)\n",fontsize=16,color="black",shape="box"];97 -> 105[label="",style="solid", color="black", weight=3];
98[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpNat (Succ Zero) Zero == LT)))\n",fontsize=16,color="black",shape="box"];98 -> 106[label="",style="solid", color="black", weight=3];
99[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpNat (Succ Zero) (Succ Zero) == LT)))\n",fontsize=16,color="black",shape="box"];99 -> 107[label="",style="solid", color="black", weight=3];
100[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) True)\n",fontsize=16,color="black",shape="box"];100 -> 108[label="",style="solid", color="black", weight=3];
101[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) (not False))\n",fontsize=16,color="black",shape="box"];101 -> 109[label="",style="solid", color="black", weight=3];
102[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (GT == GT)))\n",fontsize=16,color="black",shape="box"];102 -> 110[label="",style="solid", color="black", weight=3];
103[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpNat Zero Zero == GT)))\n",fontsize=16,color="black",shape="box"];103 -> 111[label="",style="solid", color="black", weight=3];
104[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos Zero)) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)))\n",fontsize=16,color="green",shape="box"];104 -> 112[label="",style="dashed", color="green", weight=3];
104 -> 113[label="",style="dashed", color="green", weight=3];
105[label="map toEnum (Pos Zero : takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)))\n",fontsize=16,color="black",shape="box"];105 -> 114[label="",style="solid", color="black", weight=3];
106[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (GT == LT)))\n",fontsize=16,color="black",shape="box"];106 -> 115[label="",style="solid", color="black", weight=3];
107[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (primCmpNat Zero Zero == LT)))\n",fontsize=16,color="black",shape="box"];107 -> 116[label="",style="solid", color="black", weight=3];
108[label="map toEnum (Pos Zero : takeWhile (flip (<=) (Pos Zero)) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)))\n",fontsize=16,color="black",shape="box"];108 -> 117[label="",style="solid", color="black", weight=3];
109[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)) True)\n",fontsize=16,color="black",shape="box"];109 -> 118[label="",style="solid", color="black", weight=3];
110[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not True))\n",fontsize=16,color="black",shape="box"];110 -> 119[label="",style="solid", color="black", weight=3];
111[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not (EQ == GT)))\n",fontsize=16,color="black",shape="box"];111 -> 120[label="",style="solid", color="black", weight=3];
112[label="toEnum (Pos Zero)\n",fontsize=16,color="black",shape="triangle"];112 -> 121[label="",style="solid", color="black", weight=3];
113[label="map toEnum (takeWhile (flip (<=) (Pos Zero)) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)))\n",fontsize=16,color="black",shape="box"];113 -> 122[label="",style="solid", color="black", weight=3];
114[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)))\n",fontsize=16,color="green",shape="box"];114 -> 123[label="",style="dashed", color="green", weight=3];
114 -> 124[label="",style="dashed", color="green", weight=3];
115[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not False))\n",fontsize=16,color="black",shape="box"];115 -> 125[label="",style="solid", color="black", weight=3];
116[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not (EQ == LT)))\n",fontsize=16,color="black",shape="box"];116 -> 126[label="",style="solid", color="black", weight=3];
117[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos Zero)) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)))\n",fontsize=16,color="green",shape="box"];117 -> 127[label="",style="dashed", color="green", weight=3];
117 -> 128[label="",style="dashed", color="green", weight=3];
118[label="map toEnum (Pos Zero : takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)))\n",fontsize=16,color="black",shape="box"];118 -> 129[label="",style="solid", color="black", weight=3];
119[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) False)\n",fontsize=16,color="black",shape="box"];119 -> 130[label="",style="solid", color="black", weight=3];
120[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) (not False))\n",fontsize=16,color="black",shape="box"];120 -> 131[label="",style="solid", color="black", weight=3];
121[label="toEnum3 (Pos Zero)\n",fontsize=16,color="black",shape="box"];121 -> 132[label="",style="solid", color="black", weight=3];
122[label="map toEnum (takeWhile (flip (<=) (Pos Zero)) (Pos Zero - Pos Zero + Pos Zero : iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))))\n",fontsize=16,color="black",shape="box"];122 -> 133[label="",style="solid", color="black", weight=3];
123 -> 112[label="",style="dashed", color="red", weight=0];
123[label="toEnum (Pos Zero)\n",fontsize=16,color="magenta"];124[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + Pos Zero)))\n",fontsize=16,color="black",shape="box"];124 -> 134[label="",style="solid", color="black", weight=3];
125[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) True)\n",fontsize=16,color="black",shape="box"];125 -> 135[label="",style="solid", color="black", weight=3];
126[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) (not False))\n",fontsize=16,color="black",shape="box"];126 -> 136[label="",style="solid", color="black", weight=3];
127 -> 112[label="",style="dashed", color="red", weight=0];
127[label="toEnum (Pos Zero)\n",fontsize=16,color="magenta"];128[label="map toEnum (takeWhile (flip (<=) (Pos Zero)) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)))\n",fontsize=16,color="black",shape="box"];128 -> 137[label="",style="solid", color="black", weight=3];
129[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)))\n",fontsize=16,color="green",shape="box"];129 -> 138[label="",style="dashed", color="green", weight=3];
129 -> 139[label="",style="dashed", color="green", weight=3];
130[label="map toEnum (takeWhile0 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) otherwise)\n",fontsize=16,color="black",shape="box"];130 -> 140[label="",style="solid", color="black", weight=3];
131[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) True)\n",fontsize=16,color="black",shape="box"];131 -> 141[label="",style="solid", color="black", weight=3];
132[label="toEnum2 (Pos Zero == Pos Zero) (Pos Zero)\n",fontsize=16,color="black",shape="box"];132 -> 142[label="",style="solid", color="black", weight=3];
133[label="map toEnum (takeWhile2 (flip (<=) (Pos Zero)) (Pos Zero - Pos Zero + Pos Zero : iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))))\n",fontsize=16,color="black",shape="box"];133 -> 143[label="",style="solid", color="black", weight=3];
134[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (Pos Zero - Pos Zero + Pos Zero : iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))))\n",fontsize=16,color="black",shape="box"];134 -> 144[label="",style="solid", color="black", weight=3];
135[label="map toEnum (Pos (Succ Zero) : takeWhile (flip (>=) (Pos Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];135 -> 145[label="",style="solid", color="black", weight=3];
136[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))) True)\n",fontsize=16,color="black",shape="box"];136 -> 146[label="",style="solid", color="black", weight=3];
137[label="map toEnum (takeWhile (flip (<=) (Pos Zero)) (Pos (Succ Zero) - Pos Zero + Pos Zero : iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))))\n",fontsize=16,color="black",shape="box"];137 -> 147[label="",style="solid", color="black", weight=3];
138 -> 112[label="",style="dashed", color="red", weight=0];
138[label="toEnum (Pos Zero)\n",fontsize=16,color="magenta"];139[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + Pos Zero)))\n",fontsize=16,color="black",shape="box"];139 -> 148[label="",style="solid", color="black", weight=3];
140[label="map toEnum (takeWhile0 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))) True)\n",fontsize=16,color="black",shape="box"];140 -> 149[label="",style="solid", color="black", weight=3];
141[label="map toEnum (Pos (Succ Zero) : takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];141 -> 150[label="",style="solid", color="black", weight=3];
142[label="toEnum2 (primEqInt (Pos Zero) (Pos Zero)) (Pos Zero)\n",fontsize=16,color="black",shape="box"];142 -> 151[label="",style="solid", color="black", weight=3];
143[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) (flip (<=) (Pos Zero) (Pos Zero - Pos Zero + Pos Zero)))\n",fontsize=16,color="black",shape="box"];143 -> 152[label="",style="solid", color="black", weight=3];
144[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ Zero))) (Pos Zero - Pos Zero + Pos Zero : iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))))\n",fontsize=16,color="black",shape="box"];144 -> 153[label="",style="solid", color="black", weight=3];
145[label="toEnum (Pos (Succ Zero)) : map toEnum (takeWhile (flip (>=) (Pos Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))))\n",fontsize=16,color="green",shape="box"];145 -> 154[label="",style="dashed", color="green", weight=3];
145 -> 155[label="",style="dashed", color="green", weight=3];
146[label="map toEnum (Pos (Succ Zero) : takeWhile (flip (>=) (Pos (Succ Zero))) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];146 -> 156[label="",style="solid", color="black", weight=3];
147[label="map toEnum (takeWhile2 (flip (<=) (Pos Zero)) (Pos (Succ Zero) - Pos Zero + Pos Zero : iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))))\n",fontsize=16,color="black",shape="box"];147 -> 157[label="",style="solid", color="black", weight=3];
148[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos Zero + Pos Zero : iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))))\n",fontsize=16,color="black",shape="box"];148 -> 158[label="",style="solid", color="black", weight=3];
149[label="map toEnum []\n",fontsize=16,color="black",shape="triangle"];149 -> 159[label="",style="solid", color="black", weight=3];
150[label="toEnum (Pos (Succ Zero)) : map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))))\n",fontsize=16,color="green",shape="box"];150 -> 160[label="",style="dashed", color="green", weight=3];
150 -> 161[label="",style="dashed", color="green", weight=3];
151[label="toEnum2 True (Pos Zero)\n",fontsize=16,color="black",shape="triangle"];151 -> 162[label="",style="solid", color="black", weight=3];
152[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) ((<=) Pos Zero - Pos Zero + Pos Zero Pos Zero))\n",fontsize=16,color="black",shape="box"];152 -> 163[label="",style="solid", color="black", weight=3];
153[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) (flip (<=) (Pos (Succ Zero)) (Pos Zero - Pos Zero + Pos Zero)))\n",fontsize=16,color="black",shape="box"];153 -> 164[label="",style="solid", color="black", weight=3];
154[label="toEnum (Pos (Succ Zero))\n",fontsize=16,color="black",shape="triangle"];154 -> 165[label="",style="solid", color="black", weight=3];
155[label="map toEnum (takeWhile (flip (>=) (Pos Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];155 -> 166[label="",style="solid", color="black", weight=3];
156[label="toEnum (Pos (Succ Zero)) : map toEnum (takeWhile (flip (>=) (Pos (Succ Zero))) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))))\n",fontsize=16,color="green",shape="box"];156 -> 167[label="",style="dashed", color="green", weight=3];
156 -> 168[label="",style="dashed", color="green", weight=3];
157[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) (flip (<=) (Pos Zero) (Pos (Succ Zero) - Pos Zero + Pos Zero)))\n",fontsize=16,color="black",shape="box"];157 -> 169[label="",style="solid", color="black", weight=3];
158[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos Zero + Pos Zero : iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))))\n",fontsize=16,color="black",shape="box"];158 -> 170[label="",style="solid", color="black", weight=3];
159[label="[]\n",fontsize=16,color="green",shape="box"];160 -> 154[label="",style="dashed", color="red", weight=0];
160[label="toEnum (Pos (Succ Zero))\n",fontsize=16,color="magenta"];161[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];161 -> 171[label="",style="solid", color="black", weight=3];
162[label="False\n",fontsize=16,color="green",shape="box"];163[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) (compare (Pos Zero - Pos Zero + Pos Zero) (Pos Zero) /= GT))\n",fontsize=16,color="black",shape="box"];163 -> 172[label="",style="solid", color="black", weight=3];
164[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) ((<=) Pos Zero - Pos Zero + Pos Zero Pos (Succ Zero)))\n",fontsize=16,color="black",shape="box"];164 -> 173[label="",style="solid", color="black", weight=3];
165[label="toEnum3 (Pos (Succ Zero))\n",fontsize=16,color="black",shape="box"];165 -> 174[label="",style="solid", color="black", weight=3];
166[label="map toEnum (takeWhile (flip (>=) (Pos Zero)) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero) : iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))))\n",fontsize=16,color="black",shape="box"];166 -> 175[label="",style="solid", color="black", weight=3];
167 -> 154[label="",style="dashed", color="red", weight=0];
167[label="toEnum (Pos (Succ Zero))\n",fontsize=16,color="magenta"];168[label="map toEnum (takeWhile (flip (>=) (Pos (Succ Zero))) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];168 -> 176[label="",style="solid", color="black", weight=3];
169[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) ((<=) Pos (Succ Zero) - Pos Zero + Pos Zero Pos Zero))\n",fontsize=16,color="black",shape="box"];169 -> 177[label="",style="solid", color="black", weight=3];
170[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) (flip (<=) (Pos (Succ Zero)) (Pos (Succ Zero) - Pos Zero + Pos Zero)))\n",fontsize=16,color="black",shape="box"];170 -> 178[label="",style="solid", color="black", weight=3];
171[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero) : iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)))))\n",fontsize=16,color="black",shape="box"];171 -> 179[label="",style="solid", color="black", weight=3];
172[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) (not (compare (Pos Zero - Pos Zero + Pos Zero) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];172 -> 180[label="",style="solid", color="black", weight=3];
173[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) (compare (Pos Zero - Pos Zero + Pos Zero) (Pos (Succ Zero)) /= GT))\n",fontsize=16,color="black",shape="box"];173 -> 181[label="",style="solid", color="black", weight=3];
174[label="toEnum2 (Pos (Succ Zero) == Pos Zero) (Pos (Succ Zero))\n",fontsize=16,color="black",shape="box"];174 -> 182[label="",style="solid", color="black", weight=3];
175[label="map toEnum (takeWhile2 (flip (>=) (Pos Zero)) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero) : iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))))\n",fontsize=16,color="black",shape="box"];175 -> 183[label="",style="solid", color="black", weight=3];
176[label="map toEnum (takeWhile (flip (>=) (Pos (Succ Zero))) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero) : iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))))\n",fontsize=16,color="black",shape="box"];176 -> 184[label="",style="solid", color="black", weight=3];
177[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) (compare (Pos (Succ Zero) - Pos Zero + Pos Zero) (Pos Zero) /= GT))\n",fontsize=16,color="black",shape="box"];177 -> 185[label="",style="solid", color="black", weight=3];
178[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) ((<=) Pos (Succ Zero) - Pos Zero + Pos Zero Pos (Succ Zero)))\n",fontsize=16,color="black",shape="box"];178 -> 186[label="",style="solid", color="black", weight=3];
179[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero) : iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)))))\n",fontsize=16,color="black",shape="box"];179 -> 187[label="",style="solid", color="black", weight=3];
180[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) (not (primCmpInt (Pos Zero - Pos Zero + Pos Zero) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];180 -> 188[label="",style="solid", color="black", weight=3];
181[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) (not (compare (Pos Zero - Pos Zero + Pos Zero) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];181 -> 189[label="",style="solid", color="black", weight=3];
182[label="toEnum2 (primEqInt (Pos (Succ Zero)) (Pos Zero)) (Pos (Succ Zero))\n",fontsize=16,color="black",shape="box"];182 -> 190[label="",style="solid", color="black", weight=3];
183[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) (flip (>=) (Pos Zero) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];183 -> 191[label="",style="solid", color="black", weight=3];
184[label="map toEnum (takeWhile2 (flip (>=) (Pos (Succ Zero))) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero) : iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))))\n",fontsize=16,color="black",shape="box"];184 -> 192[label="",style="solid", color="black", weight=3];
185[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) (not (compare (Pos (Succ Zero) - Pos Zero + Pos Zero) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];185 -> 193[label="",style="solid", color="black", weight=3];
186[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) (compare (Pos (Succ Zero) - Pos Zero + Pos Zero) (Pos (Succ Zero)) /= GT))\n",fontsize=16,color="black",shape="box"];186 -> 194[label="",style="solid", color="black", weight=3];
187[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)))) (flip (<=) (Pos (Succ Zero)) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];187 -> 195[label="",style="solid", color="black", weight=3];
188[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero - Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero - Pos Zero)) (primPlusInt (Pos Zero - Pos Zero) (primPlusInt (Pos Zero - Pos Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos Zero - Pos Zero) (Pos Zero)) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];188 -> 196[label="",style="solid", color="black", weight=3];
189[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero - Pos Zero + Pos Zero) (iterate (Pos Zero - Pos Zero +) (Pos Zero - Pos Zero + (Pos Zero - Pos Zero + Pos Zero))) (not (primCmpInt (Pos Zero - Pos Zero + Pos Zero) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];189 -> 197[label="",style="solid", color="black", weight=3];
190[label="toEnum2 False (Pos (Succ Zero))\n",fontsize=16,color="black",shape="box"];190 -> 198[label="",style="solid", color="black", weight=3];
191[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) ((>=) Pos Zero - Pos (Succ Zero) + Pos (Succ Zero) Pos Zero))\n",fontsize=16,color="black",shape="box"];191 -> 199[label="",style="solid", color="black", weight=3];
192[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) (flip (>=) (Pos (Succ Zero)) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero))))\n",fontsize=16,color="black",shape="box"];192 -> 200[label="",style="solid", color="black", weight=3];
193[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) (not (primCmpInt (Pos (Succ Zero) - Pos Zero + Pos Zero) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];193 -> 201[label="",style="solid", color="black", weight=3];
194[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) (not (compare (Pos (Succ Zero) - Pos Zero + Pos Zero) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];194 -> 202[label="",style="solid", color="black", weight=3];
195[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)))) ((<=) Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero) Pos (Succ Zero)))\n",fontsize=16,color="black",shape="box"];195 -> 203[label="",style="solid", color="black", weight=3];
196[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (primPlusInt (primMinusInt (Pos Zero) (Pos Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];196 -> 204[label="",style="solid", color="black", weight=3];
197[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero - Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero - Pos Zero)) (primPlusInt (Pos Zero - Pos Zero) (primPlusInt (Pos Zero - Pos Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos Zero - Pos Zero) (Pos Zero)) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];197 -> 205[label="",style="solid", color="black", weight=3];
198[label="toEnum1 (Pos (Succ Zero))\n",fontsize=16,color="black",shape="box"];198 -> 206[label="",style="solid", color="black", weight=3];
199[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) (compare (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (Pos Zero) /= LT))\n",fontsize=16,color="black",shape="box"];199 -> 207[label="",style="solid", color="black", weight=3];
200[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) ((>=) Pos Zero - Pos (Succ Zero) + Pos (Succ Zero) Pos (Succ Zero)))\n",fontsize=16,color="black",shape="box"];200 -> 208[label="",style="solid", color="black", weight=3];
201[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos (Succ Zero) - Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos (Succ Zero) - Pos Zero)) (primPlusInt (Pos (Succ Zero) - Pos Zero) (primPlusInt (Pos (Succ Zero) - Pos Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos (Succ Zero) - Pos Zero) (Pos Zero)) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];201 -> 209[label="",style="solid", color="black", weight=3];
202[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos Zero + Pos Zero) (iterate (Pos (Succ Zero) - Pos Zero +) (Pos (Succ Zero) - Pos Zero + (Pos (Succ Zero) - Pos Zero + Pos Zero))) (not (primCmpInt (Pos (Succ Zero) - Pos Zero + Pos Zero) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];202 -> 210[label="",style="solid", color="black", weight=3];
203[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)))) (compare (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)) (Pos (Succ Zero)) /= GT))\n",fontsize=16,color="black",shape="box"];203 -> 211[label="",style="solid", color="black", weight=3];
204[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (primMinusNat Zero Zero) (Pos Zero)) (iterate (primPlusInt (primMinusNat Zero Zero)) (primPlusInt (primMinusNat Zero Zero) (primPlusInt (primMinusNat Zero Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusNat Zero Zero) (Pos Zero)) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];204 -> 212[label="",style="solid", color="black", weight=3];
205[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)) (iterate (primPlusInt (primMinusInt (Pos Zero) (Pos Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];205 -> 213[label="",style="solid", color="black", weight=3];
206[label="toEnum0 (Pos (Succ Zero) == Pos (Succ Zero)) (Pos (Succ Zero))\n",fontsize=16,color="black",shape="box"];206 -> 214[label="",style="solid", color="black", weight=3];
207[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) (not (compare (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (Pos Zero) == LT)))\n",fontsize=16,color="black",shape="box"];207 -> 215[label="",style="solid", color="black", weight=3];
208[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) (compare (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (Pos (Succ Zero)) /= LT))\n",fontsize=16,color="black",shape="box"];208 -> 216[label="",style="solid", color="black", weight=3];
209[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];209 -> 217[label="",style="solid", color="black", weight=3];
210[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero) - Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos (Succ Zero) - Pos Zero)) (primPlusInt (Pos (Succ Zero) - Pos Zero) (primPlusInt (Pos (Succ Zero) - Pos Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos (Succ Zero) - Pos Zero) (Pos Zero)) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];210 -> 218[label="",style="solid", color="black", weight=3];
211[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)))) (not (compare (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];211 -> 219[label="",style="solid", color="black", weight=3];
212[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="triangle"];212 -> 220[label="",style="solid", color="black", weight=3];
213[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (primMinusNat Zero Zero) (Pos Zero)) (iterate (primPlusInt (primMinusNat Zero Zero)) (primPlusInt (primMinusNat Zero Zero) (primPlusInt (primMinusNat Zero Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusNat Zero Zero) (Pos Zero)) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];213 -> 221[label="",style="solid", color="black", weight=3];
214[label="toEnum0 (primEqInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))\n",fontsize=16,color="black",shape="box"];214 -> 222[label="",style="solid", color="black", weight=3];
215[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) (not (primCmpInt (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (Pos Zero) == LT)))\n",fontsize=16,color="black",shape="box"];215 -> 223[label="",style="solid", color="black", weight=3];
216[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) (not (compare (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (Pos (Succ Zero)) == LT)))\n",fontsize=16,color="black",shape="box"];216 -> 224[label="",style="solid", color="black", weight=3];
217[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)) (iterate (primPlusInt (primMinusNat (Succ Zero) Zero)) (primPlusInt (primMinusNat (Succ Zero) Zero) (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];217 -> 225[label="",style="solid", color="black", weight=3];
218[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (iterate (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero)) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];218 -> 226[label="",style="solid", color="black", weight=3];
219[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos (Succ Zero) - Pos (Succ Zero) +) (Pos (Succ Zero) - Pos (Succ Zero) + (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)))) (not (primCmpInt (Pos (Succ Zero) - Pos (Succ Zero) + Pos (Succ Zero)) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];219 -> 227[label="",style="solid", color="black", weight=3];
220[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (primPlusNat Zero Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (primPlusNat Zero Zero)))) (not (primCmpInt (Pos (primPlusNat Zero Zero)) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];220 -> 228[label="",style="solid", color="black", weight=3];
221[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="triangle"];221 -> 229[label="",style="solid", color="black", weight=3];
222[label="toEnum0 (primEqNat Zero Zero) (Pos (Succ Zero))\n",fontsize=16,color="black",shape="box"];222 -> 230[label="",style="solid", color="black", weight=3];
223[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (Pos Zero - Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero - Pos (Succ Zero))) (primPlusInt (Pos Zero - Pos (Succ Zero)) (primPlusInt (Pos Zero - Pos (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (Pos Zero - Pos (Succ Zero)) (Pos (Succ Zero))) (Pos Zero) == LT)))\n",fontsize=16,color="black",shape="box"];223 -> 231[label="",style="solid", color="black", weight=3];
224[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (iterate (Pos Zero - Pos (Succ Zero) +) (Pos Zero - Pos (Succ Zero) + (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)))) (not (primCmpInt (Pos Zero - Pos (Succ Zero) + Pos (Succ Zero)) (Pos (Succ Zero)) == LT)))\n",fontsize=16,color="black",shape="box"];224 -> 232[label="",style="solid", color="black", weight=3];
225[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos (Succ Zero)) (Pos Zero)) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];225 -> 233[label="",style="solid", color="black", weight=3];
226[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)) (iterate (primPlusInt (primMinusNat (Succ Zero) Zero)) (primPlusInt (primMinusNat (Succ Zero) Zero) (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (primMinusNat (Succ Zero) Zero) (Pos Zero)) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];226 -> 234[label="",style="solid", color="black", weight=3];
227[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero) - Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero) - Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero) - Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero) - Pos (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (Pos (Succ Zero) - Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];227 -> 235[label="",style="solid", color="black", weight=3];
228[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (primCmpInt (Pos Zero) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];228 -> 236[label="",style="solid", color="black", weight=3];
229[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (primPlusNat Zero Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (primPlusNat Zero Zero)))) (not (primCmpInt (Pos (primPlusNat Zero Zero)) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];229 -> 237[label="",style="solid", color="black", weight=3];
230[label="toEnum0 True (Pos (Succ Zero))\n",fontsize=16,color="black",shape="triangle"];230 -> 238[label="",style="solid", color="black", weight=3];
231[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero)))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos Zero) == LT)))\n",fontsize=16,color="black",shape="box"];231 -> 239[label="",style="solid", color="black", weight=3];
232[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (primPlusInt (Pos Zero - Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero - Pos (Succ Zero))) (primPlusInt (Pos Zero - Pos (Succ Zero)) (primPlusInt (Pos Zero - Pos (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (Pos Zero - Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)) == LT)))\n",fontsize=16,color="black",shape="box"];232 -> 240[label="",style="solid", color="black", weight=3];
233[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (primPlusNat (Succ Zero) Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (primPlusNat (Succ Zero) Zero)))) (not (primCmpInt (Pos (primPlusNat (Succ Zero) Zero)) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];233 -> 241[label="",style="solid", color="black", weight=3];
234[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos (Succ Zero)) (Pos Zero)) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];234 -> 242[label="",style="solid", color="black", weight=3];
235[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];235 -> 243[label="",style="solid", color="black", weight=3];
236[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (EQ == GT)))\n",fontsize=16,color="black",shape="box"];236 -> 244[label="",style="solid", color="black", weight=3];
237[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (primCmpInt (Pos Zero) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];237 -> 245[label="",style="solid", color="black", weight=3];
238[label="True\n",fontsize=16,color="green",shape="box"];239[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusNat Zero (Succ Zero))) (primPlusInt (primMinusNat Zero (Succ Zero)) (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))) (Pos Zero) == LT)))\n",fontsize=16,color="black",shape="box"];239 -> 246[label="",style="solid", color="black", weight=3];
240[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero)))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero))) (Pos (Succ Zero)) == LT)))\n",fontsize=16,color="black",shape="box"];240 -> 247[label="",style="solid", color="black", weight=3];
241[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (primCmpInt (Pos (Succ Zero)) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];241 -> 248[label="",style="solid", color="black", weight=3];
242[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (primPlusNat (Succ Zero) Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (primPlusNat (Succ Zero) Zero)))) (not (primCmpInt (Pos (primPlusNat (Succ Zero) Zero)) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];242 -> 249[label="",style="solid", color="black", weight=3];
243[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusNat (Succ Zero) (Succ Zero))) (primPlusInt (primMinusNat (Succ Zero) (Succ Zero)) (primPlusInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];243 -> 250[label="",style="solid", color="black", weight=3];
244[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not False))\n",fontsize=16,color="black",shape="box"];244 -> 251[label="",style="solid", color="black", weight=3];
245[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (primCmpNat Zero (Succ Zero) == GT)))\n",fontsize=16,color="black",shape="box"];245 -> 252[label="",style="solid", color="black", weight=3];
246[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))) (Pos Zero) == LT)))\n",fontsize=16,color="black",shape="box"];246 -> 253[label="",style="solid", color="black", weight=3];
247[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusNat Zero (Succ Zero))) (primPlusInt (primMinusNat Zero (Succ Zero)) (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusNat Zero (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)) == LT)))\n",fontsize=16,color="black",shape="box"];247 -> 254[label="",style="solid", color="black", weight=3];
248[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (primCmpNat (Succ Zero) Zero == GT)))\n",fontsize=16,color="black",shape="box"];248 -> 255[label="",style="solid", color="black", weight=3];
249[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];249 -> 256[label="",style="solid", color="black", weight=3];
250 -> 257[label="",style="dashed", color="red", weight=0];
250[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusNat Zero Zero)) (primPlusInt (primMinusNat Zero Zero) (primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="magenta"];250 -> 258[label="",style="dashed", color="magenta", weight=3];
251[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) True)\n",fontsize=16,color="black",shape="box"];251 -> 259[label="",style="solid", color="black", weight=3];
252[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not (LT == GT)))\n",fontsize=16,color="black",shape="box"];252 -> 260[label="",style="solid", color="black", weight=3];
253[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primMinusNat (Succ Zero) (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primMinusNat (Succ Zero) (Succ Zero)))) (not (primCmpInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos Zero) == LT)))\n",fontsize=16,color="black",shape="box"];253 -> 261[label="",style="solid", color="black", weight=3];
254[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (Neg (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)) == LT)))\n",fontsize=16,color="black",shape="box"];254 -> 262[label="",style="solid", color="black", weight=3];
255[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (GT == GT)))\n",fontsize=16,color="black",shape="box"];255 -> 263[label="",style="solid", color="black", weight=3];
256[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (primCmpNat (Succ Zero) (Succ Zero) == GT)))\n",fontsize=16,color="black",shape="box"];256 -> 264[label="",style="solid", color="black", weight=3];
258[label="toEnum\n",fontsize=16,color="grey",shape="box"];258 -> 265[label="",style="dashed", color="grey", weight=3];
257[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))) (iterate (primPlusInt (primMinusNat Zero Zero)) (primPlusInt (primMinusNat Zero Zero) (primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="triangle"];257 -> 266[label="",style="solid", color="black", weight=3];
259[label="map toEnum (Pos Zero : takeWhile (flip (<=) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))))\n",fontsize=16,color="black",shape="box"];259 -> 267[label="",style="solid", color="black", weight=3];
260[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) (not False))\n",fontsize=16,color="black",shape="box"];260 -> 268[label="",style="solid", color="black", weight=3];
261[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primMinusNat Zero Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primMinusNat Zero Zero))) (not (primCmpInt (primMinusNat Zero Zero) (Pos Zero) == LT)))\n",fontsize=16,color="black",shape="box"];261 -> 269[label="",style="solid", color="black", weight=3];
262[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (primMinusNat (Succ Zero) (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primMinusNat (Succ Zero) (Succ Zero)))) (not (primCmpInt (primMinusNat (Succ Zero) (Succ Zero)) (Pos (Succ Zero)) == LT)))\n",fontsize=16,color="black",shape="box"];262 -> 270[label="",style="solid", color="black", weight=3];
263[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not True))\n",fontsize=16,color="black",shape="box"];263 -> 271[label="",style="solid", color="black", weight=3];
264[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (primCmpNat Zero Zero == GT)))\n",fontsize=16,color="black",shape="box"];264 -> 272[label="",style="solid", color="black", weight=3];
265[label="toEnum xz8\n",fontsize=16,color="black",shape="triangle"];265 -> 273[label="",style="solid", color="black", weight=3];
266[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="triangle"];266 -> 274[label="",style="solid", color="black", weight=3];
267[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))))\n",fontsize=16,color="green",shape="box"];267 -> 275[label="",style="dashed", color="green", weight=3];
267 -> 276[label="",style="dashed", color="green", weight=3];
268[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))) True)\n",fontsize=16,color="black",shape="box"];268 -> 277[label="",style="solid", color="black", weight=3];
269[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not (primCmpInt (Pos Zero) (Pos Zero) == LT)))\n",fontsize=16,color="black",shape="box"];269 -> 278[label="",style="solid", color="black", weight=3];
270[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (primMinusNat Zero Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primMinusNat Zero Zero))) (not (primCmpInt (primMinusNat Zero Zero) (Pos (Succ Zero)) == LT)))\n",fontsize=16,color="black",shape="box"];270 -> 279[label="",style="solid", color="black", weight=3];
271[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) False)\n",fontsize=16,color="black",shape="box"];271 -> 280[label="",style="solid", color="black", weight=3];
272[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not (EQ == GT)))\n",fontsize=16,color="black",shape="box"];272 -> 281[label="",style="solid", color="black", weight=3];
273[label="toEnum3 xz8\n",fontsize=16,color="black",shape="box"];273 -> 282[label="",style="solid", color="black", weight=3];
274[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (primPlusNat Zero (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (primPlusNat Zero (Succ Zero))))) (not (primCmpInt (Pos (primPlusNat Zero (Succ Zero))) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];274 -> 283[label="",style="solid", color="black", weight=3];
275 -> 265[label="",style="dashed", color="red", weight=0];
275[label="toEnum (Pos Zero)\n",fontsize=16,color="magenta"];275 -> 284[label="",style="dashed", color="magenta", weight=3];
276[label="map toEnum (takeWhile (flip (<=) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))))\n",fontsize=16,color="black",shape="box"];276 -> 285[label="",style="solid", color="black", weight=3];
277[label="map toEnum (Pos Zero : takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))))\n",fontsize=16,color="black",shape="box"];277 -> 286[label="",style="solid", color="black", weight=3];
278[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not (EQ == LT)))\n",fontsize=16,color="black",shape="box"];278 -> 287[label="",style="solid", color="black", weight=3];
279[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not (primCmpInt (Pos Zero) (Pos (Succ Zero)) == LT)))\n",fontsize=16,color="black",shape="box"];279 -> 288[label="",style="solid", color="black", weight=3];
280[label="map toEnum (takeWhile0 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) otherwise)\n",fontsize=16,color="black",shape="box"];280 -> 289[label="",style="solid", color="black", weight=3];
281[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) (not False))\n",fontsize=16,color="black",shape="box"];281 -> 290[label="",style="solid", color="black", weight=3];
282[label="toEnum2 (xz8 == Pos Zero) xz8\n",fontsize=16,color="black",shape="box"];282 -> 291[label="",style="solid", color="black", weight=3];
283[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not (primCmpInt (Pos (Succ Zero)) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];283 -> 292[label="",style="solid", color="black", weight=3];
284[label="Pos Zero\n",fontsize=16,color="green",shape="box"];285[label="map toEnum (takeWhile (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero) : iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))))\n",fontsize=16,color="black",shape="box"];285 -> 293[label="",style="solid", color="black", weight=3];
286[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))))\n",fontsize=16,color="green",shape="box"];286 -> 294[label="",style="dashed", color="green", weight=3];
286 -> 295[label="",style="dashed", color="green", weight=3];
287[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not False))\n",fontsize=16,color="black",shape="box"];287 -> 296[label="",style="solid", color="black", weight=3];
288[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not (primCmpNat Zero (Succ Zero) == LT)))\n",fontsize=16,color="black",shape="box"];288 -> 297[label="",style="solid", color="black", weight=3];
289[label="map toEnum (takeWhile0 (flip (<=) (Pos Zero)) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) True)\n",fontsize=16,color="black",shape="box"];289 -> 298[label="",style="solid", color="black", weight=3];
290[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))) True)\n",fontsize=16,color="black",shape="box"];290 -> 299[label="",style="solid", color="black", weight=3];
291[label="toEnum2 (primEqInt xz8 (Pos Zero)) xz8\n",fontsize=16,color="burlywood",shape="box"];421[label="xz8/Pos xz80",fontsize=10,color="white",style="solid",shape="box"];291 -> 421[label="",style="solid", color="burlywood", weight=9];
421 -> 300[label="",style="solid", color="burlywood", weight=3];
422[label="xz8/Neg xz80",fontsize=10,color="white",style="solid",shape="box"];291 -> 422[label="",style="solid", color="burlywood", weight=9];
422 -> 301[label="",style="solid", color="burlywood", weight=3];
292[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not (primCmpNat (Succ Zero) (Succ Zero) == GT)))\n",fontsize=16,color="black",shape="box"];292 -> 302[label="",style="solid", color="black", weight=3];
293[label="map toEnum (takeWhile2 (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero) : iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))))\n",fontsize=16,color="black",shape="box"];293 -> 303[label="",style="solid", color="black", weight=3];
294 -> 265[label="",style="dashed", color="red", weight=0];
294[label="toEnum (Pos Zero)\n",fontsize=16,color="magenta"];294 -> 304[label="",style="dashed", color="magenta", weight=3];
295[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero))))\n",fontsize=16,color="black",shape="box"];295 -> 305[label="",style="solid", color="black", weight=3];
296[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) True)\n",fontsize=16,color="black",shape="box"];296 -> 306[label="",style="solid", color="black", weight=3];
297[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not (LT == LT)))\n",fontsize=16,color="black",shape="box"];297 -> 307[label="",style="solid", color="black", weight=3];
298 -> 149[label="",style="dashed", color="red", weight=0];
298[label="map toEnum []\n",fontsize=16,color="magenta"];299[label="map toEnum (Pos (Succ Zero) : takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))))\n",fontsize=16,color="black",shape="box"];299 -> 308[label="",style="solid", color="black", weight=3];
300[label="toEnum2 (primEqInt (Pos xz80) (Pos Zero)) (Pos xz80)\n",fontsize=16,color="burlywood",shape="box"];425[label="xz80/Succ xz800",fontsize=10,color="white",style="solid",shape="box"];300 -> 425[label="",style="solid", color="burlywood", weight=9];
425 -> 309[label="",style="solid", color="burlywood", weight=3];
426[label="xz80/Zero",fontsize=10,color="white",style="solid",shape="box"];300 -> 426[label="",style="solid", color="burlywood", weight=9];
426 -> 310[label="",style="solid", color="burlywood", weight=3];
301[label="toEnum2 (primEqInt (Neg xz80) (Pos Zero)) (Neg xz80)\n",fontsize=16,color="burlywood",shape="box"];427[label="xz80/Succ xz800",fontsize=10,color="white",style="solid",shape="box"];301 -> 427[label="",style="solid", color="burlywood", weight=9];
427 -> 311[label="",style="solid", color="burlywood", weight=3];
428[label="xz80/Zero",fontsize=10,color="white",style="solid",shape="box"];301 -> 428[label="",style="solid", color="burlywood", weight=9];
428 -> 312[label="",style="solid", color="burlywood", weight=3];
302[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not (primCmpNat Zero Zero == GT)))\n",fontsize=16,color="black",shape="box"];302 -> 313[label="",style="solid", color="black", weight=3];
303[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (flip (<=) (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero))))\n",fontsize=16,color="black",shape="box"];303 -> 314[label="",style="solid", color="black", weight=3];
304[label="Pos Zero\n",fontsize=16,color="green",shape="box"];305[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero) : iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))))\n",fontsize=16,color="black",shape="box"];305 -> 315[label="",style="solid", color="black", weight=3];
306[label="map toEnum (Pos Zero : takeWhile (flip (>=) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))))\n",fontsize=16,color="black",shape="box"];306 -> 316[label="",style="solid", color="black", weight=3];
307[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) (not True))\n",fontsize=16,color="black",shape="box"];307 -> 317[label="",style="solid", color="black", weight=3];
308[label="toEnum (Pos (Succ Zero)) : map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))))\n",fontsize=16,color="green",shape="box"];308 -> 318[label="",style="dashed", color="green", weight=3];
308 -> 319[label="",style="dashed", color="green", weight=3];
309[label="toEnum2 (primEqInt (Pos (Succ xz800)) (Pos Zero)) (Pos (Succ xz800))\n",fontsize=16,color="black",shape="box"];309 -> 320[label="",style="solid", color="black", weight=3];
310[label="toEnum2 (primEqInt (Pos Zero) (Pos Zero)) (Pos Zero)\n",fontsize=16,color="black",shape="box"];310 -> 321[label="",style="solid", color="black", weight=3];
311[label="toEnum2 (primEqInt (Neg (Succ xz800)) (Pos Zero)) (Neg (Succ xz800))\n",fontsize=16,color="black",shape="box"];311 -> 322[label="",style="solid", color="black", weight=3];
312[label="toEnum2 (primEqInt (Neg Zero) (Pos Zero)) (Neg Zero)\n",fontsize=16,color="black",shape="box"];312 -> 323[label="",style="solid", color="black", weight=3];
313[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not (EQ == GT)))\n",fontsize=16,color="black",shape="box"];313 -> 324[label="",style="solid", color="black", weight=3];
314[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) ((<=) primPlusInt (Pos Zero) (Pos Zero) Pos Zero))\n",fontsize=16,color="black",shape="box"];314 -> 325[label="",style="solid", color="black", weight=3];
315[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero) : iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))))\n",fontsize=16,color="black",shape="box"];315 -> 326[label="",style="solid", color="black", weight=3];
316[label="toEnum (Pos Zero) : map toEnum (takeWhile (flip (>=) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))))\n",fontsize=16,color="green",shape="box"];316 -> 327[label="",style="dashed", color="green", weight=3];
316 -> 328[label="",style="dashed", color="green", weight=3];
317[label="map toEnum (takeWhile1 (flip (>=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) False)\n",fontsize=16,color="black",shape="box"];317 -> 329[label="",style="solid", color="black", weight=3];
318 -> 265[label="",style="dashed", color="red", weight=0];
318[label="toEnum (Pos (Succ Zero))\n",fontsize=16,color="magenta"];318 -> 330[label="",style="dashed", color="magenta", weight=3];
319[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))))\n",fontsize=16,color="black",shape="box"];319 -> 331[label="",style="solid", color="black", weight=3];
320[label="toEnum2 False (Pos (Succ xz800))\n",fontsize=16,color="black",shape="box"];320 -> 332[label="",style="solid", color="black", weight=3];
321 -> 151[label="",style="dashed", color="red", weight=0];
321[label="toEnum2 True (Pos Zero)\n",fontsize=16,color="magenta"];322[label="toEnum2 False (Neg (Succ xz800))\n",fontsize=16,color="black",shape="box"];322 -> 333[label="",style="solid", color="black", weight=3];
323[label="toEnum2 True (Neg Zero)\n",fontsize=16,color="black",shape="box"];323 -> 334[label="",style="solid", color="black", weight=3];
324[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) (not False))\n",fontsize=16,color="black",shape="box"];324 -> 335[label="",style="solid", color="black", weight=3];
325[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (compare (primPlusInt (Pos Zero) (Pos Zero)) (Pos Zero) /= GT))\n",fontsize=16,color="black",shape="box"];325 -> 336[label="",style="solid", color="black", weight=3];
326[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (flip (<=) (Pos (Succ Zero)) (primPlusInt (Pos Zero) (Pos Zero))))\n",fontsize=16,color="black",shape="box"];326 -> 337[label="",style="solid", color="black", weight=3];
327 -> 265[label="",style="dashed", color="red", weight=0];
327[label="toEnum (Pos Zero)\n",fontsize=16,color="magenta"];327 -> 338[label="",style="dashed", color="magenta", weight=3];
328[label="map toEnum (takeWhile (flip (>=) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))))\n",fontsize=16,color="black",shape="box"];328 -> 339[label="",style="solid", color="black", weight=3];
329[label="map toEnum (takeWhile0 (flip (>=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) otherwise)\n",fontsize=16,color="black",shape="box"];329 -> 340[label="",style="solid", color="black", weight=3];
330[label="Pos (Succ Zero)\n",fontsize=16,color="green",shape="box"];331[label="map toEnum (takeWhile (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)) : iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))))\n",fontsize=16,color="black",shape="box"];331 -> 341[label="",style="solid", color="black", weight=3];
332[label="toEnum1 (Pos (Succ xz800))\n",fontsize=16,color="black",shape="box"];332 -> 342[label="",style="solid", color="black", weight=3];
333[label="toEnum1 (Neg (Succ xz800))\n",fontsize=16,color="black",shape="box"];333 -> 343[label="",style="solid", color="black", weight=3];
334[label="False\n",fontsize=16,color="green",shape="box"];335[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))) True)\n",fontsize=16,color="black",shape="box"];335 -> 344[label="",style="solid", color="black", weight=3];
336[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (compare (primPlusInt (Pos Zero) (Pos Zero)) (Pos Zero) == GT)))\n",fontsize=16,color="black",shape="box"];336 -> 345[label="",style="solid", color="black", weight=3];
337[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) ((<=) primPlusInt (Pos Zero) (Pos Zero) Pos (Succ Zero)))\n",fontsize=16,color="black",shape="box"];337 -> 346[label="",style="solid", color="black", weight=3];
338[label="Pos Zero\n",fontsize=16,color="green",shape="box"];339[label="map toEnum (takeWhile (flip (>=) (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero) : iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))))\n",fontsize=16,color="black",shape="box"];339 -> 347[label="",style="solid", color="black", weight=3];
340[label="map toEnum (takeWhile0 (flip (>=) (Pos (Succ Zero))) (Pos Zero) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Pos Zero))) True)\n",fontsize=16,color="black",shape="box"];340 -> 348[label="",style="solid", color="black", weight=3];
341[label="map toEnum (takeWhile2 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)) : iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))))\n",fontsize=16,color="black",shape="box"];341 -> 349[label="",style="solid", color="black", weight=3];
342[label="toEnum0 (Pos (Succ xz800) == Pos (Succ Zero)) (Pos (Succ xz800))\n",fontsize=16,color="black",shape="box"];342 -> 350[label="",style="solid", color="black", weight=3];
343[label="toEnum0 (Neg (Succ xz800) == Pos (Succ Zero)) (Neg (Succ xz800))\n",fontsize=16,color="black",shape="box"];343 -> 351[label="",style="solid", color="black", weight=3];
344[label="map xz7 (Pos (Succ Zero) : takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))))\n",fontsize=16,color="black",shape="box"];344 -> 352[label="",style="solid", color="black", weight=3];
345 -> 212[label="",style="dashed", color="red", weight=0];
345[label="map toEnum (takeWhile1 (flip (<=) (Pos Zero)) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos Zero) == GT)))\n",fontsize=16,color="magenta"];346[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (compare (primPlusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero)) /= GT))\n",fontsize=16,color="black",shape="box"];346 -> 353[label="",style="solid", color="black", weight=3];
347[label="map toEnum (takeWhile2 (flip (>=) (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero) : iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))))\n",fontsize=16,color="black",shape="box"];347 -> 354[label="",style="solid", color="black", weight=3];
348 -> 149[label="",style="dashed", color="red", weight=0];
348[label="map toEnum []\n",fontsize=16,color="magenta"];349[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))) (flip (<=) (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)))))\n",fontsize=16,color="black",shape="box"];349 -> 355[label="",style="solid", color="black", weight=3];
350[label="toEnum0 (primEqInt (Pos (Succ xz800)) (Pos (Succ Zero))) (Pos (Succ xz800))\n",fontsize=16,color="black",shape="box"];350 -> 356[label="",style="solid", color="black", weight=3];
351[label="toEnum0 (primEqInt (Neg (Succ xz800)) (Pos (Succ Zero))) (Neg (Succ xz800))\n",fontsize=16,color="black",shape="box"];351 -> 357[label="",style="solid", color="black", weight=3];
352[label="xz7 (Pos (Succ Zero)) : map xz7 (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))))\n",fontsize=16,color="green",shape="box"];352 -> 358[label="",style="dashed", color="green", weight=3];
352 -> 359[label="",style="dashed", color="green", weight=3];
353[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (compare (primPlusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];353 -> 360[label="",style="solid", color="black", weight=3];
354[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))) (flip (>=) (Pos Zero) (primPlusInt (Neg (Succ Zero)) (Pos Zero))))\n",fontsize=16,color="black",shape="box"];354 -> 361[label="",style="solid", color="black", weight=3];
355[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))) ((<=) primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero)) Pos (Succ Zero)))\n",fontsize=16,color="black",shape="box"];355 -> 362[label="",style="solid", color="black", weight=3];
356[label="toEnum0 (primEqNat xz800 Zero) (Pos (Succ xz800))\n",fontsize=16,color="burlywood",shape="box"];434[label="xz800/Succ xz8000",fontsize=10,color="white",style="solid",shape="box"];356 -> 434[label="",style="solid", color="burlywood", weight=9];
434 -> 363[label="",style="solid", color="burlywood", weight=3];
435[label="xz800/Zero",fontsize=10,color="white",style="solid",shape="box"];356 -> 435[label="",style="solid", color="burlywood", weight=9];
435 -> 364[label="",style="solid", color="burlywood", weight=3];
357[label="toEnum0 False (Neg (Succ xz800))\n",fontsize=16,color="black",shape="box"];357 -> 365[label="",style="solid", color="black", weight=3];
358[label="xz7 (Pos (Succ Zero))\n",fontsize=16,color="green",shape="box"];358 -> 366[label="",style="dashed", color="green", weight=3];
359[label="map xz7 (takeWhile (flip (<=) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))))\n",fontsize=16,color="black",shape="box"];359 -> 367[label="",style="solid", color="black", weight=3];
360 -> 221[label="",style="dashed", color="red", weight=0];
360[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos Zero)) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos Zero)))) (not (primCmpInt (primPlusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="magenta"];361[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))) ((>=) primPlusInt (Neg (Succ Zero)) (Pos Zero) Pos Zero))\n",fontsize=16,color="black",shape="box"];361 -> 368[label="",style="solid", color="black", weight=3];
362[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))) (compare (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)) /= GT))\n",fontsize=16,color="black",shape="box"];362 -> 369[label="",style="solid", color="black", weight=3];
363[label="toEnum0 (primEqNat (Succ xz8000) Zero) (Pos (Succ (Succ xz8000)))\n",fontsize=16,color="black",shape="box"];363 -> 370[label="",style="solid", color="black", weight=3];
364[label="toEnum0 (primEqNat Zero Zero) (Pos (Succ Zero))\n",fontsize=16,color="black",shape="box"];364 -> 371[label="",style="solid", color="black", weight=3];
365[label="error []\n",fontsize=16,color="red",shape="box"];366[label="Pos (Succ Zero)\n",fontsize=16,color="green",shape="box"];367[label="map xz7 (takeWhile (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero)) : iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))))\n",fontsize=16,color="black",shape="box"];367 -> 372[label="",style="solid", color="black", weight=3];
368[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))) (compare (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (Pos Zero) /= LT))\n",fontsize=16,color="black",shape="box"];368 -> 373[label="",style="solid", color="black", weight=3];
369[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))) (not (compare (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];369 -> 374[label="",style="solid", color="black", weight=3];
370[label="toEnum0 False (Pos (Succ (Succ xz8000)))\n",fontsize=16,color="black",shape="box"];370 -> 375[label="",style="solid", color="black", weight=3];
371 -> 230[label="",style="dashed", color="red", weight=0];
371[label="toEnum0 True (Pos (Succ Zero))\n",fontsize=16,color="magenta"];372[label="map xz7 (takeWhile2 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero)) : iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))))\n",fontsize=16,color="black",shape="box"];372 -> 376[label="",style="solid", color="black", weight=3];
373[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))) (not (compare (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (Pos Zero) == LT)))\n",fontsize=16,color="black",shape="box"];373 -> 377[label="",style="solid", color="black", weight=3];
374[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (Pos (Succ Zero)) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];374 -> 378[label="",style="solid", color="black", weight=3];
375[label="error []\n",fontsize=16,color="red",shape="box"];376[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) (flip (<=) (Pos (Succ Zero)) (primPlusInt (Pos Zero) (Pos (Succ Zero)))))\n",fontsize=16,color="black",shape="box"];376 -> 379[label="",style="solid", color="black", weight=3];
377[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primPlusInt (Neg (Succ Zero)) (Pos Zero)))) (not (primCmpInt (primPlusInt (Neg (Succ Zero)) (Pos Zero)) (Pos Zero) == LT)))\n",fontsize=16,color="black",shape="box"];377 -> 380[label="",style="solid", color="black", weight=3];
378[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (primPlusNat (Succ Zero) (Succ Zero))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (primPlusNat (Succ Zero) (Succ Zero))))) (not (primCmpInt (Pos (primPlusNat (Succ Zero) (Succ Zero))) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];378 -> 381[label="",style="solid", color="black", weight=3];
379[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) ((<=) primPlusInt (Pos Zero) (Pos (Succ Zero)) Pos (Succ Zero)))\n",fontsize=16,color="black",shape="box"];379 -> 382[label="",style="solid", color="black", weight=3];
380[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (primMinusNat Zero (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (primMinusNat Zero (Succ Zero)))) (not (primCmpInt (primMinusNat Zero (Succ Zero)) (Pos Zero) == LT)))\n",fontsize=16,color="black",shape="box"];380 -> 383[label="",style="solid", color="black", weight=3];
381[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) (not (primCmpInt (Pos (Succ (Succ (primPlusNat Zero Zero)))) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];381 -> 384[label="",style="solid", color="black", weight=3];
382[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) (compare (primPlusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)) /= GT))\n",fontsize=16,color="black",shape="box"];382 -> 385[label="",style="solid", color="black", weight=3];
383[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) (not (primCmpInt (Neg (Succ Zero)) (Pos Zero) == LT)))\n",fontsize=16,color="black",shape="box"];383 -> 386[label="",style="solid", color="black", weight=3];
384[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) (not (primCmpNat (Succ (Succ (primPlusNat Zero Zero))) (Succ Zero) == GT)))\n",fontsize=16,color="black",shape="box"];384 -> 387[label="",style="solid", color="black", weight=3];
385[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) (not (compare (primPlusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="black",shape="box"];385 -> 388[label="",style="solid", color="black", weight=3];
386[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) (not (LT == LT)))\n",fontsize=16,color="black",shape="box"];386 -> 389[label="",style="solid", color="black", weight=3];
387[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) (not (primCmpNat (Succ (primPlusNat Zero Zero)) Zero == GT)))\n",fontsize=16,color="black",shape="box"];387 -> 390[label="",style="solid", color="black", weight=3];
388 -> 266[label="",style="dashed", color="red", weight=0];
388[label="map xz7 (takeWhile1 (flip (<=) (Pos (Succ Zero))) (primPlusInt (Pos Zero) (Pos (Succ Zero))) (iterate (primPlusInt (Pos Zero)) (primPlusInt (Pos Zero) (primPlusInt (Pos Zero) (Pos (Succ Zero))))) (not (primCmpInt (primPlusInt (Pos Zero) (Pos (Succ Zero))) (Pos (Succ Zero)) == GT)))\n",fontsize=16,color="magenta"];389[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) (not True))\n",fontsize=16,color="black",shape="box"];389 -> 391[label="",style="solid", color="black", weight=3];
390[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) (not (GT == GT)))\n",fontsize=16,color="black",shape="box"];390 -> 392[label="",style="solid", color="black", weight=3];
391[label="map toEnum (takeWhile1 (flip (>=) (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) False)\n",fontsize=16,color="black",shape="box"];391 -> 393[label="",style="solid", color="black", weight=3];
392[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) (not True))\n",fontsize=16,color="black",shape="box"];392 -> 394[label="",style="solid", color="black", weight=3];
393[label="map toEnum (takeWhile0 (flip (>=) (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) otherwise)\n",fontsize=16,color="black",shape="box"];393 -> 395[label="",style="solid", color="black", weight=3];
394[label="map toEnum (takeWhile1 (flip (<=) (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) False)\n",fontsize=16,color="black",shape="box"];394 -> 396[label="",style="solid", color="black", weight=3];
395[label="map toEnum (takeWhile0 (flip (>=) (Pos Zero)) (Neg (Succ Zero)) (iterate (primPlusInt (Neg (Succ Zero))) (primPlusInt (Neg (Succ Zero)) (Neg (Succ Zero)))) True)\n",fontsize=16,color="black",shape="box"];395 -> 397[label="",style="solid", color="black", weight=3];
396[label="map toEnum (takeWhile0 (flip (<=) (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) otherwise)\n",fontsize=16,color="black",shape="box"];396 -> 398[label="",style="solid", color="black", weight=3];
397 -> 149[label="",style="dashed", color="red", weight=0];
397[label="map toEnum []\n",fontsize=16,color="magenta"];398[label="map toEnum (takeWhile0 (flip (<=) (Pos (Succ Zero))) (Pos (Succ (Succ (primPlusNat Zero Zero)))) (iterate (primPlusInt (Pos (Succ Zero))) (primPlusInt (Pos (Succ Zero)) (Pos (Succ (Succ (primPlusNat Zero Zero)))))) True)\n",fontsize=16,color="black",shape="box"];398 -> 399[label="",style="solid", color="black", weight=3];
399 -> 149[label="",style="dashed", color="red", weight=0];
399[label="map toEnum []\n",fontsize=16,color="magenta"];}

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ NumRed

                ↳ HASKELL

                  ↳ Narrow

                    ↳ AND

                      ↳ QDP

                        ↳ NonTerminationProof

                      ↳ QDP

                      ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_map0 → new_map0

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
We used the non-termination processor [17] to show that the DP problem is infinite.
Found a loop by semiunifying a rule from P directly.

The TRS P consists of the following rules:

new_map0 → new_map0

The TRS R consists of the following rules:none

s = new_map0 evaluates to t =new_map0

Thus s starts an infinite chain as s semiunifies with t with the following substitutions:

Semiunifier: [ ]
Matcher: [ ]

Rewriting sequence

The DP semiunifies directly so there is only one rewrite step from new_map0 to new_map0.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ NumRed

                ↳ HASKELL

                  ↳ Narrow

                    ↳ AND

                      ↳ QDP

                      ↳ QDP

                        ↳ NonTerminationProof

                      ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_map(xz7, h) → new_map(xz7, h)

The TRS R consists of the following rules:none

s = new_map(xz7, h) evaluates to t =new_map(xz7, h)

Thus s starts an infinite chain as s semiunifies with t with the following substitutions:

Semiunifier: [ ]
Matcher: [ ]

Rewriting sequence

The DP semiunifies directly so there is only one rewrite step from new_map(xz7, h) to new_map(xz7, h).

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ LetRed

            ↳ HASKELL

              ↳ NumRed

                ↳ HASKELL

                  ↳ Narrow

                    ↳ AND

                      ↳ QDP

                      ↳ QDP

                      ↳ QDP

                        ↳ NonTerminationProof

Q DP problem:
The TRS P consists of the following rules:

new_map1 → new_map1

The TRS R consists of the following rules:none

s = new_map1 evaluates to t =new_map1

Thus s starts an infinite chain as s semiunifies with t with the following substitutions:

Semiunifier: [ ]
Matcher: [ ]

Rewriting sequence

The DP semiunifies directly so there is only one rewrite step from new_map1 to new_map1.

takeWhile	p []	= takeWhile3 p []
takeWhile	p (x : xs)	= takeWhile2 p (x : xs)

takeWhile1	p x xs True	= x : takeWhile p xs
takeWhile1	p x xs False	= takeWhile0 p x xs otherwise

numericEnumFromThenToP1	xw xx xy True	= flip (<=) xy
numericEnumFromThenToP1	xw xx xy False	= numericEnumFromThenToP0 xw xx xy otherwise