8.62/3.89 YES 10.77/4.46 proof of /export/starexec/sandbox2/benchmark/theBenchmark.hs 10.77/4.46 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 10.77/4.46 10.77/4.46 10.77/4.46 H-Termination with start terms of the given HASKELL could be proven: 10.77/4.46 10.77/4.46 (0) HASKELL 10.77/4.46 (1) BR [EQUIVALENT, 0 ms] 10.77/4.46 (2) HASKELL 10.77/4.46 (3) COR [EQUIVALENT, 0 ms] 10.77/4.46 (4) HASKELL 10.77/4.46 (5) Narrow [EQUIVALENT, 219 ms] 10.77/4.46 (6) YES 10.77/4.46 10.77/4.46 10.77/4.46 ---------------------------------------- 10.77/4.46 10.77/4.46 (0) 10.77/4.46 Obligation: 10.77/4.46 mainModule Main 10.77/4.46 module Main where { 10.77/4.46 import qualified Prelude; 10.77/4.46 data List a = Cons a (List a) | Nil ; 10.77/4.46 10.77/4.46 data MyBool = MyTrue | MyFalse ; 10.77/4.46 10.77/4.46 data Ordering = LT | EQ | GT ; 10.77/4.46 10.77/4.46 data Tup2 b a = Tup2 b a ; 10.77/4.46 10.77/4.46 asAs :: MyBool -> MyBool -> MyBool; 10.77/4.46 asAs MyFalse x = MyFalse; 10.77/4.46 asAs MyTrue x = x; 10.77/4.46 10.77/4.46 compare0 x y MyTrue = GT; 10.77/4.46 10.77/4.46 compare1 x y MyTrue = LT; 10.77/4.46 compare1 x y MyFalse = compare0 x y otherwise; 10.77/4.46 10.77/4.46 compare2 x y MyTrue = EQ; 10.77/4.46 compare2 x y MyFalse = compare1 x y (ltEsOrdering x y); 10.77/4.46 10.77/4.46 compare3 x y = compare2 x y (esEsOrdering x y); 10.77/4.46 10.77/4.46 compareOrdering :: Ordering -> Ordering -> Ordering; 10.77/4.46 compareOrdering x y = compare3 x y; 10.77/4.46 10.77/4.46 concat :: List (List a) -> List a; 10.77/4.46 concat = foldr psPs Nil; 10.77/4.46 10.77/4.46 concatMap :: (a -> List b) -> List a -> List b; 10.77/4.46 concatMap f = pt concat (map f); 10.77/4.46 10.77/4.46 esEsOrdering :: Ordering -> Ordering -> MyBool; 10.77/4.46 esEsOrdering LT LT = MyTrue; 10.77/4.46 esEsOrdering LT EQ = MyFalse; 10.77/4.46 esEsOrdering LT GT = MyFalse; 10.77/4.46 esEsOrdering EQ LT = MyFalse; 10.77/4.46 esEsOrdering EQ EQ = MyTrue; 10.77/4.46 esEsOrdering EQ GT = MyFalse; 10.77/4.46 esEsOrdering GT LT = MyFalse; 10.77/4.46 esEsOrdering GT EQ = MyFalse; 10.77/4.46 esEsOrdering GT GT = MyTrue; 10.77/4.46 10.77/4.46 foldr :: (a -> b -> b) -> b -> List a -> b; 10.77/4.46 foldr f z Nil = z; 10.77/4.46 foldr f z (Cons x xs) = f x (foldr f z xs); 10.77/4.46 10.77/4.46 fsEsOrdering :: Ordering -> Ordering -> MyBool; 10.77/4.46 fsEsOrdering x y = not (esEsOrdering x y); 10.77/4.46 10.77/4.46 gtEsOrdering :: Ordering -> Ordering -> MyBool; 10.77/4.46 gtEsOrdering x y = fsEsOrdering (compareOrdering x y) LT; 10.77/4.46 10.77/4.46 ltEsOrdering :: Ordering -> Ordering -> MyBool; 10.77/4.46 ltEsOrdering LT LT = MyTrue; 10.77/4.46 ltEsOrdering LT EQ = MyTrue; 10.77/4.46 ltEsOrdering LT GT = MyTrue; 10.77/4.46 ltEsOrdering EQ LT = MyFalse; 10.77/4.46 ltEsOrdering EQ EQ = MyTrue; 10.77/4.46 ltEsOrdering EQ GT = MyTrue; 10.77/4.46 ltEsOrdering GT LT = MyFalse; 10.77/4.46 ltEsOrdering GT EQ = MyFalse; 10.77/4.46 ltEsOrdering GT GT = MyTrue; 10.77/4.46 10.77/4.46 map :: (b -> a) -> List b -> List a; 10.77/4.46 map f Nil = Nil; 10.77/4.46 map f (Cons x xs) = Cons (f x) (map f xs); 10.77/4.46 10.77/4.46 not :: MyBool -> MyBool; 10.77/4.46 not MyTrue = MyFalse; 10.77/4.46 not MyFalse = MyTrue; 10.77/4.46 10.77/4.46 otherwise :: MyBool; 10.77/4.46 otherwise = MyTrue; 10.77/4.46 10.77/4.46 psPs :: List a -> List a -> List a; 10.77/4.46 psPs Nil ys = ys; 10.77/4.46 psPs (Cons x xs) ys = Cons x (psPs xs ys); 10.77/4.46 10.77/4.46 pt :: (c -> b) -> (a -> c) -> a -> b; 10.77/4.46 pt f g x = f (g x); 10.77/4.46 10.77/4.46 range0 y x z = range00 z (asAs (gtEsOrdering y z) (gtEsOrdering z x)); 10.77/4.46 10.77/4.46 range00 z MyTrue = Cons z Nil; 10.77/4.46 range00 z MyFalse = Nil; 10.77/4.46 10.77/4.46 rangeOrdering :: Tup2 Ordering Ordering -> List Ordering; 10.77/4.46 rangeOrdering (Tup2 x y) = concatMap (range0 y x) (Cons LT (Cons EQ (Cons GT Nil))); 10.77/4.46 10.77/4.46 } 10.77/4.46 10.77/4.46 ---------------------------------------- 10.77/4.46 10.77/4.46 (1) BR (EQUIVALENT) 10.77/4.46 Replaced joker patterns by fresh variables and removed binding patterns. 10.77/4.46 ---------------------------------------- 10.77/4.46 10.77/4.46 (2) 10.77/4.46 Obligation: 10.77/4.46 mainModule Main 10.77/4.46 module Main where { 10.77/4.46 import qualified Prelude; 10.77/4.46 data List a = Cons a (List a) | Nil ; 10.77/4.46 10.77/4.46 data MyBool = MyTrue | MyFalse ; 10.77/4.46 10.77/4.46 data Ordering = LT | EQ | GT ; 10.77/4.46 10.77/4.46 data Tup2 b a = Tup2 b a ; 10.77/4.46 10.77/4.46 asAs :: MyBool -> MyBool -> MyBool; 10.77/4.46 asAs MyFalse x = MyFalse; 10.77/4.46 asAs MyTrue x = x; 10.77/4.46 10.77/4.46 compare0 x y MyTrue = GT; 10.77/4.46 10.77/4.46 compare1 x y MyTrue = LT; 10.77/4.46 compare1 x y MyFalse = compare0 x y otherwise; 10.77/4.46 10.77/4.46 compare2 x y MyTrue = EQ; 10.77/4.46 compare2 x y MyFalse = compare1 x y (ltEsOrdering x y); 10.77/4.46 10.77/4.46 compare3 x y = compare2 x y (esEsOrdering x y); 10.77/4.46 10.77/4.46 compareOrdering :: Ordering -> Ordering -> Ordering; 10.77/4.46 compareOrdering x y = compare3 x y; 10.77/4.46 10.77/4.46 concat :: List (List a) -> List a; 10.77/4.46 concat = foldr psPs Nil; 10.77/4.46 10.77/4.46 concatMap :: (a -> List b) -> List a -> List b; 10.77/4.46 concatMap f = pt concat (map f); 10.77/4.46 10.77/4.46 esEsOrdering :: Ordering -> Ordering -> MyBool; 10.77/4.46 esEsOrdering LT LT = MyTrue; 10.77/4.46 esEsOrdering LT EQ = MyFalse; 10.77/4.46 esEsOrdering LT GT = MyFalse; 10.77/4.46 esEsOrdering EQ LT = MyFalse; 10.77/4.46 esEsOrdering EQ EQ = MyTrue; 10.77/4.46 esEsOrdering EQ GT = MyFalse; 10.77/4.46 esEsOrdering GT LT = MyFalse; 10.77/4.46 esEsOrdering GT EQ = MyFalse; 10.77/4.46 esEsOrdering GT GT = MyTrue; 10.77/4.46 10.77/4.46 foldr :: (a -> b -> b) -> b -> List a -> b; 10.77/4.46 foldr f z Nil = z; 10.77/4.46 foldr f z (Cons x xs) = f x (foldr f z xs); 10.77/4.46 10.77/4.46 fsEsOrdering :: Ordering -> Ordering -> MyBool; 10.77/4.46 fsEsOrdering x y = not (esEsOrdering x y); 10.77/4.46 10.77/4.46 gtEsOrdering :: Ordering -> Ordering -> MyBool; 10.77/4.46 gtEsOrdering x y = fsEsOrdering (compareOrdering x y) LT; 10.77/4.46 10.77/4.46 ltEsOrdering :: Ordering -> Ordering -> MyBool; 10.77/4.46 ltEsOrdering LT LT = MyTrue; 10.77/4.46 ltEsOrdering LT EQ = MyTrue; 10.77/4.46 ltEsOrdering LT GT = MyTrue; 10.77/4.46 ltEsOrdering EQ LT = MyFalse; 10.77/4.46 ltEsOrdering EQ EQ = MyTrue; 10.77/4.46 ltEsOrdering EQ GT = MyTrue; 10.77/4.46 ltEsOrdering GT LT = MyFalse; 10.77/4.46 ltEsOrdering GT EQ = MyFalse; 10.77/4.46 ltEsOrdering GT GT = MyTrue; 10.77/4.46 10.77/4.46 map :: (a -> b) -> List a -> List b; 10.77/4.46 map f Nil = Nil; 10.77/4.46 map f (Cons x xs) = Cons (f x) (map f xs); 10.77/4.46 10.77/4.46 not :: MyBool -> MyBool; 10.77/4.46 not MyTrue = MyFalse; 10.77/4.46 not MyFalse = MyTrue; 10.77/4.46 10.77/4.46 otherwise :: MyBool; 10.77/4.46 otherwise = MyTrue; 10.77/4.46 10.77/4.46 psPs :: List a -> List a -> List a; 10.77/4.46 psPs Nil ys = ys; 10.77/4.46 psPs (Cons x xs) ys = Cons x (psPs xs ys); 10.77/4.46 10.77/4.46 pt :: (c -> a) -> (b -> c) -> b -> a; 10.77/4.46 pt f g x = f (g x); 10.77/4.46 10.77/4.46 range0 y x z = range00 z (asAs (gtEsOrdering y z) (gtEsOrdering z x)); 10.77/4.46 10.77/4.46 range00 z MyTrue = Cons z Nil; 10.77/4.46 range00 z MyFalse = Nil; 10.77/4.46 10.77/4.46 rangeOrdering :: Tup2 Ordering Ordering -> List Ordering; 10.77/4.46 rangeOrdering (Tup2 x y) = concatMap (range0 y x) (Cons LT (Cons EQ (Cons GT Nil))); 10.77/4.46 10.77/4.46 } 10.77/4.46 10.77/4.46 ---------------------------------------- 10.77/4.46 10.77/4.46 (3) COR (EQUIVALENT) 10.77/4.46 Cond Reductions: 10.77/4.46 The following Function with conditions 10.77/4.46 "undefined |Falseundefined; 10.77/4.46 " 10.77/4.46 is transformed to 10.77/4.46 "undefined = undefined1; 10.77/4.46 " 10.77/4.46 "undefined0 True = undefined; 10.77/4.46 " 10.77/4.46 "undefined1 = undefined0 False; 10.77/4.46 " 10.77/4.46 10.77/4.46 ---------------------------------------- 10.77/4.46 10.77/4.46 (4) 10.77/4.46 Obligation: 10.77/4.46 mainModule Main 10.77/4.46 module Main where { 10.77/4.46 import qualified Prelude; 10.77/4.46 data List a = Cons a (List a) | Nil ; 10.77/4.46 10.77/4.46 data MyBool = MyTrue | MyFalse ; 10.77/4.46 10.77/4.46 data Ordering = LT | EQ | GT ; 10.77/4.46 10.77/4.46 data Tup2 a b = Tup2 a b ; 10.77/4.46 10.77/4.46 asAs :: MyBool -> MyBool -> MyBool; 10.77/4.46 asAs MyFalse x = MyFalse; 10.77/4.46 asAs MyTrue x = x; 10.77/4.46 10.77/4.46 compare0 x y MyTrue = GT; 10.77/4.46 10.77/4.46 compare1 x y MyTrue = LT; 10.77/4.46 compare1 x y MyFalse = compare0 x y otherwise; 10.77/4.46 10.77/4.46 compare2 x y MyTrue = EQ; 10.77/4.46 compare2 x y MyFalse = compare1 x y (ltEsOrdering x y); 10.77/4.46 10.77/4.46 compare3 x y = compare2 x y (esEsOrdering x y); 10.77/4.46 10.77/4.46 compareOrdering :: Ordering -> Ordering -> Ordering; 10.77/4.46 compareOrdering x y = compare3 x y; 10.77/4.46 10.77/4.46 concat :: List (List a) -> List a; 10.77/4.46 concat = foldr psPs Nil; 10.77/4.46 10.77/4.46 concatMap :: (b -> List a) -> List b -> List a; 10.77/4.46 concatMap f = pt concat (map f); 10.77/4.46 10.77/4.46 esEsOrdering :: Ordering -> Ordering -> MyBool; 10.77/4.46 esEsOrdering LT LT = MyTrue; 10.77/4.46 esEsOrdering LT EQ = MyFalse; 10.77/4.46 esEsOrdering LT GT = MyFalse; 10.77/4.46 esEsOrdering EQ LT = MyFalse; 10.77/4.46 esEsOrdering EQ EQ = MyTrue; 10.77/4.46 esEsOrdering EQ GT = MyFalse; 10.77/4.46 esEsOrdering GT LT = MyFalse; 10.77/4.46 esEsOrdering GT EQ = MyFalse; 10.77/4.46 esEsOrdering GT GT = MyTrue; 10.77/4.46 10.77/4.46 foldr :: (a -> b -> b) -> b -> List a -> b; 10.77/4.46 foldr f z Nil = z; 10.77/4.46 foldr f z (Cons x xs) = f x (foldr f z xs); 10.77/4.46 10.77/4.46 fsEsOrdering :: Ordering -> Ordering -> MyBool; 10.77/4.46 fsEsOrdering x y = not (esEsOrdering x y); 10.77/4.46 10.77/4.46 gtEsOrdering :: Ordering -> Ordering -> MyBool; 10.77/4.46 gtEsOrdering x y = fsEsOrdering (compareOrdering x y) LT; 10.77/4.46 10.77/4.46 ltEsOrdering :: Ordering -> Ordering -> MyBool; 10.77/4.46 ltEsOrdering LT LT = MyTrue; 10.77/4.46 ltEsOrdering LT EQ = MyTrue; 10.77/4.46 ltEsOrdering LT GT = MyTrue; 10.77/4.46 ltEsOrdering EQ LT = MyFalse; 10.77/4.46 ltEsOrdering EQ EQ = MyTrue; 10.77/4.46 ltEsOrdering EQ GT = MyTrue; 10.77/4.46 ltEsOrdering GT LT = MyFalse; 10.77/4.46 ltEsOrdering GT EQ = MyFalse; 10.77/4.46 ltEsOrdering GT GT = MyTrue; 10.77/4.46 10.77/4.46 map :: (b -> a) -> List b -> List a; 10.77/4.46 map f Nil = Nil; 10.77/4.46 map f (Cons x xs) = Cons (f x) (map f xs); 10.77/4.46 10.77/4.46 not :: MyBool -> MyBool; 10.77/4.46 not MyTrue = MyFalse; 10.77/4.46 not MyFalse = MyTrue; 10.77/4.46 10.77/4.46 otherwise :: MyBool; 10.77/4.46 otherwise = MyTrue; 10.77/4.46 10.77/4.46 psPs :: List a -> List a -> List a; 10.77/4.46 psPs Nil ys = ys; 10.77/4.46 psPs (Cons x xs) ys = Cons x (psPs xs ys); 10.77/4.46 10.77/4.46 pt :: (a -> c) -> (b -> a) -> b -> c; 10.77/4.46 pt f g x = f (g x); 10.77/4.46 10.77/4.46 range0 y x z = range00 z (asAs (gtEsOrdering y z) (gtEsOrdering z x)); 10.77/4.46 10.77/4.46 range00 z MyTrue = Cons z Nil; 10.77/4.46 range00 z MyFalse = Nil; 10.77/4.46 10.77/4.46 rangeOrdering :: Tup2 Ordering Ordering -> List Ordering; 10.77/4.46 rangeOrdering (Tup2 x y) = concatMap (range0 y x) (Cons LT (Cons EQ (Cons GT Nil))); 10.77/4.46 10.77/4.46 } 10.77/4.46 10.77/4.46 ---------------------------------------- 10.77/4.46 10.77/4.46 (5) Narrow (EQUIVALENT) 10.77/4.46 Haskell To QDPs 10.77/4.46 10.77/4.46 digraph dp_graph { 10.77/4.46 node [outthreshold=100, inthreshold=100];1[label="rangeOrdering",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3]; 10.77/4.46 3[label="rangeOrdering vx3",fontsize=16,color="burlywood",shape="triangle"];537[label="vx3/Tup2 vx30 vx31",fontsize=10,color="white",style="solid",shape="box"];3 -> 537[label="",style="solid", color="burlywood", weight=9]; 10.77/4.46 537 -> 4[label="",style="solid", color="burlywood", weight=3]; 10.77/4.46 4[label="rangeOrdering (Tup2 vx30 vx31)",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3]; 10.77/4.46 5[label="concatMap (range0 vx31 vx30) (Cons LT (Cons EQ (Cons GT Nil)))",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3]; 10.77/4.46 6[label="pt concat (map (range0 vx31 vx30)) (Cons LT (Cons EQ (Cons GT Nil)))",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3]; 10.77/4.46 7[label="concat (map (range0 vx31 vx30) (Cons LT (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3]; 10.77/4.46 8[label="foldr psPs Nil (map (range0 vx31 vx30) (Cons LT (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3]; 10.77/4.46 9[label="foldr psPs Nil (Cons (range0 vx31 vx30 LT) (map (range0 vx31 vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3]; 10.77/4.46 10[label="psPs (range0 vx31 vx30 LT) (foldr psPs Nil (map (range0 vx31 vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3]; 10.77/4.46 11[label="psPs (range00 LT (asAs (gtEsOrdering vx31 LT) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 vx31 vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3]; 10.77/4.46 12[label="psPs (range00 LT (asAs (fsEsOrdering (compareOrdering vx31 LT) LT) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 vx31 vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3]; 10.77/4.46 13[label="psPs (range00 LT (asAs (not (esEsOrdering (compareOrdering vx31 LT) LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 vx31 vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3]; 10.77/4.46 14[label="psPs (range00 LT (asAs (not (esEsOrdering (compare3 vx31 LT) LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 vx31 vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3]; 10.77/4.46 15[label="psPs (range00 LT (asAs (not (esEsOrdering (compare2 vx31 LT (esEsOrdering vx31 LT)) LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 vx31 vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="burlywood",shape="box"];538[label="vx31/LT",fontsize=10,color="white",style="solid",shape="box"];15 -> 538[label="",style="solid", color="burlywood", weight=9]; 10.77/4.46 538 -> 16[label="",style="solid", color="burlywood", weight=3]; 10.77/4.46 539[label="vx31/EQ",fontsize=10,color="white",style="solid",shape="box"];15 -> 539[label="",style="solid", color="burlywood", weight=9]; 10.77/4.46 539 -> 17[label="",style="solid", color="burlywood", weight=3]; 10.77/4.46 540[label="vx31/GT",fontsize=10,color="white",style="solid",shape="box"];15 -> 540[label="",style="solid", color="burlywood", weight=9]; 10.77/4.46 540 -> 18[label="",style="solid", color="burlywood", weight=3]; 10.77/4.46 16[label="psPs (range00 LT (asAs (not (esEsOrdering (compare2 LT LT (esEsOrdering LT LT)) LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 LT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];16 -> 19[label="",style="solid", color="black", weight=3]; 10.77/4.46 17[label="psPs (range00 LT (asAs (not (esEsOrdering (compare2 EQ LT (esEsOrdering EQ LT)) LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 EQ vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];17 -> 20[label="",style="solid", color="black", weight=3]; 10.77/4.46 18[label="psPs (range00 LT (asAs (not (esEsOrdering (compare2 GT LT (esEsOrdering GT LT)) LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 GT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];18 -> 21[label="",style="solid", color="black", weight=3]; 10.77/4.46 19[label="psPs (range00 LT (asAs (not (esEsOrdering (compare2 LT LT MyTrue) LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 LT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];19 -> 22[label="",style="solid", color="black", weight=3]; 10.77/4.46 20[label="psPs (range00 LT (asAs (not (esEsOrdering (compare2 EQ LT MyFalse) LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 EQ vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];20 -> 23[label="",style="solid", color="black", weight=3]; 10.77/4.46 21[label="psPs (range00 LT (asAs (not (esEsOrdering (compare2 GT LT MyFalse) LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 GT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];21 -> 24[label="",style="solid", color="black", weight=3]; 10.77/4.46 22[label="psPs (range00 LT (asAs (not (esEsOrdering EQ LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 LT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];22 -> 25[label="",style="solid", color="black", weight=3]; 10.77/4.46 23[label="psPs (range00 LT (asAs (not (esEsOrdering (compare1 EQ LT (ltEsOrdering EQ LT)) LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 EQ vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];23 -> 26[label="",style="solid", color="black", weight=3]; 10.77/4.46 24[label="psPs (range00 LT (asAs (not (esEsOrdering (compare1 GT LT (ltEsOrdering GT LT)) LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 GT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];24 -> 27[label="",style="solid", color="black", weight=3]; 10.77/4.46 25[label="psPs (range00 LT (asAs (not MyFalse) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 LT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];25 -> 28[label="",style="solid", color="black", weight=3]; 10.77/4.46 26[label="psPs (range00 LT (asAs (not (esEsOrdering (compare1 EQ LT MyFalse) LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 EQ vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];26 -> 29[label="",style="solid", color="black", weight=3]; 10.77/4.46 27[label="psPs (range00 LT (asAs (not (esEsOrdering (compare1 GT LT MyFalse) LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 GT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];27 -> 30[label="",style="solid", color="black", weight=3]; 10.77/4.46 28[label="psPs (range00 LT (asAs MyTrue (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 LT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];28 -> 31[label="",style="solid", color="black", weight=3]; 10.77/4.46 29[label="psPs (range00 LT (asAs (not (esEsOrdering (compare0 EQ LT otherwise) LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 EQ vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];29 -> 32[label="",style="solid", color="black", weight=3]; 10.77/4.46 30[label="psPs (range00 LT (asAs (not (esEsOrdering (compare0 GT LT otherwise) LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 GT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];30 -> 33[label="",style="solid", color="black", weight=3]; 10.77/4.46 31[label="psPs (range00 LT (gtEsOrdering LT vx30)) (foldr psPs Nil (map (range0 LT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];31 -> 34[label="",style="solid", color="black", weight=3]; 10.77/4.46 32[label="psPs (range00 LT (asAs (not (esEsOrdering (compare0 EQ LT MyTrue) LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 EQ vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];32 -> 35[label="",style="solid", color="black", weight=3]; 10.77/4.46 33[label="psPs (range00 LT (asAs (not (esEsOrdering (compare0 GT LT MyTrue) LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 GT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];33 -> 36[label="",style="solid", color="black", weight=3]; 10.77/4.46 34[label="psPs (range00 LT (fsEsOrdering (compareOrdering LT vx30) LT)) (foldr psPs Nil (map (range0 LT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];34 -> 37[label="",style="solid", color="black", weight=3]; 10.77/4.46 35[label="psPs (range00 LT (asAs (not (esEsOrdering GT LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 EQ vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];35 -> 38[label="",style="solid", color="black", weight=3]; 10.77/4.46 36[label="psPs (range00 LT (asAs (not (esEsOrdering GT LT)) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 GT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];36 -> 39[label="",style="solid", color="black", weight=3]; 10.77/4.46 37[label="psPs (range00 LT (not (esEsOrdering (compareOrdering LT vx30) LT))) (foldr psPs Nil (map (range0 LT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];37 -> 40[label="",style="solid", color="black", weight=3]; 10.77/4.46 38[label="psPs (range00 LT (asAs (not MyFalse) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 EQ vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];38 -> 41[label="",style="solid", color="black", weight=3]; 10.77/4.46 39[label="psPs (range00 LT (asAs (not MyFalse) (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 GT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];39 -> 42[label="",style="solid", color="black", weight=3]; 10.77/4.46 40[label="psPs (range00 LT (not (esEsOrdering (compare3 LT vx30) LT))) (foldr psPs Nil (map (range0 LT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];40 -> 43[label="",style="solid", color="black", weight=3]; 10.77/4.46 41[label="psPs (range00 LT (asAs MyTrue (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 EQ vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];41 -> 44[label="",style="solid", color="black", weight=3]; 10.77/4.46 42[label="psPs (range00 LT (asAs MyTrue (gtEsOrdering LT vx30))) (foldr psPs Nil (map (range0 GT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];42 -> 45[label="",style="solid", color="black", weight=3]; 10.77/4.46 43[label="psPs (range00 LT (not (esEsOrdering (compare2 LT vx30 (esEsOrdering LT vx30)) LT))) (foldr psPs Nil (map (range0 LT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="burlywood",shape="box"];541[label="vx30/LT",fontsize=10,color="white",style="solid",shape="box"];43 -> 541[label="",style="solid", color="burlywood", weight=9]; 10.77/4.46 541 -> 46[label="",style="solid", color="burlywood", weight=3]; 10.77/4.46 542[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];43 -> 542[label="",style="solid", color="burlywood", weight=9]; 10.77/4.46 542 -> 47[label="",style="solid", color="burlywood", weight=3]; 10.77/4.46 543[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];43 -> 543[label="",style="solid", color="burlywood", weight=9]; 10.77/4.46 543 -> 48[label="",style="solid", color="burlywood", weight=3]; 10.77/4.46 44[label="psPs (range00 LT (gtEsOrdering LT vx30)) (foldr psPs Nil (map (range0 EQ vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];44 -> 49[label="",style="solid", color="black", weight=3]; 10.77/4.46 45[label="psPs (range00 LT (gtEsOrdering LT vx30)) (foldr psPs Nil (map (range0 GT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];45 -> 50[label="",style="solid", color="black", weight=3]; 10.77/4.46 46[label="psPs (range00 LT (not (esEsOrdering (compare2 LT LT (esEsOrdering LT LT)) LT))) (foldr psPs Nil (map (range0 LT LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];46 -> 51[label="",style="solid", color="black", weight=3]; 10.77/4.46 47[label="psPs (range00 LT (not (esEsOrdering (compare2 LT EQ (esEsOrdering LT EQ)) LT))) (foldr psPs Nil (map (range0 LT EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];47 -> 52[label="",style="solid", color="black", weight=3]; 10.77/4.46 48[label="psPs (range00 LT (not (esEsOrdering (compare2 LT GT (esEsOrdering LT GT)) LT))) (foldr psPs Nil (map (range0 LT GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];48 -> 53[label="",style="solid", color="black", weight=3]; 10.77/4.46 49[label="psPs (range00 LT (fsEsOrdering (compareOrdering LT vx30) LT)) (foldr psPs Nil (map (range0 EQ vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];49 -> 54[label="",style="solid", color="black", weight=3]; 10.77/4.46 50[label="psPs (range00 LT (fsEsOrdering (compareOrdering LT vx30) LT)) (foldr psPs Nil (map (range0 GT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];50 -> 55[label="",style="solid", color="black", weight=3]; 10.77/4.46 51[label="psPs (range00 LT (not (esEsOrdering (compare2 LT LT MyTrue) LT))) (foldr psPs Nil (map (range0 LT LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];51 -> 56[label="",style="solid", color="black", weight=3]; 10.77/4.46 52[label="psPs (range00 LT (not (esEsOrdering (compare2 LT EQ MyFalse) LT))) (foldr psPs Nil (map (range0 LT EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];52 -> 57[label="",style="solid", color="black", weight=3]; 10.77/4.46 53[label="psPs (range00 LT (not (esEsOrdering (compare2 LT GT MyFalse) LT))) (foldr psPs Nil (map (range0 LT GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];53 -> 58[label="",style="solid", color="black", weight=3]; 10.77/4.46 54[label="psPs (range00 LT (not (esEsOrdering (compareOrdering LT vx30) LT))) (foldr psPs Nil (map (range0 EQ vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];54 -> 59[label="",style="solid", color="black", weight=3]; 10.77/4.46 55[label="psPs (range00 LT (not (esEsOrdering (compareOrdering LT vx30) LT))) (foldr psPs Nil (map (range0 GT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];55 -> 60[label="",style="solid", color="black", weight=3]; 10.77/4.46 56[label="psPs (range00 LT (not (esEsOrdering EQ LT))) (foldr psPs Nil (map (range0 LT LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];56 -> 61[label="",style="solid", color="black", weight=3]; 10.77/4.46 57[label="psPs (range00 LT (not (esEsOrdering (compare1 LT EQ (ltEsOrdering LT EQ)) LT))) (foldr psPs Nil (map (range0 LT EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];57 -> 62[label="",style="solid", color="black", weight=3]; 10.77/4.46 58[label="psPs (range00 LT (not (esEsOrdering (compare1 LT GT (ltEsOrdering LT GT)) LT))) (foldr psPs Nil (map (range0 LT GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];58 -> 63[label="",style="solid", color="black", weight=3]; 10.77/4.46 59[label="psPs (range00 LT (not (esEsOrdering (compare3 LT vx30) LT))) (foldr psPs Nil (map (range0 EQ vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];59 -> 64[label="",style="solid", color="black", weight=3]; 10.77/4.46 60[label="psPs (range00 LT (not (esEsOrdering (compare3 LT vx30) LT))) (foldr psPs Nil (map (range0 GT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];60 -> 65[label="",style="solid", color="black", weight=3]; 10.77/4.46 61[label="psPs (range00 LT (not MyFalse)) (foldr psPs Nil (map (range0 LT LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];61 -> 66[label="",style="solid", color="black", weight=3]; 10.77/4.46 62[label="psPs (range00 LT (not (esEsOrdering (compare1 LT EQ MyTrue) LT))) (foldr psPs Nil (map (range0 LT EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];62 -> 67[label="",style="solid", color="black", weight=3]; 10.77/4.46 63[label="psPs (range00 LT (not (esEsOrdering (compare1 LT GT MyTrue) LT))) (foldr psPs Nil (map (range0 LT GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];63 -> 68[label="",style="solid", color="black", weight=3]; 10.77/4.46 64[label="psPs (range00 LT (not (esEsOrdering (compare2 LT vx30 (esEsOrdering LT vx30)) LT))) (foldr psPs Nil (map (range0 EQ vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="burlywood",shape="box"];544[label="vx30/LT",fontsize=10,color="white",style="solid",shape="box"];64 -> 544[label="",style="solid", color="burlywood", weight=9]; 10.77/4.46 544 -> 69[label="",style="solid", color="burlywood", weight=3]; 10.77/4.46 545[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];64 -> 545[label="",style="solid", color="burlywood", weight=9]; 10.77/4.46 545 -> 70[label="",style="solid", color="burlywood", weight=3]; 10.77/4.46 546[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];64 -> 546[label="",style="solid", color="burlywood", weight=9]; 10.77/4.46 546 -> 71[label="",style="solid", color="burlywood", weight=3]; 10.77/4.46 65[label="psPs (range00 LT (not (esEsOrdering (compare2 LT vx30 (esEsOrdering LT vx30)) LT))) (foldr psPs Nil (map (range0 GT vx30) (Cons EQ (Cons GT Nil))))",fontsize=16,color="burlywood",shape="box"];547[label="vx30/LT",fontsize=10,color="white",style="solid",shape="box"];65 -> 547[label="",style="solid", color="burlywood", weight=9]; 10.77/4.46 547 -> 72[label="",style="solid", color="burlywood", weight=3]; 10.77/4.46 548[label="vx30/EQ",fontsize=10,color="white",style="solid",shape="box"];65 -> 548[label="",style="solid", color="burlywood", weight=9]; 10.77/4.46 548 -> 73[label="",style="solid", color="burlywood", weight=3]; 10.77/4.46 549[label="vx30/GT",fontsize=10,color="white",style="solid",shape="box"];65 -> 549[label="",style="solid", color="burlywood", weight=9]; 10.77/4.46 549 -> 74[label="",style="solid", color="burlywood", weight=3]; 10.77/4.46 66[label="psPs (range00 LT MyTrue) (foldr psPs Nil (map (range0 LT LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];66 -> 75[label="",style="solid", color="black", weight=3]; 10.77/4.46 67[label="psPs (range00 LT (not (esEsOrdering LT LT))) (foldr psPs Nil (map (range0 LT EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];67 -> 76[label="",style="solid", color="black", weight=3]; 10.77/4.46 68[label="psPs (range00 LT (not (esEsOrdering LT LT))) (foldr psPs Nil (map (range0 LT GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];68 -> 77[label="",style="solid", color="black", weight=3]; 10.77/4.46 69[label="psPs (range00 LT (not (esEsOrdering (compare2 LT LT (esEsOrdering LT LT)) LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];69 -> 78[label="",style="solid", color="black", weight=3]; 10.77/4.46 70[label="psPs (range00 LT (not (esEsOrdering (compare2 LT EQ (esEsOrdering LT EQ)) LT))) (foldr psPs Nil (map (range0 EQ EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];70 -> 79[label="",style="solid", color="black", weight=3]; 10.77/4.46 71[label="psPs (range00 LT (not (esEsOrdering (compare2 LT GT (esEsOrdering LT GT)) LT))) (foldr psPs Nil (map (range0 EQ GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];71 -> 80[label="",style="solid", color="black", weight=3]; 10.77/4.46 72[label="psPs (range00 LT (not (esEsOrdering (compare2 LT LT (esEsOrdering LT LT)) LT))) (foldr psPs Nil (map (range0 GT LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];72 -> 81[label="",style="solid", color="black", weight=3]; 10.77/4.46 73[label="psPs (range00 LT (not (esEsOrdering (compare2 LT EQ (esEsOrdering LT EQ)) LT))) (foldr psPs Nil (map (range0 GT EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];73 -> 82[label="",style="solid", color="black", weight=3]; 10.77/4.46 74[label="psPs (range00 LT (not (esEsOrdering (compare2 LT GT (esEsOrdering LT GT)) LT))) (foldr psPs Nil (map (range0 GT GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];74 -> 83[label="",style="solid", color="black", weight=3]; 10.77/4.46 75[label="psPs (Cons LT Nil) (foldr psPs Nil (map (range0 LT LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];75 -> 84[label="",style="solid", color="black", weight=3]; 10.77/4.46 76[label="psPs (range00 LT (not MyTrue)) (foldr psPs Nil (map (range0 LT EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];76 -> 85[label="",style="solid", color="black", weight=3]; 10.77/4.46 77[label="psPs (range00 LT (not MyTrue)) (foldr psPs Nil (map (range0 LT GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];77 -> 86[label="",style="solid", color="black", weight=3]; 10.77/4.46 78[label="psPs (range00 LT (not (esEsOrdering (compare2 LT LT MyTrue) LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];78 -> 87[label="",style="solid", color="black", weight=3]; 10.77/4.46 79[label="psPs (range00 LT (not (esEsOrdering (compare2 LT EQ MyFalse) LT))) (foldr psPs Nil (map (range0 EQ EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];79 -> 88[label="",style="solid", color="black", weight=3]; 10.77/4.46 80[label="psPs (range00 LT (not (esEsOrdering (compare2 LT GT MyFalse) LT))) (foldr psPs Nil (map (range0 EQ GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];80 -> 89[label="",style="solid", color="black", weight=3]; 10.77/4.46 81[label="psPs (range00 LT (not (esEsOrdering (compare2 LT LT MyTrue) LT))) (foldr psPs Nil (map (range0 GT LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];81 -> 90[label="",style="solid", color="black", weight=3]; 10.77/4.46 82[label="psPs (range00 LT (not (esEsOrdering (compare2 LT EQ MyFalse) LT))) (foldr psPs Nil (map (range0 GT EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];82 -> 91[label="",style="solid", color="black", weight=3]; 10.77/4.46 83[label="psPs (range00 LT (not (esEsOrdering (compare2 LT GT MyFalse) LT))) (foldr psPs Nil (map (range0 GT GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];83 -> 92[label="",style="solid", color="black", weight=3]; 10.77/4.46 84[label="Cons LT (psPs Nil (foldr psPs Nil (map (range0 LT LT) (Cons EQ (Cons GT Nil)))))",fontsize=16,color="green",shape="box"];84 -> 93[label="",style="dashed", color="green", weight=3]; 10.77/4.46 85[label="psPs (range00 LT MyFalse) (foldr psPs Nil (map (range0 LT EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];85 -> 94[label="",style="solid", color="black", weight=3]; 10.77/4.46 86[label="psPs (range00 LT MyFalse) (foldr psPs Nil (map (range0 LT GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];86 -> 95[label="",style="solid", color="black", weight=3]; 10.77/4.46 87[label="psPs (range00 LT (not (esEsOrdering EQ LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];87 -> 96[label="",style="solid", color="black", weight=3]; 10.77/4.46 88[label="psPs (range00 LT (not (esEsOrdering (compare1 LT EQ (ltEsOrdering LT EQ)) LT))) (foldr psPs Nil (map (range0 EQ EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];88 -> 97[label="",style="solid", color="black", weight=3]; 10.77/4.46 89[label="psPs (range00 LT (not (esEsOrdering (compare1 LT GT (ltEsOrdering LT GT)) LT))) (foldr psPs Nil (map (range0 EQ GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];89 -> 98[label="",style="solid", color="black", weight=3]; 10.77/4.46 90[label="psPs (range00 LT (not (esEsOrdering EQ LT))) (foldr psPs Nil (map (range0 GT LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];90 -> 99[label="",style="solid", color="black", weight=3]; 10.77/4.46 91[label="psPs (range00 LT (not (esEsOrdering (compare1 LT EQ (ltEsOrdering LT EQ)) LT))) (foldr psPs Nil (map (range0 GT EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];91 -> 100[label="",style="solid", color="black", weight=3]; 10.77/4.46 92[label="psPs (range00 LT (not (esEsOrdering (compare1 LT GT (ltEsOrdering LT GT)) LT))) (foldr psPs Nil (map (range0 GT GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];92 -> 101[label="",style="solid", color="black", weight=3]; 10.77/4.46 93[label="psPs Nil (foldr psPs Nil (map (range0 LT LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];93 -> 102[label="",style="solid", color="black", weight=3]; 10.77/4.46 94[label="psPs Nil (foldr psPs Nil (map (range0 LT EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];94 -> 103[label="",style="solid", color="black", weight=3]; 10.77/4.46 95[label="psPs Nil (foldr psPs Nil (map (range0 LT GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];95 -> 104[label="",style="solid", color="black", weight=3]; 10.77/4.46 96[label="psPs (range00 LT (not MyFalse)) (foldr psPs Nil (map (range0 EQ LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];96 -> 105[label="",style="solid", color="black", weight=3]; 10.77/4.46 97[label="psPs (range00 LT (not (esEsOrdering (compare1 LT EQ MyTrue) LT))) (foldr psPs Nil (map (range0 EQ EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];97 -> 106[label="",style="solid", color="black", weight=3]; 10.77/4.46 98[label="psPs (range00 LT (not (esEsOrdering (compare1 LT GT MyTrue) LT))) (foldr psPs Nil (map (range0 EQ GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];98 -> 107[label="",style="solid", color="black", weight=3]; 10.77/4.46 99[label="psPs (range00 LT (not MyFalse)) (foldr psPs Nil (map (range0 GT LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];99 -> 108[label="",style="solid", color="black", weight=3]; 10.77/4.46 100[label="psPs (range00 LT (not (esEsOrdering (compare1 LT EQ MyTrue) LT))) (foldr psPs Nil (map (range0 GT EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];100 -> 109[label="",style="solid", color="black", weight=3]; 10.77/4.46 101[label="psPs (range00 LT (not (esEsOrdering (compare1 LT GT MyTrue) LT))) (foldr psPs Nil (map (range0 GT GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];101 -> 110[label="",style="solid", color="black", weight=3]; 10.77/4.46 102[label="foldr psPs Nil (map (range0 LT LT) (Cons EQ (Cons GT Nil)))",fontsize=16,color="black",shape="box"];102 -> 111[label="",style="solid", color="black", weight=3]; 10.77/4.46 103[label="foldr psPs Nil (map (range0 LT EQ) (Cons EQ (Cons GT Nil)))",fontsize=16,color="black",shape="box"];103 -> 112[label="",style="solid", color="black", weight=3]; 10.77/4.46 104[label="foldr psPs Nil (map (range0 LT GT) (Cons EQ (Cons GT Nil)))",fontsize=16,color="black",shape="box"];104 -> 113[label="",style="solid", color="black", weight=3]; 10.77/4.46 105[label="psPs (range00 LT MyTrue) (foldr psPs Nil (map (range0 EQ LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];105 -> 114[label="",style="solid", color="black", weight=3]; 10.77/4.46 106[label="psPs (range00 LT (not (esEsOrdering LT LT))) (foldr psPs Nil (map (range0 EQ EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];106 -> 115[label="",style="solid", color="black", weight=3]; 10.77/4.46 107[label="psPs (range00 LT (not (esEsOrdering LT LT))) (foldr psPs Nil (map (range0 EQ GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];107 -> 116[label="",style="solid", color="black", weight=3]; 10.77/4.46 108[label="psPs (range00 LT MyTrue) (foldr psPs Nil (map (range0 GT LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];108 -> 117[label="",style="solid", color="black", weight=3]; 10.77/4.46 109[label="psPs (range00 LT (not (esEsOrdering LT LT))) (foldr psPs Nil (map (range0 GT EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];109 -> 118[label="",style="solid", color="black", weight=3]; 10.77/4.46 110[label="psPs (range00 LT (not (esEsOrdering LT LT))) (foldr psPs Nil (map (range0 GT GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];110 -> 119[label="",style="solid", color="black", weight=3]; 10.77/4.46 111[label="foldr psPs Nil (Cons (range0 LT LT EQ) (map (range0 LT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];111 -> 120[label="",style="solid", color="black", weight=3]; 10.77/4.46 112[label="foldr psPs Nil (Cons (range0 LT EQ EQ) (map (range0 LT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];112 -> 121[label="",style="solid", color="black", weight=3]; 10.77/4.46 113[label="foldr psPs Nil (Cons (range0 LT GT EQ) (map (range0 LT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];113 -> 122[label="",style="solid", color="black", weight=3]; 10.77/4.46 114[label="psPs (Cons LT Nil) (foldr psPs Nil (map (range0 EQ LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];114 -> 123[label="",style="solid", color="black", weight=3]; 10.77/4.46 115[label="psPs (range00 LT (not MyTrue)) (foldr psPs Nil (map (range0 EQ EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];115 -> 124[label="",style="solid", color="black", weight=3]; 10.77/4.46 116[label="psPs (range00 LT (not MyTrue)) (foldr psPs Nil (map (range0 EQ GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];116 -> 125[label="",style="solid", color="black", weight=3]; 10.77/4.46 117[label="psPs (Cons LT Nil) (foldr psPs Nil (map (range0 GT LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];117 -> 126[label="",style="solid", color="black", weight=3]; 10.77/4.46 118[label="psPs (range00 LT (not MyTrue)) (foldr psPs Nil (map (range0 GT EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];118 -> 127[label="",style="solid", color="black", weight=3]; 10.77/4.46 119[label="psPs (range00 LT (not MyTrue)) (foldr psPs Nil (map (range0 GT GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];119 -> 128[label="",style="solid", color="black", weight=3]; 10.77/4.46 120[label="psPs (range0 LT LT EQ) (foldr psPs Nil (map (range0 LT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];120 -> 129[label="",style="solid", color="black", weight=3]; 10.77/4.46 121[label="psPs (range0 LT EQ EQ) (foldr psPs Nil (map (range0 LT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];121 -> 130[label="",style="solid", color="black", weight=3]; 10.77/4.46 122[label="psPs (range0 LT GT EQ) (foldr psPs Nil (map (range0 LT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];122 -> 131[label="",style="solid", color="black", weight=3]; 10.77/4.46 123[label="Cons LT (psPs Nil (foldr psPs Nil (map (range0 EQ LT) (Cons EQ (Cons GT Nil)))))",fontsize=16,color="green",shape="box"];123 -> 132[label="",style="dashed", color="green", weight=3]; 10.77/4.46 124[label="psPs (range00 LT MyFalse) (foldr psPs Nil (map (range0 EQ EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];124 -> 133[label="",style="solid", color="black", weight=3]; 10.77/4.46 125[label="psPs (range00 LT MyFalse) (foldr psPs Nil (map (range0 EQ GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];125 -> 134[label="",style="solid", color="black", weight=3]; 10.77/4.46 126[label="Cons LT (psPs Nil (foldr psPs Nil (map (range0 GT LT) (Cons EQ (Cons GT Nil)))))",fontsize=16,color="green",shape="box"];126 -> 135[label="",style="dashed", color="green", weight=3]; 10.77/4.46 127[label="psPs (range00 LT MyFalse) (foldr psPs Nil (map (range0 GT EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];127 -> 136[label="",style="solid", color="black", weight=3]; 10.77/4.46 128[label="psPs (range00 LT MyFalse) (foldr psPs Nil (map (range0 GT GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];128 -> 137[label="",style="solid", color="black", weight=3]; 10.77/4.46 129[label="psPs (range00 EQ (asAs (gtEsOrdering LT EQ) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 LT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];129 -> 138[label="",style="solid", color="black", weight=3]; 10.77/4.46 130[label="psPs (range00 EQ (asAs (gtEsOrdering LT EQ) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 LT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];130 -> 139[label="",style="solid", color="black", weight=3]; 10.77/4.46 131[label="psPs (range00 EQ (asAs (gtEsOrdering LT EQ) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 LT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];131 -> 140[label="",style="solid", color="black", weight=3]; 10.77/4.46 132[label="psPs Nil (foldr psPs Nil (map (range0 EQ LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];132 -> 141[label="",style="solid", color="black", weight=3]; 10.77/4.46 133[label="psPs Nil (foldr psPs Nil (map (range0 EQ EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];133 -> 142[label="",style="solid", color="black", weight=3]; 10.77/4.46 134[label="psPs Nil (foldr psPs Nil (map (range0 EQ GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];134 -> 143[label="",style="solid", color="black", weight=3]; 10.77/4.46 135[label="psPs Nil (foldr psPs Nil (map (range0 GT LT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];135 -> 144[label="",style="solid", color="black", weight=3]; 10.77/4.46 136[label="psPs Nil (foldr psPs Nil (map (range0 GT EQ) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];136 -> 145[label="",style="solid", color="black", weight=3]; 10.77/4.46 137[label="psPs Nil (foldr psPs Nil (map (range0 GT GT) (Cons EQ (Cons GT Nil))))",fontsize=16,color="black",shape="box"];137 -> 146[label="",style="solid", color="black", weight=3]; 10.77/4.46 138[label="psPs (range00 EQ (asAs (fsEsOrdering (compareOrdering LT EQ) LT) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 LT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];138 -> 147[label="",style="solid", color="black", weight=3]; 10.77/4.46 139[label="psPs (range00 EQ (asAs (fsEsOrdering (compareOrdering LT EQ) LT) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 LT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];139 -> 148[label="",style="solid", color="black", weight=3]; 10.77/4.46 140[label="psPs (range00 EQ (asAs (fsEsOrdering (compareOrdering LT EQ) LT) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 LT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];140 -> 149[label="",style="solid", color="black", weight=3]; 10.77/4.46 141[label="foldr psPs Nil (map (range0 EQ LT) (Cons EQ (Cons GT Nil)))",fontsize=16,color="black",shape="box"];141 -> 150[label="",style="solid", color="black", weight=3]; 10.77/4.46 142[label="foldr psPs Nil (map (range0 EQ EQ) (Cons EQ (Cons GT Nil)))",fontsize=16,color="black",shape="box"];142 -> 151[label="",style="solid", color="black", weight=3]; 10.77/4.46 143[label="foldr psPs Nil (map (range0 EQ GT) (Cons EQ (Cons GT Nil)))",fontsize=16,color="black",shape="box"];143 -> 152[label="",style="solid", color="black", weight=3]; 10.77/4.46 144[label="foldr psPs Nil (map (range0 GT LT) (Cons EQ (Cons GT Nil)))",fontsize=16,color="black",shape="box"];144 -> 153[label="",style="solid", color="black", weight=3]; 10.77/4.46 145[label="foldr psPs Nil (map (range0 GT EQ) (Cons EQ (Cons GT Nil)))",fontsize=16,color="black",shape="box"];145 -> 154[label="",style="solid", color="black", weight=3]; 10.77/4.46 146[label="foldr psPs Nil (map (range0 GT GT) (Cons EQ (Cons GT Nil)))",fontsize=16,color="black",shape="box"];146 -> 155[label="",style="solid", color="black", weight=3]; 10.77/4.46 147[label="psPs (range00 EQ (asAs (not (esEsOrdering (compareOrdering LT EQ) LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 LT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];147 -> 156[label="",style="solid", color="black", weight=3]; 10.77/4.46 148[label="psPs (range00 EQ (asAs (not (esEsOrdering (compareOrdering LT EQ) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 LT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];148 -> 157[label="",style="solid", color="black", weight=3]; 10.77/4.46 149[label="psPs (range00 EQ (asAs (not (esEsOrdering (compareOrdering LT EQ) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 LT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];149 -> 158[label="",style="solid", color="black", weight=3]; 10.77/4.46 150[label="foldr psPs Nil (Cons (range0 EQ LT EQ) (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];150 -> 159[label="",style="solid", color="black", weight=3]; 10.77/4.46 151[label="foldr psPs Nil (Cons (range0 EQ EQ EQ) (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];151 -> 160[label="",style="solid", color="black", weight=3]; 10.77/4.46 152[label="foldr psPs Nil (Cons (range0 EQ GT EQ) (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];152 -> 161[label="",style="solid", color="black", weight=3]; 10.77/4.46 153[label="foldr psPs Nil (Cons (range0 GT LT EQ) (map (range0 GT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];153 -> 162[label="",style="solid", color="black", weight=3]; 10.77/4.46 154[label="foldr psPs Nil (Cons (range0 GT EQ EQ) (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];154 -> 163[label="",style="solid", color="black", weight=3]; 10.77/4.46 155[label="foldr psPs Nil (Cons (range0 GT GT EQ) (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];155 -> 164[label="",style="solid", color="black", weight=3]; 10.77/4.46 156[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare3 LT EQ) LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 LT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];156 -> 165[label="",style="solid", color="black", weight=3]; 10.77/4.46 157[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare3 LT EQ) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 LT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];157 -> 166[label="",style="solid", color="black", weight=3]; 10.77/4.46 158[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare3 LT EQ) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 LT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];158 -> 167[label="",style="solid", color="black", weight=3]; 10.77/4.46 159[label="psPs (range0 EQ LT EQ) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];159 -> 168[label="",style="solid", color="black", weight=3]; 10.77/4.46 160[label="psPs (range0 EQ EQ EQ) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];160 -> 169[label="",style="solid", color="black", weight=3]; 10.77/4.46 161[label="psPs (range0 EQ GT EQ) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];161 -> 170[label="",style="solid", color="black", weight=3]; 10.77/4.46 162[label="psPs (range0 GT LT EQ) (foldr psPs Nil (map (range0 GT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];162 -> 171[label="",style="solid", color="black", weight=3]; 10.77/4.46 163[label="psPs (range0 GT EQ EQ) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];163 -> 172[label="",style="solid", color="black", weight=3]; 10.77/4.46 164[label="psPs (range0 GT GT EQ) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];164 -> 173[label="",style="solid", color="black", weight=3]; 10.77/4.46 165[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 LT EQ (esEsOrdering LT EQ)) LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 LT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];165 -> 174[label="",style="solid", color="black", weight=3]; 10.77/4.46 166[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 LT EQ (esEsOrdering LT EQ)) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 LT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];166 -> 175[label="",style="solid", color="black", weight=3]; 10.77/4.46 167[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 LT EQ (esEsOrdering LT EQ)) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 LT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];167 -> 176[label="",style="solid", color="black", weight=3]; 10.77/4.46 168[label="psPs (range00 EQ (asAs (gtEsOrdering EQ EQ) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];168 -> 177[label="",style="solid", color="black", weight=3]; 10.77/4.46 169[label="psPs (range00 EQ (asAs (gtEsOrdering EQ EQ) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];169 -> 178[label="",style="solid", color="black", weight=3]; 10.77/4.46 170[label="psPs (range00 EQ (asAs (gtEsOrdering EQ EQ) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];170 -> 179[label="",style="solid", color="black", weight=3]; 10.77/4.46 171[label="psPs (range00 EQ (asAs (gtEsOrdering GT EQ) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 GT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];171 -> 180[label="",style="solid", color="black", weight=3]; 10.77/4.46 172[label="psPs (range00 EQ (asAs (gtEsOrdering GT EQ) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];172 -> 181[label="",style="solid", color="black", weight=3]; 10.77/4.46 173[label="psPs (range00 EQ (asAs (gtEsOrdering GT EQ) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];173 -> 182[label="",style="solid", color="black", weight=3]; 10.77/4.46 174[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 LT EQ MyFalse) LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 LT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];174 -> 183[label="",style="solid", color="black", weight=3]; 10.77/4.46 175[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 LT EQ MyFalse) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 LT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];175 -> 184[label="",style="solid", color="black", weight=3]; 10.77/4.46 176[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 LT EQ MyFalse) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 LT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];176 -> 185[label="",style="solid", color="black", weight=3]; 10.77/4.46 177[label="psPs (range00 EQ (asAs (fsEsOrdering (compareOrdering EQ EQ) LT) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];177 -> 186[label="",style="solid", color="black", weight=3]; 10.77/4.46 178[label="psPs (range00 EQ (asAs (fsEsOrdering (compareOrdering EQ EQ) LT) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];178 -> 187[label="",style="solid", color="black", weight=3]; 10.77/4.46 179[label="psPs (range00 EQ (asAs (fsEsOrdering (compareOrdering EQ EQ) LT) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];179 -> 188[label="",style="solid", color="black", weight=3]; 10.77/4.46 180[label="psPs (range00 EQ (asAs (fsEsOrdering (compareOrdering GT EQ) LT) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 GT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];180 -> 189[label="",style="solid", color="black", weight=3]; 10.77/4.46 181[label="psPs (range00 EQ (asAs (fsEsOrdering (compareOrdering GT EQ) LT) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];181 -> 190[label="",style="solid", color="black", weight=3]; 10.77/4.46 182[label="psPs (range00 EQ (asAs (fsEsOrdering (compareOrdering GT EQ) LT) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];182 -> 191[label="",style="solid", color="black", weight=3]; 10.77/4.46 183[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare1 LT EQ (ltEsOrdering LT EQ)) LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 LT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];183 -> 192[label="",style="solid", color="black", weight=3]; 10.77/4.46 184[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare1 LT EQ (ltEsOrdering LT EQ)) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 LT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];184 -> 193[label="",style="solid", color="black", weight=3]; 10.77/4.46 185[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare1 LT EQ (ltEsOrdering LT EQ)) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 LT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];185 -> 194[label="",style="solid", color="black", weight=3]; 10.77/4.46 186[label="psPs (range00 EQ (asAs (not (esEsOrdering (compareOrdering EQ EQ) LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];186 -> 195[label="",style="solid", color="black", weight=3]; 10.77/4.46 187[label="psPs (range00 EQ (asAs (not (esEsOrdering (compareOrdering EQ EQ) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];187 -> 196[label="",style="solid", color="black", weight=3]; 10.77/4.46 188[label="psPs (range00 EQ (asAs (not (esEsOrdering (compareOrdering EQ EQ) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];188 -> 197[label="",style="solid", color="black", weight=3]; 10.77/4.46 189[label="psPs (range00 EQ (asAs (not (esEsOrdering (compareOrdering GT EQ) LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 GT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];189 -> 198[label="",style="solid", color="black", weight=3]; 10.77/4.46 190[label="psPs (range00 EQ (asAs (not (esEsOrdering (compareOrdering GT EQ) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];190 -> 199[label="",style="solid", color="black", weight=3]; 10.77/4.46 191[label="psPs (range00 EQ (asAs (not (esEsOrdering (compareOrdering GT EQ) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];191 -> 200[label="",style="solid", color="black", weight=3]; 10.77/4.46 192[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare1 LT EQ MyTrue) LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 LT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];192 -> 201[label="",style="solid", color="black", weight=3]; 10.77/4.46 193[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare1 LT EQ MyTrue) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 LT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];193 -> 202[label="",style="solid", color="black", weight=3]; 10.77/4.46 194[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare1 LT EQ MyTrue) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 LT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];194 -> 203[label="",style="solid", color="black", weight=3]; 10.77/4.46 195[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare3 EQ EQ) LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];195 -> 204[label="",style="solid", color="black", weight=3]; 10.77/4.46 196[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare3 EQ EQ) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];196 -> 205[label="",style="solid", color="black", weight=3]; 10.77/4.46 197[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare3 EQ EQ) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];197 -> 206[label="",style="solid", color="black", weight=3]; 10.77/4.46 198[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare3 GT EQ) LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 GT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];198 -> 207[label="",style="solid", color="black", weight=3]; 10.77/4.46 199[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare3 GT EQ) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];199 -> 208[label="",style="solid", color="black", weight=3]; 10.77/4.46 200[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare3 GT EQ) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];200 -> 209[label="",style="solid", color="black", weight=3]; 10.77/4.46 201[label="psPs (range00 EQ (asAs (not (esEsOrdering LT LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 LT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];201 -> 210[label="",style="solid", color="black", weight=3]; 10.77/4.46 202[label="psPs (range00 EQ (asAs (not (esEsOrdering LT LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 LT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];202 -> 211[label="",style="solid", color="black", weight=3]; 10.77/4.46 203[label="psPs (range00 EQ (asAs (not (esEsOrdering LT LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 LT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];203 -> 212[label="",style="solid", color="black", weight=3]; 10.77/4.46 204[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 EQ EQ (esEsOrdering EQ EQ)) LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];204 -> 213[label="",style="solid", color="black", weight=3]; 10.77/4.46 205[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 EQ EQ (esEsOrdering EQ EQ)) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];205 -> 214[label="",style="solid", color="black", weight=3]; 10.77/4.46 206[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 EQ EQ (esEsOrdering EQ EQ)) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];206 -> 215[label="",style="solid", color="black", weight=3]; 10.77/4.46 207[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 GT EQ (esEsOrdering GT EQ)) LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 GT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];207 -> 216[label="",style="solid", color="black", weight=3]; 10.77/4.46 208[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 GT EQ (esEsOrdering GT EQ)) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];208 -> 217[label="",style="solid", color="black", weight=3]; 10.77/4.46 209[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 GT EQ (esEsOrdering GT EQ)) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];209 -> 218[label="",style="solid", color="black", weight=3]; 10.77/4.46 210[label="psPs (range00 EQ (asAs (not MyTrue) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 LT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];210 -> 219[label="",style="solid", color="black", weight=3]; 10.77/4.46 211[label="psPs (range00 EQ (asAs (not MyTrue) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 LT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];211 -> 220[label="",style="solid", color="black", weight=3]; 10.77/4.46 212[label="psPs (range00 EQ (asAs (not MyTrue) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 LT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];212 -> 221[label="",style="solid", color="black", weight=3]; 10.77/4.46 213[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 EQ EQ MyTrue) LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];213 -> 222[label="",style="solid", color="black", weight=3]; 10.77/4.46 214[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 EQ EQ MyTrue) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];214 -> 223[label="",style="solid", color="black", weight=3]; 10.77/4.46 215[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 EQ EQ MyTrue) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];215 -> 224[label="",style="solid", color="black", weight=3]; 10.77/4.46 216[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 GT EQ MyFalse) LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 GT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];216 -> 225[label="",style="solid", color="black", weight=3]; 10.77/4.46 217[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 GT EQ MyFalse) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];217 -> 226[label="",style="solid", color="black", weight=3]; 10.77/4.46 218[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare2 GT EQ MyFalse) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];218 -> 227[label="",style="solid", color="black", weight=3]; 10.77/4.46 219[label="psPs (range00 EQ (asAs MyFalse (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 LT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];219 -> 228[label="",style="solid", color="black", weight=3]; 10.77/4.46 220[label="psPs (range00 EQ (asAs MyFalse (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 LT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];220 -> 229[label="",style="solid", color="black", weight=3]; 10.77/4.46 221[label="psPs (range00 EQ (asAs MyFalse (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 LT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];221 -> 230[label="",style="solid", color="black", weight=3]; 10.77/4.46 222[label="psPs (range00 EQ (asAs (not (esEsOrdering EQ LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];222 -> 231[label="",style="solid", color="black", weight=3]; 10.77/4.46 223[label="psPs (range00 EQ (asAs (not (esEsOrdering EQ LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];223 -> 232[label="",style="solid", color="black", weight=3]; 10.77/4.46 224[label="psPs (range00 EQ (asAs (not (esEsOrdering EQ LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];224 -> 233[label="",style="solid", color="black", weight=3]; 10.77/4.46 225[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare1 GT EQ (ltEsOrdering GT EQ)) LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 GT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];225 -> 234[label="",style="solid", color="black", weight=3]; 10.77/4.46 226[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare1 GT EQ (ltEsOrdering GT EQ)) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];226 -> 235[label="",style="solid", color="black", weight=3]; 10.77/4.46 227[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare1 GT EQ (ltEsOrdering GT EQ)) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];227 -> 236[label="",style="solid", color="black", weight=3]; 10.77/4.46 228[label="psPs (range00 EQ MyFalse) (foldr psPs Nil (map (range0 LT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];228 -> 237[label="",style="solid", color="black", weight=3]; 10.77/4.46 229[label="psPs (range00 EQ MyFalse) (foldr psPs Nil (map (range0 LT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];229 -> 238[label="",style="solid", color="black", weight=3]; 10.77/4.46 230[label="psPs (range00 EQ MyFalse) (foldr psPs Nil (map (range0 LT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];230 -> 239[label="",style="solid", color="black", weight=3]; 10.77/4.46 231[label="psPs (range00 EQ (asAs (not MyFalse) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];231 -> 240[label="",style="solid", color="black", weight=3]; 10.77/4.46 232[label="psPs (range00 EQ (asAs (not MyFalse) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];232 -> 241[label="",style="solid", color="black", weight=3]; 10.77/4.46 233[label="psPs (range00 EQ (asAs (not MyFalse) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];233 -> 242[label="",style="solid", color="black", weight=3]; 10.77/4.46 234[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare1 GT EQ MyFalse) LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 GT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];234 -> 243[label="",style="solid", color="black", weight=3]; 10.77/4.46 235[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare1 GT EQ MyFalse) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];235 -> 244[label="",style="solid", color="black", weight=3]; 10.77/4.46 236[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare1 GT EQ MyFalse) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];236 -> 245[label="",style="solid", color="black", weight=3]; 10.77/4.46 237[label="psPs Nil (foldr psPs Nil (map (range0 LT LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];237 -> 246[label="",style="solid", color="black", weight=3]; 10.77/4.46 238[label="psPs Nil (foldr psPs Nil (map (range0 LT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];238 -> 247[label="",style="solid", color="black", weight=3]; 10.77/4.46 239[label="psPs Nil (foldr psPs Nil (map (range0 LT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];239 -> 248[label="",style="solid", color="black", weight=3]; 10.77/4.46 240[label="psPs (range00 EQ (asAs MyTrue (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];240 -> 249[label="",style="solid", color="black", weight=3]; 10.77/4.46 241[label="psPs (range00 EQ (asAs MyTrue (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];241 -> 250[label="",style="solid", color="black", weight=3]; 10.77/4.46 242[label="psPs (range00 EQ (asAs MyTrue (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];242 -> 251[label="",style="solid", color="black", weight=3]; 10.77/4.46 243 -> 252[label="",style="dashed", color="red", weight=0]; 10.77/4.46 243[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare0 GT EQ otherwise) LT)) (gtEsOrdering EQ LT))) (foldr psPs Nil (map (range0 GT LT) (Cons GT Nil)))",fontsize=16,color="magenta"];243 -> 253[label="",style="dashed", color="magenta", weight=3]; 10.77/4.46 244[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare0 GT EQ otherwise) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];244 -> 254[label="",style="solid", color="black", weight=3]; 10.77/4.46 245[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare0 GT EQ otherwise) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];245 -> 255[label="",style="solid", color="black", weight=3]; 10.77/4.46 246[label="foldr psPs Nil (map (range0 LT LT) (Cons GT Nil))",fontsize=16,color="black",shape="box"];246 -> 256[label="",style="solid", color="black", weight=3]; 10.77/4.46 247[label="foldr psPs Nil (map (range0 LT EQ) (Cons GT Nil))",fontsize=16,color="black",shape="box"];247 -> 257[label="",style="solid", color="black", weight=3]; 10.77/4.46 248[label="foldr psPs Nil (map (range0 LT GT) (Cons GT Nil))",fontsize=16,color="black",shape="box"];248 -> 258[label="",style="solid", color="black", weight=3]; 10.77/4.46 249[label="psPs (range00 EQ (gtEsOrdering EQ LT)) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];249 -> 259[label="",style="solid", color="black", weight=3]; 10.77/4.46 250[label="psPs (range00 EQ (gtEsOrdering EQ EQ)) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];250 -> 260[label="",style="solid", color="black", weight=3]; 10.77/4.46 251[label="psPs (range00 EQ (gtEsOrdering EQ GT)) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];251 -> 261[label="",style="solid", color="black", weight=3]; 10.77/4.46 253[label="foldr psPs Nil (map (range0 GT LT) (Cons GT Nil))",fontsize=16,color="black",shape="box"];253 -> 262[label="",style="solid", color="black", weight=3]; 10.77/4.46 252[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare0 GT EQ otherwise) LT)) (gtEsOrdering EQ LT))) vx5",fontsize=16,color="black",shape="triangle"];252 -> 263[label="",style="solid", color="black", weight=3]; 10.77/4.46 254[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare0 GT EQ MyTrue) LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];254 -> 264[label="",style="solid", color="black", weight=3]; 10.77/4.46 255[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare0 GT EQ MyTrue) LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];255 -> 265[label="",style="solid", color="black", weight=3]; 10.77/4.46 256[label="foldr psPs Nil (Cons (range0 LT LT GT) (map (range0 LT LT) Nil))",fontsize=16,color="black",shape="box"];256 -> 266[label="",style="solid", color="black", weight=3]; 10.77/4.46 257[label="foldr psPs Nil (Cons (range0 LT EQ GT) (map (range0 LT EQ) Nil))",fontsize=16,color="black",shape="box"];257 -> 267[label="",style="solid", color="black", weight=3]; 10.77/4.46 258[label="foldr psPs Nil (Cons (range0 LT GT GT) (map (range0 LT GT) Nil))",fontsize=16,color="black",shape="box"];258 -> 268[label="",style="solid", color="black", weight=3]; 10.77/4.46 259[label="psPs (range00 EQ (fsEsOrdering (compareOrdering EQ LT) LT)) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];259 -> 269[label="",style="solid", color="black", weight=3]; 10.77/4.46 260[label="psPs (range00 EQ (fsEsOrdering (compareOrdering EQ EQ) LT)) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];260 -> 270[label="",style="solid", color="black", weight=3]; 10.77/4.46 261[label="psPs (range00 EQ (fsEsOrdering (compareOrdering EQ GT) LT)) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];261 -> 271[label="",style="solid", color="black", weight=3]; 10.77/4.46 262[label="foldr psPs Nil (Cons (range0 GT LT GT) (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];262 -> 272[label="",style="solid", color="black", weight=3]; 10.77/4.46 263[label="psPs (range00 EQ (asAs (not (esEsOrdering (compare0 GT EQ MyTrue) LT)) (gtEsOrdering EQ LT))) vx5",fontsize=16,color="black",shape="box"];263 -> 273[label="",style="solid", color="black", weight=3]; 10.77/4.46 264[label="psPs (range00 EQ (asAs (not (esEsOrdering GT LT)) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];264 -> 274[label="",style="solid", color="black", weight=3]; 10.77/4.46 265[label="psPs (range00 EQ (asAs (not (esEsOrdering GT LT)) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];265 -> 275[label="",style="solid", color="black", weight=3]; 10.77/4.46 266[label="psPs (range0 LT LT GT) (foldr psPs Nil (map (range0 LT LT) Nil))",fontsize=16,color="black",shape="box"];266 -> 276[label="",style="solid", color="black", weight=3]; 10.77/4.46 267[label="psPs (range0 LT EQ GT) (foldr psPs Nil (map (range0 LT EQ) Nil))",fontsize=16,color="black",shape="box"];267 -> 277[label="",style="solid", color="black", weight=3]; 10.77/4.46 268[label="psPs (range0 LT GT GT) (foldr psPs Nil (map (range0 LT GT) Nil))",fontsize=16,color="black",shape="box"];268 -> 278[label="",style="solid", color="black", weight=3]; 10.77/4.46 269[label="psPs (range00 EQ (not (esEsOrdering (compareOrdering EQ LT) LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];269 -> 279[label="",style="solid", color="black", weight=3]; 10.77/4.46 270[label="psPs (range00 EQ (not (esEsOrdering (compareOrdering EQ EQ) LT))) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];270 -> 280[label="",style="solid", color="black", weight=3]; 10.77/4.46 271[label="psPs (range00 EQ (not (esEsOrdering (compareOrdering EQ GT) LT))) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];271 -> 281[label="",style="solid", color="black", weight=3]; 10.77/4.46 272[label="psPs (range0 GT LT GT) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];272 -> 282[label="",style="solid", color="black", weight=3]; 10.77/4.46 273[label="psPs (range00 EQ (asAs (not (esEsOrdering GT LT)) (gtEsOrdering EQ LT))) vx5",fontsize=16,color="black",shape="box"];273 -> 283[label="",style="solid", color="black", weight=3]; 10.77/4.46 274[label="psPs (range00 EQ (asAs (not MyFalse) (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];274 -> 284[label="",style="solid", color="black", weight=3]; 10.77/4.46 275[label="psPs (range00 EQ (asAs (not MyFalse) (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];275 -> 285[label="",style="solid", color="black", weight=3]; 10.77/4.46 276[label="psPs (range00 GT (asAs (gtEsOrdering LT GT) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 LT LT) Nil))",fontsize=16,color="black",shape="box"];276 -> 286[label="",style="solid", color="black", weight=3]; 10.77/4.46 277[label="psPs (range00 GT (asAs (gtEsOrdering LT GT) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 LT EQ) Nil))",fontsize=16,color="black",shape="box"];277 -> 287[label="",style="solid", color="black", weight=3]; 10.77/4.46 278[label="psPs (range00 GT (asAs (gtEsOrdering LT GT) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 LT GT) Nil))",fontsize=16,color="black",shape="box"];278 -> 288[label="",style="solid", color="black", weight=3]; 10.77/4.46 279[label="psPs (range00 EQ (not (esEsOrdering (compare3 EQ LT) LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];279 -> 289[label="",style="solid", color="black", weight=3]; 10.77/4.46 280[label="psPs (range00 EQ (not (esEsOrdering (compare3 EQ EQ) LT))) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];280 -> 290[label="",style="solid", color="black", weight=3]; 10.77/4.46 281[label="psPs (range00 EQ (not (esEsOrdering (compare3 EQ GT) LT))) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];281 -> 291[label="",style="solid", color="black", weight=3]; 10.77/4.46 282[label="psPs (range00 GT (asAs (gtEsOrdering GT GT) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];282 -> 292[label="",style="solid", color="black", weight=3]; 10.77/4.46 283[label="psPs (range00 EQ (asAs (not MyFalse) (gtEsOrdering EQ LT))) vx5",fontsize=16,color="black",shape="box"];283 -> 293[label="",style="solid", color="black", weight=3]; 10.77/4.46 284[label="psPs (range00 EQ (asAs MyTrue (gtEsOrdering EQ EQ))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];284 -> 294[label="",style="solid", color="black", weight=3]; 10.77/4.46 285[label="psPs (range00 EQ (asAs MyTrue (gtEsOrdering EQ GT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];285 -> 295[label="",style="solid", color="black", weight=3]; 10.77/4.46 286[label="psPs (range00 GT (asAs (fsEsOrdering (compareOrdering LT GT) LT) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 LT LT) Nil))",fontsize=16,color="black",shape="box"];286 -> 296[label="",style="solid", color="black", weight=3]; 10.77/4.46 287[label="psPs (range00 GT (asAs (fsEsOrdering (compareOrdering LT GT) LT) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 LT EQ) Nil))",fontsize=16,color="black",shape="box"];287 -> 297[label="",style="solid", color="black", weight=3]; 10.77/4.46 288[label="psPs (range00 GT (asAs (fsEsOrdering (compareOrdering LT GT) LT) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 LT GT) Nil))",fontsize=16,color="black",shape="box"];288 -> 298[label="",style="solid", color="black", weight=3]; 10.77/4.46 289[label="psPs (range00 EQ (not (esEsOrdering (compare2 EQ LT (esEsOrdering EQ LT)) LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];289 -> 299[label="",style="solid", color="black", weight=3]; 10.77/4.46 290[label="psPs (range00 EQ (not (esEsOrdering (compare2 EQ EQ (esEsOrdering EQ EQ)) LT))) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];290 -> 300[label="",style="solid", color="black", weight=3]; 10.77/4.46 291[label="psPs (range00 EQ (not (esEsOrdering (compare2 EQ GT (esEsOrdering EQ GT)) LT))) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];291 -> 301[label="",style="solid", color="black", weight=3]; 10.77/4.46 292[label="psPs (range00 GT (asAs (fsEsOrdering (compareOrdering GT GT) LT) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];292 -> 302[label="",style="solid", color="black", weight=3]; 10.77/4.46 293[label="psPs (range00 EQ (asAs MyTrue (gtEsOrdering EQ LT))) vx5",fontsize=16,color="black",shape="box"];293 -> 303[label="",style="solid", color="black", weight=3]; 10.77/4.46 294[label="psPs (range00 EQ (gtEsOrdering EQ EQ)) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];294 -> 304[label="",style="solid", color="black", weight=3]; 10.77/4.46 295[label="psPs (range00 EQ (gtEsOrdering EQ GT)) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];295 -> 305[label="",style="solid", color="black", weight=3]; 10.77/4.46 296[label="psPs (range00 GT (asAs (not (esEsOrdering (compareOrdering LT GT) LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 LT LT) Nil))",fontsize=16,color="black",shape="box"];296 -> 306[label="",style="solid", color="black", weight=3]; 10.77/4.46 297[label="psPs (range00 GT (asAs (not (esEsOrdering (compareOrdering LT GT) LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 LT EQ) Nil))",fontsize=16,color="black",shape="box"];297 -> 307[label="",style="solid", color="black", weight=3]; 10.77/4.46 298[label="psPs (range00 GT (asAs (not (esEsOrdering (compareOrdering LT GT) LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 LT GT) Nil))",fontsize=16,color="black",shape="box"];298 -> 308[label="",style="solid", color="black", weight=3]; 10.77/4.46 299[label="psPs (range00 EQ (not (esEsOrdering (compare2 EQ LT MyFalse) LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];299 -> 309[label="",style="solid", color="black", weight=3]; 10.77/4.46 300[label="psPs (range00 EQ (not (esEsOrdering (compare2 EQ EQ MyTrue) LT))) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];300 -> 310[label="",style="solid", color="black", weight=3]; 10.77/4.46 301[label="psPs (range00 EQ (not (esEsOrdering (compare2 EQ GT MyFalse) LT))) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];301 -> 311[label="",style="solid", color="black", weight=3]; 10.77/4.46 302[label="psPs (range00 GT (asAs (not (esEsOrdering (compareOrdering GT GT) LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];302 -> 312[label="",style="solid", color="black", weight=3]; 10.77/4.46 303[label="psPs (range00 EQ (gtEsOrdering EQ LT)) vx5",fontsize=16,color="black",shape="box"];303 -> 313[label="",style="solid", color="black", weight=3]; 10.77/4.46 304[label="psPs (range00 EQ (fsEsOrdering (compareOrdering EQ EQ) LT)) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];304 -> 314[label="",style="solid", color="black", weight=3]; 10.77/4.46 305[label="psPs (range00 EQ (fsEsOrdering (compareOrdering EQ GT) LT)) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];305 -> 315[label="",style="solid", color="black", weight=3]; 10.77/4.46 306[label="psPs (range00 GT (asAs (not (esEsOrdering (compare3 LT GT) LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 LT LT) Nil))",fontsize=16,color="black",shape="box"];306 -> 316[label="",style="solid", color="black", weight=3]; 10.77/4.46 307[label="psPs (range00 GT (asAs (not (esEsOrdering (compare3 LT GT) LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 LT EQ) Nil))",fontsize=16,color="black",shape="box"];307 -> 317[label="",style="solid", color="black", weight=3]; 10.77/4.46 308[label="psPs (range00 GT (asAs (not (esEsOrdering (compare3 LT GT) LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 LT GT) Nil))",fontsize=16,color="black",shape="box"];308 -> 318[label="",style="solid", color="black", weight=3]; 10.77/4.46 309[label="psPs (range00 EQ (not (esEsOrdering (compare1 EQ LT (ltEsOrdering EQ LT)) LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];309 -> 319[label="",style="solid", color="black", weight=3]; 10.77/4.46 310[label="psPs (range00 EQ (not (esEsOrdering EQ LT))) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];310 -> 320[label="",style="solid", color="black", weight=3]; 10.77/4.46 311[label="psPs (range00 EQ (not (esEsOrdering (compare1 EQ GT (ltEsOrdering EQ GT)) LT))) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];311 -> 321[label="",style="solid", color="black", weight=3]; 10.77/4.46 312[label="psPs (range00 GT (asAs (not (esEsOrdering (compare3 GT GT) LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];312 -> 322[label="",style="solid", color="black", weight=3]; 10.77/4.46 313[label="psPs (range00 EQ (fsEsOrdering (compareOrdering EQ LT) LT)) vx5",fontsize=16,color="black",shape="box"];313 -> 323[label="",style="solid", color="black", weight=3]; 10.77/4.46 314[label="psPs (range00 EQ (not (esEsOrdering (compareOrdering EQ EQ) LT))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];314 -> 324[label="",style="solid", color="black", weight=3]; 10.77/4.46 315[label="psPs (range00 EQ (not (esEsOrdering (compareOrdering EQ GT) LT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];315 -> 325[label="",style="solid", color="black", weight=3]; 10.77/4.46 316[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 LT GT (esEsOrdering LT GT)) LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 LT LT) Nil))",fontsize=16,color="black",shape="box"];316 -> 326[label="",style="solid", color="black", weight=3]; 10.77/4.46 317[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 LT GT (esEsOrdering LT GT)) LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 LT EQ) Nil))",fontsize=16,color="black",shape="box"];317 -> 327[label="",style="solid", color="black", weight=3]; 10.77/4.46 318[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 LT GT (esEsOrdering LT GT)) LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 LT GT) Nil))",fontsize=16,color="black",shape="box"];318 -> 328[label="",style="solid", color="black", weight=3]; 10.77/4.46 319[label="psPs (range00 EQ (not (esEsOrdering (compare1 EQ LT MyFalse) LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];319 -> 329[label="",style="solid", color="black", weight=3]; 10.77/4.46 320[label="psPs (range00 EQ (not MyFalse)) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];320 -> 330[label="",style="solid", color="black", weight=3]; 10.77/4.46 321[label="psPs (range00 EQ (not (esEsOrdering (compare1 EQ GT MyTrue) LT))) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];321 -> 331[label="",style="solid", color="black", weight=3]; 10.77/4.46 322[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 GT GT (esEsOrdering GT GT)) LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];322 -> 332[label="",style="solid", color="black", weight=3]; 10.77/4.46 323[label="psPs (range00 EQ (not (esEsOrdering (compareOrdering EQ LT) LT))) vx5",fontsize=16,color="black",shape="box"];323 -> 333[label="",style="solid", color="black", weight=3]; 10.77/4.46 324[label="psPs (range00 EQ (not (esEsOrdering (compare3 EQ EQ) LT))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];324 -> 334[label="",style="solid", color="black", weight=3]; 10.77/4.46 325[label="psPs (range00 EQ (not (esEsOrdering (compare3 EQ GT) LT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];325 -> 335[label="",style="solid", color="black", weight=3]; 10.77/4.46 326[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 LT GT MyFalse) LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 LT LT) Nil))",fontsize=16,color="black",shape="box"];326 -> 336[label="",style="solid", color="black", weight=3]; 10.77/4.46 327[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 LT GT MyFalse) LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 LT EQ) Nil))",fontsize=16,color="black",shape="box"];327 -> 337[label="",style="solid", color="black", weight=3]; 10.77/4.46 328[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 LT GT MyFalse) LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 LT GT) Nil))",fontsize=16,color="black",shape="box"];328 -> 338[label="",style="solid", color="black", weight=3]; 10.77/4.46 329[label="psPs (range00 EQ (not (esEsOrdering (compare0 EQ LT otherwise) LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];329 -> 339[label="",style="solid", color="black", weight=3]; 10.77/4.46 330[label="psPs (range00 EQ MyTrue) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];330 -> 340[label="",style="solid", color="black", weight=3]; 10.77/4.46 331[label="psPs (range00 EQ (not (esEsOrdering LT LT))) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];331 -> 341[label="",style="solid", color="black", weight=3]; 10.77/4.46 332[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 GT GT MyTrue) LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];332 -> 342[label="",style="solid", color="black", weight=3]; 10.77/4.46 333[label="psPs (range00 EQ (not (esEsOrdering (compare3 EQ LT) LT))) vx5",fontsize=16,color="black",shape="box"];333 -> 343[label="",style="solid", color="black", weight=3]; 10.77/4.46 334[label="psPs (range00 EQ (not (esEsOrdering (compare2 EQ EQ (esEsOrdering EQ EQ)) LT))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];334 -> 344[label="",style="solid", color="black", weight=3]; 10.77/4.46 335[label="psPs (range00 EQ (not (esEsOrdering (compare2 EQ GT (esEsOrdering EQ GT)) LT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];335 -> 345[label="",style="solid", color="black", weight=3]; 10.77/4.46 336[label="psPs (range00 GT (asAs (not (esEsOrdering (compare1 LT GT (ltEsOrdering LT GT)) LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 LT LT) Nil))",fontsize=16,color="black",shape="box"];336 -> 346[label="",style="solid", color="black", weight=3]; 10.77/4.46 337[label="psPs (range00 GT (asAs (not (esEsOrdering (compare1 LT GT (ltEsOrdering LT GT)) LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 LT EQ) Nil))",fontsize=16,color="black",shape="box"];337 -> 347[label="",style="solid", color="black", weight=3]; 10.77/4.46 338[label="psPs (range00 GT (asAs (not (esEsOrdering (compare1 LT GT (ltEsOrdering LT GT)) LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 LT GT) Nil))",fontsize=16,color="black",shape="box"];338 -> 348[label="",style="solid", color="black", weight=3]; 10.77/4.46 339[label="psPs (range00 EQ (not (esEsOrdering (compare0 EQ LT MyTrue) LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];339 -> 349[label="",style="solid", color="black", weight=3]; 10.77/4.46 340[label="psPs (Cons EQ Nil) (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];340 -> 350[label="",style="solid", color="black", weight=3]; 10.77/4.46 341[label="psPs (range00 EQ (not MyTrue)) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];341 -> 351[label="",style="solid", color="black", weight=3]; 10.77/4.46 342[label="psPs (range00 GT (asAs (not (esEsOrdering EQ LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];342 -> 352[label="",style="solid", color="black", weight=3]; 10.77/4.46 343[label="psPs (range00 EQ (not (esEsOrdering (compare2 EQ LT (esEsOrdering EQ LT)) LT))) vx5",fontsize=16,color="black",shape="box"];343 -> 353[label="",style="solid", color="black", weight=3]; 10.77/4.46 344[label="psPs (range00 EQ (not (esEsOrdering (compare2 EQ EQ MyTrue) LT))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];344 -> 354[label="",style="solid", color="black", weight=3]; 10.77/4.46 345[label="psPs (range00 EQ (not (esEsOrdering (compare2 EQ GT MyFalse) LT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];345 -> 355[label="",style="solid", color="black", weight=3]; 10.77/4.46 346[label="psPs (range00 GT (asAs (not (esEsOrdering (compare1 LT GT MyTrue) LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 LT LT) Nil))",fontsize=16,color="black",shape="box"];346 -> 356[label="",style="solid", color="black", weight=3]; 10.77/4.46 347[label="psPs (range00 GT (asAs (not (esEsOrdering (compare1 LT GT MyTrue) LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 LT EQ) Nil))",fontsize=16,color="black",shape="box"];347 -> 357[label="",style="solid", color="black", weight=3]; 10.77/4.46 348[label="psPs (range00 GT (asAs (not (esEsOrdering (compare1 LT GT MyTrue) LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 LT GT) Nil))",fontsize=16,color="black",shape="box"];348 -> 358[label="",style="solid", color="black", weight=3]; 10.77/4.46 349[label="psPs (range00 EQ (not (esEsOrdering GT LT))) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];349 -> 359[label="",style="solid", color="black", weight=3]; 10.77/4.46 350[label="Cons EQ (psPs Nil (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil))))",fontsize=16,color="green",shape="box"];350 -> 360[label="",style="dashed", color="green", weight=3]; 10.77/4.46 351[label="psPs (range00 EQ MyFalse) (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];351 -> 361[label="",style="solid", color="black", weight=3]; 10.77/4.46 352[label="psPs (range00 GT (asAs (not MyFalse) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];352 -> 362[label="",style="solid", color="black", weight=3]; 10.77/4.46 353[label="psPs (range00 EQ (not (esEsOrdering (compare2 EQ LT MyFalse) LT))) vx5",fontsize=16,color="black",shape="box"];353 -> 363[label="",style="solid", color="black", weight=3]; 10.77/4.46 354[label="psPs (range00 EQ (not (esEsOrdering EQ LT))) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];354 -> 364[label="",style="solid", color="black", weight=3]; 10.77/4.46 355[label="psPs (range00 EQ (not (esEsOrdering (compare1 EQ GT (ltEsOrdering EQ GT)) LT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];355 -> 365[label="",style="solid", color="black", weight=3]; 10.77/4.46 356[label="psPs (range00 GT (asAs (not (esEsOrdering LT LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 LT LT) Nil))",fontsize=16,color="black",shape="box"];356 -> 366[label="",style="solid", color="black", weight=3]; 10.77/4.46 357[label="psPs (range00 GT (asAs (not (esEsOrdering LT LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 LT EQ) Nil))",fontsize=16,color="black",shape="box"];357 -> 367[label="",style="solid", color="black", weight=3]; 10.77/4.46 358[label="psPs (range00 GT (asAs (not (esEsOrdering LT LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 LT GT) Nil))",fontsize=16,color="black",shape="box"];358 -> 368[label="",style="solid", color="black", weight=3]; 10.77/4.46 359[label="psPs (range00 EQ (not MyFalse)) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];359 -> 369[label="",style="solid", color="black", weight=3]; 10.77/4.46 360[label="psPs Nil (foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];360 -> 370[label="",style="solid", color="black", weight=3]; 10.77/4.46 361[label="psPs Nil (foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];361 -> 371[label="",style="solid", color="black", weight=3]; 10.77/4.46 362[label="psPs (range00 GT (asAs MyTrue (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];362 -> 372[label="",style="solid", color="black", weight=3]; 10.77/4.46 363[label="psPs (range00 EQ (not (esEsOrdering (compare1 EQ LT (ltEsOrdering EQ LT)) LT))) vx5",fontsize=16,color="black",shape="box"];363 -> 373[label="",style="solid", color="black", weight=3]; 10.77/4.46 364[label="psPs (range00 EQ (not MyFalse)) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];364 -> 374[label="",style="solid", color="black", weight=3]; 10.77/4.46 365[label="psPs (range00 EQ (not (esEsOrdering (compare1 EQ GT MyTrue) LT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];365 -> 375[label="",style="solid", color="black", weight=3]; 10.77/4.46 366[label="psPs (range00 GT (asAs (not MyTrue) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 LT LT) Nil))",fontsize=16,color="black",shape="box"];366 -> 376[label="",style="solid", color="black", weight=3]; 10.77/4.46 367[label="psPs (range00 GT (asAs (not MyTrue) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 LT EQ) Nil))",fontsize=16,color="black",shape="box"];367 -> 377[label="",style="solid", color="black", weight=3]; 10.77/4.46 368[label="psPs (range00 GT (asAs (not MyTrue) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 LT GT) Nil))",fontsize=16,color="black",shape="box"];368 -> 378[label="",style="solid", color="black", weight=3]; 10.77/4.46 369[label="psPs (range00 EQ MyTrue) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];369 -> 379[label="",style="solid", color="black", weight=3]; 10.77/4.46 370[label="foldr psPs Nil (map (range0 EQ EQ) (Cons GT Nil))",fontsize=16,color="black",shape="box"];370 -> 380[label="",style="solid", color="black", weight=3]; 10.77/4.46 371[label="foldr psPs Nil (map (range0 EQ GT) (Cons GT Nil))",fontsize=16,color="black",shape="box"];371 -> 381[label="",style="solid", color="black", weight=3]; 10.77/4.46 372[label="psPs (range00 GT (gtEsOrdering GT LT)) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];372 -> 382[label="",style="solid", color="black", weight=3]; 10.77/4.46 373[label="psPs (range00 EQ (not (esEsOrdering (compare1 EQ LT MyFalse) LT))) vx5",fontsize=16,color="black",shape="box"];373 -> 383[label="",style="solid", color="black", weight=3]; 10.77/4.46 374[label="psPs (range00 EQ MyTrue) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];374 -> 384[label="",style="solid", color="black", weight=3]; 10.77/4.46 375[label="psPs (range00 EQ (not (esEsOrdering LT LT))) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];375 -> 385[label="",style="solid", color="black", weight=3]; 10.77/4.46 376[label="psPs (range00 GT (asAs MyFalse (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 LT LT) Nil))",fontsize=16,color="black",shape="box"];376 -> 386[label="",style="solid", color="black", weight=3]; 10.77/4.46 377[label="psPs (range00 GT (asAs MyFalse (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 LT EQ) Nil))",fontsize=16,color="black",shape="box"];377 -> 387[label="",style="solid", color="black", weight=3]; 10.77/4.46 378[label="psPs (range00 GT (asAs MyFalse (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 LT GT) Nil))",fontsize=16,color="black",shape="box"];378 -> 388[label="",style="solid", color="black", weight=3]; 10.77/4.46 379[label="psPs (Cons EQ Nil) (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];379 -> 389[label="",style="solid", color="black", weight=3]; 10.77/4.46 380[label="foldr psPs Nil (Cons (range0 EQ EQ GT) (map (range0 EQ EQ) Nil))",fontsize=16,color="black",shape="box"];380 -> 390[label="",style="solid", color="black", weight=3]; 10.77/4.46 381[label="foldr psPs Nil (Cons (range0 EQ GT GT) (map (range0 EQ GT) Nil))",fontsize=16,color="black",shape="box"];381 -> 391[label="",style="solid", color="black", weight=3]; 10.77/4.46 382[label="psPs (range00 GT (fsEsOrdering (compareOrdering GT LT) LT)) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];382 -> 392[label="",style="solid", color="black", weight=3]; 10.77/4.46 383[label="psPs (range00 EQ (not (esEsOrdering (compare0 EQ LT otherwise) LT))) vx5",fontsize=16,color="black",shape="box"];383 -> 393[label="",style="solid", color="black", weight=3]; 10.77/4.46 384[label="psPs (Cons EQ Nil) (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];384 -> 394[label="",style="solid", color="black", weight=3]; 10.77/4.46 385[label="psPs (range00 EQ (not MyTrue)) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];385 -> 395[label="",style="solid", color="black", weight=3]; 10.77/4.46 386[label="psPs (range00 GT MyFalse) (foldr psPs Nil (map (range0 LT LT) Nil))",fontsize=16,color="black",shape="box"];386 -> 396[label="",style="solid", color="black", weight=3]; 10.77/4.46 387[label="psPs (range00 GT MyFalse) (foldr psPs Nil (map (range0 LT EQ) Nil))",fontsize=16,color="black",shape="box"];387 -> 397[label="",style="solid", color="black", weight=3]; 10.77/4.46 388[label="psPs (range00 GT MyFalse) (foldr psPs Nil (map (range0 LT GT) Nil))",fontsize=16,color="black",shape="box"];388 -> 398[label="",style="solid", color="black", weight=3]; 10.77/4.46 389[label="Cons EQ (psPs Nil (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil))))",fontsize=16,color="green",shape="box"];389 -> 399[label="",style="dashed", color="green", weight=3]; 10.77/4.46 390[label="psPs (range0 EQ EQ GT) (foldr psPs Nil (map (range0 EQ EQ) Nil))",fontsize=16,color="black",shape="box"];390 -> 400[label="",style="solid", color="black", weight=3]; 10.77/4.46 391[label="psPs (range0 EQ GT GT) (foldr psPs Nil (map (range0 EQ GT) Nil))",fontsize=16,color="black",shape="box"];391 -> 401[label="",style="solid", color="black", weight=3]; 10.77/4.46 392[label="psPs (range00 GT (not (esEsOrdering (compareOrdering GT LT) LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];392 -> 402[label="",style="solid", color="black", weight=3]; 10.77/4.46 393[label="psPs (range00 EQ (not (esEsOrdering (compare0 EQ LT MyTrue) LT))) vx5",fontsize=16,color="black",shape="box"];393 -> 403[label="",style="solid", color="black", weight=3]; 10.77/4.46 394[label="Cons EQ (psPs Nil (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil))))",fontsize=16,color="green",shape="box"];394 -> 404[label="",style="dashed", color="green", weight=3]; 10.77/4.46 395[label="psPs (range00 EQ MyFalse) (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];395 -> 405[label="",style="solid", color="black", weight=3]; 10.77/4.46 396[label="psPs Nil (foldr psPs Nil (map (range0 LT LT) Nil))",fontsize=16,color="black",shape="box"];396 -> 406[label="",style="solid", color="black", weight=3]; 10.77/4.46 397[label="psPs Nil (foldr psPs Nil (map (range0 LT EQ) Nil))",fontsize=16,color="black",shape="box"];397 -> 407[label="",style="solid", color="black", weight=3]; 10.77/4.46 398[label="psPs Nil (foldr psPs Nil (map (range0 LT GT) Nil))",fontsize=16,color="black",shape="box"];398 -> 408[label="",style="solid", color="black", weight=3]; 10.77/4.46 399[label="psPs Nil (foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];399 -> 409[label="",style="solid", color="black", weight=3]; 10.77/4.46 400[label="psPs (range00 GT (asAs (gtEsOrdering EQ GT) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 EQ EQ) Nil))",fontsize=16,color="black",shape="box"];400 -> 410[label="",style="solid", color="black", weight=3]; 10.77/4.46 401[label="psPs (range00 GT (asAs (gtEsOrdering EQ GT) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 EQ GT) Nil))",fontsize=16,color="black",shape="box"];401 -> 411[label="",style="solid", color="black", weight=3]; 10.77/4.46 402[label="psPs (range00 GT (not (esEsOrdering (compare3 GT LT) LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];402 -> 412[label="",style="solid", color="black", weight=3]; 10.77/4.46 403[label="psPs (range00 EQ (not (esEsOrdering GT LT))) vx5",fontsize=16,color="black",shape="box"];403 -> 413[label="",style="solid", color="black", weight=3]; 10.77/4.46 404[label="psPs Nil (foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];404 -> 414[label="",style="solid", color="black", weight=3]; 10.77/4.46 405[label="psPs Nil (foldr psPs Nil (map (range0 GT GT) (Cons GT Nil)))",fontsize=16,color="black",shape="box"];405 -> 415[label="",style="solid", color="black", weight=3]; 10.77/4.46 406[label="foldr psPs Nil (map (range0 LT LT) Nil)",fontsize=16,color="black",shape="box"];406 -> 416[label="",style="solid", color="black", weight=3]; 10.77/4.46 407[label="foldr psPs Nil (map (range0 LT EQ) Nil)",fontsize=16,color="black",shape="box"];407 -> 417[label="",style="solid", color="black", weight=3]; 10.77/4.46 408[label="foldr psPs Nil (map (range0 LT GT) Nil)",fontsize=16,color="black",shape="box"];408 -> 418[label="",style="solid", color="black", weight=3]; 10.77/4.46 409[label="foldr psPs Nil (map (range0 EQ LT) (Cons GT Nil))",fontsize=16,color="black",shape="box"];409 -> 419[label="",style="solid", color="black", weight=3]; 10.77/4.46 410[label="psPs (range00 GT (asAs (fsEsOrdering (compareOrdering EQ GT) LT) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 EQ EQ) Nil))",fontsize=16,color="black",shape="box"];410 -> 420[label="",style="solid", color="black", weight=3]; 10.77/4.46 411[label="psPs (range00 GT (asAs (fsEsOrdering (compareOrdering EQ GT) LT) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 EQ GT) Nil))",fontsize=16,color="black",shape="box"];411 -> 421[label="",style="solid", color="black", weight=3]; 10.77/4.46 412[label="psPs (range00 GT (not (esEsOrdering (compare2 GT LT (esEsOrdering GT LT)) LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];412 -> 422[label="",style="solid", color="black", weight=3]; 10.77/4.46 413[label="psPs (range00 EQ (not MyFalse)) vx5",fontsize=16,color="black",shape="box"];413 -> 423[label="",style="solid", color="black", weight=3]; 10.77/4.46 414[label="foldr psPs Nil (map (range0 GT EQ) (Cons GT Nil))",fontsize=16,color="black",shape="box"];414 -> 424[label="",style="solid", color="black", weight=3]; 10.77/4.46 415[label="foldr psPs Nil (map (range0 GT GT) (Cons GT Nil))",fontsize=16,color="black",shape="box"];415 -> 425[label="",style="solid", color="black", weight=3]; 10.77/4.46 416[label="foldr psPs Nil Nil",fontsize=16,color="black",shape="triangle"];416 -> 426[label="",style="solid", color="black", weight=3]; 10.77/4.46 417 -> 416[label="",style="dashed", color="red", weight=0]; 10.77/4.46 417[label="foldr psPs Nil Nil",fontsize=16,color="magenta"];418 -> 416[label="",style="dashed", color="red", weight=0]; 10.77/4.46 418[label="foldr psPs Nil Nil",fontsize=16,color="magenta"];419[label="foldr psPs Nil (Cons (range0 EQ LT GT) (map (range0 EQ LT) Nil))",fontsize=16,color="black",shape="box"];419 -> 427[label="",style="solid", color="black", weight=3]; 10.77/4.46 420[label="psPs (range00 GT (asAs (not (esEsOrdering (compareOrdering EQ GT) LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 EQ EQ) Nil))",fontsize=16,color="black",shape="box"];420 -> 428[label="",style="solid", color="black", weight=3]; 10.77/4.46 421[label="psPs (range00 GT (asAs (not (esEsOrdering (compareOrdering EQ GT) LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 EQ GT) Nil))",fontsize=16,color="black",shape="box"];421 -> 429[label="",style="solid", color="black", weight=3]; 10.77/4.46 422[label="psPs (range00 GT (not (esEsOrdering (compare2 GT LT MyFalse) LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];422 -> 430[label="",style="solid", color="black", weight=3]; 10.77/4.46 423[label="psPs (range00 EQ MyTrue) vx5",fontsize=16,color="black",shape="box"];423 -> 431[label="",style="solid", color="black", weight=3]; 10.77/4.47 424[label="foldr psPs Nil (Cons (range0 GT EQ GT) (map (range0 GT EQ) Nil))",fontsize=16,color="black",shape="box"];424 -> 432[label="",style="solid", color="black", weight=3]; 10.77/4.47 425[label="foldr psPs Nil (Cons (range0 GT GT GT) (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];425 -> 433[label="",style="solid", color="black", weight=3]; 10.77/4.47 426[label="Nil",fontsize=16,color="green",shape="box"];427[label="psPs (range0 EQ LT GT) (foldr psPs Nil (map (range0 EQ LT) Nil))",fontsize=16,color="black",shape="box"];427 -> 434[label="",style="solid", color="black", weight=3]; 10.77/4.47 428[label="psPs (range00 GT (asAs (not (esEsOrdering (compare3 EQ GT) LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 EQ EQ) Nil))",fontsize=16,color="black",shape="box"];428 -> 435[label="",style="solid", color="black", weight=3]; 10.77/4.47 429[label="psPs (range00 GT (asAs (not (esEsOrdering (compare3 EQ GT) LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 EQ GT) Nil))",fontsize=16,color="black",shape="box"];429 -> 436[label="",style="solid", color="black", weight=3]; 10.77/4.47 430[label="psPs (range00 GT (not (esEsOrdering (compare1 GT LT (ltEsOrdering GT LT)) LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];430 -> 437[label="",style="solid", color="black", weight=3]; 10.77/4.47 431[label="psPs (Cons EQ Nil) vx5",fontsize=16,color="black",shape="box"];431 -> 438[label="",style="solid", color="black", weight=3]; 10.77/4.47 432[label="psPs (range0 GT EQ GT) (foldr psPs Nil (map (range0 GT EQ) Nil))",fontsize=16,color="black",shape="box"];432 -> 439[label="",style="solid", color="black", weight=3]; 10.77/4.47 433[label="psPs (range0 GT GT GT) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];433 -> 440[label="",style="solid", color="black", weight=3]; 10.77/4.47 434[label="psPs (range00 GT (asAs (gtEsOrdering EQ GT) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 EQ LT) Nil))",fontsize=16,color="black",shape="box"];434 -> 441[label="",style="solid", color="black", weight=3]; 10.77/4.47 435[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 EQ GT (esEsOrdering EQ GT)) LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 EQ EQ) Nil))",fontsize=16,color="black",shape="box"];435 -> 442[label="",style="solid", color="black", weight=3]; 10.77/4.47 436[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 EQ GT (esEsOrdering EQ GT)) LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 EQ GT) Nil))",fontsize=16,color="black",shape="box"];436 -> 443[label="",style="solid", color="black", weight=3]; 10.77/4.47 437[label="psPs (range00 GT (not (esEsOrdering (compare1 GT LT MyFalse) LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];437 -> 444[label="",style="solid", color="black", weight=3]; 10.77/4.47 438[label="Cons EQ (psPs Nil vx5)",fontsize=16,color="green",shape="box"];438 -> 445[label="",style="dashed", color="green", weight=3]; 10.77/4.47 439[label="psPs (range00 GT (asAs (gtEsOrdering GT GT) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 GT EQ) Nil))",fontsize=16,color="black",shape="box"];439 -> 446[label="",style="solid", color="black", weight=3]; 10.77/4.47 440[label="psPs (range00 GT (asAs (gtEsOrdering GT GT) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];440 -> 447[label="",style="solid", color="black", weight=3]; 10.77/4.47 441[label="psPs (range00 GT (asAs (fsEsOrdering (compareOrdering EQ GT) LT) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 EQ LT) Nil))",fontsize=16,color="black",shape="box"];441 -> 448[label="",style="solid", color="black", weight=3]; 10.77/4.47 442[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 EQ GT MyFalse) LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 EQ EQ) Nil))",fontsize=16,color="black",shape="box"];442 -> 449[label="",style="solid", color="black", weight=3]; 10.77/4.47 443[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 EQ GT MyFalse) LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 EQ GT) Nil))",fontsize=16,color="black",shape="box"];443 -> 450[label="",style="solid", color="black", weight=3]; 10.77/4.47 444[label="psPs (range00 GT (not (esEsOrdering (compare0 GT LT otherwise) LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];444 -> 451[label="",style="solid", color="black", weight=3]; 10.77/4.47 445[label="psPs Nil vx5",fontsize=16,color="black",shape="triangle"];445 -> 452[label="",style="solid", color="black", weight=3]; 10.77/4.47 446[label="psPs (range00 GT (asAs (fsEsOrdering (compareOrdering GT GT) LT) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 GT EQ) Nil))",fontsize=16,color="black",shape="box"];446 -> 453[label="",style="solid", color="black", weight=3]; 10.77/4.47 447[label="psPs (range00 GT (asAs (fsEsOrdering (compareOrdering GT GT) LT) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];447 -> 454[label="",style="solid", color="black", weight=3]; 10.77/4.47 448[label="psPs (range00 GT (asAs (not (esEsOrdering (compareOrdering EQ GT) LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 EQ LT) Nil))",fontsize=16,color="black",shape="box"];448 -> 455[label="",style="solid", color="black", weight=3]; 10.77/4.47 449[label="psPs (range00 GT (asAs (not (esEsOrdering (compare1 EQ GT (ltEsOrdering EQ GT)) LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 EQ EQ) Nil))",fontsize=16,color="black",shape="box"];449 -> 456[label="",style="solid", color="black", weight=3]; 10.77/4.47 450[label="psPs (range00 GT (asAs (not (esEsOrdering (compare1 EQ GT (ltEsOrdering EQ GT)) LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 EQ GT) Nil))",fontsize=16,color="black",shape="box"];450 -> 457[label="",style="solid", color="black", weight=3]; 10.77/4.47 451[label="psPs (range00 GT (not (esEsOrdering (compare0 GT LT MyTrue) LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];451 -> 458[label="",style="solid", color="black", weight=3]; 10.77/4.47 452[label="vx5",fontsize=16,color="green",shape="box"];453[label="psPs (range00 GT (asAs (not (esEsOrdering (compareOrdering GT GT) LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 GT EQ) Nil))",fontsize=16,color="black",shape="box"];453 -> 459[label="",style="solid", color="black", weight=3]; 10.77/4.47 454[label="psPs (range00 GT (asAs (not (esEsOrdering (compareOrdering GT GT) LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];454 -> 460[label="",style="solid", color="black", weight=3]; 10.77/4.47 455[label="psPs (range00 GT (asAs (not (esEsOrdering (compare3 EQ GT) LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 EQ LT) Nil))",fontsize=16,color="black",shape="box"];455 -> 461[label="",style="solid", color="black", weight=3]; 10.77/4.47 456[label="psPs (range00 GT (asAs (not (esEsOrdering (compare1 EQ GT MyTrue) LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 EQ EQ) Nil))",fontsize=16,color="black",shape="box"];456 -> 462[label="",style="solid", color="black", weight=3]; 10.77/4.47 457[label="psPs (range00 GT (asAs (not (esEsOrdering (compare1 EQ GT MyTrue) LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 EQ GT) Nil))",fontsize=16,color="black",shape="box"];457 -> 463[label="",style="solid", color="black", weight=3]; 10.77/4.47 458[label="psPs (range00 GT (not (esEsOrdering GT LT))) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];458 -> 464[label="",style="solid", color="black", weight=3]; 10.77/4.47 459[label="psPs (range00 GT (asAs (not (esEsOrdering (compare3 GT GT) LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 GT EQ) Nil))",fontsize=16,color="black",shape="box"];459 -> 465[label="",style="solid", color="black", weight=3]; 10.77/4.47 460[label="psPs (range00 GT (asAs (not (esEsOrdering (compare3 GT GT) LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];460 -> 466[label="",style="solid", color="black", weight=3]; 10.77/4.47 461[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 EQ GT (esEsOrdering EQ GT)) LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 EQ LT) Nil))",fontsize=16,color="black",shape="box"];461 -> 467[label="",style="solid", color="black", weight=3]; 10.77/4.47 462[label="psPs (range00 GT (asAs (not (esEsOrdering LT LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 EQ EQ) Nil))",fontsize=16,color="black",shape="box"];462 -> 468[label="",style="solid", color="black", weight=3]; 10.77/4.47 463[label="psPs (range00 GT (asAs (not (esEsOrdering LT LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 EQ GT) Nil))",fontsize=16,color="black",shape="box"];463 -> 469[label="",style="solid", color="black", weight=3]; 10.77/4.47 464[label="psPs (range00 GT (not MyFalse)) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];464 -> 470[label="",style="solid", color="black", weight=3]; 10.77/4.47 465[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 GT GT (esEsOrdering GT GT)) LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 GT EQ) Nil))",fontsize=16,color="black",shape="box"];465 -> 471[label="",style="solid", color="black", weight=3]; 10.77/4.47 466[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 GT GT (esEsOrdering GT GT)) LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];466 -> 472[label="",style="solid", color="black", weight=3]; 10.77/4.47 467[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 EQ GT MyFalse) LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 EQ LT) Nil))",fontsize=16,color="black",shape="box"];467 -> 473[label="",style="solid", color="black", weight=3]; 10.77/4.47 468[label="psPs (range00 GT (asAs (not MyTrue) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 EQ EQ) Nil))",fontsize=16,color="black",shape="box"];468 -> 474[label="",style="solid", color="black", weight=3]; 10.77/4.47 469[label="psPs (range00 GT (asAs (not MyTrue) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 EQ GT) Nil))",fontsize=16,color="black",shape="box"];469 -> 475[label="",style="solid", color="black", weight=3]; 10.77/4.47 470[label="psPs (range00 GT MyTrue) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];470 -> 476[label="",style="solid", color="black", weight=3]; 10.77/4.47 471[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 GT GT MyTrue) LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 GT EQ) Nil))",fontsize=16,color="black",shape="box"];471 -> 477[label="",style="solid", color="black", weight=3]; 10.77/4.47 472[label="psPs (range00 GT (asAs (not (esEsOrdering (compare2 GT GT MyTrue) LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];472 -> 478[label="",style="solid", color="black", weight=3]; 10.77/4.47 473[label="psPs (range00 GT (asAs (not (esEsOrdering (compare1 EQ GT (ltEsOrdering EQ GT)) LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 EQ LT) Nil))",fontsize=16,color="black",shape="box"];473 -> 479[label="",style="solid", color="black", weight=3]; 10.77/4.47 474[label="psPs (range00 GT (asAs MyFalse (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 EQ EQ) Nil))",fontsize=16,color="black",shape="box"];474 -> 480[label="",style="solid", color="black", weight=3]; 10.77/4.47 475[label="psPs (range00 GT (asAs MyFalse (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 EQ GT) Nil))",fontsize=16,color="black",shape="box"];475 -> 481[label="",style="solid", color="black", weight=3]; 10.77/4.47 476[label="psPs (Cons GT Nil) (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="black",shape="box"];476 -> 482[label="",style="solid", color="black", weight=3]; 10.77/4.47 477[label="psPs (range00 GT (asAs (not (esEsOrdering EQ LT)) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 GT EQ) Nil))",fontsize=16,color="black",shape="box"];477 -> 483[label="",style="solid", color="black", weight=3]; 10.77/4.47 478[label="psPs (range00 GT (asAs (not (esEsOrdering EQ LT)) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];478 -> 484[label="",style="solid", color="black", weight=3]; 10.77/4.47 479[label="psPs (range00 GT (asAs (not (esEsOrdering (compare1 EQ GT MyTrue) LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 EQ LT) Nil))",fontsize=16,color="black",shape="box"];479 -> 485[label="",style="solid", color="black", weight=3]; 10.77/4.47 480[label="psPs (range00 GT MyFalse) (foldr psPs Nil (map (range0 EQ EQ) Nil))",fontsize=16,color="black",shape="box"];480 -> 486[label="",style="solid", color="black", weight=3]; 10.77/4.47 481[label="psPs (range00 GT MyFalse) (foldr psPs Nil (map (range0 EQ GT) Nil))",fontsize=16,color="black",shape="box"];481 -> 487[label="",style="solid", color="black", weight=3]; 10.77/4.47 482[label="Cons GT (psPs Nil (foldr psPs Nil (map (range0 GT LT) Nil)))",fontsize=16,color="green",shape="box"];482 -> 488[label="",style="dashed", color="green", weight=3]; 10.77/4.47 483[label="psPs (range00 GT (asAs (not MyFalse) (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 GT EQ) Nil))",fontsize=16,color="black",shape="box"];483 -> 489[label="",style="solid", color="black", weight=3]; 10.77/4.47 484[label="psPs (range00 GT (asAs (not MyFalse) (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];484 -> 490[label="",style="solid", color="black", weight=3]; 10.77/4.47 485[label="psPs (range00 GT (asAs (not (esEsOrdering LT LT)) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 EQ LT) Nil))",fontsize=16,color="black",shape="box"];485 -> 491[label="",style="solid", color="black", weight=3]; 10.77/4.47 486 -> 445[label="",style="dashed", color="red", weight=0]; 10.77/4.47 486[label="psPs Nil (foldr psPs Nil (map (range0 EQ EQ) Nil))",fontsize=16,color="magenta"];486 -> 492[label="",style="dashed", color="magenta", weight=3]; 10.77/4.47 487 -> 445[label="",style="dashed", color="red", weight=0]; 10.77/4.47 487[label="psPs Nil (foldr psPs Nil (map (range0 EQ GT) Nil))",fontsize=16,color="magenta"];487 -> 493[label="",style="dashed", color="magenta", weight=3]; 10.77/4.47 488 -> 445[label="",style="dashed", color="red", weight=0]; 10.77/4.47 488[label="psPs Nil (foldr psPs Nil (map (range0 GT LT) Nil))",fontsize=16,color="magenta"];488 -> 494[label="",style="dashed", color="magenta", weight=3]; 10.77/4.47 489[label="psPs (range00 GT (asAs MyTrue (gtEsOrdering GT EQ))) (foldr psPs Nil (map (range0 GT EQ) Nil))",fontsize=16,color="black",shape="box"];489 -> 495[label="",style="solid", color="black", weight=3]; 10.77/4.47 490[label="psPs (range00 GT (asAs MyTrue (gtEsOrdering GT GT))) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];490 -> 496[label="",style="solid", color="black", weight=3]; 10.77/4.47 491[label="psPs (range00 GT (asAs (not MyTrue) (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 EQ LT) Nil))",fontsize=16,color="black",shape="box"];491 -> 497[label="",style="solid", color="black", weight=3]; 10.77/4.47 492[label="foldr psPs Nil (map (range0 EQ EQ) Nil)",fontsize=16,color="black",shape="box"];492 -> 498[label="",style="solid", color="black", weight=3]; 10.77/4.47 493[label="foldr psPs Nil (map (range0 EQ GT) Nil)",fontsize=16,color="black",shape="box"];493 -> 499[label="",style="solid", color="black", weight=3]; 10.77/4.47 494[label="foldr psPs Nil (map (range0 GT LT) Nil)",fontsize=16,color="black",shape="box"];494 -> 500[label="",style="solid", color="black", weight=3]; 10.77/4.47 495[label="psPs (range00 GT (gtEsOrdering GT EQ)) (foldr psPs Nil (map (range0 GT EQ) Nil))",fontsize=16,color="black",shape="box"];495 -> 501[label="",style="solid", color="black", weight=3]; 10.77/4.47 496[label="psPs (range00 GT (gtEsOrdering GT GT)) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];496 -> 502[label="",style="solid", color="black", weight=3]; 10.77/4.47 497[label="psPs (range00 GT (asAs MyFalse (gtEsOrdering GT LT))) (foldr psPs Nil (map (range0 EQ LT) Nil))",fontsize=16,color="black",shape="box"];497 -> 503[label="",style="solid", color="black", weight=3]; 10.77/4.47 498 -> 416[label="",style="dashed", color="red", weight=0]; 10.77/4.47 498[label="foldr psPs Nil Nil",fontsize=16,color="magenta"];499 -> 416[label="",style="dashed", color="red", weight=0]; 10.77/4.47 499[label="foldr psPs Nil Nil",fontsize=16,color="magenta"];500 -> 416[label="",style="dashed", color="red", weight=0]; 10.77/4.47 500[label="foldr psPs Nil Nil",fontsize=16,color="magenta"];501[label="psPs (range00 GT (fsEsOrdering (compareOrdering GT EQ) LT)) (foldr psPs Nil (map (range0 GT EQ) Nil))",fontsize=16,color="black",shape="box"];501 -> 504[label="",style="solid", color="black", weight=3]; 10.77/4.47 502[label="psPs (range00 GT (fsEsOrdering (compareOrdering GT GT) LT)) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];502 -> 505[label="",style="solid", color="black", weight=3]; 10.77/4.47 503[label="psPs (range00 GT MyFalse) (foldr psPs Nil (map (range0 EQ LT) Nil))",fontsize=16,color="black",shape="box"];503 -> 506[label="",style="solid", color="black", weight=3]; 10.77/4.47 504 -> 507[label="",style="dashed", color="red", weight=0]; 10.77/4.47 504[label="psPs (range00 GT (not (esEsOrdering (compareOrdering GT EQ) LT))) (foldr psPs Nil (map (range0 GT EQ) Nil))",fontsize=16,color="magenta"];504 -> 508[label="",style="dashed", color="magenta", weight=3]; 10.77/4.47 505[label="psPs (range00 GT (not (esEsOrdering (compareOrdering GT GT) LT))) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];505 -> 509[label="",style="solid", color="black", weight=3]; 10.77/4.47 506 -> 445[label="",style="dashed", color="red", weight=0]; 10.77/4.47 506[label="psPs Nil (foldr psPs Nil (map (range0 EQ LT) Nil))",fontsize=16,color="magenta"];506 -> 510[label="",style="dashed", color="magenta", weight=3]; 10.77/4.47 508[label="foldr psPs Nil (map (range0 GT EQ) Nil)",fontsize=16,color="black",shape="box"];508 -> 511[label="",style="solid", color="black", weight=3]; 10.77/4.47 507[label="psPs (range00 GT (not (esEsOrdering (compareOrdering GT EQ) LT))) vx7",fontsize=16,color="black",shape="triangle"];507 -> 512[label="",style="solid", color="black", weight=3]; 10.77/4.47 509[label="psPs (range00 GT (not (esEsOrdering (compare3 GT GT) LT))) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];509 -> 513[label="",style="solid", color="black", weight=3]; 10.77/4.47 510[label="foldr psPs Nil (map (range0 EQ LT) Nil)",fontsize=16,color="black",shape="box"];510 -> 514[label="",style="solid", color="black", weight=3]; 10.77/4.47 511 -> 416[label="",style="dashed", color="red", weight=0]; 10.77/4.47 511[label="foldr psPs Nil Nil",fontsize=16,color="magenta"];512[label="psPs (range00 GT (not (esEsOrdering (compare3 GT EQ) LT))) vx7",fontsize=16,color="black",shape="box"];512 -> 515[label="",style="solid", color="black", weight=3]; 10.77/4.47 513[label="psPs (range00 GT (not (esEsOrdering (compare2 GT GT (esEsOrdering GT GT)) LT))) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];513 -> 516[label="",style="solid", color="black", weight=3]; 10.77/4.47 514 -> 416[label="",style="dashed", color="red", weight=0]; 10.77/4.47 514[label="foldr psPs Nil Nil",fontsize=16,color="magenta"];515[label="psPs (range00 GT (not (esEsOrdering (compare2 GT EQ (esEsOrdering GT EQ)) LT))) vx7",fontsize=16,color="black",shape="box"];515 -> 517[label="",style="solid", color="black", weight=3]; 10.77/4.47 516[label="psPs (range00 GT (not (esEsOrdering (compare2 GT GT MyTrue) LT))) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];516 -> 518[label="",style="solid", color="black", weight=3]; 10.77/4.47 517[label="psPs (range00 GT (not (esEsOrdering (compare2 GT EQ MyFalse) LT))) vx7",fontsize=16,color="black",shape="box"];517 -> 519[label="",style="solid", color="black", weight=3]; 10.77/4.47 518[label="psPs (range00 GT (not (esEsOrdering EQ LT))) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];518 -> 520[label="",style="solid", color="black", weight=3]; 10.77/4.47 519[label="psPs (range00 GT (not (esEsOrdering (compare1 GT EQ (ltEsOrdering GT EQ)) LT))) vx7",fontsize=16,color="black",shape="box"];519 -> 521[label="",style="solid", color="black", weight=3]; 10.77/4.47 520[label="psPs (range00 GT (not MyFalse)) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];520 -> 522[label="",style="solid", color="black", weight=3]; 10.77/4.47 521[label="psPs (range00 GT (not (esEsOrdering (compare1 GT EQ MyFalse) LT))) vx7",fontsize=16,color="black",shape="box"];521 -> 523[label="",style="solid", color="black", weight=3]; 10.77/4.47 522[label="psPs (range00 GT MyTrue) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];522 -> 524[label="",style="solid", color="black", weight=3]; 10.77/4.47 523[label="psPs (range00 GT (not (esEsOrdering (compare0 GT EQ otherwise) LT))) vx7",fontsize=16,color="black",shape="box"];523 -> 525[label="",style="solid", color="black", weight=3]; 10.77/4.47 524[label="psPs (Cons GT Nil) (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="black",shape="box"];524 -> 526[label="",style="solid", color="black", weight=3]; 10.77/4.47 525[label="psPs (range00 GT (not (esEsOrdering (compare0 GT EQ MyTrue) LT))) vx7",fontsize=16,color="black",shape="box"];525 -> 527[label="",style="solid", color="black", weight=3]; 10.77/4.47 526[label="Cons GT (psPs Nil (foldr psPs Nil (map (range0 GT GT) Nil)))",fontsize=16,color="green",shape="box"];526 -> 528[label="",style="dashed", color="green", weight=3]; 10.77/4.47 527[label="psPs (range00 GT (not (esEsOrdering GT LT))) vx7",fontsize=16,color="black",shape="box"];527 -> 529[label="",style="solid", color="black", weight=3]; 10.77/4.47 528 -> 445[label="",style="dashed", color="red", weight=0]; 10.77/4.47 528[label="psPs Nil (foldr psPs Nil (map (range0 GT GT) Nil))",fontsize=16,color="magenta"];528 -> 530[label="",style="dashed", color="magenta", weight=3]; 10.77/4.47 529[label="psPs (range00 GT (not MyFalse)) vx7",fontsize=16,color="black",shape="box"];529 -> 531[label="",style="solid", color="black", weight=3]; 10.77/4.47 530[label="foldr psPs Nil (map (range0 GT GT) Nil)",fontsize=16,color="black",shape="box"];530 -> 532[label="",style="solid", color="black", weight=3]; 10.77/4.47 531[label="psPs (range00 GT MyTrue) vx7",fontsize=16,color="black",shape="box"];531 -> 533[label="",style="solid", color="black", weight=3]; 10.77/4.47 532 -> 416[label="",style="dashed", color="red", weight=0]; 10.77/4.47 532[label="foldr psPs Nil Nil",fontsize=16,color="magenta"];533[label="psPs (Cons GT Nil) vx7",fontsize=16,color="black",shape="box"];533 -> 534[label="",style="solid", color="black", weight=3]; 10.77/4.47 534[label="Cons GT (psPs Nil vx7)",fontsize=16,color="green",shape="box"];534 -> 535[label="",style="dashed", color="green", weight=3]; 10.77/4.47 535 -> 445[label="",style="dashed", color="red", weight=0]; 10.77/4.47 535[label="psPs Nil vx7",fontsize=16,color="magenta"];535 -> 536[label="",style="dashed", color="magenta", weight=3]; 10.77/4.47 536[label="vx7",fontsize=16,color="green",shape="box"];} 10.77/4.47 10.77/4.47 ---------------------------------------- 10.77/4.47 10.77/4.47 (6) 10.77/4.47 YES 10.77/4.51 EOF