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


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


YES
proof of /export/starexec/sandbox/benchmark/theBenchmark.hs
# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 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, 1 ms]
(10) HASKELL
(11) NumRed [SOUND, 14 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
    (30) QDP
        (31) QDPSizeChangeProof [EQUIVALENT, 10 ms]
        (32) YES


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

(0)
Obligation:
mainModule Main 
module Maybe where {
import qualified List;
import qualified Main;
import qualified Prelude;
listToMaybe :: [a]  ->  Maybe a;
listToMaybe [] = Nothing;
listToMaybe (a : _) = Just a;

}
module List where {
import qualified Main;
import qualified Maybe;
import qualified Prelude;
elemIndex :: Eq a => a  ->  [a]  ->  Maybe Int;
elemIndex x = findIndex (== x);

findIndex :: (a  ->  Bool)  ->  [a]  ->  Maybe Int;
findIndex p = Maybe.listToMaybe . findIndices p;

findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
findIndices p xs = concatMap (\vv1 ->case vv1 of { 
(x,i)->  if p x then i : [] else []; 
_-> []; 
 } ) (zip xs (enumFrom 0));

}
module Main where {
import qualified List;
import qualified Maybe;
import qualified Prelude;
}

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

(1) LR (EQUIVALENT)
Lambda Reductions:
The following Lambda expression
"\ab->(a,b)"
is transformed to
"zip0 a b = (a,b);
"
The following Lambda expression
"\vv1->case vv1 of {
(x,i)  -> if p x then i : [] else [];
_  -> []}
"
is transformed to
"findIndices0 p vv1 = case vv1 of {
(x,i)  -> if p x then i : [] else [];
_  -> []}
;
"

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

(2)
Obligation:
mainModule Main 
module Maybe where {
import qualified List;
import qualified Main;
import qualified Prelude;
listToMaybe :: [a]  ->  Maybe a;
listToMaybe [] = Nothing;
listToMaybe (a : _) = Just a;

}
module List where {
import qualified Main;
import qualified Maybe;
import qualified Prelude;
elemIndex :: Eq a => a  ->  [a]  ->  Maybe Int;
elemIndex x = findIndex (== x);

findIndex :: (a  ->  Bool)  ->  [a]  ->  Maybe Int;
findIndex p = Maybe.listToMaybe . findIndices p;

findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0));

findIndices0 p vv1 = case vv1 of { 
(x,i)->  if p x then i : [] else []; 
_-> []; 
 } ;

}
module Main where {
import qualified List;
import qualified Maybe;
import qualified Prelude;
}

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

(3) CR (EQUIVALENT)
Case Reductions:
The following Case expression
"case vv1 of {
(x,i)  -> if p x then i : [] else [];
_  -> []}
"
is transformed to
"findIndices00 p (x,i) = if p x then i : [] else [];
findIndices00 p _ = [];
"

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

(4)
Obligation:
mainModule Main 
module Maybe where {
import qualified List;
import qualified Main;
import qualified Prelude;
listToMaybe :: [a]  ->  Maybe a;
listToMaybe [] = Nothing;
listToMaybe (a : _) = Just a;

}
module List where {
import qualified Main;
import qualified Maybe;
import qualified Prelude;
elemIndex :: Eq a => a  ->  [a]  ->  Maybe Int;
elemIndex x = findIndex (== x);

findIndex :: (a  ->  Bool)  ->  [a]  ->  Maybe Int;
findIndex p = Maybe.listToMaybe . findIndices p;

findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0));

findIndices0 p vv1 = findIndices00 p vv1;

findIndices00 p (x,i) =  if p x then i : [] else [];
findIndices00 p _ = [];

}
module Main where {
import qualified List;
import qualified Maybe;
import qualified Prelude;
}

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

(5) IFR (EQUIVALENT)
If Reductions:
The following If expression
"if p x then i : [] else []"
is transformed to
"findIndices000 i True = i : [];
findIndices000 i False = [];
"

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

(6)
Obligation:
mainModule Main 
module Maybe where {
import qualified List;
import qualified Main;
import qualified Prelude;
listToMaybe :: [a]  ->  Maybe a;
listToMaybe [] = Nothing;
listToMaybe (a : _) = Just a;

}
module List where {
import qualified Main;
import qualified Maybe;
import qualified Prelude;
elemIndex :: Eq a => a  ->  [a]  ->  Maybe Int;
elemIndex x = findIndex (== x);

findIndex :: (a  ->  Bool)  ->  [a]  ->  Maybe Int;
findIndex p = Maybe.listToMaybe . findIndices p;

findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0));

findIndices0 p vv1 = findIndices00 p vv1;

findIndices00 p (x,i) = findIndices000 i (p x);
findIndices00 p _ = [];

findIndices000 i True = i : [];
findIndices000 i False = [];

}
module Main where {
import qualified List;
import qualified Maybe;
import qualified Prelude;
}

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

(7) BR (EQUIVALENT)
Replaced joker patterns by fresh variables and removed binding patterns.
----------------------------------------

(8)
Obligation:
mainModule Main 
module Maybe where {
import qualified List;
import qualified Main;
import qualified Prelude;
listToMaybe :: [a]  ->  Maybe a;
listToMaybe [] = Nothing;
listToMaybe (a : xz) = Just a;

}
module List where {
import qualified Main;
import qualified Maybe;
import qualified Prelude;
elemIndex :: Eq a => a  ->  [a]  ->  Maybe Int;
elemIndex x = findIndex (== x);

findIndex :: (a  ->  Bool)  ->  [a]  ->  Maybe Int;
findIndex p = Maybe.listToMaybe . findIndices p;

findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0));

findIndices0 p vv1 = findIndices00 p vv1;

findIndices00 p (x,i) = findIndices000 i (p x);
findIndices00 p yu = [];

findIndices000 i True = i : [];
findIndices000 i False = [];

}
module Main where {
import qualified List;
import qualified Maybe;
import qualified Prelude;
}

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

(9) COR (EQUIVALENT)
Cond Reductions:
The following Function with conditions
"undefined |Falseundefined;
"
is transformed to
"undefined  = undefined1;
"
"undefined0 True = undefined;
"
"undefined1  = undefined0 False;
"

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

(10)
Obligation:
mainModule Main 
module Maybe where {
import qualified List;
import qualified Main;
import qualified Prelude;
listToMaybe :: [a]  ->  Maybe a;
listToMaybe [] = Nothing;
listToMaybe (a : xz) = Just a;

}
module List where {
import qualified Main;
import qualified Maybe;
import qualified Prelude;
elemIndex :: Eq a => a  ->  [a]  ->  Maybe Int;
elemIndex x = findIndex (== x);

findIndex :: (a  ->  Bool)  ->  [a]  ->  Maybe Int;
findIndex p = Maybe.listToMaybe . findIndices p;

findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom 0));

findIndices0 p vv1 = findIndices00 p vv1;

findIndices00 p (x,i) = findIndices000 i (p x);
findIndices00 p yu = [];

findIndices000 i True = i : [];
findIndices000 i False = [];

}
module Main where {
import qualified List;
import qualified Maybe;
import qualified Prelude;
}

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

(11) NumRed (SOUND)
Num Reduction:All numbers are transformed to their corresponding representation with Succ, Pred and Zero.
----------------------------------------

(12)
Obligation:
mainModule Main 
module Maybe where {
import qualified List;
import qualified Main;
import qualified Prelude;
listToMaybe :: [a]  ->  Maybe a;
listToMaybe [] = Nothing;
listToMaybe (a : xz) = Just a;

}
module List where {
import qualified Main;
import qualified Maybe;
import qualified Prelude;
elemIndex :: Eq a => a  ->  [a]  ->  Maybe Int;
elemIndex x = findIndex (== x);

findIndex :: (a  ->  Bool)  ->  [a]  ->  Maybe Int;
findIndex p = Maybe.listToMaybe . findIndices p;

findIndices :: (a  ->  Bool)  ->  [a]  ->  [Int];
findIndices p xs = concatMap (findIndices0 p) (zip xs (enumFrom (Pos Zero)));

findIndices0 p vv1 = findIndices00 p vv1;

findIndices00 p (x,i) = findIndices000 i (p x);
findIndices00 p yu = [];

findIndices000 i True = i : [];
findIndices000 i False = [];

}
module Main where {
import qualified List;
import qualified Maybe;
import qualified Prelude;
}

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

(13) Narrow (SOUND)
Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="List.elemIndex",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="List.elemIndex yv3",fontsize=16,color="grey",shape="box"];3 -> 4[label="",style="dashed", color="grey", weight=3];
4[label="List.elemIndex yv3 yv4",fontsize=16,color="black",shape="triangle"];4 -> 5[label="",style="solid", color="black", weight=3];
5[label="List.findIndex (yv3 ==) yv4",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
6[label="Maybe.listToMaybe . List.findIndices (yv3 ==)",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
7[label="Maybe.listToMaybe (List.findIndices (yv3 ==) yv4)",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
8[label="Maybe.listToMaybe (concatMap (List.findIndices0 (yv3 ==)) (zip yv4 (enumFrom (Pos Zero))))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
9[label="Maybe.listToMaybe (concat . map (List.findIndices0 (yv3 ==)))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
10[label="Maybe.listToMaybe (concat (map (List.findIndices0 (yv3 ==)) (zip yv4 (enumFrom (Pos Zero)))))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3];
11[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zip yv4 (enumFrom (Pos Zero)))))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
12[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (yv3 ==)) (zipWith zip0 yv4 (enumFrom (Pos Zero)))))",fontsize=16,color="burlywood",shape="box"];1511[label="yv4/yv40 : yv41",fontsize=10,color="white",style="solid",shape="box"];12 -> 1511[label="",style="solid", color="burlywood", weight=9];
1511 -> 13[label="",style="solid", color="burlywood", weight=3];
1512[label="yv4/[]",fontsize=10,color="white",style="solid",shape="box"];12 -> 1512[label="",style="solid", color="burlywood", weight=9];
1512 -> 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"];1513[label="yv3/Nothing",fontsize=10,color="white",style="solid",shape="box"];26 -> 1513[label="",style="solid", color="burlywood", weight=9];
1513 -> 27[label="",style="solid", color="burlywood", weight=3];
1514[label="yv3/Just yv30",fontsize=10,color="white",style="solid",shape="box"];26 -> 1514[label="",style="solid", color="burlywood", weight=9];
1514 -> 28[label="",style="solid", color="burlywood", weight=3];
27[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) (Nothing == yv40) foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="box"];1515[label="yv40/Nothing",fontsize=10,color="white",style="solid",shape="box"];27 -> 1515[label="",style="solid", color="burlywood", weight=9];
1515 -> 29[label="",style="solid", color="burlywood", weight=3];
1516[label="yv40/Just yv400",fontsize=10,color="white",style="solid",shape="box"];27 -> 1516[label="",style="solid", color="burlywood", weight=9];
1516 -> 30[label="",style="solid", color="burlywood", weight=3];
28[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) (Just yv30 == yv40) foldr (++) [] (map (List.findIndices0 (Just yv30 ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="box"];1517[label="yv40/Nothing",fontsize=10,color="white",style="solid",shape="box"];28 -> 1517[label="",style="solid", color="burlywood", weight=9];
1517 -> 31[label="",style="solid", color="burlywood", weight=3];
1518[label="yv40/Just yv400",fontsize=10,color="white",style="solid",shape="box"];28 -> 1518[label="",style="solid", color="burlywood", weight=9];
1518 -> 32[label="",style="solid", color="burlywood", weight=3];
29[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) (Nothing == Nothing) foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];29 -> 33[label="",style="solid", color="black", weight=3];
30[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) (Nothing == Just yv400) foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];30 -> 34[label="",style="solid", color="black", weight=3];
31[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) (Just yv30 == Nothing) foldr (++) [] (map (List.findIndices0 (Just yv30 ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];31 -> 35[label="",style="solid", color="black", weight=3];
32[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) (Just yv30 == Just yv400) foldr (++) [] (map (List.findIndices0 (Just yv30 ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];32 -> 36[label="",style="solid", color="black", weight=3];
33 -> 731[label="",style="dashed", color="red", weight=0];
33[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) True foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];33 -> 732[label="",style="dashed", color="magenta", weight=3];
33 -> 733[label="",style="dashed", color="magenta", weight=3];
33 -> 734[label="",style="dashed", color="magenta", weight=3];
33 -> 735[label="",style="dashed", color="magenta", weight=3];
34 -> 731[label="",style="dashed", color="red", weight=0];
34[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) False foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];34 -> 736[label="",style="dashed", color="magenta", weight=3];
34 -> 737[label="",style="dashed", color="magenta", weight=3];
34 -> 738[label="",style="dashed", color="magenta", weight=3];
34 -> 739[label="",style="dashed", color="magenta", weight=3];
35 -> 768[label="",style="dashed", color="red", weight=0];
35[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) False foldr (++) [] (map (List.findIndices0 (Just yv30 ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];35 -> 769[label="",style="dashed", color="magenta", weight=3];
35 -> 770[label="",style="dashed", color="magenta", weight=3];
35 -> 771[label="",style="dashed", color="magenta", weight=3];
35 -> 772[label="",style="dashed", color="magenta", weight=3];
35 -> 773[label="",style="dashed", color="magenta", weight=3];
36 -> 768[label="",style="dashed", color="red", weight=0];
36[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos Zero) (yv30 == yv400) foldr (++) [] (map (List.findIndices0 (Just yv30 ==)) (zipWith zip0 yv41 (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];36 -> 774[label="",style="dashed", color="magenta", weight=3];
36 -> 775[label="",style="dashed", color="magenta", weight=3];
36 -> 776[label="",style="dashed", color="magenta", weight=3];
36 -> 777[label="",style="dashed", color="magenta", weight=3];
36 -> 778[label="",style="dashed", color="magenta", weight=3];
732[label="Zero",fontsize=16,color="green",shape="box"];733[label="True",fontsize=16,color="green",shape="box"];734[label="yv41",fontsize=16,color="green",shape="box"];735[label="Zero",fontsize=16,color="green",shape="box"];731[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv33) yv32 foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv411 (numericEnumFrom $! Pos yv34 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="triangle"];1519[label="yv32/False",fontsize=10,color="white",style="solid",shape="box"];731 -> 1519[label="",style="solid", color="burlywood", weight=9];
1519 -> 743[label="",style="solid", color="burlywood", weight=3];
1520[label="yv32/True",fontsize=10,color="white",style="solid",shape="box"];731 -> 1520[label="",style="solid", color="burlywood", weight=9];
1520 -> 744[label="",style="solid", color="burlywood", weight=3];
736[label="Zero",fontsize=16,color="green",shape="box"];737[label="False",fontsize=16,color="green",shape="box"];738[label="yv41",fontsize=16,color="green",shape="box"];739[label="Zero",fontsize=16,color="green",shape="box"];769[label="yv30",fontsize=16,color="green",shape="box"];770[label="Zero",fontsize=16,color="green",shape="box"];771[label="False",fontsize=16,color="green",shape="box"];772[label="yv41",fontsize=16,color="green",shape="box"];773[label="Zero",fontsize=16,color="green",shape="box"];768[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv35) yv37 foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 yv111 (numericEnumFrom $! Pos yv36 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="triangle"];1521[label="yv37/False",fontsize=10,color="white",style="solid",shape="box"];768 -> 1521[label="",style="solid", color="burlywood", weight=9];
1521 -> 784[label="",style="solid", color="burlywood", weight=3];
1522[label="yv37/True",fontsize=10,color="white",style="solid",shape="box"];768 -> 1522[label="",style="solid", color="burlywood", weight=9];
1522 -> 785[label="",style="solid", color="burlywood", weight=3];
774[label="yv30",fontsize=16,color="green",shape="box"];775[label="Zero",fontsize=16,color="green",shape="box"];776[label="yv30 == yv400",fontsize=16,color="blue",shape="box"];1523[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];776 -> 1523[label="",style="solid", color="blue", weight=9];
1523 -> 786[label="",style="solid", color="blue", weight=3];
1524[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];776 -> 1524[label="",style="solid", color="blue", weight=9];
1524 -> 787[label="",style="solid", color="blue", weight=3];
1525[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];776 -> 1525[label="",style="solid", color="blue", weight=9];
1525 -> 788[label="",style="solid", color="blue", weight=3];
1526[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];776 -> 1526[label="",style="solid", color="blue", weight=9];
1526 -> 789[label="",style="solid", color="blue", weight=3];
1527[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];776 -> 1527[label="",style="solid", color="blue", weight=9];
1527 -> 790[label="",style="solid", color="blue", weight=3];
1528[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];776 -> 1528[label="",style="solid", color="blue", weight=9];
1528 -> 791[label="",style="solid", color="blue", weight=3];
1529[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];776 -> 1529[label="",style="solid", color="blue", weight=9];
1529 -> 792[label="",style="solid", color="blue", weight=3];
1530[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];776 -> 1530[label="",style="solid", color="blue", weight=9];
1530 -> 793[label="",style="solid", color="blue", weight=3];
1531[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];776 -> 1531[label="",style="solid", color="blue", weight=9];
1531 -> 794[label="",style="solid", color="blue", weight=3];
1532[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];776 -> 1532[label="",style="solid", color="blue", weight=9];
1532 -> 795[label="",style="solid", color="blue", weight=3];
1533[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];776 -> 1533[label="",style="solid", color="blue", weight=9];
1533 -> 796[label="",style="solid", color="blue", weight=3];
1534[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];776 -> 1534[label="",style="solid", color="blue", weight=9];
1534 -> 797[label="",style="solid", color="blue", weight=3];
1535[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];776 -> 1535[label="",style="solid", color="blue", weight=9];
1535 -> 798[label="",style="solid", color="blue", weight=3];
1536[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];776 -> 1536[label="",style="solid", color="blue", weight=9];
1536 -> 799[label="",style="solid", color="blue", weight=3];
777[label="yv41",fontsize=16,color="green",shape="box"];778[label="Zero",fontsize=16,color="green",shape="box"];743[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv33) False foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv411 (numericEnumFrom $! Pos yv34 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];743 -> 748[label="",style="solid", color="black", weight=3];
744[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv33) True foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv411 (numericEnumFrom $! Pos yv34 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];744 -> 749[label="",style="solid", color="black", weight=3];
784[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv35) False foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 yv111 (numericEnumFrom $! Pos yv36 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];784 -> 802[label="",style="solid", color="black", weight=3];
785[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv35) True foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 yv111 (numericEnumFrom $! Pos yv36 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];785 -> 803[label="",style="solid", color="black", weight=3];
786[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];1537[label="yv30/()",fontsize=10,color="white",style="solid",shape="box"];786 -> 1537[label="",style="solid", color="burlywood", weight=9];
1537 -> 804[label="",style="solid", color="burlywood", weight=3];
787[label="yv30 == yv400",fontsize=16,color="black",shape="triangle"];787 -> 805[label="",style="solid", color="black", weight=3];
788[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];1538[label="yv30/False",fontsize=10,color="white",style="solid",shape="box"];788 -> 1538[label="",style="solid", color="burlywood", weight=9];
1538 -> 806[label="",style="solid", color="burlywood", weight=3];
1539[label="yv30/True",fontsize=10,color="white",style="solid",shape="box"];788 -> 1539[label="",style="solid", color="burlywood", weight=9];
1539 -> 807[label="",style="solid", color="burlywood", weight=3];
789[label="yv30 == yv400",fontsize=16,color="black",shape="triangle"];789 -> 808[label="",style="solid", color="black", weight=3];
790[label="yv30 == yv400",fontsize=16,color="black",shape="triangle"];790 -> 809[label="",style="solid", color="black", weight=3];
791[label="yv30 == yv400",fontsize=16,color="black",shape="triangle"];791 -> 810[label="",style="solid", color="black", weight=3];
792[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];1540[label="yv30/(yv300,yv301,yv302)",fontsize=10,color="white",style="solid",shape="box"];792 -> 1540[label="",style="solid", color="burlywood", weight=9];
1540 -> 811[label="",style="solid", color="burlywood", weight=3];
793[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];1541[label="yv30/(yv300,yv301)",fontsize=10,color="white",style="solid",shape="box"];793 -> 1541[label="",style="solid", color="burlywood", weight=9];
1541 -> 812[label="",style="solid", color="burlywood", weight=3];
794[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];1542[label="yv30/yv300 :% yv301",fontsize=10,color="white",style="solid",shape="box"];794 -> 1542[label="",style="solid", color="burlywood", weight=9];
1542 -> 813[label="",style="solid", color="burlywood", weight=3];
795[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];1543[label="yv30/Integer yv300",fontsize=10,color="white",style="solid",shape="box"];795 -> 1543[label="",style="solid", color="burlywood", weight=9];
1543 -> 814[label="",style="solid", color="burlywood", weight=3];
796[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];1544[label="yv30/yv300 : yv301",fontsize=10,color="white",style="solid",shape="box"];796 -> 1544[label="",style="solid", color="burlywood", weight=9];
1544 -> 815[label="",style="solid", color="burlywood", weight=3];
1545[label="yv30/[]",fontsize=10,color="white",style="solid",shape="box"];796 -> 1545[label="",style="solid", color="burlywood", weight=9];
1545 -> 816[label="",style="solid", color="burlywood", weight=3];
797[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];1546[label="yv30/LT",fontsize=10,color="white",style="solid",shape="box"];797 -> 1546[label="",style="solid", color="burlywood", weight=9];
1546 -> 817[label="",style="solid", color="burlywood", weight=3];
1547[label="yv30/EQ",fontsize=10,color="white",style="solid",shape="box"];797 -> 1547[label="",style="solid", color="burlywood", weight=9];
1547 -> 818[label="",style="solid", color="burlywood", weight=3];
1548[label="yv30/GT",fontsize=10,color="white",style="solid",shape="box"];797 -> 1548[label="",style="solid", color="burlywood", weight=9];
1548 -> 819[label="",style="solid", color="burlywood", weight=3];
798[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];1549[label="yv30/Left yv300",fontsize=10,color="white",style="solid",shape="box"];798 -> 1549[label="",style="solid", color="burlywood", weight=9];
1549 -> 820[label="",style="solid", color="burlywood", weight=3];
1550[label="yv30/Right yv300",fontsize=10,color="white",style="solid",shape="box"];798 -> 1550[label="",style="solid", color="burlywood", weight=9];
1550 -> 821[label="",style="solid", color="burlywood", weight=3];
799[label="yv30 == yv400",fontsize=16,color="burlywood",shape="triangle"];1551[label="yv30/Nothing",fontsize=10,color="white",style="solid",shape="box"];799 -> 1551[label="",style="solid", color="burlywood", weight=9];
1551 -> 822[label="",style="solid", color="burlywood", weight=3];
1552[label="yv30/Just yv300",fontsize=10,color="white",style="solid",shape="box"];799 -> 1552[label="",style="solid", color="burlywood", weight=9];
1552 -> 823[label="",style="solid", color="burlywood", weight=3];
748[label="Maybe.listToMaybe ((++) [] foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv411 (numericEnumFrom $! Pos yv34 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];748 -> 759[label="",style="solid", color="black", weight=3];
749[label="Maybe.listToMaybe ((++) (Pos yv33 : []) foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv411 (numericEnumFrom $! Pos yv34 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];749 -> 760[label="",style="solid", color="black", weight=3];
802[label="Maybe.listToMaybe ((++) [] foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 yv111 (numericEnumFrom $! Pos yv36 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];802 -> 826[label="",style="solid", color="black", weight=3];
803[label="Maybe.listToMaybe ((++) (Pos yv35 : []) foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 yv111 (numericEnumFrom $! Pos yv36 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];803 -> 827[label="",style="solid", color="black", weight=3];
804[label="() == yv400",fontsize=16,color="burlywood",shape="box"];1553[label="yv400/()",fontsize=10,color="white",style="solid",shape="box"];804 -> 1553[label="",style="solid", color="burlywood", weight=9];
1553 -> 828[label="",style="solid", color="burlywood", weight=3];
805[label="primEqFloat yv30 yv400",fontsize=16,color="burlywood",shape="box"];1554[label="yv30/Float yv300 yv301",fontsize=10,color="white",style="solid",shape="box"];805 -> 1554[label="",style="solid", color="burlywood", weight=9];
1554 -> 829[label="",style="solid", color="burlywood", weight=3];
806[label="False == yv400",fontsize=16,color="burlywood",shape="box"];1555[label="yv400/False",fontsize=10,color="white",style="solid",shape="box"];806 -> 1555[label="",style="solid", color="burlywood", weight=9];
1555 -> 830[label="",style="solid", color="burlywood", weight=3];
1556[label="yv400/True",fontsize=10,color="white",style="solid",shape="box"];806 -> 1556[label="",style="solid", color="burlywood", weight=9];
1556 -> 831[label="",style="solid", color="burlywood", weight=3];
807[label="True == yv400",fontsize=16,color="burlywood",shape="box"];1557[label="yv400/False",fontsize=10,color="white",style="solid",shape="box"];807 -> 1557[label="",style="solid", color="burlywood", weight=9];
1557 -> 832[label="",style="solid", color="burlywood", weight=3];
1558[label="yv400/True",fontsize=10,color="white",style="solid",shape="box"];807 -> 1558[label="",style="solid", color="burlywood", weight=9];
1558 -> 833[label="",style="solid", color="burlywood", weight=3];
808[label="primEqDouble yv30 yv400",fontsize=16,color="burlywood",shape="box"];1559[label="yv30/Double yv300 yv301",fontsize=10,color="white",style="solid",shape="box"];808 -> 1559[label="",style="solid", color="burlywood", weight=9];
1559 -> 834[label="",style="solid", color="burlywood", weight=3];
809[label="primEqInt yv30 yv400",fontsize=16,color="burlywood",shape="triangle"];1560[label="yv30/Pos yv300",fontsize=10,color="white",style="solid",shape="box"];809 -> 1560[label="",style="solid", color="burlywood", weight=9];
1560 -> 835[label="",style="solid", color="burlywood", weight=3];
1561[label="yv30/Neg yv300",fontsize=10,color="white",style="solid",shape="box"];809 -> 1561[label="",style="solid", color="burlywood", weight=9];
1561 -> 836[label="",style="solid", color="burlywood", weight=3];
810[label="primEqChar yv30 yv400",fontsize=16,color="burlywood",shape="box"];1562[label="yv30/Char yv300",fontsize=10,color="white",style="solid",shape="box"];810 -> 1562[label="",style="solid", color="burlywood", weight=9];
1562 -> 837[label="",style="solid", color="burlywood", weight=3];
811[label="(yv300,yv301,yv302) == yv400",fontsize=16,color="burlywood",shape="box"];1563[label="yv400/(yv4000,yv4001,yv4002)",fontsize=10,color="white",style="solid",shape="box"];811 -> 1563[label="",style="solid", color="burlywood", weight=9];
1563 -> 838[label="",style="solid", color="burlywood", weight=3];
812[label="(yv300,yv301) == yv400",fontsize=16,color="burlywood",shape="box"];1564[label="yv400/(yv4000,yv4001)",fontsize=10,color="white",style="solid",shape="box"];812 -> 1564[label="",style="solid", color="burlywood", weight=9];
1564 -> 839[label="",style="solid", color="burlywood", weight=3];
813[label="yv300 :% yv301 == yv400",fontsize=16,color="burlywood",shape="box"];1565[label="yv400/yv4000 :% yv4001",fontsize=10,color="white",style="solid",shape="box"];813 -> 1565[label="",style="solid", color="burlywood", weight=9];
1565 -> 840[label="",style="solid", color="burlywood", weight=3];
814[label="Integer yv300 == yv400",fontsize=16,color="burlywood",shape="box"];1566[label="yv400/Integer yv4000",fontsize=10,color="white",style="solid",shape="box"];814 -> 1566[label="",style="solid", color="burlywood", weight=9];
1566 -> 841[label="",style="solid", color="burlywood", weight=3];
815[label="yv300 : yv301 == yv400",fontsize=16,color="burlywood",shape="box"];1567[label="yv400/yv4000 : yv4001",fontsize=10,color="white",style="solid",shape="box"];815 -> 1567[label="",style="solid", color="burlywood", weight=9];
1567 -> 842[label="",style="solid", color="burlywood", weight=3];
1568[label="yv400/[]",fontsize=10,color="white",style="solid",shape="box"];815 -> 1568[label="",style="solid", color="burlywood", weight=9];
1568 -> 843[label="",style="solid", color="burlywood", weight=3];
816[label="[] == yv400",fontsize=16,color="burlywood",shape="box"];1569[label="yv400/yv4000 : yv4001",fontsize=10,color="white",style="solid",shape="box"];816 -> 1569[label="",style="solid", color="burlywood", weight=9];
1569 -> 844[label="",style="solid", color="burlywood", weight=3];
1570[label="yv400/[]",fontsize=10,color="white",style="solid",shape="box"];816 -> 1570[label="",style="solid", color="burlywood", weight=9];
1570 -> 845[label="",style="solid", color="burlywood", weight=3];
817[label="LT == yv400",fontsize=16,color="burlywood",shape="box"];1571[label="yv400/LT",fontsize=10,color="white",style="solid",shape="box"];817 -> 1571[label="",style="solid", color="burlywood", weight=9];
1571 -> 846[label="",style="solid", color="burlywood", weight=3];
1572[label="yv400/EQ",fontsize=10,color="white",style="solid",shape="box"];817 -> 1572[label="",style="solid", color="burlywood", weight=9];
1572 -> 847[label="",style="solid", color="burlywood", weight=3];
1573[label="yv400/GT",fontsize=10,color="white",style="solid",shape="box"];817 -> 1573[label="",style="solid", color="burlywood", weight=9];
1573 -> 848[label="",style="solid", color="burlywood", weight=3];
818[label="EQ == yv400",fontsize=16,color="burlywood",shape="box"];1574[label="yv400/LT",fontsize=10,color="white",style="solid",shape="box"];818 -> 1574[label="",style="solid", color="burlywood", weight=9];
1574 -> 849[label="",style="solid", color="burlywood", weight=3];
1575[label="yv400/EQ",fontsize=10,color="white",style="solid",shape="box"];818 -> 1575[label="",style="solid", color="burlywood", weight=9];
1575 -> 850[label="",style="solid", color="burlywood", weight=3];
1576[label="yv400/GT",fontsize=10,color="white",style="solid",shape="box"];818 -> 1576[label="",style="solid", color="burlywood", weight=9];
1576 -> 851[label="",style="solid", color="burlywood", weight=3];
819[label="GT == yv400",fontsize=16,color="burlywood",shape="box"];1577[label="yv400/LT",fontsize=10,color="white",style="solid",shape="box"];819 -> 1577[label="",style="solid", color="burlywood", weight=9];
1577 -> 852[label="",style="solid", color="burlywood", weight=3];
1578[label="yv400/EQ",fontsize=10,color="white",style="solid",shape="box"];819 -> 1578[label="",style="solid", color="burlywood", weight=9];
1578 -> 853[label="",style="solid", color="burlywood", weight=3];
1579[label="yv400/GT",fontsize=10,color="white",style="solid",shape="box"];819 -> 1579[label="",style="solid", color="burlywood", weight=9];
1579 -> 854[label="",style="solid", color="burlywood", weight=3];
820[label="Left yv300 == yv400",fontsize=16,color="burlywood",shape="box"];1580[label="yv400/Left yv4000",fontsize=10,color="white",style="solid",shape="box"];820 -> 1580[label="",style="solid", color="burlywood", weight=9];
1580 -> 855[label="",style="solid", color="burlywood", weight=3];
1581[label="yv400/Right yv4000",fontsize=10,color="white",style="solid",shape="box"];820 -> 1581[label="",style="solid", color="burlywood", weight=9];
1581 -> 856[label="",style="solid", color="burlywood", weight=3];
821[label="Right yv300 == yv400",fontsize=16,color="burlywood",shape="box"];1582[label="yv400/Left yv4000",fontsize=10,color="white",style="solid",shape="box"];821 -> 1582[label="",style="solid", color="burlywood", weight=9];
1582 -> 857[label="",style="solid", color="burlywood", weight=3];
1583[label="yv400/Right yv4000",fontsize=10,color="white",style="solid",shape="box"];821 -> 1583[label="",style="solid", color="burlywood", weight=9];
1583 -> 858[label="",style="solid", color="burlywood", weight=3];
822[label="Nothing == yv400",fontsize=16,color="burlywood",shape="box"];1584[label="yv400/Nothing",fontsize=10,color="white",style="solid",shape="box"];822 -> 1584[label="",style="solid", color="burlywood", weight=9];
1584 -> 859[label="",style="solid", color="burlywood", weight=3];
1585[label="yv400/Just yv4000",fontsize=10,color="white",style="solid",shape="box"];822 -> 1585[label="",style="solid", color="burlywood", weight=9];
1585 -> 860[label="",style="solid", color="burlywood", weight=3];
823[label="Just yv300 == yv400",fontsize=16,color="burlywood",shape="box"];1586[label="yv400/Nothing",fontsize=10,color="white",style="solid",shape="box"];823 -> 1586[label="",style="solid", color="burlywood", weight=9];
1586 -> 861[label="",style="solid", color="burlywood", weight=3];
1587[label="yv400/Just yv4000",fontsize=10,color="white",style="solid",shape="box"];823 -> 1587[label="",style="solid", color="burlywood", weight=9];
1587 -> 862[label="",style="solid", color="burlywood", weight=3];
759[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv411 (numericEnumFrom $! Pos yv34 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="box"];1588[label="yv411/yv4110 : yv4111",fontsize=10,color="white",style="solid",shape="box"];759 -> 1588[label="",style="solid", color="burlywood", weight=9];
1588 -> 764[label="",style="solid", color="burlywood", weight=3];
1589[label="yv411/[]",fontsize=10,color="white",style="solid",shape="box"];759 -> 1589[label="",style="solid", color="burlywood", weight=9];
1589 -> 765[label="",style="solid", color="burlywood", weight=3];
760[label="Maybe.listToMaybe (Pos yv33 : [] ++ foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv411 (numericEnumFrom $! Pos yv34 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];760 -> 766[label="",style="solid", color="black", weight=3];
826[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 yv111 (numericEnumFrom $! Pos yv36 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="burlywood",shape="box"];1590[label="yv111/yv1110 : yv1111",fontsize=10,color="white",style="solid",shape="box"];826 -> 1590[label="",style="solid", color="burlywood", weight=9];
1590 -> 864[label="",style="solid", color="burlywood", weight=3];
1591[label="yv111/[]",fontsize=10,color="white",style="solid",shape="box"];826 -> 1591[label="",style="solid", color="burlywood", weight=9];
1591 -> 865[label="",style="solid", color="burlywood", weight=3];
827[label="Maybe.listToMaybe (Pos yv35 : [] ++ foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 yv111 (numericEnumFrom $! Pos yv36 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];827 -> 866[label="",style="solid", color="black", weight=3];
828[label="() == ()",fontsize=16,color="black",shape="box"];828 -> 867[label="",style="solid", color="black", weight=3];
829[label="primEqFloat (Float yv300 yv301) yv400",fontsize=16,color="burlywood",shape="box"];1592[label="yv400/Float yv4000 yv4001",fontsize=10,color="white",style="solid",shape="box"];829 -> 1592[label="",style="solid", color="burlywood", weight=9];
1592 -> 868[label="",style="solid", color="burlywood", weight=3];
830[label="False == False",fontsize=16,color="black",shape="box"];830 -> 869[label="",style="solid", color="black", weight=3];
831[label="False == True",fontsize=16,color="black",shape="box"];831 -> 870[label="",style="solid", color="black", weight=3];
832[label="True == False",fontsize=16,color="black",shape="box"];832 -> 871[label="",style="solid", color="black", weight=3];
833[label="True == True",fontsize=16,color="black",shape="box"];833 -> 872[label="",style="solid", color="black", weight=3];
834[label="primEqDouble (Double yv300 yv301) yv400",fontsize=16,color="burlywood",shape="box"];1593[label="yv400/Double yv4000 yv4001",fontsize=10,color="white",style="solid",shape="box"];834 -> 1593[label="",style="solid", color="burlywood", weight=9];
1593 -> 873[label="",style="solid", color="burlywood", weight=3];
835[label="primEqInt (Pos yv300) yv400",fontsize=16,color="burlywood",shape="box"];1594[label="yv300/Succ yv3000",fontsize=10,color="white",style="solid",shape="box"];835 -> 1594[label="",style="solid", color="burlywood", weight=9];
1594 -> 874[label="",style="solid", color="burlywood", weight=3];
1595[label="yv300/Zero",fontsize=10,color="white",style="solid",shape="box"];835 -> 1595[label="",style="solid", color="burlywood", weight=9];
1595 -> 875[label="",style="solid", color="burlywood", weight=3];
836[label="primEqInt (Neg yv300) yv400",fontsize=16,color="burlywood",shape="box"];1596[label="yv300/Succ yv3000",fontsize=10,color="white",style="solid",shape="box"];836 -> 1596[label="",style="solid", color="burlywood", weight=9];
1596 -> 876[label="",style="solid", color="burlywood", weight=3];
1597[label="yv300/Zero",fontsize=10,color="white",style="solid",shape="box"];836 -> 1597[label="",style="solid", color="burlywood", weight=9];
1597 -> 877[label="",style="solid", color="burlywood", weight=3];
837[label="primEqChar (Char yv300) yv400",fontsize=16,color="burlywood",shape="box"];1598[label="yv400/Char yv4000",fontsize=10,color="white",style="solid",shape="box"];837 -> 1598[label="",style="solid", color="burlywood", weight=9];
1598 -> 878[label="",style="solid", color="burlywood", weight=3];
838[label="(yv300,yv301,yv302) == (yv4000,yv4001,yv4002)",fontsize=16,color="black",shape="box"];838 -> 879[label="",style="solid", color="black", weight=3];
839[label="(yv300,yv301) == (yv4000,yv4001)",fontsize=16,color="black",shape="box"];839 -> 880[label="",style="solid", color="black", weight=3];
840[label="yv300 :% yv301 == yv4000 :% yv4001",fontsize=16,color="black",shape="box"];840 -> 881[label="",style="solid", color="black", weight=3];
841[label="Integer yv300 == Integer yv4000",fontsize=16,color="black",shape="box"];841 -> 882[label="",style="solid", color="black", weight=3];
842[label="yv300 : yv301 == yv4000 : yv4001",fontsize=16,color="black",shape="box"];842 -> 883[label="",style="solid", color="black", weight=3];
843[label="yv300 : yv301 == []",fontsize=16,color="black",shape="box"];843 -> 884[label="",style="solid", color="black", weight=3];
844[label="[] == yv4000 : yv4001",fontsize=16,color="black",shape="box"];844 -> 885[label="",style="solid", color="black", weight=3];
845[label="[] == []",fontsize=16,color="black",shape="box"];845 -> 886[label="",style="solid", color="black", weight=3];
846[label="LT == LT",fontsize=16,color="black",shape="box"];846 -> 887[label="",style="solid", color="black", weight=3];
847[label="LT == EQ",fontsize=16,color="black",shape="box"];847 -> 888[label="",style="solid", color="black", weight=3];
848[label="LT == GT",fontsize=16,color="black",shape="box"];848 -> 889[label="",style="solid", color="black", weight=3];
849[label="EQ == LT",fontsize=16,color="black",shape="box"];849 -> 890[label="",style="solid", color="black", weight=3];
850[label="EQ == EQ",fontsize=16,color="black",shape="box"];850 -> 891[label="",style="solid", color="black", weight=3];
851[label="EQ == GT",fontsize=16,color="black",shape="box"];851 -> 892[label="",style="solid", color="black", weight=3];
852[label="GT == LT",fontsize=16,color="black",shape="box"];852 -> 893[label="",style="solid", color="black", weight=3];
853[label="GT == EQ",fontsize=16,color="black",shape="box"];853 -> 894[label="",style="solid", color="black", weight=3];
854[label="GT == GT",fontsize=16,color="black",shape="box"];854 -> 895[label="",style="solid", color="black", weight=3];
855[label="Left yv300 == Left yv4000",fontsize=16,color="black",shape="box"];855 -> 896[label="",style="solid", color="black", weight=3];
856[label="Left yv300 == Right yv4000",fontsize=16,color="black",shape="box"];856 -> 897[label="",style="solid", color="black", weight=3];
857[label="Right yv300 == Left yv4000",fontsize=16,color="black",shape="box"];857 -> 898[label="",style="solid", color="black", weight=3];
858[label="Right yv300 == Right yv4000",fontsize=16,color="black",shape="box"];858 -> 899[label="",style="solid", color="black", weight=3];
859[label="Nothing == Nothing",fontsize=16,color="black",shape="box"];859 -> 900[label="",style="solid", color="black", weight=3];
860[label="Nothing == Just yv4000",fontsize=16,color="black",shape="box"];860 -> 901[label="",style="solid", color="black", weight=3];
861[label="Just yv300 == Nothing",fontsize=16,color="black",shape="box"];861 -> 902[label="",style="solid", color="black", weight=3];
862[label="Just yv300 == Just yv4000",fontsize=16,color="black",shape="box"];862 -> 903[label="",style="solid", color="black", weight=3];
764[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 (yv4110 : yv4111) (numericEnumFrom $! Pos yv34 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];764 -> 800[label="",style="solid", color="black", weight=3];
765[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 [] (numericEnumFrom $! Pos yv34 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];765 -> 801[label="",style="solid", color="black", weight=3];
766[label="Just (Pos yv33)",fontsize=16,color="green",shape="box"];864[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 (yv1110 : yv1111) (numericEnumFrom $! Pos yv36 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];864 -> 905[label="",style="solid", color="black", weight=3];
865[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 [] (numericEnumFrom $! Pos yv36 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];865 -> 906[label="",style="solid", color="black", weight=3];
866[label="Just (Pos yv35)",fontsize=16,color="green",shape="box"];867[label="True",fontsize=16,color="green",shape="box"];868[label="primEqFloat (Float yv300 yv301) (Float yv4000 yv4001)",fontsize=16,color="black",shape="box"];868 -> 907[label="",style="solid", color="black", weight=3];
869[label="True",fontsize=16,color="green",shape="box"];870[label="False",fontsize=16,color="green",shape="box"];871[label="False",fontsize=16,color="green",shape="box"];872[label="True",fontsize=16,color="green",shape="box"];873[label="primEqDouble (Double yv300 yv301) (Double yv4000 yv4001)",fontsize=16,color="black",shape="box"];873 -> 908[label="",style="solid", color="black", weight=3];
874[label="primEqInt (Pos (Succ yv3000)) yv400",fontsize=16,color="burlywood",shape="box"];1599[label="yv400/Pos yv4000",fontsize=10,color="white",style="solid",shape="box"];874 -> 1599[label="",style="solid", color="burlywood", weight=9];
1599 -> 909[label="",style="solid", color="burlywood", weight=3];
1600[label="yv400/Neg yv4000",fontsize=10,color="white",style="solid",shape="box"];874 -> 1600[label="",style="solid", color="burlywood", weight=9];
1600 -> 910[label="",style="solid", color="burlywood", weight=3];
875[label="primEqInt (Pos Zero) yv400",fontsize=16,color="burlywood",shape="box"];1601[label="yv400/Pos yv4000",fontsize=10,color="white",style="solid",shape="box"];875 -> 1601[label="",style="solid", color="burlywood", weight=9];
1601 -> 911[label="",style="solid", color="burlywood", weight=3];
1602[label="yv400/Neg yv4000",fontsize=10,color="white",style="solid",shape="box"];875 -> 1602[label="",style="solid", color="burlywood", weight=9];
1602 -> 912[label="",style="solid", color="burlywood", weight=3];
876[label="primEqInt (Neg (Succ yv3000)) yv400",fontsize=16,color="burlywood",shape="box"];1603[label="yv400/Pos yv4000",fontsize=10,color="white",style="solid",shape="box"];876 -> 1603[label="",style="solid", color="burlywood", weight=9];
1603 -> 913[label="",style="solid", color="burlywood", weight=3];
1604[label="yv400/Neg yv4000",fontsize=10,color="white",style="solid",shape="box"];876 -> 1604[label="",style="solid", color="burlywood", weight=9];
1604 -> 914[label="",style="solid", color="burlywood", weight=3];
877[label="primEqInt (Neg Zero) yv400",fontsize=16,color="burlywood",shape="box"];1605[label="yv400/Pos yv4000",fontsize=10,color="white",style="solid",shape="box"];877 -> 1605[label="",style="solid", color="burlywood", weight=9];
1605 -> 915[label="",style="solid", color="burlywood", weight=3];
1606[label="yv400/Neg yv4000",fontsize=10,color="white",style="solid",shape="box"];877 -> 1606[label="",style="solid", color="burlywood", weight=9];
1606 -> 916[label="",style="solid", color="burlywood", weight=3];
878[label="primEqChar (Char yv300) (Char yv4000)",fontsize=16,color="black",shape="box"];878 -> 917[label="",style="solid", color="black", weight=3];
879 -> 1014[label="",style="dashed", color="red", weight=0];
879[label="yv300 == yv4000 && yv301 == yv4001 && yv302 == yv4002",fontsize=16,color="magenta"];879 -> 1015[label="",style="dashed", color="magenta", weight=3];
879 -> 1016[label="",style="dashed", color="magenta", weight=3];
880 -> 1014[label="",style="dashed", color="red", weight=0];
880[label="yv300 == yv4000 && yv301 == yv4001",fontsize=16,color="magenta"];880 -> 1017[label="",style="dashed", color="magenta", weight=3];
880 -> 1018[label="",style="dashed", color="magenta", weight=3];
881 -> 1014[label="",style="dashed", color="red", weight=0];
881[label="yv300 == yv4000 && yv301 == yv4001",fontsize=16,color="magenta"];881 -> 1019[label="",style="dashed", color="magenta", weight=3];
881 -> 1020[label="",style="dashed", color="magenta", weight=3];
882 -> 809[label="",style="dashed", color="red", weight=0];
882[label="primEqInt yv300 yv4000",fontsize=16,color="magenta"];882 -> 934[label="",style="dashed", color="magenta", weight=3];
882 -> 935[label="",style="dashed", color="magenta", weight=3];
883 -> 1014[label="",style="dashed", color="red", weight=0];
883[label="yv300 == yv4000 && yv301 == yv4001",fontsize=16,color="magenta"];883 -> 1021[label="",style="dashed", color="magenta", weight=3];
883 -> 1022[label="",style="dashed", color="magenta", weight=3];
884[label="False",fontsize=16,color="green",shape="box"];885[label="False",fontsize=16,color="green",shape="box"];886[label="True",fontsize=16,color="green",shape="box"];887[label="True",fontsize=16,color="green",shape="box"];888[label="False",fontsize=16,color="green",shape="box"];889[label="False",fontsize=16,color="green",shape="box"];890[label="False",fontsize=16,color="green",shape="box"];891[label="True",fontsize=16,color="green",shape="box"];892[label="False",fontsize=16,color="green",shape="box"];893[label="False",fontsize=16,color="green",shape="box"];894[label="False",fontsize=16,color="green",shape="box"];895[label="True",fontsize=16,color="green",shape="box"];896[label="yv300 == yv4000",fontsize=16,color="blue",shape="box"];1607[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];896 -> 1607[label="",style="solid", color="blue", weight=9];
1607 -> 936[label="",style="solid", color="blue", weight=3];
1608[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];896 -> 1608[label="",style="solid", color="blue", weight=9];
1608 -> 937[label="",style="solid", color="blue", weight=3];
1609[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];896 -> 1609[label="",style="solid", color="blue", weight=9];
1609 -> 938[label="",style="solid", color="blue", weight=3];
1610[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];896 -> 1610[label="",style="solid", color="blue", weight=9];
1610 -> 939[label="",style="solid", color="blue", weight=3];
1611[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];896 -> 1611[label="",style="solid", color="blue", weight=9];
1611 -> 940[label="",style="solid", color="blue", weight=3];
1612[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];896 -> 1612[label="",style="solid", color="blue", weight=9];
1612 -> 941[label="",style="solid", color="blue", weight=3];
1613[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];896 -> 1613[label="",style="solid", color="blue", weight=9];
1613 -> 942[label="",style="solid", color="blue", weight=3];
1614[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];896 -> 1614[label="",style="solid", color="blue", weight=9];
1614 -> 943[label="",style="solid", color="blue", weight=3];
1615[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];896 -> 1615[label="",style="solid", color="blue", weight=9];
1615 -> 944[label="",style="solid", color="blue", weight=3];
1616[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];896 -> 1616[label="",style="solid", color="blue", weight=9];
1616 -> 945[label="",style="solid", color="blue", weight=3];
1617[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];896 -> 1617[label="",style="solid", color="blue", weight=9];
1617 -> 946[label="",style="solid", color="blue", weight=3];
1618[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];896 -> 1618[label="",style="solid", color="blue", weight=9];
1618 -> 947[label="",style="solid", color="blue", weight=3];
1619[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];896 -> 1619[label="",style="solid", color="blue", weight=9];
1619 -> 948[label="",style="solid", color="blue", weight=3];
1620[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];896 -> 1620[label="",style="solid", color="blue", weight=9];
1620 -> 949[label="",style="solid", color="blue", weight=3];
897[label="False",fontsize=16,color="green",shape="box"];898[label="False",fontsize=16,color="green",shape="box"];899[label="yv300 == yv4000",fontsize=16,color="blue",shape="box"];1621[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];899 -> 1621[label="",style="solid", color="blue", weight=9];
1621 -> 950[label="",style="solid", color="blue", weight=3];
1622[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];899 -> 1622[label="",style="solid", color="blue", weight=9];
1622 -> 951[label="",style="solid", color="blue", weight=3];
1623[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];899 -> 1623[label="",style="solid", color="blue", weight=9];
1623 -> 952[label="",style="solid", color="blue", weight=3];
1624[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];899 -> 1624[label="",style="solid", color="blue", weight=9];
1624 -> 953[label="",style="solid", color="blue", weight=3];
1625[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];899 -> 1625[label="",style="solid", color="blue", weight=9];
1625 -> 954[label="",style="solid", color="blue", weight=3];
1626[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];899 -> 1626[label="",style="solid", color="blue", weight=9];
1626 -> 955[label="",style="solid", color="blue", weight=3];
1627[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];899 -> 1627[label="",style="solid", color="blue", weight=9];
1627 -> 956[label="",style="solid", color="blue", weight=3];
1628[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];899 -> 1628[label="",style="solid", color="blue", weight=9];
1628 -> 957[label="",style="solid", color="blue", weight=3];
1629[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];899 -> 1629[label="",style="solid", color="blue", weight=9];
1629 -> 958[label="",style="solid", color="blue", weight=3];
1630[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];899 -> 1630[label="",style="solid", color="blue", weight=9];
1630 -> 959[label="",style="solid", color="blue", weight=3];
1631[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];899 -> 1631[label="",style="solid", color="blue", weight=9];
1631 -> 960[label="",style="solid", color="blue", weight=3];
1632[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];899 -> 1632[label="",style="solid", color="blue", weight=9];
1632 -> 961[label="",style="solid", color="blue", weight=3];
1633[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];899 -> 1633[label="",style="solid", color="blue", weight=9];
1633 -> 962[label="",style="solid", color="blue", weight=3];
1634[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];899 -> 1634[label="",style="solid", color="blue", weight=9];
1634 -> 963[label="",style="solid", color="blue", weight=3];
900[label="True",fontsize=16,color="green",shape="box"];901[label="False",fontsize=16,color="green",shape="box"];902[label="False",fontsize=16,color="green",shape="box"];903[label="yv300 == yv4000",fontsize=16,color="blue",shape="box"];1635[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];903 -> 1635[label="",style="solid", color="blue", weight=9];
1635 -> 964[label="",style="solid", color="blue", weight=3];
1636[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];903 -> 1636[label="",style="solid", color="blue", weight=9];
1636 -> 965[label="",style="solid", color="blue", weight=3];
1637[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];903 -> 1637[label="",style="solid", color="blue", weight=9];
1637 -> 966[label="",style="solid", color="blue", weight=3];
1638[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];903 -> 1638[label="",style="solid", color="blue", weight=9];
1638 -> 967[label="",style="solid", color="blue", weight=3];
1639[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];903 -> 1639[label="",style="solid", color="blue", weight=9];
1639 -> 968[label="",style="solid", color="blue", weight=3];
1640[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];903 -> 1640[label="",style="solid", color="blue", weight=9];
1640 -> 969[label="",style="solid", color="blue", weight=3];
1641[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];903 -> 1641[label="",style="solid", color="blue", weight=9];
1641 -> 970[label="",style="solid", color="blue", weight=3];
1642[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];903 -> 1642[label="",style="solid", color="blue", weight=9];
1642 -> 971[label="",style="solid", color="blue", weight=3];
1643[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];903 -> 1643[label="",style="solid", color="blue", weight=9];
1643 -> 972[label="",style="solid", color="blue", weight=3];
1644[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];903 -> 1644[label="",style="solid", color="blue", weight=9];
1644 -> 973[label="",style="solid", color="blue", weight=3];
1645[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];903 -> 1645[label="",style="solid", color="blue", weight=9];
1645 -> 974[label="",style="solid", color="blue", weight=3];
1646[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];903 -> 1646[label="",style="solid", color="blue", weight=9];
1646 -> 975[label="",style="solid", color="blue", weight=3];
1647[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];903 -> 1647[label="",style="solid", color="blue", weight=9];
1647 -> 976[label="",style="solid", color="blue", weight=3];
1648[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];903 -> 1648[label="",style="solid", color="blue", weight=9];
1648 -> 977[label="",style="solid", color="blue", weight=3];
800[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 (yv4110 : yv4111) (Pos yv34 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos yv34 + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];800 -> 824[label="",style="solid", color="black", weight=3];
801 -> 16[label="",style="dashed", color="red", weight=0];
801[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Nothing ==)) []))",fontsize=16,color="magenta"];801 -> 825[label="",style="dashed", color="magenta", weight=3];
905[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 (yv1110 : yv1111) (Pos yv36 + fromInt (Pos (Succ Zero)) `seq` numericEnumFrom (Pos yv36 + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];905 -> 978[label="",style="solid", color="black", weight=3];
906 -> 16[label="",style="dashed", color="red", weight=0];
906[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) []))",fontsize=16,color="magenta"];906 -> 979[label="",style="dashed", color="magenta", weight=3];
907 -> 790[label="",style="dashed", color="red", weight=0];
907[label="yv300 * yv4001 == yv301 * yv4000",fontsize=16,color="magenta"];907 -> 980[label="",style="dashed", color="magenta", weight=3];
907 -> 981[label="",style="dashed", color="magenta", weight=3];
908 -> 790[label="",style="dashed", color="red", weight=0];
908[label="yv300 * yv4001 == yv301 * yv4000",fontsize=16,color="magenta"];908 -> 982[label="",style="dashed", color="magenta", weight=3];
908 -> 983[label="",style="dashed", color="magenta", weight=3];
909[label="primEqInt (Pos (Succ yv3000)) (Pos yv4000)",fontsize=16,color="burlywood",shape="box"];1649[label="yv4000/Succ yv40000",fontsize=10,color="white",style="solid",shape="box"];909 -> 1649[label="",style="solid", color="burlywood", weight=9];
1649 -> 984[label="",style="solid", color="burlywood", weight=3];
1650[label="yv4000/Zero",fontsize=10,color="white",style="solid",shape="box"];909 -> 1650[label="",style="solid", color="burlywood", weight=9];
1650 -> 985[label="",style="solid", color="burlywood", weight=3];
910[label="primEqInt (Pos (Succ yv3000)) (Neg yv4000)",fontsize=16,color="black",shape="box"];910 -> 986[label="",style="solid", color="black", weight=3];
911[label="primEqInt (Pos Zero) (Pos yv4000)",fontsize=16,color="burlywood",shape="box"];1651[label="yv4000/Succ yv40000",fontsize=10,color="white",style="solid",shape="box"];911 -> 1651[label="",style="solid", color="burlywood", weight=9];
1651 -> 987[label="",style="solid", color="burlywood", weight=3];
1652[label="yv4000/Zero",fontsize=10,color="white",style="solid",shape="box"];911 -> 1652[label="",style="solid", color="burlywood", weight=9];
1652 -> 988[label="",style="solid", color="burlywood", weight=3];
912[label="primEqInt (Pos Zero) (Neg yv4000)",fontsize=16,color="burlywood",shape="box"];1653[label="yv4000/Succ yv40000",fontsize=10,color="white",style="solid",shape="box"];912 -> 1653[label="",style="solid", color="burlywood", weight=9];
1653 -> 989[label="",style="solid", color="burlywood", weight=3];
1654[label="yv4000/Zero",fontsize=10,color="white",style="solid",shape="box"];912 -> 1654[label="",style="solid", color="burlywood", weight=9];
1654 -> 990[label="",style="solid", color="burlywood", weight=3];
913[label="primEqInt (Neg (Succ yv3000)) (Pos yv4000)",fontsize=16,color="black",shape="box"];913 -> 991[label="",style="solid", color="black", weight=3];
914[label="primEqInt (Neg (Succ yv3000)) (Neg yv4000)",fontsize=16,color="burlywood",shape="box"];1655[label="yv4000/Succ yv40000",fontsize=10,color="white",style="solid",shape="box"];914 -> 1655[label="",style="solid", color="burlywood", weight=9];
1655 -> 992[label="",style="solid", color="burlywood", weight=3];
1656[label="yv4000/Zero",fontsize=10,color="white",style="solid",shape="box"];914 -> 1656[label="",style="solid", color="burlywood", weight=9];
1656 -> 993[label="",style="solid", color="burlywood", weight=3];
915[label="primEqInt (Neg Zero) (Pos yv4000)",fontsize=16,color="burlywood",shape="box"];1657[label="yv4000/Succ yv40000",fontsize=10,color="white",style="solid",shape="box"];915 -> 1657[label="",style="solid", color="burlywood", weight=9];
1657 -> 994[label="",style="solid", color="burlywood", weight=3];
1658[label="yv4000/Zero",fontsize=10,color="white",style="solid",shape="box"];915 -> 1658[label="",style="solid", color="burlywood", weight=9];
1658 -> 995[label="",style="solid", color="burlywood", weight=3];
916[label="primEqInt (Neg Zero) (Neg yv4000)",fontsize=16,color="burlywood",shape="box"];1659[label="yv4000/Succ yv40000",fontsize=10,color="white",style="solid",shape="box"];916 -> 1659[label="",style="solid", color="burlywood", weight=9];
1659 -> 996[label="",style="solid", color="burlywood", weight=3];
1660[label="yv4000/Zero",fontsize=10,color="white",style="solid",shape="box"];916 -> 1660[label="",style="solid", color="burlywood", weight=9];
1660 -> 997[label="",style="solid", color="burlywood", weight=3];
917[label="primEqNat yv300 yv4000",fontsize=16,color="burlywood",shape="triangle"];1661[label="yv300/Succ yv3000",fontsize=10,color="white",style="solid",shape="box"];917 -> 1661[label="",style="solid", color="burlywood", weight=9];
1661 -> 998[label="",style="solid", color="burlywood", weight=3];
1662[label="yv300/Zero",fontsize=10,color="white",style="solid",shape="box"];917 -> 1662[label="",style="solid", color="burlywood", weight=9];
1662 -> 999[label="",style="solid", color="burlywood", weight=3];
1015[label="yv300 == yv4000",fontsize=16,color="blue",shape="box"];1663[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1015 -> 1663[label="",style="solid", color="blue", weight=9];
1663 -> 1026[label="",style="solid", color="blue", weight=3];
1664[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1015 -> 1664[label="",style="solid", color="blue", weight=9];
1664 -> 1027[label="",style="solid", color="blue", weight=3];
1665[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1015 -> 1665[label="",style="solid", color="blue", weight=9];
1665 -> 1028[label="",style="solid", color="blue", weight=3];
1666[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1015 -> 1666[label="",style="solid", color="blue", weight=9];
1666 -> 1029[label="",style="solid", color="blue", weight=3];
1667[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1015 -> 1667[label="",style="solid", color="blue", weight=9];
1667 -> 1030[label="",style="solid", color="blue", weight=3];
1668[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1015 -> 1668[label="",style="solid", color="blue", weight=9];
1668 -> 1031[label="",style="solid", color="blue", weight=3];
1669[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1015 -> 1669[label="",style="solid", color="blue", weight=9];
1669 -> 1032[label="",style="solid", color="blue", weight=3];
1670[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1015 -> 1670[label="",style="solid", color="blue", weight=9];
1670 -> 1033[label="",style="solid", color="blue", weight=3];
1671[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1015 -> 1671[label="",style="solid", color="blue", weight=9];
1671 -> 1034[label="",style="solid", color="blue", weight=3];
1672[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1015 -> 1672[label="",style="solid", color="blue", weight=9];
1672 -> 1035[label="",style="solid", color="blue", weight=3];
1673[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1015 -> 1673[label="",style="solid", color="blue", weight=9];
1673 -> 1036[label="",style="solid", color="blue", weight=3];
1674[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1015 -> 1674[label="",style="solid", color="blue", weight=9];
1674 -> 1037[label="",style="solid", color="blue", weight=3];
1675[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1015 -> 1675[label="",style="solid", color="blue", weight=9];
1675 -> 1038[label="",style="solid", color="blue", weight=3];
1676[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1015 -> 1676[label="",style="solid", color="blue", weight=9];
1676 -> 1039[label="",style="solid", color="blue", weight=3];
1016 -> 1014[label="",style="dashed", color="red", weight=0];
1016[label="yv301 == yv4001 && yv302 == yv4002",fontsize=16,color="magenta"];1016 -> 1040[label="",style="dashed", color="magenta", weight=3];
1016 -> 1041[label="",style="dashed", color="magenta", weight=3];
1014[label="yv44 && yv56",fontsize=16,color="burlywood",shape="triangle"];1677[label="yv44/False",fontsize=10,color="white",style="solid",shape="box"];1014 -> 1677[label="",style="solid", color="burlywood", weight=9];
1677 -> 1042[label="",style="solid", color="burlywood", weight=3];
1678[label="yv44/True",fontsize=10,color="white",style="solid",shape="box"];1014 -> 1678[label="",style="solid", color="burlywood", weight=9];
1678 -> 1043[label="",style="solid", color="burlywood", weight=3];
1017[label="yv300 == yv4000",fontsize=16,color="blue",shape="box"];1679[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1017 -> 1679[label="",style="solid", color="blue", weight=9];
1679 -> 1044[label="",style="solid", color="blue", weight=3];
1680[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1017 -> 1680[label="",style="solid", color="blue", weight=9];
1680 -> 1045[label="",style="solid", color="blue", weight=3];
1681[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1017 -> 1681[label="",style="solid", color="blue", weight=9];
1681 -> 1046[label="",style="solid", color="blue", weight=3];
1682[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1017 -> 1682[label="",style="solid", color="blue", weight=9];
1682 -> 1047[label="",style="solid", color="blue", weight=3];
1683[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1017 -> 1683[label="",style="solid", color="blue", weight=9];
1683 -> 1048[label="",style="solid", color="blue", weight=3];
1684[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1017 -> 1684[label="",style="solid", color="blue", weight=9];
1684 -> 1049[label="",style="solid", color="blue", weight=3];
1685[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1017 -> 1685[label="",style="solid", color="blue", weight=9];
1685 -> 1050[label="",style="solid", color="blue", weight=3];
1686[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1017 -> 1686[label="",style="solid", color="blue", weight=9];
1686 -> 1051[label="",style="solid", color="blue", weight=3];
1687[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1017 -> 1687[label="",style="solid", color="blue", weight=9];
1687 -> 1052[label="",style="solid", color="blue", weight=3];
1688[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1017 -> 1688[label="",style="solid", color="blue", weight=9];
1688 -> 1053[label="",style="solid", color="blue", weight=3];
1689[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1017 -> 1689[label="",style="solid", color="blue", weight=9];
1689 -> 1054[label="",style="solid", color="blue", weight=3];
1690[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1017 -> 1690[label="",style="solid", color="blue", weight=9];
1690 -> 1055[label="",style="solid", color="blue", weight=3];
1691[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1017 -> 1691[label="",style="solid", color="blue", weight=9];
1691 -> 1056[label="",style="solid", color="blue", weight=3];
1692[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1017 -> 1692[label="",style="solid", color="blue", weight=9];
1692 -> 1057[label="",style="solid", color="blue", weight=3];
1018[label="yv301 == yv4001",fontsize=16,color="blue",shape="box"];1693[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1018 -> 1693[label="",style="solid", color="blue", weight=9];
1693 -> 1058[label="",style="solid", color="blue", weight=3];
1694[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1018 -> 1694[label="",style="solid", color="blue", weight=9];
1694 -> 1059[label="",style="solid", color="blue", weight=3];
1695[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1018 -> 1695[label="",style="solid", color="blue", weight=9];
1695 -> 1060[label="",style="solid", color="blue", weight=3];
1696[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1018 -> 1696[label="",style="solid", color="blue", weight=9];
1696 -> 1061[label="",style="solid", color="blue", weight=3];
1697[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1018 -> 1697[label="",style="solid", color="blue", weight=9];
1697 -> 1062[label="",style="solid", color="blue", weight=3];
1698[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1018 -> 1698[label="",style="solid", color="blue", weight=9];
1698 -> 1063[label="",style="solid", color="blue", weight=3];
1699[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1018 -> 1699[label="",style="solid", color="blue", weight=9];
1699 -> 1064[label="",style="solid", color="blue", weight=3];
1700[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1018 -> 1700[label="",style="solid", color="blue", weight=9];
1700 -> 1065[label="",style="solid", color="blue", weight=3];
1701[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1018 -> 1701[label="",style="solid", color="blue", weight=9];
1701 -> 1066[label="",style="solid", color="blue", weight=3];
1702[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1018 -> 1702[label="",style="solid", color="blue", weight=9];
1702 -> 1067[label="",style="solid", color="blue", weight=3];
1703[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1018 -> 1703[label="",style="solid", color="blue", weight=9];
1703 -> 1068[label="",style="solid", color="blue", weight=3];
1704[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1018 -> 1704[label="",style="solid", color="blue", weight=9];
1704 -> 1069[label="",style="solid", color="blue", weight=3];
1705[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1018 -> 1705[label="",style="solid", color="blue", weight=9];
1705 -> 1070[label="",style="solid", color="blue", weight=3];
1706[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1018 -> 1706[label="",style="solid", color="blue", weight=9];
1706 -> 1071[label="",style="solid", color="blue", weight=3];
1019[label="yv300 == yv4000",fontsize=16,color="blue",shape="box"];1707[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1707[label="",style="solid", color="blue", weight=9];
1707 -> 1072[label="",style="solid", color="blue", weight=3];
1708[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1019 -> 1708[label="",style="solid", color="blue", weight=9];
1708 -> 1073[label="",style="solid", color="blue", weight=3];
1020[label="yv301 == yv4001",fontsize=16,color="blue",shape="box"];1709[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1020 -> 1709[label="",style="solid", color="blue", weight=9];
1709 -> 1074[label="",style="solid", color="blue", weight=3];
1710[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1020 -> 1710[label="",style="solid", color="blue", weight=9];
1710 -> 1075[label="",style="solid", color="blue", weight=3];
934[label="yv4000",fontsize=16,color="green",shape="box"];935[label="yv300",fontsize=16,color="green",shape="box"];1021[label="yv300 == yv4000",fontsize=16,color="blue",shape="box"];1711[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1021 -> 1711[label="",style="solid", color="blue", weight=9];
1711 -> 1076[label="",style="solid", color="blue", weight=3];
1712[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1021 -> 1712[label="",style="solid", color="blue", weight=9];
1712 -> 1077[label="",style="solid", color="blue", weight=3];
1713[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1021 -> 1713[label="",style="solid", color="blue", weight=9];
1713 -> 1078[label="",style="solid", color="blue", weight=3];
1714[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1021 -> 1714[label="",style="solid", color="blue", weight=9];
1714 -> 1079[label="",style="solid", color="blue", weight=3];
1715[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1021 -> 1715[label="",style="solid", color="blue", weight=9];
1715 -> 1080[label="",style="solid", color="blue", weight=3];
1716[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1021 -> 1716[label="",style="solid", color="blue", weight=9];
1716 -> 1081[label="",style="solid", color="blue", weight=3];
1717[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1021 -> 1717[label="",style="solid", color="blue", weight=9];
1717 -> 1082[label="",style="solid", color="blue", weight=3];
1718[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1021 -> 1718[label="",style="solid", color="blue", weight=9];
1718 -> 1083[label="",style="solid", color="blue", weight=3];
1719[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1021 -> 1719[label="",style="solid", color="blue", weight=9];
1719 -> 1084[label="",style="solid", color="blue", weight=3];
1720[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1021 -> 1720[label="",style="solid", color="blue", weight=9];
1720 -> 1085[label="",style="solid", color="blue", weight=3];
1721[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1021 -> 1721[label="",style="solid", color="blue", weight=9];
1721 -> 1086[label="",style="solid", color="blue", weight=3];
1722[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1021 -> 1722[label="",style="solid", color="blue", weight=9];
1722 -> 1087[label="",style="solid", color="blue", weight=3];
1723[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1021 -> 1723[label="",style="solid", color="blue", weight=9];
1723 -> 1088[label="",style="solid", color="blue", weight=3];
1724[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1021 -> 1724[label="",style="solid", color="blue", weight=9];
1724 -> 1089[label="",style="solid", color="blue", weight=3];
1022 -> 796[label="",style="dashed", color="red", weight=0];
1022[label="yv301 == yv4001",fontsize=16,color="magenta"];1022 -> 1090[label="",style="dashed", color="magenta", weight=3];
1022 -> 1091[label="",style="dashed", color="magenta", weight=3];
936 -> 786[label="",style="dashed", color="red", weight=0];
936[label="yv300 == yv4000",fontsize=16,color="magenta"];936 -> 1092[label="",style="dashed", color="magenta", weight=3];
936 -> 1093[label="",style="dashed", color="magenta", weight=3];
937 -> 787[label="",style="dashed", color="red", weight=0];
937[label="yv300 == yv4000",fontsize=16,color="magenta"];937 -> 1094[label="",style="dashed", color="magenta", weight=3];
937 -> 1095[label="",style="dashed", color="magenta", weight=3];
938 -> 788[label="",style="dashed", color="red", weight=0];
938[label="yv300 == yv4000",fontsize=16,color="magenta"];938 -> 1096[label="",style="dashed", color="magenta", weight=3];
938 -> 1097[label="",style="dashed", color="magenta", weight=3];
939 -> 789[label="",style="dashed", color="red", weight=0];
939[label="yv300 == yv4000",fontsize=16,color="magenta"];939 -> 1098[label="",style="dashed", color="magenta", weight=3];
939 -> 1099[label="",style="dashed", color="magenta", weight=3];
940 -> 790[label="",style="dashed", color="red", weight=0];
940[label="yv300 == yv4000",fontsize=16,color="magenta"];940 -> 1100[label="",style="dashed", color="magenta", weight=3];
940 -> 1101[label="",style="dashed", color="magenta", weight=3];
941 -> 791[label="",style="dashed", color="red", weight=0];
941[label="yv300 == yv4000",fontsize=16,color="magenta"];941 -> 1102[label="",style="dashed", color="magenta", weight=3];
941 -> 1103[label="",style="dashed", color="magenta", weight=3];
942 -> 792[label="",style="dashed", color="red", weight=0];
942[label="yv300 == yv4000",fontsize=16,color="magenta"];942 -> 1104[label="",style="dashed", color="magenta", weight=3];
942 -> 1105[label="",style="dashed", color="magenta", weight=3];
943 -> 793[label="",style="dashed", color="red", weight=0];
943[label="yv300 == yv4000",fontsize=16,color="magenta"];943 -> 1106[label="",style="dashed", color="magenta", weight=3];
943 -> 1107[label="",style="dashed", color="magenta", weight=3];
944 -> 794[label="",style="dashed", color="red", weight=0];
944[label="yv300 == yv4000",fontsize=16,color="magenta"];944 -> 1108[label="",style="dashed", color="magenta", weight=3];
944 -> 1109[label="",style="dashed", color="magenta", weight=3];
945 -> 795[label="",style="dashed", color="red", weight=0];
945[label="yv300 == yv4000",fontsize=16,color="magenta"];945 -> 1110[label="",style="dashed", color="magenta", weight=3];
945 -> 1111[label="",style="dashed", color="magenta", weight=3];
946 -> 796[label="",style="dashed", color="red", weight=0];
946[label="yv300 == yv4000",fontsize=16,color="magenta"];946 -> 1112[label="",style="dashed", color="magenta", weight=3];
946 -> 1113[label="",style="dashed", color="magenta", weight=3];
947 -> 797[label="",style="dashed", color="red", weight=0];
947[label="yv300 == yv4000",fontsize=16,color="magenta"];947 -> 1114[label="",style="dashed", color="magenta", weight=3];
947 -> 1115[label="",style="dashed", color="magenta", weight=3];
948 -> 798[label="",style="dashed", color="red", weight=0];
948[label="yv300 == yv4000",fontsize=16,color="magenta"];948 -> 1116[label="",style="dashed", color="magenta", weight=3];
948 -> 1117[label="",style="dashed", color="magenta", weight=3];
949 -> 799[label="",style="dashed", color="red", weight=0];
949[label="yv300 == yv4000",fontsize=16,color="magenta"];949 -> 1118[label="",style="dashed", color="magenta", weight=3];
949 -> 1119[label="",style="dashed", color="magenta", weight=3];
950 -> 786[label="",style="dashed", color="red", weight=0];
950[label="yv300 == yv4000",fontsize=16,color="magenta"];950 -> 1120[label="",style="dashed", color="magenta", weight=3];
950 -> 1121[label="",style="dashed", color="magenta", weight=3];
951 -> 787[label="",style="dashed", color="red", weight=0];
951[label="yv300 == yv4000",fontsize=16,color="magenta"];951 -> 1122[label="",style="dashed", color="magenta", weight=3];
951 -> 1123[label="",style="dashed", color="magenta", weight=3];
952 -> 788[label="",style="dashed", color="red", weight=0];
952[label="yv300 == yv4000",fontsize=16,color="magenta"];952 -> 1124[label="",style="dashed", color="magenta", weight=3];
952 -> 1125[label="",style="dashed", color="magenta", weight=3];
953 -> 789[label="",style="dashed", color="red", weight=0];
953[label="yv300 == yv4000",fontsize=16,color="magenta"];953 -> 1126[label="",style="dashed", color="magenta", weight=3];
953 -> 1127[label="",style="dashed", color="magenta", weight=3];
954 -> 790[label="",style="dashed", color="red", weight=0];
954[label="yv300 == yv4000",fontsize=16,color="magenta"];954 -> 1128[label="",style="dashed", color="magenta", weight=3];
954 -> 1129[label="",style="dashed", color="magenta", weight=3];
955 -> 791[label="",style="dashed", color="red", weight=0];
955[label="yv300 == yv4000",fontsize=16,color="magenta"];955 -> 1130[label="",style="dashed", color="magenta", weight=3];
955 -> 1131[label="",style="dashed", color="magenta", weight=3];
956 -> 792[label="",style="dashed", color="red", weight=0];
956[label="yv300 == yv4000",fontsize=16,color="magenta"];956 -> 1132[label="",style="dashed", color="magenta", weight=3];
956 -> 1133[label="",style="dashed", color="magenta", weight=3];
957 -> 793[label="",style="dashed", color="red", weight=0];
957[label="yv300 == yv4000",fontsize=16,color="magenta"];957 -> 1134[label="",style="dashed", color="magenta", weight=3];
957 -> 1135[label="",style="dashed", color="magenta", weight=3];
958 -> 794[label="",style="dashed", color="red", weight=0];
958[label="yv300 == yv4000",fontsize=16,color="magenta"];958 -> 1136[label="",style="dashed", color="magenta", weight=3];
958 -> 1137[label="",style="dashed", color="magenta", weight=3];
959 -> 795[label="",style="dashed", color="red", weight=0];
959[label="yv300 == yv4000",fontsize=16,color="magenta"];959 -> 1138[label="",style="dashed", color="magenta", weight=3];
959 -> 1139[label="",style="dashed", color="magenta", weight=3];
960 -> 796[label="",style="dashed", color="red", weight=0];
960[label="yv300 == yv4000",fontsize=16,color="magenta"];960 -> 1140[label="",style="dashed", color="magenta", weight=3];
960 -> 1141[label="",style="dashed", color="magenta", weight=3];
961 -> 797[label="",style="dashed", color="red", weight=0];
961[label="yv300 == yv4000",fontsize=16,color="magenta"];961 -> 1142[label="",style="dashed", color="magenta", weight=3];
961 -> 1143[label="",style="dashed", color="magenta", weight=3];
962 -> 798[label="",style="dashed", color="red", weight=0];
962[label="yv300 == yv4000",fontsize=16,color="magenta"];962 -> 1144[label="",style="dashed", color="magenta", weight=3];
962 -> 1145[label="",style="dashed", color="magenta", weight=3];
963 -> 799[label="",style="dashed", color="red", weight=0];
963[label="yv300 == yv4000",fontsize=16,color="magenta"];963 -> 1146[label="",style="dashed", color="magenta", weight=3];
963 -> 1147[label="",style="dashed", color="magenta", weight=3];
964 -> 786[label="",style="dashed", color="red", weight=0];
964[label="yv300 == yv4000",fontsize=16,color="magenta"];964 -> 1148[label="",style="dashed", color="magenta", weight=3];
964 -> 1149[label="",style="dashed", color="magenta", weight=3];
965 -> 787[label="",style="dashed", color="red", weight=0];
965[label="yv300 == yv4000",fontsize=16,color="magenta"];965 -> 1150[label="",style="dashed", color="magenta", weight=3];
965 -> 1151[label="",style="dashed", color="magenta", weight=3];
966 -> 788[label="",style="dashed", color="red", weight=0];
966[label="yv300 == yv4000",fontsize=16,color="magenta"];966 -> 1152[label="",style="dashed", color="magenta", weight=3];
966 -> 1153[label="",style="dashed", color="magenta", weight=3];
967 -> 789[label="",style="dashed", color="red", weight=0];
967[label="yv300 == yv4000",fontsize=16,color="magenta"];967 -> 1154[label="",style="dashed", color="magenta", weight=3];
967 -> 1155[label="",style="dashed", color="magenta", weight=3];
968 -> 790[label="",style="dashed", color="red", weight=0];
968[label="yv300 == yv4000",fontsize=16,color="magenta"];968 -> 1156[label="",style="dashed", color="magenta", weight=3];
968 -> 1157[label="",style="dashed", color="magenta", weight=3];
969 -> 791[label="",style="dashed", color="red", weight=0];
969[label="yv300 == yv4000",fontsize=16,color="magenta"];969 -> 1158[label="",style="dashed", color="magenta", weight=3];
969 -> 1159[label="",style="dashed", color="magenta", weight=3];
970 -> 792[label="",style="dashed", color="red", weight=0];
970[label="yv300 == yv4000",fontsize=16,color="magenta"];970 -> 1160[label="",style="dashed", color="magenta", weight=3];
970 -> 1161[label="",style="dashed", color="magenta", weight=3];
971 -> 793[label="",style="dashed", color="red", weight=0];
971[label="yv300 == yv4000",fontsize=16,color="magenta"];971 -> 1162[label="",style="dashed", color="magenta", weight=3];
971 -> 1163[label="",style="dashed", color="magenta", weight=3];
972 -> 794[label="",style="dashed", color="red", weight=0];
972[label="yv300 == yv4000",fontsize=16,color="magenta"];972 -> 1164[label="",style="dashed", color="magenta", weight=3];
972 -> 1165[label="",style="dashed", color="magenta", weight=3];
973 -> 795[label="",style="dashed", color="red", weight=0];
973[label="yv300 == yv4000",fontsize=16,color="magenta"];973 -> 1166[label="",style="dashed", color="magenta", weight=3];
973 -> 1167[label="",style="dashed", color="magenta", weight=3];
974 -> 796[label="",style="dashed", color="red", weight=0];
974[label="yv300 == yv4000",fontsize=16,color="magenta"];974 -> 1168[label="",style="dashed", color="magenta", weight=3];
974 -> 1169[label="",style="dashed", color="magenta", weight=3];
975 -> 797[label="",style="dashed", color="red", weight=0];
975[label="yv300 == yv4000",fontsize=16,color="magenta"];975 -> 1170[label="",style="dashed", color="magenta", weight=3];
975 -> 1171[label="",style="dashed", color="magenta", weight=3];
976 -> 798[label="",style="dashed", color="red", weight=0];
976[label="yv300 == yv4000",fontsize=16,color="magenta"];976 -> 1172[label="",style="dashed", color="magenta", weight=3];
976 -> 1173[label="",style="dashed", color="magenta", weight=3];
977 -> 799[label="",style="dashed", color="red", weight=0];
977[label="yv300 == yv4000",fontsize=16,color="magenta"];977 -> 1174[label="",style="dashed", color="magenta", weight=3];
977 -> 1175[label="",style="dashed", color="magenta", weight=3];
824[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 (yv4110 : yv4111) (enforceWHNF (WHNF (Pos yv34 + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos yv34 + fromInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];824 -> 863[label="",style="solid", color="black", weight=3];
825[label="Nothing",fontsize=16,color="green",shape="box"];978[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 (yv1110 : yv1111) (enforceWHNF (WHNF (Pos yv36 + fromInt (Pos (Succ Zero)))) (numericEnumFrom (Pos yv36 + fromInt (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];978 -> 1176[label="",style="solid", color="black", weight=3];
979[label="Just yv10",fontsize=16,color="green",shape="box"];980[label="yv301 * yv4000",fontsize=16,color="black",shape="triangle"];980 -> 1177[label="",style="solid", color="black", weight=3];
981 -> 980[label="",style="dashed", color="red", weight=0];
981[label="yv300 * yv4001",fontsize=16,color="magenta"];981 -> 1178[label="",style="dashed", color="magenta", weight=3];
981 -> 1179[label="",style="dashed", color="magenta", weight=3];
982 -> 980[label="",style="dashed", color="red", weight=0];
982[label="yv301 * yv4000",fontsize=16,color="magenta"];982 -> 1180[label="",style="dashed", color="magenta", weight=3];
982 -> 1181[label="",style="dashed", color="magenta", weight=3];
983 -> 980[label="",style="dashed", color="red", weight=0];
983[label="yv300 * yv4001",fontsize=16,color="magenta"];983 -> 1182[label="",style="dashed", color="magenta", weight=3];
983 -> 1183[label="",style="dashed", color="magenta", weight=3];
984[label="primEqInt (Pos (Succ yv3000)) (Pos (Succ yv40000))",fontsize=16,color="black",shape="box"];984 -> 1184[label="",style="solid", color="black", weight=3];
985[label="primEqInt (Pos (Succ yv3000)) (Pos Zero)",fontsize=16,color="black",shape="box"];985 -> 1185[label="",style="solid", color="black", weight=3];
986[label="False",fontsize=16,color="green",shape="box"];987[label="primEqInt (Pos Zero) (Pos (Succ yv40000))",fontsize=16,color="black",shape="box"];987 -> 1186[label="",style="solid", color="black", weight=3];
988[label="primEqInt (Pos Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];988 -> 1187[label="",style="solid", color="black", weight=3];
989[label="primEqInt (Pos Zero) (Neg (Succ yv40000))",fontsize=16,color="black",shape="box"];989 -> 1188[label="",style="solid", color="black", weight=3];
990[label="primEqInt (Pos Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];990 -> 1189[label="",style="solid", color="black", weight=3];
991[label="False",fontsize=16,color="green",shape="box"];992[label="primEqInt (Neg (Succ yv3000)) (Neg (Succ yv40000))",fontsize=16,color="black",shape="box"];992 -> 1190[label="",style="solid", color="black", weight=3];
993[label="primEqInt (Neg (Succ yv3000)) (Neg Zero)",fontsize=16,color="black",shape="box"];993 -> 1191[label="",style="solid", color="black", weight=3];
994[label="primEqInt (Neg Zero) (Pos (Succ yv40000))",fontsize=16,color="black",shape="box"];994 -> 1192[label="",style="solid", color="black", weight=3];
995[label="primEqInt (Neg Zero) (Pos Zero)",fontsize=16,color="black",shape="box"];995 -> 1193[label="",style="solid", color="black", weight=3];
996[label="primEqInt (Neg Zero) (Neg (Succ yv40000))",fontsize=16,color="black",shape="box"];996 -> 1194[label="",style="solid", color="black", weight=3];
997[label="primEqInt (Neg Zero) (Neg Zero)",fontsize=16,color="black",shape="box"];997 -> 1195[label="",style="solid", color="black", weight=3];
998[label="primEqNat (Succ yv3000) yv4000",fontsize=16,color="burlywood",shape="box"];1725[label="yv4000/Succ yv40000",fontsize=10,color="white",style="solid",shape="box"];998 -> 1725[label="",style="solid", color="burlywood", weight=9];
1725 -> 1196[label="",style="solid", color="burlywood", weight=3];
1726[label="yv4000/Zero",fontsize=10,color="white",style="solid",shape="box"];998 -> 1726[label="",style="solid", color="burlywood", weight=9];
1726 -> 1197[label="",style="solid", color="burlywood", weight=3];
999[label="primEqNat Zero yv4000",fontsize=16,color="burlywood",shape="box"];1727[label="yv4000/Succ yv40000",fontsize=10,color="white",style="solid",shape="box"];999 -> 1727[label="",style="solid", color="burlywood", weight=9];
1727 -> 1198[label="",style="solid", color="burlywood", weight=3];
1728[label="yv4000/Zero",fontsize=10,color="white",style="solid",shape="box"];999 -> 1728[label="",style="solid", color="burlywood", weight=9];
1728 -> 1199[label="",style="solid", color="burlywood", weight=3];
1026 -> 786[label="",style="dashed", color="red", weight=0];
1026[label="yv300 == yv4000",fontsize=16,color="magenta"];1026 -> 1201[label="",style="dashed", color="magenta", weight=3];
1026 -> 1202[label="",style="dashed", color="magenta", weight=3];
1027 -> 787[label="",style="dashed", color="red", weight=0];
1027[label="yv300 == yv4000",fontsize=16,color="magenta"];1027 -> 1203[label="",style="dashed", color="magenta", weight=3];
1027 -> 1204[label="",style="dashed", color="magenta", weight=3];
1028 -> 788[label="",style="dashed", color="red", weight=0];
1028[label="yv300 == yv4000",fontsize=16,color="magenta"];1028 -> 1205[label="",style="dashed", color="magenta", weight=3];
1028 -> 1206[label="",style="dashed", color="magenta", weight=3];
1029 -> 789[label="",style="dashed", color="red", weight=0];
1029[label="yv300 == yv4000",fontsize=16,color="magenta"];1029 -> 1207[label="",style="dashed", color="magenta", weight=3];
1029 -> 1208[label="",style="dashed", color="magenta", weight=3];
1030 -> 790[label="",style="dashed", color="red", weight=0];
1030[label="yv300 == yv4000",fontsize=16,color="magenta"];1030 -> 1209[label="",style="dashed", color="magenta", weight=3];
1030 -> 1210[label="",style="dashed", color="magenta", weight=3];
1031 -> 791[label="",style="dashed", color="red", weight=0];
1031[label="yv300 == yv4000",fontsize=16,color="magenta"];1031 -> 1211[label="",style="dashed", color="magenta", weight=3];
1031 -> 1212[label="",style="dashed", color="magenta", weight=3];
1032 -> 792[label="",style="dashed", color="red", weight=0];
1032[label="yv300 == yv4000",fontsize=16,color="magenta"];1032 -> 1213[label="",style="dashed", color="magenta", weight=3];
1032 -> 1214[label="",style="dashed", color="magenta", weight=3];
1033 -> 793[label="",style="dashed", color="red", weight=0];
1033[label="yv300 == yv4000",fontsize=16,color="magenta"];1033 -> 1215[label="",style="dashed", color="magenta", weight=3];
1033 -> 1216[label="",style="dashed", color="magenta", weight=3];
1034 -> 794[label="",style="dashed", color="red", weight=0];
1034[label="yv300 == yv4000",fontsize=16,color="magenta"];1034 -> 1217[label="",style="dashed", color="magenta", weight=3];
1034 -> 1218[label="",style="dashed", color="magenta", weight=3];
1035 -> 795[label="",style="dashed", color="red", weight=0];
1035[label="yv300 == yv4000",fontsize=16,color="magenta"];1035 -> 1219[label="",style="dashed", color="magenta", weight=3];
1035 -> 1220[label="",style="dashed", color="magenta", weight=3];
1036 -> 796[label="",style="dashed", color="red", weight=0];
1036[label="yv300 == yv4000",fontsize=16,color="magenta"];1036 -> 1221[label="",style="dashed", color="magenta", weight=3];
1036 -> 1222[label="",style="dashed", color="magenta", weight=3];
1037 -> 797[label="",style="dashed", color="red", weight=0];
1037[label="yv300 == yv4000",fontsize=16,color="magenta"];1037 -> 1223[label="",style="dashed", color="magenta", weight=3];
1037 -> 1224[label="",style="dashed", color="magenta", weight=3];
1038 -> 798[label="",style="dashed", color="red", weight=0];
1038[label="yv300 == yv4000",fontsize=16,color="magenta"];1038 -> 1225[label="",style="dashed", color="magenta", weight=3];
1038 -> 1226[label="",style="dashed", color="magenta", weight=3];
1039 -> 799[label="",style="dashed", color="red", weight=0];
1039[label="yv300 == yv4000",fontsize=16,color="magenta"];1039 -> 1227[label="",style="dashed", color="magenta", weight=3];
1039 -> 1228[label="",style="dashed", color="magenta", weight=3];
1040[label="yv301 == yv4001",fontsize=16,color="blue",shape="box"];1729[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1040 -> 1729[label="",style="solid", color="blue", weight=9];
1729 -> 1229[label="",style="solid", color="blue", weight=3];
1730[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1040 -> 1730[label="",style="solid", color="blue", weight=9];
1730 -> 1230[label="",style="solid", color="blue", weight=3];
1731[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1040 -> 1731[label="",style="solid", color="blue", weight=9];
1731 -> 1231[label="",style="solid", color="blue", weight=3];
1732[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1040 -> 1732[label="",style="solid", color="blue", weight=9];
1732 -> 1232[label="",style="solid", color="blue", weight=3];
1733[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1040 -> 1733[label="",style="solid", color="blue", weight=9];
1733 -> 1233[label="",style="solid", color="blue", weight=3];
1734[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1040 -> 1734[label="",style="solid", color="blue", weight=9];
1734 -> 1234[label="",style="solid", color="blue", weight=3];
1735[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1040 -> 1735[label="",style="solid", color="blue", weight=9];
1735 -> 1235[label="",style="solid", color="blue", weight=3];
1736[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1040 -> 1736[label="",style="solid", color="blue", weight=9];
1736 -> 1236[label="",style="solid", color="blue", weight=3];
1737[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1040 -> 1737[label="",style="solid", color="blue", weight=9];
1737 -> 1237[label="",style="solid", color="blue", weight=3];
1738[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1040 -> 1738[label="",style="solid", color="blue", weight=9];
1738 -> 1238[label="",style="solid", color="blue", weight=3];
1739[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1040 -> 1739[label="",style="solid", color="blue", weight=9];
1739 -> 1239[label="",style="solid", color="blue", weight=3];
1740[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1040 -> 1740[label="",style="solid", color="blue", weight=9];
1740 -> 1240[label="",style="solid", color="blue", weight=3];
1741[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1040 -> 1741[label="",style="solid", color="blue", weight=9];
1741 -> 1241[label="",style="solid", color="blue", weight=3];
1742[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1040 -> 1742[label="",style="solid", color="blue", weight=9];
1742 -> 1242[label="",style="solid", color="blue", weight=3];
1041[label="yv302 == yv4002",fontsize=16,color="blue",shape="box"];1743[label="== :: () -> () -> Bool",fontsize=10,color="white",style="solid",shape="box"];1041 -> 1743[label="",style="solid", color="blue", weight=9];
1743 -> 1243[label="",style="solid", color="blue", weight=3];
1744[label="== :: Float -> Float -> Bool",fontsize=10,color="white",style="solid",shape="box"];1041 -> 1744[label="",style="solid", color="blue", weight=9];
1744 -> 1244[label="",style="solid", color="blue", weight=3];
1745[label="== :: Bool -> Bool -> Bool",fontsize=10,color="white",style="solid",shape="box"];1041 -> 1745[label="",style="solid", color="blue", weight=9];
1745 -> 1245[label="",style="solid", color="blue", weight=3];
1746[label="== :: Double -> Double -> Bool",fontsize=10,color="white",style="solid",shape="box"];1041 -> 1746[label="",style="solid", color="blue", weight=9];
1746 -> 1246[label="",style="solid", color="blue", weight=3];
1747[label="== :: Int -> Int -> Bool",fontsize=10,color="white",style="solid",shape="box"];1041 -> 1747[label="",style="solid", color="blue", weight=9];
1747 -> 1247[label="",style="solid", color="blue", weight=3];
1748[label="== :: Char -> Char -> Bool",fontsize=10,color="white",style="solid",shape="box"];1041 -> 1748[label="",style="solid", color="blue", weight=9];
1748 -> 1248[label="",style="solid", color="blue", weight=3];
1749[label="== :: ((@3) a b c) -> ((@3) a b c) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1041 -> 1749[label="",style="solid", color="blue", weight=9];
1749 -> 1249[label="",style="solid", color="blue", weight=3];
1750[label="== :: ((@2) a b) -> ((@2) a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1041 -> 1750[label="",style="solid", color="blue", weight=9];
1750 -> 1250[label="",style="solid", color="blue", weight=3];
1751[label="== :: (Ratio a) -> (Ratio a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1041 -> 1751[label="",style="solid", color="blue", weight=9];
1751 -> 1251[label="",style="solid", color="blue", weight=3];
1752[label="== :: Integer -> Integer -> Bool",fontsize=10,color="white",style="solid",shape="box"];1041 -> 1752[label="",style="solid", color="blue", weight=9];
1752 -> 1252[label="",style="solid", color="blue", weight=3];
1753[label="== :: ([] a) -> ([] a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1041 -> 1753[label="",style="solid", color="blue", weight=9];
1753 -> 1253[label="",style="solid", color="blue", weight=3];
1754[label="== :: Ordering -> Ordering -> Bool",fontsize=10,color="white",style="solid",shape="box"];1041 -> 1754[label="",style="solid", color="blue", weight=9];
1754 -> 1254[label="",style="solid", color="blue", weight=3];
1755[label="== :: (Either a b) -> (Either a b) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1041 -> 1755[label="",style="solid", color="blue", weight=9];
1755 -> 1255[label="",style="solid", color="blue", weight=3];
1756[label="== :: (Maybe a) -> (Maybe a) -> Bool",fontsize=10,color="white",style="solid",shape="box"];1041 -> 1756[label="",style="solid", color="blue", weight=9];
1756 -> 1256[label="",style="solid", color="blue", weight=3];
1042[label="False && yv56",fontsize=16,color="black",shape="box"];1042 -> 1257[label="",style="solid", color="black", weight=3];
1043[label="True && yv56",fontsize=16,color="black",shape="box"];1043 -> 1258[label="",style="solid", color="black", weight=3];
1044 -> 786[label="",style="dashed", color="red", weight=0];
1044[label="yv300 == yv4000",fontsize=16,color="magenta"];1044 -> 1259[label="",style="dashed", color="magenta", weight=3];
1044 -> 1260[label="",style="dashed", color="magenta", weight=3];
1045 -> 787[label="",style="dashed", color="red", weight=0];
1045[label="yv300 == yv4000",fontsize=16,color="magenta"];1045 -> 1261[label="",style="dashed", color="magenta", weight=3];
1045 -> 1262[label="",style="dashed", color="magenta", weight=3];
1046 -> 788[label="",style="dashed", color="red", weight=0];
1046[label="yv300 == yv4000",fontsize=16,color="magenta"];1046 -> 1263[label="",style="dashed", color="magenta", weight=3];
1046 -> 1264[label="",style="dashed", color="magenta", weight=3];
1047 -> 789[label="",style="dashed", color="red", weight=0];
1047[label="yv300 == yv4000",fontsize=16,color="magenta"];1047 -> 1265[label="",style="dashed", color="magenta", weight=3];
1047 -> 1266[label="",style="dashed", color="magenta", weight=3];
1048 -> 790[label="",style="dashed", color="red", weight=0];
1048[label="yv300 == yv4000",fontsize=16,color="magenta"];1048 -> 1267[label="",style="dashed", color="magenta", weight=3];
1048 -> 1268[label="",style="dashed", color="magenta", weight=3];
1049 -> 791[label="",style="dashed", color="red", weight=0];
1049[label="yv300 == yv4000",fontsize=16,color="magenta"];1049 -> 1269[label="",style="dashed", color="magenta", weight=3];
1049 -> 1270[label="",style="dashed", color="magenta", weight=3];
1050 -> 792[label="",style="dashed", color="red", weight=0];
1050[label="yv300 == yv4000",fontsize=16,color="magenta"];1050 -> 1271[label="",style="dashed", color="magenta", weight=3];
1050 -> 1272[label="",style="dashed", color="magenta", weight=3];
1051 -> 793[label="",style="dashed", color="red", weight=0];
1051[label="yv300 == yv4000",fontsize=16,color="magenta"];1051 -> 1273[label="",style="dashed", color="magenta", weight=3];
1051 -> 1274[label="",style="dashed", color="magenta", weight=3];
1052 -> 794[label="",style="dashed", color="red", weight=0];
1052[label="yv300 == yv4000",fontsize=16,color="magenta"];1052 -> 1275[label="",style="dashed", color="magenta", weight=3];
1052 -> 1276[label="",style="dashed", color="magenta", weight=3];
1053 -> 795[label="",style="dashed", color="red", weight=0];
1053[label="yv300 == yv4000",fontsize=16,color="magenta"];1053 -> 1277[label="",style="dashed", color="magenta", weight=3];
1053 -> 1278[label="",style="dashed", color="magenta", weight=3];
1054 -> 796[label="",style="dashed", color="red", weight=0];
1054[label="yv300 == yv4000",fontsize=16,color="magenta"];1054 -> 1279[label="",style="dashed", color="magenta", weight=3];
1054 -> 1280[label="",style="dashed", color="magenta", weight=3];
1055 -> 797[label="",style="dashed", color="red", weight=0];
1055[label="yv300 == yv4000",fontsize=16,color="magenta"];1055 -> 1281[label="",style="dashed", color="magenta", weight=3];
1055 -> 1282[label="",style="dashed", color="magenta", weight=3];
1056 -> 798[label="",style="dashed", color="red", weight=0];
1056[label="yv300 == yv4000",fontsize=16,color="magenta"];1056 -> 1283[label="",style="dashed", color="magenta", weight=3];
1056 -> 1284[label="",style="dashed", color="magenta", weight=3];
1057 -> 799[label="",style="dashed", color="red", weight=0];
1057[label="yv300 == yv4000",fontsize=16,color="magenta"];1057 -> 1285[label="",style="dashed", color="magenta", weight=3];
1057 -> 1286[label="",style="dashed", color="magenta", weight=3];
1058 -> 786[label="",style="dashed", color="red", weight=0];
1058[label="yv301 == yv4001",fontsize=16,color="magenta"];1058 -> 1287[label="",style="dashed", color="magenta", weight=3];
1058 -> 1288[label="",style="dashed", color="magenta", weight=3];
1059 -> 787[label="",style="dashed", color="red", weight=0];
1059[label="yv301 == yv4001",fontsize=16,color="magenta"];1059 -> 1289[label="",style="dashed", color="magenta", weight=3];
1059 -> 1290[label="",style="dashed", color="magenta", weight=3];
1060 -> 788[label="",style="dashed", color="red", weight=0];
1060[label="yv301 == yv4001",fontsize=16,color="magenta"];1060 -> 1291[label="",style="dashed", color="magenta", weight=3];
1060 -> 1292[label="",style="dashed", color="magenta", weight=3];
1061 -> 789[label="",style="dashed", color="red", weight=0];
1061[label="yv301 == yv4001",fontsize=16,color="magenta"];1061 -> 1293[label="",style="dashed", color="magenta", weight=3];
1061 -> 1294[label="",style="dashed", color="magenta", weight=3];
1062 -> 790[label="",style="dashed", color="red", weight=0];
1062[label="yv301 == yv4001",fontsize=16,color="magenta"];1062 -> 1295[label="",style="dashed", color="magenta", weight=3];
1062 -> 1296[label="",style="dashed", color="magenta", weight=3];
1063 -> 791[label="",style="dashed", color="red", weight=0];
1063[label="yv301 == yv4001",fontsize=16,color="magenta"];1063 -> 1297[label="",style="dashed", color="magenta", weight=3];
1063 -> 1298[label="",style="dashed", color="magenta", weight=3];
1064 -> 792[label="",style="dashed", color="red", weight=0];
1064[label="yv301 == yv4001",fontsize=16,color="magenta"];1064 -> 1299[label="",style="dashed", color="magenta", weight=3];
1064 -> 1300[label="",style="dashed", color="magenta", weight=3];
1065 -> 793[label="",style="dashed", color="red", weight=0];
1065[label="yv301 == yv4001",fontsize=16,color="magenta"];1065 -> 1301[label="",style="dashed", color="magenta", weight=3];
1065 -> 1302[label="",style="dashed", color="magenta", weight=3];
1066 -> 794[label="",style="dashed", color="red", weight=0];
1066[label="yv301 == yv4001",fontsize=16,color="magenta"];1066 -> 1303[label="",style="dashed", color="magenta", weight=3];
1066 -> 1304[label="",style="dashed", color="magenta", weight=3];
1067 -> 795[label="",style="dashed", color="red", weight=0];
1067[label="yv301 == yv4001",fontsize=16,color="magenta"];1067 -> 1305[label="",style="dashed", color="magenta", weight=3];
1067 -> 1306[label="",style="dashed", color="magenta", weight=3];
1068 -> 796[label="",style="dashed", color="red", weight=0];
1068[label="yv301 == yv4001",fontsize=16,color="magenta"];1068 -> 1307[label="",style="dashed", color="magenta", weight=3];
1068 -> 1308[label="",style="dashed", color="magenta", weight=3];
1069 -> 797[label="",style="dashed", color="red", weight=0];
1069[label="yv301 == yv4001",fontsize=16,color="magenta"];1069 -> 1309[label="",style="dashed", color="magenta", weight=3];
1069 -> 1310[label="",style="dashed", color="magenta", weight=3];
1070 -> 798[label="",style="dashed", color="red", weight=0];
1070[label="yv301 == yv4001",fontsize=16,color="magenta"];1070 -> 1311[label="",style="dashed", color="magenta", weight=3];
1070 -> 1312[label="",style="dashed", color="magenta", weight=3];
1071 -> 799[label="",style="dashed", color="red", weight=0];
1071[label="yv301 == yv4001",fontsize=16,color="magenta"];1071 -> 1313[label="",style="dashed", color="magenta", weight=3];
1071 -> 1314[label="",style="dashed", color="magenta", weight=3];
1072 -> 790[label="",style="dashed", color="red", weight=0];
1072[label="yv300 == yv4000",fontsize=16,color="magenta"];1072 -> 1315[label="",style="dashed", color="magenta", weight=3];
1072 -> 1316[label="",style="dashed", color="magenta", weight=3];
1073 -> 795[label="",style="dashed", color="red", weight=0];
1073[label="yv300 == yv4000",fontsize=16,color="magenta"];1073 -> 1317[label="",style="dashed", color="magenta", weight=3];
1073 -> 1318[label="",style="dashed", color="magenta", weight=3];
1074 -> 790[label="",style="dashed", color="red", weight=0];
1074[label="yv301 == yv4001",fontsize=16,color="magenta"];1074 -> 1319[label="",style="dashed", color="magenta", weight=3];
1074 -> 1320[label="",style="dashed", color="magenta", weight=3];
1075 -> 795[label="",style="dashed", color="red", weight=0];
1075[label="yv301 == yv4001",fontsize=16,color="magenta"];1075 -> 1321[label="",style="dashed", color="magenta", weight=3];
1075 -> 1322[label="",style="dashed", color="magenta", weight=3];
1076 -> 786[label="",style="dashed", color="red", weight=0];
1076[label="yv300 == yv4000",fontsize=16,color="magenta"];1076 -> 1323[label="",style="dashed", color="magenta", weight=3];
1076 -> 1324[label="",style="dashed", color="magenta", weight=3];
1077 -> 787[label="",style="dashed", color="red", weight=0];
1077[label="yv300 == yv4000",fontsize=16,color="magenta"];1077 -> 1325[label="",style="dashed", color="magenta", weight=3];
1077 -> 1326[label="",style="dashed", color="magenta", weight=3];
1078 -> 788[label="",style="dashed", color="red", weight=0];
1078[label="yv300 == yv4000",fontsize=16,color="magenta"];1078 -> 1327[label="",style="dashed", color="magenta", weight=3];
1078 -> 1328[label="",style="dashed", color="magenta", weight=3];
1079 -> 789[label="",style="dashed", color="red", weight=0];
1079[label="yv300 == yv4000",fontsize=16,color="magenta"];1079 -> 1329[label="",style="dashed", color="magenta", weight=3];
1079 -> 1330[label="",style="dashed", color="magenta", weight=3];
1080 -> 790[label="",style="dashed", color="red", weight=0];
1080[label="yv300 == yv4000",fontsize=16,color="magenta"];1080 -> 1331[label="",style="dashed", color="magenta", weight=3];
1080 -> 1332[label="",style="dashed", color="magenta", weight=3];
1081 -> 791[label="",style="dashed", color="red", weight=0];
1081[label="yv300 == yv4000",fontsize=16,color="magenta"];1081 -> 1333[label="",style="dashed", color="magenta", weight=3];
1081 -> 1334[label="",style="dashed", color="magenta", weight=3];
1082 -> 792[label="",style="dashed", color="red", weight=0];
1082[label="yv300 == yv4000",fontsize=16,color="magenta"];1082 -> 1335[label="",style="dashed", color="magenta", weight=3];
1082 -> 1336[label="",style="dashed", color="magenta", weight=3];
1083 -> 793[label="",style="dashed", color="red", weight=0];
1083[label="yv300 == yv4000",fontsize=16,color="magenta"];1083 -> 1337[label="",style="dashed", color="magenta", weight=3];
1083 -> 1338[label="",style="dashed", color="magenta", weight=3];
1084 -> 794[label="",style="dashed", color="red", weight=0];
1084[label="yv300 == yv4000",fontsize=16,color="magenta"];1084 -> 1339[label="",style="dashed", color="magenta", weight=3];
1084 -> 1340[label="",style="dashed", color="magenta", weight=3];
1085 -> 795[label="",style="dashed", color="red", weight=0];
1085[label="yv300 == yv4000",fontsize=16,color="magenta"];1085 -> 1341[label="",style="dashed", color="magenta", weight=3];
1085 -> 1342[label="",style="dashed", color="magenta", weight=3];
1086 -> 796[label="",style="dashed", color="red", weight=0];
1086[label="yv300 == yv4000",fontsize=16,color="magenta"];1086 -> 1343[label="",style="dashed", color="magenta", weight=3];
1086 -> 1344[label="",style="dashed", color="magenta", weight=3];
1087 -> 797[label="",style="dashed", color="red", weight=0];
1087[label="yv300 == yv4000",fontsize=16,color="magenta"];1087 -> 1345[label="",style="dashed", color="magenta", weight=3];
1087 -> 1346[label="",style="dashed", color="magenta", weight=3];
1088 -> 798[label="",style="dashed", color="red", weight=0];
1088[label="yv300 == yv4000",fontsize=16,color="magenta"];1088 -> 1347[label="",style="dashed", color="magenta", weight=3];
1088 -> 1348[label="",style="dashed", color="magenta", weight=3];
1089 -> 799[label="",style="dashed", color="red", weight=0];
1089[label="yv300 == yv4000",fontsize=16,color="magenta"];1089 -> 1349[label="",style="dashed", color="magenta", weight=3];
1089 -> 1350[label="",style="dashed", color="magenta", weight=3];
1090[label="yv4001",fontsize=16,color="green",shape="box"];1091[label="yv301",fontsize=16,color="green",shape="box"];1092[label="yv4000",fontsize=16,color="green",shape="box"];1093[label="yv300",fontsize=16,color="green",shape="box"];1094[label="yv4000",fontsize=16,color="green",shape="box"];1095[label="yv300",fontsize=16,color="green",shape="box"];1096[label="yv4000",fontsize=16,color="green",shape="box"];1097[label="yv300",fontsize=16,color="green",shape="box"];1098[label="yv4000",fontsize=16,color="green",shape="box"];1099[label="yv300",fontsize=16,color="green",shape="box"];1100[label="yv4000",fontsize=16,color="green",shape="box"];1101[label="yv300",fontsize=16,color="green",shape="box"];1102[label="yv4000",fontsize=16,color="green",shape="box"];1103[label="yv300",fontsize=16,color="green",shape="box"];1104[label="yv4000",fontsize=16,color="green",shape="box"];1105[label="yv300",fontsize=16,color="green",shape="box"];1106[label="yv4000",fontsize=16,color="green",shape="box"];1107[label="yv300",fontsize=16,color="green",shape="box"];1108[label="yv4000",fontsize=16,color="green",shape="box"];1109[label="yv300",fontsize=16,color="green",shape="box"];1110[label="yv4000",fontsize=16,color="green",shape="box"];1111[label="yv300",fontsize=16,color="green",shape="box"];1112[label="yv4000",fontsize=16,color="green",shape="box"];1113[label="yv300",fontsize=16,color="green",shape="box"];1114[label="yv4000",fontsize=16,color="green",shape="box"];1115[label="yv300",fontsize=16,color="green",shape="box"];1116[label="yv4000",fontsize=16,color="green",shape="box"];1117[label="yv300",fontsize=16,color="green",shape="box"];1118[label="yv4000",fontsize=16,color="green",shape="box"];1119[label="yv300",fontsize=16,color="green",shape="box"];1120[label="yv4000",fontsize=16,color="green",shape="box"];1121[label="yv300",fontsize=16,color="green",shape="box"];1122[label="yv4000",fontsize=16,color="green",shape="box"];1123[label="yv300",fontsize=16,color="green",shape="box"];1124[label="yv4000",fontsize=16,color="green",shape="box"];1125[label="yv300",fontsize=16,color="green",shape="box"];1126[label="yv4000",fontsize=16,color="green",shape="box"];1127[label="yv300",fontsize=16,color="green",shape="box"];1128[label="yv4000",fontsize=16,color="green",shape="box"];1129[label="yv300",fontsize=16,color="green",shape="box"];1130[label="yv4000",fontsize=16,color="green",shape="box"];1131[label="yv300",fontsize=16,color="green",shape="box"];1132[label="yv4000",fontsize=16,color="green",shape="box"];1133[label="yv300",fontsize=16,color="green",shape="box"];1134[label="yv4000",fontsize=16,color="green",shape="box"];1135[label="yv300",fontsize=16,color="green",shape="box"];1136[label="yv4000",fontsize=16,color="green",shape="box"];1137[label="yv300",fontsize=16,color="green",shape="box"];1138[label="yv4000",fontsize=16,color="green",shape="box"];1139[label="yv300",fontsize=16,color="green",shape="box"];1140[label="yv4000",fontsize=16,color="green",shape="box"];1141[label="yv300",fontsize=16,color="green",shape="box"];1142[label="yv4000",fontsize=16,color="green",shape="box"];1143[label="yv300",fontsize=16,color="green",shape="box"];1144[label="yv4000",fontsize=16,color="green",shape="box"];1145[label="yv300",fontsize=16,color="green",shape="box"];1146[label="yv4000",fontsize=16,color="green",shape="box"];1147[label="yv300",fontsize=16,color="green",shape="box"];1148[label="yv4000",fontsize=16,color="green",shape="box"];1149[label="yv300",fontsize=16,color="green",shape="box"];1150[label="yv4000",fontsize=16,color="green",shape="box"];1151[label="yv300",fontsize=16,color="green",shape="box"];1152[label="yv4000",fontsize=16,color="green",shape="box"];1153[label="yv300",fontsize=16,color="green",shape="box"];1154[label="yv4000",fontsize=16,color="green",shape="box"];1155[label="yv300",fontsize=16,color="green",shape="box"];1156[label="yv4000",fontsize=16,color="green",shape="box"];1157[label="yv300",fontsize=16,color="green",shape="box"];1158[label="yv4000",fontsize=16,color="green",shape="box"];1159[label="yv300",fontsize=16,color="green",shape="box"];1160[label="yv4000",fontsize=16,color="green",shape="box"];1161[label="yv300",fontsize=16,color="green",shape="box"];1162[label="yv4000",fontsize=16,color="green",shape="box"];1163[label="yv300",fontsize=16,color="green",shape="box"];1164[label="yv4000",fontsize=16,color="green",shape="box"];1165[label="yv300",fontsize=16,color="green",shape="box"];1166[label="yv4000",fontsize=16,color="green",shape="box"];1167[label="yv300",fontsize=16,color="green",shape="box"];1168[label="yv4000",fontsize=16,color="green",shape="box"];1169[label="yv300",fontsize=16,color="green",shape="box"];1170[label="yv4000",fontsize=16,color="green",shape="box"];1171[label="yv300",fontsize=16,color="green",shape="box"];1172[label="yv4000",fontsize=16,color="green",shape="box"];1173[label="yv300",fontsize=16,color="green",shape="box"];1174[label="yv4000",fontsize=16,color="green",shape="box"];1175[label="yv300",fontsize=16,color="green",shape="box"];863[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 (yv4110 : yv4111) (enforceWHNF (WHNF (primPlusInt (Pos yv34) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos yv34) (fromInt (Pos (Succ Zero)))))))))",fontsize=16,color="black",shape="box"];863 -> 904[label="",style="solid", color="black", weight=3];
1176[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 (yv1110 : yv1111) (enforceWHNF (WHNF (primPlusInt (Pos yv36) (fromInt (Pos (Succ Zero))))) (numericEnumFrom (primPlusInt (Pos yv36) (fromInt (Pos (Succ Zero)))))))))",fontsize=16,color="black",shape="box"];1176 -> 1351[label="",style="solid", color="black", weight=3];
1177[label="primMulInt yv301 yv4000",fontsize=16,color="burlywood",shape="box"];1757[label="yv301/Pos yv3010",fontsize=10,color="white",style="solid",shape="box"];1177 -> 1757[label="",style="solid", color="burlywood", weight=9];
1757 -> 1352[label="",style="solid", color="burlywood", weight=3];
1758[label="yv301/Neg yv3010",fontsize=10,color="white",style="solid",shape="box"];1177 -> 1758[label="",style="solid", color="burlywood", weight=9];
1758 -> 1353[label="",style="solid", color="burlywood", weight=3];
1178[label="yv300",fontsize=16,color="green",shape="box"];1179[label="yv4001",fontsize=16,color="green",shape="box"];1180[label="yv301",fontsize=16,color="green",shape="box"];1181[label="yv4000",fontsize=16,color="green",shape="box"];1182[label="yv300",fontsize=16,color="green",shape="box"];1183[label="yv4001",fontsize=16,color="green",shape="box"];1184 -> 917[label="",style="dashed", color="red", weight=0];
1184[label="primEqNat yv3000 yv40000",fontsize=16,color="magenta"];1184 -> 1354[label="",style="dashed", color="magenta", weight=3];
1184 -> 1355[label="",style="dashed", color="magenta", weight=3];
1185[label="False",fontsize=16,color="green",shape="box"];1186[label="False",fontsize=16,color="green",shape="box"];1187[label="True",fontsize=16,color="green",shape="box"];1188[label="False",fontsize=16,color="green",shape="box"];1189[label="True",fontsize=16,color="green",shape="box"];1190 -> 917[label="",style="dashed", color="red", weight=0];
1190[label="primEqNat yv3000 yv40000",fontsize=16,color="magenta"];1190 -> 1356[label="",style="dashed", color="magenta", weight=3];
1190 -> 1357[label="",style="dashed", color="magenta", weight=3];
1191[label="False",fontsize=16,color="green",shape="box"];1192[label="False",fontsize=16,color="green",shape="box"];1193[label="True",fontsize=16,color="green",shape="box"];1194[label="False",fontsize=16,color="green",shape="box"];1195[label="True",fontsize=16,color="green",shape="box"];1196[label="primEqNat (Succ yv3000) (Succ yv40000)",fontsize=16,color="black",shape="box"];1196 -> 1358[label="",style="solid", color="black", weight=3];
1197[label="primEqNat (Succ yv3000) Zero",fontsize=16,color="black",shape="box"];1197 -> 1359[label="",style="solid", color="black", weight=3];
1198[label="primEqNat Zero (Succ yv40000)",fontsize=16,color="black",shape="box"];1198 -> 1360[label="",style="solid", color="black", weight=3];
1199[label="primEqNat Zero Zero",fontsize=16,color="black",shape="box"];1199 -> 1361[label="",style="solid", color="black", weight=3];
1201[label="yv4000",fontsize=16,color="green",shape="box"];1202[label="yv300",fontsize=16,color="green",shape="box"];1203[label="yv4000",fontsize=16,color="green",shape="box"];1204[label="yv300",fontsize=16,color="green",shape="box"];1205[label="yv4000",fontsize=16,color="green",shape="box"];1206[label="yv300",fontsize=16,color="green",shape="box"];1207[label="yv4000",fontsize=16,color="green",shape="box"];1208[label="yv300",fontsize=16,color="green",shape="box"];1209[label="yv4000",fontsize=16,color="green",shape="box"];1210[label="yv300",fontsize=16,color="green",shape="box"];1211[label="yv4000",fontsize=16,color="green",shape="box"];1212[label="yv300",fontsize=16,color="green",shape="box"];1213[label="yv4000",fontsize=16,color="green",shape="box"];1214[label="yv300",fontsize=16,color="green",shape="box"];1215[label="yv4000",fontsize=16,color="green",shape="box"];1216[label="yv300",fontsize=16,color="green",shape="box"];1217[label="yv4000",fontsize=16,color="green",shape="box"];1218[label="yv300",fontsize=16,color="green",shape="box"];1219[label="yv4000",fontsize=16,color="green",shape="box"];1220[label="yv300",fontsize=16,color="green",shape="box"];1221[label="yv4000",fontsize=16,color="green",shape="box"];1222[label="yv300",fontsize=16,color="green",shape="box"];1223[label="yv4000",fontsize=16,color="green",shape="box"];1224[label="yv300",fontsize=16,color="green",shape="box"];1225[label="yv4000",fontsize=16,color="green",shape="box"];1226[label="yv300",fontsize=16,color="green",shape="box"];1227[label="yv4000",fontsize=16,color="green",shape="box"];1228[label="yv300",fontsize=16,color="green",shape="box"];1229 -> 786[label="",style="dashed", color="red", weight=0];
1229[label="yv301 == yv4001",fontsize=16,color="magenta"];1229 -> 1363[label="",style="dashed", color="magenta", weight=3];
1229 -> 1364[label="",style="dashed", color="magenta", weight=3];
1230 -> 787[label="",style="dashed", color="red", weight=0];
1230[label="yv301 == yv4001",fontsize=16,color="magenta"];1230 -> 1365[label="",style="dashed", color="magenta", weight=3];
1230 -> 1366[label="",style="dashed", color="magenta", weight=3];
1231 -> 788[label="",style="dashed", color="red", weight=0];
1231[label="yv301 == yv4001",fontsize=16,color="magenta"];1231 -> 1367[label="",style="dashed", color="magenta", weight=3];
1231 -> 1368[label="",style="dashed", color="magenta", weight=3];
1232 -> 789[label="",style="dashed", color="red", weight=0];
1232[label="yv301 == yv4001",fontsize=16,color="magenta"];1232 -> 1369[label="",style="dashed", color="magenta", weight=3];
1232 -> 1370[label="",style="dashed", color="magenta", weight=3];
1233 -> 790[label="",style="dashed", color="red", weight=0];
1233[label="yv301 == yv4001",fontsize=16,color="magenta"];1233 -> 1371[label="",style="dashed", color="magenta", weight=3];
1233 -> 1372[label="",style="dashed", color="magenta", weight=3];
1234 -> 791[label="",style="dashed", color="red", weight=0];
1234[label="yv301 == yv4001",fontsize=16,color="magenta"];1234 -> 1373[label="",style="dashed", color="magenta", weight=3];
1234 -> 1374[label="",style="dashed", color="magenta", weight=3];
1235 -> 792[label="",style="dashed", color="red", weight=0];
1235[label="yv301 == yv4001",fontsize=16,color="magenta"];1235 -> 1375[label="",style="dashed", color="magenta", weight=3];
1235 -> 1376[label="",style="dashed", color="magenta", weight=3];
1236 -> 793[label="",style="dashed", color="red", weight=0];
1236[label="yv301 == yv4001",fontsize=16,color="magenta"];1236 -> 1377[label="",style="dashed", color="magenta", weight=3];
1236 -> 1378[label="",style="dashed", color="magenta", weight=3];
1237 -> 794[label="",style="dashed", color="red", weight=0];
1237[label="yv301 == yv4001",fontsize=16,color="magenta"];1237 -> 1379[label="",style="dashed", color="magenta", weight=3];
1237 -> 1380[label="",style="dashed", color="magenta", weight=3];
1238 -> 795[label="",style="dashed", color="red", weight=0];
1238[label="yv301 == yv4001",fontsize=16,color="magenta"];1238 -> 1381[label="",style="dashed", color="magenta", weight=3];
1238 -> 1382[label="",style="dashed", color="magenta", weight=3];
1239 -> 796[label="",style="dashed", color="red", weight=0];
1239[label="yv301 == yv4001",fontsize=16,color="magenta"];1239 -> 1383[label="",style="dashed", color="magenta", weight=3];
1239 -> 1384[label="",style="dashed", color="magenta", weight=3];
1240 -> 797[label="",style="dashed", color="red", weight=0];
1240[label="yv301 == yv4001",fontsize=16,color="magenta"];1240 -> 1385[label="",style="dashed", color="magenta", weight=3];
1240 -> 1386[label="",style="dashed", color="magenta", weight=3];
1241 -> 798[label="",style="dashed", color="red", weight=0];
1241[label="yv301 == yv4001",fontsize=16,color="magenta"];1241 -> 1387[label="",style="dashed", color="magenta", weight=3];
1241 -> 1388[label="",style="dashed", color="magenta", weight=3];
1242 -> 799[label="",style="dashed", color="red", weight=0];
1242[label="yv301 == yv4001",fontsize=16,color="magenta"];1242 -> 1389[label="",style="dashed", color="magenta", weight=3];
1242 -> 1390[label="",style="dashed", color="magenta", weight=3];
1243 -> 786[label="",style="dashed", color="red", weight=0];
1243[label="yv302 == yv4002",fontsize=16,color="magenta"];1243 -> 1391[label="",style="dashed", color="magenta", weight=3];
1243 -> 1392[label="",style="dashed", color="magenta", weight=3];
1244 -> 787[label="",style="dashed", color="red", weight=0];
1244[label="yv302 == yv4002",fontsize=16,color="magenta"];1244 -> 1393[label="",style="dashed", color="magenta", weight=3];
1244 -> 1394[label="",style="dashed", color="magenta", weight=3];
1245 -> 788[label="",style="dashed", color="red", weight=0];
1245[label="yv302 == yv4002",fontsize=16,color="magenta"];1245 -> 1395[label="",style="dashed", color="magenta", weight=3];
1245 -> 1396[label="",style="dashed", color="magenta", weight=3];
1246 -> 789[label="",style="dashed", color="red", weight=0];
1246[label="yv302 == yv4002",fontsize=16,color="magenta"];1246 -> 1397[label="",style="dashed", color="magenta", weight=3];
1246 -> 1398[label="",style="dashed", color="magenta", weight=3];
1247 -> 790[label="",style="dashed", color="red", weight=0];
1247[label="yv302 == yv4002",fontsize=16,color="magenta"];1247 -> 1399[label="",style="dashed", color="magenta", weight=3];
1247 -> 1400[label="",style="dashed", color="magenta", weight=3];
1248 -> 791[label="",style="dashed", color="red", weight=0];
1248[label="yv302 == yv4002",fontsize=16,color="magenta"];1248 -> 1401[label="",style="dashed", color="magenta", weight=3];
1248 -> 1402[label="",style="dashed", color="magenta", weight=3];
1249 -> 792[label="",style="dashed", color="red", weight=0];
1249[label="yv302 == yv4002",fontsize=16,color="magenta"];1249 -> 1403[label="",style="dashed", color="magenta", weight=3];
1249 -> 1404[label="",style="dashed", color="magenta", weight=3];
1250 -> 793[label="",style="dashed", color="red", weight=0];
1250[label="yv302 == yv4002",fontsize=16,color="magenta"];1250 -> 1405[label="",style="dashed", color="magenta", weight=3];
1250 -> 1406[label="",style="dashed", color="magenta", weight=3];
1251 -> 794[label="",style="dashed", color="red", weight=0];
1251[label="yv302 == yv4002",fontsize=16,color="magenta"];1251 -> 1407[label="",style="dashed", color="magenta", weight=3];
1251 -> 1408[label="",style="dashed", color="magenta", weight=3];
1252 -> 795[label="",style="dashed", color="red", weight=0];
1252[label="yv302 == yv4002",fontsize=16,color="magenta"];1252 -> 1409[label="",style="dashed", color="magenta", weight=3];
1252 -> 1410[label="",style="dashed", color="magenta", weight=3];
1253 -> 796[label="",style="dashed", color="red", weight=0];
1253[label="yv302 == yv4002",fontsize=16,color="magenta"];1253 -> 1411[label="",style="dashed", color="magenta", weight=3];
1253 -> 1412[label="",style="dashed", color="magenta", weight=3];
1254 -> 797[label="",style="dashed", color="red", weight=0];
1254[label="yv302 == yv4002",fontsize=16,color="magenta"];1254 -> 1413[label="",style="dashed", color="magenta", weight=3];
1254 -> 1414[label="",style="dashed", color="magenta", weight=3];
1255 -> 798[label="",style="dashed", color="red", weight=0];
1255[label="yv302 == yv4002",fontsize=16,color="magenta"];1255 -> 1415[label="",style="dashed", color="magenta", weight=3];
1255 -> 1416[label="",style="dashed", color="magenta", weight=3];
1256 -> 799[label="",style="dashed", color="red", weight=0];
1256[label="yv302 == yv4002",fontsize=16,color="magenta"];1256 -> 1417[label="",style="dashed", color="magenta", weight=3];
1256 -> 1418[label="",style="dashed", color="magenta", weight=3];
1257[label="False",fontsize=16,color="green",shape="box"];1258[label="yv56",fontsize=16,color="green",shape="box"];1259[label="yv4000",fontsize=16,color="green",shape="box"];1260[label="yv300",fontsize=16,color="green",shape="box"];1261[label="yv4000",fontsize=16,color="green",shape="box"];1262[label="yv300",fontsize=16,color="green",shape="box"];1263[label="yv4000",fontsize=16,color="green",shape="box"];1264[label="yv300",fontsize=16,color="green",shape="box"];1265[label="yv4000",fontsize=16,color="green",shape="box"];1266[label="yv300",fontsize=16,color="green",shape="box"];1267[label="yv4000",fontsize=16,color="green",shape="box"];1268[label="yv300",fontsize=16,color="green",shape="box"];1269[label="yv4000",fontsize=16,color="green",shape="box"];1270[label="yv300",fontsize=16,color="green",shape="box"];1271[label="yv4000",fontsize=16,color="green",shape="box"];1272[label="yv300",fontsize=16,color="green",shape="box"];1273[label="yv4000",fontsize=16,color="green",shape="box"];1274[label="yv300",fontsize=16,color="green",shape="box"];1275[label="yv4000",fontsize=16,color="green",shape="box"];1276[label="yv300",fontsize=16,color="green",shape="box"];1277[label="yv4000",fontsize=16,color="green",shape="box"];1278[label="yv300",fontsize=16,color="green",shape="box"];1279[label="yv4000",fontsize=16,color="green",shape="box"];1280[label="yv300",fontsize=16,color="green",shape="box"];1281[label="yv4000",fontsize=16,color="green",shape="box"];1282[label="yv300",fontsize=16,color="green",shape="box"];1283[label="yv4000",fontsize=16,color="green",shape="box"];1284[label="yv300",fontsize=16,color="green",shape="box"];1285[label="yv4000",fontsize=16,color="green",shape="box"];1286[label="yv300",fontsize=16,color="green",shape="box"];1287[label="yv4001",fontsize=16,color="green",shape="box"];1288[label="yv301",fontsize=16,color="green",shape="box"];1289[label="yv4001",fontsize=16,color="green",shape="box"];1290[label="yv301",fontsize=16,color="green",shape="box"];1291[label="yv4001",fontsize=16,color="green",shape="box"];1292[label="yv301",fontsize=16,color="green",shape="box"];1293[label="yv4001",fontsize=16,color="green",shape="box"];1294[label="yv301",fontsize=16,color="green",shape="box"];1295[label="yv4001",fontsize=16,color="green",shape="box"];1296[label="yv301",fontsize=16,color="green",shape="box"];1297[label="yv4001",fontsize=16,color="green",shape="box"];1298[label="yv301",fontsize=16,color="green",shape="box"];1299[label="yv4001",fontsize=16,color="green",shape="box"];1300[label="yv301",fontsize=16,color="green",shape="box"];1301[label="yv4001",fontsize=16,color="green",shape="box"];1302[label="yv301",fontsize=16,color="green",shape="box"];1303[label="yv4001",fontsize=16,color="green",shape="box"];1304[label="yv301",fontsize=16,color="green",shape="box"];1305[label="yv4001",fontsize=16,color="green",shape="box"];1306[label="yv301",fontsize=16,color="green",shape="box"];1307[label="yv4001",fontsize=16,color="green",shape="box"];1308[label="yv301",fontsize=16,color="green",shape="box"];1309[label="yv4001",fontsize=16,color="green",shape="box"];1310[label="yv301",fontsize=16,color="green",shape="box"];1311[label="yv4001",fontsize=16,color="green",shape="box"];1312[label="yv301",fontsize=16,color="green",shape="box"];1313[label="yv4001",fontsize=16,color="green",shape="box"];1314[label="yv301",fontsize=16,color="green",shape="box"];1315[label="yv4000",fontsize=16,color="green",shape="box"];1316[label="yv300",fontsize=16,color="green",shape="box"];1317[label="yv4000",fontsize=16,color="green",shape="box"];1318[label="yv300",fontsize=16,color="green",shape="box"];1319[label="yv4001",fontsize=16,color="green",shape="box"];1320[label="yv301",fontsize=16,color="green",shape="box"];1321[label="yv4001",fontsize=16,color="green",shape="box"];1322[label="yv301",fontsize=16,color="green",shape="box"];1323[label="yv4000",fontsize=16,color="green",shape="box"];1324[label="yv300",fontsize=16,color="green",shape="box"];1325[label="yv4000",fontsize=16,color="green",shape="box"];1326[label="yv300",fontsize=16,color="green",shape="box"];1327[label="yv4000",fontsize=16,color="green",shape="box"];1328[label="yv300",fontsize=16,color="green",shape="box"];1329[label="yv4000",fontsize=16,color="green",shape="box"];1330[label="yv300",fontsize=16,color="green",shape="box"];1331[label="yv4000",fontsize=16,color="green",shape="box"];1332[label="yv300",fontsize=16,color="green",shape="box"];1333[label="yv4000",fontsize=16,color="green",shape="box"];1334[label="yv300",fontsize=16,color="green",shape="box"];1335[label="yv4000",fontsize=16,color="green",shape="box"];1336[label="yv300",fontsize=16,color="green",shape="box"];1337[label="yv4000",fontsize=16,color="green",shape="box"];1338[label="yv300",fontsize=16,color="green",shape="box"];1339[label="yv4000",fontsize=16,color="green",shape="box"];1340[label="yv300",fontsize=16,color="green",shape="box"];1341[label="yv4000",fontsize=16,color="green",shape="box"];1342[label="yv300",fontsize=16,color="green",shape="box"];1343[label="yv4000",fontsize=16,color="green",shape="box"];1344[label="yv300",fontsize=16,color="green",shape="box"];1345[label="yv4000",fontsize=16,color="green",shape="box"];1346[label="yv300",fontsize=16,color="green",shape="box"];1347[label="yv4000",fontsize=16,color="green",shape="box"];1348[label="yv300",fontsize=16,color="green",shape="box"];1349[label="yv4000",fontsize=16,color="green",shape="box"];1350[label="yv300",fontsize=16,color="green",shape="box"];904[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 (yv4110 : yv4111) (enforceWHNF (WHNF (primPlusInt (Pos yv34) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos yv34) (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];904 -> 1200[label="",style="solid", color="black", weight=3];
1351[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 (yv1110 : yv1111) (enforceWHNF (WHNF (primPlusInt (Pos yv36) (Pos (Succ Zero)))) (numericEnumFrom (primPlusInt (Pos yv36) (Pos (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1351 -> 1419[label="",style="solid", color="black", weight=3];
1352[label="primMulInt (Pos yv3010) yv4000",fontsize=16,color="burlywood",shape="box"];1759[label="yv4000/Pos yv40000",fontsize=10,color="white",style="solid",shape="box"];1352 -> 1759[label="",style="solid", color="burlywood", weight=9];
1759 -> 1420[label="",style="solid", color="burlywood", weight=3];
1760[label="yv4000/Neg yv40000",fontsize=10,color="white",style="solid",shape="box"];1352 -> 1760[label="",style="solid", color="burlywood", weight=9];
1760 -> 1421[label="",style="solid", color="burlywood", weight=3];
1353[label="primMulInt (Neg yv3010) yv4000",fontsize=16,color="burlywood",shape="box"];1761[label="yv4000/Pos yv40000",fontsize=10,color="white",style="solid",shape="box"];1353 -> 1761[label="",style="solid", color="burlywood", weight=9];
1761 -> 1422[label="",style="solid", color="burlywood", weight=3];
1762[label="yv4000/Neg yv40000",fontsize=10,color="white",style="solid",shape="box"];1353 -> 1762[label="",style="solid", color="burlywood", weight=9];
1762 -> 1423[label="",style="solid", color="burlywood", weight=3];
1354[label="yv3000",fontsize=16,color="green",shape="box"];1355[label="yv40000",fontsize=16,color="green",shape="box"];1356[label="yv3000",fontsize=16,color="green",shape="box"];1357[label="yv40000",fontsize=16,color="green",shape="box"];1358 -> 917[label="",style="dashed", color="red", weight=0];
1358[label="primEqNat yv3000 yv40000",fontsize=16,color="magenta"];1358 -> 1424[label="",style="dashed", color="magenta", weight=3];
1358 -> 1425[label="",style="dashed", color="magenta", weight=3];
1359[label="False",fontsize=16,color="green",shape="box"];1360[label="False",fontsize=16,color="green",shape="box"];1361[label="True",fontsize=16,color="green",shape="box"];1363[label="yv4001",fontsize=16,color="green",shape="box"];1364[label="yv301",fontsize=16,color="green",shape="box"];1365[label="yv4001",fontsize=16,color="green",shape="box"];1366[label="yv301",fontsize=16,color="green",shape="box"];1367[label="yv4001",fontsize=16,color="green",shape="box"];1368[label="yv301",fontsize=16,color="green",shape="box"];1369[label="yv4001",fontsize=16,color="green",shape="box"];1370[label="yv301",fontsize=16,color="green",shape="box"];1371[label="yv4001",fontsize=16,color="green",shape="box"];1372[label="yv301",fontsize=16,color="green",shape="box"];1373[label="yv4001",fontsize=16,color="green",shape="box"];1374[label="yv301",fontsize=16,color="green",shape="box"];1375[label="yv4001",fontsize=16,color="green",shape="box"];1376[label="yv301",fontsize=16,color="green",shape="box"];1377[label="yv4001",fontsize=16,color="green",shape="box"];1378[label="yv301",fontsize=16,color="green",shape="box"];1379[label="yv4001",fontsize=16,color="green",shape="box"];1380[label="yv301",fontsize=16,color="green",shape="box"];1381[label="yv4001",fontsize=16,color="green",shape="box"];1382[label="yv301",fontsize=16,color="green",shape="box"];1383[label="yv4001",fontsize=16,color="green",shape="box"];1384[label="yv301",fontsize=16,color="green",shape="box"];1385[label="yv4001",fontsize=16,color="green",shape="box"];1386[label="yv301",fontsize=16,color="green",shape="box"];1387[label="yv4001",fontsize=16,color="green",shape="box"];1388[label="yv301",fontsize=16,color="green",shape="box"];1389[label="yv4001",fontsize=16,color="green",shape="box"];1390[label="yv301",fontsize=16,color="green",shape="box"];1391[label="yv4002",fontsize=16,color="green",shape="box"];1392[label="yv302",fontsize=16,color="green",shape="box"];1393[label="yv4002",fontsize=16,color="green",shape="box"];1394[label="yv302",fontsize=16,color="green",shape="box"];1395[label="yv4002",fontsize=16,color="green",shape="box"];1396[label="yv302",fontsize=16,color="green",shape="box"];1397[label="yv4002",fontsize=16,color="green",shape="box"];1398[label="yv302",fontsize=16,color="green",shape="box"];1399[label="yv4002",fontsize=16,color="green",shape="box"];1400[label="yv302",fontsize=16,color="green",shape="box"];1401[label="yv4002",fontsize=16,color="green",shape="box"];1402[label="yv302",fontsize=16,color="green",shape="box"];1403[label="yv4002",fontsize=16,color="green",shape="box"];1404[label="yv302",fontsize=16,color="green",shape="box"];1405[label="yv4002",fontsize=16,color="green",shape="box"];1406[label="yv302",fontsize=16,color="green",shape="box"];1407[label="yv4002",fontsize=16,color="green",shape="box"];1408[label="yv302",fontsize=16,color="green",shape="box"];1409[label="yv4002",fontsize=16,color="green",shape="box"];1410[label="yv302",fontsize=16,color="green",shape="box"];1411[label="yv4002",fontsize=16,color="green",shape="box"];1412[label="yv302",fontsize=16,color="green",shape="box"];1413[label="yv4002",fontsize=16,color="green",shape="box"];1414[label="yv302",fontsize=16,color="green",shape="box"];1415[label="yv4002",fontsize=16,color="green",shape="box"];1416[label="yv302",fontsize=16,color="green",shape="box"];1417[label="yv4002",fontsize=16,color="green",shape="box"];1418[label="yv302",fontsize=16,color="green",shape="box"];1200[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 (yv4110 : yv4111) (enforceWHNF (WHNF (Pos (primPlusNat yv34 (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat yv34 (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1200 -> 1362[label="",style="solid", color="black", weight=3];
1419[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 (yv1110 : yv1111) (enforceWHNF (WHNF (Pos (primPlusNat yv36 (Succ Zero)))) (numericEnumFrom (Pos (primPlusNat yv36 (Succ Zero))))))))",fontsize=16,color="black",shape="box"];1419 -> 1427[label="",style="solid", color="black", weight=3];
1420[label="primMulInt (Pos yv3010) (Pos yv40000)",fontsize=16,color="black",shape="box"];1420 -> 1428[label="",style="solid", color="black", weight=3];
1421[label="primMulInt (Pos yv3010) (Neg yv40000)",fontsize=16,color="black",shape="box"];1421 -> 1429[label="",style="solid", color="black", weight=3];
1422[label="primMulInt (Neg yv3010) (Pos yv40000)",fontsize=16,color="black",shape="box"];1422 -> 1430[label="",style="solid", color="black", weight=3];
1423[label="primMulInt (Neg yv3010) (Neg yv40000)",fontsize=16,color="black",shape="box"];1423 -> 1431[label="",style="solid", color="black", weight=3];
1424[label="yv3000",fontsize=16,color="green",shape="box"];1425[label="yv40000",fontsize=16,color="green",shape="box"];1362[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 (yv4110 : yv4111) (numericEnumFrom (Pos (primPlusNat yv34 (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1362 -> 1426[label="",style="solid", color="black", weight=3];
1427[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 (yv1110 : yv1111) (numericEnumFrom (Pos (primPlusNat yv36 (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1427 -> 1433[label="",style="solid", color="black", weight=3];
1428[label="Pos (primMulNat yv3010 yv40000)",fontsize=16,color="green",shape="box"];1428 -> 1434[label="",style="dashed", color="green", weight=3];
1429[label="Neg (primMulNat yv3010 yv40000)",fontsize=16,color="green",shape="box"];1429 -> 1435[label="",style="dashed", color="green", weight=3];
1430[label="Neg (primMulNat yv3010 yv40000)",fontsize=16,color="green",shape="box"];1430 -> 1436[label="",style="dashed", color="green", weight=3];
1431[label="Pos (primMulNat yv3010 yv40000)",fontsize=16,color="green",shape="box"];1431 -> 1437[label="",style="dashed", color="green", weight=3];
1426[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 (yv4110 : yv4111) (Pos (primPlusNat yv34 (Succ Zero)) : (numericEnumFrom $! Pos (primPlusNat yv34 (Succ Zero)) + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1426 -> 1432[label="",style="solid", color="black", weight=3];
1433[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 (yv1110 : yv1111) (Pos (primPlusNat yv36 (Succ Zero)) : (numericEnumFrom $! Pos (primPlusNat yv36 (Succ Zero)) + fromInt (Pos (Succ Zero)))))))",fontsize=16,color="black",shape="box"];1433 -> 1439[label="",style="solid", color="black", weight=3];
1434[label="primMulNat yv3010 yv40000",fontsize=16,color="burlywood",shape="triangle"];1763[label="yv3010/Succ yv30100",fontsize=10,color="white",style="solid",shape="box"];1434 -> 1763[label="",style="solid", color="burlywood", weight=9];
1763 -> 1440[label="",style="solid", color="burlywood", weight=3];
1764[label="yv3010/Zero",fontsize=10,color="white",style="solid",shape="box"];1434 -> 1764[label="",style="solid", color="burlywood", weight=9];
1764 -> 1441[label="",style="solid", color="burlywood", weight=3];
1435 -> 1434[label="",style="dashed", color="red", weight=0];
1435[label="primMulNat yv3010 yv40000",fontsize=16,color="magenta"];1435 -> 1442[label="",style="dashed", color="magenta", weight=3];
1436 -> 1434[label="",style="dashed", color="red", weight=0];
1436[label="primMulNat yv3010 yv40000",fontsize=16,color="magenta"];1436 -> 1443[label="",style="dashed", color="magenta", weight=3];
1437 -> 1434[label="",style="dashed", color="red", weight=0];
1437[label="primMulNat yv3010 yv40000",fontsize=16,color="magenta"];1437 -> 1444[label="",style="dashed", color="magenta", weight=3];
1437 -> 1445[label="",style="dashed", color="magenta", weight=3];
1432[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zip0 yv4110 (Pos (primPlusNat yv34 (Succ Zero))) : zipWith zip0 yv4111 (numericEnumFrom $! Pos (primPlusNat yv34 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1432 -> 1438[label="",style="solid", color="black", weight=3];
1439[label="Maybe.listToMaybe (foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zip0 yv1110 (Pos (primPlusNat yv36 (Succ Zero))) : zipWith zip0 yv1111 (numericEnumFrom $! Pos (primPlusNat yv36 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1439 -> 1447[label="",style="solid", color="black", weight=3];
1440[label="primMulNat (Succ yv30100) yv40000",fontsize=16,color="burlywood",shape="box"];1765[label="yv40000/Succ yv400000",fontsize=10,color="white",style="solid",shape="box"];1440 -> 1765[label="",style="solid", color="burlywood", weight=9];
1765 -> 1448[label="",style="solid", color="burlywood", weight=3];
1766[label="yv40000/Zero",fontsize=10,color="white",style="solid",shape="box"];1440 -> 1766[label="",style="solid", color="burlywood", weight=9];
1766 -> 1449[label="",style="solid", color="burlywood", weight=3];
1441[label="primMulNat Zero yv40000",fontsize=16,color="burlywood",shape="box"];1767[label="yv40000/Succ yv400000",fontsize=10,color="white",style="solid",shape="box"];1441 -> 1767[label="",style="solid", color="burlywood", weight=9];
1767 -> 1450[label="",style="solid", color="burlywood", weight=3];
1768[label="yv40000/Zero",fontsize=10,color="white",style="solid",shape="box"];1441 -> 1768[label="",style="solid", color="burlywood", weight=9];
1768 -> 1451[label="",style="solid", color="burlywood", weight=3];
1442[label="yv40000",fontsize=16,color="green",shape="box"];1443[label="yv3010",fontsize=16,color="green",shape="box"];1444[label="yv3010",fontsize=16,color="green",shape="box"];1445[label="yv40000",fontsize=16,color="green",shape="box"];1438[label="Maybe.listToMaybe (foldr (++) [] (List.findIndices0 (Nothing ==) (zip0 yv4110 (Pos (primPlusNat yv34 (Succ Zero)))) : map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv4111 (numericEnumFrom $! Pos (primPlusNat yv34 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1438 -> 1446[label="",style="solid", color="black", weight=3];
1447[label="Maybe.listToMaybe (foldr (++) [] (List.findIndices0 (Just yv10 ==) (zip0 yv1110 (Pos (primPlusNat yv36 (Succ Zero)))) : map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 yv1111 (numericEnumFrom $! Pos (primPlusNat yv36 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1447 -> 1453[label="",style="solid", color="black", weight=3];
1448[label="primMulNat (Succ yv30100) (Succ yv400000)",fontsize=16,color="black",shape="box"];1448 -> 1454[label="",style="solid", color="black", weight=3];
1449[label="primMulNat (Succ yv30100) Zero",fontsize=16,color="black",shape="box"];1449 -> 1455[label="",style="solid", color="black", weight=3];
1450[label="primMulNat Zero (Succ yv400000)",fontsize=16,color="black",shape="box"];1450 -> 1456[label="",style="solid", color="black", weight=3];
1451[label="primMulNat Zero Zero",fontsize=16,color="black",shape="box"];1451 -> 1457[label="",style="solid", color="black", weight=3];
1446[label="Maybe.listToMaybe ((++) List.findIndices0 (Nothing ==) (zip0 yv4110 (Pos (primPlusNat yv34 (Succ Zero)))) foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv4111 (numericEnumFrom $! Pos (primPlusNat yv34 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1446 -> 1452[label="",style="solid", color="black", weight=3];
1453[label="Maybe.listToMaybe ((++) List.findIndices0 (Just yv10 ==) (zip0 yv1110 (Pos (primPlusNat yv36 (Succ Zero)))) foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 yv1111 (numericEnumFrom $! Pos (primPlusNat yv36 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1453 -> 1459[label="",style="solid", color="black", weight=3];
1454 -> 1460[label="",style="dashed", color="red", weight=0];
1454[label="primPlusNat (primMulNat yv30100 (Succ yv400000)) (Succ yv400000)",fontsize=16,color="magenta"];1454 -> 1461[label="",style="dashed", color="magenta", weight=3];
1455[label="Zero",fontsize=16,color="green",shape="box"];1456[label="Zero",fontsize=16,color="green",shape="box"];1457[label="Zero",fontsize=16,color="green",shape="box"];1452[label="Maybe.listToMaybe ((++) List.findIndices00 (Nothing ==) (zip0 yv4110 (Pos (primPlusNat yv34 (Succ Zero)))) foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv4111 (numericEnumFrom $! Pos (primPlusNat yv34 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1452 -> 1458[label="",style="solid", color="black", weight=3];
1459 -> 1462[label="",style="dashed", color="red", weight=0];
1459[label="Maybe.listToMaybe ((++) List.findIndices00 (Just yv10 ==) (zip0 yv1110 (Pos (primPlusNat yv36 (Succ Zero)))) foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 yv1111 (numericEnumFrom $! Pos (primPlusNat yv36 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];1459 -> 1463[label="",style="dashed", color="magenta", weight=3];
1459 -> 1464[label="",style="dashed", color="magenta", weight=3];
1461 -> 1434[label="",style="dashed", color="red", weight=0];
1461[label="primMulNat yv30100 (Succ yv400000)",fontsize=16,color="magenta"];1461 -> 1465[label="",style="dashed", color="magenta", weight=3];
1461 -> 1466[label="",style="dashed", color="magenta", weight=3];
1460[label="primPlusNat yv57 (Succ yv400000)",fontsize=16,color="burlywood",shape="triangle"];1769[label="yv57/Succ yv570",fontsize=10,color="white",style="solid",shape="box"];1460 -> 1769[label="",style="solid", color="burlywood", weight=9];
1769 -> 1467[label="",style="solid", color="burlywood", weight=3];
1770[label="yv57/Zero",fontsize=10,color="white",style="solid",shape="box"];1460 -> 1770[label="",style="solid", color="burlywood", weight=9];
1770 -> 1468[label="",style="solid", color="burlywood", weight=3];
1458 -> 1469[label="",style="dashed", color="red", weight=0];
1458[label="Maybe.listToMaybe ((++) List.findIndices00 (Nothing ==) (yv4110,Pos (primPlusNat yv34 (Succ Zero))) foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv4111 (numericEnumFrom $! Pos (primPlusNat yv34 (Succ Zero)) + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];1458 -> 1470[label="",style="dashed", color="magenta", weight=3];
1458 -> 1471[label="",style="dashed", color="magenta", weight=3];
1463 -> 1460[label="",style="dashed", color="red", weight=0];
1463[label="primPlusNat yv36 (Succ Zero)",fontsize=16,color="magenta"];1463 -> 1472[label="",style="dashed", color="magenta", weight=3];
1463 -> 1473[label="",style="dashed", color="magenta", weight=3];
1464 -> 1460[label="",style="dashed", color="red", weight=0];
1464[label="primPlusNat yv36 (Succ Zero)",fontsize=16,color="magenta"];1464 -> 1474[label="",style="dashed", color="magenta", weight=3];
1464 -> 1475[label="",style="dashed", color="magenta", weight=3];
1462[label="Maybe.listToMaybe ((++) List.findIndices00 (Just yv10 ==) (zip0 yv1110 (Pos yv58)) foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 yv1111 (numericEnumFrom $! Pos yv59 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="triangle"];1462 -> 1476[label="",style="solid", color="black", weight=3];
1465[label="yv30100",fontsize=16,color="green",shape="box"];1466[label="Succ yv400000",fontsize=16,color="green",shape="box"];1467[label="primPlusNat (Succ yv570) (Succ yv400000)",fontsize=16,color="black",shape="box"];1467 -> 1477[label="",style="solid", color="black", weight=3];
1468[label="primPlusNat Zero (Succ yv400000)",fontsize=16,color="black",shape="box"];1468 -> 1478[label="",style="solid", color="black", weight=3];
1470 -> 1460[label="",style="dashed", color="red", weight=0];
1470[label="primPlusNat yv34 (Succ Zero)",fontsize=16,color="magenta"];1470 -> 1479[label="",style="dashed", color="magenta", weight=3];
1470 -> 1480[label="",style="dashed", color="magenta", weight=3];
1471 -> 1460[label="",style="dashed", color="red", weight=0];
1471[label="primPlusNat yv34 (Succ Zero)",fontsize=16,color="magenta"];1471 -> 1481[label="",style="dashed", color="magenta", weight=3];
1471 -> 1482[label="",style="dashed", color="magenta", weight=3];
1469[label="Maybe.listToMaybe ((++) List.findIndices00 (Nothing ==) (yv4110,Pos yv60) foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv4111 (numericEnumFrom $! Pos yv61 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="triangle"];1469 -> 1483[label="",style="solid", color="black", weight=3];
1472[label="yv36",fontsize=16,color="green",shape="box"];1473[label="Zero",fontsize=16,color="green",shape="box"];1474[label="yv36",fontsize=16,color="green",shape="box"];1475[label="Zero",fontsize=16,color="green",shape="box"];1476[label="Maybe.listToMaybe ((++) List.findIndices00 (Just yv10 ==) (yv1110,Pos yv58) foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 yv1111 (numericEnumFrom $! Pos yv59 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];1476 -> 1484[label="",style="solid", color="black", weight=3];
1477[label="Succ (Succ (primPlusNat yv570 yv400000))",fontsize=16,color="green",shape="box"];1477 -> 1485[label="",style="dashed", color="green", weight=3];
1478[label="Succ yv400000",fontsize=16,color="green",shape="box"];1479[label="yv34",fontsize=16,color="green",shape="box"];1480[label="Zero",fontsize=16,color="green",shape="box"];1481[label="yv34",fontsize=16,color="green",shape="box"];1482[label="Zero",fontsize=16,color="green",shape="box"];1483 -> 731[label="",style="dashed", color="red", weight=0];
1483[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv60) (Nothing == yv4110) foldr (++) [] (map (List.findIndices0 (Nothing ==)) (zipWith zip0 yv4111 (numericEnumFrom $! Pos yv61 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];1483 -> 1486[label="",style="dashed", color="magenta", weight=3];
1483 -> 1487[label="",style="dashed", color="magenta", weight=3];
1483 -> 1488[label="",style="dashed", color="magenta", weight=3];
1483 -> 1489[label="",style="dashed", color="magenta", weight=3];
1484 -> 768[label="",style="dashed", color="red", weight=0];
1484[label="Maybe.listToMaybe ((++) List.findIndices000 (Pos yv58) (Just yv10 == yv1110) foldr (++) [] (map (List.findIndices0 (Just yv10 ==)) (zipWith zip0 yv1111 (numericEnumFrom $! Pos yv59 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="magenta"];1484 -> 1490[label="",style="dashed", color="magenta", weight=3];
1484 -> 1491[label="",style="dashed", color="magenta", weight=3];
1484 -> 1492[label="",style="dashed", color="magenta", weight=3];
1484 -> 1493[label="",style="dashed", color="magenta", weight=3];
1485[label="primPlusNat yv570 yv400000",fontsize=16,color="burlywood",shape="triangle"];1771[label="yv570/Succ yv5700",fontsize=10,color="white",style="solid",shape="box"];1485 -> 1771[label="",style="solid", color="burlywood", weight=9];
1771 -> 1494[label="",style="solid", color="burlywood", weight=3];
1772[label="yv570/Zero",fontsize=10,color="white",style="solid",shape="box"];1485 -> 1772[label="",style="solid", color="burlywood", weight=9];
1772 -> 1495[label="",style="solid", color="burlywood", weight=3];
1486[label="yv60",fontsize=16,color="green",shape="box"];1487 -> 799[label="",style="dashed", color="red", weight=0];
1487[label="Nothing == yv4110",fontsize=16,color="magenta"];1487 -> 1496[label="",style="dashed", color="magenta", weight=3];
1487 -> 1497[label="",style="dashed", color="magenta", weight=3];
1488[label="yv4111",fontsize=16,color="green",shape="box"];1489[label="yv61",fontsize=16,color="green",shape="box"];1490[label="yv58",fontsize=16,color="green",shape="box"];1491 -> 799[label="",style="dashed", color="red", weight=0];
1491[label="Just yv10 == yv1110",fontsize=16,color="magenta"];1491 -> 1498[label="",style="dashed", color="magenta", weight=3];
1491 -> 1499[label="",style="dashed", color="magenta", weight=3];
1492[label="yv1111",fontsize=16,color="green",shape="box"];1493[label="yv59",fontsize=16,color="green",shape="box"];1494[label="primPlusNat (Succ yv5700) yv400000",fontsize=16,color="burlywood",shape="box"];1773[label="yv400000/Succ yv4000000",fontsize=10,color="white",style="solid",shape="box"];1494 -> 1773[label="",style="solid", color="burlywood", weight=9];
1773 -> 1500[label="",style="solid", color="burlywood", weight=3];
1774[label="yv400000/Zero",fontsize=10,color="white",style="solid",shape="box"];1494 -> 1774[label="",style="solid", color="burlywood", weight=9];
1774 -> 1501[label="",style="solid", color="burlywood", weight=3];
1495[label="primPlusNat Zero yv400000",fontsize=16,color="burlywood",shape="box"];1775[label="yv400000/Succ yv4000000",fontsize=10,color="white",style="solid",shape="box"];1495 -> 1775[label="",style="solid", color="burlywood", weight=9];
1775 -> 1502[label="",style="solid", color="burlywood", weight=3];
1776[label="yv400000/Zero",fontsize=10,color="white",style="solid",shape="box"];1495 -> 1776[label="",style="solid", color="burlywood", weight=9];
1776 -> 1503[label="",style="solid", color="burlywood", weight=3];
1496[label="yv4110",fontsize=16,color="green",shape="box"];1497[label="Nothing",fontsize=16,color="green",shape="box"];1498[label="yv1110",fontsize=16,color="green",shape="box"];1499[label="Just yv10",fontsize=16,color="green",shape="box"];1500[label="primPlusNat (Succ yv5700) (Succ yv4000000)",fontsize=16,color="black",shape="box"];1500 -> 1504[label="",style="solid", color="black", weight=3];
1501[label="primPlusNat (Succ yv5700) Zero",fontsize=16,color="black",shape="box"];1501 -> 1505[label="",style="solid", color="black", weight=3];
1502[label="primPlusNat Zero (Succ yv4000000)",fontsize=16,color="black",shape="box"];1502 -> 1506[label="",style="solid", color="black", weight=3];
1503[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1503 -> 1507[label="",style="solid", color="black", weight=3];
1504[label="Succ (Succ (primPlusNat yv5700 yv4000000))",fontsize=16,color="green",shape="box"];1504 -> 1508[label="",style="dashed", color="green", weight=3];
1505[label="Succ yv5700",fontsize=16,color="green",shape="box"];1506[label="Succ yv4000000",fontsize=16,color="green",shape="box"];1507[label="Zero",fontsize=16,color="green",shape="box"];1508 -> 1485[label="",style="dashed", color="red", weight=0];
1508[label="primPlusNat yv5700 yv4000000",fontsize=16,color="magenta"];1508 -> 1509[label="",style="dashed", color="magenta", weight=3];
1508 -> 1510[label="",style="dashed", color="magenta", weight=3];
1509[label="yv5700",fontsize=16,color="green",shape="box"];1510[label="yv4000000",fontsize=16,color="green",shape="box"];}

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

(14)
Complex Obligation (AND)

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

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

   new_listToMaybe1(yv4110, yv60, yv4111, yv61, ba) -> new_listToMaybe2(yv60, new_esEs4(Nothing, yv4110, ba), yv4111, yv61, ba)
   new_listToMaybe2(yv33, False, :(yv4110, yv4111), yv34, ba) -> new_listToMaybe1(yv4110, new_primPlusNat0(yv34, Zero), yv4111, new_primPlusNat0(yv34, Zero), ba)

The TRS R consists of the following rules:

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

The set Q consists of the following terms:

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

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_listToMaybe2(yv33, False, :(yv4110, yv4111), yv34, ba) -> new_listToMaybe1(yv4110, new_primPlusNat0(yv34, Zero), yv4111, new_primPlusNat0(yv34, Zero), ba)
The graph contains the following edges 3 > 1, 3 > 3, 5 >= 5


*new_listToMaybe1(yv4110, yv60, yv4111, yv61, ba) -> new_listToMaybe2(yv60, new_esEs4(Nothing, yv4110, ba), yv4111, yv61, ba)
The graph contains the following edges 2 >= 1, 3 >= 3, 4 >= 4, 5 >= 5


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

(17)
YES

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

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

   new_listToMaybe0(yv10, yv1110, yv58, yv1111, yv59, ba) -> new_listToMaybe(yv58, new_esEs4(Just(yv10), yv1110, ba), yv10, yv1111, yv59, ba)
   new_listToMaybe(yv35, False, yv10, :(yv1110, yv1111), yv36, ba) -> new_listToMaybe0(yv10, yv1110, new_primPlusNat0(yv36, Zero), yv1111, new_primPlusNat0(yv36, Zero), ba)

The TRS R consists of the following rules:

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

The set Q consists of the following terms:

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

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_listToMaybe(yv35, False, yv10, :(yv1110, yv1111), yv36, ba) -> new_listToMaybe0(yv10, yv1110, new_primPlusNat0(yv36, Zero), yv1111, new_primPlusNat0(yv36, Zero), ba)
The graph contains the following edges 3 >= 1, 4 > 2, 4 > 4, 6 >= 6


*new_listToMaybe0(yv10, yv1110, yv58, yv1111, yv59, ba) -> new_listToMaybe(yv58, new_esEs4(Just(yv10), yv1110, ba), yv10, yv1111, yv59, ba)
The graph contains the following edges 3 >= 1, 1 >= 3, 4 >= 4, 5 >= 5, 6 >= 6


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

(20)
YES

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

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

   new_primMulNat(Succ(yv30100), Succ(yv400000)) -> new_primMulNat(yv30100, Succ(yv400000))

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
----------------------------------------

(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(yv30100), Succ(yv400000)) -> new_primMulNat(yv30100, Succ(yv400000))
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(yv4000000)) -> new_primPlusNat(yv5700, yv4000000)

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(yv4000000)) -> new_primPlusNat(yv5700, yv4000000)
The graph contains the following edges 1 > 1, 2 > 2


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

(26)
YES

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

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

   new_primEqNat(Succ(yv3000), Succ(yv40000)) -> new_primEqNat(yv3000, yv40000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
----------------------------------------

(28) QDPSizeChangeProof (EQUIVALENT)
By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 

From the DPs we obtained the following set of size-change graphs:
*new_primEqNat(Succ(yv3000), Succ(yv40000)) -> new_primEqNat(yv3000, yv40000)
The graph contains the following edges 1 > 1, 2 > 2


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

(29)
YES

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

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

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

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
----------------------------------------

(31) QDPSizeChangeProof (EQUIVALENT)
By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 

From the DPs we obtained the following set of size-change graphs:
*new_esEs3(Just(yv300), Just(yv4000), app(app(ty_Either, bea), beb)) -> new_esEs2(yv300, yv4000, bea, beb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs3(Just(yv300), Just(yv4000), app(app(app(ty_@3, bdc), bdd), bde)) -> new_esEs(yv300, yv4000, bdc, bdd, bde)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5


*new_esEs1(:(yv300, yv301), :(yv4000, yv4001), app(app(ty_Either, bac), bad)) -> new_esEs2(yv300, yv4000, bac, bad)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs1(:(yv300, yv301), :(yv4000, yv4001), app(app(app(ty_@3, he), hf), hg)) -> new_esEs(yv300, yv4000, he, hf, hg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5


*new_esEs3(Just(yv300), Just(yv4000), app(ty_[], bdh)) -> new_esEs1(yv300, yv4000, bdh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs3(Just(yv300), Just(yv4000), app(app(ty_@2, bdf), bdg)) -> new_esEs0(yv300, yv4000, bdf, bdg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs3(Just(yv300), Just(yv4000), app(ty_Maybe, bec)) -> new_esEs3(yv300, yv4000, bec)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs1(:(yv300, yv301), :(yv4000, yv4001), app(app(ty_@2, hh), baa)) -> new_esEs0(yv300, yv4000, hh, baa)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs1(:(yv300, yv301), :(yv4000, yv4001), app(ty_Maybe, bae)) -> new_esEs3(yv300, yv4000, bae)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cd, bd, app(app(ty_Either, ee), ef)) -> new_esEs2(yv302, yv4002, ee, ef)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4


*new_esEs(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cd, app(app(ty_Either, dd), de), be) -> new_esEs2(yv301, yv4001, dd, de)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4


*new_esEs(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), app(app(ty_Either, ca), cb), bd, be) -> new_esEs2(yv300, yv4000, ca, cb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs0(@2(yv300, yv301), @2(yv4000, yv4001), gc, app(app(ty_Either, hb), hc)) -> new_esEs2(yv301, yv4001, hb, hc)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4


*new_esEs0(@2(yv300, yv301), @2(yv4000, yv4001), app(app(ty_Either, fh), ga), fc) -> new_esEs2(yv300, yv4000, fh, ga)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs2(Right(yv300), Right(yv4000), bca, app(app(ty_Either, bch), bda)) -> new_esEs2(yv300, yv4000, bch, bda)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4


*new_esEs2(Left(yv300), Left(yv4000), app(app(ty_Either, bbf), bbg), bbb) -> new_esEs2(yv300, yv4000, bbf, bbg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs1(:(yv300, yv301), :(yv4000, yv4001), baf) -> new_esEs1(yv301, yv4001, baf)
The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3


*new_esEs1(:(yv300, yv301), :(yv4000, yv4001), app(ty_[], bab)) -> new_esEs1(yv300, yv4000, bab)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cd, bd, app(app(app(ty_@3, dg), dh), ea)) -> new_esEs(yv302, yv4002, dg, dh, ea)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4, 5 > 5


*new_esEs(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cd, app(app(app(ty_@3, ce), cf), cg), be) -> new_esEs(yv301, yv4001, ce, cf, cg)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5


*new_esEs(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), app(app(app(ty_@3, ba), bb), bc), bd, be) -> new_esEs(yv300, yv4000, ba, bb, bc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5


*new_esEs0(@2(yv300, yv301), @2(yv4000, yv4001), app(app(app(ty_@3, eh), fa), fb), fc) -> new_esEs(yv300, yv4000, eh, fa, fb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5


*new_esEs0(@2(yv300, yv301), @2(yv4000, yv4001), gc, app(app(app(ty_@3, gd), ge), gf)) -> new_esEs(yv301, yv4001, gd, ge, gf)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5


*new_esEs2(Right(yv300), Right(yv4000), bca, app(app(app(ty_@3, bcb), bcc), bcd)) -> new_esEs(yv300, yv4000, bcb, bcc, bcd)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4, 4 > 5


*new_esEs2(Left(yv300), Left(yv4000), app(app(app(ty_@3, bag), bah), bba), bbb) -> new_esEs(yv300, yv4000, bag, bah, bba)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4, 3 > 5


*new_esEs(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cd, bd, app(ty_[], ed)) -> new_esEs1(yv302, yv4002, ed)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3


*new_esEs(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), app(ty_[], bh), bd, be) -> new_esEs1(yv300, yv4000, bh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cd, app(ty_[], dc), be) -> new_esEs1(yv301, yv4001, dc)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3


*new_esEs0(@2(yv300, yv301), @2(yv4000, yv4001), app(ty_[], fg), fc) -> new_esEs1(yv300, yv4000, fg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs0(@2(yv300, yv301), @2(yv4000, yv4001), gc, app(ty_[], ha)) -> new_esEs1(yv301, yv4001, ha)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3


*new_esEs2(Left(yv300), Left(yv4000), app(ty_[], bbe), bbb) -> new_esEs1(yv300, yv4000, bbe)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs2(Right(yv300), Right(yv4000), bca, app(ty_[], bcg)) -> new_esEs1(yv300, yv4000, bcg)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3


*new_esEs(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cd, app(app(ty_@2, da), db), be) -> new_esEs0(yv301, yv4001, da, db)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4


*new_esEs(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cd, bd, app(app(ty_@2, eb), ec)) -> new_esEs0(yv302, yv4002, eb, ec)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3, 5 > 4


*new_esEs(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), app(app(ty_@2, bf), bg), bd, be) -> new_esEs0(yv300, yv4000, bf, bg)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cd, bd, app(ty_Maybe, eg)) -> new_esEs3(yv302, yv4002, eg)
The graph contains the following edges 1 > 1, 2 > 2, 5 > 3


*new_esEs(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), cd, app(ty_Maybe, df), be) -> new_esEs3(yv301, yv4001, df)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3


*new_esEs(@3(yv300, yv301, yv302), @3(yv4000, yv4001, yv4002), app(ty_Maybe, cc), bd, be) -> new_esEs3(yv300, yv4000, cc)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs0(@2(yv300, yv301), @2(yv4000, yv4001), gc, app(app(ty_@2, gg), gh)) -> new_esEs0(yv301, yv4001, gg, gh)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4


*new_esEs0(@2(yv300, yv301), @2(yv4000, yv4001), app(app(ty_@2, fd), ff), fc) -> new_esEs0(yv300, yv4000, fd, ff)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs2(Right(yv300), Right(yv4000), bca, app(app(ty_@2, bce), bcf)) -> new_esEs0(yv300, yv4000, bce, bcf)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3, 4 > 4


*new_esEs2(Left(yv300), Left(yv4000), app(app(ty_@2, bbc), bbd), bbb) -> new_esEs0(yv300, yv4000, bbc, bbd)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3, 3 > 4


*new_esEs0(@2(yv300, yv301), @2(yv4000, yv4001), app(ty_Maybe, gb), fc) -> new_esEs3(yv300, yv4000, gb)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs0(@2(yv300, yv301), @2(yv4000, yv4001), gc, app(ty_Maybe, hd)) -> new_esEs3(yv301, yv4001, hd)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3


*new_esEs2(Left(yv300), Left(yv4000), app(ty_Maybe, bbh), bbb) -> new_esEs3(yv300, yv4000, bbh)
The graph contains the following edges 1 > 1, 2 > 2, 3 > 3


*new_esEs2(Right(yv300), Right(yv4000), bca, app(ty_Maybe, bdb)) -> new_esEs3(yv300, yv4000, bdb)
The graph contains the following edges 1 > 1, 2 > 2, 4 > 3


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

(32)
YES