/export/starexec/sandbox/solver/bin/starexec_run_standard /export/starexec/sandbox/benchmark/theBenchmark.hs /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES proof of /export/starexec/sandbox/benchmark/theBenchmark.hs # AProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty H-Termination with start terms of the given HASKELL could be proven: (0) HASKELL (1) LR [EQUIVALENT, 0 ms] (2) HASKELL (3) CR [EQUIVALENT, 0 ms] (4) HASKELL (5) IFR [EQUIVALENT, 0 ms] (6) HASKELL (7) BR [EQUIVALENT, 0 ms] (8) HASKELL (9) COR [EQUIVALENT, 3 ms] (10) HASKELL (11) NumRed [SOUND, 0 ms] (12) HASKELL (13) Narrow [SOUND, 0 ms] (14) AND (15) QDP (16) QDPSizeChangeProof [EQUIVALENT, 0 ms] (17) YES (18) QDP (19) QDPSizeChangeProof [EQUIVALENT, 22 ms] (20) YES (21) QDP (22) QDPSizeChangeProof [EQUIVALENT, 0 ms] (23) YES (24) QDP (25) QDPSizeChangeProof [EQUIVALENT, 0 ms] (26) YES (27) QDP (28) QDPSizeChangeProof [EQUIVALENT, 0 ms] (29) YES (30) QDP (31) QDPSizeChangeProof [EQUIVALENT, 0 ms] (32) YES ---------------------------------------- (0) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; listToMaybe :: [a] -> Maybe a; listToMaybe [] = Nothing; listToMaybe (a : _) = Just a; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndex :: Eq a => a -> [a] -> Maybe Int; elemIndex x = findIndex (== x); findIndex :: (a -> Bool) -> [a] -> Maybe Int; findIndex p = Maybe.listToMaybe . findIndices p; findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (\vv1 ->case vv1 of { (x,i)-> if p x then i : [] else []; _-> []; } ) (zip xs (enumFrom 0)); } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (1) LR (EQUIVALENT) Lambda Reductions: The following Lambda expression "\ab->(a,b)" is transformed to "zip0 a b = (a,b); " The following Lambda expression "\vv1->case vv1 of { (x,i) -> if p x then i : [] else []; _ -> []} " is transformed to "findIndices0 p vv1 = case vv1 of { (x,i) -> if p x then i : [] else []; _ -> []} ; " ---------------------------------------- (2) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; listToMaybe :: [a] -> Maybe a; listToMaybe [] = Nothing; listToMaybe (a : _) = Just a; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndex :: Eq a => a -> [a] -> Maybe Int; elemIndex x = findIndex (== x); findIndex :: (a -> Bool) -> [a] -> Maybe Int; findIndex p = Maybe.listToMaybe . findIndices p; findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0)); findIndices0 p vv1 = case vv1 of { (x,i)-> if p x then i : [] else []; _-> []; } ; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (3) CR (EQUIVALENT) Case Reductions: The following Case expression "case vv1 of { (x,i) -> if p x then i : [] else []; _ -> []} " is transformed to "findIndices00 p (x,i) = if p x then i : [] else []; findIndices00 p _ = []; " ---------------------------------------- (4) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; listToMaybe :: [a] -> Maybe a; listToMaybe [] = Nothing; listToMaybe (a : _) = Just a; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndex :: Eq a => a -> [a] -> Maybe Int; elemIndex x = findIndex (== x); findIndex :: (a -> Bool) -> [a] -> Maybe Int; findIndex p = Maybe.listToMaybe . findIndices p; findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0)); findIndices0 p vv1 = findIndices00 p vv1; findIndices00 p (x,i) = if p x then i : [] else []; findIndices00 p _ = []; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (5) IFR (EQUIVALENT) If Reductions: The following If expression "if p x then i : [] else []" is transformed to "findIndices000 i True = i : []; findIndices000 i False = []; " ---------------------------------------- (6) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; listToMaybe :: [a] -> Maybe a; listToMaybe [] = Nothing; listToMaybe (a : _) = Just a; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndex :: Eq a => a -> [a] -> Maybe Int; elemIndex x = findIndex (== x); findIndex :: (a -> Bool) -> [a] -> Maybe Int; findIndex p = Maybe.listToMaybe . findIndices p; findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0)); findIndices0 p vv1 = findIndices00 p vv1; findIndices00 p (x,i) = findIndices000 i (p x); findIndices00 p _ = []; findIndices000 i True = i : []; findIndices000 i False = []; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (7) BR (EQUIVALENT) Replaced joker patterns by fresh variables and removed binding patterns. ---------------------------------------- (8) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; listToMaybe :: [a] -> Maybe a; listToMaybe [] = Nothing; listToMaybe (a : xz) = Just a; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndex :: Eq a => a -> [a] -> Maybe Int; elemIndex x = findIndex (== x); findIndex :: (a -> Bool) -> [a] -> Maybe Int; findIndex p = Maybe.listToMaybe . findIndices p; findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0)); findIndices0 p vv1 = findIndices00 p vv1; findIndices00 p (x,i) = findIndices000 i (p x); findIndices00 p yu = []; findIndices000 i True = i : []; findIndices000 i False = []; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (9) COR (EQUIVALENT) Cond Reductions: The following Function with conditions "undefined |Falseundefined; " is transformed to "undefined = undefined1; " "undefined0 True = undefined; " "undefined1 = undefined0 False; " ---------------------------------------- (10) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; listToMaybe :: [a] -> Maybe a; listToMaybe [] = Nothing; listToMaybe (a : xz) = Just a; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndex :: Eq a => a -> [a] -> Maybe Int; elemIndex x = findIndex (== x); findIndex :: (a -> Bool) -> [a] -> Maybe Int; findIndex p = Maybe.listToMaybe . findIndices p; findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0)); findIndices0 p vv1 = findIndices00 p vv1; findIndices00 p (x,i) = findIndices000 i (p x); findIndices00 p yu = []; findIndices000 i True = i : []; findIndices000 i False = []; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (11) NumRed (SOUND) Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero. ---------------------------------------- (12) Obligation: mainModule Main module Maybe where { import qualified List; import qualified Main; import qualified Prelude; listToMaybe :: [a] -> Maybe a; listToMaybe [] = Nothing; listToMaybe (a : xz) = Just a; } module List where { import qualified Main; import qualified Maybe; import qualified Prelude; elemIndex :: Eq a => a -> [a] -> Maybe Int; elemIndex x = findIndex (== x); findIndex :: (a -> Bool) -> [a] -> Maybe Int; findIndex p = Maybe.listToMaybe . findIndices p; findIndices :: (a -> Bool) -> [a] -> [Int]; findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom (Pos Zero))); findIndices0 p vv1 = findIndices00 p vv1; findIndices00 p (x,i) = findIndices000 i (p x); findIndices00 p yu = []; findIndices000 i True = i : []; findIndices000 i False = []; } module Main where { import qualified List; import qualified Maybe; import qualified Prelude; } ---------------------------------------- (13) Narrow (SOUND) Haskell To QDPs digraph dp_graph { node [outthreshold=100, inthreshold=100];1[label="List.elemIndex",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3]; 3[label="List.elemIndex yv3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3]; 4[label="List.elemIndex yv3 yv4",fontsize=16,color="black",shape="triangle"];4 -> 5[label="",style="solid", color="black", weight=3]; 5[label="List.findIndex (yv3 ==) yv4",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3]; 6[label="Maybe.listToMaybe . List.findIndices (yv3 ==)",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3]; 7[label="Maybe.listToMaybe (List.findIndices (yv3 ==) yv4)",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3]; 8[label="Maybe.listToMaybe (concatMap (List.findIndices0 (yv3 ==)) (zip yv4 (enumFrom (Pos Zero))))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3]; 9[label="Maybe.listToMaybe (concat . map (List.findIndices0 (yv3 ==)))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3]; 10[label="Maybe.listToMaybe (concat (map (List.findIndices0 (yv3 ==)) (zip yv4 (enumFrom (Pos Zero)))))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3]; 11[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zip yv4 (enumFrom (Pos Zero)))))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3]; 12[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zipWith zip0 yv4 (enumFrom (Pos Zero)))))",fontsize=16,color="burlywood",shape="box"];2056[label="yv4/yv40 : yv41",fontsize=10,color="white",style="solid",shape="box"];12 -> 2056[label="",style="solid", color="burlywood", weight=9]; 2056 -> 13[label="",style="solid", color="burlywood", weight=3]; 2057[label="yv4/[]",fontsize=10,color="white",style="solid",shape="box"];12 -> 2057[label="",style="solid", color="burlywood", weight=9]; 2057 -> 14[label="",style="solid", color="burlywood", weight=3]; 13[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zipWith zip0 (yv40 : yv41) (enumFrom (Pos Zero)))))",fontsize=16,color="black",shape="box"];13 -> 15[label="",style="solid", color="black", weight=3]; 14[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zipWith zip0 [] (enumFrom (Pos Zero)))))",fontsize=16,color="black",shape="box"];14 -> 16[label="",style="solid", color="black", weight=3]; 15[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zipWith zip0 (yv40 : yv41) (numericEnumFrom (Pos Zero)))))",fontsize=16,color="black",shape="box"];15 -> 17[label="",style="solid", color="black", weight=3]; 16[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) []))",fontsize=16,color="black",shape="triangle"];16 -> 18[label="",style="solid", color="black", weight=3]; 17[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zipWith zip0 (yv40 : yv41) (Pos Zero : (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];17 -> 19[label="",style="solid", color="black", weight=3]; 18[label="Maybe.listToMaybe (foldr (++) [] [])",fontsize=16,color="black",shape="box"];18 -> 20[label="",style="solid", color="black", weight=3]; 19[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zip0 yv40 (Pos Zero) : zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];19 -> 21[label="",style="solid", color="black", weight=3]; 20[label="Maybe.listToMaybe []",fontsize=16,color="black",shape="box"];20 -> 22[label="",style="solid", color="black", weight=3]; 21[label="Maybe.listToMaybe (foldr (++) [] (List.findIndices0 (yv3 ==) (zip0 yv40 (Pos Zero)) : map (List.findIndices0 (yv3 ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];21 -> 23[label="",style="solid", color="black", weight=3]; 22[label="Nothing",fontsize=16,color="green",shape="box"];23[label="Maybe.listToMaybe ((++) List.findIndices0 (yv3 ==) (zip0 yv40 (Pos Zero)) foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];23 -> 24[label="",style="solid", color="black", weight=3]; 24[label="Maybe.listToMaybe ((++) List.findIndices00 (yv3 ==) (zip0 yv40 (Pos Zero)) foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];24 -> 25[label="",style="solid", color="black", weight=3]; 25[label="Maybe.listToMaybe ((++) List.findIndices00 (yv3 ==) (yv40,Pos Zero) foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];25 -> 26[label="",style="solid", color="black", weight=3]; 26[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) (yv3 == yv40) foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="box"];2058[label="yv3/yv30 : yv31",fontsize=10,color="white",style="solid",shape="box"];26 -> 2058[label="",style="solid", color="burlywood", weight=9]; 2058 -> 27[label="",style="solid", color="burlywood", weight=3]; 2059[label="yv3/[]",fontsize=10,color="white",style="solid",shape="box"];26 -> 2059[label="",style="solid", color="burlywood", weight=9]; 2059 -> 28[label="",style="solid", color="burlywood", weight=3]; 27[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) (yv30 : yv31 == yv40) foldr (++) [] (map (List.findIndices0 (yv30 : yv31 ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="box"];2060[label="yv40/yv400 : yv401",fontsize=10,color="white",style="solid",shape="box"];27 -> 2060[label="",style="solid", color="burlywood", weight=9]; 2060 -> 29[label="",style="solid", color="burlywood", weight=3]; 2061[label="yv40/[]",fontsize=10,color="white",style="solid",shape="box"];27 -> 2061[label="",style="solid", color="burlywood", weight=9]; 2061 -> 30[label="",style="solid", color="burlywood", weight=3]; 28[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) ([] == yv40) foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="box"];2062[label="yv40/yv400 : yv401",fontsize=10,color="white",style="solid",shape="box"];28 -> 2062[label="",style="solid", color="burlywood", weight=9]; 2062 -> 31[label="",style="solid", color="burlywood", weight=3]; 2063[label="yv40/[]",fontsize=10,color="white",style="solid",shape="box"];28 -> 2063[label="",style="solid", color="burlywood", weight=9]; 2063 -> 32[label="",style="solid", color="burlywood", weight=3]; 29[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) (yv30 : yv31 == yv400 : yv401) foldr (++) [] (map (List.findIndices0 (yv30 : yv31 ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];29 -> 33[label="",style="solid", color="black", weight=3]; 30[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) (yv30 : yv31 == []) foldr (++) [] (map (List.findIndices0 (yv30 : yv31 ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];30 -> 34[label="",style="solid", color="black", weight=3]; 31[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) ([] == yv400 : yv401) foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];31 -> 35[label="",style="solid", color="black", weight=3]; 32[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) ([] == []) foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];32 -> 36[label="",style="solid", color="black", weight=3]; 33 -> 1123[label="",style="dashed", color="red", weight=0]; 33[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) (yv30 == yv400 && yv31 == yv401) foldr (++) [] (map (List.findIndices0 (yv30 : yv31 ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];33 -> 1124[label="",style="dashed", color="magenta", weight=3]; 33 -> 1125[label="",style="dashed", color="magenta", weight=3]; 33 -> 1126[label="",style="dashed", color="magenta", weight=3]; 33 -> 1127[label="",style="dashed", color="magenta", weight=3]; 33 -> 1128[label="",style="dashed", color="magenta", weight=3]; 34 -> 1123[label="",style="dashed", color="red", weight=0]; 34[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) False foldr (++) [] (map (List.findIndices0 (yv30 : yv31 ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];34 -> 1129[label="",style="dashed", color="magenta", weight=3]; 34 -> 1130[label="",style="dashed", color="magenta", weight=3]; 34 -> 1131[label="",style="dashed", color="magenta", weight=3]; 34 -> 1132[label="",style="dashed", color="magenta", weight=3]; 34 -> 1133[label="",style="dashed", color="magenta", weight=3]; 35 -> 1110[label="",style="dashed", color="red", weight=0]; 35[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) False foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];35 -> 1111[label="",style="dashed", color="magenta", weight=3]; 35 -> 1112[label="",style="dashed", color="magenta", weight=3]; 35 -> 1113[label="",style="dashed", color="magenta", weight=3]; 36 -> 1110[label="",style="dashed", color="red", weight=0]; 36[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) True foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];36 -> 1114[label="",style="dashed", color="magenta", weight=3]; 36 -> 1115[label="",style="dashed", color="magenta", weight=3]; 36 -> 1116[label="",style="dashed", color="magenta", weight=3]; 1124[label="yv31",fontsize=16,color="green",shape="box"];1125[label="Zero",fontsize=16,color="green",shape="box"];1126[label="yv30",fontsize=16,color="green",shape="box"];1127 -> 1378[label="",style="dashed", color="red", weight=0]; 1127[label="yv30 == yv400 && yv31 == yv401",fontsize=16,color="magenta"];1127 -> 1379[label="",style="dashed", color="magenta", weight=3]; 1127 -> 1380[label="",style="dashed", color="magenta", weight=3]; 1128[label="yv41",fontsize=16,color="green",shape="box"];1123[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv37) yv40 foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 yv1511 (numericEnumFrom $! Pos yv37 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="triangle"];2064[label="yv40/False",fontsize=10,color="white",style="solid",shape="box"];1123 -> 2064[label="",style="solid", color="burlywood", weight=9]; 2064 -> 1142[label="",style="solid", color="burlywood", weight=3]; 2065[label="yv40/True",fontsize=10,color="white",style="solid",shape="box"];1123 -> 2065[label="",style="solid", color="burlywood", weight=9]; 2065 -> 1143[label="",style="solid", color="burlywood", weight=3]; 1129[label="yv31",fontsize=16,color="green",shape="box"];1130[label="Zero",fontsize=16,color="green",shape="box"];1131[label="yv30",fontsize=16,color="green",shape="box"];1132[label="False",fontsize=16,color="green",shape="box"];1133[label="yv41",fontsize=16,color="green",shape="box"];1111[label="Zero",fontsize=16,color="green",shape="box"];1112[label="False",fontsize=16,color="green",shape="box"];1113[label="yv41",fontsize=16,color="green",shape="box"];1110[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv35) yv39 foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 yv4111 (numericEnumFrom $! Pos yv35 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="triangle"];2066[label="yv39/False",fontsize=10,color="white",style="solid",shape="box"];1110 -> 2066[label="",style="solid", color="burlywood", weight=9]; 2066 -> 1118[label="",style="solid", color="burlywood", weight=3]; 2067[label="yv39/True",fontsize=10,color="white",style="solid",shape="box"];1110 -> 2067[label="",style="solid", color="burlywood", weight=9]; 2067 -> 1119[label="",style="solid", color="burlywood", weight=3]; 1114[label="Zero",fontsize=16,color="green",shape="box"];1115[label="True",fontsize=16,color="green",shape="box"];1116[label="yv41",fontsize=16,color="green",shape="box"];1379[label="yv31 == yv401",fontsize=16,color="burlywood",shape="triangle"];2068[label="yv31/yv310 : yv311",fontsize=10,color="white",style="solid",shape="box"];1379 -> 2068[label="",style="solid", color="burlywood", weight=9]; 2068 -> 1383[label="",style="solid", color="burlywood", weight=3]; 2069[label="yv31/[]",fontsize=10,color="white",style="solid",shape="box"];1379 -> 2069[label="",style="solid", color="burlywood", weight=9]; 2069 -> 1384[label="",style="solid", color="burlywood", weight=3]; 1380[label="yv30 == yv400",fontsize=16,color="blue",shape="box"];2070[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1380 -> 2070[label="",style="solid", color="blue", weight=9]; 2070 -> 1385[label="",style="solid", color="blue", weight=3]; 2071[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1380 -> 2071[label="",style="solid", color="blue", weight=9]; 2071 -> 1386[label="",style="solid", color="blue", weight=3]; 2072[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1380 -> 2072[label="",style="solid", color="blue", weight=9]; 2072 -> 1387[label="",style="solid", color="blue", weight=3]; 2073[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1380 -> 2073[label="",style="solid", color="blue", weight=9]; 2073 -> 1388[label="",style="solid", color="blue", weight=3]; 2074[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1380 -> 2074[label="",style="solid", color="blue", weight=9]; 2074 -> 1389[label="",style="solid", color="blue", weight=3]; 2075[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1380 -> 2075[label="",style="solid", color="blue", weight=9]; 2075 -> 1390[label="",style="solid", color="blue", weight=3]; 2076[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1380 -> 2076[label="",style="solid", color="blue", weight=9]; 2076 -> 1391[label="",style="solid", color="blue", weight=3]; 2077[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1380 -> 2077[label="",style="solid", color="blue", weight=9]; 2077 -> 1392[label="",style="solid", color="blue", weight=3]; 2078[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1380 -> 2078[label="",style="solid", color="blue", weight=9]; 2078 -> 1393[label="",style="solid", color="blue", weight=3]; 2079[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1380 -> 2079[label="",style="solid", color="blue", weight=9]; 2079 -> 1394[label="",style="solid", color="blue", weight=3]; 2080[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1380 -> 2080[label="",style="solid", color="blue", weight=9]; 2080 -> 1395[label="",style="solid", color="blue", weight=3]; 2081[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1380 -> 2081[label="",style="solid", color="blue", weight=9]; 2081 -> 1396[label="",style="solid", color="blue", weight=3]; 2082[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1380 -> 2082[label="",style="solid", color="blue", weight=9]; 2082 -> 1397[label="",style="solid", color="blue", weight=3]; 2083[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1380 -> 2083[label="",style="solid", color="blue", weight=9]; 2083 -> 1398[label="",style="solid", color="blue", weight=3]; 1378[label="yv52 && yv53",fontsize=16,color="burlywood",shape="triangle"];2084[label="yv52/False",fontsize=10,color="white",style="solid",shape="box"];1378 -> 2084[label="",style="solid", color="burlywood", weight=9]; 2084 -> 1399[label="",style="solid", color="burlywood", weight=3]; 2085[label="yv52/True",fontsize=10,color="white",style="solid",shape="box"];1378 -> 2085[label="",style="solid", color="burlywood", weight=9]; 2085 -> 1400[label="",style="solid", color="burlywood", weight=3]; 1142[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv37) False foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 yv1511 (numericEnumFrom $! Pos yv37 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1142 -> 1162[label="",style="solid", color="black", weight=3]; 1143[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv37) True foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 yv1511 (numericEnumFrom $! Pos yv37 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1143 -> 1163[label="",style="solid", color="black", weight=3]; 1118[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv35) False foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 yv4111 (numericEnumFrom $! Pos yv35 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1118 -> 1121[label="",style="solid", color="black", weight=3]; 1119[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv35) True foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 yv4111 (numericEnumFrom $! Pos yv35 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1119 -> 1122[label="",style="solid", color="black", weight=3]; 1383[label="yv310 : yv311 == yv401",fontsize=16,color="burlywood",shape="box"];2086[label="yv401/yv4010 : yv4011",fontsize=10,color="white",style="solid",shape="box"];1383 -> 2086[label="",style="solid", color="burlywood", weight=9]; 2086 -> 1404[label="",style="solid", color="burlywood", weight=3]; 2087[label="yv401/[]",fontsize=10,color="white",style="solid",shape="box"];1383 -> 2087[label="",style="solid", color="burlywood", weight=9]; 2087 -> 1405[label="",style="solid", color="burlywood", weight=3]; 1384[label="[] == yv401",fontsize=16,color="burlywood",shape="box"];2088[label="yv401/yv4010 : yv4011",fontsize=10,color="white",style="solid",shape="box"];1384 -> 2088[label="",style="solid", color="burlywood", weight=9]; 2088 -> 1406[label="",style="solid", color="burlywood", weight=3]; 2089[label="yv401/[]",fontsize=10,color="white",style="solid",shape="box"];1384 -> 2089[label="",style="solid", color="burlywood", weight=9]; 2089 -> 1407[label="",style="solid", color="burlywood", weight=3]; 1385[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];2090[label="yv30/Nothing",fontsize=10,color="white",style="solid",shape="box"];1385 -> 2090[label="",style="solid", color="burlywood", weight=9]; 2090 -> 1408[label="",style="solid", color="burlywood", weight=3]; 2091[label="yv30/Just yv300",fontsize=10,color="white",style="solid",shape="box"];1385 -> 2091[label="",style="solid", color="burlywood", weight=9]; 2091 -> 1409[label="",style="solid", color="burlywood", weight=3]; 1386[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];2092[label="yv30/()",fontsize=10,color="white",style="solid",shape="box"];1386 -> 2092[label="",style="solid", color="burlywood", weight=9]; 2092 -> 1410[label="",style="solid", color="burlywood", weight=3]; 1387[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];2093[label="yv30/yv300 :% yv301",fontsize=10,color="white",style="solid",shape="box"];1387 -> 2093[label="",style="solid", color="burlywood", weight=9]; 2093 -> 1411[label="",style="solid", color="burlywood", weight=3]; 1388 -> 1379[label="",style="dashed", color="red", weight=0]; 1388[label="yv30 == yv400",fontsize=16,color="magenta"];1388 -> 1412[label="",style="dashed", color="magenta", weight=3]; 1388 -> 1413[label="",style="dashed", color="magenta", weight=3]; 1389[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];2094[label="yv30/Left yv300",fontsize=10,color="white",style="solid",shape="box"];1389 -> 2094[label="",style="solid", color="burlywood", weight=9]; 2094 -> 1414[label="",style="solid", color="burlywood", weight=3]; 2095[label="yv30/Right yv300",fontsize=10,color="white",style="solid",shape="box"];1389 -> 2095[label="",style="solid", color="burlywood", weight=9]; 2095 -> 1415[label="",style="solid", color="burlywood", weight=3]; 1390[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];2096[label="yv30/(yv300,yv301,yv302)",fontsize=10,color="white",style="solid",shape="box"];1390 -> 2096[label="",style="solid", color="burlywood", weight=9]; 2096 -> 1416[label="",style="solid", color="burlywood", weight=3]; 1391[label="yv30 == yv400",fontsize=16,color="black",shape="triangle"];1391 -> 1417[label="",style="solid", color="black", weight=3]; 1392[label="yv30 == yv400",fontsize=16,color="black",shape="triangle"];1392 -> 1418[label="",style="solid", color="black", weight=3]; 1393[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];2097[label="yv30/(yv300,yv301)",fontsize=10,color="white",style="solid",shape="box"];1393 -> 2097[label="",style="solid", color="burlywood", weight=9]; 2097 -> 1419[label="",style="solid", color="burlywood", weight=3]; 1394[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];2098[label="yv30/Integer yv300",fontsize=10,color="white",style="solid",shape="box"];1394 -> 2098[label="",style="solid", color="burlywood", weight=9]; 2098 -> 1420[label="",style="solid", color="burlywood", weight=3]; 1395[label="yv30 == yv400",fontsize=16,color="black",shape="triangle"];1395 -> 1421[label="",style="solid", color="black", weight=3]; 1396[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];2099[label="yv30/False",fontsize=10,color="white",style="solid",shape="box"];1396 -> 2099[label="",style="solid", color="burlywood", weight=9]; 2099 -> 1422[label="",style="solid", color="burlywood", weight=3]; 2100[label="yv30/True",fontsize=10,color="white",style="solid",shape="box"];1396 -> 2100[label="",style="solid", color="burlywood", weight=9]; 2100 -> 1423[label="",style="solid", color="burlywood", weight=3]; 1397[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];2101[label="yv30/LT",fontsize=10,color="white",style="solid",shape="box"];1397 -> 2101[label="",style="solid", color="burlywood", weight=9]; 2101 -> 1424[label="",style="solid", color="burlywood", weight=3]; 2102[label="yv30/EQ",fontsize=10,color="white",style="solid",shape="box"];1397 -> 2102[label="",style="solid", color="burlywood", weight=9]; 2102 -> 1425[label="",style="solid", color="burlywood", weight=3]; 2103[label="yv30/GT",fontsize=10,color="white",style="solid",shape="box"];1397 -> 2103[label="",style="solid", color="burlywood", weight=9]; 2103 -> 1426[label="",style="solid", color="burlywood", weight=3]; 1398[label="yv30 == yv400",fontsize=16,color="black",shape="triangle"];1398 -> 1427[label="",style="solid", color="black", weight=3]; 1399[label="False && yv53",fontsize=16,color="black",shape="box"];1399 -> 1428[label="",style="solid", color="black", weight=3]; 1400[label="True && yv53",fontsize=16,color="black",shape="box"];1400 -> 1429[label="",style="solid", color="black", weight=3]; 1162[label="Maybe.listToMaybe ((++) [] foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 yv1511 (numericEnumFrom $! Pos yv37 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1162 -> 1189[label="",style="solid", color="black", weight=3]; 1163[label="Maybe.listToMaybe ((++) (Pos yv37 : []) foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 yv1511 (numericEnumFrom $! Pos yv37 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1163 -> 1190[label="",style="solid", color="black", weight=3]; 1121[label="Maybe.listToMaybe ((++) [] foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 yv4111 (numericEnumFrom $! Pos yv35 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1121 -> 1160[label="",style="solid", color="black", weight=3]; 1122[label="Maybe.listToMaybe ((++) (Pos yv35 : []) foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 yv4111 (numericEnumFrom $! Pos yv35 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1122 -> 1161[label="",style="solid", color="black", weight=3]; 1404[label="yv310 : yv311 == yv4010 : yv4011",fontsize=16,color="black",shape="box"];1404 -> 1432[label="",style="solid", color="black", weight=3]; 1405[label="yv310 : yv311 == []",fontsize=16,color="black",shape="box"];1405 -> 1433[label="",style="solid", color="black", weight=3]; 1406[label="[] == yv4010 : yv4011",fontsize=16,color="black",shape="box"];1406 -> 1434[label="",style="solid", color="black", weight=3]; 1407[label="[] == []",fontsize=16,color="black",shape="box"];1407 -> 1435[label="",style="solid", color="black", weight=3]; 1408[label="Nothing == yv400",fontsize=16,color="burlywood",shape="box"];2104[label="yv400/Nothing",fontsize=10,color="white",style="solid",shape="box"];1408 -> 2104[label="",style="solid", color="burlywood", weight=9]; 2104 -> 1436[label="",style="solid", color="burlywood", weight=3]; 2105[label="yv400/Just yv4000",fontsize=10,color="white",style="solid",shape="box"];1408 -> 2105[label="",style="solid", color="burlywood", weight=9]; 2105 -> 1437[label="",style="solid", color="burlywood", weight=3]; 1409[label="Just yv300 == yv400",fontsize=16,color="burlywood",shape="box"];2106[label="yv400/Nothing",fontsize=10,color="white",style="solid",shape="box"];1409 -> 2106[label="",style="solid", color="burlywood", weight=9]; 2106 -> 1438[label="",style="solid", color="burlywood", weight=3]; 2107[label="yv400/Just yv4000",fontsize=10,color="white",style="solid",shape="box"];1409 -> 2107[label="",style="solid", color="burlywood", weight=9]; 2107 -> 1439[label="",style="solid", color="burlywood", weight=3]; 1410[label="() == yv400",fontsize=16,color="burlywood",shape="box"];2108[label="yv400/()",fontsize=10,color="white",style="solid",shape="box"];1410 -> 2108[label="",style="solid", color="burlywood", weight=9]; 2108 -> 1440[label="",style="solid", color="burlywood", weight=3]; 1411[label="yv300 :% yv301 == yv400",fontsize=16,color="burlywood",shape="box"];2109[label="yv400/yv4000 :% yv4001",fontsize=10,color="white",style="solid",shape="box"];1411 -> 2109[label="",style="solid", color="burlywood", weight=9]; 2109 -> 1441[label="",style="solid", color="burlywood", weight=3]; 1412[label="yv400",fontsize=16,color="green",shape="box"];1413[label="yv30",fontsize=16,color="green",shape="box"];1414[label="Left yv300 == yv400",fontsize=16,color="burlywood",shape="box"];2110[label="yv400/Left yv4000",fontsize=10,color="white",style="solid",shape="box"];1414 -> 2110[label="",style="solid", color="burlywood", weight=9]; 2110 -> 1442[label="",style="solid", color="burlywood", weight=3]; 2111[label="yv400/Right yv4000",fontsize=10,color="white",style="solid",shape="box"];1414 -> 2111[label="",style="solid", color="burlywood", weight=9]; 2111 -> 1443[label="",style="solid", color="burlywood", weight=3]; 1415[label="Right yv300 == yv400",fontsize=16,color="burlywood",shape="box"];2112[label="yv400/Left yv4000",fontsize=10,color="white",style="solid",shape="box"];1415 -> 2112[label="",style="solid", color="burlywood", weight=9]; 2112 -> 1444[label="",style="solid", color="burlywood", weight=3]; 2113[label="yv400/Right yv4000",fontsize=10,color="white",style="solid",shape="box"];1415 -> 2113[label="",style="solid", color="burlywood", weight=9]; 2113 -> 1445[label="",style="solid", color="burlywood", weight=3]; 1416[label="(yv300,yv301,yv302) == yv400",fontsize=16,color="burlywood",shape="box"];2114[label="yv400/(yv4000,yv4001,yv4002)",fontsize=10,color="white",style="solid",shape="box"];1416 -> 2114[label="",style="solid", color="burlywood", weight=9]; 2114 -> 1446[label="",style="solid", color="burlywood", weight=3]; 1417[label="primEqInt yv30 yv400",fontsize=16,color="burlywood",shape="triangle"];2115[label="yv30/Pos yv300",fontsize=10,color="white",style="solid",shape="box"];1417 -> 2115[label="",style="solid", color="burlywood", weight=9]; 2115 -> 1447[label="",style="solid", color="burlywood", weight=3]; 2116[label="yv30/Neg yv300",fontsize=10,color="white",style="solid",shape="box"];1417 -> 2116[label="",style="solid", color="burlywood", weight=9]; 2116 -> 1448[label="",style="solid", color="burlywood", weight=3]; 1418[label="primEqChar yv30 yv400",fontsize=16,color="burlywood",shape="box"];2117[label="yv30/Char yv300",fontsize=10,color="white",style="solid",shape="box"];1418 -> 2117[label="",style="solid", color="burlywood", weight=9]; 2117 -> 1449[label="",style="solid", color="burlywood", weight=3]; 1419[label="(yv300,yv301) == yv400",fontsize=16,color="burlywood",shape="box"];2118[label="yv400/(yv4000,yv4001)",fontsize=10,color="white",style="solid",shape="box"];1419 -> 2118[label="",style="solid", color="burlywood", weight=9]; 2118 -> 1450[label="",style="solid", color="burlywood", weight=3]; 1420[label="Integer yv300 == yv400",fontsize=16,color="burlywood",shape="box"];2119[label="yv400/Integer yv4000",fontsize=10,color="white",style="solid",shape="box"];1420 -> 2119[label="",style="solid", color="burlywood", weight=9]; 2119 -> 1451[label="",style="solid", color="burlywood", weight=3]; 1421[label="primEqFloat yv30 yv400",fontsize=16,color="burlywood",shape="box"];2120[label="yv30/Float yv300 yv301",fontsize=10,color="white",style="solid",shape="box"];1421 -> 2120[label="",style="solid", color="burlywood", weight=9]; 2120 -> 1452[label="",style="solid", color="burlywood", weight=3]; 1422[label="False == yv400",fontsize=16,color="burlywood",shape="box"];2121[label="yv400/False",fontsize=10,color="white",style="solid",shape="box"];1422 -> 2121[label="",style="solid", color="burlywood", weight=9]; 2121 -> 1453[label="",style="solid", color="burlywood", weight=3]; 2122[label="yv400/True",fontsize=10,color="white",style="solid",shape="box"];1422 -> 2122[label="",style="solid", color="burlywood", weight=9]; 2122 -> 1454[label="",style="solid", color="burlywood", weight=3]; 1423[label="True == yv400",fontsize=16,color="burlywood",shape="box"];2123[label="yv400/False",fontsize=10,color="white",style="solid",shape="box"];1423 -> 2123[label="",style="solid", color="burlywood", weight=9]; 2123 -> 1455[label="",style="solid", color="burlywood", weight=3]; 2124[label="yv400/True",fontsize=10,color="white",style="solid",shape="box"];1423 -> 2124[label="",style="solid", color="burlywood", weight=9]; 2124 -> 1456[label="",style="solid", color="burlywood", weight=3]; 1424[label="LT == yv400",fontsize=16,color="burlywood",shape="box"];2125[label="yv400/LT",fontsize=10,color="white",style="solid",shape="box"];1424 -> 2125[label="",style="solid", color="burlywood", weight=9]; 2125 -> 1457[label="",style="solid", color="burlywood", weight=3]; 2126[label="yv400/EQ",fontsize=10,color="white",style="solid",shape="box"];1424 -> 2126[label="",style="solid", color="burlywood", weight=9]; 2126 -> 1458[label="",style="solid", color="burlywood", weight=3]; 2127[label="yv400/GT",fontsize=10,color="white",style="solid",shape="box"];1424 -> 2127[label="",style="solid", color="burlywood", weight=9]; 2127 -> 1459[label="",style="solid", color="burlywood", weight=3]; 1425[label="EQ == yv400",fontsize=16,color="burlywood",shape="box"];2128[label="yv400/LT",fontsize=10,color="white",style="solid",shape="box"];1425 -> 2128[label="",style="solid", color="burlywood", weight=9]; 2128 -> 1460[label="",style="solid", color="burlywood", weight=3]; 2129[label="yv400/EQ",fontsize=10,color="white",style="solid",shape="box"];1425 -> 2129[label="",style="solid", color="burlywood", weight=9]; 2129 -> 1461[label="",style="solid", color="burlywood", weight=3]; 2130[label="yv400/GT",fontsize=10,color="white",style="solid",shape="box"];1425 -> 2130[label="",style="solid", color="burlywood", weight=9]; 2130 -> 1462[label="",style="solid", color="burlywood", weight=3]; 1426[label="GT == yv400",fontsize=16,color="burlywood",shape="box"];2131[label="yv400/LT",fontsize=10,color="white",style="solid",shape="box"];1426 -> 2131[label="",style="solid", color="burlywood", weight=9]; 2131 -> 1463[label="",style="solid", color="burlywood", weight=3]; 2132[label="yv400/EQ",fontsize=10,color="white",style="solid",shape="box"];1426 -> 2132[label="",style="solid", color="burlywood", weight=9]; 2132 -> 1464[label="",style="solid", color="burlywood", weight=3]; 2133[label="yv400/GT",fontsize=10,color="white",style="solid",shape="box"];1426 -> 2133[label="",style="solid", color="burlywood", weight=9]; 2133 -> 1465[label="",style="solid", color="burlywood", weight=3]; 1427[label="primEqDouble yv30 yv400",fontsize=16,color="burlywood",shape="box"];2134[label="yv30/Double yv300 yv301",fontsize=10,color="white",style="solid",shape="box"];1427 -> 2134[label="",style="solid", color="burlywood", weight=9]; 2134 -> 1466[label="",style="solid", color="burlywood", weight=3]; 1428[label="False",fontsize=16,color="green",shape="box"];1429[label="yv53",fontsize=16,color="green",shape="box"];1189[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 yv1511 (numericEnumFrom $! Pos yv37 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="box"];2135[label="yv1511/yv15110 : yv15111",fontsize=10,color="white",style="solid",shape="box"];1189 -> 2135[label="",style="solid", color="burlywood", weight=9]; 2135 -> 1242[label="",style="solid", color="burlywood", weight=3]; 2136[label="yv1511/[]",fontsize=10,color="white",style="solid",shape="box"];1189 -> 2136[label="",style="solid", color="burlywood", weight=9]; 2136 -> 1243[label="",style="solid", color="burlywood", weight=3]; 1190[label="Maybe.listToMaybe (Pos yv37 : [] ++ foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 yv1511 (numericEnumFrom $! Pos yv37 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1190 -> 1244[label="",style="solid", color="black", weight=3]; 1160[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 yv4111 (numericEnumFrom $! Pos yv35 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="box"];2137[label="yv4111/yv41110 : yv41111",fontsize=10,color="white",style="solid",shape="box"];1160 -> 2137[label="",style="solid", color="burlywood", weight=9]; 2137 -> 1186[label="",style="solid", color="burlywood", weight=3]; 2138[label="yv4111/[]",fontsize=10,color="white",style="solid",shape="box"];1160 -> 2138[label="",style="solid", color="burlywood", weight=9]; 2138 -> 1187[label="",style="solid", color="burlywood", weight=3]; 1161[label="Maybe.listToMaybe (Pos yv35 : [] ++ foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 yv4111 (numericEnumFrom $! Pos yv35 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1161 -> 1188[label="",style="solid", color="black", weight=3]; 1432 -> 1378[label="",style="dashed", color="red", weight=0]; 1432[label="yv310 == yv4010 && yv311 == yv4011",fontsize=16,color="magenta"];1432 -> 1469[label="",style="dashed", color="magenta", weight=3]; 1432 -> 1470[label="",style="dashed", color="magenta", weight=3]; 1433[label="False",fontsize=16,color="green",shape="box"];1434[label="False",fontsize=16,color="green",shape="box"];1435[label="True",fontsize=16,color="green",shape="box"];1436[label="Nothing == Nothing",fontsize=16,color="black",shape="box"];1436 -> 1471[label="",style="solid", color="black", weight=3]; 1437[label="Nothing == Just yv4000",fontsize=16,color="black",shape="box"];1437 -> 1472[label="",style="solid", color="black", weight=3]; 1438[label="Just yv300 == Nothing",fontsize=16,color="black",shape="box"];1438 -> 1473[label="",style="solid", color="black", weight=3]; 1439[label="Just yv300 == Just yv4000",fontsize=16,color="black",shape="box"];1439 -> 1474[label="",style="solid", color="black", weight=3]; 1440[label="() == ()",fontsize=16,color="black",shape="box"];1440 -> 1475[label="",style="solid", color="black", weight=3]; 1441[label="yv300 :% yv301 == yv4000 :% yv4001",fontsize=16,color="black",shape="box"];1441 -> 1476[label="",style="solid", color="black", weight=3]; 1442[label="Left yv300 == Left yv4000",fontsize=16,color="black",shape="box"];1442 -> 1477[label="",style="solid", color="black", weight=3]; 1443[label="Left yv300 == Right yv4000",fontsize=16,color="black",shape="box"];1443 -> 1478[label="",style="solid", color="black", weight=3]; 1444[label="Right yv300 == Left yv4000",fontsize=16,color="black",shape="box"];1444 -> 1479[label="",style="solid", color="black", weight=3]; 1445[label="Right yv300 == Right yv4000",fontsize=16,color="black",shape="box"];1445 -> 1480[label="",style="solid", color="black", weight=3]; 1446[label="(yv300,yv301,yv302) == (yv4000,yv4001,yv4002)",fontsize=16,color="black",shape="box"];1446 -> 1481[label="",style="solid", color="black", weight=3]; 1447[label="primEqInt (Pos yv300) yv400",fontsize=16,color="burlywood",shape="box"];2139[label="yv300/Succ yv3000",fontsize=10,color="white",style="solid",shape="box"];1447 -> 2139[label="",style="solid", color="burlywood", weight=9]; 2139 -> 1482[label="",style="solid", color="burlywood", weight=3]; 2140[label="yv300/Zero",fontsize=10,color="white",style="solid",shape="box"];1447 -> 2140[label="",style="solid", color="burlywood", weight=9]; 2140 -> 1483[label="",style="solid", color="burlywood", weight=3]; 1448[label="primEqInt (Neg yv300) yv400",fontsize=16,color="burlywood",shape="box"];2141[label="yv300/Succ yv3000",fontsize=10,color="white",style="solid",shape="box"];1448 -> 2141[label="",style="solid", color="burlywood", weight=9]; 2141 -> 1484[label="",style="solid", color="burlywood", weight=3]; 2142[label="yv300/Zero",fontsize=10,color="white",style="solid",shape="box"];1448 -> 2142[label="",style="solid", color="burlywood", weight=9]; 2142 -> 1485[label="",style="solid", color="burlywood", weight=3]; 1449[label="primEqChar (Char yv300) yv400",fontsize=16,color="burlywood",shape="box"];2143[label="yv400/Char yv4000",fontsize=10,color="white",style="solid",shape="box"];1449 -> 2143[label="",style="solid", color="burlywood", weight=9]; 2143 -> 1486[label="",style="solid", color="burlywood", weight=3]; 1450[label="(yv300,yv301) == (yv4000,yv4001)",fontsize=16,color="black",shape="box"];1450 -> 1487[label="",style="solid", color="black", weight=3]; 1451[label="Integer yv300 == Integer yv4000",fontsize=16,color="black",shape="box"];1451 -> 1488[label="",style="solid", color="black", weight=3]; 1452[label="primEqFloat (Float yv300 yv301) yv400",fontsize=16,color="burlywood",shape="box"];2144[label="yv400/Float yv4000 yv4001",fontsize=10,color="white",style="solid",shape="box"];1452 -> 2144[label="",style="solid", color="burlywood", weight=9]; 2144 -> 1489[label="",style="solid", color="burlywood", weight=3]; 1453[label="False == False",fontsize=16,color="black",shape="box"];1453 -> 1490[label="",style="solid", color="black", weight=3]; 1454[label="False == True",fontsize=16,color="black",shape="box"];1454 -> 1491[label="",style="solid", color="black", weight=3]; 1455[label="True == False",fontsize=16,color="black",shape="box"];1455 -> 1492[label="",style="solid", color="black", weight=3]; 1456[label="True == True",fontsize=16,color="black",shape="box"];1456 -> 1493[label="",style="solid", color="black", weight=3]; 1457[label="LT == LT",fontsize=16,color="black",shape="box"];1457 -> 1494[label="",style="solid", color="black", weight=3]; 1458[label="LT == EQ",fontsize=16,color="black",shape="box"];1458 -> 1495[label="",style="solid", color="black", weight=3]; 1459[label="LT == GT",fontsize=16,color="black",shape="box"];1459 -> 1496[label="",style="solid", color="black", weight=3]; 1460[label="EQ == LT",fontsize=16,color="black",shape="box"];1460 -> 1497[label="",style="solid", color="black", weight=3]; 1461[label="EQ == EQ",fontsize=16,color="black",shape="box"];1461 -> 1498[label="",style="solid", color="black", weight=3]; 1462[label="EQ == GT",fontsize=16,color="black",shape="box"];1462 -> 1499[label="",style="solid", color="black", weight=3]; 1463[label="GT == LT",fontsize=16,color="black",shape="box"];1463 -> 1500[label="",style="solid", color="black", weight=3]; 1464[label="GT == EQ",fontsize=16,color="black",shape="box"];1464 -> 1501[label="",style="solid", color="black", weight=3]; 1465[label="GT == GT",fontsize=16,color="black",shape="box"];1465 -> 1502[label="",style="solid", color="black", weight=3]; 1466[label="primEqDouble (Double yv300 yv301) yv400",fontsize=16,color="burlywood",shape="box"];2145[label="yv400/Double yv4000 yv4001",fontsize=10,color="white",style="solid",shape="box"];1466 -> 2145[label="",style="solid", color="burlywood", weight=9]; 2145 -> 1503[label="",style="solid", color="burlywood", weight=3]; 1242[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 (yv15110 : yv15111) (numericEnumFrom $! Pos yv37 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1242 -> 1312[label="",style="solid", color="black", weight=3]; 1243[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 [] (numericEnumFrom $! Pos yv37 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1243 -> 1313[label="",style="solid", color="black", weight=3]; 1244[label="Just (Pos yv37)",fontsize=16,color="green",shape="box"];1186[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 (yv41110 : yv41111) (numericEnumFrom $! Pos yv35 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1186 -> 1240[label="",style="solid", color="black", weight=3]; 1187[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 [] (numericEnumFrom $! Pos yv35 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1187 -> 1241[label="",style="solid", color="black", weight=3]; 1188[label="Just (Pos yv35)",fontsize=16,color="green",shape="box"];1469 -> 1379[label="",style="dashed", color="red", weight=0]; 1469[label="yv311 == yv4011",fontsize=16,color="magenta"];1469 -> 1506[label="",style="dashed", color="magenta", weight=3]; 1469 -> 1507[label="",style="dashed", color="magenta", weight=3]; 1470[label="yv310 == yv4010",fontsize=16,color="blue",shape="box"];2146[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1470 -> 2146[label="",style="solid", color="blue", weight=9]; 2146 -> 1508[label="",style="solid", color="blue", weight=3]; 2147[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1470 -> 2147[label="",style="solid", color="blue", weight=9]; 2147 -> 1509[label="",style="solid", color="blue", weight=3]; 2148[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1470 -> 2148[label="",style="solid", color="blue", weight=9]; 2148 -> 1510[label="",style="solid", color="blue", weight=3]; 2149[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1470 -> 2149[label="",style="solid", color="blue", weight=9]; 2149 -> 1511[label="",style="solid", color="blue", weight=3]; 2150[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1470 -> 2150[label="",style="solid", color="blue", weight=9]; 2150 -> 1512[label="",style="solid", color="blue", weight=3]; 2151[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1470 -> 2151[label="",style="solid", color="blue", weight=9]; 2151 -> 1513[label="",style="solid", color="blue", weight=3]; 2152[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1470 -> 2152[label="",style="solid", color="blue", weight=9]; 2152 -> 1514[label="",style="solid", color="blue", weight=3]; 2153[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1470 -> 2153[label="",style="solid", color="blue", weight=9]; 2153 -> 1515[label="",style="solid", color="blue", weight=3]; 2154[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1470 -> 2154[label="",style="solid", color="blue", weight=9]; 2154 -> 1516[label="",style="solid", color="blue", weight=3]; 2155[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1470 -> 2155[label="",style="solid", color="blue", weight=9]; 2155 -> 1517[label="",style="solid", color="blue", weight=3]; 2156[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1470 -> 2156[label="",style="solid", color="blue", weight=9]; 2156 -> 1518[label="",style="solid", color="blue", weight=3]; 2157[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1470 -> 2157[label="",style="solid", color="blue", weight=9]; 2157 -> 1519[label="",style="solid", color="blue", weight=3]; 2158[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1470 -> 2158[label="",style="solid", color="blue", weight=9]; 2158 -> 1520[label="",style="solid", color="blue", weight=3]; 2159[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1470 -> 2159[label="",style="solid", color="blue", weight=9]; 2159 -> 1521[label="",style="solid", color="blue", weight=3]; 1471[label="True",fontsize=16,color="green",shape="box"];1472[label="False",fontsize=16,color="green",shape="box"];1473[label="False",fontsize=16,color="green",shape="box"];1474[label="yv300 == yv4000",fontsize=16,color="blue",shape="box"];2160[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1474 -> 2160[label="",style="solid", color="blue", weight=9]; 2160 -> 1522[label="",style="solid", color="blue", weight=3]; 2161[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1474 -> 2161[label="",style="solid", color="blue", weight=9]; 2161 -> 1523[label="",style="solid", color="blue", weight=3]; 2162[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1474 -> 2162[label="",style="solid", color="blue", weight=9]; 2162 -> 1524[label="",style="solid", color="blue", weight=3]; 2163[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1474 -> 2163[label="",style="solid", color="blue", weight=9]; 2163 -> 1525[label="",style="solid", color="blue", weight=3]; 2164[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1474 -> 2164[label="",style="solid", color="blue", weight=9]; 2164 -> 1526[label="",style="solid", color="blue", weight=3]; 2165[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1474 -> 2165[label="",style="solid", color="blue", weight=9]; 2165 -> 1527[label="",style="solid", color="blue", weight=3]; 2166[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1474 -> 2166[label="",style="solid", color="blue", weight=9]; 2166 -> 1528[label="",style="solid", color="blue", weight=3]; 2167[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1474 -> 2167[label="",style="solid", color="blue", weight=9]; 2167 -> 1529[label="",style="solid", color="blue", weight=3]; 2168[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1474 -> 2168[label="",style="solid", color="blue", weight=9]; 2168 -> 1530[label="",style="solid", color="blue", weight=3]; 2169[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1474 -> 2169[label="",style="solid", color="blue", weight=9]; 2169 -> 1531[label="",style="solid", color="blue", weight=3]; 2170[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1474 -> 2170[label="",style="solid", color="blue", weight=9]; 2170 -> 1532[label="",style="solid", color="blue", weight=3]; 2171[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1474 -> 2171[label="",style="solid", color="blue", weight=9]; 2171 -> 1533[label="",style="solid", color="blue", weight=3]; 2172[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1474 -> 2172[label="",style="solid", color="blue", weight=9]; 2172 -> 1534[label="",style="solid", color="blue", weight=3]; 2173[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1474 -> 2173[label="",style="solid", color="blue", weight=9]; 2173 -> 1535[label="",style="solid", color="blue", weight=3]; 1475[label="True",fontsize=16,color="green",shape="box"];1476 -> 1378[label="",style="dashed", color="red", weight=0]; 1476[label="yv300 == yv4000 && yv301 == yv4001",fontsize=16,color="magenta"];1476 -> 1536[label="",style="dashed", color="magenta", weight=3]; 1476 -> 1537[label="",style="dashed", color="magenta", weight=3]; 1477[label="yv300 == yv4000",fontsize=16,color="blue",shape="box"];2174[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1477 -> 2174[label="",style="solid", color="blue", weight=9]; 2174 -> 1538[label="",style="solid", color="blue", weight=3]; 2175[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1477 -> 2175[label="",style="solid", color="blue", weight=9]; 2175 -> 1539[label="",style="solid", color="blue", weight=3]; 2176[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1477 -> 2176[label="",style="solid", color="blue", weight=9]; 2176 -> 1540[label="",style="solid", color="blue", weight=3]; 2177[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1477 -> 2177[label="",style="solid", color="blue", weight=9]; 2177 -> 1541[label="",style="solid", color="blue", weight=3]; 2178[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1477 -> 2178[label="",style="solid", color="blue", weight=9]; 2178 -> 1542[label="",style="solid", color="blue", weight=3]; 2179[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1477 -> 2179[label="",style="solid", color="blue", weight=9]; 2179 -> 1543[label="",style="solid", color="blue", weight=3]; 2180[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1477 -> 2180[label="",style="solid", color="blue", weight=9]; 2180 -> 1544[label="",style="solid", color="blue", weight=3]; 2181[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1477 -> 2181[label="",style="solid", color="blue", weight=9]; 2181 -> 1545[label="",style="solid", color="blue", weight=3]; 2182[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1477 -> 2182[label="",style="solid", color="blue", weight=9]; 2182 -> 1546[label="",style="solid", color="blue", weight=3]; 2183[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1477 -> 2183[label="",style="solid", color="blue", weight=9]; 2183 -> 1547[label="",style="solid", color="blue", weight=3]; 2184[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1477 -> 2184[label="",style="solid", color="blue", weight=9]; 2184 -> 1548[label="",style="solid", color="blue", weight=3]; 2185[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1477 -> 2185[label="",style="solid", color="blue", weight=9]; 2185 -> 1549[label="",style="solid", color="blue", weight=3]; 2186[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1477 -> 2186[label="",style="solid", color="blue", weight=9]; 2186 -> 1550[label="",style="solid", color="blue", weight=3]; 2187[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1477 -> 2187[label="",style="solid", color="blue", weight=9]; 2187 -> 1551[label="",style="solid", color="blue", weight=3]; 1478[label="False",fontsize=16,color="green",shape="box"];1479[label="False",fontsize=16,color="green",shape="box"];1480[label="yv300 == yv4000",fontsize=16,color="blue",shape="box"];2188[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1480 -> 2188[label="",style="solid", color="blue", weight=9]; 2188 -> 1552[label="",style="solid", color="blue", weight=3]; 2189[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1480 -> 2189[label="",style="solid", color="blue", weight=9]; 2189 -> 1553[label="",style="solid", color="blue", weight=3]; 2190[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1480 -> 2190[label="",style="solid", color="blue", weight=9]; 2190 -> 1554[label="",style="solid", color="blue", weight=3]; 2191[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1480 -> 2191[label="",style="solid", color="blue", weight=9]; 2191 -> 1555[label="",style="solid", color="blue", weight=3]; 2192[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1480 -> 2192[label="",style="solid", color="blue", weight=9]; 2192 -> 1556[label="",style="solid", color="blue", weight=3]; 2193[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1480 -> 2193[label="",style="solid", color="blue", weight=9]; 2193 -> 1557[label="",style="solid", color="blue", weight=3]; 2194[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1480 -> 2194[label="",style="solid", color="blue", weight=9]; 2194 -> 1558[label="",style="solid", color="blue", weight=3]; 2195[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1480 -> 2195[label="",style="solid", color="blue", weight=9]; 2195 -> 1559[label="",style="solid", color="blue", weight=3]; 2196[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1480 -> 2196[label="",style="solid", color="blue", weight=9]; 2196 -> 1560[label="",style="solid", color="blue", weight=3]; 2197[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1480 -> 2197[label="",style="solid", color="blue", weight=9]; 2197 -> 1561[label="",style="solid", color="blue", weight=3]; 2198[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1480 -> 2198[label="",style="solid", color="blue", weight=9]; 2198 -> 1562[label="",style="solid", color="blue", weight=3]; 2199[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1480 -> 2199[label="",style="solid", color="blue", weight=9]; 2199 -> 1563[label="",style="solid", color="blue", weight=3]; 2200[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1480 -> 2200[label="",style="solid", color="blue", weight=9]; 2200 -> 1564[label="",style="solid", color="blue", weight=3]; 2201[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1480 -> 2201[label="",style="solid", color="blue", weight=9]; 2201 -> 1565[label="",style="solid", color="blue", weight=3]; 1481 -> 1378[label="",style="dashed", color="red", weight=0]; 1481[label="yv300 == yv4000 && yv301 == yv4001 && yv302 == yv4002",fontsize=16,color="magenta"];1481 -> 1566[label="",style="dashed", color="magenta", weight=3]; 1481 -> 1567[label="",style="dashed", color="magenta", weight=3]; 1482[label="primEqInt (Pos (Succ yv3000)) yv400",fontsize=16,color="burlywood",shape="box"];2202[label="yv400/Pos yv4000",fontsize=10,color="white",style="solid",shape="box"];1482 -> 2202[label="",style="solid", color="burlywood", weight=9]; 2202 -> 1568[label="",style="solid", color="burlywood", weight=3]; 2203[label="yv400/Neg yv4000",fontsize=10,color="white",style="solid",shape="box"];1482 -> 2203[label="",style="solid", color="burlywood", weight=9]; 2203 -> 1569[label="",style="solid", color="burlywood", weight=3]; 1483[label="primEqInt (Pos Zero) yv400",fontsize=16,color="burlywood",shape="box"];2204[label="yv400/Pos yv4000",fontsize=10,color="white",style="solid",shape="box"];1483 -> 2204[label="",style="solid", color="burlywood", weight=9]; 2204 -> 1570[label="",style="solid", color="burlywood", weight=3]; 2205[label="yv400/Neg yv4000",fontsize=10,color="white",style="solid",shape="box"];1483 -> 2205[label="",style="solid", color="burlywood", weight=9]; 2205 -> 1571[label="",style="solid", color="burlywood", weight=3]; 1484[label="primEqInt (Neg (Succ yv3000)) yv400",fontsize=16,color="burlywood",shape="box"];2206[label="yv400/Pos yv4000",fontsize=10,color="white",style="solid",shape="box"];1484 -> 2206[label="",style="solid", color="burlywood", weight=9]; 2206 -> 1572[label="",style="solid", color="burlywood", weight=3]; 2207[label="yv400/Neg yv4000",fontsize=10,color="white",style="solid",shape="box"];1484 -> 2207[label="",style="solid", color="burlywood", weight=9]; 2207 -> 1573[label="",style="solid", color="burlywood", weight=3]; 1485[label="primEqInt (Neg Zero) yv400",fontsize=16,color="burlywood",shape="box"];2208[label="yv400/Pos yv4000",fontsize=10,color="white",style="solid",shape="box"];1485 -> 2208[label="",style="solid", color="burlywood", weight=9]; 2208 -> 1574[label="",style="solid", color="burlywood", weight=3]; 2209[label="yv400/Neg yv4000",fontsize=10,color="white",style="solid",shape="box"];1485 -> 2209[label="",style="solid", color="burlywood", weight=9]; 2209 -> 1575[label="",style="solid", color="burlywood", weight=3]; 1486[label="primEqChar (Char yv300) (Char yv4000)",fontsize=16,color="black",shape="box"];1486 -> 1576[label="",style="solid", color="black", weight=3]; 1487 -> 1378[label="",style="dashed", color="red", weight=0]; 1487[label="yv300 == yv4000 && yv301 == yv4001",fontsize=16,color="magenta"];1487 -> 1577[label="",style="dashed", color="magenta", weight=3]; 1487 -> 1578[label="",style="dashed", color="magenta", weight=3]; 1488 -> 1417[label="",style="dashed", color="red", weight=0]; 1488[label="primEqInt yv300 yv4000",fontsize=16,color="magenta"];1488 -> 1579[label="",style="dashed", color="magenta", weight=3]; 1488 -> 1580[label="",style="dashed", color="magenta", weight=3]; 1489[label="primEqFloat (Float yv300 yv301) (Float yv4000 yv4001)",fontsize=16,color="black",shape="box"];1489 -> 1581[label="",style="solid", color="black", weight=3]; 1490[label="True",fontsize=16,color="green",shape="box"];1491[label="False",fontsize=16,color="green",shape="box"];1492[label="False",fontsize=16,color="green",shape="box"];1493[label="True",fontsize=16,color="green",shape="box"];1494[label="True",fontsize=16,color="green",shape="box"];1495[label="False",fontsize=16,color="green",shape="box"];1496[label="False",fontsize=16,color="green",shape="box"];1497[label="False",fontsize=16,color="green",shape="box"];1498[label="True",fontsize=16,color="green",shape="box"];1499[label="False",fontsize=16,color="green",shape="box"];1500[label="False",fontsize=16,color="green",shape="box"];1501[label="False",fontsize=16,color="green",shape="box"];1502[label="True",fontsize=16,color="green",shape="box"];1503[label="primEqDouble (Double yv300 yv301) (Double yv4000 yv4001)",fontsize=16,color="black",shape="box"];1503 -> 1582[label="",style="solid", color="black", weight=3]; 1312[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 (yv15110 : yv15111) (Pos yv37 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos yv37 + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1312 -> 1401[label="",style="solid", color="black", weight=3]; 1313 -> 16[label="",style="dashed", color="red", weight=0]; 1313[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) []))",fontsize=16,color="magenta"];1313 -> 1402[label="",style="dashed", color="magenta", weight=3]; 1240[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 (yv41110 : yv41111) (Pos yv35 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos yv35 + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1240 -> 1310[label="",style="solid", color="black", weight=3]; 1241 -> 16[label="",style="dashed", color="red", weight=0]; 1241[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ([] ==)) []))",fontsize=16,color="magenta"];1241 -> 1311[label="",style="dashed", color="magenta", weight=3]; 1506[label="yv4011",fontsize=16,color="green",shape="box"];1507[label="yv311",fontsize=16,color="green",shape="box"];1508 -> 1385[label="",style="dashed", color="red", weight=0]; 1508[label="yv310 == yv4010",fontsize=16,color="magenta"];1508 -> 1585[label="",style="dashed", color="magenta", weight=3]; 1508 -> 1586[label="",style="dashed", color="magenta", weight=3]; 1509 -> 1386[label="",style="dashed", color="red", weight=0]; 1509[label="yv310 == yv4010",fontsize=16,color="magenta"];1509 -> 1587[label="",style="dashed", color="magenta", weight=3]; 1509 -> 1588[label="",style="dashed", color="magenta", weight=3]; 1510 -> 1387[label="",style="dashed", color="red", weight=0]; 1510[label="yv310 == yv4010",fontsize=16,color="magenta"];1510 -> 1589[label="",style="dashed", color="magenta", weight=3]; 1510 -> 1590[label="",style="dashed", color="magenta", weight=3]; 1511 -> 1379[label="",style="dashed", color="red", weight=0]; 1511[label="yv310 == yv4010",fontsize=16,color="magenta"];1511 -> 1591[label="",style="dashed", color="magenta", weight=3]; 1511 -> 1592[label="",style="dashed", color="magenta", weight=3]; 1512 -> 1389[label="",style="dashed", color="red", weight=0]; 1512[label="yv310 == yv4010",fontsize=16,color="magenta"];1512 -> 1593[label="",style="dashed", color="magenta", weight=3]; 1512 -> 1594[label="",style="dashed", color="magenta", weight=3]; 1513 -> 1390[label="",style="dashed", color="red", weight=0]; 1513[label="yv310 == yv4010",fontsize=16,color="magenta"];1513 -> 1595[label="",style="dashed", color="magenta", weight=3]; 1513 -> 1596[label="",style="dashed", color="magenta", weight=3]; 1514 -> 1391[label="",style="dashed", color="red", weight=0]; 1514[label="yv310 == yv4010",fontsize=16,color="magenta"];1514 -> 1597[label="",style="dashed", color="magenta", weight=3]; 1514 -> 1598[label="",style="dashed", color="magenta", weight=3]; 1515 -> 1392[label="",style="dashed", color="red", weight=0]; 1515[label="yv310 == yv4010",fontsize=16,color="magenta"];1515 -> 1599[label="",style="dashed", color="magenta", weight=3]; 1515 -> 1600[label="",style="dashed", color="magenta", weight=3]; 1516 -> 1393[label="",style="dashed", color="red", weight=0]; 1516[label="yv310 == yv4010",fontsize=16,color="magenta"];1516 -> 1601[label="",style="dashed", color="magenta", weight=3]; 1516 -> 1602[label="",style="dashed", color="magenta", weight=3]; 1517 -> 1394[label="",style="dashed", color="red", weight=0]; 1517[label="yv310 == yv4010",fontsize=16,color="magenta"];1517 -> 1603[label="",style="dashed", color="magenta", weight=3]; 1517 -> 1604[label="",style="dashed", color="magenta", weight=3]; 1518 -> 1395[label="",style="dashed", color="red", weight=0]; 1518[label="yv310 == yv4010",fontsize=16,color="magenta"];1518 -> 1605[label="",style="dashed", color="magenta", weight=3]; 1518 -> 1606[label="",style="dashed", color="magenta", weight=3]; 1519 -> 1396[label="",style="dashed", color="red", weight=0]; 1519[label="yv310 == yv4010",fontsize=16,color="magenta"];1519 -> 1607[label="",style="dashed", color="magenta", weight=3]; 1519 -> 1608[label="",style="dashed", color="magenta", weight=3]; 1520 -> 1397[label="",style="dashed", color="red", weight=0]; 1520[label="yv310 == yv4010",fontsize=16,color="magenta"];1520 -> 1609[label="",style="dashed", color="magenta", weight=3]; 1520 -> 1610[label="",style="dashed", color="magenta", weight=3]; 1521 -> 1398[label="",style="dashed", color="red", weight=0]; 1521[label="yv310 == yv4010",fontsize=16,color="magenta"];1521 -> 1611[label="",style="dashed", color="magenta", weight=3]; 1521 -> 1612[label="",style="dashed", color="magenta", weight=3]; 1522 -> 1385[label="",style="dashed", color="red", weight=0]; 1522[label="yv300 == yv4000",fontsize=16,color="magenta"];1522 -> 1613[label="",style="dashed", color="magenta", weight=3]; 1522 -> 1614[label="",style="dashed", color="magenta", weight=3]; 1523 -> 1386[label="",style="dashed", color="red", weight=0]; 1523[label="yv300 == yv4000",fontsize=16,color="magenta"];1523 -> 1615[label="",style="dashed", color="magenta", weight=3]; 1523 -> 1616[label="",style="dashed", color="magenta", weight=3]; 1524 -> 1387[label="",style="dashed", color="red", weight=0]; 1524[label="yv300 == yv4000",fontsize=16,color="magenta"];1524 -> 1617[label="",style="dashed", color="magenta", weight=3]; 1524 -> 1618[label="",style="dashed", color="magenta", weight=3]; 1525 -> 1379[label="",style="dashed", color="red", weight=0]; 1525[label="yv300 == yv4000",fontsize=16,color="magenta"];1525 -> 1619[label="",style="dashed", color="magenta", weight=3]; 1525 -> 1620[label="",style="dashed", color="magenta", weight=3]; 1526 -> 1389[label="",style="dashed", color="red", weight=0]; 1526[label="yv300 == yv4000",fontsize=16,color="magenta"];1526 -> 1621[label="",style="dashed", color="magenta", weight=3]; 1526 -> 1622[label="",style="dashed", color="magenta", weight=3]; 1527 -> 1390[label="",style="dashed", color="red", weight=0]; 1527[label="yv300 == yv4000",fontsize=16,color="magenta"];1527 -> 1623[label="",style="dashed", color="magenta", weight=3]; 1527 -> 1624[label="",style="dashed", color="magenta", weight=3]; 1528 -> 1391[label="",style="dashed", color="red", weight=0]; 1528[label="yv300 == yv4000",fontsize=16,color="magenta"];1528 -> 1625[label="",style="dashed", color="magenta", weight=3]; 1528 -> 1626[label="",style="dashed", color="magenta", weight=3]; 1529 -> 1392[label="",style="dashed", color="red", weight=0]; 1529[label="yv300 == yv4000",fontsize=16,color="magenta"];1529 -> 1627[label="",style="dashed", color="magenta", weight=3]; 1529 -> 1628[label="",style="dashed", color="magenta", weight=3]; 1530 -> 1393[label="",style="dashed", color="red", weight=0]; 1530[label="yv300 == yv4000",fontsize=16,color="magenta"];1530 -> 1629[label="",style="dashed", color="magenta", weight=3]; 1530 -> 1630[label="",style="dashed", color="magenta", weight=3]; 1531 -> 1394[label="",style="dashed", color="red", weight=0]; 1531[label="yv300 == yv4000",fontsize=16,color="magenta"];1531 -> 1631[label="",style="dashed", color="magenta", weight=3]; 1531 -> 1632[label="",style="dashed", color="magenta", weight=3]; 1532 -> 1395[label="",style="dashed", color="red", weight=0]; 1532[label="yv300 == yv4000",fontsize=16,color="magenta"];1532 -> 1633[label="",style="dashed", color="magenta", weight=3]; 1532 -> 1634[label="",style="dashed", color="magenta", weight=3]; 1533 -> 1396[label="",style="dashed", color="red", weight=0]; 1533[label="yv300 == yv4000",fontsize=16,color="magenta"];1533 -> 1635[label="",style="dashed", color="magenta", weight=3]; 1533 -> 1636[label="",style="dashed", color="magenta", weight=3]; 1534 -> 1397[label="",style="dashed", color="red", weight=0]; 1534[label="yv300 == yv4000",fontsize=16,color="magenta"];1534 -> 1637[label="",style="dashed", color="magenta", weight=3]; 1534 -> 1638[label="",style="dashed", color="magenta", weight=3]; 1535 -> 1398[label="",style="dashed", color="red", weight=0]; 1535[label="yv300 == yv4000",fontsize=16,color="magenta"];1535 -> 1639[label="",style="dashed", color="magenta", weight=3]; 1535 -> 1640[label="",style="dashed", color="magenta", weight=3]; 1536[label="yv301 == yv4001",fontsize=16,color="blue",shape="box"];2210[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1536 -> 2210[label="",style="solid", color="blue", weight=9]; 2210 -> 1641[label="",style="solid", color="blue", weight=3]; 2211[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1536 -> 2211[label="",style="solid", color="blue", weight=9]; 2211 -> 1642[label="",style="solid", color="blue", weight=3]; 1537[label="yv300 == yv4000",fontsize=16,color="blue",shape="box"];2212[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2212[label="",style="solid", color="blue", weight=9]; 2212 -> 1643[label="",style="solid", color="blue", weight=3]; 2213[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2213[label="",style="solid", color="blue", weight=9]; 2213 -> 1644[label="",style="solid", color="blue", weight=3]; 1538 -> 1385[label="",style="dashed", color="red", weight=0]; 1538[label="yv300 == yv4000",fontsize=16,color="magenta"];1538 -> 1645[label="",style="dashed", color="magenta", weight=3]; 1538 -> 1646[label="",style="dashed", color="magenta", weight=3]; 1539 -> 1386[label="",style="dashed", color="red", weight=0]; 1539[label="yv300 == yv4000",fontsize=16,color="magenta"];1539 -> 1647[label="",style="dashed", color="magenta", weight=3]; 1539 -> 1648[label="",style="dashed", color="magenta", weight=3]; 1540 -> 1387[label="",style="dashed", color="red", weight=0]; 1540[label="yv300 == yv4000",fontsize=16,color="magenta"];1540 -> 1649[label="",style="dashed", color="magenta", weight=3]; 1540 -> 1650[label="",style="dashed", color="magenta", weight=3]; 1541 -> 1379[label="",style="dashed", color="red", weight=0]; 1541[label="yv300 == yv4000",fontsize=16,color="magenta"];1541 -> 1651[label="",style="dashed", color="magenta", weight=3]; 1541 -> 1652[label="",style="dashed", color="magenta", weight=3]; 1542 -> 1389[label="",style="dashed", color="red", weight=0]; 1542[label="yv300 == yv4000",fontsize=16,color="magenta"];1542 -> 1653[label="",style="dashed", color="magenta", weight=3]; 1542 -> 1654[label="",style="dashed", color="magenta", weight=3]; 1543 -> 1390[label="",style="dashed", color="red", weight=0]; 1543[label="yv300 == yv4000",fontsize=16,color="magenta"];1543 -> 1655[label="",style="dashed", color="magenta", weight=3]; 1543 -> 1656[label="",style="dashed", color="magenta", weight=3]; 1544 -> 1391[label="",style="dashed", color="red", weight=0]; 1544[label="yv300 == yv4000",fontsize=16,color="magenta"];1544 -> 1657[label="",style="dashed", color="magenta", weight=3]; 1544 -> 1658[label="",style="dashed", color="magenta", weight=3]; 1545 -> 1392[label="",style="dashed", color="red", weight=0]; 1545[label="yv300 == yv4000",fontsize=16,color="magenta"];1545 -> 1659[label="",style="dashed", color="magenta", weight=3]; 1545 -> 1660[label="",style="dashed", color="magenta", weight=3]; 1546 -> 1393[label="",style="dashed", color="red", weight=0]; 1546[label="yv300 == yv4000",fontsize=16,color="magenta"];1546 -> 1661[label="",style="dashed", color="magenta", weight=3]; 1546 -> 1662[label="",style="dashed", color="magenta", weight=3]; 1547 -> 1394[label="",style="dashed", color="red", weight=0]; 1547[label="yv300 == yv4000",fontsize=16,color="magenta"];1547 -> 1663[label="",style="dashed", color="magenta", weight=3]; 1547 -> 1664[label="",style="dashed", color="magenta", weight=3]; 1548 -> 1395[label="",style="dashed", color="red", weight=0]; 1548[label="yv300 == yv4000",fontsize=16,color="magenta"];1548 -> 1665[label="",style="dashed", color="magenta", weight=3]; 1548 -> 1666[label="",style="dashed", color="magenta", weight=3]; 1549 -> 1396[label="",style="dashed", color="red", weight=0]; 1549[label="yv300 == yv4000",fontsize=16,color="magenta"];1549 -> 1667[label="",style="dashed", color="magenta", weight=3]; 1549 -> 1668[label="",style="dashed", color="magenta", weight=3]; 1550 -> 1397[label="",style="dashed", color="red", weight=0]; 1550[label="yv300 == yv4000",fontsize=16,color="magenta"];1550 -> 1669[label="",style="dashed", color="magenta", weight=3]; 1550 -> 1670[label="",style="dashed", color="magenta", weight=3]; 1551 -> 1398[label="",style="dashed", color="red", weight=0]; 1551[label="yv300 == yv4000",fontsize=16,color="magenta"];1551 -> 1671[label="",style="dashed", color="magenta", weight=3]; 1551 -> 1672[label="",style="dashed", color="magenta", weight=3]; 1552 -> 1385[label="",style="dashed", color="red", weight=0]; 1552[label="yv300 == yv4000",fontsize=16,color="magenta"];1552 -> 1673[label="",style="dashed", color="magenta", weight=3]; 1552 -> 1674[label="",style="dashed", color="magenta", weight=3]; 1553 -> 1386[label="",style="dashed", color="red", weight=0]; 1553[label="yv300 == yv4000",fontsize=16,color="magenta"];1553 -> 1675[label="",style="dashed", color="magenta", weight=3]; 1553 -> 1676[label="",style="dashed", color="magenta", weight=3]; 1554 -> 1387[label="",style="dashed", color="red", weight=0]; 1554[label="yv300 == yv4000",fontsize=16,color="magenta"];1554 -> 1677[label="",style="dashed", color="magenta", weight=3]; 1554 -> 1678[label="",style="dashed", color="magenta", weight=3]; 1555 -> 1379[label="",style="dashed", color="red", weight=0]; 1555[label="yv300 == yv4000",fontsize=16,color="magenta"];1555 -> 1679[label="",style="dashed", color="magenta", weight=3]; 1555 -> 1680[label="",style="dashed", color="magenta", weight=3]; 1556 -> 1389[label="",style="dashed", color="red", weight=0]; 1556[label="yv300 == yv4000",fontsize=16,color="magenta"];1556 -> 1681[label="",style="dashed", color="magenta", weight=3]; 1556 -> 1682[label="",style="dashed", color="magenta", weight=3]; 1557 -> 1390[label="",style="dashed", color="red", weight=0]; 1557[label="yv300 == yv4000",fontsize=16,color="magenta"];1557 -> 1683[label="",style="dashed", color="magenta", weight=3]; 1557 -> 1684[label="",style="dashed", color="magenta", weight=3]; 1558 -> 1391[label="",style="dashed", color="red", weight=0]; 1558[label="yv300 == yv4000",fontsize=16,color="magenta"];1558 -> 1685[label="",style="dashed", color="magenta", weight=3]; 1558 -> 1686[label="",style="dashed", color="magenta", weight=3]; 1559 -> 1392[label="",style="dashed", color="red", weight=0]; 1559[label="yv300 == yv4000",fontsize=16,color="magenta"];1559 -> 1687[label="",style="dashed", color="magenta", weight=3]; 1559 -> 1688[label="",style="dashed", color="magenta", weight=3]; 1560 -> 1393[label="",style="dashed", color="red", weight=0]; 1560[label="yv300 == yv4000",fontsize=16,color="magenta"];1560 -> 1689[label="",style="dashed", color="magenta", weight=3]; 1560 -> 1690[label="",style="dashed", color="magenta", weight=3]; 1561 -> 1394[label="",style="dashed", color="red", weight=0]; 1561[label="yv300 == yv4000",fontsize=16,color="magenta"];1561 -> 1691[label="",style="dashed", color="magenta", weight=3]; 1561 -> 1692[label="",style="dashed", color="magenta", weight=3]; 1562 -> 1395[label="",style="dashed", color="red", weight=0]; 1562[label="yv300 == yv4000",fontsize=16,color="magenta"];1562 -> 1693[label="",style="dashed", color="magenta", weight=3]; 1562 -> 1694[label="",style="dashed", color="magenta", weight=3]; 1563 -> 1396[label="",style="dashed", color="red", weight=0]; 1563[label="yv300 == yv4000",fontsize=16,color="magenta"];1563 -> 1695[label="",style="dashed", color="magenta", weight=3]; 1563 -> 1696[label="",style="dashed", color="magenta", weight=3]; 1564 -> 1397[label="",style="dashed", color="red", weight=0]; 1564[label="yv300 == yv4000",fontsize=16,color="magenta"];1564 -> 1697[label="",style="dashed", color="magenta", weight=3]; 1564 -> 1698[label="",style="dashed", color="magenta", weight=3]; 1565 -> 1398[label="",style="dashed", color="red", weight=0]; 1565[label="yv300 == yv4000",fontsize=16,color="magenta"];1565 -> 1699[label="",style="dashed", color="magenta", weight=3]; 1565 -> 1700[label="",style="dashed", color="magenta", weight=3]; 1566 -> 1378[label="",style="dashed", color="red", weight=0]; 1566[label="yv301 == yv4001 && yv302 == yv4002",fontsize=16,color="magenta"];1566 -> 1701[label="",style="dashed", color="magenta", weight=3]; 1566 -> 1702[label="",style="dashed", color="magenta", weight=3]; 1567[label="yv300 == yv4000",fontsize=16,color="blue",shape="box"];2214[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1567 -> 2214[label="",style="solid", color="blue", weight=9]; 2214 -> 1703[label="",style="solid", color="blue", weight=3]; 2215[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1567 -> 2215[label="",style="solid", color="blue", weight=9]; 2215 -> 1704[label="",style="solid", color="blue", weight=3]; 2216[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1567 -> 2216[label="",style="solid", color="blue", weight=9]; 2216 -> 1705[label="",style="solid", color="blue", weight=3]; 2217[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1567 -> 2217[label="",style="solid", color="blue", weight=9]; 2217 -> 1706[label="",style="solid", color="blue", weight=3]; 2218[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1567 -> 2218[label="",style="solid", color="blue", weight=9]; 2218 -> 1707[label="",style="solid", color="blue", weight=3]; 2219[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1567 -> 2219[label="",style="solid", color="blue", weight=9]; 2219 -> 1708[label="",style="solid", color="blue", weight=3]; 2220[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1567 -> 2220[label="",style="solid", color="blue", weight=9]; 2220 -> 1709[label="",style="solid", color="blue", weight=3]; 2221[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1567 -> 2221[label="",style="solid", color="blue", weight=9]; 2221 -> 1710[label="",style="solid", color="blue", weight=3]; 2222[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1567 -> 2222[label="",style="solid", color="blue", weight=9]; 2222 -> 1711[label="",style="solid", color="blue", weight=3]; 2223[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1567 -> 2223[label="",style="solid", color="blue", weight=9]; 2223 -> 1712[label="",style="solid", color="blue", weight=3]; 2224[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1567 -> 2224[label="",style="solid", color="blue", weight=9]; 2224 -> 1713[label="",style="solid", color="blue", weight=3]; 2225[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1567 -> 2225[label="",style="solid", color="blue", weight=9]; 2225 -> 1714[label="",style="solid", color="blue", weight=3]; 2226[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1567 -> 2226[label="",style="solid", color="blue", weight=9]; 2226 -> 1715[label="",style="solid", color="blue", weight=3]; 2227[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1567 -> 2227[label="",style="solid", color="blue", weight=9]; 2227 -> 1716[label="",style="solid", color="blue", weight=3]; 1568[label="primEqInt (Pos (Succ yv3000)) (Pos yv4000)",fontsize=16,color="burlywood",shape="box"];2228[label="yv4000/Succ yv40000",fontsize=10,color="white",style="solid",shape="box"];1568 -> 2228[label="",style="solid", color="burlywood", weight=9]; 2228 -> 1717[label="",style="solid", color="burlywood", weight=3]; 2229[label="yv4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1568 -> 2229[label="",style="solid", color="burlywood", weight=9]; 2229 -> 1718[label="",style="solid", color="burlywood", weight=3]; 1569[label="primEqInt (Pos (Succ yv3000)) (Neg yv4000)",fontsize=16,color="black",shape="box"];1569 -> 1719[label="",style="solid", color="black", weight=3]; 1570[label="primEqInt (Pos Zero) (Pos yv4000)",fontsize=16,color="burlywood",shape="box"];2230[label="yv4000/Succ yv40000",fontsize=10,color="white",style="solid",shape="box"];1570 -> 2230[label="",style="solid", color="burlywood", weight=9]; 2230 -> 1720[label="",style="solid", color="burlywood", weight=3]; 2231[label="yv4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1570 -> 2231[label="",style="solid", color="burlywood", weight=9]; 2231 -> 1721[label="",style="solid", color="burlywood", weight=3]; 1571[label="primEqInt (Pos Zero) (Neg yv4000)",fontsize=16,color="burlywood",shape="box"];2232[label="yv4000/Succ yv40000",fontsize=10,color="white",style="solid",shape="box"];1571 -> 2232[label="",style="solid", color="burlywood", weight=9]; 2232 -> 1722[label="",style="solid", color="burlywood", weight=3]; 2233[label="yv4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1571 -> 2233[label="",style="solid", color="burlywood", weight=9]; 2233 -> 1723[label="",style="solid", color="burlywood", weight=3]; 1572[label="primEqInt (Neg (Succ yv3000)) (Pos yv4000)",fontsize=16,color="black",shape="box"];1572 -> 1724[label="",style="solid", color="black", weight=3]; 1573[label="primEqInt (Neg (Succ yv3000)) (Neg yv4000)",fontsize=16,color="burlywood",shape="box"];2234[label="yv4000/Succ yv40000",fontsize=10,color="white",style="solid",shape="box"];1573 -> 2234[label="",style="solid", color="burlywood", weight=9]; 2234 -> 1725[label="",style="solid", color="burlywood", weight=3]; 2235[label="yv4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1573 -> 2235[label="",style="solid", color="burlywood", weight=9]; 2235 -> 1726[label="",style="solid", color="burlywood", weight=3]; 1574[label="primEqInt (Neg Zero) (Pos yv4000)",fontsize=16,color="burlywood",shape="box"];2236[label="yv4000/Succ yv40000",fontsize=10,color="white",style="solid",shape="box"];1574 -> 2236[label="",style="solid", color="burlywood", weight=9]; 2236 -> 1727[label="",style="solid", color="burlywood", weight=3]; 2237[label="yv4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1574 -> 2237[label="",style="solid", color="burlywood", weight=9]; 2237 -> 1728[label="",style="solid", color="burlywood", weight=3]; 1575[label="primEqInt (Neg Zero) (Neg yv4000)",fontsize=16,color="burlywood",shape="box"];2238[label="yv4000/Succ yv40000",fontsize=10,color="white",style="solid",shape="box"];1575 -> 2238[label="",style="solid", color="burlywood", weight=9]; 2238 -> 1729[label="",style="solid", color="burlywood", weight=3]; 2239[label="yv4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1575 -> 2239[label="",style="solid", color="burlywood", weight=9]; 2239 -> 1730[label="",style="solid", color="burlywood", weight=3]; 1576[label="primEqNat yv300 yv4000",fontsize=16,color="burlywood",shape="triangle"];2240[label="yv300/Succ yv3000",fontsize=10,color="white",style="solid",shape="box"];1576 -> 2240[label="",style="solid", color="burlywood", weight=9]; 2240 -> 1731[label="",style="solid", color="burlywood", weight=3]; 2241[label="yv300/Zero",fontsize=10,color="white",style="solid",shape="box"];1576 -> 2241[label="",style="solid", color="burlywood", weight=9]; 2241 -> 1732[label="",style="solid", color="burlywood", weight=3]; 1577[label="yv301 == yv4001",fontsize=16,color="blue",shape="box"];2242[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1577 -> 2242[label="",style="solid", color="blue", weight=9]; 2242 -> 1733[label="",style="solid", color="blue", weight=3]; 2243[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1577 -> 2243[label="",style="solid", color="blue", weight=9]; 2243 -> 1734[label="",style="solid", color="blue", weight=3]; 2244[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1577 -> 2244[label="",style="solid", color="blue", weight=9]; 2244 -> 1735[label="",style="solid", color="blue", weight=3]; 2245[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1577 -> 2245[label="",style="solid", color="blue", weight=9]; 2245 -> 1736[label="",style="solid", color="blue", weight=3]; 2246[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1577 -> 2246[label="",style="solid", color="blue", weight=9]; 2246 -> 1737[label="",style="solid", color="blue", weight=3]; 2247[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1577 -> 2247[label="",style="solid", color="blue", weight=9]; 2247 -> 1738[label="",style="solid", color="blue", weight=3]; 2248[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1577 -> 2248[label="",style="solid", color="blue", weight=9]; 2248 -> 1739[label="",style="solid", color="blue", weight=3]; 2249[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1577 -> 2249[label="",style="solid", color="blue", weight=9]; 2249 -> 1740[label="",style="solid", color="blue", weight=3]; 2250[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1577 -> 2250[label="",style="solid", color="blue", weight=9]; 2250 -> 1741[label="",style="solid", color="blue", weight=3]; 2251[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1577 -> 2251[label="",style="solid", color="blue", weight=9]; 2251 -> 1742[label="",style="solid", color="blue", weight=3]; 2252[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1577 -> 2252[label="",style="solid", color="blue", weight=9]; 2252 -> 1743[label="",style="solid", color="blue", weight=3]; 2253[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1577 -> 2253[label="",style="solid", color="blue", weight=9]; 2253 -> 1744[label="",style="solid", color="blue", weight=3]; 2254[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1577 -> 2254[label="",style="solid", color="blue", weight=9]; 2254 -> 1745[label="",style="solid", color="blue", weight=3]; 2255[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1577 -> 2255[label="",style="solid", color="blue", weight=9]; 2255 -> 1746[label="",style="solid", color="blue", weight=3]; 1578[label="yv300 == yv4000",fontsize=16,color="blue",shape="box"];2256[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1578 -> 2256[label="",style="solid", color="blue", weight=9]; 2256 -> 1747[label="",style="solid", color="blue", weight=3]; 2257[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1578 -> 2257[label="",style="solid", color="blue", weight=9]; 2257 -> 1748[label="",style="solid", color="blue", weight=3]; 2258[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1578 -> 2258[label="",style="solid", color="blue", weight=9]; 2258 -> 1749[label="",style="solid", color="blue", weight=3]; 2259[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1578 -> 2259[label="",style="solid", color="blue", weight=9]; 2259 -> 1750[label="",style="solid", color="blue", weight=3]; 2260[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1578 -> 2260[label="",style="solid", color="blue", weight=9]; 2260 -> 1751[label="",style="solid", color="blue", weight=3]; 2261[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1578 -> 2261[label="",style="solid", color="blue", weight=9]; 2261 -> 1752[label="",style="solid", color="blue", weight=3]; 2262[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1578 -> 2262[label="",style="solid", color="blue", weight=9]; 2262 -> 1753[label="",style="solid", color="blue", weight=3]; 2263[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1578 -> 2263[label="",style="solid", color="blue", weight=9]; 2263 -> 1754[label="",style="solid", color="blue", weight=3]; 2264[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1578 -> 2264[label="",style="solid", color="blue", weight=9]; 2264 -> 1755[label="",style="solid", color="blue", weight=3]; 2265[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1578 -> 2265[label="",style="solid", color="blue", weight=9]; 2265 -> 1756[label="",style="solid", color="blue", weight=3]; 2266[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1578 -> 2266[label="",style="solid", color="blue", weight=9]; 2266 -> 1757[label="",style="solid", color="blue", weight=3]; 2267[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1578 -> 2267[label="",style="solid", color="blue", weight=9]; 2267 -> 1758[label="",style="solid", color="blue", weight=3]; 2268[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1578 -> 2268[label="",style="solid", color="blue", weight=9]; 2268 -> 1759[label="",style="solid", color="blue", weight=3]; 2269[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1578 -> 2269[label="",style="solid", color="blue", weight=9]; 2269 -> 1760[label="",style="solid", color="blue", weight=3]; 1579[label="yv4000",fontsize=16,color="green",shape="box"];1580[label="yv300",fontsize=16,color="green",shape="box"];1581 -> 1391[label="",style="dashed", color="red", weight=0]; 1581[label="yv300 * yv4001 == yv301 * yv4000",fontsize=16,color="magenta"];1581 -> 1761[label="",style="dashed", color="magenta", weight=3]; 1581 -> 1762[label="",style="dashed", color="magenta", weight=3]; 1582 -> 1391[label="",style="dashed", color="red", weight=0]; 1582[label="yv300 * yv4001 == yv301 * yv4000",fontsize=16,color="magenta"];1582 -> 1763[label="",style="dashed", color="magenta", weight=3]; 1582 -> 1764[label="",style="dashed", color="magenta", weight=3]; 1401[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 (yv15110 : yv15111) (enforceWHNF (WHNF (Pos yv37 + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos yv37 + fromInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1401 -> 1430[label="",style="solid", color="black", weight=3]; 1402[label="yv14 : yv12",fontsize=16,color="green",shape="box"];1310[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 (yv41110 : yv41111) (enforceWHNF (WHNF (Pos yv35 + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos yv35 + fromInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1310 -> 1403[label="",style="solid", color="black", weight=3]; 1311[label="[]",fontsize=16,color="green",shape="box"];1585[label="yv4010",fontsize=16,color="green",shape="box"];1586[label="yv310",fontsize=16,color="green",shape="box"];1587[label="yv4010",fontsize=16,color="green",shape="box"];1588[label="yv310",fontsize=16,color="green",shape="box"];1589[label="yv4010",fontsize=16,color="green",shape="box"];1590[label="yv310",fontsize=16,color="green",shape="box"];1591[label="yv4010",fontsize=16,color="green",shape="box"];1592[label="yv310",fontsize=16,color="green",shape="box"];1593[label="yv4010",fontsize=16,color="green",shape="box"];1594[label="yv310",fontsize=16,color="green",shape="box"];1595[label="yv4010",fontsize=16,color="green",shape="box"];1596[label="yv310",fontsize=16,color="green",shape="box"];1597[label="yv4010",fontsize=16,color="green",shape="box"];1598[label="yv310",fontsize=16,color="green",shape="box"];1599[label="yv4010",fontsize=16,color="green",shape="box"];1600[label="yv310",fontsize=16,color="green",shape="box"];1601[label="yv4010",fontsize=16,color="green",shape="box"];1602[label="yv310",fontsize=16,color="green",shape="box"];1603[label="yv4010",fontsize=16,color="green",shape="box"];1604[label="yv310",fontsize=16,color="green",shape="box"];1605[label="yv4010",fontsize=16,color="green",shape="box"];1606[label="yv310",fontsize=16,color="green",shape="box"];1607[label="yv4010",fontsize=16,color="green",shape="box"];1608[label="yv310",fontsize=16,color="green",shape="box"];1609[label="yv4010",fontsize=16,color="green",shape="box"];1610[label="yv310",fontsize=16,color="green",shape="box"];1611[label="yv4010",fontsize=16,color="green",shape="box"];1612[label="yv310",fontsize=16,color="green",shape="box"];1613[label="yv4000",fontsize=16,color="green",shape="box"];1614[label="yv300",fontsize=16,color="green",shape="box"];1615[label="yv4000",fontsize=16,color="green",shape="box"];1616[label="yv300",fontsize=16,color="green",shape="box"];1617[label="yv4000",fontsize=16,color="green",shape="box"];1618[label="yv300",fontsize=16,color="green",shape="box"];1619[label="yv4000",fontsize=16,color="green",shape="box"];1620[label="yv300",fontsize=16,color="green",shape="box"];1621[label="yv4000",fontsize=16,color="green",shape="box"];1622[label="yv300",fontsize=16,color="green",shape="box"];1623[label="yv4000",fontsize=16,color="green",shape="box"];1624[label="yv300",fontsize=16,color="green",shape="box"];1625[label="yv4000",fontsize=16,color="green",shape="box"];1626[label="yv300",fontsize=16,color="green",shape="box"];1627[label="yv4000",fontsize=16,color="green",shape="box"];1628[label="yv300",fontsize=16,color="green",shape="box"];1629[label="yv4000",fontsize=16,color="green",shape="box"];1630[label="yv300",fontsize=16,color="green",shape="box"];1631[label="yv4000",fontsize=16,color="green",shape="box"];1632[label="yv300",fontsize=16,color="green",shape="box"];1633[label="yv4000",fontsize=16,color="green",shape="box"];1634[label="yv300",fontsize=16,color="green",shape="box"];1635[label="yv4000",fontsize=16,color="green",shape="box"];1636[label="yv300",fontsize=16,color="green",shape="box"];1637[label="yv4000",fontsize=16,color="green",shape="box"];1638[label="yv300",fontsize=16,color="green",shape="box"];1639[label="yv4000",fontsize=16,color="green",shape="box"];1640[label="yv300",fontsize=16,color="green",shape="box"];1641 -> 1391[label="",style="dashed", color="red", weight=0]; 1641[label="yv301 == yv4001",fontsize=16,color="magenta"];1641 -> 1767[label="",style="dashed", color="magenta", weight=3]; 1641 -> 1768[label="",style="dashed", color="magenta", weight=3]; 1642 -> 1394[label="",style="dashed", color="red", weight=0]; 1642[label="yv301 == yv4001",fontsize=16,color="magenta"];1642 -> 1769[label="",style="dashed", color="magenta", weight=3]; 1642 -> 1770[label="",style="dashed", color="magenta", weight=3]; 1643 -> 1391[label="",style="dashed", color="red", weight=0]; 1643[label="yv300 == yv4000",fontsize=16,color="magenta"];1643 -> 1771[label="",style="dashed", color="magenta", weight=3]; 1643 -> 1772[label="",style="dashed", color="magenta", weight=3]; 1644 -> 1394[label="",style="dashed", color="red", weight=0]; 1644[label="yv300 == yv4000",fontsize=16,color="magenta"];1644 -> 1773[label="",style="dashed", color="magenta", weight=3]; 1644 -> 1774[label="",style="dashed", color="magenta", weight=3]; 1645[label="yv4000",fontsize=16,color="green",shape="box"];1646[label="yv300",fontsize=16,color="green",shape="box"];1647[label="yv4000",fontsize=16,color="green",shape="box"];1648[label="yv300",fontsize=16,color="green",shape="box"];1649[label="yv4000",fontsize=16,color="green",shape="box"];1650[label="yv300",fontsize=16,color="green",shape="box"];1651[label="yv4000",fontsize=16,color="green",shape="box"];1652[label="yv300",fontsize=16,color="green",shape="box"];1653[label="yv4000",fontsize=16,color="green",shape="box"];1654[label="yv300",fontsize=16,color="green",shape="box"];1655[label="yv4000",fontsize=16,color="green",shape="box"];1656[label="yv300",fontsize=16,color="green",shape="box"];1657[label="yv4000",fontsize=16,color="green",shape="box"];1658[label="yv300",fontsize=16,color="green",shape="box"];1659[label="yv4000",fontsize=16,color="green",shape="box"];1660[label="yv300",fontsize=16,color="green",shape="box"];1661[label="yv4000",fontsize=16,color="green",shape="box"];1662[label="yv300",fontsize=16,color="green",shape="box"];1663[label="yv4000",fontsize=16,color="green",shape="box"];1664[label="yv300",fontsize=16,color="green",shape="box"];1665[label="yv4000",fontsize=16,color="green",shape="box"];1666[label="yv300",fontsize=16,color="green",shape="box"];1667[label="yv4000",fontsize=16,color="green",shape="box"];1668[label="yv300",fontsize=16,color="green",shape="box"];1669[label="yv4000",fontsize=16,color="green",shape="box"];1670[label="yv300",fontsize=16,color="green",shape="box"];1671[label="yv4000",fontsize=16,color="green",shape="box"];1672[label="yv300",fontsize=16,color="green",shape="box"];1673[label="yv4000",fontsize=16,color="green",shape="box"];1674[label="yv300",fontsize=16,color="green",shape="box"];1675[label="yv4000",fontsize=16,color="green",shape="box"];1676[label="yv300",fontsize=16,color="green",shape="box"];1677[label="yv4000",fontsize=16,color="green",shape="box"];1678[label="yv300",fontsize=16,color="green",shape="box"];1679[label="yv4000",fontsize=16,color="green",shape="box"];1680[label="yv300",fontsize=16,color="green",shape="box"];1681[label="yv4000",fontsize=16,color="green",shape="box"];1682[label="yv300",fontsize=16,color="green",shape="box"];1683[label="yv4000",fontsize=16,color="green",shape="box"];1684[label="yv300",fontsize=16,color="green",shape="box"];1685[label="yv4000",fontsize=16,color="green",shape="box"];1686[label="yv300",fontsize=16,color="green",shape="box"];1687[label="yv4000",fontsize=16,color="green",shape="box"];1688[label="yv300",fontsize=16,color="green",shape="box"];1689[label="yv4000",fontsize=16,color="green",shape="box"];1690[label="yv300",fontsize=16,color="green",shape="box"];1691[label="yv4000",fontsize=16,color="green",shape="box"];1692[label="yv300",fontsize=16,color="green",shape="box"];1693[label="yv4000",fontsize=16,color="green",shape="box"];1694[label="yv300",fontsize=16,color="green",shape="box"];1695[label="yv4000",fontsize=16,color="green",shape="box"];1696[label="yv300",fontsize=16,color="green",shape="box"];1697[label="yv4000",fontsize=16,color="green",shape="box"];1698[label="yv300",fontsize=16,color="green",shape="box"];1699[label="yv4000",fontsize=16,color="green",shape="box"];1700[label="yv300",fontsize=16,color="green",shape="box"];1701[label="yv302 == yv4002",fontsize=16,color="blue",shape="box"];2270[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2270[label="",style="solid", color="blue", weight=9]; 2270 -> 1775[label="",style="solid", color="blue", weight=3]; 2271[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2271[label="",style="solid", color="blue", weight=9]; 2271 -> 1776[label="",style="solid", color="blue", weight=3]; 2272[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2272[label="",style="solid", color="blue", weight=9]; 2272 -> 1777[label="",style="solid", color="blue", weight=3]; 2273[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2273[label="",style="solid", color="blue", weight=9]; 2273 -> 1778[label="",style="solid", color="blue", weight=3]; 2274[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2274[label="",style="solid", color="blue", weight=9]; 2274 -> 1779[label="",style="solid", color="blue", weight=3]; 2275[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2275[label="",style="solid", color="blue", weight=9]; 2275 -> 1780[label="",style="solid", color="blue", weight=3]; 2276[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2276[label="",style="solid", color="blue", weight=9]; 2276 -> 1781[label="",style="solid", color="blue", weight=3]; 2277[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2277[label="",style="solid", color="blue", weight=9]; 2277 -> 1782[label="",style="solid", color="blue", weight=3]; 2278[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2278[label="",style="solid", color="blue", weight=9]; 2278 -> 1783[label="",style="solid", color="blue", weight=3]; 2279[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2279[label="",style="solid", color="blue", weight=9]; 2279 -> 1784[label="",style="solid", color="blue", weight=3]; 2280[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2280[label="",style="solid", color="blue", weight=9]; 2280 -> 1785[label="",style="solid", color="blue", weight=3]; 2281[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2281[label="",style="solid", color="blue", weight=9]; 2281 -> 1786[label="",style="solid", color="blue", weight=3]; 2282[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2282[label="",style="solid", color="blue", weight=9]; 2282 -> 1787[label="",style="solid", color="blue", weight=3]; 2283[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1701 -> 2283[label="",style="solid", color="blue", weight=9]; 2283 -> 1788[label="",style="solid", color="blue", weight=3]; 1702[label="yv301 == yv4001",fontsize=16,color="blue",shape="box"];2284[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2284[label="",style="solid", color="blue", weight=9]; 2284 -> 1789[label="",style="solid", color="blue", weight=3]; 2285[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2285[label="",style="solid", color="blue", weight=9]; 2285 -> 1790[label="",style="solid", color="blue", weight=3]; 2286[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2286[label="",style="solid", color="blue", weight=9]; 2286 -> 1791[label="",style="solid", color="blue", weight=3]; 2287[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2287[label="",style="solid", color="blue", weight=9]; 2287 -> 1792[label="",style="solid", color="blue", weight=3]; 2288[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2288[label="",style="solid", color="blue", weight=9]; 2288 -> 1793[label="",style="solid", color="blue", weight=3]; 2289[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2289[label="",style="solid", color="blue", weight=9]; 2289 -> 1794[label="",style="solid", color="blue", weight=3]; 2290[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2290[label="",style="solid", color="blue", weight=9]; 2290 -> 1795[label="",style="solid", color="blue", weight=3]; 2291[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2291[label="",style="solid", color="blue", weight=9]; 2291 -> 1796[label="",style="solid", color="blue", weight=3]; 2292[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2292[label="",style="solid", color="blue", weight=9]; 2292 -> 1797[label="",style="solid", color="blue", weight=3]; 2293[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2293[label="",style="solid", color="blue", weight=9]; 2293 -> 1798[label="",style="solid", color="blue", weight=3]; 2294[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2294[label="",style="solid", color="blue", weight=9]; 2294 -> 1799[label="",style="solid", color="blue", weight=3]; 2295[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2295[label="",style="solid", color="blue", weight=9]; 2295 -> 1800[label="",style="solid", color="blue", weight=3]; 2296[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2296[label="",style="solid", color="blue", weight=9]; 2296 -> 1801[label="",style="solid", color="blue", weight=3]; 2297[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1702 -> 2297[label="",style="solid", color="blue", weight=9]; 2297 -> 1802[label="",style="solid", color="blue", weight=3]; 1703 -> 1385[label="",style="dashed", color="red", weight=0]; 1703[label="yv300 == yv4000",fontsize=16,color="magenta"];1703 -> 1803[label="",style="dashed", color="magenta", weight=3]; 1703 -> 1804[label="",style="dashed", color="magenta", weight=3]; 1704 -> 1386[label="",style="dashed", color="red", weight=0]; 1704[label="yv300 == yv4000",fontsize=16,color="magenta"];1704 -> 1805[label="",style="dashed", color="magenta", weight=3]; 1704 -> 1806[label="",style="dashed", color="magenta", weight=3]; 1705 -> 1387[label="",style="dashed", color="red", weight=0]; 1705[label="yv300 == yv4000",fontsize=16,color="magenta"];1705 -> 1807[label="",style="dashed", color="magenta", weight=3]; 1705 -> 1808[label="",style="dashed", color="magenta", weight=3]; 1706 -> 1379[label="",style="dashed", color="red", weight=0]; 1706[label="yv300 == yv4000",fontsize=16,color="magenta"];1706 -> 1809[label="",style="dashed", color="magenta", weight=3]; 1706 -> 1810[label="",style="dashed", color="magenta", weight=3]; 1707 -> 1389[label="",style="dashed", color="red", weight=0]; 1707[label="yv300 == yv4000",fontsize=16,color="magenta"];1707 -> 1811[label="",style="dashed", color="magenta", weight=3]; 1707 -> 1812[label="",style="dashed", color="magenta", weight=3]; 1708 -> 1390[label="",style="dashed", color="red", weight=0]; 1708[label="yv300 == yv4000",fontsize=16,color="magenta"];1708 -> 1813[label="",style="dashed", color="magenta", weight=3]; 1708 -> 1814[label="",style="dashed", color="magenta", weight=3]; 1709 -> 1391[label="",style="dashed", color="red", weight=0]; 1709[label="yv300 == yv4000",fontsize=16,color="magenta"];1709 -> 1815[label="",style="dashed", color="magenta", weight=3]; 1709 -> 1816[label="",style="dashed", color="magenta", weight=3]; 1710 -> 1392[label="",style="dashed", color="red", weight=0]; 1710[label="yv300 == yv4000",fontsize=16,color="magenta"];1710 -> 1817[label="",style="dashed", color="magenta", weight=3]; 1710 -> 1818[label="",style="dashed", color="magenta", weight=3]; 1711 -> 1393[label="",style="dashed", color="red", weight=0]; 1711[label="yv300 == yv4000",fontsize=16,color="magenta"];1711 -> 1819[label="",style="dashed", color="magenta", weight=3]; 1711 -> 1820[label="",style="dashed", color="magenta", weight=3]; 1712 -> 1394[label="",style="dashed", color="red", weight=0]; 1712[label="yv300 == yv4000",fontsize=16,color="magenta"];1712 -> 1821[label="",style="dashed", color="magenta", weight=3]; 1712 -> 1822[label="",style="dashed", color="magenta", weight=3]; 1713 -> 1395[label="",style="dashed", color="red", weight=0]; 1713[label="yv300 == yv4000",fontsize=16,color="magenta"];1713 -> 1823[label="",style="dashed", color="magenta", weight=3]; 1713 -> 1824[label="",style="dashed", color="magenta", weight=3]; 1714 -> 1396[label="",style="dashed", color="red", weight=0]; 1714[label="yv300 == yv4000",fontsize=16,color="magenta"];1714 -> 1825[label="",style="dashed", color="magenta", weight=3]; 1714 -> 1826[label="",style="dashed", color="magenta", weight=3]; 1715 -> 1397[label="",style="dashed", color="red", weight=0]; 1715[label="yv300 == yv4000",fontsize=16,color="magenta"];1715 -> 1827[label="",style="dashed", color="magenta", weight=3]; 1715 -> 1828[label="",style="dashed", color="magenta", weight=3]; 1716 -> 1398[label="",style="dashed", color="red", weight=0]; 1716[label="yv300 == yv4000",fontsize=16,color="magenta"];1716 -> 1829[label="",style="dashed", color="magenta", weight=3]; 1716 -> 1830[label="",style="dashed", color="magenta", weight=3]; 1717[label="primEqInt (Pos (Succ yv3000)) (Pos (Succ yv40000))",fontsize=16,color="black",shape="box"];1717 -> 1831[label="",style="solid", color="black", weight=3]; 1718[label="primEqInt (Pos (Succ yv3000)) (Pos Zero)",fontsize=16,color="black",shape="box"];1718 -> 1832[label="",style="solid", color="black", weight=3]; 1719[label="False",fontsize=16,color="green",shape="box"];1720[label="primEqInt (Pos Zero) (Pos (Succ yv40000))",fontsize=16,color="black",shape="box"];1720 -> 1833[label="",style="solid", color="black", weight=3]; 1721[label="primEqInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1721 -> 1834[label="",style="solid", color="black", weight=3]; 1722[label="primEqInt (Pos Zero) (Neg (Succ yv40000))",fontsize=16,color="black",shape="box"];1722 -> 1835[label="",style="solid", color="black", weight=3]; 1723[label="primEqInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1723 -> 1836[label="",style="solid", color="black", weight=3]; 1724[label="False",fontsize=16,color="green",shape="box"];1725[label="primEqInt (Neg (Succ yv3000)) (Neg (Succ yv40000))",fontsize=16,color="black",shape="box"];1725 -> 1837[label="",style="solid", color="black", weight=3]; 1726[label="primEqInt (Neg (Succ yv3000)) (Neg Zero)",fontsize=16,color="black",shape="box"];1726 -> 1838[label="",style="solid", color="black", weight=3]; 1727[label="primEqInt (Neg Zero) (Pos (Succ yv40000))",fontsize=16,color="black",shape="box"];1727 -> 1839[label="",style="solid", color="black", weight=3]; 1728[label="primEqInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1728 -> 1840[label="",style="solid", color="black", weight=3]; 1729[label="primEqInt (Neg Zero) (Neg (Succ yv40000))",fontsize=16,color="black",shape="box"];1729 -> 1841[label="",style="solid", color="black", weight=3]; 1730[label="primEqInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1730 -> 1842[label="",style="solid", color="black", weight=3]; 1731[label="primEqNat (Succ yv3000) yv4000",fontsize=16,color="burlywood",shape="box"];2298[label="yv4000/Succ yv40000",fontsize=10,color="white",style="solid",shape="box"];1731 -> 2298[label="",style="solid", color="burlywood", weight=9]; 2298 -> 1843[label="",style="solid", color="burlywood", weight=3]; 2299[label="yv4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1731 -> 2299[label="",style="solid", color="burlywood", weight=9]; 2299 -> 1844[label="",style="solid", color="burlywood", weight=3]; 1732[label="primEqNat Zero yv4000",fontsize=16,color="burlywood",shape="box"];2300[label="yv4000/Succ yv40000",fontsize=10,color="white",style="solid",shape="box"];1732 -> 2300[label="",style="solid", color="burlywood", weight=9]; 2300 -> 1845[label="",style="solid", color="burlywood", weight=3]; 2301[label="yv4000/Zero",fontsize=10,color="white",style="solid",shape="box"];1732 -> 2301[label="",style="solid", color="burlywood", weight=9]; 2301 -> 1846[label="",style="solid", color="burlywood", weight=3]; 1733 -> 1385[label="",style="dashed", color="red", weight=0]; 1733[label="yv301 == yv4001",fontsize=16,color="magenta"];1733 -> 1847[label="",style="dashed", color="magenta", weight=3]; 1733 -> 1848[label="",style="dashed", color="magenta", weight=3]; 1734 -> 1386[label="",style="dashed", color="red", weight=0]; 1734[label="yv301 == yv4001",fontsize=16,color="magenta"];1734 -> 1849[label="",style="dashed", color="magenta", weight=3]; 1734 -> 1850[label="",style="dashed", color="magenta", weight=3]; 1735 -> 1387[label="",style="dashed", color="red", weight=0]; 1735[label="yv301 == yv4001",fontsize=16,color="magenta"];1735 -> 1851[label="",style="dashed", color="magenta", weight=3]; 1735 -> 1852[label="",style="dashed", color="magenta", weight=3]; 1736 -> 1379[label="",style="dashed", color="red", weight=0]; 1736[label="yv301 == yv4001",fontsize=16,color="magenta"];1736 -> 1853[label="",style="dashed", color="magenta", weight=3]; 1736 -> 1854[label="",style="dashed", color="magenta", weight=3]; 1737 -> 1389[label="",style="dashed", color="red", weight=0]; 1737[label="yv301 == yv4001",fontsize=16,color="magenta"];1737 -> 1855[label="",style="dashed", color="magenta", weight=3]; 1737 -> 1856[label="",style="dashed", color="magenta", weight=3]; 1738 -> 1390[label="",style="dashed", color="red", weight=0]; 1738[label="yv301 == yv4001",fontsize=16,color="magenta"];1738 -> 1857[label="",style="dashed", color="magenta", weight=3]; 1738 -> 1858[label="",style="dashed", color="magenta", weight=3]; 1739 -> 1391[label="",style="dashed", color="red", weight=0]; 1739[label="yv301 == yv4001",fontsize=16,color="magenta"];1739 -> 1859[label="",style="dashed", color="magenta", weight=3]; 1739 -> 1860[label="",style="dashed", color="magenta", weight=3]; 1740 -> 1392[label="",style="dashed", color="red", weight=0]; 1740[label="yv301 == yv4001",fontsize=16,color="magenta"];1740 -> 1861[label="",style="dashed", color="magenta", weight=3]; 1740 -> 1862[label="",style="dashed", color="magenta", weight=3]; 1741 -> 1393[label="",style="dashed", color="red", weight=0]; 1741[label="yv301 == yv4001",fontsize=16,color="magenta"];1741 -> 1863[label="",style="dashed", color="magenta", weight=3]; 1741 -> 1864[label="",style="dashed", color="magenta", weight=3]; 1742 -> 1394[label="",style="dashed", color="red", weight=0]; 1742[label="yv301 == yv4001",fontsize=16,color="magenta"];1742 -> 1865[label="",style="dashed", color="magenta", weight=3]; 1742 -> 1866[label="",style="dashed", color="magenta", weight=3]; 1743 -> 1395[label="",style="dashed", color="red", weight=0]; 1743[label="yv301 == yv4001",fontsize=16,color="magenta"];1743 -> 1867[label="",style="dashed", color="magenta", weight=3]; 1743 -> 1868[label="",style="dashed", color="magenta", weight=3]; 1744 -> 1396[label="",style="dashed", color="red", weight=0]; 1744[label="yv301 == yv4001",fontsize=16,color="magenta"];1744 -> 1869[label="",style="dashed", color="magenta", weight=3]; 1744 -> 1870[label="",style="dashed", color="magenta", weight=3]; 1745 -> 1397[label="",style="dashed", color="red", weight=0]; 1745[label="yv301 == yv4001",fontsize=16,color="magenta"];1745 -> 1871[label="",style="dashed", color="magenta", weight=3]; 1745 -> 1872[label="",style="dashed", color="magenta", weight=3]; 1746 -> 1398[label="",style="dashed", color="red", weight=0]; 1746[label="yv301 == yv4001",fontsize=16,color="magenta"];1746 -> 1873[label="",style="dashed", color="magenta", weight=3]; 1746 -> 1874[label="",style="dashed", color="magenta", weight=3]; 1747 -> 1385[label="",style="dashed", color="red", weight=0]; 1747[label="yv300 == yv4000",fontsize=16,color="magenta"];1747 -> 1875[label="",style="dashed", color="magenta", weight=3]; 1747 -> 1876[label="",style="dashed", color="magenta", weight=3]; 1748 -> 1386[label="",style="dashed", color="red", weight=0]; 1748[label="yv300 == yv4000",fontsize=16,color="magenta"];1748 -> 1877[label="",style="dashed", color="magenta", weight=3]; 1748 -> 1878[label="",style="dashed", color="magenta", weight=3]; 1749 -> 1387[label="",style="dashed", color="red", weight=0]; 1749[label="yv300 == yv4000",fontsize=16,color="magenta"];1749 -> 1879[label="",style="dashed", color="magenta", weight=3]; 1749 -> 1880[label="",style="dashed", color="magenta", weight=3]; 1750 -> 1379[label="",style="dashed", color="red", weight=0]; 1750[label="yv300 == yv4000",fontsize=16,color="magenta"];1750 -> 1881[label="",style="dashed", color="magenta", weight=3]; 1750 -> 1882[label="",style="dashed", color="magenta", weight=3]; 1751 -> 1389[label="",style="dashed", color="red", weight=0]; 1751[label="yv300 == yv4000",fontsize=16,color="magenta"];1751 -> 1883[label="",style="dashed", color="magenta", weight=3]; 1751 -> 1884[label="",style="dashed", color="magenta", weight=3]; 1752 -> 1390[label="",style="dashed", color="red", weight=0]; 1752[label="yv300 == yv4000",fontsize=16,color="magenta"];1752 -> 1885[label="",style="dashed", color="magenta", weight=3]; 1752 -> 1886[label="",style="dashed", color="magenta", weight=3]; 1753 -> 1391[label="",style="dashed", color="red", weight=0]; 1753[label="yv300 == yv4000",fontsize=16,color="magenta"];1753 -> 1887[label="",style="dashed", color="magenta", weight=3]; 1753 -> 1888[label="",style="dashed", color="magenta", weight=3]; 1754 -> 1392[label="",style="dashed", color="red", weight=0]; 1754[label="yv300 == yv4000",fontsize=16,color="magenta"];1754 -> 1889[label="",style="dashed", color="magenta", weight=3]; 1754 -> 1890[label="",style="dashed", color="magenta", weight=3]; 1755 -> 1393[label="",style="dashed", color="red", weight=0]; 1755[label="yv300 == yv4000",fontsize=16,color="magenta"];1755 -> 1891[label="",style="dashed", color="magenta", weight=3]; 1755 -> 1892[label="",style="dashed", color="magenta", weight=3]; 1756 -> 1394[label="",style="dashed", color="red", weight=0]; 1756[label="yv300 == yv4000",fontsize=16,color="magenta"];1756 -> 1893[label="",style="dashed", color="magenta", weight=3]; 1756 -> 1894[label="",style="dashed", color="magenta", weight=3]; 1757 -> 1395[label="",style="dashed", color="red", weight=0]; 1757[label="yv300 == yv4000",fontsize=16,color="magenta"];1757 -> 1895[label="",style="dashed", color="magenta", weight=3]; 1757 -> 1896[label="",style="dashed", color="magenta", weight=3]; 1758 -> 1396[label="",style="dashed", color="red", weight=0]; 1758[label="yv300 == yv4000",fontsize=16,color="magenta"];1758 -> 1897[label="",style="dashed", color="magenta", weight=3]; 1758 -> 1898[label="",style="dashed", color="magenta", weight=3]; 1759 -> 1397[label="",style="dashed", color="red", weight=0]; 1759[label="yv300 == yv4000",fontsize=16,color="magenta"];1759 -> 1899[label="",style="dashed", color="magenta", weight=3]; 1759 -> 1900[label="",style="dashed", color="magenta", weight=3]; 1760 -> 1398[label="",style="dashed", color="red", weight=0]; 1760[label="yv300 == yv4000",fontsize=16,color="magenta"];1760 -> 1901[label="",style="dashed", color="magenta", weight=3]; 1760 -> 1902[label="",style="dashed", color="magenta", weight=3]; 1761[label="yv301 * yv4000",fontsize=16,color="black",shape="triangle"];1761 -> 1903[label="",style="solid", color="black", weight=3]; 1762 -> 1761[label="",style="dashed", color="red", weight=0]; 1762[label="yv300 * yv4001",fontsize=16,color="magenta"];1762 -> 1904[label="",style="dashed", color="magenta", weight=3]; 1762 -> 1905[label="",style="dashed", color="magenta", weight=3]; 1763 -> 1761[label="",style="dashed", color="red", weight=0]; 1763[label="yv301 * yv4000",fontsize=16,color="magenta"];1763 -> 1906[label="",style="dashed", color="magenta", weight=3]; 1763 -> 1907[label="",style="dashed", color="magenta", weight=3]; 1764 -> 1761[label="",style="dashed", color="red", weight=0]; 1764[label="yv300 * yv4001",fontsize=16,color="magenta"];1764 -> 1908[label="",style="dashed", color="magenta", weight=3]; 1764 -> 1909[label="",style="dashed", color="magenta", weight=3]; 1430[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 (yv15110 : yv15111) (enforceWHNF (WHNF (primPlusInt (Pos yv37) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos yv37) (fromInt (Pos (Succ Zero)))))))))",fontsize=16,color="black",shape="box"];1430 -> 1467[label="",style="solid", color="black", weight=3]; 1403[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 (yv41110 : yv41111) (enforceWHNF (WHNF (primPlusInt (Pos yv35) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos yv35) (fromInt (Pos (Succ Zero)))))))))",fontsize=16,color="black",shape="box"];1403 -> 1431[label="",style="solid", color="black", weight=3]; 1767[label="yv4001",fontsize=16,color="green",shape="box"];1768[label="yv301",fontsize=16,color="green",shape="box"];1769[label="yv4001",fontsize=16,color="green",shape="box"];1770[label="yv301",fontsize=16,color="green",shape="box"];1771[label="yv4000",fontsize=16,color="green",shape="box"];1772[label="yv300",fontsize=16,color="green",shape="box"];1773[label="yv4000",fontsize=16,color="green",shape="box"];1774[label="yv300",fontsize=16,color="green",shape="box"];1775 -> 1385[label="",style="dashed", color="red", weight=0]; 1775[label="yv302 == yv4002",fontsize=16,color="magenta"];1775 -> 1912[label="",style="dashed", color="magenta", weight=3]; 1775 -> 1913[label="",style="dashed", color="magenta", weight=3]; 1776 -> 1386[label="",style="dashed", color="red", weight=0]; 1776[label="yv302 == yv4002",fontsize=16,color="magenta"];1776 -> 1914[label="",style="dashed", color="magenta", weight=3]; 1776 -> 1915[label="",style="dashed", color="magenta", weight=3]; 1777 -> 1387[label="",style="dashed", color="red", weight=0]; 1777[label="yv302 == yv4002",fontsize=16,color="magenta"];1777 -> 1916[label="",style="dashed", color="magenta", weight=3]; 1777 -> 1917[label="",style="dashed", color="magenta", weight=3]; 1778 -> 1379[label="",style="dashed", color="red", weight=0]; 1778[label="yv302 == yv4002",fontsize=16,color="magenta"];1778 -> 1918[label="",style="dashed", color="magenta", weight=3]; 1778 -> 1919[label="",style="dashed", color="magenta", weight=3]; 1779 -> 1389[label="",style="dashed", color="red", weight=0]; 1779[label="yv302 == yv4002",fontsize=16,color="magenta"];1779 -> 1920[label="",style="dashed", color="magenta", weight=3]; 1779 -> 1921[label="",style="dashed", color="magenta", weight=3]; 1780 -> 1390[label="",style="dashed", color="red", weight=0]; 1780[label="yv302 == yv4002",fontsize=16,color="magenta"];1780 -> 1922[label="",style="dashed", color="magenta", weight=3]; 1780 -> 1923[label="",style="dashed", color="magenta", weight=3]; 1781 -> 1391[label="",style="dashed", color="red", weight=0]; 1781[label="yv302 == yv4002",fontsize=16,color="magenta"];1781 -> 1924[label="",style="dashed", color="magenta", weight=3]; 1781 -> 1925[label="",style="dashed", color="magenta", weight=3]; 1782 -> 1392[label="",style="dashed", color="red", weight=0]; 1782[label="yv302 == yv4002",fontsize=16,color="magenta"];1782 -> 1926[label="",style="dashed", color="magenta", weight=3]; 1782 -> 1927[label="",style="dashed", color="magenta", weight=3]; 1783 -> 1393[label="",style="dashed", color="red", weight=0]; 1783[label="yv302 == yv4002",fontsize=16,color="magenta"];1783 -> 1928[label="",style="dashed", color="magenta", weight=3]; 1783 -> 1929[label="",style="dashed", color="magenta", weight=3]; 1784 -> 1394[label="",style="dashed", color="red", weight=0]; 1784[label="yv302 == yv4002",fontsize=16,color="magenta"];1784 -> 1930[label="",style="dashed", color="magenta", weight=3]; 1784 -> 1931[label="",style="dashed", color="magenta", weight=3]; 1785 -> 1395[label="",style="dashed", color="red", weight=0]; 1785[label="yv302 == yv4002",fontsize=16,color="magenta"];1785 -> 1932[label="",style="dashed", color="magenta", weight=3]; 1785 -> 1933[label="",style="dashed", color="magenta", weight=3]; 1786 -> 1396[label="",style="dashed", color="red", weight=0]; 1786[label="yv302 == yv4002",fontsize=16,color="magenta"];1786 -> 1934[label="",style="dashed", color="magenta", weight=3]; 1786 -> 1935[label="",style="dashed", color="magenta", weight=3]; 1787 -> 1397[label="",style="dashed", color="red", weight=0]; 1787[label="yv302 == yv4002",fontsize=16,color="magenta"];1787 -> 1936[label="",style="dashed", color="magenta", weight=3]; 1787 -> 1937[label="",style="dashed", color="magenta", weight=3]; 1788 -> 1398[label="",style="dashed", color="red", weight=0]; 1788[label="yv302 == yv4002",fontsize=16,color="magenta"];1788 -> 1938[label="",style="dashed", color="magenta", weight=3]; 1788 -> 1939[label="",style="dashed", color="magenta", weight=3]; 1789 -> 1385[label="",style="dashed", color="red", weight=0]; 1789[label="yv301 == yv4001",fontsize=16,color="magenta"];1789 -> 1940[label="",style="dashed", color="magenta", weight=3]; 1789 -> 1941[label="",style="dashed", color="magenta", weight=3]; 1790 -> 1386[label="",style="dashed", color="red", weight=0]; 1790[label="yv301 == yv4001",fontsize=16,color="magenta"];1790 -> 1942[label="",style="dashed", color="magenta", weight=3]; 1790 -> 1943[label="",style="dashed", color="magenta", weight=3]; 1791 -> 1387[label="",style="dashed", color="red", weight=0]; 1791[label="yv301 == yv4001",fontsize=16,color="magenta"];1791 -> 1944[label="",style="dashed", color="magenta", weight=3]; 1791 -> 1945[label="",style="dashed", color="magenta", weight=3]; 1792 -> 1379[label="",style="dashed", color="red", weight=0]; 1792[label="yv301 == yv4001",fontsize=16,color="magenta"];1792 -> 1946[label="",style="dashed", color="magenta", weight=3]; 1792 -> 1947[label="",style="dashed", color="magenta", weight=3]; 1793 -> 1389[label="",style="dashed", color="red", weight=0]; 1793[label="yv301 == yv4001",fontsize=16,color="magenta"];1793 -> 1948[label="",style="dashed", color="magenta", weight=3]; 1793 -> 1949[label="",style="dashed", color="magenta", weight=3]; 1794 -> 1390[label="",style="dashed", color="red", weight=0]; 1794[label="yv301 == yv4001",fontsize=16,color="magenta"];1794 -> 1950[label="",style="dashed", color="magenta", weight=3]; 1794 -> 1951[label="",style="dashed", color="magenta", weight=3]; 1795 -> 1391[label="",style="dashed", color="red", weight=0]; 1795[label="yv301 == yv4001",fontsize=16,color="magenta"];1795 -> 1952[label="",style="dashed", color="magenta", weight=3]; 1795 -> 1953[label="",style="dashed", color="magenta", weight=3]; 1796 -> 1392[label="",style="dashed", color="red", weight=0]; 1796[label="yv301 == yv4001",fontsize=16,color="magenta"];1796 -> 1954[label="",style="dashed", color="magenta", weight=3]; 1796 -> 1955[label="",style="dashed", color="magenta", weight=3]; 1797 -> 1393[label="",style="dashed", color="red", weight=0]; 1797[label="yv301 == yv4001",fontsize=16,color="magenta"];1797 -> 1956[label="",style="dashed", color="magenta", weight=3]; 1797 -> 1957[label="",style="dashed", color="magenta", weight=3]; 1798 -> 1394[label="",style="dashed", color="red", weight=0]; 1798[label="yv301 == yv4001",fontsize=16,color="magenta"];1798 -> 1958[label="",style="dashed", color="magenta", weight=3]; 1798 -> 1959[label="",style="dashed", color="magenta", weight=3]; 1799 -> 1395[label="",style="dashed", color="red", weight=0]; 1799[label="yv301 == yv4001",fontsize=16,color="magenta"];1799 -> 1960[label="",style="dashed", color="magenta", weight=3]; 1799 -> 1961[label="",style="dashed", color="magenta", weight=3]; 1800 -> 1396[label="",style="dashed", color="red", weight=0]; 1800[label="yv301 == yv4001",fontsize=16,color="magenta"];1800 -> 1962[label="",style="dashed", color="magenta", weight=3]; 1800 -> 1963[label="",style="dashed", color="magenta", weight=3]; 1801 -> 1397[label="",style="dashed", color="red", weight=0]; 1801[label="yv301 == yv4001",fontsize=16,color="magenta"];1801 -> 1964[label="",style="dashed", color="magenta", weight=3]; 1801 -> 1965[label="",style="dashed", color="magenta", weight=3]; 1802 -> 1398[label="",style="dashed", color="red", weight=0]; 1802[label="yv301 == yv4001",fontsize=16,color="magenta"];1802 -> 1966[label="",style="dashed", color="magenta", weight=3]; 1802 -> 1967[label="",style="dashed", color="magenta", weight=3]; 1803[label="yv4000",fontsize=16,color="green",shape="box"];1804[label="yv300",fontsize=16,color="green",shape="box"];1805[label="yv4000",fontsize=16,color="green",shape="box"];1806[label="yv300",fontsize=16,color="green",shape="box"];1807[label="yv4000",fontsize=16,color="green",shape="box"];1808[label="yv300",fontsize=16,color="green",shape="box"];1809[label="yv4000",fontsize=16,color="green",shape="box"];1810[label="yv300",fontsize=16,color="green",shape="box"];1811[label="yv4000",fontsize=16,color="green",shape="box"];1812[label="yv300",fontsize=16,color="green",shape="box"];1813[label="yv4000",fontsize=16,color="green",shape="box"];1814[label="yv300",fontsize=16,color="green",shape="box"];1815[label="yv4000",fontsize=16,color="green",shape="box"];1816[label="yv300",fontsize=16,color="green",shape="box"];1817[label="yv4000",fontsize=16,color="green",shape="box"];1818[label="yv300",fontsize=16,color="green",shape="box"];1819[label="yv4000",fontsize=16,color="green",shape="box"];1820[label="yv300",fontsize=16,color="green",shape="box"];1821[label="yv4000",fontsize=16,color="green",shape="box"];1822[label="yv300",fontsize=16,color="green",shape="box"];1823[label="yv4000",fontsize=16,color="green",shape="box"];1824[label="yv300",fontsize=16,color="green",shape="box"];1825[label="yv4000",fontsize=16,color="green",shape="box"];1826[label="yv300",fontsize=16,color="green",shape="box"];1827[label="yv4000",fontsize=16,color="green",shape="box"];1828[label="yv300",fontsize=16,color="green",shape="box"];1829[label="yv4000",fontsize=16,color="green",shape="box"];1830[label="yv300",fontsize=16,color="green",shape="box"];1831 -> 1576[label="",style="dashed", color="red", weight=0]; 1831[label="primEqNat yv3000 yv40000",fontsize=16,color="magenta"];1831 -> 1968[label="",style="dashed", color="magenta", weight=3]; 1831 -> 1969[label="",style="dashed", color="magenta", weight=3]; 1832[label="False",fontsize=16,color="green",shape="box"];1833[label="False",fontsize=16,color="green",shape="box"];1834[label="True",fontsize=16,color="green",shape="box"];1835[label="False",fontsize=16,color="green",shape="box"];1836[label="True",fontsize=16,color="green",shape="box"];1837 -> 1576[label="",style="dashed", color="red", weight=0]; 1837[label="primEqNat yv3000 yv40000",fontsize=16,color="magenta"];1837 -> 1970[label="",style="dashed", color="magenta", weight=3]; 1837 -> 1971[label="",style="dashed", color="magenta", weight=3]; 1838[label="False",fontsize=16,color="green",shape="box"];1839[label="False",fontsize=16,color="green",shape="box"];1840[label="True",fontsize=16,color="green",shape="box"];1841[label="False",fontsize=16,color="green",shape="box"];1842[label="True",fontsize=16,color="green",shape="box"];1843[label="primEqNat (Succ yv3000) (Succ yv40000)",fontsize=16,color="black",shape="box"];1843 -> 1972[label="",style="solid", color="black", weight=3]; 1844[label="primEqNat (Succ yv3000) Zero",fontsize=16,color="black",shape="box"];1844 -> 1973[label="",style="solid", color="black", weight=3]; 1845[label="primEqNat Zero (Succ yv40000)",fontsize=16,color="black",shape="box"];1845 -> 1974[label="",style="solid", color="black", weight=3]; 1846[label="primEqNat Zero Zero",fontsize=16,color="black",shape="box"];1846 -> 1975[label="",style="solid", color="black", weight=3]; 1847[label="yv4001",fontsize=16,color="green",shape="box"];1848[label="yv301",fontsize=16,color="green",shape="box"];1849[label="yv4001",fontsize=16,color="green",shape="box"];1850[label="yv301",fontsize=16,color="green",shape="box"];1851[label="yv4001",fontsize=16,color="green",shape="box"];1852[label="yv301",fontsize=16,color="green",shape="box"];1853[label="yv4001",fontsize=16,color="green",shape="box"];1854[label="yv301",fontsize=16,color="green",shape="box"];1855[label="yv4001",fontsize=16,color="green",shape="box"];1856[label="yv301",fontsize=16,color="green",shape="box"];1857[label="yv4001",fontsize=16,color="green",shape="box"];1858[label="yv301",fontsize=16,color="green",shape="box"];1859[label="yv4001",fontsize=16,color="green",shape="box"];1860[label="yv301",fontsize=16,color="green",shape="box"];1861[label="yv4001",fontsize=16,color="green",shape="box"];1862[label="yv301",fontsize=16,color="green",shape="box"];1863[label="yv4001",fontsize=16,color="green",shape="box"];1864[label="yv301",fontsize=16,color="green",shape="box"];1865[label="yv4001",fontsize=16,color="green",shape="box"];1866[label="yv301",fontsize=16,color="green",shape="box"];1867[label="yv4001",fontsize=16,color="green",shape="box"];1868[label="yv301",fontsize=16,color="green",shape="box"];1869[label="yv4001",fontsize=16,color="green",shape="box"];1870[label="yv301",fontsize=16,color="green",shape="box"];1871[label="yv4001",fontsize=16,color="green",shape="box"];1872[label="yv301",fontsize=16,color="green",shape="box"];1873[label="yv4001",fontsize=16,color="green",shape="box"];1874[label="yv301",fontsize=16,color="green",shape="box"];1875[label="yv4000",fontsize=16,color="green",shape="box"];1876[label="yv300",fontsize=16,color="green",shape="box"];1877[label="yv4000",fontsize=16,color="green",shape="box"];1878[label="yv300",fontsize=16,color="green",shape="box"];1879[label="yv4000",fontsize=16,color="green",shape="box"];1880[label="yv300",fontsize=16,color="green",shape="box"];1881[label="yv4000",fontsize=16,color="green",shape="box"];1882[label="yv300",fontsize=16,color="green",shape="box"];1883[label="yv4000",fontsize=16,color="green",shape="box"];1884[label="yv300",fontsize=16,color="green",shape="box"];1885[label="yv4000",fontsize=16,color="green",shape="box"];1886[label="yv300",fontsize=16,color="green",shape="box"];1887[label="yv4000",fontsize=16,color="green",shape="box"];1888[label="yv300",fontsize=16,color="green",shape="box"];1889[label="yv4000",fontsize=16,color="green",shape="box"];1890[label="yv300",fontsize=16,color="green",shape="box"];1891[label="yv4000",fontsize=16,color="green",shape="box"];1892[label="yv300",fontsize=16,color="green",shape="box"];1893[label="yv4000",fontsize=16,color="green",shape="box"];1894[label="yv300",fontsize=16,color="green",shape="box"];1895[label="yv4000",fontsize=16,color="green",shape="box"];1896[label="yv300",fontsize=16,color="green",shape="box"];1897[label="yv4000",fontsize=16,color="green",shape="box"];1898[label="yv300",fontsize=16,color="green",shape="box"];1899[label="yv4000",fontsize=16,color="green",shape="box"];1900[label="yv300",fontsize=16,color="green",shape="box"];1901[label="yv4000",fontsize=16,color="green",shape="box"];1902[label="yv300",fontsize=16,color="green",shape="box"];1903[label="primMulInt yv301 yv4000",fontsize=16,color="burlywood",shape="box"];2302[label="yv301/Pos yv3010",fontsize=10,color="white",style="solid",shape="box"];1903 -> 2302[label="",style="solid", color="burlywood", weight=9]; 2302 -> 1976[label="",style="solid", color="burlywood", weight=3]; 2303[label="yv301/Neg yv3010",fontsize=10,color="white",style="solid",shape="box"];1903 -> 2303[label="",style="solid", color="burlywood", weight=9]; 2303 -> 1977[label="",style="solid", color="burlywood", weight=3]; 1904[label="yv300",fontsize=16,color="green",shape="box"];1905[label="yv4001",fontsize=16,color="green",shape="box"];1906[label="yv301",fontsize=16,color="green",shape="box"];1907[label="yv4000",fontsize=16,color="green",shape="box"];1908[label="yv300",fontsize=16,color="green",shape="box"];1909[label="yv4001",fontsize=16,color="green",shape="box"];1467[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 (yv15110 : yv15111) (enforceWHNF (WHNF (primPlusInt (Pos yv37) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos yv37) (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1467 -> 1504[label="",style="solid", color="black", weight=3]; 1431[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 (yv41110 : yv41111) (enforceWHNF (WHNF (primPlusInt (Pos yv35) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos yv35) (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1431 -> 1468[label="",style="solid", color="black", weight=3]; 1912[label="yv4002",fontsize=16,color="green",shape="box"];1913[label="yv302",fontsize=16,color="green",shape="box"];1914[label="yv4002",fontsize=16,color="green",shape="box"];1915[label="yv302",fontsize=16,color="green",shape="box"];1916[label="yv4002",fontsize=16,color="green",shape="box"];1917[label="yv302",fontsize=16,color="green",shape="box"];1918[label="yv4002",fontsize=16,color="green",shape="box"];1919[label="yv302",fontsize=16,color="green",shape="box"];1920[label="yv4002",fontsize=16,color="green",shape="box"];1921[label="yv302",fontsize=16,color="green",shape="box"];1922[label="yv4002",fontsize=16,color="green",shape="box"];1923[label="yv302",fontsize=16,color="green",shape="box"];1924[label="yv4002",fontsize=16,color="green",shape="box"];1925[label="yv302",fontsize=16,color="green",shape="box"];1926[label="yv4002",fontsize=16,color="green",shape="box"];1927[label="yv302",fontsize=16,color="green",shape="box"];1928[label="yv4002",fontsize=16,color="green",shape="box"];1929[label="yv302",fontsize=16,color="green",shape="box"];1930[label="yv4002",fontsize=16,color="green",shape="box"];1931[label="yv302",fontsize=16,color="green",shape="box"];1932[label="yv4002",fontsize=16,color="green",shape="box"];1933[label="yv302",fontsize=16,color="green",shape="box"];1934[label="yv4002",fontsize=16,color="green",shape="box"];1935[label="yv302",fontsize=16,color="green",shape="box"];1936[label="yv4002",fontsize=16,color="green",shape="box"];1937[label="yv302",fontsize=16,color="green",shape="box"];1938[label="yv4002",fontsize=16,color="green",shape="box"];1939[label="yv302",fontsize=16,color="green",shape="box"];1940[label="yv4001",fontsize=16,color="green",shape="box"];1941[label="yv301",fontsize=16,color="green",shape="box"];1942[label="yv4001",fontsize=16,color="green",shape="box"];1943[label="yv301",fontsize=16,color="green",shape="box"];1944[label="yv4001",fontsize=16,color="green",shape="box"];1945[label="yv301",fontsize=16,color="green",shape="box"];1946[label="yv4001",fontsize=16,color="green",shape="box"];1947[label="yv301",fontsize=16,color="green",shape="box"];1948[label="yv4001",fontsize=16,color="green",shape="box"];1949[label="yv301",fontsize=16,color="green",shape="box"];1950[label="yv4001",fontsize=16,color="green",shape="box"];1951[label="yv301",fontsize=16,color="green",shape="box"];1952[label="yv4001",fontsize=16,color="green",shape="box"];1953[label="yv301",fontsize=16,color="green",shape="box"];1954[label="yv4001",fontsize=16,color="green",shape="box"];1955[label="yv301",fontsize=16,color="green",shape="box"];1956[label="yv4001",fontsize=16,color="green",shape="box"];1957[label="yv301",fontsize=16,color="green",shape="box"];1958[label="yv4001",fontsize=16,color="green",shape="box"];1959[label="yv301",fontsize=16,color="green",shape="box"];1960[label="yv4001",fontsize=16,color="green",shape="box"];1961[label="yv301",fontsize=16,color="green",shape="box"];1962[label="yv4001",fontsize=16,color="green",shape="box"];1963[label="yv301",fontsize=16,color="green",shape="box"];1964[label="yv4001",fontsize=16,color="green",shape="box"];1965[label="yv301",fontsize=16,color="green",shape="box"];1966[label="yv4001",fontsize=16,color="green",shape="box"];1967[label="yv301",fontsize=16,color="green",shape="box"];1968[label="yv3000",fontsize=16,color="green",shape="box"];1969[label="yv40000",fontsize=16,color="green",shape="box"];1970[label="yv3000",fontsize=16,color="green",shape="box"];1971[label="yv40000",fontsize=16,color="green",shape="box"];1972 -> 1576[label="",style="dashed", color="red", weight=0]; 1972[label="primEqNat yv3000 yv40000",fontsize=16,color="magenta"];1972 -> 1980[label="",style="dashed", color="magenta", weight=3]; 1972 -> 1981[label="",style="dashed", color="magenta", weight=3]; 1973[label="False",fontsize=16,color="green",shape="box"];1974[label="False",fontsize=16,color="green",shape="box"];1975[label="True",fontsize=16,color="green",shape="box"];1976[label="primMulInt (Pos yv3010) yv4000",fontsize=16,color="burlywood",shape="box"];2304[label="yv4000/Pos yv40000",fontsize=10,color="white",style="solid",shape="box"];1976 -> 2304[label="",style="solid", color="burlywood", weight=9]; 2304 -> 1982[label="",style="solid", color="burlywood", weight=3]; 2305[label="yv4000/Neg yv40000",fontsize=10,color="white",style="solid",shape="box"];1976 -> 2305[label="",style="solid", color="burlywood", weight=9]; 2305 -> 1983[label="",style="solid", color="burlywood", weight=3]; 1977[label="primMulInt (Neg yv3010) yv4000",fontsize=16,color="burlywood",shape="box"];2306[label="yv4000/Pos yv40000",fontsize=10,color="white",style="solid",shape="box"];1977 -> 2306[label="",style="solid", color="burlywood", weight=9]; 2306 -> 1984[label="",style="solid", color="burlywood", weight=3]; 2307[label="yv4000/Neg yv40000",fontsize=10,color="white",style="solid",shape="box"];1977 -> 2307[label="",style="solid", color="burlywood", weight=9]; 2307 -> 1985[label="",style="solid", color="burlywood", weight=3]; 1504[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 (yv15110 : yv15111) (enforceWHNF (WHNF (Pos (primPlusNat yv37 (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat yv37 (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1504 -> 1583[label="",style="solid", color="black", weight=3]; 1468[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 (yv41110 : yv41111) (enforceWHNF (WHNF (Pos (primPlusNat yv35 (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat yv35 (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1468 -> 1505[label="",style="solid", color="black", weight=3]; 1980[label="yv3000",fontsize=16,color="green",shape="box"];1981[label="yv40000",fontsize=16,color="green",shape="box"];1982[label="primMulInt (Pos yv3010) (Pos yv40000)",fontsize=16,color="black",shape="box"];1982 -> 1988[label="",style="solid", color="black", weight=3]; 1983[label="primMulInt (Pos yv3010) (Neg yv40000)",fontsize=16,color="black",shape="box"];1983 -> 1989[label="",style="solid", color="black", weight=3]; 1984[label="primMulInt (Neg yv3010) (Pos yv40000)",fontsize=16,color="black",shape="box"];1984 -> 1990[label="",style="solid", color="black", weight=3]; 1985[label="primMulInt (Neg yv3010) (Neg yv40000)",fontsize=16,color="black",shape="box"];1985 -> 1991[label="",style="solid", color="black", weight=3]; 1583[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 (yv15110 : yv15111) (numericEnumFrom (Pos (primPlusNat yv37 (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1583 -> 1765[label="",style="solid", color="black", weight=3]; 1505[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 (yv41110 : yv41111) (numericEnumFrom (Pos (primPlusNat yv35 (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1505 -> 1584[label="",style="solid", color="black", weight=3]; 1988[label="Pos (primMulNat yv3010 yv40000)",fontsize=16,color="green",shape="box"];1988 -> 1994[label="",style="dashed", color="green", weight=3]; 1989[label="Neg (primMulNat yv3010 yv40000)",fontsize=16,color="green",shape="box"];1989 -> 1995[label="",style="dashed", color="green", weight=3]; 1990[label="Neg (primMulNat yv3010 yv40000)",fontsize=16,color="green",shape="box"];1990 -> 1996[label="",style="dashed", color="green", weight=3]; 1991[label="Pos (primMulNat yv3010 yv40000)",fontsize=16,color="green",shape="box"];1991 -> 1997[label="",style="dashed", color="green", weight=3]; 1765[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 (yv15110 : yv15111) (Pos (primPlusNat yv37 (Succ Zero)) : (numericEnumFrom $! Pos (primPlusNat yv37 (Succ Zero)) + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1765 -> 1910[label="",style="solid", color="black", weight=3]; 1584[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 (yv41110 : yv41111) (Pos (primPlusNat yv35 (Succ Zero)) : (numericEnumFrom $! Pos (primPlusNat yv35 (Succ Zero)) + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1584 -> 1766[label="",style="solid", color="black", weight=3]; 1994[label="primMulNat yv3010 yv40000",fontsize=16,color="burlywood",shape="triangle"];2308[label="yv3010/Succ yv30100",fontsize=10,color="white",style="solid",shape="box"];1994 -> 2308[label="",style="solid", color="burlywood", weight=9]; 2308 -> 2000[label="",style="solid", color="burlywood", weight=3]; 2309[label="yv3010/Zero",fontsize=10,color="white",style="solid",shape="box"];1994 -> 2309[label="",style="solid", color="burlywood", weight=9]; 2309 -> 2001[label="",style="solid", color="burlywood", weight=3]; 1995 -> 1994[label="",style="dashed", color="red", weight=0]; 1995[label="primMulNat yv3010 yv40000",fontsize=16,color="magenta"];1995 -> 2002[label="",style="dashed", color="magenta", weight=3]; 1996 -> 1994[label="",style="dashed", color="red", weight=0]; 1996[label="primMulNat yv3010 yv40000",fontsize=16,color="magenta"];1996 -> 2003[label="",style="dashed", color="magenta", weight=3]; 1997 -> 1994[label="",style="dashed", color="red", weight=0]; 1997[label="primMulNat yv3010 yv40000",fontsize=16,color="magenta"];1997 -> 2004[label="",style="dashed", color="magenta", weight=3]; 1997 -> 2005[label="",style="dashed", color="magenta", weight=3]; 1910[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zip0 yv15110 (Pos (primPlusNat yv37 (Succ Zero))) : zipWith zip0 yv15111 (numericEnumFrom $! Pos (primPlusNat yv37 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1910 -> 1978[label="",style="solid", color="black", weight=3]; 1766[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ([] ==)) (zip0 yv41110 (Pos (primPlusNat yv35 (Succ Zero))) : zipWith zip0 yv41111 (numericEnumFrom $! Pos (primPlusNat yv35 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1766 -> 1911[label="",style="solid", color="black", weight=3]; 2000[label="primMulNat (Succ yv30100) yv40000",fontsize=16,color="burlywood",shape="box"];2310[label="yv40000/Succ yv400000",fontsize=10,color="white",style="solid",shape="box"];2000 -> 2310[label="",style="solid", color="burlywood", weight=9]; 2310 -> 2010[label="",style="solid", color="burlywood", weight=3]; 2311[label="yv40000/Zero",fontsize=10,color="white",style="solid",shape="box"];2000 -> 2311[label="",style="solid", color="burlywood", weight=9]; 2311 -> 2011[label="",style="solid", color="burlywood", weight=3]; 2001[label="primMulNat Zero yv40000",fontsize=16,color="burlywood",shape="box"];2312[label="yv40000/Succ yv400000",fontsize=10,color="white",style="solid",shape="box"];2001 -> 2312[label="",style="solid", color="burlywood", weight=9]; 2312 -> 2012[label="",style="solid", color="burlywood", weight=3]; 2313[label="yv40000/Zero",fontsize=10,color="white",style="solid",shape="box"];2001 -> 2313[label="",style="solid", color="burlywood", weight=9]; 2313 -> 2013[label="",style="solid", color="burlywood", weight=3]; 2002[label="yv40000",fontsize=16,color="green",shape="box"];2003[label="yv3010",fontsize=16,color="green",shape="box"];2004[label="yv40000",fontsize=16,color="green",shape="box"];2005[label="yv3010",fontsize=16,color="green",shape="box"];1978[label="Maybe.listToMaybe (foldr (++) [] (List.findIndices0 (yv14 : yv12 ==) (zip0 yv15110 (Pos (primPlusNat yv37 (Succ Zero)))) : map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 yv15111 (numericEnumFrom $! Pos (primPlusNat yv37 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1978 -> 1986[label="",style="solid", color="black", weight=3]; 1911[label="Maybe.listToMaybe (foldr (++) [] (List.findIndices0 ([] ==) (zip0 yv41110 (Pos (primPlusNat yv35 (Succ Zero)))) : map (List.findIndices0 ([] ==)) (zipWith zip0 yv41111 (numericEnumFrom $! Pos (primPlusNat yv35 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1911 -> 1979[label="",style="solid", color="black", weight=3]; 2010[label="primMulNat (Succ yv30100) (Succ yv400000)",fontsize=16,color="black",shape="box"];2010 -> 2021[label="",style="solid", color="black", weight=3]; 2011[label="primMulNat (Succ yv30100) Zero",fontsize=16,color="black",shape="box"];2011 -> 2022[label="",style="solid", color="black", weight=3]; 2012[label="primMulNat Zero (Succ yv400000)",fontsize=16,color="black",shape="box"];2012 -> 2023[label="",style="solid", color="black", weight=3]; 2013[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];2013 -> 2024[label="",style="solid", color="black", weight=3]; 1986[label="Maybe.listToMaybe ((++) List.findIndices0 (yv14 : yv12 ==) (zip0 yv15110 (Pos (primPlusNat yv37 (Succ Zero)))) foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 yv15111 (numericEnumFrom $! Pos (primPlusNat yv37 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1986 -> 1992[label="",style="solid", color="black", weight=3]; 1979[label="Maybe.listToMaybe ((++) List.findIndices0 ([] ==) (zip0 yv41110 (Pos (primPlusNat yv35 (Succ Zero)))) foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 yv41111 (numericEnumFrom $! Pos (primPlusNat yv35 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1979 -> 1987[label="",style="solid", color="black", weight=3]; 2021 -> 2030[label="",style="dashed", color="red", weight=0]; 2021[label="primPlusNat (primMulNat yv30100 (Succ yv400000)) (Succ yv400000)",fontsize=16,color="magenta"];2021 -> 2031[label="",style="dashed", color="magenta", weight=3]; 2022[label="Zero",fontsize=16,color="green",shape="box"];2023[label="Zero",fontsize=16,color="green",shape="box"];2024[label="Zero",fontsize=16,color="green",shape="box"];1992[label="Maybe.listToMaybe ((++) List.findIndices00 (yv14 : yv12 ==) (zip0 yv15110 (Pos (primPlusNat yv37 (Succ Zero)))) foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 yv15111 (numericEnumFrom $! Pos (primPlusNat yv37 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1992 -> 1998[label="",style="solid", color="black", weight=3]; 1987[label="Maybe.listToMaybe ((++) List.findIndices00 ([] ==) (zip0 yv41110 (Pos (primPlusNat yv35 (Succ Zero)))) foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 yv41111 (numericEnumFrom $! Pos (primPlusNat yv35 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1987 -> 1993[label="",style="solid", color="black", weight=3]; 2031 -> 1994[label="",style="dashed", color="red", weight=0]; 2031[label="primMulNat yv30100 (Succ yv400000)",fontsize=16,color="magenta"];2031 -> 2036[label="",style="dashed", color="magenta", weight=3]; 2031 -> 2037[label="",style="dashed", color="magenta", weight=3]; 2030[label="primPlusNat yv54 (Succ yv400000)",fontsize=16,color="burlywood",shape="triangle"];2314[label="yv54/Succ yv540",fontsize=10,color="white",style="solid",shape="box"];2030 -> 2314[label="",style="solid", color="burlywood", weight=9]; 2314 -> 2038[label="",style="solid", color="burlywood", weight=3]; 2315[label="yv54/Zero",fontsize=10,color="white",style="solid",shape="box"];2030 -> 2315[label="",style="solid", color="burlywood", weight=9]; 2315 -> 2039[label="",style="solid", color="burlywood", weight=3]; 1998[label="Maybe.listToMaybe ((++) List.findIndices00 (yv14 : yv12 ==) (yv15110,Pos (primPlusNat yv37 (Succ Zero))) foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 yv15111 (numericEnumFrom $! Pos (primPlusNat yv37 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1998 -> 2006[label="",style="solid", color="black", weight=3]; 1993[label="Maybe.listToMaybe ((++) List.findIndices00 ([] ==) (yv41110,Pos (primPlusNat yv35 (Succ Zero))) foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 yv41111 (numericEnumFrom $! Pos (primPlusNat yv35 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1993 -> 1999[label="",style="solid", color="black", weight=3]; 2036[label="Succ yv400000",fontsize=16,color="green",shape="box"];2037[label="yv30100",fontsize=16,color="green",shape="box"];2038[label="primPlusNat (Succ yv540) (Succ yv400000)",fontsize=16,color="black",shape="box"];2038 -> 2040[label="",style="solid", color="black", weight=3]; 2039[label="primPlusNat Zero (Succ yv400000)",fontsize=16,color="black",shape="box"];2039 -> 2041[label="",style="solid", color="black", weight=3]; 2006 -> 1123[label="",style="dashed", color="red", weight=0]; 2006[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos (primPlusNat yv37 (Succ Zero))) (yv14 : yv12 == yv15110) foldr (++) [] (map (List.findIndices0 (yv14 : yv12 ==)) (zipWith zip0 yv15111 (numericEnumFrom $! Pos (primPlusNat yv37 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];2006 -> 2014[label="",style="dashed", color="magenta", weight=3]; 2006 -> 2015[label="",style="dashed", color="magenta", weight=3]; 2006 -> 2016[label="",style="dashed", color="magenta", weight=3]; 1999 -> 1110[label="",style="dashed", color="red", weight=0]; 1999[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos (primPlusNat yv35 (Succ Zero))) ([] == yv41110) foldr (++) [] (map (List.findIndices0 ([] ==)) (zipWith zip0 yv41111 (numericEnumFrom $! Pos (primPlusNat yv35 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];1999 -> 2007[label="",style="dashed", color="magenta", weight=3]; 1999 -> 2008[label="",style="dashed", color="magenta", weight=3]; 1999 -> 2009[label="",style="dashed", color="magenta", weight=3]; 2040[label="Succ (Succ (primPlusNat yv540 yv400000))",fontsize=16,color="green",shape="box"];2040 -> 2042[label="",style="dashed", color="green", weight=3]; 2041[label="Succ yv400000",fontsize=16,color="green",shape="box"];2014 -> 2030[label="",style="dashed", color="red", weight=0]; 2014[label="primPlusNat yv37 (Succ Zero)",fontsize=16,color="magenta"];2014 -> 2032[label="",style="dashed", color="magenta", weight=3]; 2014 -> 2033[label="",style="dashed", color="magenta", weight=3]; 2015 -> 1379[label="",style="dashed", color="red", weight=0]; 2015[label="yv14 : yv12 == yv15110",fontsize=16,color="magenta"];2015 -> 2026[label="",style="dashed", color="magenta", weight=3]; 2015 -> 2027[label="",style="dashed", color="magenta", weight=3]; 2016[label="yv15111",fontsize=16,color="green",shape="box"];2007 -> 2030[label="",style="dashed", color="red", weight=0]; 2007[label="primPlusNat yv35 (Succ Zero)",fontsize=16,color="magenta"];2007 -> 2034[label="",style="dashed", color="magenta", weight=3]; 2007 -> 2035[label="",style="dashed", color="magenta", weight=3]; 2008 -> 1379[label="",style="dashed", color="red", weight=0]; 2008[label="[] == yv41110",fontsize=16,color="magenta"];2008 -> 2019[label="",style="dashed", color="magenta", weight=3]; 2008 -> 2020[label="",style="dashed", color="magenta", weight=3]; 2009[label="yv41111",fontsize=16,color="green",shape="box"];2042[label="primPlusNat yv540 yv400000",fontsize=16,color="burlywood",shape="triangle"];2316[label="yv540/Succ yv5400",fontsize=10,color="white",style="solid",shape="box"];2042 -> 2316[label="",style="solid", color="burlywood", weight=9]; 2316 -> 2043[label="",style="solid", color="burlywood", weight=3]; 2317[label="yv540/Zero",fontsize=10,color="white",style="solid",shape="box"];2042 -> 2317[label="",style="solid", color="burlywood", weight=9]; 2317 -> 2044[label="",style="solid", color="burlywood", weight=3]; 2032[label="yv37",fontsize=16,color="green",shape="box"];2033[label="Zero",fontsize=16,color="green",shape="box"];2026[label="yv15110",fontsize=16,color="green",shape="box"];2027[label="yv14 : yv12",fontsize=16,color="green",shape="box"];2034[label="yv35",fontsize=16,color="green",shape="box"];2035[label="Zero",fontsize=16,color="green",shape="box"];2019[label="yv41110",fontsize=16,color="green",shape="box"];2020[label="[]",fontsize=16,color="green",shape="box"];2043[label="primPlusNat (Succ yv5400) yv400000",fontsize=16,color="burlywood",shape="box"];2318[label="yv400000/Succ yv4000000",fontsize=10,color="white",style="solid",shape="box"];2043 -> 2318[label="",style="solid", color="burlywood", weight=9]; 2318 -> 2045[label="",style="solid", color="burlywood", weight=3]; 2319[label="yv400000/Zero",fontsize=10,color="white",style="solid",shape="box"];2043 -> 2319[label="",style="solid", color="burlywood", weight=9]; 2319 -> 2046[label="",style="solid", color="burlywood", weight=3]; 2044[label="primPlusNat Zero yv400000",fontsize=16,color="burlywood",shape="box"];2320[label="yv400000/Succ yv4000000",fontsize=10,color="white",style="solid",shape="box"];2044 -> 2320[label="",style="solid", color="burlywood", weight=9]; 2320 -> 2047[label="",style="solid", color="burlywood", weight=3]; 2321[label="yv400000/Zero",fontsize=10,color="white",style="solid",shape="box"];2044 -> 2321[label="",style="solid", color="burlywood", weight=9]; 2321 -> 2048[label="",style="solid", color="burlywood", weight=3]; 2045[label="primPlusNat (Succ yv5400) (Succ yv4000000)",fontsize=16,color="black",shape="box"];2045 -> 2049[label="",style="solid", color="black", weight=3]; 2046[label="primPlusNat (Succ yv5400) Zero",fontsize=16,color="black",shape="box"];2046 -> 2050[label="",style="solid", color="black", weight=3]; 2047[label="primPlusNat Zero (Succ yv4000000)",fontsize=16,color="black",shape="box"];2047 -> 2051[label="",style="solid", color="black", weight=3]; 2048[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];2048 -> 2052[label="",style="solid", color="black", weight=3]; 2049[label="Succ (Succ (primPlusNat yv5400 yv4000000))",fontsize=16,color="green",shape="box"];2049 -> 2053[label="",style="dashed", color="green", weight=3]; 2050[label="Succ yv5400",fontsize=16,color="green",shape="box"];2051[label="Succ yv4000000",fontsize=16,color="green",shape="box"];2052[label="Zero",fontsize=16,color="green",shape="box"];2053 -> 2042[label="",style="dashed", color="red", weight=0]; 2053[label="primPlusNat yv5400 yv4000000",fontsize=16,color="magenta"];2053 -> 2054[label="",style="dashed", color="magenta", weight=3]; 2053 -> 2055[label="",style="dashed", color="magenta", weight=3]; 2054[label="yv5400",fontsize=16,color="green",shape="box"];2055[label="yv4000000",fontsize=16,color="green",shape="box"];} ---------------------------------------- (14) Complex Obligation (AND) ---------------------------------------- (15) Obligation: Q DP problem: The TRS P consists of the following rules: new_listToMaybe(yv35, False, :(yv41110, yv41111), ba) -> new_listToMaybe(new_primPlusNat0(yv35, Zero), new_esEs4([], yv41110, ba), yv41111, ba) The TRS R consists of the following rules: new_esEs23(yv310, yv4010, ty_Int) -> new_esEs6(yv310, yv4010) new_esEs25(yv300, yv4000, app(ty_Maybe, bdd)) -> new_esEs13(yv300, yv4000, bdd) new_primEqInt(Pos(Zero), Pos(Zero)) -> True new_esEs21(yv301, yv4001, app(ty_Ratio, ga)) -> new_esEs7(yv301, yv4001, ga) new_esEs12(Left(yv300), Left(yv4000), ty_Double, bd) -> new_esEs19(yv300, yv4000) new_esEs13(Just(yv300), Just(yv4000), ty_Ordering) -> new_esEs18(yv300, yv4000) new_esEs22(yv300, yv4000, ty_Char) -> new_esEs15(yv300, yv4000) new_esEs24(yv301, yv4001, ty_Char) -> new_esEs15(yv301, yv4001) new_esEs19(Double(yv300, yv301), Double(yv4000, yv4001)) -> new_esEs6(new_sr(yv300, yv4001), new_sr(yv301, yv4000)) new_esEs21(yv301, yv4001, app(app(app(ty_@3, ge), gf), gg)) -> new_esEs14(yv301, yv4001, ge, gf, gg) new_esEs25(yv300, yv4000, ty_Double) -> new_esEs19(yv300, yv4000) new_esEs20(yv302, yv4002, ty_Bool) -> new_esEs17(yv302, yv4002) new_esEs4(:(yv310, yv311), :(yv4010, yv4011), ba) -> new_asAs(new_esEs23(yv310, yv4010, ba), new_esEs4(yv311, yv4011, ba)) new_esEs23(yv310, yv4010, app(ty_Maybe, bad)) -> new_esEs13(yv310, yv4010, bad) new_esEs22(yv300, yv4000, app(ty_[], hd)) -> new_esEs4(yv300, yv4000, hd) new_esEs24(yv301, yv4001, ty_@0) -> new_esEs11(yv301, yv4001) new_esEs12(Left(yv300), Left(yv4000), app(ty_Ratio, be), bd) -> new_esEs7(yv300, yv4000, be) new_esEs13(Just(yv300), Just(yv4000), ty_Integer) -> new_esEs10(yv300, yv4000) new_esEs25(yv300, yv4000, app(app(ty_Either, bdg), bdh)) -> new_esEs12(yv300, yv4000, bdg, bdh) new_esEs12(Right(yv300), Right(yv4000), cf, ty_Bool) -> new_esEs17(yv300, yv4000) new_esEs25(yv300, yv4000, ty_Int) -> new_esEs6(yv300, yv4000) new_asAs(True, yv53) -> yv53 new_esEs10(Integer(yv300), Integer(yv4000)) -> new_primEqInt(yv300, yv4000) new_esEs17(False, True) -> False new_esEs17(True, False) -> False new_esEs24(yv301, yv4001, ty_Float) -> new_esEs5(yv301, yv4001) new_esEs16(@2(yv300, yv301), @2(yv4000, yv4001), bbh, bca) -> new_asAs(new_esEs25(yv300, yv4000, bbh), new_esEs24(yv301, yv4001, bca)) new_primEqInt(Pos(Succ(yv3000)), Pos(Zero)) -> False new_primEqInt(Pos(Zero), Pos(Succ(yv40000))) -> False new_esEs12(Right(yv300), Right(yv4000), cf, ty_@0) -> new_esEs11(yv300, yv4000) new_esEs22(yv300, yv4000, app(app(ty_Either, he), hf)) -> new_esEs12(yv300, yv4000, he, hf) new_esEs23(yv310, yv4010, ty_Double) -> new_esEs19(yv310, yv4010) new_esEs5(Float(yv300, yv301), Float(yv4000, yv4001)) -> new_esEs6(new_sr(yv300, yv4001), new_sr(yv301, yv4000)) new_primEqNat0(Succ(yv3000), Succ(yv40000)) -> new_primEqNat0(yv3000, yv40000) new_esEs12(Right(yv300), Right(yv4000), cf, app(app(ty_Either, dc), dd)) -> new_esEs12(yv300, yv4000, dc, dd) new_esEs13(Just(yv300), Just(yv4000), app(app(app(ty_@3, bbb), bbc), bbd)) -> new_esEs14(yv300, yv4000, bbb, bbc, bbd) new_esEs23(yv310, yv4010, app(app(app(ty_@3, eb), ec), ed)) -> new_esEs14(yv310, yv4010, eb, ec, ed) new_esEs22(yv300, yv4000, ty_Bool) -> new_esEs17(yv300, yv4000) new_esEs18(GT, GT) -> True new_esEs24(yv301, yv4001, app(ty_[], bcd)) -> new_esEs4(yv301, yv4001, bcd) new_esEs22(yv300, yv4000, ty_@0) -> new_esEs11(yv300, yv4000) new_esEs22(yv300, yv4000, ty_Float) -> new_esEs5(yv300, yv4000) new_primMulNat0(Zero, Zero) -> Zero new_esEs25(yv300, yv4000, app(ty_Ratio, bde)) -> new_esEs7(yv300, yv4000, bde) new_esEs23(yv310, yv4010, app(app(ty_Either, cf), bd)) -> new_esEs12(yv310, yv4010, cf, bd) new_esEs22(yv300, yv4000, ty_Integer) -> new_esEs10(yv300, yv4000) new_esEs8(yv301, yv4001, ty_Int) -> new_esEs6(yv301, yv4001) new_esEs21(yv301, yv4001, ty_Integer) -> new_esEs10(yv301, yv4001) new_esEs12(Left(yv300), Left(yv4000), ty_Char, bd) -> new_esEs15(yv300, yv4000) new_esEs12(Right(yv300), Right(yv4000), cf, ty_Char) -> new_esEs15(yv300, yv4000) new_esEs23(yv310, yv4010, app(app(ty_@2, bbh), bca)) -> new_esEs16(yv310, yv4010, bbh, bca) new_esEs9(yv300, yv4000, ty_Int) -> new_esEs6(yv300, yv4000) new_esEs18(EQ, GT) -> False new_esEs18(GT, EQ) -> False new_esEs12(Left(yv300), Right(yv4000), cf, bd) -> False new_esEs12(Right(yv300), Left(yv4000), cf, bd) -> False new_esEs24(yv301, yv4001, app(app(ty_Either, bce), bcf)) -> new_esEs12(yv301, yv4001, bce, bcf) new_primEqNat0(Succ(yv3000), Zero) -> False new_primEqNat0(Zero, Succ(yv40000)) -> False new_esEs20(yv302, yv4002, ty_Double) -> new_esEs19(yv302, yv4002) new_esEs12(Left(yv300), Left(yv4000), ty_@0, bd) -> new_esEs11(yv300, yv4000) new_esEs22(yv300, yv4000, ty_Ordering) -> new_esEs18(yv300, yv4000) new_esEs13(Just(yv300), Just(yv4000), app(ty_Maybe, bae)) -> new_esEs13(yv300, yv4000, bae) new_esEs22(yv300, yv4000, app(app(ty_@2, bab), bac)) -> new_esEs16(yv300, yv4000, bab, bac) new_esEs25(yv300, yv4000, app(app(app(ty_@3, bea), beb), bec)) -> new_esEs14(yv300, yv4000, bea, beb, bec) new_esEs12(Right(yv300), Right(yv4000), cf, ty_Double) -> new_esEs19(yv300, yv4000) new_esEs9(yv300, yv4000, ty_Integer) -> new_esEs10(yv300, yv4000) new_esEs24(yv301, yv4001, ty_Double) -> new_esEs19(yv301, yv4001) new_esEs12(Left(yv300), Left(yv4000), app(app(ty_Either, bg), bh), bd) -> new_esEs12(yv300, yv4000, bg, bh) new_esEs21(yv301, yv4001, ty_Ordering) -> new_esEs18(yv301, yv4001) new_esEs12(Right(yv300), Right(yv4000), cf, app(ty_Maybe, cg)) -> new_esEs13(yv300, yv4000, cg) new_esEs20(yv302, yv4002, ty_Char) -> new_esEs15(yv302, yv4002) new_esEs18(LT, GT) -> False new_esEs18(GT, LT) -> False new_primEqInt(Neg(Succ(yv3000)), Neg(Zero)) -> False new_primEqInt(Neg(Zero), Neg(Succ(yv40000))) -> False new_esEs24(yv301, yv4001, app(app(app(ty_@3, bcg), bch), bda)) -> new_esEs14(yv301, yv4001, bcg, bch, bda) new_primEqInt(Pos(Succ(yv3000)), Pos(Succ(yv40000))) -> new_primEqNat0(yv3000, yv40000) new_esEs13(Just(yv300), Just(yv4000), ty_@0) -> new_esEs11(yv300, yv4000) new_esEs13(Just(yv300), Just(yv4000), app(ty_[], bag)) -> new_esEs4(yv300, yv4000, bag) new_esEs13(Just(yv300), Just(yv4000), app(app(ty_Either, bah), bba)) -> new_esEs12(yv300, yv4000, bah, bba) new_esEs12(Left(yv300), Left(yv4000), app(ty_Maybe, bc), bd) -> new_esEs13(yv300, yv4000, bc) new_esEs23(yv310, yv4010, ty_Float) -> new_esEs5(yv310, yv4010) new_sr(Pos(yv3010), Neg(yv40000)) -> Neg(new_primMulNat0(yv3010, yv40000)) new_sr(Neg(yv3010), Pos(yv40000)) -> Neg(new_primMulNat0(yv3010, yv40000)) new_primPlusNat1(Succ(yv5400), Succ(yv4000000)) -> Succ(Succ(new_primPlusNat1(yv5400, yv4000000))) new_primEqInt(Pos(Succ(yv3000)), Neg(yv4000)) -> False new_primEqInt(Neg(Succ(yv3000)), Pos(yv4000)) -> False new_esEs21(yv301, yv4001, ty_Int) -> new_esEs6(yv301, yv4001) new_esEs14(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), eb, ec, ed) -> new_asAs(new_esEs22(yv300, yv4000, eb), new_asAs(new_esEs21(yv301, yv4001, ec), new_esEs20(yv302, yv4002, ed))) new_esEs13(Just(yv300), Just(yv4000), ty_Float) -> new_esEs5(yv300, yv4000) new_esEs18(LT, LT) -> True new_esEs25(yv300, yv4000, ty_Char) -> new_esEs15(yv300, yv4000) new_esEs12(Left(yv300), Left(yv4000), ty_Float, bd) -> new_esEs5(yv300, yv4000) new_esEs23(yv310, yv4010, ty_Char) -> new_esEs15(yv310, yv4010) new_esEs12(Right(yv300), Right(yv4000), cf, ty_Ordering) -> new_esEs18(yv300, yv4000) new_esEs22(yv300, yv4000, app(app(app(ty_@3, hg), hh), baa)) -> new_esEs14(yv300, yv4000, hg, hh, baa) new_esEs17(True, True) -> True new_esEs20(yv302, yv4002, app(ty_Ratio, ef)) -> new_esEs7(yv302, yv4002, ef) new_esEs13(Just(yv300), Just(yv4000), app(app(ty_@2, bbe), bbf)) -> new_esEs16(yv300, yv4000, bbe, bbf) new_sr(Neg(yv3010), Neg(yv40000)) -> Pos(new_primMulNat0(yv3010, yv40000)) new_esEs21(yv301, yv4001, ty_Bool) -> new_esEs17(yv301, yv4001) new_esEs23(yv310, yv4010, ty_@0) -> new_esEs11(yv310, yv4010) new_esEs23(yv310, yv4010, app(ty_[], bbg)) -> new_esEs4(yv310, yv4010, bbg) new_esEs25(yv300, yv4000, ty_Integer) -> new_esEs10(yv300, yv4000) new_esEs23(yv310, yv4010, ty_Bool) -> new_esEs17(yv310, yv4010) new_esEs22(yv300, yv4000, ty_Int) -> new_esEs6(yv300, yv4000) new_esEs24(yv301, yv4001, app(ty_Maybe, bcb)) -> new_esEs13(yv301, yv4001, bcb) new_esEs25(yv300, yv4000, ty_Float) -> new_esEs5(yv300, yv4000) new_primEqInt(Pos(Zero), Neg(Succ(yv40000))) -> False new_primEqInt(Neg(Zero), Pos(Succ(yv40000))) -> False new_esEs12(Right(yv300), Right(yv4000), cf, app(ty_[], db)) -> new_esEs4(yv300, yv4000, db) new_esEs8(yv301, yv4001, ty_Integer) -> new_esEs10(yv301, yv4001) new_esEs25(yv300, yv4000, ty_@0) -> new_esEs11(yv300, yv4000) new_esEs20(yv302, yv4002, app(app(app(ty_@3, fb), fc), fd)) -> new_esEs14(yv302, yv4002, fb, fc, fd) new_esEs13(Just(yv300), Just(yv4000), ty_Double) -> new_esEs19(yv300, yv4000) new_esEs6(yv30, yv400) -> new_primEqInt(yv30, yv400) new_primEqInt(Neg(Succ(yv3000)), Neg(Succ(yv40000))) -> new_primEqNat0(yv3000, yv40000) new_esEs22(yv300, yv4000, app(ty_Maybe, hb)) -> new_esEs13(yv300, yv4000, hb) new_esEs20(yv302, yv4002, ty_Int) -> new_esEs6(yv302, yv4002) new_esEs21(yv301, yv4001, app(ty_[], gb)) -> new_esEs4(yv301, yv4001, gb) new_esEs12(Right(yv300), Right(yv4000), cf, ty_Float) -> new_esEs5(yv300, yv4000) new_primPlusNat0(Succ(yv540), yv400000) -> Succ(Succ(new_primPlusNat1(yv540, yv400000))) new_esEs12(Left(yv300), Left(yv4000), app(app(app(ty_@3, ca), cb), cc), bd) -> new_esEs14(yv300, yv4000, ca, cb, cc) new_esEs12(Left(yv300), Left(yv4000), app(app(ty_@2, cd), ce), bd) -> new_esEs16(yv300, yv4000, cd, ce) new_esEs21(yv301, yv4001, app(app(ty_@2, gh), ha)) -> new_esEs16(yv301, yv4001, gh, ha) new_esEs25(yv300, yv4000, ty_Bool) -> new_esEs17(yv300, yv4000) new_esEs25(yv300, yv4000, ty_Ordering) -> new_esEs18(yv300, yv4000) new_primPlusNat1(Zero, Zero) -> Zero new_esEs23(yv310, yv4010, ty_Integer) -> new_esEs10(yv310, yv4010) new_esEs20(yv302, yv4002, ty_Ordering) -> new_esEs18(yv302, yv4002) new_esEs22(yv300, yv4000, app(ty_Ratio, hc)) -> new_esEs7(yv300, yv4000, hc) new_primMulNat0(Succ(yv30100), Zero) -> Zero new_primMulNat0(Zero, Succ(yv400000)) -> Zero new_esEs12(Left(yv300), Left(yv4000), app(ty_[], bf), bd) -> new_esEs4(yv300, yv4000, bf) new_sr(Pos(yv3010), Pos(yv40000)) -> Pos(new_primMulNat0(yv3010, yv40000)) new_esEs20(yv302, yv4002, ty_Integer) -> new_esEs10(yv302, yv4002) new_primPlusNat0(Zero, yv400000) -> Succ(yv400000) new_esEs24(yv301, yv4001, app(app(ty_@2, bdb), bdc)) -> new_esEs16(yv301, yv4001, bdb, bdc) new_esEs21(yv301, yv4001, ty_Char) -> new_esEs15(yv301, yv4001) new_esEs12(Right(yv300), Right(yv4000), cf, app(app(ty_@2, dh), ea)) -> new_esEs16(yv300, yv4000, dh, ea) new_primEqInt(Neg(Zero), Neg(Zero)) -> True new_esEs17(False, False) -> True new_esEs20(yv302, yv4002, app(ty_Maybe, ee)) -> new_esEs13(yv302, yv4002, ee) new_primMulNat0(Succ(yv30100), Succ(yv400000)) -> new_primPlusNat0(new_primMulNat0(yv30100, Succ(yv400000)), yv400000) new_esEs23(yv310, yv4010, ty_Ordering) -> new_esEs18(yv310, yv4010) new_esEs21(yv301, yv4001, ty_Double) -> new_esEs19(yv301, yv4001) new_esEs12(Left(yv300), Left(yv4000), ty_Int, bd) -> new_esEs6(yv300, yv4000) new_esEs4(:(yv310, yv311), [], ba) -> False new_esEs4([], :(yv4010, yv4011), ba) -> False new_esEs18(EQ, EQ) -> True new_esEs13(Just(yv300), Just(yv4000), ty_Int) -> new_esEs6(yv300, yv4000) new_esEs21(yv301, yv4001, ty_Float) -> new_esEs5(yv301, yv4001) new_primPlusNat1(Succ(yv5400), Zero) -> Succ(yv5400) new_primPlusNat1(Zero, Succ(yv4000000)) -> Succ(yv4000000) new_esEs12(Right(yv300), Right(yv4000), cf, ty_Int) -> new_esEs6(yv300, yv4000) new_esEs24(yv301, yv4001, app(ty_Ratio, bcc)) -> new_esEs7(yv301, yv4001, bcc) new_esEs12(Right(yv300), Right(yv4000), cf, app(app(app(ty_@3, de), df), dg)) -> new_esEs14(yv300, yv4000, de, df, dg) new_primEqInt(Pos(Zero), Neg(Zero)) -> True new_primEqInt(Neg(Zero), Pos(Zero)) -> True new_esEs11(@0, @0) -> True new_esEs20(yv302, yv4002, ty_@0) -> new_esEs11(yv302, yv4002) new_esEs12(Left(yv300), Left(yv4000), ty_Bool, bd) -> new_esEs17(yv300, yv4000) new_esEs13(Just(yv300), Just(yv4000), ty_Char) -> new_esEs15(yv300, yv4000) new_esEs13(Nothing, Nothing, bad) -> True new_esEs23(yv310, yv4010, app(ty_Ratio, bb)) -> new_esEs7(yv310, yv4010, bb) new_esEs25(yv300, yv4000, app(ty_[], bdf)) -> new_esEs4(yv300, yv4000, bdf) new_esEs7(:%(yv300, yv301), :%(yv4000, yv4001), bb) -> new_asAs(new_esEs9(yv300, yv4000, bb), new_esEs8(yv301, yv4001, bb)) new_esEs24(yv301, yv4001, ty_Integer) -> new_esEs10(yv301, yv4001) new_esEs12(Right(yv300), Right(yv4000), cf, ty_Integer) -> new_esEs10(yv300, yv4000) new_primEqNat0(Zero, Zero) -> True new_esEs24(yv301, yv4001, ty_Bool) -> new_esEs17(yv301, yv4001) new_esEs13(Just(yv300), Just(yv4000), ty_Bool) -> new_esEs17(yv300, yv4000) new_esEs20(yv302, yv4002, ty_Float) -> new_esEs5(yv302, yv4002) new_esEs15(Char(yv300), Char(yv4000)) -> new_primEqNat0(yv300, yv4000) new_esEs20(yv302, yv4002, app(app(ty_Either, eh), fa)) -> new_esEs12(yv302, yv4002, eh, fa) new_esEs21(yv301, yv4001, app(app(ty_Either, gc), gd)) -> new_esEs12(yv301, yv4001, gc, gd) new_esEs4([], [], ba) -> True new_asAs(False, yv53) -> False new_esEs25(yv300, yv4000, app(app(ty_@2, bed), bee)) -> new_esEs16(yv300, yv4000, bed, bee) new_esEs21(yv301, yv4001, ty_@0) -> new_esEs11(yv301, yv4001) new_esEs20(yv302, yv4002, app(app(ty_@2, ff), fg)) -> new_esEs16(yv302, yv4002, ff, fg) new_esEs24(yv301, yv4001, ty_Int) -> new_esEs6(yv301, yv4001) new_esEs12(Right(yv300), Right(yv4000), cf, app(ty_Ratio, da)) -> new_esEs7(yv300, yv4000, da) new_esEs21(yv301, yv4001, app(ty_Maybe, fh)) -> new_esEs13(yv301, yv4001, fh) new_esEs13(Just(yv300), Just(yv4000), app(ty_Ratio, baf)) -> new_esEs7(yv300, yv4000, baf) new_esEs12(Left(yv300), Left(yv4000), ty_Ordering, bd) -> new_esEs18(yv300, yv4000) new_esEs12(Left(yv300), Left(yv4000), ty_Integer, bd) -> new_esEs10(yv300, yv4000) new_esEs22(yv300, yv4000, ty_Double) -> new_esEs19(yv300, yv4000) new_esEs18(LT, EQ) -> False new_esEs18(EQ, LT) -> False new_esEs24(yv301, yv4001, ty_Ordering) -> new_esEs18(yv301, yv4001) new_esEs20(yv302, yv4002, app(ty_[], eg)) -> new_esEs4(yv302, yv4002, eg) new_esEs13(Nothing, Just(yv4000), bad) -> False new_esEs13(Just(yv300), Nothing, bad) -> False The set Q consists of the following terms: new_esEs25(x0, x1, app(app(ty_Either, x2), x3)) new_esEs24(x0, x1, ty_@0) new_esEs25(x0, x1, app(app(ty_@2, x2), x3)) new_esEs20(x0, x1, app(app(ty_Either, x2), x3)) new_esEs25(x0, x1, app(ty_Maybe, x2)) new_esEs13(Just(x0), Just(x1), ty_Int) new_esEs21(x0, x1, ty_Bool) new_esEs12(Left(x0), Left(x1), app(ty_[], x2), x3) new_esEs23(x0, x1, app(ty_Ratio, x2)) new_esEs25(x0, x1, ty_Char) new_esEs12(Right(x0), Right(x1), x2, app(app(app(ty_@3, x3), x4), x5)) new_primMulNat0(Zero, Zero) new_esEs20(x0, x1, ty_Integer) new_esEs12(Right(x0), Right(x1), x2, ty_@0) new_esEs21(x0, x1, app(app(ty_Either, x2), x3)) new_primPlusNat1(Zero, Zero) new_esEs8(x0, x1, ty_Int) new_esEs24(x0, x1, ty_Bool) new_esEs4(:(x0, x1), [], x2) new_esEs12(Right(x0), Right(x1), x2, ty_Bool) new_esEs13(Just(x0), Just(x1), ty_Double) new_esEs13(Just(x0), Just(x1), ty_Char) new_esEs13(Nothing, Nothing, x0) new_esEs5(Float(x0, x1), Float(x2, x3)) new_esEs17(True, True) new_esEs23(x0, x1, ty_Bool) new_esEs22(x0, x1, ty_Char) new_esEs21(x0, x1, ty_Integer) new_esEs12(Right(x0), Right(x1), x2, app(ty_Ratio, x3)) new_primEqInt(Pos(Zero), Pos(Zero)) new_esEs14(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8) new_esEs12(Left(x0), Left(x1), app(app(ty_Either, x2), x3), x4) new_esEs13(Just(x0), Just(x1), app(ty_[], x2)) new_esEs18(EQ, GT) new_esEs18(GT, EQ) new_esEs17(False, False) new_esEs12(Left(x0), Right(x1), x2, x3) new_esEs12(Right(x0), Left(x1), x2, x3) new_asAs(True, x0) new_esEs23(x0, x1, app(app(ty_@2, x2), x3)) new_primPlusNat1(Succ(x0), Succ(x1)) new_primEqInt(Neg(Zero), Neg(Zero)) new_primEqInt(Pos(Succ(x0)), Neg(x1)) new_primEqInt(Neg(Succ(x0)), Pos(x1)) new_esEs12(Left(x0), Left(x1), ty_Float, x2) new_esEs24(x0, x1, app(ty_Ratio, x2)) new_primEqInt(Pos(Succ(x0)), Pos(Succ(x1))) new_esEs22(x0, x1, ty_Bool) new_esEs25(x0, x1, app(ty_[], x2)) new_esEs12(Left(x0), Left(x1), ty_Integer, x2) new_esEs21(x0, x1, ty_@0) new_primEqInt(Neg(Zero), Neg(Succ(x0))) new_esEs25(x0, x1, ty_Ordering) new_esEs19(Double(x0, x1), Double(x2, x3)) new_esEs20(x0, x1, ty_Float) new_esEs20(x0, x1, ty_Double) new_esEs13(Just(x0), Just(x1), app(app(ty_@2, x2), x3)) new_esEs12(Right(x0), Right(x1), x2, ty_Integer) new_esEs22(x0, x1, app(app(ty_@2, x2), x3)) new_esEs20(x0, x1, ty_Bool) new_esEs20(x0, x1, ty_@0) new_esEs21(x0, x1, app(ty_Maybe, x2)) new_esEs13(Just(x0), Just(x1), app(ty_Ratio, x2)) new_esEs20(x0, x1, app(app(ty_@2, x2), x3)) new_sr(Pos(x0), Pos(x1)) new_esEs24(x0, x1, ty_Char) new_esEs12(Left(x0), Left(x1), ty_Ordering, x2) new_esEs21(x0, x1, ty_Char) new_esEs22(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs24(x0, x1, app(ty_[], x2)) new_primEqNat0(Succ(x0), Zero) new_esEs24(x0, x1, ty_Integer) new_esEs12(Right(x0), Right(x1), x2, ty_Ordering) new_primEqInt(Pos(Zero), Neg(Zero)) new_primEqInt(Neg(Zero), Pos(Zero)) new_esEs25(x0, x1, ty_Integer) new_esEs17(False, True) new_esEs17(True, False) new_primPlusNat0(Zero, x0) new_esEs21(x0, x1, app(ty_Ratio, x2)) new_primMulNat0(Succ(x0), Succ(x1)) new_esEs21(x0, x1, app(ty_[], x2)) new_primPlusNat0(Succ(x0), x1) new_esEs13(Just(x0), Just(x1), ty_Integer) new_esEs23(x0, x1, ty_@0) new_esEs22(x0, x1, ty_Integer) new_esEs13(Just(x0), Just(x1), ty_Ordering) new_esEs6(x0, x1) new_primEqNat0(Zero, Succ(x0)) new_primPlusNat1(Succ(x0), Zero) new_esEs22(x0, x1, ty_Ordering) new_esEs18(LT, LT) new_esEs8(x0, x1, ty_Integer) new_esEs23(x0, x1, ty_Float) new_esEs24(x0, x1, app(app(ty_Either, x2), x3)) new_esEs21(x0, x1, app(app(ty_@2, x2), x3)) new_esEs20(x0, x1, ty_Int) new_esEs18(LT, GT) new_esEs18(GT, LT) new_esEs12(Right(x0), Right(x1), x2, app(ty_Maybe, x3)) new_esEs23(x0, x1, ty_Int) new_esEs21(x0, x1, ty_Float) new_esEs22(x0, x1, app(app(ty_Either, x2), x3)) new_esEs24(x0, x1, ty_Double) new_esEs20(x0, x1, ty_Char) new_esEs22(x0, x1, app(ty_[], x2)) new_esEs23(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs21(x0, x1, ty_Double) new_primEqInt(Pos(Succ(x0)), Pos(Zero)) new_esEs23(x0, x1, ty_Char) new_esEs12(Left(x0), Left(x1), app(ty_Maybe, x2), x3) new_esEs13(Just(x0), Nothing, x1) new_esEs24(x0, x1, ty_Float) new_esEs12(Right(x0), Right(x1), x2, ty_Float) new_esEs24(x0, x1, app(ty_Maybe, x2)) new_esEs24(x0, x1, app(app(ty_@2, x2), x3)) new_esEs25(x0, x1, app(ty_Ratio, x2)) new_esEs12(Left(x0), Left(x1), ty_@0, x2) new_esEs7(:%(x0, x1), :%(x2, x3), x4) new_esEs13(Just(x0), Just(x1), app(ty_Maybe, x2)) new_esEs22(x0, x1, ty_Double) new_esEs4([], :(x0, x1), x2) new_primEqInt(Neg(Succ(x0)), Neg(Zero)) new_esEs21(x0, x1, ty_Int) new_esEs23(x0, x1, ty_Double) new_esEs11(@0, @0) new_esEs21(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs18(GT, GT) new_esEs24(x0, x1, ty_Ordering) new_esEs12(Right(x0), Right(x1), x2, app(ty_[], x3)) new_esEs13(Just(x0), Just(x1), ty_Bool) new_esEs18(LT, EQ) new_esEs18(EQ, LT) new_esEs4(:(x0, x1), :(x2, x3), x4) new_primMulNat0(Succ(x0), Zero) new_esEs24(x0, x1, ty_Int) new_esEs9(x0, x1, ty_Integer) new_esEs21(x0, x1, ty_Ordering) new_primEqNat0(Zero, Zero) new_esEs12(Right(x0), Right(x1), x2, app(app(ty_Either, x3), x4)) new_primMulNat0(Zero, Succ(x0)) new_sr(Neg(x0), Neg(x1)) new_primPlusNat1(Zero, Succ(x0)) new_esEs23(x0, x1, app(ty_[], x2)) new_esEs12(Right(x0), Right(x1), x2, ty_Int) new_esEs22(x0, x1, app(ty_Maybe, x2)) new_esEs12(Left(x0), Left(x1), app(ty_Ratio, x2), x3) new_esEs22(x0, x1, ty_Int) new_esEs25(x0, x1, ty_Float) new_esEs12(Right(x0), Right(x1), x2, app(app(ty_@2, x3), x4)) new_esEs25(x0, x1, ty_Bool) new_primEqInt(Pos(Zero), Pos(Succ(x0))) new_esEs24(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs22(x0, x1, app(ty_Ratio, x2)) new_esEs15(Char(x0), Char(x1)) new_esEs13(Nothing, Just(x0), x1) new_esEs16(@2(x0, x1), @2(x2, x3), x4, x5) new_esEs12(Left(x0), Left(x1), ty_Int, x2) new_esEs20(x0, x1, app(ty_Ratio, x2)) new_esEs20(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs25(x0, x1, ty_Double) new_primEqInt(Pos(Zero), Neg(Succ(x0))) new_primEqInt(Neg(Zero), Pos(Succ(x0))) new_sr(Pos(x0), Neg(x1)) new_sr(Neg(x0), Pos(x1)) new_esEs25(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_primEqInt(Neg(Succ(x0)), Neg(Succ(x1))) new_esEs4([], [], x0) new_esEs9(x0, x1, ty_Int) new_esEs12(Left(x0), Left(x1), ty_Char, x2) new_esEs13(Just(x0), Just(x1), app(app(ty_Either, x2), x3)) new_esEs20(x0, x1, app(ty_[], x2)) new_esEs10(Integer(x0), Integer(x1)) new_esEs13(Just(x0), Just(x1), app(app(app(ty_@3, x2), x3), x4)) new_esEs18(EQ, EQ) new_esEs25(x0, x1, ty_Int) new_esEs22(x0, x1, ty_@0) new_esEs12(Left(x0), Left(x1), app(app(ty_@2, x2), x3), x4) new_esEs22(x0, x1, ty_Float) new_esEs12(Left(x0), Left(x1), ty_Double, x2) new_esEs23(x0, x1, ty_Ordering) new_esEs13(Just(x0), Just(x1), ty_Float) new_esEs12(Right(x0), Right(x1), x2, ty_Char) new_esEs12(Left(x0), Left(x1), app(app(app(ty_@3, x2), x3), x4), x5) new_esEs12(Left(x0), Left(x1), ty_Bool, x2) new_esEs25(x0, x1, ty_@0) new_esEs12(Right(x0), Right(x1), x2, ty_Double) new_esEs20(x0, x1, ty_Ordering) new_esEs23(x0, x1, app(ty_Maybe, x2)) new_asAs(False, x0) new_primEqNat0(Succ(x0), Succ(x1)) new_esEs23(x0, x1, app(app(ty_Either, x2), x3)) new_esEs23(x0, x1, ty_Integer) new_esEs13(Just(x0), Just(x1), ty_@0) new_esEs20(x0, x1, app(ty_Maybe, x2)) We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (16) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_listToMaybe(yv35, False, :(yv41110, yv41111), ba) -> new_listToMaybe(new_primPlusNat0(yv35, Zero), new_esEs4([], yv41110, ba), yv41111, ba) The graph contains the following edges 3 > 3, 4 >= 4 ---------------------------------------- (17) YES ---------------------------------------- (18) Obligation: Q DP problem: The TRS P consists of the following rules: new_esEs1(Left(yv300), Left(yv4000), app(app(ty_Either, dg), dh), cf) -> new_esEs1(yv300, yv4000, dg, dh) new_esEs1(Right(yv300), Right(yv4000), ce, app(ty_[], eg)) -> new_esEs0(yv300, yv4000, eg) new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, da, app(ty_[], ga)) -> new_esEs0(yv302, yv4002, ga) new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), app(app(ty_Either, bcf), bcg), dd) -> new_esEs1(yv300, yv4000, bcf, bcg) new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), dc, app(app(ty_Either, bbe), bbf)) -> new_esEs1(yv301, yv4001, bbe, bbf) new_esEs(Just(yv300), Just(yv4000), app(app(ty_@2, bh), ca)) -> new_esEs3(yv300, yv4000, bh, ca) new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), app(ty_[], bac), da, db) -> new_esEs0(yv300, yv4000, bac) new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, da, app(app(ty_@2, gg), gh)) -> new_esEs3(yv302, yv4002, gg, gh) new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, app(ty_[], hb), db) -> new_esEs0(yv301, yv4001, hb) new_esEs1(Right(yv300), Right(yv4000), ce, app(app(ty_@2, ff), fg)) -> new_esEs3(yv300, yv4000, ff, fg) new_esEs0(:(yv310, yv311), :(yv4010, yv4011), app(app(ty_@2, dc), dd)) -> new_esEs3(yv310, yv4010, dc, dd) new_esEs1(Right(yv300), Right(yv4000), ce, app(app(app(ty_@3, fb), fc), fd)) -> new_esEs2(yv300, yv4000, fb, fc, fd) new_esEs(Just(yv300), Just(yv4000), app(ty_Maybe, ba)) -> new_esEs(yv300, yv4000, ba) new_esEs1(Left(yv300), Left(yv4000), app(ty_[], df), cf) -> new_esEs0(yv300, yv4000, df) new_esEs0(:(yv310, yv311), :(yv4010, yv4011), app(app(ty_Either, ce), cf)) -> new_esEs1(yv310, yv4010, ce, cf) new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), app(app(ty_@2, bba), bbb), da, db) -> new_esEs3(yv300, yv4000, bba, bbb) new_esEs0(:(yv310, yv311), :(yv4010, yv4011), app(ty_[], cd)) -> new_esEs0(yv310, yv4010, cd) new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, app(app(ty_@2, hh), baa), db) -> new_esEs3(yv301, yv4001, hh, baa) new_esEs0(:(yv310, yv311), :(yv4010, yv4011), app(app(app(ty_@3, cg), da), db)) -> new_esEs2(yv310, yv4010, cg, da, db) new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, app(app(app(ty_@3, he), hf), hg), db) -> new_esEs2(yv301, yv4001, he, hf, hg) new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), app(app(ty_Either, bad), bae), da, db) -> new_esEs1(yv300, yv4000, bad, bae) new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), dc, app(app(ty_@2, bcb), bcc)) -> new_esEs3(yv301, yv4001, bcb, bcc) new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), app(app(app(ty_@3, baf), bag), bah), da, db) -> new_esEs2(yv300, yv4000, baf, bag, bah) new_esEs0(:(yv310, yv311), :(yv4010, yv4011), cb) -> new_esEs0(yv311, yv4011, cb) new_esEs1(Right(yv300), Right(yv4000), ce, app(ty_Maybe, ef)) -> new_esEs(yv300, yv4000, ef) new_esEs(Just(yv300), Just(yv4000), app(app(ty_Either, bc), bd)) -> new_esEs1(yv300, yv4000, bc, bd) new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), app(ty_[], bce), dd) -> new_esEs0(yv300, yv4000, bce) new_esEs1(Left(yv300), Left(yv4000), app(ty_Maybe, de), cf) -> new_esEs(yv300, yv4000, de) new_esEs0(:(yv310, yv311), :(yv4010, yv4011), app(ty_Maybe, cc)) -> new_esEs(yv310, yv4010, cc) new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), dc, app(ty_[], bbd)) -> new_esEs0(yv301, yv4001, bbd) new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), app(app(ty_@2, bdc), bdd), dd) -> new_esEs3(yv300, yv4000, bdc, bdd) new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, app(app(ty_Either, hc), hd), db) -> new_esEs1(yv301, yv4001, hc, hd) new_esEs(Just(yv300), Just(yv4000), app(app(app(ty_@3, be), bf), bg)) -> new_esEs2(yv300, yv4000, be, bf, bg) new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), app(app(app(ty_@3, bch), bda), bdb), dd) -> new_esEs2(yv300, yv4000, bch, bda, bdb) new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), dc, app(ty_Maybe, bbc)) -> new_esEs(yv301, yv4001, bbc) new_esEs1(Left(yv300), Left(yv4000), app(app(app(ty_@3, ea), eb), ec), cf) -> new_esEs2(yv300, yv4000, ea, eb, ec) new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, da, app(ty_Maybe, fh)) -> new_esEs(yv302, yv4002, fh) new_esEs(Just(yv300), Just(yv4000), app(ty_[], bb)) -> new_esEs0(yv300, yv4000, bb) new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, da, app(app(app(ty_@3, gd), ge), gf)) -> new_esEs2(yv302, yv4002, gd, ge, gf) new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), app(ty_Maybe, bcd), dd) -> new_esEs(yv300, yv4000, bcd) new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, app(ty_Maybe, ha), db) -> new_esEs(yv301, yv4001, ha) new_esEs1(Right(yv300), Right(yv4000), ce, app(app(ty_Either, eh), fa)) -> new_esEs1(yv300, yv4000, eh, fa) new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), dc, app(app(app(ty_@3, bbg), bbh), bca)) -> new_esEs2(yv301, yv4001, bbg, bbh, bca) new_esEs1(Left(yv300), Left(yv4000), app(app(ty_@2, ed), ee), cf) -> new_esEs3(yv300, yv4000, ed, ee) new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), app(ty_Maybe, bab), da, db) -> new_esEs(yv300, yv4000, bab) new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, da, app(app(ty_Either, gb), gc)) -> new_esEs1(yv302, yv4002, gb, gc) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (19) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_esEs0(:(yv310, yv311), :(yv4010, yv4011), app(app(ty_Either, ce), cf)) -> new_esEs1(yv310, yv4010, ce, cf) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs0(:(yv310, yv311), :(yv4010, yv4011), app(app(app(ty_@3, cg), da), db)) -> new_esEs2(yv310, yv4010, cg, da, db) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs0(:(yv310, yv311), :(yv4010, yv4011), app(app(ty_@2, dc), dd)) -> new_esEs3(yv310, yv4010, dc, dd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs0(:(yv310, yv311), :(yv4010, yv4011), app(ty_Maybe, cc)) -> new_esEs(yv310, yv4010, cc) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs(Just(yv300), Just(yv4000), app(app(ty_Either, bc), bd)) -> new_esEs1(yv300, yv4000, bc, bd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs(Just(yv300), Just(yv4000), app(app(app(ty_@3, be), bf), bg)) -> new_esEs2(yv300, yv4000, be, bf, bg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs(Just(yv300), Just(yv4000), app(app(ty_@2, bh), ca)) -> new_esEs3(yv300, yv4000, bh, ca) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs(Just(yv300), Just(yv4000), app(ty_Maybe, ba)) -> new_esEs(yv300, yv4000, ba) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs(Just(yv300), Just(yv4000), app(ty_[], bb)) -> new_esEs0(yv300, yv4000, bb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs1(Left(yv300), Left(yv4000), app(app(ty_Either, dg), dh), cf) -> new_esEs1(yv300, yv4000, dg, dh) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs1(Right(yv300), Right(yv4000), ce, app(app(ty_Either, eh), fa)) -> new_esEs1(yv300, yv4000, eh, fa) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs1(Right(yv300), Right(yv4000), ce, app(app(app(ty_@3, fb), fc), fd)) -> new_esEs2(yv300, yv4000, fb, fc, fd) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5 *new_esEs1(Left(yv300), Left(yv4000), app(app(app(ty_@3, ea), eb), ec), cf) -> new_esEs2(yv300, yv4000, ea, eb, ec) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs1(Right(yv300), Right(yv4000), ce, app(app(ty_@2, ff), fg)) -> new_esEs3(yv300, yv4000, ff, fg) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs1(Left(yv300), Left(yv4000), app(app(ty_@2, ed), ee), cf) -> new_esEs3(yv300, yv4000, ed, ee) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs1(Right(yv300), Right(yv4000), ce, app(ty_Maybe, ef)) -> new_esEs(yv300, yv4000, ef) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs1(Left(yv300), Left(yv4000), app(ty_Maybe, de), cf) -> new_esEs(yv300, yv4000, de) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs1(Right(yv300), Right(yv4000), ce, app(ty_[], eg)) -> new_esEs0(yv300, yv4000, eg) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs1(Left(yv300), Left(yv4000), app(ty_[], df), cf) -> new_esEs0(yv300, yv4000, df) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), app(app(ty_Either, bcf), bcg), dd) -> new_esEs1(yv300, yv4000, bcf, bcg) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), dc, app(app(ty_Either, bbe), bbf)) -> new_esEs1(yv301, yv4001, bbe, bbf) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), app(app(ty_Either, bad), bae), da, db) -> new_esEs1(yv300, yv4000, bad, bae) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, app(app(ty_Either, hc), hd), db) -> new_esEs1(yv301, yv4001, hc, hd) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, da, app(app(ty_Either, gb), gc)) -> new_esEs1(yv302, yv4002, gb, gc) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4 *new_esEs0(:(yv310, yv311), :(yv4010, yv4011), app(ty_[], cd)) -> new_esEs0(yv310, yv4010, cd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs0(:(yv310, yv311), :(yv4010, yv4011), cb) -> new_esEs0(yv311, yv4011, cb) The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3 *new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), app(app(app(ty_@3, bch), bda), bdb), dd) -> new_esEs2(yv300, yv4000, bch, bda, bdb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), dc, app(app(app(ty_@3, bbg), bbh), bca)) -> new_esEs2(yv301, yv4001, bbg, bbh, bca) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5 *new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, app(app(app(ty_@3, he), hf), hg), db) -> new_esEs2(yv301, yv4001, he, hf, hg) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5 *new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), app(app(app(ty_@3, baf), bag), bah), da, db) -> new_esEs2(yv300, yv4000, baf, bag, bah) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5 *new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, da, app(app(app(ty_@3, gd), ge), gf)) -> new_esEs2(yv302, yv4002, gd, ge, gf) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4, 5 > 5 *new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), dc, app(app(ty_@2, bcb), bcc)) -> new_esEs3(yv301, yv4001, bcb, bcc) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), app(app(ty_@2, bdc), bdd), dd) -> new_esEs3(yv300, yv4000, bdc, bdd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, da, app(app(ty_@2, gg), gh)) -> new_esEs3(yv302, yv4002, gg, gh) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4 *new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), app(app(ty_@2, bba), bbb), da, db) -> new_esEs3(yv300, yv4000, bba, bbb) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4 *new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, app(app(ty_@2, hh), baa), db) -> new_esEs3(yv301, yv4001, hh, baa) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4 *new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), dc, app(ty_Maybe, bbc)) -> new_esEs(yv301, yv4001, bbc) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), app(ty_Maybe, bcd), dd) -> new_esEs(yv300, yv4000, bcd) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), app(ty_[], bce), dd) -> new_esEs0(yv300, yv4000, bce) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs3(@2(yv300, yv301), @2(yv4000, yv4001), dc, app(ty_[], bbd)) -> new_esEs0(yv301, yv4001, bbd) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, da, app(ty_Maybe, fh)) -> new_esEs(yv302, yv4002, fh) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3 *new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, app(ty_Maybe, ha), db) -> new_esEs(yv301, yv4001, ha) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 *new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), app(ty_Maybe, bab), da, db) -> new_esEs(yv300, yv4000, bab) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, da, app(ty_[], ga)) -> new_esEs0(yv302, yv4002, ga) The graph contains the following edges 1 > 1, 2 > 2, 5 > 3 *new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), app(ty_[], bac), da, db) -> new_esEs0(yv300, yv4000, bac) The graph contains the following edges 1 > 1, 2 > 2, 3 > 3 *new_esEs2(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cg, app(ty_[], hb), db) -> new_esEs0(yv301, yv4001, hb) The graph contains the following edges 1 > 1, 2 > 2, 4 > 3 ---------------------------------------- (20) YES ---------------------------------------- (21) Obligation: Q DP problem: The TRS P consists of the following rules: new_listToMaybe0(yv37, False, yv14, yv12, :(yv15110, yv15111), ba) -> new_listToMaybe0(new_primPlusNat0(yv37, Zero), new_esEs4(:(yv14, yv12), yv15110, ba), yv14, yv12, yv15111, ba) The TRS R consists of the following rules: new_esEs23(yv310, yv4010, ty_Int) -> new_esEs6(yv310, yv4010) new_esEs25(yv300, yv4000, app(ty_Maybe, bde)) -> new_esEs13(yv300, yv4000, bde) new_primEqInt(Pos(Zero), Pos(Zero)) -> True new_esEs21(yv301, yv4001, app(ty_Ratio, ga)) -> new_esEs7(yv301, yv4001, ga) new_esEs12(Left(yv300), Left(yv4000), ty_Double, bd) -> new_esEs19(yv300, yv4000) new_esEs13(Just(yv300), Just(yv4000), ty_Ordering) -> new_esEs18(yv300, yv4000) new_esEs22(yv300, yv4000, ty_Char) -> new_esEs15(yv300, yv4000) new_esEs24(yv301, yv4001, ty_Char) -> new_esEs15(yv301, yv4001) new_esEs19(Double(yv300, yv301), Double(yv4000, yv4001)) -> new_esEs6(new_sr(yv300, yv4001), new_sr(yv301, yv4000)) new_esEs21(yv301, yv4001, app(app(app(ty_@3, ge), gf), gg)) -> new_esEs14(yv301, yv4001, ge, gf, gg) new_esEs25(yv300, yv4000, ty_Double) -> new_esEs19(yv300, yv4000) new_esEs20(yv302, yv4002, ty_Bool) -> new_esEs17(yv302, yv4002) new_esEs4(:(yv310, yv311), :(yv4010, yv4011), bbg) -> new_asAs(new_esEs23(yv310, yv4010, bbg), new_esEs4(yv311, yv4011, bbg)) new_esEs23(yv310, yv4010, app(ty_Maybe, bad)) -> new_esEs13(yv310, yv4010, bad) new_esEs22(yv300, yv4000, app(ty_[], hd)) -> new_esEs4(yv300, yv4000, hd) new_esEs24(yv301, yv4001, ty_@0) -> new_esEs11(yv301, yv4001) new_esEs12(Left(yv300), Left(yv4000), app(ty_Ratio, be), bd) -> new_esEs7(yv300, yv4000, be) new_esEs13(Just(yv300), Just(yv4000), ty_Integer) -> new_esEs10(yv300, yv4000) new_esEs25(yv300, yv4000, app(app(ty_Either, bdh), bea)) -> new_esEs12(yv300, yv4000, bdh, bea) new_esEs12(Right(yv300), Right(yv4000), cf, ty_Bool) -> new_esEs17(yv300, yv4000) new_esEs25(yv300, yv4000, ty_Int) -> new_esEs6(yv300, yv4000) new_asAs(True, yv53) -> yv53 new_esEs10(Integer(yv300), Integer(yv4000)) -> new_primEqInt(yv300, yv4000) new_esEs17(False, True) -> False new_esEs17(True, False) -> False new_esEs24(yv301, yv4001, ty_Float) -> new_esEs5(yv301, yv4001) new_esEs16(@2(yv300, yv301), @2(yv4000, yv4001), bca, bcb) -> new_asAs(new_esEs25(yv300, yv4000, bca), new_esEs24(yv301, yv4001, bcb)) new_primEqInt(Pos(Succ(yv3000)), Pos(Zero)) -> False new_primEqInt(Pos(Zero), Pos(Succ(yv40000))) -> False new_esEs12(Right(yv300), Right(yv4000), cf, ty_@0) -> new_esEs11(yv300, yv4000) new_esEs22(yv300, yv4000, app(app(ty_Either, he), hf)) -> new_esEs12(yv300, yv4000, he, hf) new_esEs23(yv310, yv4010, ty_Double) -> new_esEs19(yv310, yv4010) new_esEs5(Float(yv300, yv301), Float(yv4000, yv4001)) -> new_esEs6(new_sr(yv300, yv4001), new_sr(yv301, yv4000)) new_primEqNat0(Succ(yv3000), Succ(yv40000)) -> new_primEqNat0(yv3000, yv40000) new_esEs12(Right(yv300), Right(yv4000), cf, app(app(ty_Either, dc), dd)) -> new_esEs12(yv300, yv4000, dc, dd) new_esEs13(Just(yv300), Just(yv4000), app(app(app(ty_@3, bbb), bbc), bbd)) -> new_esEs14(yv300, yv4000, bbb, bbc, bbd) new_esEs23(yv310, yv4010, app(app(app(ty_@3, eb), ec), ed)) -> new_esEs14(yv310, yv4010, eb, ec, ed) new_esEs22(yv300, yv4000, ty_Bool) -> new_esEs17(yv300, yv4000) new_esEs18(GT, GT) -> True new_esEs24(yv301, yv4001, app(ty_[], bce)) -> new_esEs4(yv301, yv4001, bce) new_esEs22(yv300, yv4000, ty_@0) -> new_esEs11(yv300, yv4000) new_esEs22(yv300, yv4000, ty_Float) -> new_esEs5(yv300, yv4000) new_primMulNat0(Zero, Zero) -> Zero new_esEs25(yv300, yv4000, app(ty_Ratio, bdf)) -> new_esEs7(yv300, yv4000, bdf) new_esEs23(yv310, yv4010, app(app(ty_Either, cf), bd)) -> new_esEs12(yv310, yv4010, cf, bd) new_esEs22(yv300, yv4000, ty_Integer) -> new_esEs10(yv300, yv4000) new_esEs8(yv301, yv4001, ty_Int) -> new_esEs6(yv301, yv4001) new_esEs21(yv301, yv4001, ty_Integer) -> new_esEs10(yv301, yv4001) new_esEs12(Left(yv300), Left(yv4000), ty_Char, bd) -> new_esEs15(yv300, yv4000) new_esEs12(Right(yv300), Right(yv4000), cf, ty_Char) -> new_esEs15(yv300, yv4000) new_esEs23(yv310, yv4010, app(app(ty_@2, bca), bcb)) -> new_esEs16(yv310, yv4010, bca, bcb) new_esEs9(yv300, yv4000, ty_Int) -> new_esEs6(yv300, yv4000) new_esEs18(EQ, GT) -> False new_esEs18(GT, EQ) -> False new_esEs12(Left(yv300), Right(yv4000), cf, bd) -> False new_esEs12(Right(yv300), Left(yv4000), cf, bd) -> False new_esEs24(yv301, yv4001, app(app(ty_Either, bcf), bcg)) -> new_esEs12(yv301, yv4001, bcf, bcg) new_primEqNat0(Succ(yv3000), Zero) -> False new_primEqNat0(Zero, Succ(yv40000)) -> False new_esEs20(yv302, yv4002, ty_Double) -> new_esEs19(yv302, yv4002) new_esEs12(Left(yv300), Left(yv4000), ty_@0, bd) -> new_esEs11(yv300, yv4000) new_esEs22(yv300, yv4000, ty_Ordering) -> new_esEs18(yv300, yv4000) new_esEs13(Just(yv300), Just(yv4000), app(ty_Maybe, bae)) -> new_esEs13(yv300, yv4000, bae) new_esEs22(yv300, yv4000, app(app(ty_@2, bab), bac)) -> new_esEs16(yv300, yv4000, bab, bac) new_esEs25(yv300, yv4000, app(app(app(ty_@3, beb), bec), bed)) -> new_esEs14(yv300, yv4000, beb, bec, bed) new_esEs12(Right(yv300), Right(yv4000), cf, ty_Double) -> new_esEs19(yv300, yv4000) new_esEs9(yv300, yv4000, ty_Integer) -> new_esEs10(yv300, yv4000) new_esEs24(yv301, yv4001, ty_Double) -> new_esEs19(yv301, yv4001) new_esEs12(Left(yv300), Left(yv4000), app(app(ty_Either, bg), bh), bd) -> new_esEs12(yv300, yv4000, bg, bh) new_esEs21(yv301, yv4001, ty_Ordering) -> new_esEs18(yv301, yv4001) new_esEs12(Right(yv300), Right(yv4000), cf, app(ty_Maybe, cg)) -> new_esEs13(yv300, yv4000, cg) new_esEs20(yv302, yv4002, ty_Char) -> new_esEs15(yv302, yv4002) new_esEs18(LT, GT) -> False new_esEs18(GT, LT) -> False new_primEqInt(Neg(Succ(yv3000)), Neg(Zero)) -> False new_primEqInt(Neg(Zero), Neg(Succ(yv40000))) -> False new_esEs24(yv301, yv4001, app(app(app(ty_@3, bch), bda), bdb)) -> new_esEs14(yv301, yv4001, bch, bda, bdb) new_primEqInt(Pos(Succ(yv3000)), Pos(Succ(yv40000))) -> new_primEqNat0(yv3000, yv40000) new_esEs13(Just(yv300), Just(yv4000), ty_@0) -> new_esEs11(yv300, yv4000) new_esEs13(Just(yv300), Just(yv4000), app(ty_[], bag)) -> new_esEs4(yv300, yv4000, bag) new_esEs13(Just(yv300), Just(yv4000), app(app(ty_Either, bah), bba)) -> new_esEs12(yv300, yv4000, bah, bba) new_esEs12(Left(yv300), Left(yv4000), app(ty_Maybe, bc), bd) -> new_esEs13(yv300, yv4000, bc) new_esEs23(yv310, yv4010, ty_Float) -> new_esEs5(yv310, yv4010) new_sr(Pos(yv3010), Neg(yv40000)) -> Neg(new_primMulNat0(yv3010, yv40000)) new_sr(Neg(yv3010), Pos(yv40000)) -> Neg(new_primMulNat0(yv3010, yv40000)) new_primPlusNat1(Succ(yv5400), Succ(yv4000000)) -> Succ(Succ(new_primPlusNat1(yv5400, yv4000000))) new_primEqInt(Pos(Succ(yv3000)), Neg(yv4000)) -> False new_primEqInt(Neg(Succ(yv3000)), Pos(yv4000)) -> False new_esEs21(yv301, yv4001, ty_Int) -> new_esEs6(yv301, yv4001) new_esEs14(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), eb, ec, ed) -> new_asAs(new_esEs22(yv300, yv4000, eb), new_asAs(new_esEs21(yv301, yv4001, ec), new_esEs20(yv302, yv4002, ed))) new_esEs13(Just(yv300), Just(yv4000), ty_Float) -> new_esEs5(yv300, yv4000) new_esEs18(LT, LT) -> True new_esEs25(yv300, yv4000, ty_Char) -> new_esEs15(yv300, yv4000) new_esEs12(Left(yv300), Left(yv4000), ty_Float, bd) -> new_esEs5(yv300, yv4000) new_esEs23(yv310, yv4010, ty_Char) -> new_esEs15(yv310, yv4010) new_esEs12(Right(yv300), Right(yv4000), cf, ty_Ordering) -> new_esEs18(yv300, yv4000) new_esEs22(yv300, yv4000, app(app(app(ty_@3, hg), hh), baa)) -> new_esEs14(yv300, yv4000, hg, hh, baa) new_esEs17(True, True) -> True new_esEs20(yv302, yv4002, app(ty_Ratio, ef)) -> new_esEs7(yv302, yv4002, ef) new_esEs13(Just(yv300), Just(yv4000), app(app(ty_@2, bbe), bbf)) -> new_esEs16(yv300, yv4000, bbe, bbf) new_sr(Neg(yv3010), Neg(yv40000)) -> Pos(new_primMulNat0(yv3010, yv40000)) new_esEs21(yv301, yv4001, ty_Bool) -> new_esEs17(yv301, yv4001) new_esEs23(yv310, yv4010, ty_@0) -> new_esEs11(yv310, yv4010) new_esEs23(yv310, yv4010, app(ty_[], bbh)) -> new_esEs4(yv310, yv4010, bbh) new_esEs25(yv300, yv4000, ty_Integer) -> new_esEs10(yv300, yv4000) new_esEs23(yv310, yv4010, ty_Bool) -> new_esEs17(yv310, yv4010) new_esEs22(yv300, yv4000, ty_Int) -> new_esEs6(yv300, yv4000) new_esEs24(yv301, yv4001, app(ty_Maybe, bcc)) -> new_esEs13(yv301, yv4001, bcc) new_esEs25(yv300, yv4000, ty_Float) -> new_esEs5(yv300, yv4000) new_primEqInt(Pos(Zero), Neg(Succ(yv40000))) -> False new_primEqInt(Neg(Zero), Pos(Succ(yv40000))) -> False new_esEs12(Right(yv300), Right(yv4000), cf, app(ty_[], db)) -> new_esEs4(yv300, yv4000, db) new_esEs8(yv301, yv4001, ty_Integer) -> new_esEs10(yv301, yv4001) new_esEs25(yv300, yv4000, ty_@0) -> new_esEs11(yv300, yv4000) new_esEs20(yv302, yv4002, app(app(app(ty_@3, fb), fc), fd)) -> new_esEs14(yv302, yv4002, fb, fc, fd) new_esEs13(Just(yv300), Just(yv4000), ty_Double) -> new_esEs19(yv300, yv4000) new_esEs6(yv30, yv400) -> new_primEqInt(yv30, yv400) new_primEqInt(Neg(Succ(yv3000)), Neg(Succ(yv40000))) -> new_primEqNat0(yv3000, yv40000) new_esEs22(yv300, yv4000, app(ty_Maybe, hb)) -> new_esEs13(yv300, yv4000, hb) new_esEs20(yv302, yv4002, ty_Int) -> new_esEs6(yv302, yv4002) new_esEs21(yv301, yv4001, app(ty_[], gb)) -> new_esEs4(yv301, yv4001, gb) new_esEs12(Right(yv300), Right(yv4000), cf, ty_Float) -> new_esEs5(yv300, yv4000) new_primPlusNat0(Succ(yv540), yv400000) -> Succ(Succ(new_primPlusNat1(yv540, yv400000))) new_esEs12(Left(yv300), Left(yv4000), app(app(app(ty_@3, ca), cb), cc), bd) -> new_esEs14(yv300, yv4000, ca, cb, cc) new_esEs12(Left(yv300), Left(yv4000), app(app(ty_@2, cd), ce), bd) -> new_esEs16(yv300, yv4000, cd, ce) new_esEs21(yv301, yv4001, app(app(ty_@2, gh), ha)) -> new_esEs16(yv301, yv4001, gh, ha) new_esEs25(yv300, yv4000, ty_Bool) -> new_esEs17(yv300, yv4000) new_esEs25(yv300, yv4000, ty_Ordering) -> new_esEs18(yv300, yv4000) new_primPlusNat1(Zero, Zero) -> Zero new_esEs23(yv310, yv4010, ty_Integer) -> new_esEs10(yv310, yv4010) new_esEs20(yv302, yv4002, ty_Ordering) -> new_esEs18(yv302, yv4002) new_esEs22(yv300, yv4000, app(ty_Ratio, hc)) -> new_esEs7(yv300, yv4000, hc) new_primMulNat0(Succ(yv30100), Zero) -> Zero new_primMulNat0(Zero, Succ(yv400000)) -> Zero new_esEs12(Left(yv300), Left(yv4000), app(ty_[], bf), bd) -> new_esEs4(yv300, yv4000, bf) new_sr(Pos(yv3010), Pos(yv40000)) -> Pos(new_primMulNat0(yv3010, yv40000)) new_esEs20(yv302, yv4002, ty_Integer) -> new_esEs10(yv302, yv4002) new_primPlusNat0(Zero, yv400000) -> Succ(yv400000) new_esEs24(yv301, yv4001, app(app(ty_@2, bdc), bdd)) -> new_esEs16(yv301, yv4001, bdc, bdd) new_esEs21(yv301, yv4001, ty_Char) -> new_esEs15(yv301, yv4001) new_esEs12(Right(yv300), Right(yv4000), cf, app(app(ty_@2, dh), ea)) -> new_esEs16(yv300, yv4000, dh, ea) new_primEqInt(Neg(Zero), Neg(Zero)) -> True new_esEs17(False, False) -> True new_esEs20(yv302, yv4002, app(ty_Maybe, ee)) -> new_esEs13(yv302, yv4002, ee) new_primMulNat0(Succ(yv30100), Succ(yv400000)) -> new_primPlusNat0(new_primMulNat0(yv30100, Succ(yv400000)), yv400000) new_esEs23(yv310, yv4010, ty_Ordering) -> new_esEs18(yv310, yv4010) new_esEs21(yv301, yv4001, ty_Double) -> new_esEs19(yv301, yv4001) new_esEs12(Left(yv300), Left(yv4000), ty_Int, bd) -> new_esEs6(yv300, yv4000) new_esEs4(:(yv310, yv311), [], bbg) -> False new_esEs4([], :(yv4010, yv4011), bbg) -> False new_esEs18(EQ, EQ) -> True new_esEs13(Just(yv300), Just(yv4000), ty_Int) -> new_esEs6(yv300, yv4000) new_esEs21(yv301, yv4001, ty_Float) -> new_esEs5(yv301, yv4001) new_primPlusNat1(Succ(yv5400), Zero) -> Succ(yv5400) new_primPlusNat1(Zero, Succ(yv4000000)) -> Succ(yv4000000) new_esEs12(Right(yv300), Right(yv4000), cf, ty_Int) -> new_esEs6(yv300, yv4000) new_esEs24(yv301, yv4001, app(ty_Ratio, bcd)) -> new_esEs7(yv301, yv4001, bcd) new_esEs12(Right(yv300), Right(yv4000), cf, app(app(app(ty_@3, de), df), dg)) -> new_esEs14(yv300, yv4000, de, df, dg) new_primEqInt(Pos(Zero), Neg(Zero)) -> True new_primEqInt(Neg(Zero), Pos(Zero)) -> True new_esEs11(@0, @0) -> True new_esEs20(yv302, yv4002, ty_@0) -> new_esEs11(yv302, yv4002) new_esEs12(Left(yv300), Left(yv4000), ty_Bool, bd) -> new_esEs17(yv300, yv4000) new_esEs13(Just(yv300), Just(yv4000), ty_Char) -> new_esEs15(yv300, yv4000) new_esEs13(Nothing, Nothing, bad) -> True new_esEs23(yv310, yv4010, app(ty_Ratio, bb)) -> new_esEs7(yv310, yv4010, bb) new_esEs25(yv300, yv4000, app(ty_[], bdg)) -> new_esEs4(yv300, yv4000, bdg) new_esEs7(:%(yv300, yv301), :%(yv4000, yv4001), bb) -> new_asAs(new_esEs9(yv300, yv4000, bb), new_esEs8(yv301, yv4001, bb)) new_esEs24(yv301, yv4001, ty_Integer) -> new_esEs10(yv301, yv4001) new_esEs12(Right(yv300), Right(yv4000), cf, ty_Integer) -> new_esEs10(yv300, yv4000) new_primEqNat0(Zero, Zero) -> True new_esEs24(yv301, yv4001, ty_Bool) -> new_esEs17(yv301, yv4001) new_esEs13(Just(yv300), Just(yv4000), ty_Bool) -> new_esEs17(yv300, yv4000) new_esEs20(yv302, yv4002, ty_Float) -> new_esEs5(yv302, yv4002) new_esEs15(Char(yv300), Char(yv4000)) -> new_primEqNat0(yv300, yv4000) new_esEs20(yv302, yv4002, app(app(ty_Either, eh), fa)) -> new_esEs12(yv302, yv4002, eh, fa) new_esEs21(yv301, yv4001, app(app(ty_Either, gc), gd)) -> new_esEs12(yv301, yv4001, gc, gd) new_esEs4([], [], bbg) -> True new_asAs(False, yv53) -> False new_esEs25(yv300, yv4000, app(app(ty_@2, bee), bef)) -> new_esEs16(yv300, yv4000, bee, bef) new_esEs21(yv301, yv4001, ty_@0) -> new_esEs11(yv301, yv4001) new_esEs20(yv302, yv4002, app(app(ty_@2, ff), fg)) -> new_esEs16(yv302, yv4002, ff, fg) new_esEs24(yv301, yv4001, ty_Int) -> new_esEs6(yv301, yv4001) new_esEs12(Right(yv300), Right(yv4000), cf, app(ty_Ratio, da)) -> new_esEs7(yv300, yv4000, da) new_esEs21(yv301, yv4001, app(ty_Maybe, fh)) -> new_esEs13(yv301, yv4001, fh) new_esEs13(Just(yv300), Just(yv4000), app(ty_Ratio, baf)) -> new_esEs7(yv300, yv4000, baf) new_esEs12(Left(yv300), Left(yv4000), ty_Ordering, bd) -> new_esEs18(yv300, yv4000) new_esEs12(Left(yv300), Left(yv4000), ty_Integer, bd) -> new_esEs10(yv300, yv4000) new_esEs22(yv300, yv4000, ty_Double) -> new_esEs19(yv300, yv4000) new_esEs18(LT, EQ) -> False new_esEs18(EQ, LT) -> False new_esEs24(yv301, yv4001, ty_Ordering) -> new_esEs18(yv301, yv4001) new_esEs20(yv302, yv4002, app(ty_[], eg)) -> new_esEs4(yv302, yv4002, eg) new_esEs13(Nothing, Just(yv4000), bad) -> False new_esEs13(Just(yv300), Nothing, bad) -> False The set Q consists of the following terms: new_esEs25(x0, x1, app(app(ty_Either, x2), x3)) new_esEs24(x0, x1, ty_@0) new_esEs24(x0, x1, app(ty_[], x2)) new_esEs20(x0, x1, app(app(ty_Either, x2), x3)) new_esEs13(Just(x0), Just(x1), ty_Int) new_esEs21(x0, x1, ty_Bool) new_esEs12(Left(x0), Left(x1), app(ty_[], x2), x3) new_esEs23(x0, x1, app(ty_Ratio, x2)) new_esEs25(x0, x1, ty_Char) new_esEs12(Right(x0), Right(x1), x2, app(app(app(ty_@3, x3), x4), x5)) new_primMulNat0(Zero, Zero) new_esEs20(x0, x1, ty_Integer) new_esEs12(Right(x0), Right(x1), x2, ty_@0) new_esEs21(x0, x1, app(app(ty_Either, x2), x3)) new_primPlusNat1(Zero, Zero) new_esEs8(x0, x1, ty_Int) new_esEs24(x0, x1, ty_Bool) new_esEs12(Right(x0), Right(x1), x2, ty_Bool) new_esEs13(Just(x0), Just(x1), ty_Double) new_esEs13(Just(x0), Just(x1), ty_Char) new_esEs13(Nothing, Nothing, x0) new_esEs5(Float(x0, x1), Float(x2, x3)) new_esEs17(True, True) new_esEs24(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs23(x0, x1, ty_Bool) new_esEs22(x0, x1, ty_Char) new_esEs21(x0, x1, ty_Integer) new_esEs12(Right(x0), Right(x1), x2, app(ty_Ratio, x3)) new_primEqInt(Pos(Zero), Pos(Zero)) new_esEs14(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8) new_esEs12(Left(x0), Left(x1), app(app(ty_Either, x2), x3), x4) new_esEs13(Just(x0), Just(x1), app(ty_[], x2)) new_esEs18(EQ, GT) new_esEs18(GT, EQ) new_esEs17(False, False) new_esEs12(Left(x0), Right(x1), x2, x3) new_esEs12(Right(x0), Left(x1), x2, x3) new_asAs(True, x0) new_primPlusNat1(Succ(x0), Succ(x1)) new_primEqInt(Neg(Zero), Neg(Zero)) new_primEqInt(Pos(Succ(x0)), Neg(x1)) new_primEqInt(Neg(Succ(x0)), Pos(x1)) new_esEs12(Left(x0), Left(x1), ty_Float, x2) new_primEqInt(Pos(Succ(x0)), Pos(Succ(x1))) new_esEs22(x0, x1, ty_Bool) new_esEs12(Left(x0), Left(x1), ty_Integer, x2) new_esEs21(x0, x1, ty_@0) new_primEqInt(Neg(Zero), Neg(Succ(x0))) new_esEs25(x0, x1, ty_Ordering) new_esEs19(Double(x0, x1), Double(x2, x3)) new_esEs24(x0, x1, app(ty_Maybe, x2)) new_esEs20(x0, x1, ty_Float) new_esEs20(x0, x1, ty_Double) new_esEs13(Just(x0), Just(x1), app(app(ty_@2, x2), x3)) new_esEs12(Right(x0), Right(x1), x2, ty_Integer) new_esEs22(x0, x1, app(app(ty_@2, x2), x3)) new_esEs20(x0, x1, ty_Bool) new_esEs20(x0, x1, ty_@0) new_esEs21(x0, x1, app(ty_Maybe, x2)) new_esEs13(Just(x0), Just(x1), app(ty_Ratio, x2)) new_esEs25(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs20(x0, x1, app(app(ty_@2, x2), x3)) new_sr(Pos(x0), Pos(x1)) new_esEs24(x0, x1, ty_Char) new_esEs12(Left(x0), Left(x1), ty_Ordering, x2) new_esEs24(x0, x1, app(app(ty_Either, x2), x3)) new_esEs21(x0, x1, ty_Char) new_esEs22(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_primEqNat0(Succ(x0), Zero) new_esEs24(x0, x1, ty_Integer) new_esEs4([], [], x0) new_esEs12(Right(x0), Right(x1), x2, ty_Ordering) new_primEqInt(Pos(Zero), Neg(Zero)) new_primEqInt(Neg(Zero), Pos(Zero)) new_esEs25(x0, x1, ty_Integer) new_esEs17(False, True) new_esEs17(True, False) new_primPlusNat0(Zero, x0) new_esEs21(x0, x1, app(ty_Ratio, x2)) new_primMulNat0(Succ(x0), Succ(x1)) new_esEs21(x0, x1, app(ty_[], x2)) new_primPlusNat0(Succ(x0), x1) new_esEs13(Just(x0), Just(x1), ty_Integer) new_esEs23(x0, x1, ty_@0) new_esEs22(x0, x1, ty_Integer) new_esEs24(x0, x1, app(ty_Ratio, x2)) new_esEs13(Just(x0), Just(x1), ty_Ordering) new_esEs6(x0, x1) new_primEqNat0(Zero, Succ(x0)) new_primPlusNat1(Succ(x0), Zero) new_esEs22(x0, x1, ty_Ordering) new_esEs18(LT, LT) new_esEs8(x0, x1, ty_Integer) new_esEs23(x0, x1, ty_Float) new_esEs4(:(x0, x1), :(x2, x3), x4) new_esEs21(x0, x1, app(app(ty_@2, x2), x3)) new_esEs20(x0, x1, ty_Int) new_esEs18(LT, GT) new_esEs18(GT, LT) new_esEs12(Right(x0), Right(x1), x2, app(ty_Maybe, x3)) new_esEs23(x0, x1, ty_Int) new_esEs21(x0, x1, ty_Float) new_esEs22(x0, x1, app(app(ty_Either, x2), x3)) new_esEs24(x0, x1, ty_Double) new_esEs20(x0, x1, ty_Char) new_esEs22(x0, x1, app(ty_[], x2)) new_esEs23(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs21(x0, x1, ty_Double) new_primEqInt(Pos(Succ(x0)), Pos(Zero)) new_esEs4(:(x0, x1), [], x2) new_esEs23(x0, x1, ty_Char) new_esEs12(Left(x0), Left(x1), app(ty_Maybe, x2), x3) new_esEs13(Just(x0), Nothing, x1) new_esEs24(x0, x1, ty_Float) new_esEs12(Right(x0), Right(x1), x2, ty_Float) new_esEs12(Left(x0), Left(x1), ty_@0, x2) new_esEs7(:%(x0, x1), :%(x2, x3), x4) new_esEs13(Just(x0), Just(x1), app(ty_Maybe, x2)) new_esEs22(x0, x1, ty_Double) new_primEqInt(Neg(Succ(x0)), Neg(Zero)) new_esEs21(x0, x1, ty_Int) new_esEs23(x0, x1, ty_Double) new_esEs11(@0, @0) new_esEs23(x0, x1, app(ty_[], x2)) new_esEs21(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs23(x0, x1, app(app(ty_@2, x2), x3)) new_esEs18(GT, GT) new_esEs24(x0, x1, ty_Ordering) new_esEs12(Right(x0), Right(x1), x2, app(ty_[], x3)) new_esEs13(Just(x0), Just(x1), ty_Bool) new_esEs18(LT, EQ) new_esEs18(EQ, LT) new_primMulNat0(Succ(x0), Zero) new_esEs16(@2(x0, x1), @2(x2, x3), x4, x5) new_esEs24(x0, x1, ty_Int) new_esEs9(x0, x1, ty_Integer) new_esEs21(x0, x1, ty_Ordering) new_esEs4([], :(x0, x1), x2) new_primEqNat0(Zero, Zero) new_esEs12(Right(x0), Right(x1), x2, app(app(ty_Either, x3), x4)) new_primMulNat0(Zero, Succ(x0)) new_sr(Neg(x0), Neg(x1)) new_primPlusNat1(Zero, Succ(x0)) new_esEs12(Right(x0), Right(x1), x2, ty_Int) new_esEs22(x0, x1, app(ty_Maybe, x2)) new_esEs12(Left(x0), Left(x1), app(ty_Ratio, x2), x3) new_esEs22(x0, x1, ty_Int) new_esEs25(x0, x1, ty_Float) new_esEs12(Right(x0), Right(x1), x2, app(app(ty_@2, x3), x4)) new_esEs25(x0, x1, ty_Bool) new_primEqInt(Pos(Zero), Pos(Succ(x0))) new_esEs22(x0, x1, app(ty_Ratio, x2)) new_esEs15(Char(x0), Char(x1)) new_esEs13(Nothing, Just(x0), x1) new_esEs12(Left(x0), Left(x1), ty_Int, x2) new_esEs25(x0, x1, app(ty_Ratio, x2)) new_esEs20(x0, x1, app(ty_Ratio, x2)) new_esEs20(x0, x1, app(app(app(ty_@3, x2), x3), x4)) new_esEs25(x0, x1, ty_Double) new_primEqInt(Pos(Zero), Neg(Succ(x0))) new_primEqInt(Neg(Zero), Pos(Succ(x0))) new_sr(Pos(x0), Neg(x1)) new_sr(Neg(x0), Pos(x1)) new_primEqInt(Neg(Succ(x0)), Neg(Succ(x1))) new_esEs9(x0, x1, ty_Int) new_esEs12(Left(x0), Left(x1), ty_Char, x2) new_esEs13(Just(x0), Just(x1), app(app(ty_Either, x2), x3)) new_esEs25(x0, x1, app(ty_[], x2)) new_esEs20(x0, x1, app(ty_[], x2)) new_esEs25(x0, x1, app(app(ty_@2, x2), x3)) new_esEs10(Integer(x0), Integer(x1)) new_esEs13(Just(x0), Just(x1), app(app(app(ty_@3, x2), x3), x4)) new_esEs18(EQ, EQ) new_esEs25(x0, x1, ty_Int) new_esEs22(x0, x1, ty_@0) new_esEs12(Left(x0), Left(x1), app(app(ty_@2, x2), x3), x4) new_esEs22(x0, x1, ty_Float) new_esEs12(Left(x0), Left(x1), ty_Double, x2) new_esEs23(x0, x1, ty_Ordering) new_esEs13(Just(x0), Just(x1), ty_Float) new_esEs25(x0, x1, app(ty_Maybe, x2)) new_esEs12(Right(x0), Right(x1), x2, ty_Char) new_esEs12(Left(x0), Left(x1), app(app(app(ty_@3, x2), x3), x4), x5) new_esEs12(Left(x0), Left(x1), ty_Bool, x2) new_esEs25(x0, x1, ty_@0) new_esEs12(Right(x0), Right(x1), x2, ty_Double) new_esEs20(x0, x1, ty_Ordering) new_esEs23(x0, x1, app(ty_Maybe, x2)) new_asAs(False, x0) new_primEqNat0(Succ(x0), Succ(x1)) new_esEs24(x0, x1, app(app(ty_@2, x2), x3)) new_esEs23(x0, x1, app(app(ty_Either, x2), x3)) new_esEs23(x0, x1, ty_Integer) new_esEs13(Just(x0), Just(x1), ty_@0) new_esEs20(x0, x1, app(ty_Maybe, x2)) We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (22) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_listToMaybe0(yv37, False, yv14, yv12, :(yv15110, yv15111), ba) -> new_listToMaybe0(new_primPlusNat0(yv37, Zero), new_esEs4(:(yv14, yv12), yv15110, ba), yv14, yv12, yv15111, ba) The graph contains the following edges 3 >= 3, 4 >= 4, 5 > 5, 6 >= 6 ---------------------------------------- (23) YES ---------------------------------------- (24) Obligation: Q DP problem: The TRS P consists of the following rules: new_primMulNat(Succ(yv30100), Succ(yv400000)) -> new_primMulNat(yv30100, Succ(yv400000)) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (25) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_primMulNat(Succ(yv30100), Succ(yv400000)) -> new_primMulNat(yv30100, Succ(yv400000)) The graph contains the following edges 1 > 1, 2 >= 2 ---------------------------------------- (26) YES ---------------------------------------- (27) Obligation: Q DP problem: The TRS P consists of the following rules: new_primEqNat(Succ(yv3000), Succ(yv40000)) -> new_primEqNat(yv3000, yv40000) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (28) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_primEqNat(Succ(yv3000), Succ(yv40000)) -> new_primEqNat(yv3000, yv40000) The graph contains the following edges 1 > 1, 2 > 2 ---------------------------------------- (29) YES ---------------------------------------- (30) Obligation: Q DP problem: The TRS P consists of the following rules: new_primPlusNat(Succ(yv5400), Succ(yv4000000)) -> new_primPlusNat(yv5400, yv4000000) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (31) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *new_primPlusNat(Succ(yv5400), Succ(yv4000000)) -> new_primPlusNat(yv5400, yv4000000) The graph contains the following edges 1 > 1, 2 > 2 ---------------------------------------- (32) YES