/export/starexec/sandbox2/solver/bin/starexec_run_standard /export/starexec/sandbox2/benchmark/theBenchmark.hs /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


YES
proof of /export/starexec/sandbox2/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, 12 ms]
(12) HASKELL
(13) Narrow [SOUND, 0 ms]
(14) AND
    (15) QDP
        (16) QDPSizeChangeProof [EQUIVALENT, 0 ms]
        (17) YES
    (18) QDP
        (19) QDPSizeChangeProof [EQUIVALENT, 0 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


----------------------------------------

(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"];2069[label="yv4/yv40 : yv41",fontsize=10,color="white",style="solid",shape="box"];12 -> 2069[label="",style="solid", color="burlywood", weight=9];
2069 -> 13[label="",style="solid", color="burlywood", weight=3];
2070[label="yv4/[]",fontsize=10,color="white",style="solid",shape="box"];12 -> 2070[label="",style="solid", color="burlywood", weight=9];
2070 -> 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"];2071[label="yv3/(yv30,yv31)",fontsize=10,color="white",style="solid",shape="box"];26 -> 2071[label="",style="solid", color="burlywood", weight=9];
2071 -> 27[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"];2072[label="yv40/(yv400,yv401)",fontsize=10,color="white",style="solid",shape="box"];27 -> 2072[label="",style="solid", color="burlywood", weight=9];
2072 -> 28[label="",style="solid", color="burlywood", weight=3];
28[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"];28 -> 29[label="",style="solid", color="black", weight=3];
29 -> 1107[label="",style="dashed", color="red", weight=0];
29[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"];29 -> 1108[label="",style="dashed", color="magenta", weight=3];
29 -> 1109[label="",style="dashed", color="magenta", weight=3];
29 -> 1110[label="",style="dashed", color="magenta", weight=3];
29 -> 1111[label="",style="dashed", color="magenta", weight=3];
29 -> 1112[label="",style="dashed", color="magenta", weight=3];
1108 -> 1372[label="",style="dashed", color="red", weight=0];
1108[label="yv30 == yv400 && yv31 == yv401",fontsize=16,color="magenta"];1108 -> 1373[label="",style="dashed", color="magenta", weight=3];
1108 -> 1374[label="",style="dashed", color="magenta", weight=3];
1109[label="yv31",fontsize=16,color="green",shape="box"];1110[label="Zero",fontsize=16,color="green",shape="box"];1111[label="yv41",fontsize=16,color="green",shape="box"];1112[label="yv30",fontsize=16,color="green",shape="box"];1107[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv41) yv43 foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 yv2411 (numericEnumFrom $! Pos yv41 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="triangle"];2073[label="yv43/False",fontsize=10,color="white",style="solid",shape="box"];1107 -> 2073[label="",style="solid", color="burlywood", weight=9];
2073 -> 1121[label="",style="solid", color="burlywood", weight=3];
2074[label="yv43/True",fontsize=10,color="white",style="solid",shape="box"];1107 -> 2074[label="",style="solid", color="burlywood", weight=9];
2074 -> 1122[label="",style="solid", color="burlywood", weight=3];
1373[label="yv31 == yv401",fontsize=16,color="blue",shape="box"];2075[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1373 -> 2075[label="",style="solid", color="blue", weight=9];
2075 -> 1377[label="",style="solid", color="blue", weight=3];
2076[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1373 -> 2076[label="",style="solid", color="blue", weight=9];
2076 -> 1378[label="",style="solid", color="blue", weight=3];
2077[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1373 -> 2077[label="",style="solid", color="blue", weight=9];
2077 -> 1379[label="",style="solid", color="blue", weight=3];
2078[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1373 -> 2078[label="",style="solid", color="blue", weight=9];
2078 -> 1380[label="",style="solid", color="blue", weight=3];
2079[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1373 -> 2079[label="",style="solid", color="blue", weight=9];
2079 -> 1381[label="",style="solid", color="blue", weight=3];
2080[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1373 -> 2080[label="",style="solid", color="blue", weight=9];
2080 -> 1382[label="",style="solid", color="blue", weight=3];
2081[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1373 -> 2081[label="",style="solid", color="blue", weight=9];
2081 -> 1383[label="",style="solid", color="blue", weight=3];
2082[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1373 -> 2082[label="",style="solid", color="blue", weight=9];
2082 -> 1384[label="",style="solid", color="blue", weight=3];
2083[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1373 -> 2083[label="",style="solid", color="blue", weight=9];
2083 -> 1385[label="",style="solid", color="blue", weight=3];
2084[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1373 -> 2084[label="",style="solid", color="blue", weight=9];
2084 -> 1386[label="",style="solid", color="blue", weight=3];
2085[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1373 -> 2085[label="",style="solid", color="blue", weight=9];
2085 -> 1387[label="",style="solid", color="blue", weight=3];
2086[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1373 -> 2086[label="",style="solid", color="blue", weight=9];
2086 -> 1388[label="",style="solid", color="blue", weight=3];
2087[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1373 -> 2087[label="",style="solid", color="blue", weight=9];
2087 -> 1389[label="",style="solid", color="blue", weight=3];
2088[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1373 -> 2088[label="",style="solid", color="blue", weight=9];
2088 -> 1390[label="",style="solid", color="blue", weight=3];
1374[label="yv30 == yv400",fontsize=16,color="blue",shape="box"];2089[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1374 -> 2089[label="",style="solid", color="blue", weight=9];
2089 -> 1391[label="",style="solid", color="blue", weight=3];
2090[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1374 -> 2090[label="",style="solid", color="blue", weight=9];
2090 -> 1392[label="",style="solid", color="blue", weight=3];
2091[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1374 -> 2091[label="",style="solid", color="blue", weight=9];
2091 -> 1393[label="",style="solid", color="blue", weight=3];
2092[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1374 -> 2092[label="",style="solid", color="blue", weight=9];
2092 -> 1394[label="",style="solid", color="blue", weight=3];
2093[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1374 -> 2093[label="",style="solid", color="blue", weight=9];
2093 -> 1395[label="",style="solid", color="blue", weight=3];
2094[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1374 -> 2094[label="",style="solid", color="blue", weight=9];
2094 -> 1396[label="",style="solid", color="blue", weight=3];
2095[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1374 -> 2095[label="",style="solid", color="blue", weight=9];
2095 -> 1397[label="",style="solid", color="blue", weight=3];
2096[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1374 -> 2096[label="",style="solid", color="blue", weight=9];
2096 -> 1398[label="",style="solid", color="blue", weight=3];
2097[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1374 -> 2097[label="",style="solid", color="blue", weight=9];
2097 -> 1399[label="",style="solid", color="blue", weight=3];
2098[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1374 -> 2098[label="",style="solid", color="blue", weight=9];
2098 -> 1400[label="",style="solid", color="blue", weight=3];
2099[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1374 -> 2099[label="",style="solid", color="blue", weight=9];
2099 -> 1401[label="",style="solid", color="blue", weight=3];
2100[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1374 -> 2100[label="",style="solid", color="blue", weight=9];
2100 -> 1402[label="",style="solid", color="blue", weight=3];
2101[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1374 -> 2101[label="",style="solid", color="blue", weight=9];
2101 -> 1403[label="",style="solid", color="blue", weight=3];
2102[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1374 -> 2102[label="",style="solid", color="blue", weight=9];
2102 -> 1404[label="",style="solid", color="blue", weight=3];
1372[label="yv55 && yv56",fontsize=16,color="burlywood",shape="triangle"];2103[label="yv55/False",fontsize=10,color="white",style="solid",shape="box"];1372 -> 2103[label="",style="solid", color="burlywood", weight=9];
2103 -> 1405[label="",style="solid", color="burlywood", weight=3];
2104[label="yv55/True",fontsize=10,color="white",style="solid",shape="box"];1372 -> 2104[label="",style="solid", color="burlywood", weight=9];
2104 -> 1406[label="",style="solid", color="burlywood", weight=3];
1121[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv41) False foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 yv2411 (numericEnumFrom $! Pos yv41 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1121 -> 1139[label="",style="solid", color="black", weight=3];
1122[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv41) True foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 yv2411 (numericEnumFrom $! Pos yv41 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1122 -> 1140[label="",style="solid", color="black", weight=3];
1377[label="yv31 == yv401",fontsize=16,color="black",shape="triangle"];1377 -> 1409[label="",style="solid", color="black", weight=3];
1378[label="yv31 == yv401",fontsize=16,color="burlywood",shape="triangle"];2105[label="yv31/yv310 : yv311",fontsize=10,color="white",style="solid",shape="box"];1378 -> 2105[label="",style="solid", color="burlywood", weight=9];
2105 -> 1410[label="",style="solid", color="burlywood", weight=3];
2106[label="yv31/[]",fontsize=10,color="white",style="solid",shape="box"];1378 -> 2106[label="",style="solid", color="burlywood", weight=9];
2106 -> 1411[label="",style="solid", color="burlywood", weight=3];
1379[label="yv31 == yv401",fontsize=16,color="black",shape="triangle"];1379 -> 1412[label="",style="solid", color="black", weight=3];
1380[label="yv31 == yv401",fontsize=16,color="burlywood",shape="triangle"];2107[label="yv31/()",fontsize=10,color="white",style="solid",shape="box"];1380 -> 2107[label="",style="solid", color="burlywood", weight=9];
2107 -> 1413[label="",style="solid", color="burlywood", weight=3];
1381[label="yv31 == yv401",fontsize=16,color="burlywood",shape="triangle"];2108[label="yv31/Left yv310",fontsize=10,color="white",style="solid",shape="box"];1381 -> 2108[label="",style="solid", color="burlywood", weight=9];
2108 -> 1414[label="",style="solid", color="burlywood", weight=3];
2109[label="yv31/Right yv310",fontsize=10,color="white",style="solid",shape="box"];1381 -> 2109[label="",style="solid", color="burlywood", weight=9];
2109 -> 1415[label="",style="solid", color="burlywood", weight=3];
1382[label="yv31 == yv401",fontsize=16,color="burlywood",shape="triangle"];2110[label="yv31/yv310 :% yv311",fontsize=10,color="white",style="solid",shape="box"];1382 -> 2110[label="",style="solid", color="burlywood", weight=9];
2110 -> 1416[label="",style="solid", color="burlywood", weight=3];
1383[label="yv31 == yv401",fontsize=16,color="black",shape="triangle"];1383 -> 1417[label="",style="solid", color="black", weight=3];
1384[label="yv31 == yv401",fontsize=16,color="burlywood",shape="triangle"];2111[label="yv31/Nothing",fontsize=10,color="white",style="solid",shape="box"];1384 -> 2111[label="",style="solid", color="burlywood", weight=9];
2111 -> 1418[label="",style="solid", color="burlywood", weight=3];
2112[label="yv31/Just yv310",fontsize=10,color="white",style="solid",shape="box"];1384 -> 2112[label="",style="solid", color="burlywood", weight=9];
2112 -> 1419[label="",style="solid", color="burlywood", weight=3];
1385[label="yv31 == yv401",fontsize=16,color="burlywood",shape="triangle"];2113[label="yv31/LT",fontsize=10,color="white",style="solid",shape="box"];1385 -> 2113[label="",style="solid", color="burlywood", weight=9];
2113 -> 1420[label="",style="solid", color="burlywood", weight=3];
2114[label="yv31/EQ",fontsize=10,color="white",style="solid",shape="box"];1385 -> 2114[label="",style="solid", color="burlywood", weight=9];
2114 -> 1421[label="",style="solid", color="burlywood", weight=3];
2115[label="yv31/GT",fontsize=10,color="white",style="solid",shape="box"];1385 -> 2115[label="",style="solid", color="burlywood", weight=9];
2115 -> 1422[label="",style="solid", color="burlywood", weight=3];
1386[label="yv31 == yv401",fontsize=16,color="burlywood",shape="triangle"];2116[label="yv31/Integer yv310",fontsize=10,color="white",style="solid",shape="box"];1386 -> 2116[label="",style="solid", color="burlywood", weight=9];
2116 -> 1423[label="",style="solid", color="burlywood", weight=3];
1387[label="yv31 == yv401",fontsize=16,color="burlywood",shape="triangle"];2117[label="yv31/(yv310,yv311,yv312)",fontsize=10,color="white",style="solid",shape="box"];1387 -> 2117[label="",style="solid", color="burlywood", weight=9];
2117 -> 1424[label="",style="solid", color="burlywood", weight=3];
1388[label="yv31 == yv401",fontsize=16,color="burlywood",shape="triangle"];2118[label="yv31/False",fontsize=10,color="white",style="solid",shape="box"];1388 -> 2118[label="",style="solid", color="burlywood", weight=9];
2118 -> 1425[label="",style="solid", color="burlywood", weight=3];
2119[label="yv31/True",fontsize=10,color="white",style="solid",shape="box"];1388 -> 2119[label="",style="solid", color="burlywood", weight=9];
2119 -> 1426[label="",style="solid", color="burlywood", weight=3];
1389[label="yv31 == yv401",fontsize=16,color="burlywood",shape="triangle"];2120[label="yv31/(yv310,yv311)",fontsize=10,color="white",style="solid",shape="box"];1389 -> 2120[label="",style="solid", color="burlywood", weight=9];
2120 -> 1427[label="",style="solid", color="burlywood", weight=3];
1390[label="yv31 == yv401",fontsize=16,color="black",shape="triangle"];1390 -> 1428[label="",style="solid", color="black", weight=3];
1391 -> 1377[label="",style="dashed", color="red", weight=0];
1391[label="yv30 == yv400",fontsize=16,color="magenta"];1391 -> 1429[label="",style="dashed", color="magenta", weight=3];
1391 -> 1430[label="",style="dashed", color="magenta", weight=3];
1392 -> 1378[label="",style="dashed", color="red", weight=0];
1392[label="yv30 == yv400",fontsize=16,color="magenta"];1392 -> 1431[label="",style="dashed", color="magenta", weight=3];
1392 -> 1432[label="",style="dashed", color="magenta", weight=3];
1393 -> 1379[label="",style="dashed", color="red", weight=0];
1393[label="yv30 == yv400",fontsize=16,color="magenta"];1393 -> 1433[label="",style="dashed", color="magenta", weight=3];
1393 -> 1434[label="",style="dashed", color="magenta", weight=3];
1394 -> 1380[label="",style="dashed", color="red", weight=0];
1394[label="yv30 == yv400",fontsize=16,color="magenta"];1394 -> 1435[label="",style="dashed", color="magenta", weight=3];
1394 -> 1436[label="",style="dashed", color="magenta", weight=3];
1395 -> 1381[label="",style="dashed", color="red", weight=0];
1395[label="yv30 == yv400",fontsize=16,color="magenta"];1395 -> 1437[label="",style="dashed", color="magenta", weight=3];
1395 -> 1438[label="",style="dashed", color="magenta", weight=3];
1396 -> 1382[label="",style="dashed", color="red", weight=0];
1396[label="yv30 == yv400",fontsize=16,color="magenta"];1396 -> 1439[label="",style="dashed", color="magenta", weight=3];
1396 -> 1440[label="",style="dashed", color="magenta", weight=3];
1397 -> 1383[label="",style="dashed", color="red", weight=0];
1397[label="yv30 == yv400",fontsize=16,color="magenta"];1397 -> 1441[label="",style="dashed", color="magenta", weight=3];
1397 -> 1442[label="",style="dashed", color="magenta", weight=3];
1398 -> 1384[label="",style="dashed", color="red", weight=0];
1398[label="yv30 == yv400",fontsize=16,color="magenta"];1398 -> 1443[label="",style="dashed", color="magenta", weight=3];
1398 -> 1444[label="",style="dashed", color="magenta", weight=3];
1399 -> 1385[label="",style="dashed", color="red", weight=0];
1399[label="yv30 == yv400",fontsize=16,color="magenta"];1399 -> 1445[label="",style="dashed", color="magenta", weight=3];
1399 -> 1446[label="",style="dashed", color="magenta", weight=3];
1400 -> 1386[label="",style="dashed", color="red", weight=0];
1400[label="yv30 == yv400",fontsize=16,color="magenta"];1400 -> 1447[label="",style="dashed", color="magenta", weight=3];
1400 -> 1448[label="",style="dashed", color="magenta", weight=3];
1401 -> 1387[label="",style="dashed", color="red", weight=0];
1401[label="yv30 == yv400",fontsize=16,color="magenta"];1401 -> 1449[label="",style="dashed", color="magenta", weight=3];
1401 -> 1450[label="",style="dashed", color="magenta", weight=3];
1402 -> 1388[label="",style="dashed", color="red", weight=0];
1402[label="yv30 == yv400",fontsize=16,color="magenta"];1402 -> 1451[label="",style="dashed", color="magenta", weight=3];
1402 -> 1452[label="",style="dashed", color="magenta", weight=3];
1403 -> 1389[label="",style="dashed", color="red", weight=0];
1403[label="yv30 == yv400",fontsize=16,color="magenta"];1403 -> 1453[label="",style="dashed", color="magenta", weight=3];
1403 -> 1454[label="",style="dashed", color="magenta", weight=3];
1404 -> 1390[label="",style="dashed", color="red", weight=0];
1404[label="yv30 == yv400",fontsize=16,color="magenta"];1404 -> 1455[label="",style="dashed", color="magenta", weight=3];
1404 -> 1456[label="",style="dashed", color="magenta", weight=3];
1405[label="False && yv56",fontsize=16,color="black",shape="box"];1405 -> 1457[label="",style="solid", color="black", weight=3];
1406[label="True && yv56",fontsize=16,color="black",shape="box"];1406 -> 1458[label="",style="solid", color="black", weight=3];
1139[label="Maybe.listToMaybe ((++) [] foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 yv2411 (numericEnumFrom $! Pos yv41 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1139 -> 1163[label="",style="solid", color="black", weight=3];
1140[label="Maybe.listToMaybe ((++) (Pos yv41 : []) foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 yv2411 (numericEnumFrom $! Pos yv41 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1140 -> 1164[label="",style="solid", color="black", weight=3];
1409[label="primEqInt yv31 yv401",fontsize=16,color="burlywood",shape="triangle"];2121[label="yv31/Pos yv310",fontsize=10,color="white",style="solid",shape="box"];1409 -> 2121[label="",style="solid", color="burlywood", weight=9];
2121 -> 1460[label="",style="solid", color="burlywood", weight=3];
2122[label="yv31/Neg yv310",fontsize=10,color="white",style="solid",shape="box"];1409 -> 2122[label="",style="solid", color="burlywood", weight=9];
2122 -> 1461[label="",style="solid", color="burlywood", weight=3];
1410[label="yv310 : yv311 == yv401",fontsize=16,color="burlywood",shape="box"];2123[label="yv401/yv4010 : yv4011",fontsize=10,color="white",style="solid",shape="box"];1410 -> 2123[label="",style="solid", color="burlywood", weight=9];
2123 -> 1462[label="",style="solid", color="burlywood", weight=3];
2124[label="yv401/[]",fontsize=10,color="white",style="solid",shape="box"];1410 -> 2124[label="",style="solid", color="burlywood", weight=9];
2124 -> 1463[label="",style="solid", color="burlywood", weight=3];
1411[label="[] == yv401",fontsize=16,color="burlywood",shape="box"];2125[label="yv401/yv4010 : yv4011",fontsize=10,color="white",style="solid",shape="box"];1411 -> 2125[label="",style="solid", color="burlywood", weight=9];
2125 -> 1464[label="",style="solid", color="burlywood", weight=3];
2126[label="yv401/[]",fontsize=10,color="white",style="solid",shape="box"];1411 -> 2126[label="",style="solid", color="burlywood", weight=9];
2126 -> 1465[label="",style="solid", color="burlywood", weight=3];
1412[label="primEqFloat yv31 yv401",fontsize=16,color="burlywood",shape="box"];2127[label="yv31/Float yv310 yv311",fontsize=10,color="white",style="solid",shape="box"];1412 -> 2127[label="",style="solid", color="burlywood", weight=9];
2127 -> 1466[label="",style="solid", color="burlywood", weight=3];
1413[label="() == yv401",fontsize=16,color="burlywood",shape="box"];2128[label="yv401/()",fontsize=10,color="white",style="solid",shape="box"];1413 -> 2128[label="",style="solid", color="burlywood", weight=9];
2128 -> 1467[label="",style="solid", color="burlywood", weight=3];
1414[label="Left yv310 == yv401",fontsize=16,color="burlywood",shape="box"];2129[label="yv401/Left yv4010",fontsize=10,color="white",style="solid",shape="box"];1414 -> 2129[label="",style="solid", color="burlywood", weight=9];
2129 -> 1468[label="",style="solid", color="burlywood", weight=3];
2130[label="yv401/Right yv4010",fontsize=10,color="white",style="solid",shape="box"];1414 -> 2130[label="",style="solid", color="burlywood", weight=9];
2130 -> 1469[label="",style="solid", color="burlywood", weight=3];
1415[label="Right yv310 == yv401",fontsize=16,color="burlywood",shape="box"];2131[label="yv401/Left yv4010",fontsize=10,color="white",style="solid",shape="box"];1415 -> 2131[label="",style="solid", color="burlywood", weight=9];
2131 -> 1470[label="",style="solid", color="burlywood", weight=3];
2132[label="yv401/Right yv4010",fontsize=10,color="white",style="solid",shape="box"];1415 -> 2132[label="",style="solid", color="burlywood", weight=9];
2132 -> 1471[label="",style="solid", color="burlywood", weight=3];
1416[label="yv310 :% yv311 == yv401",fontsize=16,color="burlywood",shape="box"];2133[label="yv401/yv4010 :% yv4011",fontsize=10,color="white",style="solid",shape="box"];1416 -> 2133[label="",style="solid", color="burlywood", weight=9];
2133 -> 1472[label="",style="solid", color="burlywood", weight=3];
1417[label="primEqDouble yv31 yv401",fontsize=16,color="burlywood",shape="box"];2134[label="yv31/Double yv310 yv311",fontsize=10,color="white",style="solid",shape="box"];1417 -> 2134[label="",style="solid", color="burlywood", weight=9];
2134 -> 1473[label="",style="solid", color="burlywood", weight=3];
1418[label="Nothing == yv401",fontsize=16,color="burlywood",shape="box"];2135[label="yv401/Nothing",fontsize=10,color="white",style="solid",shape="box"];1418 -> 2135[label="",style="solid", color="burlywood", weight=9];
2135 -> 1474[label="",style="solid", color="burlywood", weight=3];
2136[label="yv401/Just yv4010",fontsize=10,color="white",style="solid",shape="box"];1418 -> 2136[label="",style="solid", color="burlywood", weight=9];
2136 -> 1475[label="",style="solid", color="burlywood", weight=3];
1419[label="Just yv310 == yv401",fontsize=16,color="burlywood",shape="box"];2137[label="yv401/Nothing",fontsize=10,color="white",style="solid",shape="box"];1419 -> 2137[label="",style="solid", color="burlywood", weight=9];
2137 -> 1476[label="",style="solid", color="burlywood", weight=3];
2138[label="yv401/Just yv4010",fontsize=10,color="white",style="solid",shape="box"];1419 -> 2138[label="",style="solid", color="burlywood", weight=9];
2138 -> 1477[label="",style="solid", color="burlywood", weight=3];
1420[label="LT == yv401",fontsize=16,color="burlywood",shape="box"];2139[label="yv401/LT",fontsize=10,color="white",style="solid",shape="box"];1420 -> 2139[label="",style="solid", color="burlywood", weight=9];
2139 -> 1478[label="",style="solid", color="burlywood", weight=3];
2140[label="yv401/EQ",fontsize=10,color="white",style="solid",shape="box"];1420 -> 2140[label="",style="solid", color="burlywood", weight=9];
2140 -> 1479[label="",style="solid", color="burlywood", weight=3];
2141[label="yv401/GT",fontsize=10,color="white",style="solid",shape="box"];1420 -> 2141[label="",style="solid", color="burlywood", weight=9];
2141 -> 1480[label="",style="solid", color="burlywood", weight=3];
1421[label="EQ == yv401",fontsize=16,color="burlywood",shape="box"];2142[label="yv401/LT",fontsize=10,color="white",style="solid",shape="box"];1421 -> 2142[label="",style="solid", color="burlywood", weight=9];
2142 -> 1481[label="",style="solid", color="burlywood", weight=3];
2143[label="yv401/EQ",fontsize=10,color="white",style="solid",shape="box"];1421 -> 2143[label="",style="solid", color="burlywood", weight=9];
2143 -> 1482[label="",style="solid", color="burlywood", weight=3];
2144[label="yv401/GT",fontsize=10,color="white",style="solid",shape="box"];1421 -> 2144[label="",style="solid", color="burlywood", weight=9];
2144 -> 1483[label="",style="solid", color="burlywood", weight=3];
1422[label="GT == yv401",fontsize=16,color="burlywood",shape="box"];2145[label="yv401/LT",fontsize=10,color="white",style="solid",shape="box"];1422 -> 2145[label="",style="solid", color="burlywood", weight=9];
2145 -> 1484[label="",style="solid", color="burlywood", weight=3];
2146[label="yv401/EQ",fontsize=10,color="white",style="solid",shape="box"];1422 -> 2146[label="",style="solid", color="burlywood", weight=9];
2146 -> 1485[label="",style="solid", color="burlywood", weight=3];
2147[label="yv401/GT",fontsize=10,color="white",style="solid",shape="box"];1422 -> 2147[label="",style="solid", color="burlywood", weight=9];
2147 -> 1486[label="",style="solid", color="burlywood", weight=3];
1423[label="Integer yv310 == yv401",fontsize=16,color="burlywood",shape="box"];2148[label="yv401/Integer yv4010",fontsize=10,color="white",style="solid",shape="box"];1423 -> 2148[label="",style="solid", color="burlywood", weight=9];
2148 -> 1487[label="",style="solid", color="burlywood", weight=3];
1424[label="(yv310,yv311,yv312) == yv401",fontsize=16,color="burlywood",shape="box"];2149[label="yv401/(yv4010,yv4011,yv4012)",fontsize=10,color="white",style="solid",shape="box"];1424 -> 2149[label="",style="solid", color="burlywood", weight=9];
2149 -> 1488[label="",style="solid", color="burlywood", weight=3];
1425[label="False == yv401",fontsize=16,color="burlywood",shape="box"];2150[label="yv401/False",fontsize=10,color="white",style="solid",shape="box"];1425 -> 2150[label="",style="solid", color="burlywood", weight=9];
2150 -> 1489[label="",style="solid", color="burlywood", weight=3];
2151[label="yv401/True",fontsize=10,color="white",style="solid",shape="box"];1425 -> 2151[label="",style="solid", color="burlywood", weight=9];
2151 -> 1490[label="",style="solid", color="burlywood", weight=3];
1426[label="True == yv401",fontsize=16,color="burlywood",shape="box"];2152[label="yv401/False",fontsize=10,color="white",style="solid",shape="box"];1426 -> 2152[label="",style="solid", color="burlywood", weight=9];
2152 -> 1491[label="",style="solid", color="burlywood", weight=3];
2153[label="yv401/True",fontsize=10,color="white",style="solid",shape="box"];1426 -> 2153[label="",style="solid", color="burlywood", weight=9];
2153 -> 1492[label="",style="solid", color="burlywood", weight=3];
1427[label="(yv310,yv311) == yv401",fontsize=16,color="burlywood",shape="box"];2154[label="yv401/(yv4010,yv4011)",fontsize=10,color="white",style="solid",shape="box"];1427 -> 2154[label="",style="solid", color="burlywood", weight=9];
2154 -> 1493[label="",style="solid", color="burlywood", weight=3];
1428[label="primEqChar yv31 yv401",fontsize=16,color="burlywood",shape="box"];2155[label="yv31/Char yv310",fontsize=10,color="white",style="solid",shape="box"];1428 -> 2155[label="",style="solid", color="burlywood", weight=9];
2155 -> 1494[label="",style="solid", color="burlywood", weight=3];
1429[label="yv400",fontsize=16,color="green",shape="box"];1430[label="yv30",fontsize=16,color="green",shape="box"];1431[label="yv400",fontsize=16,color="green",shape="box"];1432[label="yv30",fontsize=16,color="green",shape="box"];1433[label="yv400",fontsize=16,color="green",shape="box"];1434[label="yv30",fontsize=16,color="green",shape="box"];1435[label="yv400",fontsize=16,color="green",shape="box"];1436[label="yv30",fontsize=16,color="green",shape="box"];1437[label="yv400",fontsize=16,color="green",shape="box"];1438[label="yv30",fontsize=16,color="green",shape="box"];1439[label="yv400",fontsize=16,color="green",shape="box"];1440[label="yv30",fontsize=16,color="green",shape="box"];1441[label="yv400",fontsize=16,color="green",shape="box"];1442[label="yv30",fontsize=16,color="green",shape="box"];1443[label="yv400",fontsize=16,color="green",shape="box"];1444[label="yv30",fontsize=16,color="green",shape="box"];1445[label="yv400",fontsize=16,color="green",shape="box"];1446[label="yv30",fontsize=16,color="green",shape="box"];1447[label="yv400",fontsize=16,color="green",shape="box"];1448[label="yv30",fontsize=16,color="green",shape="box"];1449[label="yv400",fontsize=16,color="green",shape="box"];1450[label="yv30",fontsize=16,color="green",shape="box"];1451[label="yv400",fontsize=16,color="green",shape="box"];1452[label="yv30",fontsize=16,color="green",shape="box"];1453[label="yv400",fontsize=16,color="green",shape="box"];1454[label="yv30",fontsize=16,color="green",shape="box"];1455[label="yv400",fontsize=16,color="green",shape="box"];1456[label="yv30",fontsize=16,color="green",shape="box"];1457[label="False",fontsize=16,color="green",shape="box"];1458[label="yv56",fontsize=16,color="green",shape="box"];1163[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 yv2411 (numericEnumFrom $! Pos yv41 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="box"];2156[label="yv2411/yv24110 : yv24111",fontsize=10,color="white",style="solid",shape="box"];1163 -> 2156[label="",style="solid", color="burlywood", weight=9];
2156 -> 1214[label="",style="solid", color="burlywood", weight=3];
2157[label="yv2411/[]",fontsize=10,color="white",style="solid",shape="box"];1163 -> 2157[label="",style="solid", color="burlywood", weight=9];
2157 -> 1215[label="",style="solid", color="burlywood", weight=3];
1164[label="Maybe.listToMaybe (Pos yv41 : [] ++ foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 yv2411 (numericEnumFrom $! Pos yv41 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1164 -> 1216[label="",style="solid", color="black", weight=3];
1460[label="primEqInt (Pos yv310) yv401",fontsize=16,color="burlywood",shape="box"];2158[label="yv310/Succ yv3100",fontsize=10,color="white",style="solid",shape="box"];1460 -> 2158[label="",style="solid", color="burlywood", weight=9];
2158 -> 1496[label="",style="solid", color="burlywood", weight=3];
2159[label="yv310/Zero",fontsize=10,color="white",style="solid",shape="box"];1460 -> 2159[label="",style="solid", color="burlywood", weight=9];
2159 -> 1497[label="",style="solid", color="burlywood", weight=3];
1461[label="primEqInt (Neg yv310) yv401",fontsize=16,color="burlywood",shape="box"];2160[label="yv310/Succ yv3100",fontsize=10,color="white",style="solid",shape="box"];1461 -> 2160[label="",style="solid", color="burlywood", weight=9];
2160 -> 1498[label="",style="solid", color="burlywood", weight=3];
2161[label="yv310/Zero",fontsize=10,color="white",style="solid",shape="box"];1461 -> 2161[label="",style="solid", color="burlywood", weight=9];
2161 -> 1499[label="",style="solid", color="burlywood", weight=3];
1462[label="yv310 : yv311 == yv4010 : yv4011",fontsize=16,color="black",shape="box"];1462 -> 1500[label="",style="solid", color="black", weight=3];
1463[label="yv310 : yv311 == []",fontsize=16,color="black",shape="box"];1463 -> 1501[label="",style="solid", color="black", weight=3];
1464[label="[] == yv4010 : yv4011",fontsize=16,color="black",shape="box"];1464 -> 1502[label="",style="solid", color="black", weight=3];
1465[label="[] == []",fontsize=16,color="black",shape="box"];1465 -> 1503[label="",style="solid", color="black", weight=3];
1466[label="primEqFloat (Float yv310 yv311) yv401",fontsize=16,color="burlywood",shape="box"];2162[label="yv401/Float yv4010 yv4011",fontsize=10,color="white",style="solid",shape="box"];1466 -> 2162[label="",style="solid", color="burlywood", weight=9];
2162 -> 1504[label="",style="solid", color="burlywood", weight=3];
1467[label="() == ()",fontsize=16,color="black",shape="box"];1467 -> 1505[label="",style="solid", color="black", weight=3];
1468[label="Left yv310 == Left yv4010",fontsize=16,color="black",shape="box"];1468 -> 1506[label="",style="solid", color="black", weight=3];
1469[label="Left yv310 == Right yv4010",fontsize=16,color="black",shape="box"];1469 -> 1507[label="",style="solid", color="black", weight=3];
1470[label="Right yv310 == Left yv4010",fontsize=16,color="black",shape="box"];1470 -> 1508[label="",style="solid", color="black", weight=3];
1471[label="Right yv310 == Right yv4010",fontsize=16,color="black",shape="box"];1471 -> 1509[label="",style="solid", color="black", weight=3];
1472[label="yv310 :% yv311 == yv4010 :% yv4011",fontsize=16,color="black",shape="box"];1472 -> 1510[label="",style="solid", color="black", weight=3];
1473[label="primEqDouble (Double yv310 yv311) yv401",fontsize=16,color="burlywood",shape="box"];2163[label="yv401/Double yv4010 yv4011",fontsize=10,color="white",style="solid",shape="box"];1473 -> 2163[label="",style="solid", color="burlywood", weight=9];
2163 -> 1511[label="",style="solid", color="burlywood", weight=3];
1474[label="Nothing == Nothing",fontsize=16,color="black",shape="box"];1474 -> 1512[label="",style="solid", color="black", weight=3];
1475[label="Nothing == Just yv4010",fontsize=16,color="black",shape="box"];1475 -> 1513[label="",style="solid", color="black", weight=3];
1476[label="Just yv310 == Nothing",fontsize=16,color="black",shape="box"];1476 -> 1514[label="",style="solid", color="black", weight=3];
1477[label="Just yv310 == Just yv4010",fontsize=16,color="black",shape="box"];1477 -> 1515[label="",style="solid", color="black", weight=3];
1478[label="LT == LT",fontsize=16,color="black",shape="box"];1478 -> 1516[label="",style="solid", color="black", weight=3];
1479[label="LT == EQ",fontsize=16,color="black",shape="box"];1479 -> 1517[label="",style="solid", color="black", weight=3];
1480[label="LT == GT",fontsize=16,color="black",shape="box"];1480 -> 1518[label="",style="solid", color="black", weight=3];
1481[label="EQ == LT",fontsize=16,color="black",shape="box"];1481 -> 1519[label="",style="solid", color="black", weight=3];
1482[label="EQ == EQ",fontsize=16,color="black",shape="box"];1482 -> 1520[label="",style="solid", color="black", weight=3];
1483[label="EQ == GT",fontsize=16,color="black",shape="box"];1483 -> 1521[label="",style="solid", color="black", weight=3];
1484[label="GT == LT",fontsize=16,color="black",shape="box"];1484 -> 1522[label="",style="solid", color="black", weight=3];
1485[label="GT == EQ",fontsize=16,color="black",shape="box"];1485 -> 1523[label="",style="solid", color="black", weight=3];
1486[label="GT == GT",fontsize=16,color="black",shape="box"];1486 -> 1524[label="",style="solid", color="black", weight=3];
1487[label="Integer yv310 == Integer yv4010",fontsize=16,color="black",shape="box"];1487 -> 1525[label="",style="solid", color="black", weight=3];
1488[label="(yv310,yv311,yv312) == (yv4010,yv4011,yv4012)",fontsize=16,color="black",shape="box"];1488 -> 1526[label="",style="solid", color="black", weight=3];
1489[label="False == False",fontsize=16,color="black",shape="box"];1489 -> 1527[label="",style="solid", color="black", weight=3];
1490[label="False == True",fontsize=16,color="black",shape="box"];1490 -> 1528[label="",style="solid", color="black", weight=3];
1491[label="True == False",fontsize=16,color="black",shape="box"];1491 -> 1529[label="",style="solid", color="black", weight=3];
1492[label="True == True",fontsize=16,color="black",shape="box"];1492 -> 1530[label="",style="solid", color="black", weight=3];
1493[label="(yv310,yv311) == (yv4010,yv4011)",fontsize=16,color="black",shape="box"];1493 -> 1531[label="",style="solid", color="black", weight=3];
1494[label="primEqChar (Char yv310) yv401",fontsize=16,color="burlywood",shape="box"];2164[label="yv401/Char yv4010",fontsize=10,color="white",style="solid",shape="box"];1494 -> 2164[label="",style="solid", color="burlywood", weight=9];
2164 -> 1532[label="",style="solid", color="burlywood", weight=3];
1214[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 (yv24110 : yv24111) (numericEnumFrom $! Pos yv41 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1214 -> 1282[label="",style="solid", color="black", weight=3];
1215[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 [] (numericEnumFrom $! Pos yv41 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1215 -> 1283[label="",style="solid", color="black", weight=3];
1216[label="Just (Pos yv41)",fontsize=16,color="green",shape="box"];1496[label="primEqInt (Pos (Succ yv3100)) yv401",fontsize=16,color="burlywood",shape="box"];2165[label="yv401/Pos yv4010",fontsize=10,color="white",style="solid",shape="box"];1496 -> 2165[label="",style="solid", color="burlywood", weight=9];
2165 -> 1534[label="",style="solid", color="burlywood", weight=3];
2166[label="yv401/Neg yv4010",fontsize=10,color="white",style="solid",shape="box"];1496 -> 2166[label="",style="solid", color="burlywood", weight=9];
2166 -> 1535[label="",style="solid", color="burlywood", weight=3];
1497[label="primEqInt (Pos Zero) yv401",fontsize=16,color="burlywood",shape="box"];2167[label="yv401/Pos yv4010",fontsize=10,color="white",style="solid",shape="box"];1497 -> 2167[label="",style="solid", color="burlywood", weight=9];
2167 -> 1536[label="",style="solid", color="burlywood", weight=3];
2168[label="yv401/Neg yv4010",fontsize=10,color="white",style="solid",shape="box"];1497 -> 2168[label="",style="solid", color="burlywood", weight=9];
2168 -> 1537[label="",style="solid", color="burlywood", weight=3];
1498[label="primEqInt (Neg (Succ yv3100)) yv401",fontsize=16,color="burlywood",shape="box"];2169[label="yv401/Pos yv4010",fontsize=10,color="white",style="solid",shape="box"];1498 -> 2169[label="",style="solid", color="burlywood", weight=9];
2169 -> 1538[label="",style="solid", color="burlywood", weight=3];
2170[label="yv401/Neg yv4010",fontsize=10,color="white",style="solid",shape="box"];1498 -> 2170[label="",style="solid", color="burlywood", weight=9];
2170 -> 1539[label="",style="solid", color="burlywood", weight=3];
1499[label="primEqInt (Neg Zero) yv401",fontsize=16,color="burlywood",shape="box"];2171[label="yv401/Pos yv4010",fontsize=10,color="white",style="solid",shape="box"];1499 -> 2171[label="",style="solid", color="burlywood", weight=9];
2171 -> 1540[label="",style="solid", color="burlywood", weight=3];
2172[label="yv401/Neg yv4010",fontsize=10,color="white",style="solid",shape="box"];1499 -> 2172[label="",style="solid", color="burlywood", weight=9];
2172 -> 1541[label="",style="solid", color="burlywood", weight=3];
1500 -> 1372[label="",style="dashed", color="red", weight=0];
1500[label="yv310 == yv4010 && yv311 == yv4011",fontsize=16,color="magenta"];1500 -> 1542[label="",style="dashed", color="magenta", weight=3];
1500 -> 1543[label="",style="dashed", color="magenta", weight=3];
1501[label="False",fontsize=16,color="green",shape="box"];1502[label="False",fontsize=16,color="green",shape="box"];1503[label="True",fontsize=16,color="green",shape="box"];1504[label="primEqFloat (Float yv310 yv311) (Float yv4010 yv4011)",fontsize=16,color="black",shape="box"];1504 -> 1544[label="",style="solid", color="black", weight=3];
1505[label="True",fontsize=16,color="green",shape="box"];1506[label="yv310 == yv4010",fontsize=16,color="blue",shape="box"];2173[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1506 -> 2173[label="",style="solid", color="blue", weight=9];
2173 -> 1545[label="",style="solid", color="blue", weight=3];
2174[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1506 -> 2174[label="",style="solid", color="blue", weight=9];
2174 -> 1546[label="",style="solid", color="blue", weight=3];
2175[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1506 -> 2175[label="",style="solid", color="blue", weight=9];
2175 -> 1547[label="",style="solid", color="blue", weight=3];
2176[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1506 -> 2176[label="",style="solid", color="blue", weight=9];
2176 -> 1548[label="",style="solid", color="blue", weight=3];
2177[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1506 -> 2177[label="",style="solid", color="blue", weight=9];
2177 -> 1549[label="",style="solid", color="blue", weight=3];
2178[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1506 -> 2178[label="",style="solid", color="blue", weight=9];
2178 -> 1550[label="",style="solid", color="blue", weight=3];
2179[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1506 -> 2179[label="",style="solid", color="blue", weight=9];
2179 -> 1551[label="",style="solid", color="blue", weight=3];
2180[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1506 -> 2180[label="",style="solid", color="blue", weight=9];
2180 -> 1552[label="",style="solid", color="blue", weight=3];
2181[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1506 -> 2181[label="",style="solid", color="blue", weight=9];
2181 -> 1553[label="",style="solid", color="blue", weight=3];
2182[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1506 -> 2182[label="",style="solid", color="blue", weight=9];
2182 -> 1554[label="",style="solid", color="blue", weight=3];
2183[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1506 -> 2183[label="",style="solid", color="blue", weight=9];
2183 -> 1555[label="",style="solid", color="blue", weight=3];
2184[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1506 -> 2184[label="",style="solid", color="blue", weight=9];
2184 -> 1556[label="",style="solid", color="blue", weight=3];
2185[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1506 -> 2185[label="",style="solid", color="blue", weight=9];
2185 -> 1557[label="",style="solid", color="blue", weight=3];
2186[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1506 -> 2186[label="",style="solid", color="blue", weight=9];
2186 -> 1558[label="",style="solid", color="blue", weight=3];
1507[label="False",fontsize=16,color="green",shape="box"];1508[label="False",fontsize=16,color="green",shape="box"];1509[label="yv310 == yv4010",fontsize=16,color="blue",shape="box"];2187[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1509 -> 2187[label="",style="solid", color="blue", weight=9];
2187 -> 1559[label="",style="solid", color="blue", weight=3];
2188[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1509 -> 2188[label="",style="solid", color="blue", weight=9];
2188 -> 1560[label="",style="solid", color="blue", weight=3];
2189[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1509 -> 2189[label="",style="solid", color="blue", weight=9];
2189 -> 1561[label="",style="solid", color="blue", weight=3];
2190[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1509 -> 2190[label="",style="solid", color="blue", weight=9];
2190 -> 1562[label="",style="solid", color="blue", weight=3];
2191[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1509 -> 2191[label="",style="solid", color="blue", weight=9];
2191 -> 1563[label="",style="solid", color="blue", weight=3];
2192[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1509 -> 2192[label="",style="solid", color="blue", weight=9];
2192 -> 1564[label="",style="solid", color="blue", weight=3];
2193[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1509 -> 2193[label="",style="solid", color="blue", weight=9];
2193 -> 1565[label="",style="solid", color="blue", weight=3];
2194[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1509 -> 2194[label="",style="solid", color="blue", weight=9];
2194 -> 1566[label="",style="solid", color="blue", weight=3];
2195[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1509 -> 2195[label="",style="solid", color="blue", weight=9];
2195 -> 1567[label="",style="solid", color="blue", weight=3];
2196[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1509 -> 2196[label="",style="solid", color="blue", weight=9];
2196 -> 1568[label="",style="solid", color="blue", weight=3];
2197[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1509 -> 2197[label="",style="solid", color="blue", weight=9];
2197 -> 1569[label="",style="solid", color="blue", weight=3];
2198[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1509 -> 2198[label="",style="solid", color="blue", weight=9];
2198 -> 1570[label="",style="solid", color="blue", weight=3];
2199[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1509 -> 2199[label="",style="solid", color="blue", weight=9];
2199 -> 1571[label="",style="solid", color="blue", weight=3];
2200[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1509 -> 2200[label="",style="solid", color="blue", weight=9];
2200 -> 1572[label="",style="solid", color="blue", weight=3];
1510 -> 1372[label="",style="dashed", color="red", weight=0];
1510[label="yv310 == yv4010 && yv311 == yv4011",fontsize=16,color="magenta"];1510 -> 1573[label="",style="dashed", color="magenta", weight=3];
1510 -> 1574[label="",style="dashed", color="magenta", weight=3];
1511[label="primEqDouble (Double yv310 yv311) (Double yv4010 yv4011)",fontsize=16,color="black",shape="box"];1511 -> 1575[label="",style="solid", color="black", weight=3];
1512[label="True",fontsize=16,color="green",shape="box"];1513[label="False",fontsize=16,color="green",shape="box"];1514[label="False",fontsize=16,color="green",shape="box"];1515[label="yv310 == yv4010",fontsize=16,color="blue",shape="box"];2201[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1515 -> 2201[label="",style="solid", color="blue", weight=9];
2201 -> 1576[label="",style="solid", color="blue", weight=3];
2202[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1515 -> 2202[label="",style="solid", color="blue", weight=9];
2202 -> 1577[label="",style="solid", color="blue", weight=3];
2203[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1515 -> 2203[label="",style="solid", color="blue", weight=9];
2203 -> 1578[label="",style="solid", color="blue", weight=3];
2204[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1515 -> 2204[label="",style="solid", color="blue", weight=9];
2204 -> 1579[label="",style="solid", color="blue", weight=3];
2205[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1515 -> 2205[label="",style="solid", color="blue", weight=9];
2205 -> 1580[label="",style="solid", color="blue", weight=3];
2206[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1515 -> 2206[label="",style="solid", color="blue", weight=9];
2206 -> 1581[label="",style="solid", color="blue", weight=3];
2207[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1515 -> 2207[label="",style="solid", color="blue", weight=9];
2207 -> 1582[label="",style="solid", color="blue", weight=3];
2208[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1515 -> 2208[label="",style="solid", color="blue", weight=9];
2208 -> 1583[label="",style="solid", color="blue", weight=3];
2209[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1515 -> 2209[label="",style="solid", color="blue", weight=9];
2209 -> 1584[label="",style="solid", color="blue", weight=3];
2210[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1515 -> 2210[label="",style="solid", color="blue", weight=9];
2210 -> 1585[label="",style="solid", color="blue", weight=3];
2211[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1515 -> 2211[label="",style="solid", color="blue", weight=9];
2211 -> 1586[label="",style="solid", color="blue", weight=3];
2212[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1515 -> 2212[label="",style="solid", color="blue", weight=9];
2212 -> 1587[label="",style="solid", color="blue", weight=3];
2213[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1515 -> 2213[label="",style="solid", color="blue", weight=9];
2213 -> 1588[label="",style="solid", color="blue", weight=3];
2214[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1515 -> 2214[label="",style="solid", color="blue", weight=9];
2214 -> 1589[label="",style="solid", color="blue", weight=3];
1516[label="True",fontsize=16,color="green",shape="box"];1517[label="False",fontsize=16,color="green",shape="box"];1518[label="False",fontsize=16,color="green",shape="box"];1519[label="False",fontsize=16,color="green",shape="box"];1520[label="True",fontsize=16,color="green",shape="box"];1521[label="False",fontsize=16,color="green",shape="box"];1522[label="False",fontsize=16,color="green",shape="box"];1523[label="False",fontsize=16,color="green",shape="box"];1524[label="True",fontsize=16,color="green",shape="box"];1525 -> 1409[label="",style="dashed", color="red", weight=0];
1525[label="primEqInt yv310 yv4010",fontsize=16,color="magenta"];1525 -> 1590[label="",style="dashed", color="magenta", weight=3];
1525 -> 1591[label="",style="dashed", color="magenta", weight=3];
1526 -> 1372[label="",style="dashed", color="red", weight=0];
1526[label="yv310 == yv4010 && yv311 == yv4011 && yv312 == yv4012",fontsize=16,color="magenta"];1526 -> 1592[label="",style="dashed", color="magenta", weight=3];
1526 -> 1593[label="",style="dashed", color="magenta", weight=3];
1527[label="True",fontsize=16,color="green",shape="box"];1528[label="False",fontsize=16,color="green",shape="box"];1529[label="False",fontsize=16,color="green",shape="box"];1530[label="True",fontsize=16,color="green",shape="box"];1531 -> 1372[label="",style="dashed", color="red", weight=0];
1531[label="yv310 == yv4010 && yv311 == yv4011",fontsize=16,color="magenta"];1531 -> 1594[label="",style="dashed", color="magenta", weight=3];
1531 -> 1595[label="",style="dashed", color="magenta", weight=3];
1532[label="primEqChar (Char yv310) (Char yv4010)",fontsize=16,color="black",shape="box"];1532 -> 1596[label="",style="solid", color="black", weight=3];
1282[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 (yv24110 : yv24111) (Pos yv41 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos yv41 + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1282 -> 1407[label="",style="solid", color="black", weight=3];
1283 -> 16[label="",style="dashed", color="red", weight=0];
1283[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) []))",fontsize=16,color="magenta"];1283 -> 1408[label="",style="dashed", color="magenta", weight=3];
1534[label="primEqInt (Pos (Succ yv3100)) (Pos yv4010)",fontsize=16,color="burlywood",shape="box"];2215[label="yv4010/Succ yv40100",fontsize=10,color="white",style="solid",shape="box"];1534 -> 2215[label="",style="solid", color="burlywood", weight=9];
2215 -> 1598[label="",style="solid", color="burlywood", weight=3];
2216[label="yv4010/Zero",fontsize=10,color="white",style="solid",shape="box"];1534 -> 2216[label="",style="solid", color="burlywood", weight=9];
2216 -> 1599[label="",style="solid", color="burlywood", weight=3];
1535[label="primEqInt (Pos (Succ yv3100)) (Neg yv4010)",fontsize=16,color="black",shape="box"];1535 -> 1600[label="",style="solid", color="black", weight=3];
1536[label="primEqInt (Pos Zero) (Pos yv4010)",fontsize=16,color="burlywood",shape="box"];2217[label="yv4010/Succ yv40100",fontsize=10,color="white",style="solid",shape="box"];1536 -> 2217[label="",style="solid", color="burlywood", weight=9];
2217 -> 1601[label="",style="solid", color="burlywood", weight=3];
2218[label="yv4010/Zero",fontsize=10,color="white",style="solid",shape="box"];1536 -> 2218[label="",style="solid", color="burlywood", weight=9];
2218 -> 1602[label="",style="solid", color="burlywood", weight=3];
1537[label="primEqInt (Pos Zero) (Neg yv4010)",fontsize=16,color="burlywood",shape="box"];2219[label="yv4010/Succ yv40100",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2219[label="",style="solid", color="burlywood", weight=9];
2219 -> 1603[label="",style="solid", color="burlywood", weight=3];
2220[label="yv4010/Zero",fontsize=10,color="white",style="solid",shape="box"];1537 -> 2220[label="",style="solid", color="burlywood", weight=9];
2220 -> 1604[label="",style="solid", color="burlywood", weight=3];
1538[label="primEqInt (Neg (Succ yv3100)) (Pos yv4010)",fontsize=16,color="black",shape="box"];1538 -> 1605[label="",style="solid", color="black", weight=3];
1539[label="primEqInt (Neg (Succ yv3100)) (Neg yv4010)",fontsize=16,color="burlywood",shape="box"];2221[label="yv4010/Succ yv40100",fontsize=10,color="white",style="solid",shape="box"];1539 -> 2221[label="",style="solid", color="burlywood", weight=9];
2221 -> 1606[label="",style="solid", color="burlywood", weight=3];
2222[label="yv4010/Zero",fontsize=10,color="white",style="solid",shape="box"];1539 -> 2222[label="",style="solid", color="burlywood", weight=9];
2222 -> 1607[label="",style="solid", color="burlywood", weight=3];
1540[label="primEqInt (Neg Zero) (Pos yv4010)",fontsize=16,color="burlywood",shape="box"];2223[label="yv4010/Succ yv40100",fontsize=10,color="white",style="solid",shape="box"];1540 -> 2223[label="",style="solid", color="burlywood", weight=9];
2223 -> 1608[label="",style="solid", color="burlywood", weight=3];
2224[label="yv4010/Zero",fontsize=10,color="white",style="solid",shape="box"];1540 -> 2224[label="",style="solid", color="burlywood", weight=9];
2224 -> 1609[label="",style="solid", color="burlywood", weight=3];
1541[label="primEqInt (Neg Zero) (Neg yv4010)",fontsize=16,color="burlywood",shape="box"];2225[label="yv4010/Succ yv40100",fontsize=10,color="white",style="solid",shape="box"];1541 -> 2225[label="",style="solid", color="burlywood", weight=9];
2225 -> 1610[label="",style="solid", color="burlywood", weight=3];
2226[label="yv4010/Zero",fontsize=10,color="white",style="solid",shape="box"];1541 -> 2226[label="",style="solid", color="burlywood", weight=9];
2226 -> 1611[label="",style="solid", color="burlywood", weight=3];
1542 -> 1378[label="",style="dashed", color="red", weight=0];
1542[label="yv311 == yv4011",fontsize=16,color="magenta"];1542 -> 1612[label="",style="dashed", color="magenta", weight=3];
1542 -> 1613[label="",style="dashed", color="magenta", weight=3];
1543[label="yv310 == yv4010",fontsize=16,color="blue",shape="box"];2227[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1543 -> 2227[label="",style="solid", color="blue", weight=9];
2227 -> 1614[label="",style="solid", color="blue", weight=3];
2228[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1543 -> 2228[label="",style="solid", color="blue", weight=9];
2228 -> 1615[label="",style="solid", color="blue", weight=3];
2229[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1543 -> 2229[label="",style="solid", color="blue", weight=9];
2229 -> 1616[label="",style="solid", color="blue", weight=3];
2230[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1543 -> 2230[label="",style="solid", color="blue", weight=9];
2230 -> 1617[label="",style="solid", color="blue", weight=3];
2231[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1543 -> 2231[label="",style="solid", color="blue", weight=9];
2231 -> 1618[label="",style="solid", color="blue", weight=3];
2232[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1543 -> 2232[label="",style="solid", color="blue", weight=9];
2232 -> 1619[label="",style="solid", color="blue", weight=3];
2233[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1543 -> 2233[label="",style="solid", color="blue", weight=9];
2233 -> 1620[label="",style="solid", color="blue", weight=3];
2234[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1543 -> 2234[label="",style="solid", color="blue", weight=9];
2234 -> 1621[label="",style="solid", color="blue", weight=3];
2235[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1543 -> 2235[label="",style="solid", color="blue", weight=9];
2235 -> 1622[label="",style="solid", color="blue", weight=3];
2236[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1543 -> 2236[label="",style="solid", color="blue", weight=9];
2236 -> 1623[label="",style="solid", color="blue", weight=3];
2237[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1543 -> 2237[label="",style="solid", color="blue", weight=9];
2237 -> 1624[label="",style="solid", color="blue", weight=3];
2238[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1543 -> 2238[label="",style="solid", color="blue", weight=9];
2238 -> 1625[label="",style="solid", color="blue", weight=3];
2239[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1543 -> 2239[label="",style="solid", color="blue", weight=9];
2239 -> 1626[label="",style="solid", color="blue", weight=3];
2240[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1543 -> 2240[label="",style="solid", color="blue", weight=9];
2240 -> 1627[label="",style="solid", color="blue", weight=3];
1544 -> 1377[label="",style="dashed", color="red", weight=0];
1544[label="yv310 * yv4011 == yv311 * yv4010",fontsize=16,color="magenta"];1544 -> 1628[label="",style="dashed", color="magenta", weight=3];
1544 -> 1629[label="",style="dashed", color="magenta", weight=3];
1545 -> 1377[label="",style="dashed", color="red", weight=0];
1545[label="yv310 == yv4010",fontsize=16,color="magenta"];1545 -> 1630[label="",style="dashed", color="magenta", weight=3];
1545 -> 1631[label="",style="dashed", color="magenta", weight=3];
1546 -> 1378[label="",style="dashed", color="red", weight=0];
1546[label="yv310 == yv4010",fontsize=16,color="magenta"];1546 -> 1632[label="",style="dashed", color="magenta", weight=3];
1546 -> 1633[label="",style="dashed", color="magenta", weight=3];
1547 -> 1379[label="",style="dashed", color="red", weight=0];
1547[label="yv310 == yv4010",fontsize=16,color="magenta"];1547 -> 1634[label="",style="dashed", color="magenta", weight=3];
1547 -> 1635[label="",style="dashed", color="magenta", weight=3];
1548 -> 1380[label="",style="dashed", color="red", weight=0];
1548[label="yv310 == yv4010",fontsize=16,color="magenta"];1548 -> 1636[label="",style="dashed", color="magenta", weight=3];
1548 -> 1637[label="",style="dashed", color="magenta", weight=3];
1549 -> 1381[label="",style="dashed", color="red", weight=0];
1549[label="yv310 == yv4010",fontsize=16,color="magenta"];1549 -> 1638[label="",style="dashed", color="magenta", weight=3];
1549 -> 1639[label="",style="dashed", color="magenta", weight=3];
1550 -> 1382[label="",style="dashed", color="red", weight=0];
1550[label="yv310 == yv4010",fontsize=16,color="magenta"];1550 -> 1640[label="",style="dashed", color="magenta", weight=3];
1550 -> 1641[label="",style="dashed", color="magenta", weight=3];
1551 -> 1383[label="",style="dashed", color="red", weight=0];
1551[label="yv310 == yv4010",fontsize=16,color="magenta"];1551 -> 1642[label="",style="dashed", color="magenta", weight=3];
1551 -> 1643[label="",style="dashed", color="magenta", weight=3];
1552 -> 1384[label="",style="dashed", color="red", weight=0];
1552[label="yv310 == yv4010",fontsize=16,color="magenta"];1552 -> 1644[label="",style="dashed", color="magenta", weight=3];
1552 -> 1645[label="",style="dashed", color="magenta", weight=3];
1553 -> 1385[label="",style="dashed", color="red", weight=0];
1553[label="yv310 == yv4010",fontsize=16,color="magenta"];1553 -> 1646[label="",style="dashed", color="magenta", weight=3];
1553 -> 1647[label="",style="dashed", color="magenta", weight=3];
1554 -> 1386[label="",style="dashed", color="red", weight=0];
1554[label="yv310 == yv4010",fontsize=16,color="magenta"];1554 -> 1648[label="",style="dashed", color="magenta", weight=3];
1554 -> 1649[label="",style="dashed", color="magenta", weight=3];
1555 -> 1387[label="",style="dashed", color="red", weight=0];
1555[label="yv310 == yv4010",fontsize=16,color="magenta"];1555 -> 1650[label="",style="dashed", color="magenta", weight=3];
1555 -> 1651[label="",style="dashed", color="magenta", weight=3];
1556 -> 1388[label="",style="dashed", color="red", weight=0];
1556[label="yv310 == yv4010",fontsize=16,color="magenta"];1556 -> 1652[label="",style="dashed", color="magenta", weight=3];
1556 -> 1653[label="",style="dashed", color="magenta", weight=3];
1557 -> 1389[label="",style="dashed", color="red", weight=0];
1557[label="yv310 == yv4010",fontsize=16,color="magenta"];1557 -> 1654[label="",style="dashed", color="magenta", weight=3];
1557 -> 1655[label="",style="dashed", color="magenta", weight=3];
1558 -> 1390[label="",style="dashed", color="red", weight=0];
1558[label="yv310 == yv4010",fontsize=16,color="magenta"];1558 -> 1656[label="",style="dashed", color="magenta", weight=3];
1558 -> 1657[label="",style="dashed", color="magenta", weight=3];
1559 -> 1377[label="",style="dashed", color="red", weight=0];
1559[label="yv310 == yv4010",fontsize=16,color="magenta"];1559 -> 1658[label="",style="dashed", color="magenta", weight=3];
1559 -> 1659[label="",style="dashed", color="magenta", weight=3];
1560 -> 1378[label="",style="dashed", color="red", weight=0];
1560[label="yv310 == yv4010",fontsize=16,color="magenta"];1560 -> 1660[label="",style="dashed", color="magenta", weight=3];
1560 -> 1661[label="",style="dashed", color="magenta", weight=3];
1561 -> 1379[label="",style="dashed", color="red", weight=0];
1561[label="yv310 == yv4010",fontsize=16,color="magenta"];1561 -> 1662[label="",style="dashed", color="magenta", weight=3];
1561 -> 1663[label="",style="dashed", color="magenta", weight=3];
1562 -> 1380[label="",style="dashed", color="red", weight=0];
1562[label="yv310 == yv4010",fontsize=16,color="magenta"];1562 -> 1664[label="",style="dashed", color="magenta", weight=3];
1562 -> 1665[label="",style="dashed", color="magenta", weight=3];
1563 -> 1381[label="",style="dashed", color="red", weight=0];
1563[label="yv310 == yv4010",fontsize=16,color="magenta"];1563 -> 1666[label="",style="dashed", color="magenta", weight=3];
1563 -> 1667[label="",style="dashed", color="magenta", weight=3];
1564 -> 1382[label="",style="dashed", color="red", weight=0];
1564[label="yv310 == yv4010",fontsize=16,color="magenta"];1564 -> 1668[label="",style="dashed", color="magenta", weight=3];
1564 -> 1669[label="",style="dashed", color="magenta", weight=3];
1565 -> 1383[label="",style="dashed", color="red", weight=0];
1565[label="yv310 == yv4010",fontsize=16,color="magenta"];1565 -> 1670[label="",style="dashed", color="magenta", weight=3];
1565 -> 1671[label="",style="dashed", color="magenta", weight=3];
1566 -> 1384[label="",style="dashed", color="red", weight=0];
1566[label="yv310 == yv4010",fontsize=16,color="magenta"];1566 -> 1672[label="",style="dashed", color="magenta", weight=3];
1566 -> 1673[label="",style="dashed", color="magenta", weight=3];
1567 -> 1385[label="",style="dashed", color="red", weight=0];
1567[label="yv310 == yv4010",fontsize=16,color="magenta"];1567 -> 1674[label="",style="dashed", color="magenta", weight=3];
1567 -> 1675[label="",style="dashed", color="magenta", weight=3];
1568 -> 1386[label="",style="dashed", color="red", weight=0];
1568[label="yv310 == yv4010",fontsize=16,color="magenta"];1568 -> 1676[label="",style="dashed", color="magenta", weight=3];
1568 -> 1677[label="",style="dashed", color="magenta", weight=3];
1569 -> 1387[label="",style="dashed", color="red", weight=0];
1569[label="yv310 == yv4010",fontsize=16,color="magenta"];1569 -> 1678[label="",style="dashed", color="magenta", weight=3];
1569 -> 1679[label="",style="dashed", color="magenta", weight=3];
1570 -> 1388[label="",style="dashed", color="red", weight=0];
1570[label="yv310 == yv4010",fontsize=16,color="magenta"];1570 -> 1680[label="",style="dashed", color="magenta", weight=3];
1570 -> 1681[label="",style="dashed", color="magenta", weight=3];
1571 -> 1389[label="",style="dashed", color="red", weight=0];
1571[label="yv310 == yv4010",fontsize=16,color="magenta"];1571 -> 1682[label="",style="dashed", color="magenta", weight=3];
1571 -> 1683[label="",style="dashed", color="magenta", weight=3];
1572 -> 1390[label="",style="dashed", color="red", weight=0];
1572[label="yv310 == yv4010",fontsize=16,color="magenta"];1572 -> 1684[label="",style="dashed", color="magenta", weight=3];
1572 -> 1685[label="",style="dashed", color="magenta", weight=3];
1573[label="yv311 == yv4011",fontsize=16,color="blue",shape="box"];2241[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1573 -> 2241[label="",style="solid", color="blue", weight=9];
2241 -> 1686[label="",style="solid", color="blue", weight=3];
2242[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1573 -> 2242[label="",style="solid", color="blue", weight=9];
2242 -> 1687[label="",style="solid", color="blue", weight=3];
1574[label="yv310 == yv4010",fontsize=16,color="blue",shape="box"];2243[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1574 -> 2243[label="",style="solid", color="blue", weight=9];
2243 -> 1688[label="",style="solid", color="blue", weight=3];
2244[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1574 -> 2244[label="",style="solid", color="blue", weight=9];
2244 -> 1689[label="",style="solid", color="blue", weight=3];
1575 -> 1377[label="",style="dashed", color="red", weight=0];
1575[label="yv310 * yv4011 == yv311 * yv4010",fontsize=16,color="magenta"];1575 -> 1690[label="",style="dashed", color="magenta", weight=3];
1575 -> 1691[label="",style="dashed", color="magenta", weight=3];
1576 -> 1377[label="",style="dashed", color="red", weight=0];
1576[label="yv310 == yv4010",fontsize=16,color="magenta"];1576 -> 1692[label="",style="dashed", color="magenta", weight=3];
1576 -> 1693[label="",style="dashed", color="magenta", weight=3];
1577 -> 1378[label="",style="dashed", color="red", weight=0];
1577[label="yv310 == yv4010",fontsize=16,color="magenta"];1577 -> 1694[label="",style="dashed", color="magenta", weight=3];
1577 -> 1695[label="",style="dashed", color="magenta", weight=3];
1578 -> 1379[label="",style="dashed", color="red", weight=0];
1578[label="yv310 == yv4010",fontsize=16,color="magenta"];1578 -> 1696[label="",style="dashed", color="magenta", weight=3];
1578 -> 1697[label="",style="dashed", color="magenta", weight=3];
1579 -> 1380[label="",style="dashed", color="red", weight=0];
1579[label="yv310 == yv4010",fontsize=16,color="magenta"];1579 -> 1698[label="",style="dashed", color="magenta", weight=3];
1579 -> 1699[label="",style="dashed", color="magenta", weight=3];
1580 -> 1381[label="",style="dashed", color="red", weight=0];
1580[label="yv310 == yv4010",fontsize=16,color="magenta"];1580 -> 1700[label="",style="dashed", color="magenta", weight=3];
1580 -> 1701[label="",style="dashed", color="magenta", weight=3];
1581 -> 1382[label="",style="dashed", color="red", weight=0];
1581[label="yv310 == yv4010",fontsize=16,color="magenta"];1581 -> 1702[label="",style="dashed", color="magenta", weight=3];
1581 -> 1703[label="",style="dashed", color="magenta", weight=3];
1582 -> 1383[label="",style="dashed", color="red", weight=0];
1582[label="yv310 == yv4010",fontsize=16,color="magenta"];1582 -> 1704[label="",style="dashed", color="magenta", weight=3];
1582 -> 1705[label="",style="dashed", color="magenta", weight=3];
1583 -> 1384[label="",style="dashed", color="red", weight=0];
1583[label="yv310 == yv4010",fontsize=16,color="magenta"];1583 -> 1706[label="",style="dashed", color="magenta", weight=3];
1583 -> 1707[label="",style="dashed", color="magenta", weight=3];
1584 -> 1385[label="",style="dashed", color="red", weight=0];
1584[label="yv310 == yv4010",fontsize=16,color="magenta"];1584 -> 1708[label="",style="dashed", color="magenta", weight=3];
1584 -> 1709[label="",style="dashed", color="magenta", weight=3];
1585 -> 1386[label="",style="dashed", color="red", weight=0];
1585[label="yv310 == yv4010",fontsize=16,color="magenta"];1585 -> 1710[label="",style="dashed", color="magenta", weight=3];
1585 -> 1711[label="",style="dashed", color="magenta", weight=3];
1586 -> 1387[label="",style="dashed", color="red", weight=0];
1586[label="yv310 == yv4010",fontsize=16,color="magenta"];1586 -> 1712[label="",style="dashed", color="magenta", weight=3];
1586 -> 1713[label="",style="dashed", color="magenta", weight=3];
1587 -> 1388[label="",style="dashed", color="red", weight=0];
1587[label="yv310 == yv4010",fontsize=16,color="magenta"];1587 -> 1714[label="",style="dashed", color="magenta", weight=3];
1587 -> 1715[label="",style="dashed", color="magenta", weight=3];
1588 -> 1389[label="",style="dashed", color="red", weight=0];
1588[label="yv310 == yv4010",fontsize=16,color="magenta"];1588 -> 1716[label="",style="dashed", color="magenta", weight=3];
1588 -> 1717[label="",style="dashed", color="magenta", weight=3];
1589 -> 1390[label="",style="dashed", color="red", weight=0];
1589[label="yv310 == yv4010",fontsize=16,color="magenta"];1589 -> 1718[label="",style="dashed", color="magenta", weight=3];
1589 -> 1719[label="",style="dashed", color="magenta", weight=3];
1590[label="yv4010",fontsize=16,color="green",shape="box"];1591[label="yv310",fontsize=16,color="green",shape="box"];1592 -> 1372[label="",style="dashed", color="red", weight=0];
1592[label="yv311 == yv4011 && yv312 == yv4012",fontsize=16,color="magenta"];1592 -> 1720[label="",style="dashed", color="magenta", weight=3];
1592 -> 1721[label="",style="dashed", color="magenta", weight=3];
1593[label="yv310 == yv4010",fontsize=16,color="blue",shape="box"];2245[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1593 -> 2245[label="",style="solid", color="blue", weight=9];
2245 -> 1722[label="",style="solid", color="blue", weight=3];
2246[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1593 -> 2246[label="",style="solid", color="blue", weight=9];
2246 -> 1723[label="",style="solid", color="blue", weight=3];
2247[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1593 -> 2247[label="",style="solid", color="blue", weight=9];
2247 -> 1724[label="",style="solid", color="blue", weight=3];
2248[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1593 -> 2248[label="",style="solid", color="blue", weight=9];
2248 -> 1725[label="",style="solid", color="blue", weight=3];
2249[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1593 -> 2249[label="",style="solid", color="blue", weight=9];
2249 -> 1726[label="",style="solid", color="blue", weight=3];
2250[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1593 -> 2250[label="",style="solid", color="blue", weight=9];
2250 -> 1727[label="",style="solid", color="blue", weight=3];
2251[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1593 -> 2251[label="",style="solid", color="blue", weight=9];
2251 -> 1728[label="",style="solid", color="blue", weight=3];
2252[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1593 -> 2252[label="",style="solid", color="blue", weight=9];
2252 -> 1729[label="",style="solid", color="blue", weight=3];
2253[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1593 -> 2253[label="",style="solid", color="blue", weight=9];
2253 -> 1730[label="",style="solid", color="blue", weight=3];
2254[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1593 -> 2254[label="",style="solid", color="blue", weight=9];
2254 -> 1731[label="",style="solid", color="blue", weight=3];
2255[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1593 -> 2255[label="",style="solid", color="blue", weight=9];
2255 -> 1732[label="",style="solid", color="blue", weight=3];
2256[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1593 -> 2256[label="",style="solid", color="blue", weight=9];
2256 -> 1733[label="",style="solid", color="blue", weight=3];
2257[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1593 -> 2257[label="",style="solid", color="blue", weight=9];
2257 -> 1734[label="",style="solid", color="blue", weight=3];
2258[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1593 -> 2258[label="",style="solid", color="blue", weight=9];
2258 -> 1735[label="",style="solid", color="blue", weight=3];
1594[label="yv311 == yv4011",fontsize=16,color="blue",shape="box"];2259[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1594 -> 2259[label="",style="solid", color="blue", weight=9];
2259 -> 1736[label="",style="solid", color="blue", weight=3];
2260[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1594 -> 2260[label="",style="solid", color="blue", weight=9];
2260 -> 1737[label="",style="solid", color="blue", weight=3];
2261[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1594 -> 2261[label="",style="solid", color="blue", weight=9];
2261 -> 1738[label="",style="solid", color="blue", weight=3];
2262[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1594 -> 2262[label="",style="solid", color="blue", weight=9];
2262 -> 1739[label="",style="solid", color="blue", weight=3];
2263[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1594 -> 2263[label="",style="solid", color="blue", weight=9];
2263 -> 1740[label="",style="solid", color="blue", weight=3];
2264[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1594 -> 2264[label="",style="solid", color="blue", weight=9];
2264 -> 1741[label="",style="solid", color="blue", weight=3];
2265[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1594 -> 2265[label="",style="solid", color="blue", weight=9];
2265 -> 1742[label="",style="solid", color="blue", weight=3];
2266[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1594 -> 2266[label="",style="solid", color="blue", weight=9];
2266 -> 1743[label="",style="solid", color="blue", weight=3];
2267[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1594 -> 2267[label="",style="solid", color="blue", weight=9];
2267 -> 1744[label="",style="solid", color="blue", weight=3];
2268[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1594 -> 2268[label="",style="solid", color="blue", weight=9];
2268 -> 1745[label="",style="solid", color="blue", weight=3];
2269[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1594 -> 2269[label="",style="solid", color="blue", weight=9];
2269 -> 1746[label="",style="solid", color="blue", weight=3];
2270[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1594 -> 2270[label="",style="solid", color="blue", weight=9];
2270 -> 1747[label="",style="solid", color="blue", weight=3];
2271[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1594 -> 2271[label="",style="solid", color="blue", weight=9];
2271 -> 1748[label="",style="solid", color="blue", weight=3];
2272[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1594 -> 2272[label="",style="solid", color="blue", weight=9];
2272 -> 1749[label="",style="solid", color="blue", weight=3];
1595[label="yv310 == yv4010",fontsize=16,color="blue",shape="box"];2273[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1595 -> 2273[label="",style="solid", color="blue", weight=9];
2273 -> 1750[label="",style="solid", color="blue", weight=3];
2274[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1595 -> 2274[label="",style="solid", color="blue", weight=9];
2274 -> 1751[label="",style="solid", color="blue", weight=3];
2275[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1595 -> 2275[label="",style="solid", color="blue", weight=9];
2275 -> 1752[label="",style="solid", color="blue", weight=3];
2276[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1595 -> 2276[label="",style="solid", color="blue", weight=9];
2276 -> 1753[label="",style="solid", color="blue", weight=3];
2277[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1595 -> 2277[label="",style="solid", color="blue", weight=9];
2277 -> 1754[label="",style="solid", color="blue", weight=3];
2278[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1595 -> 2278[label="",style="solid", color="blue", weight=9];
2278 -> 1755[label="",style="solid", color="blue", weight=3];
2279[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1595 -> 2279[label="",style="solid", color="blue", weight=9];
2279 -> 1756[label="",style="solid", color="blue", weight=3];
2280[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1595 -> 2280[label="",style="solid", color="blue", weight=9];
2280 -> 1757[label="",style="solid", color="blue", weight=3];
2281[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1595 -> 2281[label="",style="solid", color="blue", weight=9];
2281 -> 1758[label="",style="solid", color="blue", weight=3];
2282[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1595 -> 2282[label="",style="solid", color="blue", weight=9];
2282 -> 1759[label="",style="solid", color="blue", weight=3];
2283[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1595 -> 2283[label="",style="solid", color="blue", weight=9];
2283 -> 1760[label="",style="solid", color="blue", weight=3];
2284[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1595 -> 2284[label="",style="solid", color="blue", weight=9];
2284 -> 1761[label="",style="solid", color="blue", weight=3];
2285[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1595 -> 2285[label="",style="solid", color="blue", weight=9];
2285 -> 1762[label="",style="solid", color="blue", weight=3];
2286[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1595 -> 2286[label="",style="solid", color="blue", weight=9];
2286 -> 1763[label="",style="solid", color="blue", weight=3];
1596[label="primEqNat yv310 yv4010",fontsize=16,color="burlywood",shape="triangle"];2287[label="yv310/Succ yv3100",fontsize=10,color="white",style="solid",shape="box"];1596 -> 2287[label="",style="solid", color="burlywood", weight=9];
2287 -> 1764[label="",style="solid", color="burlywood", weight=3];
2288[label="yv310/Zero",fontsize=10,color="white",style="solid",shape="box"];1596 -> 2288[label="",style="solid", color="burlywood", weight=9];
2288 -> 1765[label="",style="solid", color="burlywood", weight=3];
1407[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 (yv24110 : yv24111) (enforceWHNF (WHNF (Pos yv41 + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos yv41 + fromInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1407 -> 1459[label="",style="solid", color="black", weight=3];
1408[label="(yv22,yv23)",fontsize=16,color="green",shape="box"];1598[label="primEqInt (Pos (Succ yv3100)) (Pos (Succ yv40100))",fontsize=16,color="black",shape="box"];1598 -> 1767[label="",style="solid", color="black", weight=3];
1599[label="primEqInt (Pos (Succ yv3100)) (Pos Zero)",fontsize=16,color="black",shape="box"];1599 -> 1768[label="",style="solid", color="black", weight=3];
1600[label="False",fontsize=16,color="green",shape="box"];1601[label="primEqInt (Pos Zero) (Pos (Succ yv40100))",fontsize=16,color="black",shape="box"];1601 -> 1769[label="",style="solid", color="black", weight=3];
1602[label="primEqInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1602 -> 1770[label="",style="solid", color="black", weight=3];
1603[label="primEqInt (Pos Zero) (Neg (Succ yv40100))",fontsize=16,color="black",shape="box"];1603 -> 1771[label="",style="solid", color="black", weight=3];
1604[label="primEqInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1604 -> 1772[label="",style="solid", color="black", weight=3];
1605[label="False",fontsize=16,color="green",shape="box"];1606[label="primEqInt (Neg (Succ yv3100)) (Neg (Succ yv40100))",fontsize=16,color="black",shape="box"];1606 -> 1773[label="",style="solid", color="black", weight=3];
1607[label="primEqInt (Neg (Succ yv3100)) (Neg Zero)",fontsize=16,color="black",shape="box"];1607 -> 1774[label="",style="solid", color="black", weight=3];
1608[label="primEqInt (Neg Zero) (Pos (Succ yv40100))",fontsize=16,color="black",shape="box"];1608 -> 1775[label="",style="solid", color="black", weight=3];
1609[label="primEqInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];1609 -> 1776[label="",style="solid", color="black", weight=3];
1610[label="primEqInt (Neg Zero) (Neg (Succ yv40100))",fontsize=16,color="black",shape="box"];1610 -> 1777[label="",style="solid", color="black", weight=3];
1611[label="primEqInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];1611 -> 1778[label="",style="solid", color="black", weight=3];
1612[label="yv4011",fontsize=16,color="green",shape="box"];1613[label="yv311",fontsize=16,color="green",shape="box"];1614 -> 1377[label="",style="dashed", color="red", weight=0];
1614[label="yv310 == yv4010",fontsize=16,color="magenta"];1614 -> 1779[label="",style="dashed", color="magenta", weight=3];
1614 -> 1780[label="",style="dashed", color="magenta", weight=3];
1615 -> 1378[label="",style="dashed", color="red", weight=0];
1615[label="yv310 == yv4010",fontsize=16,color="magenta"];1615 -> 1781[label="",style="dashed", color="magenta", weight=3];
1615 -> 1782[label="",style="dashed", color="magenta", weight=3];
1616 -> 1379[label="",style="dashed", color="red", weight=0];
1616[label="yv310 == yv4010",fontsize=16,color="magenta"];1616 -> 1783[label="",style="dashed", color="magenta", weight=3];
1616 -> 1784[label="",style="dashed", color="magenta", weight=3];
1617 -> 1380[label="",style="dashed", color="red", weight=0];
1617[label="yv310 == yv4010",fontsize=16,color="magenta"];1617 -> 1785[label="",style="dashed", color="magenta", weight=3];
1617 -> 1786[label="",style="dashed", color="magenta", weight=3];
1618 -> 1381[label="",style="dashed", color="red", weight=0];
1618[label="yv310 == yv4010",fontsize=16,color="magenta"];1618 -> 1787[label="",style="dashed", color="magenta", weight=3];
1618 -> 1788[label="",style="dashed", color="magenta", weight=3];
1619 -> 1382[label="",style="dashed", color="red", weight=0];
1619[label="yv310 == yv4010",fontsize=16,color="magenta"];1619 -> 1789[label="",style="dashed", color="magenta", weight=3];
1619 -> 1790[label="",style="dashed", color="magenta", weight=3];
1620 -> 1383[label="",style="dashed", color="red", weight=0];
1620[label="yv310 == yv4010",fontsize=16,color="magenta"];1620 -> 1791[label="",style="dashed", color="magenta", weight=3];
1620 -> 1792[label="",style="dashed", color="magenta", weight=3];
1621 -> 1384[label="",style="dashed", color="red", weight=0];
1621[label="yv310 == yv4010",fontsize=16,color="magenta"];1621 -> 1793[label="",style="dashed", color="magenta", weight=3];
1621 -> 1794[label="",style="dashed", color="magenta", weight=3];
1622 -> 1385[label="",style="dashed", color="red", weight=0];
1622[label="yv310 == yv4010",fontsize=16,color="magenta"];1622 -> 1795[label="",style="dashed", color="magenta", weight=3];
1622 -> 1796[label="",style="dashed", color="magenta", weight=3];
1623 -> 1386[label="",style="dashed", color="red", weight=0];
1623[label="yv310 == yv4010",fontsize=16,color="magenta"];1623 -> 1797[label="",style="dashed", color="magenta", weight=3];
1623 -> 1798[label="",style="dashed", color="magenta", weight=3];
1624 -> 1387[label="",style="dashed", color="red", weight=0];
1624[label="yv310 == yv4010",fontsize=16,color="magenta"];1624 -> 1799[label="",style="dashed", color="magenta", weight=3];
1624 -> 1800[label="",style="dashed", color="magenta", weight=3];
1625 -> 1388[label="",style="dashed", color="red", weight=0];
1625[label="yv310 == yv4010",fontsize=16,color="magenta"];1625 -> 1801[label="",style="dashed", color="magenta", weight=3];
1625 -> 1802[label="",style="dashed", color="magenta", weight=3];
1626 -> 1389[label="",style="dashed", color="red", weight=0];
1626[label="yv310 == yv4010",fontsize=16,color="magenta"];1626 -> 1803[label="",style="dashed", color="magenta", weight=3];
1626 -> 1804[label="",style="dashed", color="magenta", weight=3];
1627 -> 1390[label="",style="dashed", color="red", weight=0];
1627[label="yv310 == yv4010",fontsize=16,color="magenta"];1627 -> 1805[label="",style="dashed", color="magenta", weight=3];
1627 -> 1806[label="",style="dashed", color="magenta", weight=3];
1628[label="yv311 * yv4010",fontsize=16,color="black",shape="triangle"];1628 -> 1807[label="",style="solid", color="black", weight=3];
1629 -> 1628[label="",style="dashed", color="red", weight=0];
1629[label="yv310 * yv4011",fontsize=16,color="magenta"];1629 -> 1808[label="",style="dashed", color="magenta", weight=3];
1629 -> 1809[label="",style="dashed", color="magenta", weight=3];
1630[label="yv4010",fontsize=16,color="green",shape="box"];1631[label="yv310",fontsize=16,color="green",shape="box"];1632[label="yv4010",fontsize=16,color="green",shape="box"];1633[label="yv310",fontsize=16,color="green",shape="box"];1634[label="yv4010",fontsize=16,color="green",shape="box"];1635[label="yv310",fontsize=16,color="green",shape="box"];1636[label="yv4010",fontsize=16,color="green",shape="box"];1637[label="yv310",fontsize=16,color="green",shape="box"];1638[label="yv4010",fontsize=16,color="green",shape="box"];1639[label="yv310",fontsize=16,color="green",shape="box"];1640[label="yv4010",fontsize=16,color="green",shape="box"];1641[label="yv310",fontsize=16,color="green",shape="box"];1642[label="yv4010",fontsize=16,color="green",shape="box"];1643[label="yv310",fontsize=16,color="green",shape="box"];1644[label="yv4010",fontsize=16,color="green",shape="box"];1645[label="yv310",fontsize=16,color="green",shape="box"];1646[label="yv4010",fontsize=16,color="green",shape="box"];1647[label="yv310",fontsize=16,color="green",shape="box"];1648[label="yv4010",fontsize=16,color="green",shape="box"];1649[label="yv310",fontsize=16,color="green",shape="box"];1650[label="yv4010",fontsize=16,color="green",shape="box"];1651[label="yv310",fontsize=16,color="green",shape="box"];1652[label="yv4010",fontsize=16,color="green",shape="box"];1653[label="yv310",fontsize=16,color="green",shape="box"];1654[label="yv4010",fontsize=16,color="green",shape="box"];1655[label="yv310",fontsize=16,color="green",shape="box"];1656[label="yv4010",fontsize=16,color="green",shape="box"];1657[label="yv310",fontsize=16,color="green",shape="box"];1658[label="yv4010",fontsize=16,color="green",shape="box"];1659[label="yv310",fontsize=16,color="green",shape="box"];1660[label="yv4010",fontsize=16,color="green",shape="box"];1661[label="yv310",fontsize=16,color="green",shape="box"];1662[label="yv4010",fontsize=16,color="green",shape="box"];1663[label="yv310",fontsize=16,color="green",shape="box"];1664[label="yv4010",fontsize=16,color="green",shape="box"];1665[label="yv310",fontsize=16,color="green",shape="box"];1666[label="yv4010",fontsize=16,color="green",shape="box"];1667[label="yv310",fontsize=16,color="green",shape="box"];1668[label="yv4010",fontsize=16,color="green",shape="box"];1669[label="yv310",fontsize=16,color="green",shape="box"];1670[label="yv4010",fontsize=16,color="green",shape="box"];1671[label="yv310",fontsize=16,color="green",shape="box"];1672[label="yv4010",fontsize=16,color="green",shape="box"];1673[label="yv310",fontsize=16,color="green",shape="box"];1674[label="yv4010",fontsize=16,color="green",shape="box"];1675[label="yv310",fontsize=16,color="green",shape="box"];1676[label="yv4010",fontsize=16,color="green",shape="box"];1677[label="yv310",fontsize=16,color="green",shape="box"];1678[label="yv4010",fontsize=16,color="green",shape="box"];1679[label="yv310",fontsize=16,color="green",shape="box"];1680[label="yv4010",fontsize=16,color="green",shape="box"];1681[label="yv310",fontsize=16,color="green",shape="box"];1682[label="yv4010",fontsize=16,color="green",shape="box"];1683[label="yv310",fontsize=16,color="green",shape="box"];1684[label="yv4010",fontsize=16,color="green",shape="box"];1685[label="yv310",fontsize=16,color="green",shape="box"];1686 -> 1377[label="",style="dashed", color="red", weight=0];
1686[label="yv311 == yv4011",fontsize=16,color="magenta"];1686 -> 1810[label="",style="dashed", color="magenta", weight=3];
1686 -> 1811[label="",style="dashed", color="magenta", weight=3];
1687 -> 1386[label="",style="dashed", color="red", weight=0];
1687[label="yv311 == yv4011",fontsize=16,color="magenta"];1687 -> 1812[label="",style="dashed", color="magenta", weight=3];
1687 -> 1813[label="",style="dashed", color="magenta", weight=3];
1688 -> 1377[label="",style="dashed", color="red", weight=0];
1688[label="yv310 == yv4010",fontsize=16,color="magenta"];1688 -> 1814[label="",style="dashed", color="magenta", weight=3];
1688 -> 1815[label="",style="dashed", color="magenta", weight=3];
1689 -> 1386[label="",style="dashed", color="red", weight=0];
1689[label="yv310 == yv4010",fontsize=16,color="magenta"];1689 -> 1816[label="",style="dashed", color="magenta", weight=3];
1689 -> 1817[label="",style="dashed", color="magenta", weight=3];
1690 -> 1628[label="",style="dashed", color="red", weight=0];
1690[label="yv311 * yv4010",fontsize=16,color="magenta"];1690 -> 1818[label="",style="dashed", color="magenta", weight=3];
1690 -> 1819[label="",style="dashed", color="magenta", weight=3];
1691 -> 1628[label="",style="dashed", color="red", weight=0];
1691[label="yv310 * yv4011",fontsize=16,color="magenta"];1691 -> 1820[label="",style="dashed", color="magenta", weight=3];
1691 -> 1821[label="",style="dashed", color="magenta", weight=3];
1692[label="yv4010",fontsize=16,color="green",shape="box"];1693[label="yv310",fontsize=16,color="green",shape="box"];1694[label="yv4010",fontsize=16,color="green",shape="box"];1695[label="yv310",fontsize=16,color="green",shape="box"];1696[label="yv4010",fontsize=16,color="green",shape="box"];1697[label="yv310",fontsize=16,color="green",shape="box"];1698[label="yv4010",fontsize=16,color="green",shape="box"];1699[label="yv310",fontsize=16,color="green",shape="box"];1700[label="yv4010",fontsize=16,color="green",shape="box"];1701[label="yv310",fontsize=16,color="green",shape="box"];1702[label="yv4010",fontsize=16,color="green",shape="box"];1703[label="yv310",fontsize=16,color="green",shape="box"];1704[label="yv4010",fontsize=16,color="green",shape="box"];1705[label="yv310",fontsize=16,color="green",shape="box"];1706[label="yv4010",fontsize=16,color="green",shape="box"];1707[label="yv310",fontsize=16,color="green",shape="box"];1708[label="yv4010",fontsize=16,color="green",shape="box"];1709[label="yv310",fontsize=16,color="green",shape="box"];1710[label="yv4010",fontsize=16,color="green",shape="box"];1711[label="yv310",fontsize=16,color="green",shape="box"];1712[label="yv4010",fontsize=16,color="green",shape="box"];1713[label="yv310",fontsize=16,color="green",shape="box"];1714[label="yv4010",fontsize=16,color="green",shape="box"];1715[label="yv310",fontsize=16,color="green",shape="box"];1716[label="yv4010",fontsize=16,color="green",shape="box"];1717[label="yv310",fontsize=16,color="green",shape="box"];1718[label="yv4010",fontsize=16,color="green",shape="box"];1719[label="yv310",fontsize=16,color="green",shape="box"];1720[label="yv312 == yv4012",fontsize=16,color="blue",shape="box"];2289[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1720 -> 2289[label="",style="solid", color="blue", weight=9];
2289 -> 1822[label="",style="solid", color="blue", weight=3];
2290[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1720 -> 2290[label="",style="solid", color="blue", weight=9];
2290 -> 1823[label="",style="solid", color="blue", weight=3];
2291[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1720 -> 2291[label="",style="solid", color="blue", weight=9];
2291 -> 1824[label="",style="solid", color="blue", weight=3];
2292[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1720 -> 2292[label="",style="solid", color="blue", weight=9];
2292 -> 1825[label="",style="solid", color="blue", weight=3];
2293[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1720 -> 2293[label="",style="solid", color="blue", weight=9];
2293 -> 1826[label="",style="solid", color="blue", weight=3];
2294[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1720 -> 2294[label="",style="solid", color="blue", weight=9];
2294 -> 1827[label="",style="solid", color="blue", weight=3];
2295[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1720 -> 2295[label="",style="solid", color="blue", weight=9];
2295 -> 1828[label="",style="solid", color="blue", weight=3];
2296[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1720 -> 2296[label="",style="solid", color="blue", weight=9];
2296 -> 1829[label="",style="solid", color="blue", weight=3];
2297[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1720 -> 2297[label="",style="solid", color="blue", weight=9];
2297 -> 1830[label="",style="solid", color="blue", weight=3];
2298[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1720 -> 2298[label="",style="solid", color="blue", weight=9];
2298 -> 1831[label="",style="solid", color="blue", weight=3];
2299[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1720 -> 2299[label="",style="solid", color="blue", weight=9];
2299 -> 1832[label="",style="solid", color="blue", weight=3];
2300[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1720 -> 2300[label="",style="solid", color="blue", weight=9];
2300 -> 1833[label="",style="solid", color="blue", weight=3];
2301[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1720 -> 2301[label="",style="solid", color="blue", weight=9];
2301 -> 1834[label="",style="solid", color="blue", weight=3];
2302[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1720 -> 2302[label="",style="solid", color="blue", weight=9];
2302 -> 1835[label="",style="solid", color="blue", weight=3];
1721[label="yv311 == yv4011",fontsize=16,color="blue",shape="box"];2303[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2303[label="",style="solid", color="blue", weight=9];
2303 -> 1836[label="",style="solid", color="blue", weight=3];
2304[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2304[label="",style="solid", color="blue", weight=9];
2304 -> 1837[label="",style="solid", color="blue", weight=3];
2305[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2305[label="",style="solid", color="blue", weight=9];
2305 -> 1838[label="",style="solid", color="blue", weight=3];
2306[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2306[label="",style="solid", color="blue", weight=9];
2306 -> 1839[label="",style="solid", color="blue", weight=3];
2307[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2307[label="",style="solid", color="blue", weight=9];
2307 -> 1840[label="",style="solid", color="blue", weight=3];
2308[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2308[label="",style="solid", color="blue", weight=9];
2308 -> 1841[label="",style="solid", color="blue", weight=3];
2309[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2309[label="",style="solid", color="blue", weight=9];
2309 -> 1842[label="",style="solid", color="blue", weight=3];
2310[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2310[label="",style="solid", color="blue", weight=9];
2310 -> 1843[label="",style="solid", color="blue", weight=3];
2311[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2311[label="",style="solid", color="blue", weight=9];
2311 -> 1844[label="",style="solid", color="blue", weight=3];
2312[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2312[label="",style="solid", color="blue", weight=9];
2312 -> 1845[label="",style="solid", color="blue", weight=3];
2313[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2313[label="",style="solid", color="blue", weight=9];
2313 -> 1846[label="",style="solid", color="blue", weight=3];
2314[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2314[label="",style="solid", color="blue", weight=9];
2314 -> 1847[label="",style="solid", color="blue", weight=3];
2315[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2315[label="",style="solid", color="blue", weight=9];
2315 -> 1848[label="",style="solid", color="blue", weight=3];
2316[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1721 -> 2316[label="",style="solid", color="blue", weight=9];
2316 -> 1849[label="",style="solid", color="blue", weight=3];
1722 -> 1377[label="",style="dashed", color="red", weight=0];
1722[label="yv310 == yv4010",fontsize=16,color="magenta"];1722 -> 1850[label="",style="dashed", color="magenta", weight=3];
1722 -> 1851[label="",style="dashed", color="magenta", weight=3];
1723 -> 1378[label="",style="dashed", color="red", weight=0];
1723[label="yv310 == yv4010",fontsize=16,color="magenta"];1723 -> 1852[label="",style="dashed", color="magenta", weight=3];
1723 -> 1853[label="",style="dashed", color="magenta", weight=3];
1724 -> 1379[label="",style="dashed", color="red", weight=0];
1724[label="yv310 == yv4010",fontsize=16,color="magenta"];1724 -> 1854[label="",style="dashed", color="magenta", weight=3];
1724 -> 1855[label="",style="dashed", color="magenta", weight=3];
1725 -> 1380[label="",style="dashed", color="red", weight=0];
1725[label="yv310 == yv4010",fontsize=16,color="magenta"];1725 -> 1856[label="",style="dashed", color="magenta", weight=3];
1725 -> 1857[label="",style="dashed", color="magenta", weight=3];
1726 -> 1381[label="",style="dashed", color="red", weight=0];
1726[label="yv310 == yv4010",fontsize=16,color="magenta"];1726 -> 1858[label="",style="dashed", color="magenta", weight=3];
1726 -> 1859[label="",style="dashed", color="magenta", weight=3];
1727 -> 1382[label="",style="dashed", color="red", weight=0];
1727[label="yv310 == yv4010",fontsize=16,color="magenta"];1727 -> 1860[label="",style="dashed", color="magenta", weight=3];
1727 -> 1861[label="",style="dashed", color="magenta", weight=3];
1728 -> 1383[label="",style="dashed", color="red", weight=0];
1728[label="yv310 == yv4010",fontsize=16,color="magenta"];1728 -> 1862[label="",style="dashed", color="magenta", weight=3];
1728 -> 1863[label="",style="dashed", color="magenta", weight=3];
1729 -> 1384[label="",style="dashed", color="red", weight=0];
1729[label="yv310 == yv4010",fontsize=16,color="magenta"];1729 -> 1864[label="",style="dashed", color="magenta", weight=3];
1729 -> 1865[label="",style="dashed", color="magenta", weight=3];
1730 -> 1385[label="",style="dashed", color="red", weight=0];
1730[label="yv310 == yv4010",fontsize=16,color="magenta"];1730 -> 1866[label="",style="dashed", color="magenta", weight=3];
1730 -> 1867[label="",style="dashed", color="magenta", weight=3];
1731 -> 1386[label="",style="dashed", color="red", weight=0];
1731[label="yv310 == yv4010",fontsize=16,color="magenta"];1731 -> 1868[label="",style="dashed", color="magenta", weight=3];
1731 -> 1869[label="",style="dashed", color="magenta", weight=3];
1732 -> 1387[label="",style="dashed", color="red", weight=0];
1732[label="yv310 == yv4010",fontsize=16,color="magenta"];1732 -> 1870[label="",style="dashed", color="magenta", weight=3];
1732 -> 1871[label="",style="dashed", color="magenta", weight=3];
1733 -> 1388[label="",style="dashed", color="red", weight=0];
1733[label="yv310 == yv4010",fontsize=16,color="magenta"];1733 -> 1872[label="",style="dashed", color="magenta", weight=3];
1733 -> 1873[label="",style="dashed", color="magenta", weight=3];
1734 -> 1389[label="",style="dashed", color="red", weight=0];
1734[label="yv310 == yv4010",fontsize=16,color="magenta"];1734 -> 1874[label="",style="dashed", color="magenta", weight=3];
1734 -> 1875[label="",style="dashed", color="magenta", weight=3];
1735 -> 1390[label="",style="dashed", color="red", weight=0];
1735[label="yv310 == yv4010",fontsize=16,color="magenta"];1735 -> 1876[label="",style="dashed", color="magenta", weight=3];
1735 -> 1877[label="",style="dashed", color="magenta", weight=3];
1736 -> 1377[label="",style="dashed", color="red", weight=0];
1736[label="yv311 == yv4011",fontsize=16,color="magenta"];1736 -> 1878[label="",style="dashed", color="magenta", weight=3];
1736 -> 1879[label="",style="dashed", color="magenta", weight=3];
1737 -> 1378[label="",style="dashed", color="red", weight=0];
1737[label="yv311 == yv4011",fontsize=16,color="magenta"];1737 -> 1880[label="",style="dashed", color="magenta", weight=3];
1737 -> 1881[label="",style="dashed", color="magenta", weight=3];
1738 -> 1379[label="",style="dashed", color="red", weight=0];
1738[label="yv311 == yv4011",fontsize=16,color="magenta"];1738 -> 1882[label="",style="dashed", color="magenta", weight=3];
1738 -> 1883[label="",style="dashed", color="magenta", weight=3];
1739 -> 1380[label="",style="dashed", color="red", weight=0];
1739[label="yv311 == yv4011",fontsize=16,color="magenta"];1739 -> 1884[label="",style="dashed", color="magenta", weight=3];
1739 -> 1885[label="",style="dashed", color="magenta", weight=3];
1740 -> 1381[label="",style="dashed", color="red", weight=0];
1740[label="yv311 == yv4011",fontsize=16,color="magenta"];1740 -> 1886[label="",style="dashed", color="magenta", weight=3];
1740 -> 1887[label="",style="dashed", color="magenta", weight=3];
1741 -> 1382[label="",style="dashed", color="red", weight=0];
1741[label="yv311 == yv4011",fontsize=16,color="magenta"];1741 -> 1888[label="",style="dashed", color="magenta", weight=3];
1741 -> 1889[label="",style="dashed", color="magenta", weight=3];
1742 -> 1383[label="",style="dashed", color="red", weight=0];
1742[label="yv311 == yv4011",fontsize=16,color="magenta"];1742 -> 1890[label="",style="dashed", color="magenta", weight=3];
1742 -> 1891[label="",style="dashed", color="magenta", weight=3];
1743 -> 1384[label="",style="dashed", color="red", weight=0];
1743[label="yv311 == yv4011",fontsize=16,color="magenta"];1743 -> 1892[label="",style="dashed", color="magenta", weight=3];
1743 -> 1893[label="",style="dashed", color="magenta", weight=3];
1744 -> 1385[label="",style="dashed", color="red", weight=0];
1744[label="yv311 == yv4011",fontsize=16,color="magenta"];1744 -> 1894[label="",style="dashed", color="magenta", weight=3];
1744 -> 1895[label="",style="dashed", color="magenta", weight=3];
1745 -> 1386[label="",style="dashed", color="red", weight=0];
1745[label="yv311 == yv4011",fontsize=16,color="magenta"];1745 -> 1896[label="",style="dashed", color="magenta", weight=3];
1745 -> 1897[label="",style="dashed", color="magenta", weight=3];
1746 -> 1387[label="",style="dashed", color="red", weight=0];
1746[label="yv311 == yv4011",fontsize=16,color="magenta"];1746 -> 1898[label="",style="dashed", color="magenta", weight=3];
1746 -> 1899[label="",style="dashed", color="magenta", weight=3];
1747 -> 1388[label="",style="dashed", color="red", weight=0];
1747[label="yv311 == yv4011",fontsize=16,color="magenta"];1747 -> 1900[label="",style="dashed", color="magenta", weight=3];
1747 -> 1901[label="",style="dashed", color="magenta", weight=3];
1748 -> 1389[label="",style="dashed", color="red", weight=0];
1748[label="yv311 == yv4011",fontsize=16,color="magenta"];1748 -> 1902[label="",style="dashed", color="magenta", weight=3];
1748 -> 1903[label="",style="dashed", color="magenta", weight=3];
1749 -> 1390[label="",style="dashed", color="red", weight=0];
1749[label="yv311 == yv4011",fontsize=16,color="magenta"];1749 -> 1904[label="",style="dashed", color="magenta", weight=3];
1749 -> 1905[label="",style="dashed", color="magenta", weight=3];
1750 -> 1377[label="",style="dashed", color="red", weight=0];
1750[label="yv310 == yv4010",fontsize=16,color="magenta"];1750 -> 1906[label="",style="dashed", color="magenta", weight=3];
1750 -> 1907[label="",style="dashed", color="magenta", weight=3];
1751 -> 1378[label="",style="dashed", color="red", weight=0];
1751[label="yv310 == yv4010",fontsize=16,color="magenta"];1751 -> 1908[label="",style="dashed", color="magenta", weight=3];
1751 -> 1909[label="",style="dashed", color="magenta", weight=3];
1752 -> 1379[label="",style="dashed", color="red", weight=0];
1752[label="yv310 == yv4010",fontsize=16,color="magenta"];1752 -> 1910[label="",style="dashed", color="magenta", weight=3];
1752 -> 1911[label="",style="dashed", color="magenta", weight=3];
1753 -> 1380[label="",style="dashed", color="red", weight=0];
1753[label="yv310 == yv4010",fontsize=16,color="magenta"];1753 -> 1912[label="",style="dashed", color="magenta", weight=3];
1753 -> 1913[label="",style="dashed", color="magenta", weight=3];
1754 -> 1381[label="",style="dashed", color="red", weight=0];
1754[label="yv310 == yv4010",fontsize=16,color="magenta"];1754 -> 1914[label="",style="dashed", color="magenta", weight=3];
1754 -> 1915[label="",style="dashed", color="magenta", weight=3];
1755 -> 1382[label="",style="dashed", color="red", weight=0];
1755[label="yv310 == yv4010",fontsize=16,color="magenta"];1755 -> 1916[label="",style="dashed", color="magenta", weight=3];
1755 -> 1917[label="",style="dashed", color="magenta", weight=3];
1756 -> 1383[label="",style="dashed", color="red", weight=0];
1756[label="yv310 == yv4010",fontsize=16,color="magenta"];1756 -> 1918[label="",style="dashed", color="magenta", weight=3];
1756 -> 1919[label="",style="dashed", color="magenta", weight=3];
1757 -> 1384[label="",style="dashed", color="red", weight=0];
1757[label="yv310 == yv4010",fontsize=16,color="magenta"];1757 -> 1920[label="",style="dashed", color="magenta", weight=3];
1757 -> 1921[label="",style="dashed", color="magenta", weight=3];
1758 -> 1385[label="",style="dashed", color="red", weight=0];
1758[label="yv310 == yv4010",fontsize=16,color="magenta"];1758 -> 1922[label="",style="dashed", color="magenta", weight=3];
1758 -> 1923[label="",style="dashed", color="magenta", weight=3];
1759 -> 1386[label="",style="dashed", color="red", weight=0];
1759[label="yv310 == yv4010",fontsize=16,color="magenta"];1759 -> 1924[label="",style="dashed", color="magenta", weight=3];
1759 -> 1925[label="",style="dashed", color="magenta", weight=3];
1760 -> 1387[label="",style="dashed", color="red", weight=0];
1760[label="yv310 == yv4010",fontsize=16,color="magenta"];1760 -> 1926[label="",style="dashed", color="magenta", weight=3];
1760 -> 1927[label="",style="dashed", color="magenta", weight=3];
1761 -> 1388[label="",style="dashed", color="red", weight=0];
1761[label="yv310 == yv4010",fontsize=16,color="magenta"];1761 -> 1928[label="",style="dashed", color="magenta", weight=3];
1761 -> 1929[label="",style="dashed", color="magenta", weight=3];
1762 -> 1389[label="",style="dashed", color="red", weight=0];
1762[label="yv310 == yv4010",fontsize=16,color="magenta"];1762 -> 1930[label="",style="dashed", color="magenta", weight=3];
1762 -> 1931[label="",style="dashed", color="magenta", weight=3];
1763 -> 1390[label="",style="dashed", color="red", weight=0];
1763[label="yv310 == yv4010",fontsize=16,color="magenta"];1763 -> 1932[label="",style="dashed", color="magenta", weight=3];
1763 -> 1933[label="",style="dashed", color="magenta", weight=3];
1764[label="primEqNat (Succ yv3100) yv4010",fontsize=16,color="burlywood",shape="box"];2317[label="yv4010/Succ yv40100",fontsize=10,color="white",style="solid",shape="box"];1764 -> 2317[label="",style="solid", color="burlywood", weight=9];
2317 -> 1934[label="",style="solid", color="burlywood", weight=3];
2318[label="yv4010/Zero",fontsize=10,color="white",style="solid",shape="box"];1764 -> 2318[label="",style="solid", color="burlywood", weight=9];
2318 -> 1935[label="",style="solid", color="burlywood", weight=3];
1765[label="primEqNat Zero yv4010",fontsize=16,color="burlywood",shape="box"];2319[label="yv4010/Succ yv40100",fontsize=10,color="white",style="solid",shape="box"];1765 -> 2319[label="",style="solid", color="burlywood", weight=9];
2319 -> 1936[label="",style="solid", color="burlywood", weight=3];
2320[label="yv4010/Zero",fontsize=10,color="white",style="solid",shape="box"];1765 -> 2320[label="",style="solid", color="burlywood", weight=9];
2320 -> 1937[label="",style="solid", color="burlywood", weight=3];
1459[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 (yv24110 : yv24111) (enforceWHNF (WHNF (primPlusInt (Pos yv41) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos yv41) (fromInt (Pos (Succ Zero)))))))))",fontsize=16,color="black",shape="box"];1459 -> 1495[label="",style="solid", color="black", weight=3];
1767 -> 1596[label="",style="dashed", color="red", weight=0];
1767[label="primEqNat yv3100 yv40100",fontsize=16,color="magenta"];1767 -> 1939[label="",style="dashed", color="magenta", weight=3];
1767 -> 1940[label="",style="dashed", color="magenta", weight=3];
1768[label="False",fontsize=16,color="green",shape="box"];1769[label="False",fontsize=16,color="green",shape="box"];1770[label="True",fontsize=16,color="green",shape="box"];1771[label="False",fontsize=16,color="green",shape="box"];1772[label="True",fontsize=16,color="green",shape="box"];1773 -> 1596[label="",style="dashed", color="red", weight=0];
1773[label="primEqNat yv3100 yv40100",fontsize=16,color="magenta"];1773 -> 1941[label="",style="dashed", color="magenta", weight=3];
1773 -> 1942[label="",style="dashed", color="magenta", weight=3];
1774[label="False",fontsize=16,color="green",shape="box"];1775[label="False",fontsize=16,color="green",shape="box"];1776[label="True",fontsize=16,color="green",shape="box"];1777[label="False",fontsize=16,color="green",shape="box"];1778[label="True",fontsize=16,color="green",shape="box"];1779[label="yv4010",fontsize=16,color="green",shape="box"];1780[label="yv310",fontsize=16,color="green",shape="box"];1781[label="yv4010",fontsize=16,color="green",shape="box"];1782[label="yv310",fontsize=16,color="green",shape="box"];1783[label="yv4010",fontsize=16,color="green",shape="box"];1784[label="yv310",fontsize=16,color="green",shape="box"];1785[label="yv4010",fontsize=16,color="green",shape="box"];1786[label="yv310",fontsize=16,color="green",shape="box"];1787[label="yv4010",fontsize=16,color="green",shape="box"];1788[label="yv310",fontsize=16,color="green",shape="box"];1789[label="yv4010",fontsize=16,color="green",shape="box"];1790[label="yv310",fontsize=16,color="green",shape="box"];1791[label="yv4010",fontsize=16,color="green",shape="box"];1792[label="yv310",fontsize=16,color="green",shape="box"];1793[label="yv4010",fontsize=16,color="green",shape="box"];1794[label="yv310",fontsize=16,color="green",shape="box"];1795[label="yv4010",fontsize=16,color="green",shape="box"];1796[label="yv310",fontsize=16,color="green",shape="box"];1797[label="yv4010",fontsize=16,color="green",shape="box"];1798[label="yv310",fontsize=16,color="green",shape="box"];1799[label="yv4010",fontsize=16,color="green",shape="box"];1800[label="yv310",fontsize=16,color="green",shape="box"];1801[label="yv4010",fontsize=16,color="green",shape="box"];1802[label="yv310",fontsize=16,color="green",shape="box"];1803[label="yv4010",fontsize=16,color="green",shape="box"];1804[label="yv310",fontsize=16,color="green",shape="box"];1805[label="yv4010",fontsize=16,color="green",shape="box"];1806[label="yv310",fontsize=16,color="green",shape="box"];1807[label="primMulInt yv311 yv4010",fontsize=16,color="burlywood",shape="box"];2321[label="yv311/Pos yv3110",fontsize=10,color="white",style="solid",shape="box"];1807 -> 2321[label="",style="solid", color="burlywood", weight=9];
2321 -> 1943[label="",style="solid", color="burlywood", weight=3];
2322[label="yv311/Neg yv3110",fontsize=10,color="white",style="solid",shape="box"];1807 -> 2322[label="",style="solid", color="burlywood", weight=9];
2322 -> 1944[label="",style="solid", color="burlywood", weight=3];
1808[label="yv4011",fontsize=16,color="green",shape="box"];1809[label="yv310",fontsize=16,color="green",shape="box"];1810[label="yv4011",fontsize=16,color="green",shape="box"];1811[label="yv311",fontsize=16,color="green",shape="box"];1812[label="yv4011",fontsize=16,color="green",shape="box"];1813[label="yv311",fontsize=16,color="green",shape="box"];1814[label="yv4010",fontsize=16,color="green",shape="box"];1815[label="yv310",fontsize=16,color="green",shape="box"];1816[label="yv4010",fontsize=16,color="green",shape="box"];1817[label="yv310",fontsize=16,color="green",shape="box"];1818[label="yv4010",fontsize=16,color="green",shape="box"];1819[label="yv311",fontsize=16,color="green",shape="box"];1820[label="yv4011",fontsize=16,color="green",shape="box"];1821[label="yv310",fontsize=16,color="green",shape="box"];1822 -> 1377[label="",style="dashed", color="red", weight=0];
1822[label="yv312 == yv4012",fontsize=16,color="magenta"];1822 -> 1945[label="",style="dashed", color="magenta", weight=3];
1822 -> 1946[label="",style="dashed", color="magenta", weight=3];
1823 -> 1378[label="",style="dashed", color="red", weight=0];
1823[label="yv312 == yv4012",fontsize=16,color="magenta"];1823 -> 1947[label="",style="dashed", color="magenta", weight=3];
1823 -> 1948[label="",style="dashed", color="magenta", weight=3];
1824 -> 1379[label="",style="dashed", color="red", weight=0];
1824[label="yv312 == yv4012",fontsize=16,color="magenta"];1824 -> 1949[label="",style="dashed", color="magenta", weight=3];
1824 -> 1950[label="",style="dashed", color="magenta", weight=3];
1825 -> 1380[label="",style="dashed", color="red", weight=0];
1825[label="yv312 == yv4012",fontsize=16,color="magenta"];1825 -> 1951[label="",style="dashed", color="magenta", weight=3];
1825 -> 1952[label="",style="dashed", color="magenta", weight=3];
1826 -> 1381[label="",style="dashed", color="red", weight=0];
1826[label="yv312 == yv4012",fontsize=16,color="magenta"];1826 -> 1953[label="",style="dashed", color="magenta", weight=3];
1826 -> 1954[label="",style="dashed", color="magenta", weight=3];
1827 -> 1382[label="",style="dashed", color="red", weight=0];
1827[label="yv312 == yv4012",fontsize=16,color="magenta"];1827 -> 1955[label="",style="dashed", color="magenta", weight=3];
1827 -> 1956[label="",style="dashed", color="magenta", weight=3];
1828 -> 1383[label="",style="dashed", color="red", weight=0];
1828[label="yv312 == yv4012",fontsize=16,color="magenta"];1828 -> 1957[label="",style="dashed", color="magenta", weight=3];
1828 -> 1958[label="",style="dashed", color="magenta", weight=3];
1829 -> 1384[label="",style="dashed", color="red", weight=0];
1829[label="yv312 == yv4012",fontsize=16,color="magenta"];1829 -> 1959[label="",style="dashed", color="magenta", weight=3];
1829 -> 1960[label="",style="dashed", color="magenta", weight=3];
1830 -> 1385[label="",style="dashed", color="red", weight=0];
1830[label="yv312 == yv4012",fontsize=16,color="magenta"];1830 -> 1961[label="",style="dashed", color="magenta", weight=3];
1830 -> 1962[label="",style="dashed", color="magenta", weight=3];
1831 -> 1386[label="",style="dashed", color="red", weight=0];
1831[label="yv312 == yv4012",fontsize=16,color="magenta"];1831 -> 1963[label="",style="dashed", color="magenta", weight=3];
1831 -> 1964[label="",style="dashed", color="magenta", weight=3];
1832 -> 1387[label="",style="dashed", color="red", weight=0];
1832[label="yv312 == yv4012",fontsize=16,color="magenta"];1832 -> 1965[label="",style="dashed", color="magenta", weight=3];
1832 -> 1966[label="",style="dashed", color="magenta", weight=3];
1833 -> 1388[label="",style="dashed", color="red", weight=0];
1833[label="yv312 == yv4012",fontsize=16,color="magenta"];1833 -> 1967[label="",style="dashed", color="magenta", weight=3];
1833 -> 1968[label="",style="dashed", color="magenta", weight=3];
1834 -> 1389[label="",style="dashed", color="red", weight=0];
1834[label="yv312 == yv4012",fontsize=16,color="magenta"];1834 -> 1969[label="",style="dashed", color="magenta", weight=3];
1834 -> 1970[label="",style="dashed", color="magenta", weight=3];
1835 -> 1390[label="",style="dashed", color="red", weight=0];
1835[label="yv312 == yv4012",fontsize=16,color="magenta"];1835 -> 1971[label="",style="dashed", color="magenta", weight=3];
1835 -> 1972[label="",style="dashed", color="magenta", weight=3];
1836 -> 1377[label="",style="dashed", color="red", weight=0];
1836[label="yv311 == yv4011",fontsize=16,color="magenta"];1836 -> 1973[label="",style="dashed", color="magenta", weight=3];
1836 -> 1974[label="",style="dashed", color="magenta", weight=3];
1837 -> 1378[label="",style="dashed", color="red", weight=0];
1837[label="yv311 == yv4011",fontsize=16,color="magenta"];1837 -> 1975[label="",style="dashed", color="magenta", weight=3];
1837 -> 1976[label="",style="dashed", color="magenta", weight=3];
1838 -> 1379[label="",style="dashed", color="red", weight=0];
1838[label="yv311 == yv4011",fontsize=16,color="magenta"];1838 -> 1977[label="",style="dashed", color="magenta", weight=3];
1838 -> 1978[label="",style="dashed", color="magenta", weight=3];
1839 -> 1380[label="",style="dashed", color="red", weight=0];
1839[label="yv311 == yv4011",fontsize=16,color="magenta"];1839 -> 1979[label="",style="dashed", color="magenta", weight=3];
1839 -> 1980[label="",style="dashed", color="magenta", weight=3];
1840 -> 1381[label="",style="dashed", color="red", weight=0];
1840[label="yv311 == yv4011",fontsize=16,color="magenta"];1840 -> 1981[label="",style="dashed", color="magenta", weight=3];
1840 -> 1982[label="",style="dashed", color="magenta", weight=3];
1841 -> 1382[label="",style="dashed", color="red", weight=0];
1841[label="yv311 == yv4011",fontsize=16,color="magenta"];1841 -> 1983[label="",style="dashed", color="magenta", weight=3];
1841 -> 1984[label="",style="dashed", color="magenta", weight=3];
1842 -> 1383[label="",style="dashed", color="red", weight=0];
1842[label="yv311 == yv4011",fontsize=16,color="magenta"];1842 -> 1985[label="",style="dashed", color="magenta", weight=3];
1842 -> 1986[label="",style="dashed", color="magenta", weight=3];
1843 -> 1384[label="",style="dashed", color="red", weight=0];
1843[label="yv311 == yv4011",fontsize=16,color="magenta"];1843 -> 1987[label="",style="dashed", color="magenta", weight=3];
1843 -> 1988[label="",style="dashed", color="magenta", weight=3];
1844 -> 1385[label="",style="dashed", color="red", weight=0];
1844[label="yv311 == yv4011",fontsize=16,color="magenta"];1844 -> 1989[label="",style="dashed", color="magenta", weight=3];
1844 -> 1990[label="",style="dashed", color="magenta", weight=3];
1845 -> 1386[label="",style="dashed", color="red", weight=0];
1845[label="yv311 == yv4011",fontsize=16,color="magenta"];1845 -> 1991[label="",style="dashed", color="magenta", weight=3];
1845 -> 1992[label="",style="dashed", color="magenta", weight=3];
1846 -> 1387[label="",style="dashed", color="red", weight=0];
1846[label="yv311 == yv4011",fontsize=16,color="magenta"];1846 -> 1993[label="",style="dashed", color="magenta", weight=3];
1846 -> 1994[label="",style="dashed", color="magenta", weight=3];
1847 -> 1388[label="",style="dashed", color="red", weight=0];
1847[label="yv311 == yv4011",fontsize=16,color="magenta"];1847 -> 1995[label="",style="dashed", color="magenta", weight=3];
1847 -> 1996[label="",style="dashed", color="magenta", weight=3];
1848 -> 1389[label="",style="dashed", color="red", weight=0];
1848[label="yv311 == yv4011",fontsize=16,color="magenta"];1848 -> 1997[label="",style="dashed", color="magenta", weight=3];
1848 -> 1998[label="",style="dashed", color="magenta", weight=3];
1849 -> 1390[label="",style="dashed", color="red", weight=0];
1849[label="yv311 == yv4011",fontsize=16,color="magenta"];1849 -> 1999[label="",style="dashed", color="magenta", weight=3];
1849 -> 2000[label="",style="dashed", color="magenta", weight=3];
1850[label="yv4010",fontsize=16,color="green",shape="box"];1851[label="yv310",fontsize=16,color="green",shape="box"];1852[label="yv4010",fontsize=16,color="green",shape="box"];1853[label="yv310",fontsize=16,color="green",shape="box"];1854[label="yv4010",fontsize=16,color="green",shape="box"];1855[label="yv310",fontsize=16,color="green",shape="box"];1856[label="yv4010",fontsize=16,color="green",shape="box"];1857[label="yv310",fontsize=16,color="green",shape="box"];1858[label="yv4010",fontsize=16,color="green",shape="box"];1859[label="yv310",fontsize=16,color="green",shape="box"];1860[label="yv4010",fontsize=16,color="green",shape="box"];1861[label="yv310",fontsize=16,color="green",shape="box"];1862[label="yv4010",fontsize=16,color="green",shape="box"];1863[label="yv310",fontsize=16,color="green",shape="box"];1864[label="yv4010",fontsize=16,color="green",shape="box"];1865[label="yv310",fontsize=16,color="green",shape="box"];1866[label="yv4010",fontsize=16,color="green",shape="box"];1867[label="yv310",fontsize=16,color="green",shape="box"];1868[label="yv4010",fontsize=16,color="green",shape="box"];1869[label="yv310",fontsize=16,color="green",shape="box"];1870[label="yv4010",fontsize=16,color="green",shape="box"];1871[label="yv310",fontsize=16,color="green",shape="box"];1872[label="yv4010",fontsize=16,color="green",shape="box"];1873[label="yv310",fontsize=16,color="green",shape="box"];1874[label="yv4010",fontsize=16,color="green",shape="box"];1875[label="yv310",fontsize=16,color="green",shape="box"];1876[label="yv4010",fontsize=16,color="green",shape="box"];1877[label="yv310",fontsize=16,color="green",shape="box"];1878[label="yv4011",fontsize=16,color="green",shape="box"];1879[label="yv311",fontsize=16,color="green",shape="box"];1880[label="yv4011",fontsize=16,color="green",shape="box"];1881[label="yv311",fontsize=16,color="green",shape="box"];1882[label="yv4011",fontsize=16,color="green",shape="box"];1883[label="yv311",fontsize=16,color="green",shape="box"];1884[label="yv4011",fontsize=16,color="green",shape="box"];1885[label="yv311",fontsize=16,color="green",shape="box"];1886[label="yv4011",fontsize=16,color="green",shape="box"];1887[label="yv311",fontsize=16,color="green",shape="box"];1888[label="yv4011",fontsize=16,color="green",shape="box"];1889[label="yv311",fontsize=16,color="green",shape="box"];1890[label="yv4011",fontsize=16,color="green",shape="box"];1891[label="yv311",fontsize=16,color="green",shape="box"];1892[label="yv4011",fontsize=16,color="green",shape="box"];1893[label="yv311",fontsize=16,color="green",shape="box"];1894[label="yv4011",fontsize=16,color="green",shape="box"];1895[label="yv311",fontsize=16,color="green",shape="box"];1896[label="yv4011",fontsize=16,color="green",shape="box"];1897[label="yv311",fontsize=16,color="green",shape="box"];1898[label="yv4011",fontsize=16,color="green",shape="box"];1899[label="yv311",fontsize=16,color="green",shape="box"];1900[label="yv4011",fontsize=16,color="green",shape="box"];1901[label="yv311",fontsize=16,color="green",shape="box"];1902[label="yv4011",fontsize=16,color="green",shape="box"];1903[label="yv311",fontsize=16,color="green",shape="box"];1904[label="yv4011",fontsize=16,color="green",shape="box"];1905[label="yv311",fontsize=16,color="green",shape="box"];1906[label="yv4010",fontsize=16,color="green",shape="box"];1907[label="yv310",fontsize=16,color="green",shape="box"];1908[label="yv4010",fontsize=16,color="green",shape="box"];1909[label="yv310",fontsize=16,color="green",shape="box"];1910[label="yv4010",fontsize=16,color="green",shape="box"];1911[label="yv310",fontsize=16,color="green",shape="box"];1912[label="yv4010",fontsize=16,color="green",shape="box"];1913[label="yv310",fontsize=16,color="green",shape="box"];1914[label="yv4010",fontsize=16,color="green",shape="box"];1915[label="yv310",fontsize=16,color="green",shape="box"];1916[label="yv4010",fontsize=16,color="green",shape="box"];1917[label="yv310",fontsize=16,color="green",shape="box"];1918[label="yv4010",fontsize=16,color="green",shape="box"];1919[label="yv310",fontsize=16,color="green",shape="box"];1920[label="yv4010",fontsize=16,color="green",shape="box"];1921[label="yv310",fontsize=16,color="green",shape="box"];1922[label="yv4010",fontsize=16,color="green",shape="box"];1923[label="yv310",fontsize=16,color="green",shape="box"];1924[label="yv4010",fontsize=16,color="green",shape="box"];1925[label="yv310",fontsize=16,color="green",shape="box"];1926[label="yv4010",fontsize=16,color="green",shape="box"];1927[label="yv310",fontsize=16,color="green",shape="box"];1928[label="yv4010",fontsize=16,color="green",shape="box"];1929[label="yv310",fontsize=16,color="green",shape="box"];1930[label="yv4010",fontsize=16,color="green",shape="box"];1931[label="yv310",fontsize=16,color="green",shape="box"];1932[label="yv4010",fontsize=16,color="green",shape="box"];1933[label="yv310",fontsize=16,color="green",shape="box"];1934[label="primEqNat (Succ yv3100) (Succ yv40100)",fontsize=16,color="black",shape="box"];1934 -> 2001[label="",style="solid", color="black", weight=3];
1935[label="primEqNat (Succ yv3100) Zero",fontsize=16,color="black",shape="box"];1935 -> 2002[label="",style="solid", color="black", weight=3];
1936[label="primEqNat Zero (Succ yv40100)",fontsize=16,color="black",shape="box"];1936 -> 2003[label="",style="solid", color="black", weight=3];
1937[label="primEqNat Zero Zero",fontsize=16,color="black",shape="box"];1937 -> 2004[label="",style="solid", color="black", weight=3];
1495[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 (yv24110 : yv24111) (enforceWHNF (WHNF (primPlusInt (Pos yv41) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos yv41) (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1495 -> 1533[label="",style="solid", color="black", weight=3];
1939[label="yv40100",fontsize=16,color="green",shape="box"];1940[label="yv3100",fontsize=16,color="green",shape="box"];1941[label="yv40100",fontsize=16,color="green",shape="box"];1942[label="yv3100",fontsize=16,color="green",shape="box"];1943[label="primMulInt (Pos yv3110) yv4010",fontsize=16,color="burlywood",shape="box"];2323[label="yv4010/Pos yv40100",fontsize=10,color="white",style="solid",shape="box"];1943 -> 2323[label="",style="solid", color="burlywood", weight=9];
2323 -> 2006[label="",style="solid", color="burlywood", weight=3];
2324[label="yv4010/Neg yv40100",fontsize=10,color="white",style="solid",shape="box"];1943 -> 2324[label="",style="solid", color="burlywood", weight=9];
2324 -> 2007[label="",style="solid", color="burlywood", weight=3];
1944[label="primMulInt (Neg yv3110) yv4010",fontsize=16,color="burlywood",shape="box"];2325[label="yv4010/Pos yv40100",fontsize=10,color="white",style="solid",shape="box"];1944 -> 2325[label="",style="solid", color="burlywood", weight=9];
2325 -> 2008[label="",style="solid", color="burlywood", weight=3];
2326[label="yv4010/Neg yv40100",fontsize=10,color="white",style="solid",shape="box"];1944 -> 2326[label="",style="solid", color="burlywood", weight=9];
2326 -> 2009[label="",style="solid", color="burlywood", weight=3];
1945[label="yv4012",fontsize=16,color="green",shape="box"];1946[label="yv312",fontsize=16,color="green",shape="box"];1947[label="yv4012",fontsize=16,color="green",shape="box"];1948[label="yv312",fontsize=16,color="green",shape="box"];1949[label="yv4012",fontsize=16,color="green",shape="box"];1950[label="yv312",fontsize=16,color="green",shape="box"];1951[label="yv4012",fontsize=16,color="green",shape="box"];1952[label="yv312",fontsize=16,color="green",shape="box"];1953[label="yv4012",fontsize=16,color="green",shape="box"];1954[label="yv312",fontsize=16,color="green",shape="box"];1955[label="yv4012",fontsize=16,color="green",shape="box"];1956[label="yv312",fontsize=16,color="green",shape="box"];1957[label="yv4012",fontsize=16,color="green",shape="box"];1958[label="yv312",fontsize=16,color="green",shape="box"];1959[label="yv4012",fontsize=16,color="green",shape="box"];1960[label="yv312",fontsize=16,color="green",shape="box"];1961[label="yv4012",fontsize=16,color="green",shape="box"];1962[label="yv312",fontsize=16,color="green",shape="box"];1963[label="yv4012",fontsize=16,color="green",shape="box"];1964[label="yv312",fontsize=16,color="green",shape="box"];1965[label="yv4012",fontsize=16,color="green",shape="box"];1966[label="yv312",fontsize=16,color="green",shape="box"];1967[label="yv4012",fontsize=16,color="green",shape="box"];1968[label="yv312",fontsize=16,color="green",shape="box"];1969[label="yv4012",fontsize=16,color="green",shape="box"];1970[label="yv312",fontsize=16,color="green",shape="box"];1971[label="yv4012",fontsize=16,color="green",shape="box"];1972[label="yv312",fontsize=16,color="green",shape="box"];1973[label="yv4011",fontsize=16,color="green",shape="box"];1974[label="yv311",fontsize=16,color="green",shape="box"];1975[label="yv4011",fontsize=16,color="green",shape="box"];1976[label="yv311",fontsize=16,color="green",shape="box"];1977[label="yv4011",fontsize=16,color="green",shape="box"];1978[label="yv311",fontsize=16,color="green",shape="box"];1979[label="yv4011",fontsize=16,color="green",shape="box"];1980[label="yv311",fontsize=16,color="green",shape="box"];1981[label="yv4011",fontsize=16,color="green",shape="box"];1982[label="yv311",fontsize=16,color="green",shape="box"];1983[label="yv4011",fontsize=16,color="green",shape="box"];1984[label="yv311",fontsize=16,color="green",shape="box"];1985[label="yv4011",fontsize=16,color="green",shape="box"];1986[label="yv311",fontsize=16,color="green",shape="box"];1987[label="yv4011",fontsize=16,color="green",shape="box"];1988[label="yv311",fontsize=16,color="green",shape="box"];1989[label="yv4011",fontsize=16,color="green",shape="box"];1990[label="yv311",fontsize=16,color="green",shape="box"];1991[label="yv4011",fontsize=16,color="green",shape="box"];1992[label="yv311",fontsize=16,color="green",shape="box"];1993[label="yv4011",fontsize=16,color="green",shape="box"];1994[label="yv311",fontsize=16,color="green",shape="box"];1995[label="yv4011",fontsize=16,color="green",shape="box"];1996[label="yv311",fontsize=16,color="green",shape="box"];1997[label="yv4011",fontsize=16,color="green",shape="box"];1998[label="yv311",fontsize=16,color="green",shape="box"];1999[label="yv4011",fontsize=16,color="green",shape="box"];2000[label="yv311",fontsize=16,color="green",shape="box"];2001 -> 1596[label="",style="dashed", color="red", weight=0];
2001[label="primEqNat yv3100 yv40100",fontsize=16,color="magenta"];2001 -> 2010[label="",style="dashed", color="magenta", weight=3];
2001 -> 2011[label="",style="dashed", color="magenta", weight=3];
2002[label="False",fontsize=16,color="green",shape="box"];2003[label="False",fontsize=16,color="green",shape="box"];2004[label="True",fontsize=16,color="green",shape="box"];1533[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 (yv24110 : yv24111) (enforceWHNF (WHNF (Pos (primPlusNat yv41 (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat yv41 (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1533 -> 1597[label="",style="solid", color="black", weight=3];
2006[label="primMulInt (Pos yv3110) (Pos yv40100)",fontsize=16,color="black",shape="box"];2006 -> 2013[label="",style="solid", color="black", weight=3];
2007[label="primMulInt (Pos yv3110) (Neg yv40100)",fontsize=16,color="black",shape="box"];2007 -> 2014[label="",style="solid", color="black", weight=3];
2008[label="primMulInt (Neg yv3110) (Pos yv40100)",fontsize=16,color="black",shape="box"];2008 -> 2015[label="",style="solid", color="black", weight=3];
2009[label="primMulInt (Neg yv3110) (Neg yv40100)",fontsize=16,color="black",shape="box"];2009 -> 2016[label="",style="solid", color="black", weight=3];
2010[label="yv40100",fontsize=16,color="green",shape="box"];2011[label="yv3100",fontsize=16,color="green",shape="box"];1597[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 (yv24110 : yv24111) (numericEnumFrom (Pos (primPlusNat yv41 (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1597 -> 1766[label="",style="solid", color="black", weight=3];
2013[label="Pos (primMulNat yv3110 yv40100)",fontsize=16,color="green",shape="box"];2013 -> 2018[label="",style="dashed", color="green", weight=3];
2014[label="Neg (primMulNat yv3110 yv40100)",fontsize=16,color="green",shape="box"];2014 -> 2019[label="",style="dashed", color="green", weight=3];
2015[label="Neg (primMulNat yv3110 yv40100)",fontsize=16,color="green",shape="box"];2015 -> 2020[label="",style="dashed", color="green", weight=3];
2016[label="Pos (primMulNat yv3110 yv40100)",fontsize=16,color="green",shape="box"];2016 -> 2021[label="",style="dashed", color="green", weight=3];
1766[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 (yv24110 : yv24111) (Pos (primPlusNat yv41 (Succ Zero)) : (numericEnumFrom $! Pos (primPlusNat yv41 (Succ Zero)) + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1766 -> 1938[label="",style="solid", color="black", weight=3];
2018[label="primMulNat yv3110 yv40100",fontsize=16,color="burlywood",shape="triangle"];2327[label="yv3110/Succ yv31100",fontsize=10,color="white",style="solid",shape="box"];2018 -> 2327[label="",style="solid", color="burlywood", weight=9];
2327 -> 2023[label="",style="solid", color="burlywood", weight=3];
2328[label="yv3110/Zero",fontsize=10,color="white",style="solid",shape="box"];2018 -> 2328[label="",style="solid", color="burlywood", weight=9];
2328 -> 2024[label="",style="solid", color="burlywood", weight=3];
2019 -> 2018[label="",style="dashed", color="red", weight=0];
2019[label="primMulNat yv3110 yv40100",fontsize=16,color="magenta"];2019 -> 2025[label="",style="dashed", color="magenta", weight=3];
2020 -> 2018[label="",style="dashed", color="red", weight=0];
2020[label="primMulNat yv3110 yv40100",fontsize=16,color="magenta"];2020 -> 2026[label="",style="dashed", color="magenta", weight=3];
2021 -> 2018[label="",style="dashed", color="red", weight=0];
2021[label="primMulNat yv3110 yv40100",fontsize=16,color="magenta"];2021 -> 2027[label="",style="dashed", color="magenta", weight=3];
2021 -> 2028[label="",style="dashed", color="magenta", weight=3];
1938[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zip0 yv24110 (Pos (primPlusNat yv41 (Succ Zero))) : zipWith zip0 yv24111 (numericEnumFrom $! Pos (primPlusNat yv41 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1938 -> 2005[label="",style="solid", color="black", weight=3];
2023[label="primMulNat (Succ yv31100) yv40100",fontsize=16,color="burlywood",shape="box"];2329[label="yv40100/Succ yv401000",fontsize=10,color="white",style="solid",shape="box"];2023 -> 2329[label="",style="solid", color="burlywood", weight=9];
2329 -> 2030[label="",style="solid", color="burlywood", weight=3];
2330[label="yv40100/Zero",fontsize=10,color="white",style="solid",shape="box"];2023 -> 2330[label="",style="solid", color="burlywood", weight=9];
2330 -> 2031[label="",style="solid", color="burlywood", weight=3];
2024[label="primMulNat Zero yv40100",fontsize=16,color="burlywood",shape="box"];2331[label="yv40100/Succ yv401000",fontsize=10,color="white",style="solid",shape="box"];2024 -> 2331[label="",style="solid", color="burlywood", weight=9];
2331 -> 2032[label="",style="solid", color="burlywood", weight=3];
2332[label="yv40100/Zero",fontsize=10,color="white",style="solid",shape="box"];2024 -> 2332[label="",style="solid", color="burlywood", weight=9];
2332 -> 2033[label="",style="solid", color="burlywood", weight=3];
2025[label="yv40100",fontsize=16,color="green",shape="box"];2026[label="yv3110",fontsize=16,color="green",shape="box"];2027[label="yv3110",fontsize=16,color="green",shape="box"];2028[label="yv40100",fontsize=16,color="green",shape="box"];2005[label="Maybe.listToMaybe (foldr (++) [] (List.findIndices0 ((yv22,yv23) ==) (zip0 yv24110 (Pos (primPlusNat yv41 (Succ Zero)))) : map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 yv24111 (numericEnumFrom $! Pos (primPlusNat yv41 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];2005 -> 2012[label="",style="solid", color="black", weight=3];
2030[label="primMulNat (Succ yv31100) (Succ yv401000)",fontsize=16,color="black",shape="box"];2030 -> 2037[label="",style="solid", color="black", weight=3];
2031[label="primMulNat (Succ yv31100) Zero",fontsize=16,color="black",shape="box"];2031 -> 2038[label="",style="solid", color="black", weight=3];
2032[label="primMulNat Zero (Succ yv401000)",fontsize=16,color="black",shape="box"];2032 -> 2039[label="",style="solid", color="black", weight=3];
2033[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];2033 -> 2040[label="",style="solid", color="black", weight=3];
2012[label="Maybe.listToMaybe ((++) List.findIndices0 ((yv22,yv23) ==) (zip0 yv24110 (Pos (primPlusNat yv41 (Succ Zero)))) foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 yv24111 (numericEnumFrom $! Pos (primPlusNat yv41 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];2012 -> 2017[label="",style="solid", color="black", weight=3];
2037 -> 2045[label="",style="dashed", color="red", weight=0];
2037[label="primPlusNat (primMulNat yv31100 (Succ yv401000)) (Succ yv401000)",fontsize=16,color="magenta"];2037 -> 2046[label="",style="dashed", color="magenta", weight=3];
2038[label="Zero",fontsize=16,color="green",shape="box"];2039[label="Zero",fontsize=16,color="green",shape="box"];2040[label="Zero",fontsize=16,color="green",shape="box"];2017[label="Maybe.listToMaybe ((++) List.findIndices00 ((yv22,yv23) ==) (zip0 yv24110 (Pos (primPlusNat yv41 (Succ Zero)))) foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 yv24111 (numericEnumFrom $! Pos (primPlusNat yv41 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];2017 -> 2022[label="",style="solid", color="black", weight=3];
2046 -> 2018[label="",style="dashed", color="red", weight=0];
2046[label="primMulNat yv31100 (Succ yv401000)",fontsize=16,color="magenta"];2046 -> 2049[label="",style="dashed", color="magenta", weight=3];
2046 -> 2050[label="",style="dashed", color="magenta", weight=3];
2045[label="primPlusNat yv57 (Succ yv401000)",fontsize=16,color="burlywood",shape="triangle"];2333[label="yv57/Succ yv570",fontsize=10,color="white",style="solid",shape="box"];2045 -> 2333[label="",style="solid", color="burlywood", weight=9];
2333 -> 2051[label="",style="solid", color="burlywood", weight=3];
2334[label="yv57/Zero",fontsize=10,color="white",style="solid",shape="box"];2045 -> 2334[label="",style="solid", color="burlywood", weight=9];
2334 -> 2052[label="",style="solid", color="burlywood", weight=3];
2022[label="Maybe.listToMaybe ((++) List.findIndices00 ((yv22,yv23) ==) (yv24110,Pos (primPlusNat yv41 (Succ Zero))) foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 yv24111 (numericEnumFrom $! Pos (primPlusNat yv41 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];2022 -> 2029[label="",style="solid", color="black", weight=3];
2049[label="yv31100",fontsize=16,color="green",shape="box"];2050[label="Succ yv401000",fontsize=16,color="green",shape="box"];2051[label="primPlusNat (Succ yv570) (Succ yv401000)",fontsize=16,color="black",shape="box"];2051 -> 2053[label="",style="solid", color="black", weight=3];
2052[label="primPlusNat Zero (Succ yv401000)",fontsize=16,color="black",shape="box"];2052 -> 2054[label="",style="solid", color="black", weight=3];
2029 -> 1107[label="",style="dashed", color="red", weight=0];
2029[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos (primPlusNat yv41 (Succ Zero))) ((yv22,yv23) == yv24110) foldr (++) [] (map (List.findIndices0 ((yv22,yv23) ==)) (zipWith zip0 yv24111 (numericEnumFrom $! Pos (primPlusNat yv41 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];2029 -> 2034[label="",style="dashed", color="magenta", weight=3];
2029 -> 2035[label="",style="dashed", color="magenta", weight=3];
2029 -> 2036[label="",style="dashed", color="magenta", weight=3];
2053[label="Succ (Succ (primPlusNat yv570 yv401000))",fontsize=16,color="green",shape="box"];2053 -> 2055[label="",style="dashed", color="green", weight=3];
2054[label="Succ yv401000",fontsize=16,color="green",shape="box"];2034 -> 1389[label="",style="dashed", color="red", weight=0];
2034[label="(yv22,yv23) == yv24110",fontsize=16,color="magenta"];2034 -> 2041[label="",style="dashed", color="magenta", weight=3];
2034 -> 2042[label="",style="dashed", color="magenta", weight=3];
2035 -> 2045[label="",style="dashed", color="red", weight=0];
2035[label="primPlusNat yv41 (Succ Zero)",fontsize=16,color="magenta"];2035 -> 2047[label="",style="dashed", color="magenta", weight=3];
2035 -> 2048[label="",style="dashed", color="magenta", weight=3];
2036[label="yv24111",fontsize=16,color="green",shape="box"];2055[label="primPlusNat yv570 yv401000",fontsize=16,color="burlywood",shape="triangle"];2335[label="yv570/Succ yv5700",fontsize=10,color="white",style="solid",shape="box"];2055 -> 2335[label="",style="solid", color="burlywood", weight=9];
2335 -> 2056[label="",style="solid", color="burlywood", weight=3];
2336[label="yv570/Zero",fontsize=10,color="white",style="solid",shape="box"];2055 -> 2336[label="",style="solid", color="burlywood", weight=9];
2336 -> 2057[label="",style="solid", color="burlywood", weight=3];
2041[label="yv24110",fontsize=16,color="green",shape="box"];2042[label="(yv22,yv23)",fontsize=16,color="green",shape="box"];2047[label="Zero",fontsize=16,color="green",shape="box"];2048[label="yv41",fontsize=16,color="green",shape="box"];2056[label="primPlusNat (Succ yv5700) yv401000",fontsize=16,color="burlywood",shape="box"];2337[label="yv401000/Succ yv4010000",fontsize=10,color="white",style="solid",shape="box"];2056 -> 2337[label="",style="solid", color="burlywood", weight=9];
2337 -> 2058[label="",style="solid", color="burlywood", weight=3];
2338[label="yv401000/Zero",fontsize=10,color="white",style="solid",shape="box"];2056 -> 2338[label="",style="solid", color="burlywood", weight=9];
2338 -> 2059[label="",style="solid", color="burlywood", weight=3];
2057[label="primPlusNat Zero yv401000",fontsize=16,color="burlywood",shape="box"];2339[label="yv401000/Succ yv4010000",fontsize=10,color="white",style="solid",shape="box"];2057 -> 2339[label="",style="solid", color="burlywood", weight=9];
2339 -> 2060[label="",style="solid", color="burlywood", weight=3];
2340[label="yv401000/Zero",fontsize=10,color="white",style="solid",shape="box"];2057 -> 2340[label="",style="solid", color="burlywood", weight=9];
2340 -> 2061[label="",style="solid", color="burlywood", weight=3];
2058[label="primPlusNat (Succ yv5700) (Succ yv4010000)",fontsize=16,color="black",shape="box"];2058 -> 2062[label="",style="solid", color="black", weight=3];
2059[label="primPlusNat (Succ yv5700) Zero",fontsize=16,color="black",shape="box"];2059 -> 2063[label="",style="solid", color="black", weight=3];
2060[label="primPlusNat Zero (Succ yv4010000)",fontsize=16,color="black",shape="box"];2060 -> 2064[label="",style="solid", color="black", weight=3];
2061[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];2061 -> 2065[label="",style="solid", color="black", weight=3];
2062[label="Succ (Succ (primPlusNat yv5700 yv4010000))",fontsize=16,color="green",shape="box"];2062 -> 2066[label="",style="dashed", color="green", weight=3];
2063[label="Succ yv5700",fontsize=16,color="green",shape="box"];2064[label="Succ yv4010000",fontsize=16,color="green",shape="box"];2065[label="Zero",fontsize=16,color="green",shape="box"];2066 -> 2055[label="",style="dashed", color="red", weight=0];
2066[label="primPlusNat yv5700 yv4010000",fontsize=16,color="magenta"];2066 -> 2067[label="",style="dashed", color="magenta", weight=3];
2066 -> 2068[label="",style="dashed", color="magenta", weight=3];
2067[label="yv5700",fontsize=16,color="green",shape="box"];2068[label="yv4010000",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(yv41, False, yv22, yv23, :(yv24110, yv24111), ba, bb) -> new_listToMaybe(new_primPlusNat0(yv41, Zero), new_esEs4(@2(yv22, yv23), yv24110, ba, bb), yv22, yv23, yv24111, ba, bb)

The TRS R consists of the following rules:

   new_primEqInt(Pos(Zero), Pos(Zero)) -> True
   new_esEs13(Left(yv310), Left(yv4010), ty_Char, ha) -> new_esEs20(yv310, yv4010)
   new_esEs13(Right(yv310), Right(yv4010), bad, app(app(app(ty_@3, bbb), bbc), bbd)) -> new_esEs5(yv310, yv4010, bbb, bbc, bbd)
   new_esEs8(yv310, yv4010, ty_Double) -> new_esEs15(yv310, yv4010)
   new_esEs19(False, True) -> False
   new_esEs19(True, False) -> False
   new_esEs22(yv311, yv4011, app(app(ty_@2, bed), bee)) -> new_esEs4(yv311, yv4011, bed, bee)
   new_esEs16(Just(yv310), Just(yv4010), app(app(ty_@2, bch), bda)) -> new_esEs4(yv310, yv4010, bch, bda)
   new_esEs23(yv310, yv4010, app(app(ty_Either, beg), beh)) -> new_esEs13(yv310, yv4010, beg, beh)
   new_esEs21(yv310, yv4010, app(ty_[], fg)) -> new_esEs10(yv310, yv4010, fg)
   new_esEs22(yv311, yv4011, app(app(app(ty_@3, bea), beb), bec)) -> new_esEs5(yv311, yv4011, bea, beb, bec)
   new_esEs6(yv312, yv4012, ty_Int) -> new_esEs9(yv312, yv4012)
   new_esEs13(Right(yv310), Right(yv4010), bad, ty_Bool) -> new_esEs19(yv310, yv4010)
   new_esEs9(yv31, yv401) -> new_primEqInt(yv31, yv401)
   new_esEs21(yv310, yv4010, app(ty_Ratio, gb)) -> new_esEs14(yv310, yv4010, gb)
   new_esEs8(yv310, yv4010, ty_@0) -> new_esEs12(yv310, yv4010)
   new_esEs7(yv311, yv4011, ty_Char) -> new_esEs20(yv311, yv4011)
   new_esEs20(Char(yv310), Char(yv4010)) -> new_primEqNat0(yv310, yv4010)
   new_esEs23(yv310, yv4010, ty_Bool) -> new_esEs19(yv310, yv4010)
   new_esEs13(Left(yv310), Right(yv4010), bad, ha) -> False
   new_esEs13(Right(yv310), Left(yv4010), bad, ha) -> False
   new_esEs22(yv311, yv4011, app(ty_Maybe, bdh)) -> new_esEs16(yv311, yv4011, bdh)
   new_esEs25(yv310, yv4010, ty_Int) -> new_esEs9(yv310, yv4010)
   new_esEs13(Left(yv310), Left(yv4010), app(ty_Maybe, hf), ha) -> new_esEs16(yv310, yv4010, hf)
   new_asAs(True, yv56) -> yv56
   new_esEs6(yv312, yv4012, ty_Float) -> new_esEs11(yv312, yv4012)
   new_primEqInt(Pos(Succ(yv3100)), Pos(Zero)) -> False
   new_primEqInt(Pos(Zero), Pos(Succ(yv40100))) -> False
   new_esEs6(yv312, yv4012, app(ty_Maybe, cb)) -> new_esEs16(yv312, yv4012, cb)
   new_esEs17(LT, LT) -> True
   new_esEs13(Right(yv310), Right(yv4010), bad, ty_Char) -> new_esEs20(yv310, yv4010)
   new_esEs16(Just(yv310), Just(yv4010), app(app(app(ty_@3, bce), bcf), bcg)) -> new_esEs5(yv310, yv4010, bce, bcf, bcg)
   new_esEs13(Right(yv310), Right(yv4010), bad, app(ty_Maybe, bba)) -> new_esEs16(yv310, yv4010, bba)
   new_primEqNat0(Succ(yv3100), Succ(yv40100)) -> new_primEqNat0(yv3100, yv40100)
   new_esEs23(yv310, yv4010, app(ty_Ratio, bfa)) -> new_esEs14(yv310, yv4010, bfa)
   new_esEs6(yv312, yv4012, ty_Ordering) -> new_esEs17(yv312, yv4012)
   new_esEs10(:(yv310, yv311), [], ff) -> False
   new_esEs10([], :(yv4010, yv4011), ff) -> False
   new_esEs21(yv310, yv4010, ty_Bool) -> new_esEs19(yv310, yv4010)
   new_esEs24(yv311, yv4011, ty_Integer) -> new_esEs18(yv311, yv4011)
   new_esEs16(Just(yv310), Just(yv4010), ty_Double) -> new_esEs15(yv310, yv4010)
   new_esEs7(yv311, yv4011, app(ty_Ratio, dd)) -> new_esEs14(yv311, yv4011, dd)
   new_primMulNat0(Zero, Zero) -> Zero
   new_esEs23(yv310, yv4010, ty_@0) -> new_esEs12(yv310, yv4010)
   new_esEs16(Nothing, Just(yv4010), bbg) -> False
   new_esEs16(Just(yv310), Nothing, bbg) -> False
   new_esEs7(yv311, yv4011, app(app(ty_@2, ea), eb)) -> new_esEs4(yv311, yv4011, ea, eb)
   new_esEs7(yv311, yv4011, app(app(app(ty_@3, df), dg), dh)) -> new_esEs5(yv311, yv4011, df, dg, dh)
   new_esEs13(Left(yv310), Left(yv4010), app(app(ty_Either, hc), hd), ha) -> new_esEs13(yv310, yv4010, hc, hd)
   new_primEqNat0(Succ(yv3100), Zero) -> False
   new_primEqNat0(Zero, Succ(yv40100)) -> False
   new_esEs13(Left(yv310), Left(yv4010), ty_Float, ha) -> new_esEs11(yv310, yv4010)
   new_esEs8(yv310, yv4010, ty_Float) -> new_esEs11(yv310, yv4010)
   new_esEs4(@2(yv310, yv311), @2(yv4010, yv4011), bdb, bdc) -> new_asAs(new_esEs23(yv310, yv4010, bdb), new_esEs22(yv311, yv4011, bdc))
   new_esEs8(yv310, yv4010, ty_Ordering) -> new_esEs17(yv310, yv4010)
   new_esEs21(yv310, yv4010, ty_Float) -> new_esEs11(yv310, yv4010)
   new_esEs23(yv310, yv4010, ty_Int) -> new_esEs9(yv310, yv4010)
   new_esEs21(yv310, yv4010, ty_Ordering) -> new_esEs17(yv310, yv4010)
   new_esEs22(yv311, yv4011, ty_Double) -> new_esEs15(yv311, yv4011)
   new_esEs8(yv310, yv4010, app(app(ty_@2, fc), fd)) -> new_esEs4(yv310, yv4010, fc, fd)
   new_esEs13(Left(yv310), Left(yv4010), ty_Ordering, ha) -> new_esEs17(yv310, yv4010)
   new_esEs22(yv311, yv4011, ty_Integer) -> new_esEs18(yv311, yv4011)
   new_esEs14(:%(yv310, yv311), :%(yv4010, yv4011), bfh) -> new_asAs(new_esEs25(yv310, yv4010, bfh), new_esEs24(yv311, yv4011, bfh))
   new_esEs17(EQ, GT) -> False
   new_esEs17(GT, EQ) -> False
   new_esEs16(Just(yv310), Just(yv4010), app(ty_[], bbh)) -> new_esEs10(yv310, yv4010, bbh)
   new_esEs5(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), bc, bd, be) -> new_asAs(new_esEs8(yv310, yv4010, bc), new_asAs(new_esEs7(yv311, yv4011, bd), new_esEs6(yv312, yv4012, be)))
   new_esEs7(yv311, yv4011, ty_Float) -> new_esEs11(yv311, yv4011)
   new_esEs13(Right(yv310), Right(yv4010), bad, app(app(ty_@2, bbe), bbf)) -> new_esEs4(yv310, yv4010, bbe, bbf)
   new_esEs17(GT, GT) -> True
   new_esEs7(yv311, yv4011, ty_Ordering) -> new_esEs17(yv311, yv4011)
   new_primEqInt(Neg(Succ(yv3100)), Neg(Zero)) -> False
   new_primEqInt(Neg(Zero), Neg(Succ(yv40100))) -> False
   new_esEs19(False, False) -> True
   new_esEs6(yv312, yv4012, app(app(ty_Either, bg), bh)) -> new_esEs13(yv312, yv4012, bg, bh)
   new_esEs24(yv311, yv4011, ty_Int) -> new_esEs9(yv311, yv4011)
   new_esEs6(yv312, yv4012, ty_Char) -> new_esEs20(yv312, yv4012)
   new_primEqInt(Pos(Succ(yv3100)), Pos(Succ(yv40100))) -> new_primEqNat0(yv3100, yv40100)
   new_esEs21(yv310, yv4010, app(ty_Maybe, gc)) -> new_esEs16(yv310, yv4010, gc)
   new_esEs7(yv311, yv4011, app(ty_[], da)) -> new_esEs10(yv311, yv4011, da)
   new_esEs21(yv310, yv4010, ty_Double) -> new_esEs15(yv310, yv4010)
   new_esEs23(yv310, yv4010, ty_Integer) -> new_esEs18(yv310, yv4010)
   new_esEs8(yv310, yv4010, app(ty_Maybe, eg)) -> new_esEs16(yv310, yv4010, eg)
   new_esEs6(yv312, yv4012, app(ty_Ratio, ca)) -> new_esEs14(yv312, yv4012, ca)
   new_sr(Pos(yv3110), Neg(yv40100)) -> Neg(new_primMulNat0(yv3110, yv40100))
   new_sr(Neg(yv3110), Pos(yv40100)) -> Neg(new_primMulNat0(yv3110, yv40100))
   new_esEs16(Just(yv310), Just(yv4010), ty_Ordering) -> new_esEs17(yv310, yv4010)
   new_esEs6(yv312, yv4012, ty_@0) -> new_esEs12(yv312, yv4012)
   new_primPlusNat1(Succ(yv5700), Succ(yv4010000)) -> Succ(Succ(new_primPlusNat1(yv5700, yv4010000)))
   new_esEs16(Just(yv310), Just(yv4010), ty_Float) -> new_esEs11(yv310, yv4010)
   new_esEs13(Right(yv310), Right(yv4010), bad, ty_Float) -> new_esEs11(yv310, yv4010)
   new_primEqInt(Pos(Succ(yv3100)), Neg(yv4010)) -> False
   new_primEqInt(Neg(Succ(yv3100)), Pos(yv4010)) -> False
   new_esEs13(Right(yv310), Right(yv4010), bad, ty_Ordering) -> new_esEs17(yv310, yv4010)
   new_esEs16(Nothing, Nothing, bbg) -> True
   new_esEs13(Left(yv310), Left(yv4010), app(app(app(ty_@3, hg), hh), baa), ha) -> new_esEs5(yv310, yv4010, hg, hh, baa)
   new_esEs16(Just(yv310), Just(yv4010), app(ty_Maybe, bcd)) -> new_esEs16(yv310, yv4010, bcd)
   new_esEs6(yv312, yv4012, app(app(app(ty_@3, cc), cd), ce)) -> new_esEs5(yv312, yv4012, cc, cd, ce)
   new_esEs21(yv310, yv4010, app(app(app(ty_@3, gd), ge), gf)) -> new_esEs5(yv310, yv4010, gd, ge, gf)
   new_esEs13(Left(yv310), Left(yv4010), app(ty_Ratio, he), ha) -> new_esEs14(yv310, yv4010, he)
   new_esEs16(Just(yv310), Just(yv4010), app(ty_Ratio, bcc)) -> new_esEs14(yv310, yv4010, bcc)
   new_esEs15(Double(yv310, yv311), Double(yv4010, yv4011)) -> new_esEs9(new_sr(yv310, yv4011), new_sr(yv311, yv4010))
   new_esEs7(yv311, yv4011, ty_@0) -> new_esEs12(yv311, yv4011)
   new_esEs22(yv311, yv4011, app(ty_Ratio, bdg)) -> new_esEs14(yv311, yv4011, bdg)
   new_esEs13(Left(yv310), Left(yv4010), ty_@0, ha) -> new_esEs12(yv310, yv4010)
   new_esEs13(Right(yv310), Right(yv4010), bad, app(ty_Ratio, bah)) -> new_esEs14(yv310, yv4010, bah)
   new_esEs7(yv311, yv4011, ty_Int) -> new_esEs9(yv311, yv4011)
   new_esEs13(Left(yv310), Left(yv4010), ty_Double, ha) -> new_esEs15(yv310, yv4010)
   new_esEs8(yv310, yv4010, ty_Char) -> new_esEs20(yv310, yv4010)
   new_sr(Neg(yv3110), Neg(yv40100)) -> Pos(new_primMulNat0(yv3110, yv40100))
   new_esEs6(yv312, yv4012, ty_Integer) -> new_esEs18(yv312, yv4012)
   new_esEs22(yv311, yv4011, ty_Bool) -> new_esEs19(yv311, yv4011)
   new_esEs25(yv310, yv4010, ty_Integer) -> new_esEs18(yv310, yv4010)
   new_esEs16(Just(yv310), Just(yv4010), ty_Bool) -> new_esEs19(yv310, yv4010)
   new_esEs21(yv310, yv4010, app(app(ty_@2, gg), gh)) -> new_esEs4(yv310, yv4010, gg, gh)
   new_primEqInt(Pos(Zero), Neg(Succ(yv40100))) -> False
   new_primEqInt(Neg(Zero), Pos(Succ(yv40100))) -> False
   new_esEs16(Just(yv310), Just(yv4010), app(app(ty_Either, bca), bcb)) -> new_esEs13(yv310, yv4010, bca, bcb)
   new_esEs8(yv310, yv4010, app(ty_[], ec)) -> new_esEs10(yv310, yv4010, ec)
   new_esEs22(yv311, yv4011, app(app(ty_Either, bde), bdf)) -> new_esEs13(yv311, yv4011, bde, bdf)
   new_esEs7(yv311, yv4011, app(ty_Maybe, de)) -> new_esEs16(yv311, yv4011, de)
   new_esEs13(Right(yv310), Right(yv4010), bad, ty_@0) -> new_esEs12(yv310, yv4010)
   new_esEs13(Right(yv310), Right(yv4010), bad, ty_Double) -> new_esEs15(yv310, yv4010)
   new_esEs17(EQ, EQ) -> True
   new_esEs13(Left(yv310), Left(yv4010), app(ty_[], hb), ha) -> new_esEs10(yv310, yv4010, hb)
   new_esEs22(yv311, yv4011, app(ty_[], bdd)) -> new_esEs10(yv311, yv4011, bdd)
   new_esEs22(yv311, yv4011, ty_Float) -> new_esEs11(yv311, yv4011)
   new_primEqInt(Neg(Succ(yv3100)), Neg(Succ(yv40100))) -> new_primEqNat0(yv3100, yv40100)
   new_esEs17(LT, EQ) -> False
   new_esEs17(EQ, LT) -> False
   new_esEs8(yv310, yv4010, ty_Integer) -> new_esEs18(yv310, yv4010)
   new_primPlusNat0(Succ(yv570), yv401000) -> Succ(Succ(new_primPlusNat1(yv570, yv401000)))
   new_esEs10(:(yv310, yv311), :(yv4010, yv4011), ff) -> new_asAs(new_esEs21(yv310, yv4010, ff), new_esEs10(yv311, yv4011, ff))
   new_esEs22(yv311, yv4011, ty_Ordering) -> new_esEs17(yv311, yv4011)
   new_esEs13(Left(yv310), Left(yv4010), app(app(ty_@2, bab), bac), ha) -> new_esEs4(yv310, yv4010, bab, bac)
   new_esEs21(yv310, yv4010, ty_Integer) -> new_esEs18(yv310, yv4010)
   new_esEs6(yv312, yv4012, app(ty_[], bf)) -> new_esEs10(yv312, yv4012, bf)
   new_primPlusNat1(Zero, Zero) -> Zero
   new_esEs13(Left(yv310), Left(yv4010), ty_Int, ha) -> new_esEs9(yv310, yv4010)
   new_esEs13(Right(yv310), Right(yv4010), bad, app(ty_[], bae)) -> new_esEs10(yv310, yv4010, bae)
   new_primMulNat0(Succ(yv31100), Zero) -> Zero
   new_primMulNat0(Zero, Succ(yv401000)) -> Zero
   new_sr(Pos(yv3110), Pos(yv40100)) -> Pos(new_primMulNat0(yv3110, yv40100))
   new_esEs10([], [], ff) -> True
   new_primPlusNat0(Zero, yv401000) -> Succ(yv401000)
   new_esEs6(yv312, yv4012, app(app(ty_@2, cf), cg)) -> new_esEs4(yv312, yv4012, cf, cg)
   new_esEs7(yv311, yv4011, app(app(ty_Either, db), dc)) -> new_esEs13(yv311, yv4011, db, dc)
   new_esEs13(Right(yv310), Right(yv4010), bad, app(app(ty_Either, baf), bag)) -> new_esEs13(yv310, yv4010, baf, bag)
   new_esEs18(Integer(yv310), Integer(yv4010)) -> new_primEqInt(yv310, yv4010)
   new_esEs8(yv310, yv4010, ty_Bool) -> new_esEs19(yv310, yv4010)
   new_esEs23(yv310, yv4010, app(app(app(ty_@3, bfc), bfd), bfe)) -> new_esEs5(yv310, yv4010, bfc, bfd, bfe)
   new_esEs7(yv311, yv4011, ty_Double) -> new_esEs15(yv311, yv4011)
   new_esEs16(Just(yv310), Just(yv4010), ty_Char) -> new_esEs20(yv310, yv4010)
   new_esEs17(LT, GT) -> False
   new_esEs17(GT, LT) -> False
   new_esEs16(Just(yv310), Just(yv4010), ty_Int) -> new_esEs9(yv310, yv4010)
   new_esEs16(Just(yv310), Just(yv4010), ty_@0) -> new_esEs12(yv310, yv4010)
   new_esEs13(Right(yv310), Right(yv4010), bad, ty_Integer) -> new_esEs18(yv310, yv4010)
   new_primEqInt(Neg(Zero), Neg(Zero)) -> True
   new_esEs23(yv310, yv4010, ty_Char) -> new_esEs20(yv310, yv4010)
   new_esEs22(yv311, yv4011, ty_@0) -> new_esEs12(yv311, yv4011)
   new_esEs22(yv311, yv4011, ty_Int) -> new_esEs9(yv311, yv4011)
   new_primMulNat0(Succ(yv31100), Succ(yv401000)) -> new_primPlusNat0(new_primMulNat0(yv31100, Succ(yv401000)), yv401000)
   new_esEs7(yv311, yv4011, ty_Bool) -> new_esEs19(yv311, yv4011)
   new_esEs12(@0, @0) -> True
   new_esEs8(yv310, yv4010, app(app(ty_Either, ed), ee)) -> new_esEs13(yv310, yv4010, ed, ee)
   new_esEs23(yv310, yv4010, ty_Double) -> new_esEs15(yv310, yv4010)
   new_primPlusNat1(Succ(yv5700), Zero) -> Succ(yv5700)
   new_primPlusNat1(Zero, Succ(yv4010000)) -> Succ(yv4010000)
   new_esEs21(yv310, yv4010, ty_@0) -> new_esEs12(yv310, yv4010)
   new_esEs21(yv310, yv4010, ty_Char) -> new_esEs20(yv310, yv4010)
   new_esEs11(Float(yv310, yv311), Float(yv4010, yv4011)) -> new_esEs9(new_sr(yv310, yv4011), new_sr(yv311, yv4010))
   new_esEs8(yv310, yv4010, app(ty_Ratio, ef)) -> new_esEs14(yv310, yv4010, ef)
   new_esEs8(yv310, yv4010, app(app(app(ty_@3, eh), fa), fb)) -> new_esEs5(yv310, yv4010, eh, fa, fb)
   new_primEqInt(Pos(Zero), Neg(Zero)) -> True
   new_primEqInt(Neg(Zero), Pos(Zero)) -> True
   new_esEs6(yv312, yv4012, ty_Bool) -> new_esEs19(yv312, yv4012)
   new_esEs16(Just(yv310), Just(yv4010), ty_Integer) -> new_esEs18(yv310, yv4010)
   new_primEqNat0(Zero, Zero) -> True
   new_esEs13(Right(yv310), Right(yv4010), bad, ty_Int) -> new_esEs9(yv310, yv4010)
   new_esEs21(yv310, yv4010, app(app(ty_Either, fh), ga)) -> new_esEs13(yv310, yv4010, fh, ga)
   new_esEs13(Left(yv310), Left(yv4010), ty_Integer, ha) -> new_esEs18(yv310, yv4010)
   new_asAs(False, yv56) -> False
   new_esEs23(yv310, yv4010, app(ty_Maybe, bfb)) -> new_esEs16(yv310, yv4010, bfb)
   new_esEs6(yv312, yv4012, ty_Double) -> new_esEs15(yv312, yv4012)
   new_esEs23(yv310, yv4010, ty_Float) -> new_esEs11(yv310, yv4010)
   new_esEs21(yv310, yv4010, ty_Int) -> new_esEs9(yv310, yv4010)
   new_esEs13(Left(yv310), Left(yv4010), ty_Bool, ha) -> new_esEs19(yv310, yv4010)
   new_esEs22(yv311, yv4011, ty_Char) -> new_esEs20(yv311, yv4011)
   new_esEs23(yv310, yv4010, app(ty_[], bef)) -> new_esEs10(yv310, yv4010, bef)
   new_esEs8(yv310, yv4010, ty_Int) -> new_esEs9(yv310, yv4010)
   new_esEs23(yv310, yv4010, ty_Ordering) -> new_esEs17(yv310, yv4010)
   new_esEs7(yv311, yv4011, ty_Integer) -> new_esEs18(yv311, yv4011)
   new_esEs19(True, True) -> True
   new_esEs23(yv310, yv4010, app(app(ty_@2, bff), bfg)) -> new_esEs4(yv310, yv4010, bff, bfg)

The set Q consists of the following terms:

   new_primEqNat0(Succ(x0), Zero)
   new_esEs23(x0, x1, app(app(ty_@2, x2), x3))
   new_esEs16(Just(x0), Just(x1), app(app(app(ty_@3, x2), x3), x4))
   new_esEs13(Left(x0), Left(x1), ty_Char, x2)
   new_esEs16(Just(x0), Just(x1), ty_Char)
   new_esEs21(x0, x1, ty_Integer)
   new_primMulNat0(Zero, Succ(x0))
   new_esEs13(Left(x0), Left(x1), app(ty_Maybe, x2), x3)
   new_esEs13(Right(x0), Right(x1), x2, ty_Char)
   new_esEs6(x0, x1, app(app(ty_@2, x2), x3))
   new_primMulNat0(Zero, Zero)
   new_primPlusNat1(Zero, Zero)
   new_esEs6(x0, x1, app(ty_[], x2))
   new_sr(Neg(x0), Neg(x1))
   new_primPlusNat1(Succ(x0), Zero)
   new_esEs8(x0, x1, app(app(ty_@2, x2), x3))
   new_esEs23(x0, x1, app(ty_Maybe, x2))
   new_esEs19(False, False)
   new_primEqInt(Pos(Succ(x0)), Neg(x1))
   new_primEqInt(Neg(Succ(x0)), Pos(x1))
   new_esEs13(Right(x0), Right(x1), x2, ty_Int)
   new_esEs23(x0, x1, ty_Bool)
   new_esEs20(Char(x0), Char(x1))
   new_primEqInt(Pos(Zero), Pos(Zero))
   new_esEs8(x0, x1, app(app(app(ty_@3, x2), x3), x4))
   new_esEs7(x0, x1, ty_Integer)
   new_esEs22(x0, x1, ty_Float)
   new_esEs22(x0, x1, ty_Integer)
   new_esEs8(x0, x1, ty_Char)
   new_esEs21(x0, x1, app(ty_Maybe, x2))
   new_esEs13(Left(x0), Right(x1), x2, x3)
   new_esEs13(Right(x0), Left(x1), x2, x3)
   new_esEs22(x0, x1, app(ty_Maybe, x2))
   new_esEs25(x0, x1, ty_Integer)
   new_esEs16(Just(x0), Just(x1), app(app(ty_@2, x2), x3))
   new_sr(Pos(x0), Neg(x1))
   new_sr(Neg(x0), Pos(x1))
   new_esEs22(x0, x1, ty_Ordering)
   new_esEs7(x0, x1, ty_@0)
   new_primEqInt(Neg(Zero), Neg(Zero))
   new_esEs8(x0, x1, ty_Bool)
   new_esEs21(x0, x1, ty_@0)
   new_esEs16(Just(x0), Just(x1), ty_Float)
   new_esEs13(Left(x0), Left(x1), ty_Double, x2)
   new_esEs6(x0, x1, ty_Double)
   new_esEs6(x0, x1, ty_Float)
   new_esEs16(Just(x0), Just(x1), ty_Double)
   new_esEs13(Left(x0), Left(x1), ty_Bool, x2)
   new_esEs16(Just(x0), Just(x1), ty_@0)
   new_esEs13(Left(x0), Left(x1), ty_Float, x2)
   new_esEs6(x0, x1, ty_Bool)
   new_esEs13(Right(x0), Right(x1), x2, app(ty_Maybe, x3))
   new_primEqInt(Pos(Succ(x0)), Pos(Succ(x1)))
   new_esEs17(LT, EQ)
   new_esEs17(EQ, LT)
   new_esEs8(x0, x1, ty_Ordering)
   new_primPlusNat1(Zero, Succ(x0))
   new_asAs(False, x0)
   new_esEs13(Right(x0), Right(x1), x2, ty_Ordering)
   new_esEs17(GT, GT)
   new_esEs7(x0, x1, ty_Char)
   new_esEs23(x0, x1, app(ty_Ratio, x2))
   new_esEs7(x0, x1, app(app(ty_Either, x2), x3))
   new_esEs21(x0, x1, ty_Double)
   new_esEs13(Left(x0), Left(x1), ty_@0, x2)
   new_esEs21(x0, x1, app(app(ty_@2, x2), x3))
   new_esEs23(x0, x1, app(app(ty_Either, x2), x3))
   new_esEs16(Just(x0), Just(x1), app(ty_Maybe, x2))
   new_esEs24(x0, x1, ty_Integer)
   new_esEs17(EQ, GT)
   new_esEs17(GT, EQ)
   new_primEqInt(Pos(Zero), Neg(Zero))
   new_primEqInt(Neg(Zero), Pos(Zero))
   new_esEs13(Right(x0), Right(x1), x2, app(app(ty_Either, x3), x4))
   new_esEs6(x0, x1, ty_Int)
   new_esEs5(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8)
   new_esEs22(x0, x1, app(ty_[], x2))
   new_esEs16(Just(x0), Just(x1), ty_Int)
   new_esEs13(Left(x0), Left(x1), ty_Int, x2)
   new_esEs17(EQ, EQ)
   new_esEs8(x0, x1, app(ty_[], x2))
   new_esEs16(Just(x0), Just(x1), app(app(ty_Either, x2), x3))
   new_primEqInt(Neg(Zero), Neg(Succ(x0)))
   new_esEs8(x0, x1, ty_Integer)
   new_esEs23(x0, x1, ty_@0)
   new_esEs22(x0, x1, app(app(ty_Either, x2), x3))
   new_primMulNat0(Succ(x0), Zero)
   new_esEs10([], :(x0, x1), x2)
   new_esEs21(x0, x1, ty_Bool)
   new_esEs7(x0, x1, app(ty_Maybe, x2))
   new_esEs19(True, True)
   new_esEs6(x0, x1, ty_@0)
   new_esEs13(Right(x0), Right(x1), x2, ty_Integer)
   new_primEqNat0(Zero, Succ(x0))
   new_sr(Pos(x0), Pos(x1))
   new_esEs7(x0, x1, ty_Bool)
   new_esEs23(x0, x1, ty_Float)
   new_esEs7(x0, x1, app(app(ty_@2, x2), x3))
   new_esEs17(LT, GT)
   new_esEs17(GT, LT)
   new_esEs23(x0, x1, ty_Int)
   new_esEs10(:(x0, x1), [], x2)
   new_esEs7(x0, x1, ty_Ordering)
   new_primEqInt(Pos(Zero), Pos(Succ(x0)))
   new_esEs4(@2(x0, x1), @2(x2, x3), x4, x5)
   new_esEs13(Right(x0), Right(x1), x2, app(ty_[], x3))
   new_esEs7(x0, x1, ty_Double)
   new_esEs22(x0, x1, app(app(ty_@2, x2), x3))
   new_esEs23(x0, x1, ty_Char)
   new_esEs12(@0, @0)
   new_esEs25(x0, x1, ty_Int)
   new_primEqInt(Neg(Succ(x0)), Neg(Zero))
   new_esEs6(x0, x1, ty_Char)
   new_esEs21(x0, x1, ty_Char)
   new_esEs16(Just(x0), Nothing, x1)
   new_esEs18(Integer(x0), Integer(x1))
   new_esEs6(x0, x1, app(ty_Ratio, x2))
   new_esEs22(x0, x1, ty_@0)
   new_primMulNat0(Succ(x0), Succ(x1))
   new_esEs8(x0, x1, app(ty_Maybe, x2))
   new_esEs23(x0, x1, ty_Double)
   new_esEs21(x0, x1, app(ty_Ratio, x2))
   new_esEs7(x0, x1, ty_Int)
   new_esEs19(False, True)
   new_esEs19(True, False)
   new_esEs8(x0, x1, app(ty_Ratio, x2))
   new_esEs8(x0, x1, ty_Double)
   new_esEs13(Right(x0), Right(x1), x2, ty_Bool)
   new_esEs21(x0, x1, ty_Int)
   new_esEs13(Left(x0), Left(x1), ty_Integer, x2)
   new_esEs21(x0, x1, app(app(ty_Either, x2), x3))
   new_esEs11(Float(x0, x1), Float(x2, x3))
   new_esEs7(x0, x1, ty_Float)
   new_primPlusNat0(Succ(x0), x1)
   new_esEs22(x0, x1, app(ty_Ratio, x2))
   new_esEs9(x0, x1)
   new_esEs21(x0, x1, ty_Ordering)
   new_esEs8(x0, x1, app(app(ty_Either, x2), x3))
   new_esEs16(Just(x0), Just(x1), ty_Bool)
   new_esEs13(Right(x0), Right(x1), x2, app(app(ty_@2, x3), x4))
   new_primEqInt(Pos(Succ(x0)), Pos(Zero))
   new_primEqInt(Pos(Zero), Neg(Succ(x0)))
   new_primEqInt(Neg(Zero), Pos(Succ(x0)))
   new_esEs6(x0, x1, app(app(app(ty_@3, x2), x3), x4))
   new_primEqNat0(Zero, Zero)
   new_esEs13(Right(x0), Right(x1), x2, ty_@0)
   new_esEs23(x0, x1, app(ty_[], x2))
   new_esEs13(Left(x0), Left(x1), app(ty_Ratio, x2), x3)
   new_esEs22(x0, x1, app(app(app(ty_@3, x2), x3), x4))
   new_esEs21(x0, x1, app(app(app(ty_@3, x2), x3), x4))
   new_esEs13(Right(x0), Right(x1), x2, ty_Double)
   new_esEs16(Just(x0), Just(x1), ty_Ordering)
   new_esEs14(:%(x0, x1), :%(x2, x3), x4)
   new_esEs17(LT, LT)
   new_esEs16(Nothing, Just(x0), x1)
   new_esEs23(x0, x1, app(app(app(ty_@3, x2), x3), x4))
   new_esEs16(Just(x0), Just(x1), app(ty_[], x2))
   new_esEs7(x0, x1, app(ty_[], x2))
   new_esEs22(x0, x1, ty_Int)
   new_esEs21(x0, x1, ty_Float)
   new_primEqInt(Neg(Succ(x0)), Neg(Succ(x1)))
   new_esEs13(Left(x0), Left(x1), app(ty_[], x2), x3)
   new_primPlusNat1(Succ(x0), Succ(x1))
   new_esEs24(x0, x1, ty_Int)
   new_esEs7(x0, x1, app(app(app(ty_@3, x2), x3), x4))
   new_primEqNat0(Succ(x0), Succ(x1))
   new_esEs22(x0, x1, ty_Double)
   new_esEs8(x0, x1, ty_Int)
   new_esEs13(Right(x0), Right(x1), x2, app(app(app(ty_@3, x3), x4), x5))
   new_esEs13(Left(x0), Left(x1), ty_Ordering, x2)
   new_primPlusNat0(Zero, x0)
   new_esEs22(x0, x1, ty_Char)
   new_esEs6(x0, x1, app(ty_Maybe, x2))
   new_esEs16(Just(x0), Just(x1), app(ty_Ratio, x2))
   new_esEs13(Left(x0), Left(x1), app(app(ty_Either, x2), x3), x4)
   new_esEs13(Right(x0), Right(x1), x2, app(ty_Ratio, x3))
   new_esEs6(x0, x1, ty_Integer)
   new_esEs21(x0, x1, app(ty_[], x2))
   new_esEs23(x0, x1, ty_Ordering)
   new_esEs8(x0, x1, ty_@0)
   new_esEs16(Nothing, Nothing, x0)
   new_esEs10(:(x0, x1), :(x2, x3), x4)
   new_esEs13(Left(x0), Left(x1), app(app(ty_@2, x2), x3), x4)
   new_esEs10([], [], x0)
   new_esEs7(x0, x1, app(ty_Ratio, x2))
   new_esEs6(x0, x1, app(app(ty_Either, x2), x3))
   new_asAs(True, x0)
   new_esEs22(x0, x1, ty_Bool)
   new_esEs15(Double(x0, x1), Double(x2, x3))
   new_esEs13(Left(x0), Left(x1), app(app(app(ty_@3, x2), x3), x4), x5)
   new_esEs16(Just(x0), Just(x1), ty_Integer)
   new_esEs23(x0, x1, ty_Integer)
   new_esEs13(Right(x0), Right(x1), x2, ty_Float)
   new_esEs8(x0, x1, ty_Float)
   new_esEs6(x0, x1, ty_Ordering)

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(yv41, False, yv22, yv23, :(yv24110, yv24111), ba, bb) -> new_listToMaybe(new_primPlusNat0(yv41, Zero), new_esEs4(@2(yv22, yv23), yv24110, ba, bb), yv22, yv23, yv24111, ba, bb)
The graph contains the following edges 3 >= 3, 4 >= 4, 5 > 5, 6 >= 6, 7 >= 7


----------------------------------------

(17)
YES

----------------------------------------

(18)
Obligation:
Q DP problem:
The TRS P consists of the following rules:

   new_esEs0(Left(yv310), Left(yv4010), app(ty_Maybe, cg), cd) -> new_esEs1(yv310, yv4010, cg)
   new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), app(app(ty_Either, bdd), bde), bdc) -> new_esEs0(yv310, yv4010, bdd, bde)
   new_esEs1(Just(yv310), Just(yv4010), app(app(ty_Either, fa), fb)) -> new_esEs0(yv310, yv4010, fa, fb)
   new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), bbh, app(app(ty_Either, bcb), bcc)) -> new_esEs0(yv311, yv4011, bcb, bcc)
   new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, gc, app(app(ty_@2, hc), hd)) -> new_esEs3(yv312, yv4012, hc, hd)
   new_esEs0(Right(yv310), Right(yv4010), df, app(app(ty_Either, dh), ea)) -> new_esEs0(yv310, yv4010, dh, ea)
   new_esEs(:(yv310, yv311), :(yv4010, yv4011), ba) -> new_esEs(yv311, yv4011, ba)
   new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), app(ty_Maybe, bbb), gc, hf) -> new_esEs1(yv310, yv4010, bbb)
   new_esEs(:(yv310, yv311), :(yv4010, yv4011), app(app(ty_@2, ca), cb)) -> new_esEs3(yv310, yv4010, ca, cb)
   new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, gc, app(ty_[], gd)) -> new_esEs(yv312, yv4012, gd)
   new_esEs(:(yv310, yv311), :(yv4010, yv4011), app(ty_Maybe, be)) -> new_esEs1(yv310, yv4010, be)
   new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, app(ty_Maybe, baa), hf) -> new_esEs1(yv311, yv4011, baa)
   new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, app(ty_[], he), hf) -> new_esEs(yv311, yv4011, he)
   new_esEs(:(yv310, yv311), :(yv4010, yv4011), app(ty_[], bb)) -> new_esEs(yv310, yv4010, bb)
   new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), app(app(ty_@2, bbf), bbg), gc, hf) -> new_esEs3(yv310, yv4010, bbf, bbg)
   new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, gc, app(ty_Maybe, gg)) -> new_esEs1(yv312, yv4012, gg)
   new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, app(app(ty_@2, bae), baf), hf) -> new_esEs3(yv311, yv4011, bae, baf)
   new_esEs0(Right(yv310), Right(yv4010), df, app(ty_[], dg)) -> new_esEs(yv310, yv4010, dg)
   new_esEs1(Just(yv310), Just(yv4010), app(app(ty_@2, fh), ga)) -> new_esEs3(yv310, yv4010, fh, ga)
   new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), app(ty_[], bag), gc, hf) -> new_esEs(yv310, yv4010, bag)
   new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), app(ty_Maybe, bdf), bdc) -> new_esEs1(yv310, yv4010, bdf)
   new_esEs0(Left(yv310), Left(yv4010), app(app(app(ty_@3, da), db), dc), cd) -> new_esEs2(yv310, yv4010, da, db, dc)
   new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, app(app(app(ty_@3, bab), bac), bad), hf) -> new_esEs2(yv311, yv4011, bab, bac, bad)
   new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), bbh, app(app(ty_@2, bch), bda)) -> new_esEs3(yv311, yv4011, bch, bda)
   new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), bbh, app(ty_Maybe, bcd)) -> new_esEs1(yv311, yv4011, bcd)
   new_esEs0(Left(yv310), Left(yv4010), app(app(ty_@2, dd), de), cd) -> new_esEs3(yv310, yv4010, dd, de)
   new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), app(app(app(ty_@3, bbc), bbd), bbe), gc, hf) -> new_esEs2(yv310, yv4010, bbc, bbd, bbe)
   new_esEs0(Right(yv310), Right(yv4010), df, app(app(ty_@2, ef), eg)) -> new_esEs3(yv310, yv4010, ef, eg)
   new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, app(app(ty_Either, hg), hh), hf) -> new_esEs0(yv311, yv4011, hg, hh)
   new_esEs0(Left(yv310), Left(yv4010), app(app(ty_Either, ce), cf), cd) -> new_esEs0(yv310, yv4010, ce, cf)
   new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, gc, app(app(ty_Either, ge), gf)) -> new_esEs0(yv312, yv4012, ge, gf)
   new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), app(app(ty_Either, bah), bba), gc, hf) -> new_esEs0(yv310, yv4010, bah, bba)
   new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), app(app(ty_@2, beb), bec), bdc) -> new_esEs3(yv310, yv4010, beb, bec)
   new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), bbh, app(ty_[], bca)) -> new_esEs(yv311, yv4011, bca)
   new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), app(app(app(ty_@3, bdg), bdh), bea), bdc) -> new_esEs2(yv310, yv4010, bdg, bdh, bea)
   new_esEs0(Right(yv310), Right(yv4010), df, app(ty_Maybe, eb)) -> new_esEs1(yv310, yv4010, eb)
   new_esEs(:(yv310, yv311), :(yv4010, yv4011), app(app(ty_Either, bc), bd)) -> new_esEs0(yv310, yv4010, bc, bd)
   new_esEs1(Just(yv310), Just(yv4010), app(ty_[], eh)) -> new_esEs(yv310, yv4010, eh)
   new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), app(ty_[], bdb), bdc) -> new_esEs(yv310, yv4010, bdb)
   new_esEs0(Right(yv310), Right(yv4010), df, app(app(app(ty_@3, ec), ed), ee)) -> new_esEs2(yv310, yv4010, ec, ed, ee)
   new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, gc, app(app(app(ty_@3, gh), ha), hb)) -> new_esEs2(yv312, yv4012, gh, ha, hb)
   new_esEs1(Just(yv310), Just(yv4010), app(ty_Maybe, fc)) -> new_esEs1(yv310, yv4010, fc)
   new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), bbh, app(app(app(ty_@3, bce), bcf), bcg)) -> new_esEs2(yv311, yv4011, bce, bcf, bcg)
   new_esEs(:(yv310, yv311), :(yv4010, yv4011), app(app(app(ty_@3, bf), bg), bh)) -> new_esEs2(yv310, yv4010, bf, bg, bh)
   new_esEs1(Just(yv310), Just(yv4010), app(app(app(ty_@3, fd), ff), fg)) -> new_esEs2(yv310, yv4010, fd, ff, fg)
   new_esEs0(Left(yv310), Left(yv4010), app(ty_[], cc), cd) -> new_esEs(yv310, yv4010, cc)

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_esEs1(Just(yv310), Just(yv4010), app(app(ty_Either, fa), fb)) -> new_esEs0(yv310, yv4010, fa, fb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs1(Just(yv310), Just(yv4010), app(app(ty_@2, fh), ga)) -> new_esEs3(yv310, yv4010, fh, ga)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs1(Just(yv310), Just(yv4010), app(ty_Maybe, fc)) -> new_esEs1(yv310, yv4010, fc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs1(Just(yv310), Just(yv4010), app(app(app(ty_@3, fd), ff), fg)) -> new_esEs2(yv310, yv4010, fd, ff, fg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5


*new_esEs1(Just(yv310), Just(yv4010), app(ty_[], eh)) -> new_esEs(yv310, yv4010, eh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs(:(yv310, yv311), :(yv4010, yv4011), app(app(ty_Either, bc), bd)) -> new_esEs0(yv310, yv4010, bc, bd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs(:(yv310, yv311), :(yv4010, yv4011), app(app(ty_@2, ca), cb)) -> new_esEs3(yv310, yv4010, ca, cb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs(:(yv310, yv311), :(yv4010, yv4011), app(ty_Maybe, be)) -> new_esEs1(yv310, yv4010, be)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs(:(yv310, yv311), :(yv4010, yv4011), app(app(app(ty_@3, bf), bg), bh)) -> new_esEs2(yv310, yv4010, bf, bg, bh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5


*new_esEs0(Right(yv310), Right(yv4010), df, app(app(ty_Either, dh), ea)) -> new_esEs0(yv310, yv4010, dh, ea)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4


*new_esEs0(Left(yv310), Left(yv4010), app(app(ty_Either, ce), cf), cd) -> new_esEs0(yv310, yv4010, ce, cf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), app(app(ty_Either, bdd), bde), bdc) -> new_esEs0(yv310, yv4010, bdd, bde)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), bbh, app(app(ty_Either, bcb), bcc)) -> new_esEs0(yv311, yv4011, bcb, bcc)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4


*new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, app(app(ty_Either, hg), hh), hf) -> new_esEs0(yv311, yv4011, hg, hh)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4


*new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, gc, app(app(ty_Either, ge), gf)) -> new_esEs0(yv312, yv4012, ge, gf)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4


*new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), app(app(ty_Either, bah), bba), gc, hf) -> new_esEs0(yv310, yv4010, bah, bba)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs0(Left(yv310), Left(yv4010), app(app(ty_@2, dd), de), cd) -> new_esEs3(yv310, yv4010, dd, de)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs0(Right(yv310), Right(yv4010), df, app(app(ty_@2, ef), eg)) -> new_esEs3(yv310, yv4010, ef, eg)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4


*new_esEs0(Left(yv310), Left(yv4010), app(ty_Maybe, cg), cd) -> new_esEs1(yv310, yv4010, cg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs0(Right(yv310), Right(yv4010), df, app(ty_Maybe, eb)) -> new_esEs1(yv310, yv4010, eb)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3


*new_esEs0(Left(yv310), Left(yv4010), app(app(app(ty_@3, da), db), dc), cd) -> new_esEs2(yv310, yv4010, da, db, dc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5


*new_esEs0(Right(yv310), Right(yv4010), df, app(app(app(ty_@3, ec), ed), ee)) -> new_esEs2(yv310, yv4010, ec, ed, ee)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5


*new_esEs0(Right(yv310), Right(yv4010), df, app(ty_[], dg)) -> new_esEs(yv310, yv4010, dg)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3


*new_esEs0(Left(yv310), Left(yv4010), app(ty_[], cc), cd) -> new_esEs(yv310, yv4010, cc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), bbh, app(app(ty_@2, bch), bda)) -> new_esEs3(yv311, yv4011, bch, bda)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4


*new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), app(app(ty_@2, beb), bec), bdc) -> new_esEs3(yv310, yv4010, beb, bec)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, gc, app(app(ty_@2, hc), hd)) -> new_esEs3(yv312, yv4012, hc, hd)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4


*new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), app(app(ty_@2, bbf), bbg), gc, hf) -> new_esEs3(yv310, yv4010, bbf, bbg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, app(app(ty_@2, bae), baf), hf) -> new_esEs3(yv311, yv4011, bae, baf)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4


*new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), app(ty_Maybe, bdf), bdc) -> new_esEs1(yv310, yv4010, bdf)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), bbh, app(ty_Maybe, bcd)) -> new_esEs1(yv311, yv4011, bcd)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3


*new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), app(ty_Maybe, bbb), gc, hf) -> new_esEs1(yv310, yv4010, bbb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, app(ty_Maybe, baa), hf) -> new_esEs1(yv311, yv4011, baa)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3


*new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, gc, app(ty_Maybe, gg)) -> new_esEs1(yv312, yv4012, gg)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3


*new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), app(app(app(ty_@3, bdg), bdh), bea), bdc) -> new_esEs2(yv310, yv4010, bdg, bdh, bea)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5


*new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), bbh, app(app(app(ty_@3, bce), bcf), bcg)) -> new_esEs2(yv311, yv4011, bce, bcf, bcg)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5


*new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), bbh, app(ty_[], bca)) -> new_esEs(yv311, yv4011, bca)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3


*new_esEs3(@2(yv310, yv311), @2(yv4010, yv4011), app(ty_[], bdb), bdc) -> new_esEs(yv310, yv4010, bdb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, app(app(app(ty_@3, bab), bac), bad), hf) -> new_esEs2(yv311, yv4011, bab, bac, bad)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5


*new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), app(app(app(ty_@3, bbc), bbd), bbe), gc, hf) -> new_esEs2(yv310, yv4010, bbc, bbd, bbe)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5


*new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, gc, app(app(app(ty_@3, gh), ha), hb)) -> new_esEs2(yv312, yv4012, gh, ha, hb)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4, 5 > 5


*new_esEs(:(yv310, yv311), :(yv4010, yv4011), ba) -> new_esEs(yv311, yv4011, ba)
The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3


*new_esEs(:(yv310, yv311), :(yv4010, yv4011), app(ty_[], bb)) -> new_esEs(yv310, yv4010, bb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, gc, app(ty_[], gd)) -> new_esEs(yv312, yv4012, gd)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3


*new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), gb, app(ty_[], he), hf) -> new_esEs(yv311, yv4011, he)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3


*new_esEs2(@3(yv310, yv311, yv312), @3(yv4010, yv4011, yv4012), app(ty_[], bag), gc, hf) -> new_esEs(yv310, yv4010, bag)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


----------------------------------------

(20)
YES

----------------------------------------

(21)
Obligation:
Q DP problem:
The TRS P consists of the following rules:

   new_primMulNat(Succ(yv31100), Succ(yv401000)) -> new_primMulNat(yv31100, Succ(yv401000))

R is empty.
Q is empty.
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_primMulNat(Succ(yv31100), Succ(yv401000)) -> new_primMulNat(yv31100, Succ(yv401000))
The graph contains the following edges 1 > 1, 2 >= 2


----------------------------------------

(23)
YES

----------------------------------------

(24)
Obligation:
Q DP problem:
The TRS P consists of the following rules:

   new_primPlusNat(Succ(yv5700), Succ(yv4010000)) -> new_primPlusNat(yv5700, yv4010000)

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_primPlusNat(Succ(yv5700), Succ(yv4010000)) -> new_primPlusNat(yv5700, yv4010000)
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(yv3100), Succ(yv40100)) -> new_primEqNat(yv3100, yv40100)

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(yv3100), Succ(yv40100)) -> new_primEqNat(yv3100, yv40100)
The graph contains the following edges 1 > 1, 2 > 2


----------------------------------------

(29)
YES